The answer for the first part is false, however, your reasoning is not quite correct. The statement is that given any x and y, there exist z such that is true. We do not need to consider what z is. This fails when and . i.e. if there no z such that .

And second statement is false like you have stated.