_______ \/ 5 + x >= x - 1
sqrt(x + 5) >= x - 1
[-5, 4]
x in Interval(-5, 4)
And(-5 <= x, x <= 4)
(-5 <= x)∧(x <= 4)