Вопросы к Поиску с Алисой
В Python остаток от деления всегда имеет тот же знак, что и делитель, потому что язык следует правилу евклидова деления. www.geeksforgeeks.org
Если первый операнд отрицательный, Python сохраняет знак остатка, чтобы результат соответствовал знаку делителя (то есть второго операнда). otvet.mail.ru