Nine subtracted from c is at least -16

c - 9 ≥ -16

c - 9 + 9 ≥ -16 + 9
c ≥ -7