Let w(x) = x**2 - 5*x + 1. Let y be w(5). Let c be (-3)/((y - 3)/(-2)). Let u = c + 9. Solve 0 = -u*l + 3*l - 9 for l.
-3
Suppose 8*p = 9*p - 3. Solve 4*t - p = 3*t for t.
3
Suppose 0 = 5*h - 8 - 17. Solve -h*u = -0*u + 10 for u.
-2
Suppose 19 = 3*m - 23. Solve -4 + m = -5*v for v.
-2
Let i be (-26)/(-10) - 12⁄20. Let a = i + 0. Suppose d + 4*g = 3*d - 12, -a*d = -g - 6. Solve -d*b - 5 = 5 for b.
-5
Let s = 2 + -2. Solve s = -0*v + 5*v for v.
0
Let d® = r3 + 10*r2 - 12*r - 10. Let k be d(-11). Solve k = -b + 3 for b.
2
Suppose 5*n - 23 = 27. Solve -3*l - n = -8*l for l.
2
Let r be 1 + -5 - (-198)/18. Solve -4*b = -r*b + 9 for b.
3
Let x = 0 + 11. Solve -4*d = -x - 1 for d.
3