5 - 3 + 42 <= 7 - 2