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