Question: Issues with verify function and syntax

Hi all, first poster just getting to grips with Maple here. I am having some problems with the 'verify' function in Maple - I can't understand why it is returning 'FAIL' An example of my printout is given below. 

 

> verify( 2*q/(q^4+q^2+1)-1/((q-1)^2*(q+1)), 0, 'greater_equal') assuming q>7;

                                             true

 

> verify( (2*q+1)/(q^4+q^2+1)-1/((q-1)^2*(q+1)), 0, 'greater_equal') assuming q>7;

                                             FAIL

 

Now it's th second line i'm interested in and it was only after trial and error that i found the first option worked. The fact the 1st does but 2nd doesn't makes no sense to me. Perhaps it's something stupid i'm missing - any help would be great. Thanks.

Please Wait...