x + 3 9 - x ----- < ----- 5 3
(x + 3)/5 < (9 - x)/3
(-oo, 9/2)
x in Interval.open(-oo, 9/2)
And(-oo < x, x < 9/2)
(-oo < x)∧(x < 9/2)