Translate into English:
\(\forall x (E(x) \imp E(x +2))\text{.}\)
\(\forall x \exists y (\sin(x) = y)\text{.}\)
\(\forall y \exists x (\sin(x) = y)\text{.}\)
\(\forall x \forall y (x^3 = y^3 \imp x = y)\text{.}\)