This command returns true if expr is a prime integer, and false otherwise.

The isprime command is used to check the primality of expr, once expr has been determined to be an integer.

$\mathrm{type}\left(1\,\mathrm{prime}\right)$

$\mathrm{false}$

$\mathrm{type}\left(2\,\mathrm{prime}\right)$

$\mathrm{true}$

$\mathrm{type}\left(-3\,\mathrm{prime}\right)$

$\mathrm{false}$

$\mathrm{type}\left(17\,\mathrm{prime}\right)$

$\mathrm{true}$

$\mathrm{type}\left(21\,\mathrm{prime}\right)$

$\mathrm{false}$

$\mathrm{type}\left(2^{2^5}+1\,\mathrm{prime}\right)$

$\mathrm{false}$

$\mathrm{type}\left(x^2+1\,\mathrm{prime}\right)$

$\mathrm{false}$