12 `<=`(`+`(`/`(`*`(2), `*`(`+`(`*`(`^`(x, 2)), `-`(`*`(12, `*`(x))), 35))), `/`(`*`(3), `*`(`+`(`*`(`^`(x, 2)), `-`(`*`(17, `*`(x))), 70)))), 0). 

 

 

 

 

(5;7),(7;10)