2 (x + 3) > x + 1
(x + 3)^2 > x + 1
And(-oo < x, x < oo)
(-oo < x)∧(x < oo)
(-oo, oo)
x in Interval(-oo, oo)