This one must be pretty basic, but...
Prove that for all real numbers $x$ and $y$ there is a real number $z$ such that $x + z = y - z$
I am quite confused about how you need to prove this.
My attempt was: $$\tag1 x + z = y - z$$ $$\tag2 2z = y -x $$ $$\tag3 z = \frac{y-x}{2}$$ Denominator doesn't equal to zero, hence $z$ is defined for all $x$ and $y$.
Is there anything else I need to show?