All published worksheets from http://sagenb.org
var ('x') solve ([6 - 2 * ( x - 3 ) == 3 + x ], x)
var ('x') solve ([- 5*x > 20 ], x)
var ('x') solve([5 + x < -3], x)
def f(x): return 3-2*x^2 f(100)
var('a x') solve([a == 2 + x], x)