`solve` is the wrong function for this. This should just be `assert (E**pi > pi**E) is True` or `assert ask(Q.is_true(E**pi > pi**E))`.