2 |x| + 4*x + 3 > |x| + 3
4*x + |x|^2 + 3 > |x| + 3
Or(And(-oo < x, x < -5), And(0 < x, x < oo))
((-oo < x)∧(x < -5))∨((0 < x)∧(x < oo))
(-oo, -5) U (0, oo)
x in Union(Interval.open(-oo, -5), Interval.open(0, oo))