Сумма цифр чисел натурального ряда может принимать все значения.
Отсюда постановку проблемы можно упростить:
Правда ли, что остаток деления чисел натурального ряда на суммы их делителей может принимать любые значения?
Такая последовательность есть:
A054008Новые значения она "принимает" очень неохотно. Привожу пары: (первое число, где последовательность принимает новое значение; само значение):

Ничего подобного в OEIS я не нашёл.
Так может, стоит рассмотреть - для начала - именно мою постановку задачи? Если она до сих не решена.