-x/4 <= 7