All published worksheets from http://sagenb.org
var('a b c') d0 = {a:1,b:2,c:x} d1 = dict(a = 1,b = 2,c = x) (a.subs(d0) + b == c).subs(d0);(a.subs(d1) + b == c).subs(d1)
d0;d1