x - 2 > -3 and 3x <= 12