12 `/`(1, `*`(`+`(`*`(2, `*`(x)), 7))) = `/`(1, `*`(`+`(`*`(3, `*`(x)), 20))).  

 

 

 

-13