MarVor_1

Function IsPrime(aVal: Integer): Boolean;
Var
    I: Integer;
Begin
    For I:= 2 To Trunc(Sqrt(aVal)) Do Begin
      If aVal Mod I = 0 Then Begin
        IsPrime:= False;
        Exit;
      End;
    End;
    IsPrime:= True;
End;

Var
    X, Res: Integer;
    IsCorrect: Boolean;
Begin
    WriteLn('Утверждение: результатами вычислений по формуле X*2+X+17 являются простые числа.');
    IsCorrect:= True;
    For X:= 0 To 15 Do Begin
      Res:= X * 2 + X + 17;
      Write('При X = ', X, ': ', X, ' * 2 + ', X, ' + 17 = ', Res);
      If Not IsPrime(Res) Then Begin
        IsCorrect:= False;
        WriteLn('; не простое.');
      End
      Else
        WriteLn('; простое.');
    End;
    If IsCorrect Then
      WriteLn('Утверждение истинно.')
    Else
      WriteLn('Утверждение ложно.');
    ReadLn;
End.