Question: Bug with complex number equalities?

I'm working on some basic complex number equalities in engineering class, and was practicing converting from cartesian to polar coordinates. Maple can help by telling me if my conversions are correct by telling me whether the equality is true. For example, for the complex number: 5 + 3*I maple will verify the following: is(5+3*I = polar(sqrt(5^2+3^2), arctan(3/5))) true it will also verify: is(polar(sqrt(5^2+3^2), arctan(3/5)) = sqrt(5^2+3^2)*exp(I*arctan(3/5))) true lastly, it will of course verify transitively: is(5+3*I = sqrt(5^2+3^2)*exp(I*arctan(3/5))) true However, if you put all three together: is(5+3*I = polar(sqrt(5^2+3^2), arctan(3/5)) = sqrt(5^2+3^2)*exp(I*arctan(3/5))) false What gives?
Please Wait...