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