From: nma@12000.org   
      
   since sqrt of number is taken as the positive root, why   
   then Maple 2021.1 says it can't show this is true or not? Is   
   there something deep I am overlooking here?   
      
   if evalb( 5^(1/2) < (5^(1/2)+1) ) then   
       "yes, smaller";   
   fi;   
      
   Error, cannot determine if this expression is true or false: 5^(1/2) <   
   5^(1/2)+1   
      
   if 5^(1/2) < (5^(1/2)+1)  then   
       "yes, smaller";   
   fi;   
      
   Error, cannot determine if this expression is true or false: 5^(1/2) <   
   5^(1/2)+1   
      
   But in Mathematica it did not complain   
      
   5^(1/2) < (5^(1/2) + 1)   
       True   
      
   This is very strange.  Does your CAS have any problem showing   
   that 5^(1/2) is smaller than 5^(1/2)+1?   
      
   In Maple, it can do it if I convert everything to float   
      
   if evalf(5^(1/2)) < evalf((5^(1/2)+1))  then   
       "yes, smaller";   
   fi;   
      
               "yes, smaller"   
      
   --Nasser   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)