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