Statement
x+y is a whole number.
ay is a whole number.
w+z is a whole number.
y+ is a rational number.
ay is a whole number.
y w is a rational number.
x is a rational number.
Validity