x - 2*x - 7/3 < 5*x + 1/2
-2*x + x - 7/3 < 5*x + 1/2
-17 (----, oo) 36
x in Interval.open(-17/36, oo)
/-17 \ And|---- < x, x < oo| \ 36 /
(-17/36 < x)∧(x < oo)