Решение 

`^`(`/`(1, 4), `+`(2, x)) = 64{x = -5}