8 + a * 4 > 7