10 `/`(`*`(`+`(x, `-`(18))), `*`(`+`(x, `-`(2)))) = 3.