solve 80000<x^(30/5) over the reals