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