2 2 x < (25 - x) + 25*x
x^2 < 25*x + (25 - x)^2
And(-oo < x, x < 25)
(-oo < x)∧(x < 25)
(-oo, 25)
x in Interval.open(-oo, 25)