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