18D На день рождения полагается дарить букет из нечётного числа цветов. Розы стоят 100 рублей за штуку. У Вани есть 750 рублей. Из какого наибольшего числа роз он может купить букет Маше на день рождения? 

Решение 

Ваня в состоянии купить роз: 

`and`(E(`*`(750, `/`(1, 100))) = E(7.5), E(7.5) = 7) 

Это число - нечётное и устраивает в качестве искомого. 

Ответ 

7