12. Solve d = 2*g - 4*g for g.
0
Let z(p) = -p**3 + 7*p**2 + 12*p - 38. Let b be z(7). Solve -7*o + 18 - b = 0 for o.
-4
Let a(u) = -u**3 + 4*u**2 + 6*u. Let q be a(5). Let j be (7 - 9) + -1 + q. Suppose -3*t + 32 = -h + 1, j*t - h - 21 = 0. Solve 0 = -2*p - 3*p + t for p.
2
Let k be (-7)/(-28) - (0 - (-87)/(-4)). Let q(w) = 2*w. Let s be q(-11). Let t = s + k. Solve 5*a + 0 - 10 = t for a.
2
Let i = 99 - 94. Suppose 3*g - 5*k + 3 = -2, -2*g - i*k + 30 = 0. Suppose -3*b + 2*b + 15 = 3*s, -3*b = 5*s - 21. Solve -s*d + d = g for d.
-1
Let u = 223 + -223. Solve u = c + c - 4 for c.
2
Let t be (4/18 - 0) + (-562)/2529. Solve t = 2*r - 5 - 3 for r.
4
Suppose -6 = 5*n - 8*n. Suppose 2*b = -n*h, -h - 5*b + 4 - 12 = 0. Solve -h = o - 4 for o.
2
Let y be 19/5 - (-8)/40. Suppose y*h + w - 9 = 0, 3*h - 3*w = 2*h - 1. Solve 3 + 1 = -h*f for f.
-2
Let f(k) = 12*k - 69. Let j be f(6). Solve -j = -g - 0*g for g.
3
Suppose 10 = 2*t + 58. Let y be (-82)/(-12) - t/144. Solve -32 = -5*r - y for r.
5
Suppose -51 = 2*h - 5*h. Suppose -31*p + 0*p + 217 = 0. Solve p = -2*y + h for y.
5
Suppose -3*f - 2*h + 20 = 0, 2*f + 2*h = -6 + 20. Suppose f*d = d. Suppose 5*u - 5 - 7 = k, d = -5*k - 10. Solve -m + u*m = 0 for m.
0
Let q = -21 - -21. Suppose -u - 4*u + 6*u = q. Solve u = -3*a - 0*a - 15 for a.
-5
Suppose 51 = 12*i - 13*i. Let k = i + 54. Suppose -6*r = 4*a - r + 25, 0 = 3*r + 15. Solve k*d + a = -6 for d.
-2
Suppose 4*t - 36 = 4*g, -15 + 6 = 4*t + 5*g. Suppose 24 = -i + t*i. Solve i*j = 5*j for j.
0
Let g(l) = 254*l + 2286. Let q be g(-9). Let n be (-2)/7 - 60/(-14). Suppose -z - n = -3*z. Solve q = -0*j - z*j for j.
0
Let c(w) = 2*w**2 - 7*w + 1. Let l be c(-4). Let t = l - 60. Solve -2*s - 5 = t for s.
-3
Let i be (16/6)/((-40)/(-60)). Suppose -10*g + 12 = -i*g. Let j be (-9)/6*(-6 + g). Solve 0 = -4*o + 10 + j for o.
4
Let o(i) = -2*i - 7. Let s be o(-10). Let n = s - 3. Solve -3*w = -w + n for w.
-5
Suppose g - 5*g = -16. Suppose 4*n + 3*u = 21, 5*n - 1 - 32 = 3*u. Let o(c) = -c**3 + 7*c**2 + c + 3. Let h be o(7). Solve h + n = -g*s for s.
-4
Let r(y) = -y**2 - 5*y + 1. Let s = -12 + 8. Let v be r(s). Let c(w) = -2*w**3 - 2*w**2 + w - 2. Let g be c(-2). Solve 3 + v = -g*z for z.
-2
Let k be ((-5)/3)/((-22)/66). Solve 7 = -k*n - 8 for n.
-3
Suppose 6*q - 2*w = q - 52, -15 = q - 5*w. Let k = 16 + q. Let g be 7/3 - k/(-9). Solve -4*a + g*a = -1 for a.
1
Let i(s) = 2*s**3 + 94*s**2 + 92*s + 3. Let f be i(-46). Solve y - 4 = -f for y.
1
Let c be -2 - (3 - 147/9)*-3. Let x = 42 + c. Solve 4*f + 6 - 18 = x for f.
3
Let d(j) = j**3 + 11*j**2 + 9*j - 7. Let f be d(-10). Suppose f*r + 6 - 12 = 0. Suppose r*o - 9 = 7. Solve 4*l - 24 + o = 0 for l.
4
Let u(w) be the first derivative of -4/3*w**3 - 7*w - 3/2*w**2 + 2 + 1/4*w**4. Let t be u(5). Solve 0 = t*c - 7*c + 4 for c.
1
Let z(t) = -4*t + 31. Let b be z(7). Suppose b*j = -3*f + 36, -38 + 2 = -2*f - 5*j. Solve 0 = 3*s - f*s + 10 for s.
2
Suppose 2*f - 6 + 0 = 2*w, f + 12 = 4*w. Suppose f = -4*i, 3 = -5*v - 3*i + 7. Suppose j + 1 = 3, 16 = 2*k + 4*j. Solve -3*m - k = v for m.
-2
Suppose -13 = -5*x - 3. Let d(w) = w**3 + 17*w**2 + 15*w - 16. Let t be d(-16). Let p(z) = z**3 - z**2 - z + 4. Let f be p(t). Solve f = -m + x for m.
-2
Suppose -z - 67 = -4*b, 0*z + 19 = b - z. Let j = -4 + b. Solve -r + j = -4*r for r.
-4
Let y = -7 - -13. Solve 10*d - y*d = 12 for d.
3
Suppose -g + 2 = -0*g. Suppose 6*d = -4*d. Solve d*y = -y + g for y.
2
Suppose 134*t = 128*t + 18. Solve -t*p - 9*p = -60 for p.
5
Let x(v) = v**2 - 3*v - 70. Let o be x(-8). Solve 5*r + 2 = -o for r.
-4
Suppose 2*b = -6, -4*w + 3 = -2*b - 23. Solve -v = -w*v for v.
0
Let n be (0*(-1)/4)/(-1). Suppose 2*r - 4*y - 24 = n, r - 39 = -4*r + 3*y. Solve 0 = -r*k + 3*k - 12 for k.
-4
Let v = -72 + 110. Let s = 40 - v. Solve s*g + 8 = -2 for g.
-5
Suppose 21*h - 20 = 16*h. Suppose -3*o + 4*b + 0*b = -36, -3*b + 23 = h*o. Solve -o = 5*a + 7 for a.
-3
Let v = -30 - -31. Suppose -2*m + 2*u + v = 3, m + 4*u = 24. Let r be 18/4 - (-2)/m. Solve r*a + 7 - 2 = 0 for a.
-1
Suppose -6 = -2*i - u, -7*u + 8 = 5*i - 8*u. Suppose 14 = -2*x + 4*x. Let c = 7 - x. Solve c = -i*v + v + 5 for v.
5
Suppose 12 = 2*o + o. Let d = 59 + -59. Suppose -4*b - 5 = 5*m + 10, d = 3*b - 5*m - 15. Solve b*y - o = 4*y for y.
-1
Let b(p) = p**2 - 1. Let q(w) = -w**3 + 17*w**2 - 1. Let c(i) = -5*b(i) + q(i). Let k be c(12). Suppose -k*s + 13 = -19. Solve 3*v - 1 - s = 0 for v.
3
Let c = 367 - 514. Let h = c - -147. Solve h = -2*l - 3*l - 25 for l.
-5
Let x be (10/(-4) - -1)*-2. Let m(d) = 2*d**3 - d**2 - 3*d + 1. Let s(p) = -p**2 + 8*p + 11. Let t be s(9). Let w be m(t). Solve w*q = x*q - 8 for q.
-2
Let l(j) = -j**2 - 4*j + 43. Let t be l(-8). Solve -t*m = 7 + 15 for m.
-2
Let r be -11 - -8 - (-11 + 0). Suppose -2*h = -0*h - r. Let x = 3 - -7. Solve h*m - x = -m for m.
2
Let n(f) = -f**2 - 7*f + 12. Suppose 0 = -q + 2*q + 7. Let p be n(q). Let t = 14 - p. Solve 20 = -t*i - 2*i for i.
-5
Let n(z) = -z**3 + 24*z**2 - 44*z + 9. Let m be n(22). Solve m*b - 4*b = -10 for b.
-2
Let j(s) = -s**3 - 6*s**2 + 7*s + 10. Let m be j(-7). Let y be ((-5)/(-2))/(5/m). Solve -y*z + 4 = -1 for z.
1
Suppose 0 = -2*y - 0*y + 4. Let d(z) = 27*z**3 + 595*z**2 + 24*z + 44. Let r be d(-22). Solve r = y*i - 4*i for i.
0
Let q = 283 - 267. Solve 9*i - q = 5*i for i.
4
Suppose 6*p - p = 80. Suppose -3*c = g - 37, 0*g - p = -c - 4*g. Let v be 3/c + 93/12. Solve -4*x - 12 - v = 0 for x.
-5
Let j(n) = -n**3 - 20*n**2 - 2*n - 35. Let l be j(-20). Suppose -4*k + 6 + 17 = l*r, k + 13 = 5*r. Solve k*y - 5 = y for y.
5
Let t = -1510 - -1511. Solve -11*b + t = -12*b for b.
-1
Let t(f) = -f**3 + 6*f**2 + f - 2. Let d be t(6). Suppose 0 = k + 3*k + 4*z - 36, 2*z = -d*k + 30. Let q be 84/35*15/6. Solve -3*g + q*g = -k for g.
-2
Let c be ((-4)/(-3))/(6/18). Suppose 4*o - 3*o = -2, -2*d + 2*o + 12 = 0. Solve -2*v = c + d for v.
-4
Let h(b) = 3*b + 11. Let s be h(1). Solve 10*o = -4*o + s for o.
1
Let d = 2 - 2. Suppose 20 = f - d*f. Let a(o) = -2*o**2 - 90*o + 398. Let h be a(-49). Solve 0 = -2*g + h*g + f for g.
-5
Suppose -8*u - 3*u = -77. Solve 5 = -u*d + 6*d for d.
-5
Let a(j) = 8*j - 28. Let l be a(4). Suppose 6*v = 11*v - 5. Solve -5*r + l*r = -v for r.
1
Let i = 112 + -75. Suppose -2*m + i + 3 = 5*h, 5*h - 40 = -3*m. Solve -s - h = s for s.
-4
Let w = 346 - 336. Solve -w = 14*q - 16*q for q.
5
Let w(p) = -p**2 + 2*p + 16. Let m be w(5). Suppose 4*v = m + 11. Solve 0 = 2*b + v*b for b.
0
Let r(j) = j**3 - 61*j**2 + 172*j + 119. Let p be r(58). Solve -4*z = -p*z + 4 for z.
-4
Suppose 0*d = -5*d + 30. Let q = 43 - 42. Suppose -q = o - d. Solve -o*z + 4*z = 0 for z.
0
Let b(x) = -16*x**3 + x**2 - 1. Suppose -h + 1 = -2*h. Let t be b(h). Let a = 26 - t. Solve v = -v - a for v.
-5
Suppose 3*x + 39 = -21. Let b = x - -17. Let r be 2 + 5 + b + 2. Solve -r = -3*t + t for t.
3
Let r(j) be the second derivative of 3/2*j**2 + 1/12*j**4 + 0 + 4*j + 3/2*j**3. Let q be r(-9). Solve 0 = w + q for w.
-3
Let u = -6 + -2. Let s = u + 18. Let b = s + -4. Solve -d - 25 = -b*d for d.
5
Suppose 2*u - 24 = -4*f, 3*u - 24 = -3*f - 0. Let s = u + -1. Solve -s*h = 2*h - 25 for h.
5
Let k be 2 + 1 - 16/(-8). Suppose -1 = w - 4. Let s = 43 - 35. Solve -s + w = k*d for d.
-1
Let x = -450 + 450. Solve x - 4 = 2*t for t.
-2
Let r = -5 - -17. Suppose -i + 5*i + r = 0. Let h = i - -4. Solve -h + 2 = -k for k.
-1
Suppose -14*z = -5*z. Let i be (10 - 1) + z/(-14). Solve -4*j = -j + i for j.
-3
Suppose 4*a - 3*j = 439, 547 = -a + 6*a - 2*j. Let b = a + -97. Solve -9*k - 15 = -b*k for k.
5
Suppose 0 = 10*l - 2*l + 40. Let u = 12 + l. Solve 0 = -u*g + 2*g - 20 for g.
-4
Let x(c) = c + 1. Let q be (-123)/39 - 4/(-26). Let r(l) = 1. Let p(h) = q*r(h) - x(h). Let m be p(-19). Solve -2*y = y - m for y.
5
Suppose 6*f + 18*f - 144 = 0. Solve f*h - 11*h = 25 for h.
-5
Suppose 0 = -b - b. Suppose b*m = -m. Suppose m = 2*p - 3 - 3. Solve -p*a = -0 + 6 for a.
-2
Let x(n) = -n**3 + 4*n**2 + 10*n - 10. Let c be x(6). Let k = c + 22. Suppose k = -4*y + 8*y. Solve y = 3*s - s for s.
0
Let z(q) = -19*q - 15. Let f be z(-1). Solve -7*i - 9 = -f*i for i.
-3
Let h(a) = -2*a**2 + 2*a - 1. Let n be h(1). Suppose l = -2*p + 11, 4*p = -2*l + 6*l - 8. Let u = n + p. Solve -3*y - 20 = u*y f