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

Решение 

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

`and`(E(`*`(350, `/`(1, 80))) = E(`/`(35, 8)), E(`/`(35, 8)) = 4) 

Это число - чётное, поэтому искомое - на единицу меньше.  

Ответ 

3