x x + 2/5 >= 8 - - 3
x + 2/5 >= -x/3 + 8
/57 \ And|-- <= x, x < oo| \10 /
(57/10 <= x)∧(x < oo)
57 [--, oo) 10
x in Interval(57/10, oo)