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