Text this: Problems in number theory from busy beaver competition