SMS dit: Number theory through inquiry