この方程式の解は,ネストしたリストに入っており,これはリストのリストである.
Mathematica におけるリストは

で表す.リスト中の項目は要素と呼ばれ,その位置で参照することができる.
解を使うためには,まずネストしたリストからそれを取り出す必要がある.

(
Partの簡略形)をネストしたリストにおける解の位置を一緒に使う.ここでは解はネストしたリストの最初の(そして唯一の)要素である:
二次方程式については,2つの解が返される.それぞれの解に対して1つずつ,合計2つのサブリストがある:
線型方程式系を解くと,解の集合は1つのサブリストで返される.
方程式を解く.1つの一意解の集合を含むネストしたリストが返される:
解の集合を含む内側のリストは,ネストしたリストの最初の(そして唯一の)要素である.したがって、ネストしたリストに

を使うと,解のリストが返される:
内側のリストにおける解の位置を構文に含むことによって,解の集合の部分を得ることができる.
同じように,以下で2番目と3番目の変数を代入する:
Simplifyを使って,代入が方程式を満足するかどうかを判断する.それぞれの代入が
Trueと評価され,解が方程式を満足することを示す: