2 a*(a - 4) - a > 12 - 6*a
-a^2 + a*(a - 4) > 12 - 6*a
(6, oo)
x in Interval.open(6, oo)
And(6 < a, a < oo)
(6 < a)∧(a < oo)