From: fateman@cs.berkeley.edu   
      
   On 3/7/2018 9:50 PM, asetofsymbols@gmail.com wrote:   
   > assume ([a,b,c,n], integers);   
   > assume (n>2),   
   >   
   > solve (a^n+b^n=c^n,  [a,b,c,n]);   
   >   
   > Program can answer it don't know solution with 1   
   So you propose to solve a different problem.   
   assume([a,b,c,n],integer)$   
   assume(2