Неверная работа программы с рекурсией

function isPrime(n:integer):boolean; // проверка простой ли множитель
begin
var count:= 0;
var k:=2;
while (k*k<2) and (count = 0) do
begin
if n mod k = 0 then
count:= count + 1;
k:=k + 1;
end;
isPrime:= (count = 0);
end;
 
 
Function Simpl (Main,SimpleFirst:integer):integer; // разложение на простые множители 
begin
  var Modd:integer;
  var Chet:=0;
    If SimpleFirst = 0 then
    SimpleFirst:= SimpleFirst+2;
    If isPrime(SimpleFirst) then
    Begin
    while (Modd = 0) do
      Begin
          Modd:= Main mod SimpleFirst;         
          Main:= Main div SimpleFirst;
          inc(Chet);
      end;
    
    For var i:=1 to Chet do
    Begin
    Write(SimpleFirst, '*')
    end;
    
    var Mnoj:= SimpleFirst;
    var Rezult:= Mnoj * Simpl(SimpleFirst + 1, Main);
if Rezult = Main then
exit
    end
    else
    begin
    Simpl(SimpleFirst + 1, Main)
    end;
end;
begin // основная программа
var SimpleFirst:integer;
var Main:= readlnInteger ('Введие число');
Write (Main, '=');
Simpl(Main, SimpleFirst);
end.

  for i:=2 to 3 do
    if n mod i=0 then begin
      t:=0; repeat Inc(t); n:=n div i; until n mod i<>0;
      if Aster then Write(' * '); Aster:=True;
      if t>1 then Write(i,'^',t) else Write(i);
    end;
  i:=5; d:=2;
  while i<=n do begin
    if n mod i=0 then begin
      t:=0; repeat Inc(t); n:=n div i; until n mod i<>0;
      if Aster then Write(' * '); Aster:=True;
      if t>1 then Write(i,'^',t) else Write(i);
    end;
    Inc(i,d); d:=d xor 6;
  end;

var mul : String := '';
 
procedure Simpl(n, d : Integer);
begin
  d += 1;
  while n mod d = 0 do
    begin
      Write(mul, d);
      (n, mul) := (n div d, '*');
    end;
  if n > 1 then Simpl(n, d);
end;
 
begin
  var n:=ReadLnInteger('Введите число');
  Write(n, '='); Simpl(n, 1);
end.

  if d=2 then d+=1 else d+=2;

procedure GetMult(n: Longint);
var Aster: Boolean; c: Longint; d: Integer;
  procedure Impl;
  begin
    while n mod c=0 do begin
      if Aster then Write('*'); Aster:=True;
      Write(c); n:=n div c;
    end;
    case c of
      2: Inc(c);
      3: Inc(c,2);
      else begin
        Inc(c,d); d:=d xor 6;
      end;
    end;
    if c<=n then Impl;
  end;
begin
  Aster:=False; c:=2; d:=2; Impl;
end;
var n: Longint;
begin
  Write('N: '); Read(n); GetMult(n);
end.

procedure GetMult(n: Longint);
var Aster: Boolean; c: Longint; d: Integer;
  procedure Divide;
  begin
    while n mod c=0 do begin
      if Aster then Write('*'); Aster:=True;
      Write(c); n:=n div c;
    end;
  end;
  procedure Impl;
  begin
    Divide; Inc(c,d); d:=d xor 6;
    if c<=n then Impl;
  end;
begin
  Aster:=False; c:=2; d:=2;
  Divide; Inc(c); Divide; Inc(c,2); Impl;
end;
var n: Longint;
begin
  Write('N: '); Read(n); GetMult(n);
end.

procedure GetMult(n: Longint);
var Aster: Boolean; c: Longint; d: Integer;
  procedure Divide;
  begin
    while n mod c=0 do begin
      if Aster then Write('*'); Aster:=True;
      Write(c); n:=n div c;
    end;
  end;
  procedure Impl;
  begin
    Divide;
    repeat Inc(c,d); d:=d xor 6;
    until (c>=n) or (n mod c=0);
    if c<=n then Impl;
  end;
begin
  Aster:=False; c:=2; d:=2;
  Divide; Inc(c); Divide; Inc(c,2); Impl;
end;
var n: Longint;
begin
  Write('N: '); Read(n); GetMult(n);
end.