Predicate calculus - propositions

Let denote the predicate and let denote both with domain of definition N x N.

This is a question I've been given. The question asks for me to translate them all into good English phrases. This I believe I have done correctly. It also asks me to say whether the proposition is true for each.

I have found that each is true, but I find this a bit suspicious, assuming at least one should be false, or maybe they're trying to throw me off (Itwasntme)

So I was wondering, does anyone disagree with my finding that all are true?