4047.sagews

var ('x')
solve ([6 - 2 * ( x - 3 ) == 3 + x ], x)

[x == 3]

var ('x')
solve ([- 5*x > 20 ], x)

[[x < -4]]

var ('x')
solve([5 + x < -3], x)

[[x < -8]]

def f(x):
    return 3-2*x^2
f(100)

-19997

var('a x')
solve([a == 2 + x], x)