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