Чему равен остаток от деления -1 на 2?
условно если у вас a делится на b, то должны быть с1 - результатом целочисленного деления и с2 остатком и все это должно соответствовать a = c1*b + c2, вот вам и и -1
азве -1 // 2 не равно -(1 // 2)? Нет, приоритет операций