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