5*x - 3 3 - x 2 - x ------- - ----- > ----- 3 6 12
-(3 - x)/6 + (5*x - 3)/3 > (2 - x)/12
20 (--, oo) 23
x in Interval.open(20/23, oo)
/20 \ And|-- < x, x < oo| \23 /
(20/23 < x)∧(x < oo)