15 `/`(`*`(`+`(x, 89)), `*`(`+`(x, `-`(7)))) = `+`(`-`(`/`(`*`(5), `*`(`+`(x, `-`(7)))))).