Решение 

log[`/`(1, 2)](`+`(9, `-`(x))) = -2 

 

log[`/`(1, 2)](`+`(9, `-`(x))) = `/`(1, `*`(`^`(log[`/`(1, 2)](`/`(1, 2)), 2))) 

 

`+`(9, `-`(x)) = 4 

x = 5