x - + 6 > -x 5
x/5 + 6 > -x
And(-5 < x, x < oo)
(-5 < x)∧(x < oo)
(-5, oo)
x in Interval.open(-5, oo)