Recognizing mathematical properties, simplifying expressions, translating verbal expressions into algebraic expressions