Simplifying expressions with integers