Problem 31

(Intermediate 🌟🌟) Determine whether a given integer number is prime.

def isPrime (n : Nat) : Bool :=
  sorry

-- The following codes are for test and you should not edit these.

example : isPrime 7 = true := rfl

example : isPrime (7 * 43) = false := rfl

example : isPrime 307 = true := rfl

example : isPrime 0 = false := rfl

example : isPrime 1 = false := rfl