Existe uma regra prática de divisibilidade por 7 com o seguinte procedimento:

Separa-se o último algarismo da direita. Multiplica-se esse algarismo por 2 e tal resultado é subtraído do número que restou sem o algarismo à direita. Procede-se assim, sucessivamente, até se ficar com um número múltiplo de 7, mesmo que seja zero.

Veja os exemplos a seguir:

Seja a um algarismo no número a13.477.307. O valor de a para que este número seja divisível por 7 é