Substitution with negative numbers