x + 7 8 - x ----- > ----- 2 3
(x + 7)/2 > (8 - x)/3
And(-1 < x, x < oo)
(-1 < x)∧(x < oo)
(-1, oo)
x in Interval.open(-1, oo)