Ответ:

Чтобы найти неизвестное вычитаемое, нужно из уменьшаемого вычесть разность:

\(x = 80 - 23 = 57\).

Проверка: \(80 - 57 = 23\).

Ответ: x = 57.