Говорят, что если y = kx + r, 0 <= r < x, то y сравнима с x по модулю r. У сравнения по модулю есть различные свойства, но, так или иначе, если эти свойства не позволяют вспомнить делитель или он заранее неизвестен, то нет способа восстановить делимое. Тут ещё важный момент, если хочется свойства сравнений по модулю использовать, то нужно учитывать, что / и % не работают, как в математике.