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