Eu não sabia, mas existe um jeito de verificar se um número é divisível por 7 sem dividi-lo por 7.

Dado um número natural x = 10a + b, com 0 <= b < 10, o número x é divisível por 7 se e somente se o número a - 2b é divisível por 7.

Por exemplo, o número 861 é divisível por 7?

861 = 10(86) + 1, em que a = 86 e b = 1.

86-(2 x 1) = 84 e 84 = 7 x 12.

Logo, 861 é divisível por 7.