As a teen, I made up the

PUZZLE:      Given that x^2 + log_10 (2x)  =  3, solve for x > 0 in closed form

(which I think I mentioned on math-fun a long time ago).

Although it's not hard to solve for x explicitly, it seems to require human intuition rather than any algorithm. 

How would computer algebra systems handle this??? 

Since I don't have one handy, would someone out there be willing to use Macsyma, Maple, or Mathematica and ask it for the solution to this equation (without giving the software any prompts other than that x is real) ?  I'm very curious to know what happens.

--Dan