q - 12 ≥ -13 is -1, right?

Yes, that is correct. q ≥ -1

ok yay thanks bot