_______ \/ 5 - x < x + 7
sqrt(5 - x) < x + 7
(-4, 5]
x in Interval.Lopen(-4, 5)
And(x <= 5, -4 < x)
(x <= 5)∧(-4 < x)