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