8 - x x + 7/5 < ----- 3
x + 7/5 < (8 - x)/3
19 (-oo, --) 20
x in Interval.open(-oo, 19/20)
/ 19\ And|-oo < x, x < --| \ 20/
(-oo < x)∧(x < 19/20)