Simultaneous equations solving by substitution