Kann KI Gleichungssysteme mit der Substitutionsmethode lösen?