 12. Let a(m) = -m**3 - 6*m**2 - 4*m. Let f be a(-5). Let n be x(f). Solve -n = -5*h + 12 for h.
3
Let g(o) = -o - 9. Let x be g(-10). Suppose -1 = -p + x. Solve -p*q = -3*q for q.
0
Let r be (-1 + 0)*-2 - -10. Let w be r/(-18)*63/(-2). Solve -5*j - w = 4 for j.
-5
Suppose -m = -4*m + 12. Suppose 2*d - 7 = -3*o, 0*d + 4*o - 12 = -m*d. Suppose 0 = d*a - a. Solve -x = -a + 3 for x.
-3
Let p be 160/12*6/1. Suppose p = 6*s - s. Let y be (5/(-15))/((-1)/(4 - -2)). Solve -6*z + s = -y*z for z.
4
Let v be (-72)/(-14) - 28/196. Solve 10*k + v = 5*k for k.
-1
Let w(u) = u**3 + 2*u**2 - 2*u - 1. Let z be w(-2). Let a = -12 - -15. Solve a*q + z + 3 = 0 for q.
-2
Let y(c) = -c**2 + 3*c + 2. Let d be y(3). Solve h - 4 + d = 0 for h.
2
Suppose -4*y - 4*o - 12 = 0, 2*o + 0*o + 18 = 4*y. Solve -6 = 2*i + y for i.
-4
Let b be (-3 - -10) + 0/1. Solve -b*s = -2*s for s.
0
Let x = -1 - 5. Suppose -2*n + 12 = n. Let v be ((-12)/n)/(x/4). Solve 0 = -v*a - a - 3 for a.
-1
Let g = 14 + -8. Solve -3*a - g = -21 for a.
5
Suppose -4*i + 3*i = -q + 3, 0 = 4*q - 3*i - 10. Suppose -4 = -g - q. Solve 2*p - g*p = -2 for p.
2
Let j = -13 - -17. Solve -2 = j*f + 14 for f.
-4
Let m be (21/6)/7*12. Let t = m + 0. Solve -2*y = y - t for y.
2
Let q be 264/36 + 2/(-6). Solve -2*b = -q*b + 5 for b.
1
Let j(x) = x**2 - 5*x + 3. Let m be j(5). Let y = 1 + 8. Let v(a) = -a**2 - 7*a + 11. Let d be v(-8). Solve m*f + d = -y for f.
-4
Suppose 50 = -4*i + 6*i. Solve -i = -3*p - 10 for p.
5
Let b = -143 + 200. Let l = -32 + b. Let o(u) = 3*u - 35. Let t be o(13). Solve -9*f + t*f = -l for f.
5
Let m(q) = -2*q + 1. Let t be m(-7). Suppose -2*i - i = 0. Let j be i/((2 - 0)/2). Solve t = -j*h + 5*h for h.
3
Let b(d) = -4*d**3 + 2*d + 1. Let s(v) = v**3 + 7*v**2 - 1. Let n be s(-7). Let a be b(n). Suppose -11 = a*c - 47. Solve 3*t - 6*t - c = 0 for t.
-4
Suppose -3 + 1 = -o + 2*y, 4 = -4*o - 4*y. Suppose z = -o*z. Let i be 4/6 + 13/3. Solve z = -i*m + 8 + 12 for m.
4
Let m(c) = c**3 - 5*c**2 - 6*c + 4. Let i(k) = k**3 + 4*k**2 - 3*k - 6. Let x be i(-4). Let y be m(x). Solve -2*s - y = 2 for s.
-3
Let b(z) = -z**3 - 9*z**2 - 2*z + 2. Let h(c) = 2*c**3 + 19*c**2 + 3*c - 4. Let g(y) = -5*b(y) - 2*h(y). Let o be g(-6). Solve -4*n - n + o = 0 for n.
2
Let n(i) = -i**2 - 9*i + 9. Let z be n(-9). Let d(g) = -g**2 + 7*g + 1. Let r be d(z). Let q = -12 - r. Solve 0 = -q*c - 0*c - 25 for c.
-5
Let n(a) = a**3 + 5*a**2 + a - 5. Let x be n(-4). Let c(k) = -k**2 - 7*k - 3. Let y be c(-6). Solve 8 + x = -y*p for p.
-5
Suppose d = -5*b - 3*d - 12, -4*b + d = -3. Suppose -2*c = -a - 6, -5*c = 4*a + 32 + 5. Let f be (2/a)/((-6)/120). Solve b - 20 = f*w for w.
-4
Suppose -2*m = -3*k - 12, -2*m = -5*m + 3*k + 12. Solve m*t - t = 0 for t.
0
Let i be 76/18 + (-2)/(-9)*-1. Solve 0 = -5*o + 6 + i for o.
2
Let w(p) = -p - 1. Let a be w(-5). Suppose -2*n = -1 + 19. Let i be n/(-6)*(-40)/(-6). Solve -a*b + 6*b + i = 0 for b.
-5
Let m = 7 + -10. Let r be ((-4)/m)/((-6)/(-9)). Suppose r*k - 6*k = 0. Solve -5*q + k*q = -20 for q.
4
Suppose 6*l - 17 = 25. Solve -2*h + l*h = 0 for h.
0
Let l(w) = -5*w**2 + 6*w**2 - 7*w + 0*w**2 + 2. Let v be l(7). Suppose v*m = f - 4, f - 2*f + 4 = m. Solve m*z - 20 = -5*z for z.
4
Let k = 1 + 2. Let p = 2 - k. Let s be 3 + 1/(p/(-3)). Solve -c - s = -1 for c.
-5
Let r(v) = v**3 + 13*v**2 + 23*v + 15. Let z be r(-11). Solve 2*s + z = -2 for s.
-3
Let h = -12 + 16. Solve 0 = -h*q + q - 6 for q.
-2
Let t = 45 - 39. Solve -2*v + t = -5*v for v.
-2
Let c(v) = v**3 + 6*v**2 - v - 2. Let a be c(-6). Suppose 0 = t - 5*r - 4, -2*t - 3*r = 2*t - 16. Solve -t*p - 16 = a for p.
-5
Let b be 2/7 + (-4)/14. Suppose b*y + 45 = 4*t + 3*y, -10 = t + 5*y. Suppose 5*f = n + 15, -5*n - 3*f + 6*f = -13. Solve 0*x + n*x - t = 0 for x.
3
Let w(c) be the third derivative of c**4/12 - c**3/3 - c**2. Let k(j) = -j + 1. Let q(d) = 13*k(d) + 6*w(d). Let n be q(-3). Solve 2 = -n*i - 14 for i.
-4
Suppose 17 = 3*y + 8. Let n(v) = 2*v - 4. Let o be n(y). Solve -z + 1 = -o for z.
3
Let q be (0 - 2/(-3))*-3. Let d be (0 - 1 - -4) + q. Let a be 81/(-18)*4/(-2). Solve 4*w + a = d for w.
-2
Let m(j) be the first derivative of j**3/3 + 7*j**2/2 + 3*j - 2. Let q(d) = -d**2 + d - 1. Let f be q(3). Let x be m(f). Solve 7 + 2 = -x*z for z.
-3
Suppose 6*q = 7*q - 4. Suppose -q*r - 8 = -24. Solve p - r = -2 for p.
2
Suppose -2*m + 0*m = 5*l - 50, 5*l = -3*m + 55. Let n(j) = j**2 - 5*j - 3. Let z be n(6). Let s be (z/1)/(9/12). Solve 0*t - s*t = l for t.
-2
Let d = 109 - 109. Solve i - 3*i = d for i.
0
Let l = -20 - -34. Let h = l - 12. Solve -d = d - h for d.
1
Suppose -3 = -w, 3*k + 5*w - w = 21. Suppose -6*r + 2*r = 0. Let z be 1*1/(-1) - -7. Solve k*p - z = -r*p for p.
2
Let v(r) = r + 11. Suppose 5*d + 5*s + 80 = 0, 49 = -4*d - 2*s - 5. Let z be v(d). Let f = z - -6. Solve -2*t = -0 - f for t.
3
Let i be (-22)/18 + 8/36. Let y(l) = -22*l**3 - 1. Let p be y(i). Solve -4*w = -1 + p for w.
-5
Let g be (-3)/6 + (-114)/(-12). Solve 0 = -4*c - g - 7 for c.
-4
Let d(n) = n**3 - n**2 - 4*n + 2. Let t be d(3). Solve -t = -3*c + 7 for c.
5
Suppose -6*z + 3*z + 8 = -4*k, z - k = 2. Solve a + z*a = 5 for a.
5
Suppose w + 4*r - 6 = 13, -3*w = -r - 5. Let n be -2*(w - 7)/2. Let o be 1 + 0/(-2) - -1. Solve -o*g = -6 - n for g.
5
Suppose 4*a - u - 2 = 0, -2*u - 4 + 0 = 0. Suppose -3*r - d = -11, -11 = 2*r + d - 4*d. Suppose a = -3*k + r*k. Solve k*b - 4 = 2*b for b.
-2
Let g = -52 - -53. Solve 2 - g = l for l.
1
Let n = 55 + -54. Solve -2*q = -3 - n for q.
2
Suppose 4*w = 4*k - 4, 0 = -2*k + 7*k + 3*w - 45. Solve -a + 2 = k for a.
-4
Let n = 11 - 6. Suppose 0*t - n*s = -2*t - 3, -27 = -5*t + s. Suppose t = p + p. Solve -b = -p*b for b.
0
Let x(t) = -t**2 + 2*t + 1. Let z(w) = -w**2 + 2. Let h be z(0). Let f be x(h). Let k = -1 + f. Solve o + o + 10 = k for o.
-5
Let b(s) = -s**3 - 3*s**2 - 2*s - 3. Suppose 9 = -13*y + 10*y. Let a be b(y). Solve 0 = a*w - 4*w - 4 for w.
-4
Let m be (-6)/((-9)/2 - -3). Let u = 1 - 1. Solve u = k + k + m for k.
-2
Let r = 45 + -21. Suppose 4 = 4*u + 4*c, 4*c = u - 0*u - 21. Let y = -6 + 10. Solve u*o - r = -y for o.
4
Suppose -5*a = 20, -4*a = -0*b - 4*b + 76. Suppose -3*l + 0*l + b = 0. Suppose 5*y + l = -2*m, 5*m - 3 = 2*y + 28. Solve 4 + 1 = -m*z for z.
-1
Suppose -8*p = -11*p. Suppose p = -o + 2*o. Solve -x + 5*x = o for x.
0
Let f = -6 - -10. Suppose 5*i + 0*z = 3*z + 3, z - 16 = -4*i. Suppose i*v = m - f + 2, 3*m - 5*v = 6. Solve 4*c - m*c = -2 for c.
-1
Let z(w) = 5*w - 7*w + 5*w - 2. Let a be z(2). Solve 2*n - a = 6 for n.
5
Let t = -1 + 5. Suppose 3 = 5*v + t*n - 7, v + 3*n = 2. Solve v*o = -5 + 1 for o.
-2
Suppose 1 + 9 = 5*u. Solve -n + u = -1 for n.
3
Let y = -7 - 0. Let w = y + 10. Solve 10 = -w*d + 25 for d.
5
Let d(g) = g**3 - 7*g**2 - 9*g + 10. Let z be d(8). Solve -z*t = -t + 4 for t.
-4
Let t(x) = -x**2 + 6*x - 5. Let z be t(5). Let l = -5 - -9. Let s be 10*(-1 - (-3)/1). Solve z + s = l*r for r.
5
Let x(m) = m**2 + 8*m + 7. Let j be x(-8). Suppose 10 = -j*r + 9*r. Solve r = 3*t + 2 for t.
1
Let t = -2 - 4. Let d = t - -9. Let m be (0 - -3)*2/d. Solve m*n = 7*n - 15 for n.
3
Suppose -4*u + 0*u + 21 = y, 2*u - 3*y = 7. Suppose 27*s - 30*s = 0. Solve s = -u*a + 4 + 6 for a.
2
Suppose 0 = l + 2*l - 9. Suppose 3*a + l - 6 = 4*m, -a + 20 = 5*m. Solve -3*n - a = -4*n for n.
5
Suppose -2*f - 3*l - 2*l - 10 = 0, -f + 9 = -l. Let b(s) = -s**2 + 5*s + 11. Let i(c) = 1. Let t(g) = b(g) - 5*i(g). Let p be t(f). Solve -y + p*y = 15 for y.
3
Suppose -2*f - 26 = -7*f - y, -3 = -3*y. Suppose r + 4*r = f. Let j be 2/(-6) + r/3. Solve -3*a + 1 + 2 = j for a.
1
Let l be 4/(-60)*-6 + (-90)/(-25). Solve 12 + 8 = l*w for w.
5
Let y = 0 + 2. Let j(l) = l - y*l + 1 + 2. Let s be j(3). Solve s = x - 5*x for x.
0
Suppose 20 = -4*l, 2*f - 6*f - 10 = 2*l. Solve 0*w - 5*w = f for w.
0
Suppose w = -w - 3*j + 11, 25 = 5*w + 5*j. Solve -w*r = r + 15 for r.
-3
Suppose -8 = -3*z + z. Suppose 4*h = -3*n + n + 6, 3*h = -z*n + 17. Solve n*d - 20 = 5 for d.
5
Suppose m - 4*u - 24 = 0, u + 3 = -4*m + 14. Solve -m = 3*b - 1 for b.
-1
Let d(z) = z**2 - 5*z + 3. Let i = 6 - 1. Let s be d(i). Solve 0 = 2*c + s*c for c.
0
Let t(p) = -p**2 - 11*p + 10. Let n(u) = u - 3. Let o be n(8). Suppose -o*a - 60 = 5*j, 2*j - 13 - 7 = 2*a. Let z be