Ответ 

`and`(`<`(`/`(1, 14), x), `<=`(x, `/`(25, 7)))