Think in Math, Write in Code