Это тест Рабина Миллера, но при вводе даже простых малых чисел выводит составное

program half_of_rsa;
 var p:boolean; m,r:longint;
function miller_rabin(m,r:longint):boolean;
var t,x,r1,r2,a,i,j,s:longint; rr:real;
 //----------------------
 function PowerMod(a, t, m: longint):longint;
    var k,result:longint;
begin
Result:= 1;
while t<>0 do
if t mod 2 = 0 then
begin
t:=t div 2;
a:= (a*a) mod m;
end
else
begin
Dec(t);
Result :=(Result *a) mod m;
end;
powermod:=result;
end;
//--------------------------------
begin
 
 if(m mod 2 = 0) or (m=1) then p:=false;
 
    s:=0;
    t:=m-1;
 
    while (t<>0) and (t mod 2 = 0) do
    begin
     s:=s+1;
     t:=round(t/2);
    end;
    writeln(t);
    //----------------------цикл А
      for i:=0 to r do
      begin
        a:=2+random(22500) ;
        x:=PowerMod(a,t,m);
        if(x=1) or (x=m-1) then   continue;
              // ----------------------Цикл B
              for j:=0 to s-1 do
               begin
                  x:=(x*x) mod m;
                  if (x=1) then p:=false;
                
 
                  if (x=m-1) then break;
               end;  
         end;
 
      if (p=false) then
      begin
      writeln('sostavnoe');
       exit;
      end   else
      begin
      p:=true;
     if (p=true) then writeln('veroiztno prostoe');
     end;
 end;
 
 begin
 p:=true;
 readln(m); //chislo na proverku
 readln(r); // kol-vo raundov
 miller_rabin(m,r);
 end.