Я не уверен, правильно ли я понимаю ваш вопрос, но если вам заданы Z и C, и вы хотите вычислить X.
Если X mod C = Z, то это означает, что для некоторого натурального числа q справедливо, что qC + Z = X, поскольку q неизвестно, в общем случае невозможно точно рассчитать X, однако существует бесконечное множество чисел, удовлетворяющих этому уравнению. Это тоже не странно. Предположим, у вас есть некоторый X ', который может быть решением, тогда также X' '= X' + C является решением, одинаково действительным.
Является ли C и X взаимно простыми (т.е. они (не имеют) общих простых факторов), не имеет значения, если я не ошибаюсь. Однако это делает ваше решение немного меньшим, потому что если X и C имеют общие простые множители, скажем, p1, p2, ... pn, то каждое допустимое решение также должно делиться на p1 * p2 * ... * pn.