Is Prime (Part 2)

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

Previous discussions: