Една сума пари е достатъчна, за да се плати работна заплата за 20 дни, а б е работна заплата за 30 дни. същите пари са достатъчни, за да се платят заплатите и на двамата за ?
"Нека общите пари да бъдат $ x a ' s 1 ден работа  $ x / 20 b ' s 1 ден работа  $ x / 30 a + b 1 ден работа  $ x / 12 пари е достатъчно, за да плати заплатите на двете за 12 дни отговор е a"
divide(const_1, add(divide(const_1, 20), divide(const_1, 30)))