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