Let k(z) = -z3 - 13*z2 - 12*z + 3. Let u be k(-12). Solve -5 + 20 = -u*s for s.
-5
Suppose 0 = 4*c + 13 - 17. Let r be 0/(-3*4/(-6)). Let k = r + c. Solve 0 = -5*o + k - 16 for o.
-3
Suppose s = -1, -5*t - s - s = -13. Suppose -3*x - 3 = 6, 0 = y - x - 4. Let w be (1 + -2)/(y/(-6)). Solve -l + t*l = w for l.
3
Let n be 0 - 1 - (-1 - 0). Suppose -4*y + 15 - 7 = n. Let r(b) = -14*b + 1. Let o be r(-1). Solve -y*p = p + o for p.
-5
Let w = -28 + 32. Solve -l + w = -2*l for l.
-4
Suppose 4 = a - 7. Suppose 5*l + 2*h - a = 1, 0 = -3*l + 4*h + 28. Solve -l*s + 12 = -0 for s.
3
Suppose -j = -3*j - 10. Let f = 0 - j. Suppose -w - 8 = -f*w. Solve -b = w*b for b.
0
Let l be -2*(((-16)/1)/4 - -3). Solve 2*n = -0 - l for n.
-1
Let y be (1⁄3)/((-1)/(-9)). Let v be (-22)/(-18) - 4⁄18. Suppose -3*r - 3 = -z - v, r + 2 = z. Solve r = -0*g - y*g - 12 for g.
-4
Let p = 1 - -7. Let k© = c**2 - 9*c + 10. Let z be k(p). Solve z*g - 9 = 1 for g.
5