12. Let b(q) = 3*q**3 + 11*q**2 - q - 6. Let h(o) = 4*a(o) - 7*b(o). Let z be h(6). Solve -3*s - 2*s = z for s.
0
Let f = 18 + -21. Let u be f/(-9) + 14/3. Solve -9 = u*g - 4 for g.
-1
Let o(y) = -y**2 + 6*y - 2. Let c = 18 + -13. Let i be o(c). Let q be 10/i*(-6)/(-4). Solve 0 = 3*z - 7 - q for z.
4
Let i be 4/2 - -69 - -3. Let l(p) = -p**2 + 2*p. Let g be l(-6). Let m = g + i. Solve 0 = -5*f - m + 1 for f.
-5
Let t = 14 - 14. Let m(n) be the second derivative of n**4/12 + 2*n**2 - 3*n. Let v be m(0). Solve t = 2*q + v for q.
-2
Suppose 6*l - 4*l - 20 = 0. Suppose -8 = -3*w + l. Suppose 2*q + 6 = -3*u + 14, -4*q + 22 = 3*u. Solve -4*i - w = -q*i for i.
2
Let p(k) = -k + 7. Let x be p(5). Suppose 5 = -x*b + 3*b, -4*y + 23 = 3*b. Solve y*i + 2*i = 0 for i.
0
Suppose 8*u - 4*h + 3 = 3*u, -2*u + 4*h = 6. Suppose u = -2*i - 3. Let p be i/4*0/(-2). Solve p = -4*s + 3*s - 2 for s.
-2
Let y be 10/(-3)*12/(-20). Solve 6 = -y*k - 4 for k.
-5
Let v(t) be the second derivative of t**4/6 - t**3/2 - t**2/2 - 3*t. Let p be v(3). Solve -p = -3*f + 7 for f.
5
Let r(h) be the first derivative of -h**3/3 + 9*h**2/2 - 4*h + 2. Let f be r(8). Solve 3*k + 8 + f = 0 for k.
-4
Let u(r) = 4*r**3. Let d(b) = -b + 1. Let c be d(0). Let v be u(c). Solve 0 = w - v*w - 6 for w.
-2
Suppose -5*z + 10 = -5. Suppose m - z*g = -4*m + 13, 5*m + 3*g - 37 = 0. Solve x = m*x for x.
0
Let g(o) = 0*o + 6*o - 4*o - 2 - 3*o. Let m be g(-5). Solve 2 = -y + m for y.
1
Let n be (-2)/5 + 17/5. Suppose n*r = -4*c - 22, -5*c + r = -0*r + 37. Let k = -7 - c. Solve 5*q + 0*q - 5 = k for q.
1
Let p(t) = -7*t + 42. Let y be p(6). Let h = 0 + 5. Solve 0 = -y*w - 5*w - h for w.
-1
Let k = -94 + 98. Solve -9*m = -7*m - k for m.
2
Suppose 3*v - 3*k = 33, -2*k - 3*k - 31 = -v. Suppose -4*t = -2 - 10. Suppose -3*z + z + 9 = -y, z - 5*y + 9 = 0. Solve -v*f + t*f = -z for f.
2
Let m(g) = -2*g - 17. Let u be m(-11). Solve -u = -2*k + k for k.
5
Let y(f) = f**3 - 5*f**2 + 2*f + 2. Let x be y(4). Let c = 6 + x. Suppose v + 11 = 4*g, -11 = -2*g - 5*v - c. Solve 13 = -4*h - g for h.
-4
Suppose -3*t - 1 = -19. Let i = 8 - t. Suppose -18 = p - u - 3*u, -i*u + 14 = 2*p. Solve -p*g = -0 - 2 for g.
1
Let y = -224 - -234. Solve 3*k = y - 19 for k.
-3
Let z = -24 - -27. Let c be 0/((-1)/1 - 1). Suppose c = z*l - 20 - 16. Solve 0 = 5*q - q + l for q.
-3
Let c be -3 + 474/42 - 4/14. Solve -c*k = -3*k for k.
0
Let p be 0 + ((-1)/1 - -4). Suppose -11 + 1 = -2*c. Suppose c*b + 10 = 30. Solve -b*t + t = p for t.
-1
Let g be 8/(-60)*-6*5. Let i = -2 - -2. Suppose i = -2*y + 5*x - 2*x + 4, 2*y - g = 2*x. Solve v = y*v for v.
0
Suppose -5*l = -3*u - 4*l + 15, 4 = 4*u + 4*l. Suppose -3*h = -6*h - u*q + 1, -4*h - 3*q = -6. Solve -j - 2 = h for j.
-5
Let u = 89 - 86. Solve 0*r - u*r = -15 for r.
5
Suppose 2*l + 2 = -2. Let d be (-7 + (2 - l))*-1. Solve -q = d*q - 16 for q.
4
Let v be 9 + (0/3)/3. Suppose 0 = 3*d - v, -2*d = x - 0*d - 9. Let g = x + -1. Solve -g*n + 9 = n for n.
3
Suppose -30 = 4*z - 9*z. Let u = 6 - 4. Solve -u = a - z for a.
4
Let c(a) be the second derivative of -a**4/12 + a**3/6 + 2*a**2 + a. Let o be 2/3 - (-2)/(-3). Let h be c(o). Solve 2*g - 2 = h for g.
3
Let z be 2/6 + 8/3. Suppose 2*m - 25 = -z*m. Suppose -3*b + c + m = 0, 2*b + 5*c - 4 = 22. Solve -4*s = -b*s for s.
0
Let q = 0 + 3. Let y = 8 - q. Let w(g) = g**3 - 4*g**2 - 4*g + 1. Let k be w(y). Solve -4*h + h = k for h.
-2
Let x(u) be the third derivative of -u**6/120 + 3*u**5/20 + 5*u**3/6 - 2*u**2. Let z be x(9). Solve z = -0*d - d for d.
-5
Let i(w) = 4*w**3 - 3*w**2 + 5. Let z(g) = g**3 + 1. Let u(v) = -i(v) + 3*z(v). Let l be u(2). Solve -l*x + 0 = -2 for x.
1
Let i = -39 + 41. Solve i*c = c + 3 for c.
3
Let b(m) = -m**3 - 4*m**2 - 2*m - 3. Let z be b(-4). Suppose u - 4*u = z*p - 7, -u = -p + 3. Solve 3*s - p = -5 for s.
-1
Let z = 20 + -19. Suppose -4*t + 14 = 3*o, 3 - 1 = 3*t - 2*o. Solve t*x - z = x for x.
1
Let n = -7 + 7. Suppose -21 = -2*u - 5*k, 4*u + n*u + k - 15 = 0. Solve 0 = -4*p + 9 + u for p.
3
Let i(h) = -2*h**2 + 21*h - 20. Let q be i(8). Solve 5*o + q = o for o.
-5
Let k = -2 + 6. Suppose -m - 6 = -k*m. Suppose -3 = -m*z - z. Solve 5*x = -z + 16 for x.
3
Let a(c) = 2*c + 6. Let f be a(-3). Solve f = -h + 8 - 3 for h.
5
Let q(m) = m**3 + 6*m**2 + 2*m - 4. Let d be q(-6). Let r = 67 - 44. Let n = d + r. Solve 18 + n = 5*w for w.
5
Let t be 0/1 - 2 - -2. Suppose t*p + 5 = p. Solve -p*o - 3 - 7 = 0 for o.
-2
Suppose 0 = 2*u - 37 + 35. Solve -u + 0 = i for i.
-1
Let x(j) = j**2 - 14*j + 28. Let f be x(12). Let o(n) = n - 1. Let d be o(2). Solve -f*g + 11 = -d for g.
3
Let f(b) = b**3 + 22*b**2 + b + 26. Let q be f(-22). Solve 2*t + 2*t = -q for t.
-1
Let h be (1/2)/((-2)/(-8)). Suppose 0 = 5*i + 12 + 13. Let c = i + 8. Solve c*k = -h*k + 20 for k.
4
Suppose -7*a + 4*a = 0. Let o be (-6)/(-4) - (-3)/(-2). Let g be (2 - 0)/((-2)/(-4)). Solve a*r - g*r = o for r.
0
Suppose 3*k - 4*f = f + 8, 3*k = 2*f + 23. Solve 3 = 2*r + k for r.
-4
Let p be 6*(-2)/18*-3. Suppose -p*v - v + 6 = 0. Solve 3*w + 1 = -v for w.
-1
Let l(g) = -g + 15. Let r(s) = s - 14. Let o(j) = 4*l(j) + 3*r(j). Suppose 0 = 2*d + 8, 2*d = -5*z + 14 + 18. Let b be o(z). Solve 9*a + b = 4*a for a.
-2
Let g = -15 + 15. Solve g*v = 4*v + 20 for v.
-5
Let y = -35 - -35. Solve y = -n - 6 + 5 for n.
-1
Let p be -97 + (3 - 3 - -2). Let i be p/(-20) + 1/4. Let o = 85 + -55. Solve -o = 5*m - i for m.
-5
Let j = 3 - -1. Suppose -7 = 5*u + j*r, -2*r + 7*r + 18 = 3*u. Solve -5 = 3*z + u for z.
-2
Let k = 5 - 3. Let t = k + -2. Suppose -3*x = m - 8, 4*m + 5*x + t*x - 18 = 0. Solve m*n = -1 + 3 for n.
1
Let p(z) = 8*z - 2. Let b be p(1). Solve -b = -3*d + 6 for d.
4
Let m = -3 + 7. Solve 0 = -2*p - 6 - m for p.
-5
Let b be 9/(3/(-3)) - 0. Let n(u) = -u**3 - 10*u**2 - 9*u + 6. Let d be n(b). Solve i + i - d = 0 for i.
3
Suppose 0*n - 3 = -3*n. Let i be (2 - n)*(31 - 0). Let c = i - 22. Solve 2*o = -o + c for o.
3
Suppose -s + 10 = 5. Suppose z + 2*y = s*y + 9, 4*z + 5*y = -15. Suppose 2*h = z, 5 = -2*c - 2*h + 55. Solve 6*v = v + c for v.
5
Let o(l) = 5 - 3 + 6*l - 5*l. Let r be o(0). Solve 0 = r*k - 6*k for k.
0
Let l = -3 - -5. Let i(o) = o**3 + 7*o**2 - 9*o - 8. Let b(x) = x**2 + 6*x - 3. Let s be b(-5). Let y be i(s). Solve y*a + l*a = -10 for a.
-5
Suppose -b + 0 = -3. Suppose q - 20 = -5*h, h + 0*h = -5*q - 20. Suppose 3*t = 4*d - 32, 7*t = -h*d + 2*t + 75. Solve d = b*m - 1 for m.
4
Suppose 0*y - 20 = -5*y. Let h(u) = u + 4. Let p be h(-4). Suppose 9*i - y*i - 100 = p. Solve 0 = -2*d - 2*d - i for d.
-5
Let d(g) = 3*g - 2. Let s be d(2). Solve s = -7*k + 3*k for k.
-1
Let v(f) = -2*f**3 - 9*f**2 - 5*f + 1. Let k be v(-4). Suppose t + 0 = k. Solve t*h + 2 = -23 for h.
-5
Let h(f) = f**2 - 13. Let n be h(4). Solve a + n*a = 0 for a.
0
Suppose -3*i = -5*i. Suppose -27 = -5*x - k, i*x + 4*k = 2*x - 2. Suppose x*v - 63 = -3*r, -3*v + 23 = -2*r - 30. Solve -v = -2*m - m for m.
5
Let s(l) = 5*l + 6 + 5*l**2 + 2 + 0*l - l**3. Let y(t) = t + 3. Let u be y(3). Let j be s(u). Solve 2*k + 8 = -j*k for k.
-2
Suppose -3*j - 10 = -8*j. Let i = j + 2. Let h be (3/1 - 1) + i. Solve h*l - l = 0 for l.
0
Let p = 16 + -13. Suppose p + 3 = b. Solve -2 + b = 2*v for v.
2
Suppose -2*t + 12 = -4*l, 2*t = 5*l - 4*l + 12. Suppose 3*g + 9 = t*g. Solve g = -5*a + 2*a for a.
-1
Suppose -25 = -9*b + 4*b - 2*g, -15 = -3*b + 3*g. Solve 3*u + 4 + b = 0 for u.
-3
Suppose -p + 0*p - 4 = 0. Let r be (-6)/(-4) + 2/p. Let j be 2/3 + (-10)/(-3). Solve 5 - r = j*g for g.
1
Suppose 16 = -4*f, -3*o + f = -f + 4. Let h(d) = -d**3 + 3*d**2 - 4*d + 3. Let l be h(3). Let u = o - l. Solve 2*w = u - 15 for w.
-5
Suppose -5*b = -4*w - 70, -22 - 6 = -2*b - 2*w. Solve -2*l = 6 - b for l.
4
Let t = 29 + -29. Solve t*b + 4*b = 0 for b.
0
Suppose 0 = -k + 4*r - 6*r + 13, -3*r - 19 = -2*k. Let z = k + -8. Let h = z - 3. Solve h = 3*s - 9 for s.
3
Suppose 3*n + n = 0. Let u(l) = -6*l**2 - l + 3 - 9*l**2 + 16*l**2. Let i be u(n). Solve t = -i*t for t.
0
Let l = -4 + 8. Let o(t) = t**2 - 5*t + 4. Let w be o(5). Suppose 3*v - 3*f = -0*v, 5*v - 3 = w*f. Solve -i - l = v*i for i.
-1
Let a be (-56)/(-6) + 6/9. Let w = -7 + a. Suppose 0 = 2*r - 0*r + 3*p - w, 4*p = 5*r + 4. Solve 4*m - m + 6 = r for m.
-2
Let v = 51 + -50. Solve v = -