x2 + 4 > 12