Ответ 

`and`(`<`(`+`(`-`(`*`(2, `*`(sqrt(2))))), a), `<`(a, -`/`(28, 25))) и  `and`(`<`(0, a), `<`(a, `+`(`*`(2, `*`(sqrt(2))))))