Simplify (x^12)/(x^5)