Como encontrar o maior múltiplo de 3 menor que um inteiro N e determinar o resto de sua divisão por 7?

Procedimento:
Calcule S = soma dos algarismos de N, determine r = S mod 3. Se r = 0 o maior múltiplo de 3 menor que N é N - 3, caso contrário é N - r. Depois divida esse múltiplo por 7 e o resto é o que sobra.

Exemplo:
Se N = 5231
S = 5+2+3+1 = 11, r = 11 mod 3 = 2
Múltiplo = 5231 - 2 = 5229
Dividindo por 7: \(5229 = 7\times747\), resto = 0
Portanto o maior múltiplo de 3 menor que 5231 é 5229, que deixa resto 0 na divisão por 7.