Решение 

 

 

 

 

 

 

 

 

 

Проверка 

> solve(`>`(`+`(`*`(log[8](`*`(`^`(`+`(x, `-`(3)), 2))), `*`(log[16](`*`(`^`(`+`(x, `-`(7)), 6))))), log[2](`/`(`*`(`^`(`+`(x, `-`(3)), 5)), `*`(`+`(x, `-`(7))))), `-`(5)), 0))
 

RealRange(Open(7), infinity) (28.2.1)