Ответ:

Всего ремонтировали дом: \(12+8=20\) человек.

Осталось: \(20-5=15\) человек.

Ответ: 15 человек.