Systems of equations with elimination (and manipulation)