Mathematica にはさまざまな種類の方程式を解くことを可能にする強力な機能が数多く備わっている．
Solveを使って方程式を解くことができる．方程式には「=」ではなく「==」を使用しなくてはならないことに注意：
| Out[1]= |  |
結果は2重にネストされたリストの中の
Ruleである．外側のリストが解のすべてを含み，内側のリストのそれぞれが単独の解を含む．ここでは，3つの解がある：
| Out[2]= |  |
| Out[3]= |  |
ここでは連立方程式に2つの解が存在する．それぞれの解集合はそれ自身のリストにラップされている：
| Out[4]= |  |
| Out[5]= |  |
これらの解の１つを計算で使いたい（ここでは最初の解が示されている）場合は，
（
Partの簡略表記）を使ってそれを解のリストから抽出してから「
」（
ReplaceAllの短縮形）を使って規則を適用する：
| Out[6]= |  |
例えば以下は，最初の解が正しいと想定した場合の
の異なる値に対する
のプロットである：
| Out[7]= |  |
複数の変数を持つ方程式系では，第2引数のリストを使うことによって，一部あるいはすべての変数について解くことができる：
| Out[2]= |  |
方程式系が完全には指定されていない場合には，
Mathematica は残りの変数について答を返す：
| Out[3]= |  |
Solveは方程式のいわゆる「一般」解として知られているものを求める．これらは，第2引数で指定されていない変数に依存しない解である．例えば：
| Out[10]= |  |
が何であれ，
に0を当てはめることによって方程式を解くことができる．しかし，
に依存するもう1つの解も存在する．つまり
を0に設定するという方法である．第2引数に
を加えることによって以下の解が表示される：
| Out[4]= |  |
Solveがすべての解を求めないという場合もある．例えば：
| Out[5]= |  |
| Out[11]= |  |
無理方程式では，
Solveは寄生の解を破棄することに注意する．寄生の解も含めたすべての候補の解を見たい場合は，
のオプションを
Falseに設定する：
| Out[16]= |  |
| Out[17]= |  |
| Out[13]= |  |
Reduceの出力は
Solveの出力とは異なる．
Reduceはもとの方程式に等しい論理的な式を出力するため，解を削除することは決してない：
| Out[14]= |  |
| Out[15]= |  |
Mathematica では方程式の数値解を得ることもできる．
例えば，
Nを
Solveの出力に使って記号解の近似数値を得ることができる：
| Out[18]= |  |
| Out[19]= |  |
NSolveを使って直接数値解を得ることもできる．この方法は，
Nおよび
Solveを組み合せて使うよりも速い：
| Out[20]= |  |
| Out[22]= |  |
NSolveは方程式系を数値的に解くのにも使える．
Solveと同じシンタックスを使う：
| Out[23]= |  |
方程式に一次関数あるいは多項式のみが含まれている場合には，
NSolveを使ってすべての解に対する近似数値を得ることができる．しかし，方程式にもっと複雑な関数が含まれる場合には，一般にすべての解を数値的にでも求めるような系統だった方法はない．そのような場合には，
FindRootを使って解を探すことができる．
FindRootを使い，1から始め，
の数値解を探す：
| Out[24]= |  |
