Today: checking randomised number theory questions