Loading Open Internet
    is "x^2 + y^2 = z^2 and x, y, z are real numbers" a statement or not?