-3 = 5k + 7