1. Удобнее использовать цикл Repeat.
2. Так как в условии не оговорено, что 0 не включается, то и его тоже считаем:
//PascalABC.NET (версия 3.1, сборка 1196 от 09.03.2016)
begin
var n := 0;
var a: integer;
repeat
a := ReadInteger('Введите число :');
if a mod 3 = 0 then begin
n := n + 1; println('Число делится на 3');
end;
until a = 0;
println('количество чисел', n);
end.