Ответ:

Чтобы узнать, сколько книг было сначала, прибавим выданные книги к оставшимся: \(12+25=37\).

Ответ: 37 книг.