Is Prime (Part 2)

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

Previous discussions: