If 13x + 1 < 2z, and z + 3 = 5y2, then
x is necessarily less than y.
x is necessarily greater than y.
x is necessarily equal to y.
None of the above is necessarily true.