5*(7 - x) < 129/5 - 2*x
/46 \ And|-- < x, x < oo| \15 /
(46/15 < x)∧(x < oo)
46 (--, oo) 15
x in Interval.open(46/15, oo)