Is Prime (Part 2)

Continuing the discussion from Is Prime (Part 1) - #12554.

Previous discussions: