ИМХО, признак делимости на

не нужен. Советую благополучно забить и обратить свой взор, например, на сравнения.
В любом случае, все эти признаки строятся так. Пусть надо построить признак делимости на

. Подбираем

такое, что

- удобный остаток (

или просто достаточно мал), и тогда число

разбиваем на блоки из

цифр (можно описывать это все в

-ичной системе счисления):

и заменяем в нем

на

. Ну и в итоге получаем:
Остаток от деления

на

совпадает с остатком от деления

на

. В частности,

делит

тогда и только тогда, когда

делит

.