Ta làm theo dấu hiệu nhận biết : Các số có tổng các chữ số chia hết cho 9 thì chia hết cho 9.

var s:string;
    i,t:longint;
procedure xuly;
begin
readln(s);
t := 0;
for i := 1 to length(s) do
t := t + (ord(s[i])-48);
if t mod 9 = 0 then writeln(s,' chia het cho 9')
 else writeln(s,' khong chia het cho 9');
readln;
end;
begin
xuly;
end.

Ta có tính chất: một số chia hết cho 9 thì tổng chữ số của số đó phải chia hết cho 9, nên mình chia ra làm 2 bản, một bản có tính chất và một bản không áp dụng tính chất

Bản 1 (áp dụng tính chất):

uses crt;
var n:string;
    i,sum:longint;
begin
clrscr;
    readln(n);
    for i:=1 to length(n) do sum:=sum + ord(n[i]) - 48;
    if(sum mod 9 = 0) then writeln('So chia het cho 9')
    else writeln('So khong chia het cho 9');
readln;
end.

Bản 2 (không áp dụng tính chất):

uses crt;
var n:longint;
begin
clrscr;
    readln(n);
    if(n mod 9 = 0) then writeln('So chia het cho 9')
    else writeln('So khong chia het cho 9');
readln;
end.