x x + 8/5 > 10 - - 3
x + 8/5 > -x/3 + 10
/63 \ And|-- < x, x < oo| \10 /
(63/10 < x)∧(x < oo)
63 (--, oo) 10
x in Interval.open(63/10, oo)