проверка решений квадратного уравнения

[13xXx13]

почему проверка комплексных корней идет не верно?? если закоментировать "(provRe = 0)" (54 строка), то все правильно. где ошибка, помогите найти!

program p3;
 
{$APPTYPE CONSOLE}
 
uses
  SysUtils;
 
var
  provRe, provIm, a, b, c, d, x1, x2, x, Re, Im: Single;
 
begin
  WriteLn('   ax^2+bx+c=0');
  Write ('   Input a: ');
  ReadLn (a);
  Write ('   Input b: ');
  ReadLn (b);
  Write ('   Input c: ');
  ReadLn (c);
 
  if a = 0 then
  begin
    if (b = 0)and(c = 0) then WriteLn('   Korni - ljubije chusla');
    if (b = 0)and(c <> 0) then WriteLn('   Net kornei');
    if b <> 0 then 
    begin
      x:=(-c)/b;
      WriteLn('   x = ', x);
 
      writeln('proverka: ');
      if b*x+c=0 then writeln('korny verny')
      else writeln('nepravilno naydenny korny');
    end;
  end
  else
  begin
    d:=b*b-4*a*c;
 
    if d < 0 then
    begin
 
 
      Re:=((-b)/(2*a));
      Im:=sqrt((-1)*d)/(2*a);
      WriteLn('   x1 = ', Re, '+', Im, 'i');
      WriteLn('   x2 = ', Re, '-', Im, 'i');
 
      writeln('proverka: ');
 
      provRe := a*Re*Re-a*Im*Im+Re*b+c;
      provIm := 2*a*Re*Im+b*Im;
 
      WriteLn('Re = ', provRe, 'Im = ', provIm);
 
      if ((provRe = 0) and (provIm = 0)) then writeln ('korny naydenny verno')
     else writeln('korny naydenny neverno');
 
    end
 
    else begin
    x1:=(-b+sqrt(d))/(2*a);
    x2:=(-b-sqrt(d))/(2*a);
    WriteLn('   x1 = ', x1, '; x2 = ', x2);
 
    WriteLn('proverka: ');
 
    if ((a*x1*x1+b*x1+c=0) and (a*x2*x2+b*x2+c=0))  then writeln ('korny naydenny verno')
    else writeln('nevernye korny1');
 
      end;
 
 
  
  end;
 
  WriteLn('Press any key:');
  ReadLn;
 
end.