Simplifying Negative Integers