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