How do you divide x31x1?