___ ___ ___ \/ x + 4 - \/ x - 1 > \/ x - 2
-sqrt(x) + sqrt(x) + 4 - 1 > sqrt(x) - 2
[0, 25)
x in Interval.Ropen(0, 25)
And(0 <= x, x < 25)
(0 <= x)∧(x < 25)