19D На день рождения полагается дарить букет из нечётного числа цветов. Хризантемы стоят 55 рублей за штуку. У Вани есть 530 рублей. Из какого наибольшего числа хризантем он может купить букет Маше на день рождения? 

Решение 

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

`and`(E(`*`(530, `/`(1, 55))) = E(`/`(106, 11)), E(`/`(106, 11)) = 9) 

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

Ответ 

9