Решение 

solve(`^`(16, `+`(x, `-`(4))) = `/`(2.)) 

3.750000000 (16.2.1)