x x + 7/5 <= 8 - - 3
x + 7/5 <= -x/3 + 8
/ 99 \ And|x <= --, -oo < x| \ 20 /
(x <= 99/20)∧(-oo < x)
99 (-oo, --] 20
x in Interval(-oo, 99/20)