After using maple as a learning aid to compliment my Calculus 2 course for the past 2 months, I really have mixed emotions...

I realize Maple is capabale of much, much more than the simple integration problems I throw at it and as such, will hopefully see much more use in my pursuit of a Biochem degree.  But I keep getting disturbing results which make me question its accuracy...

For example, before I use the integration tutor, I use maple to test my steps as I work the problem on paper, making sure I am applying the correct substitutions as I work through the integration.  If I am not applying an operation or simplification properly, the test relation operation returns false, allowing me to correct the issue at that time.  If I still can't figure out why Maple is returning false, I'll resort to the integration tutor.   Yet, Maple routinely contridicts itself, using the same solution steps which it returned as false when tested in the worksheet?!?!

As a clear illustration:

contradiction.pdf

Am I misunderstanding the proper use of the Test Relation function?  Any answers would be greatly appreciated.