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