That is probably not a statement of equality, but a boolean test for it.

Well, technically it solves to x = z when y <> 0 and any x, z when y = 0 though I'm not sure if that's the original intention.