I say that this expression is true: if x is positive and y = -x then x + y =0. Am I correct?

Yes.