As of version 1.0 of Sympy perhaps the main thing to understand about using its solvers is that 'solveset will take over solve either internally or externally'. At this point solveset should already be used for solving univariate equations and systems of linear equations.