The sum of

8
and
y
is less than or equal to
−22
.

8+y <= -22