... ∀x∃y(2x-y=0)
b) ∃y∀x(2x-y=0)
c) ∀x∃y(x-2y=0)
d) (∀x)(x<10)→(∀y)(y<x→y<9)
e) (∃y)(∃z)(y+z=100)
f) (∀x)(∃y)(y>x^∃z.y+z=