logic - how to translate this into predicate logic?

Question

"the result of additon between two negative integers are negative integers too"

i'm thinking of: x,y,z as negative integers

∀x∀y∃z(x+y=z)

thanks in advance

Answer 1

Maybe $$\forall x\forall y(x<0 \wedge y<0\to x+y<0) $$

Answer 2

x,y are integers

$\forall x\forall y((x<0\land y<0)\to (x+y<0)) $