2*x --- > 3 + x 9
(2*x)/9 > x + 3
And(-oo < x, x < -27/7)
(-oo < x)∧(x < -27/7)
(-oo, -27/7)
x in Interval.open(-oo, -27/7)