Решение 

`^`(`/`(1, 3), `+`(12, `-`(x))) = 27{x = 15}