Simplifying and solving expressions