12. Solve 0 = -4*a + 3 + k for a.
2
Let a(t) = t**3 - 7*t**2 + 14*t - 8. Let d be a(5). Suppose -p + d = 3*p. Solve -p*x - 5 = -2*x for x.
-5
Let i = -196 + 201. Solve -9 = 2*n - i for n.
-2
Let s = 2123 + -2120. Solve s*o = -o - 3*o for o.
0
Let q(f) = 56*f**3 - 5*f**2 + 3*f - 2. Let u be q(1). Solve 4*d + 9*d = -u for d.
-4
Suppose -5*l - 3*c + 6 + 14 = 0, -25 = 5*c. Solve 2*d = 3 - l for d.
-2
Let o be (61/3 + -1)/((-6)/(-9)). Suppose 7*p - 2*p - 2*k - 23 = 0, -3*p = -5*k - o. Solve 0*g + p*g - 12 = 0 for g.
4
Suppose 12*z - 11*z - 5 = 0. Suppose 0*q + 24 = 4*g - z*q, 0 = 3*g - 2*q - 11. Solve 0 = -r - 0*r + g for r.
1
Let k(q) = -q**2 + 5*q + 8. Let y be k(6). Suppose 3 = 5*p - y. Solve 3*b = -7 + p for b.
-2
Suppose -66*a = -65*a. Suppose 0 = -j - a - 5, -o + 4*j = -22. Solve -o = -s - 4 for s.
-2
Suppose -5*z + 4*o - 2*o = -12, -4 = -o. Solve z = -4*c + 3*c for c.
-4
Suppose -4*q - 43 = -2*d - 3*q, 3*d - 2*q = 66. Suppose -2*t = 2, 0 = 5*u + t - 0*t - 54. Suppose -3*s = u - d. Solve -2*p = s - 5 for p.
1
Let j(g) = -g**2 - 1. Let u(s) = -4*s**2 + 17*s - 19. Let p(r) = -3*j(r) + u(r). Let z be p(16). Solve z*x - x = 4 for x.
-4
Let t(m) = -m + 1. Let h be t(-1). Suppose 3*s + h = 4*s, 4*u - 2*s - 20 = 0. Solve u*k = 4*k + 6 for k.
3
Suppose 3*g - 3*i = -72, 5*i - 16 = g + 2*i. Let k be 19/7 - 8/g. Suppose 4*f - 6 = k*q - q, 3*q - 12 = -f. Solve 0 = -2*j + f*j + 1 for j.
-1
Let c(k) = k**3 + 4*k**2 - k + 1. Let u be ((-9)/(-2))/(9/18). Let f be (-54)/u*4/6. Let l be c(f). Solve l*d = d for d.
0
Suppose -5*r = 3*p - 260, 4*p - 5*r = 141 + 229. Let f be 2/(-15) + 192/p. Solve g - 3 = f*g for g.
-3
Let v(s) = s**3 + 9*s**2 - 10*s + 4. Let m be v(-10). Suppose -5 = 4*g - 5*z, g + 3*z - 3 = -2*g. Suppose 3*a - 2*a = g. Solve a*x + m = x for x.
4
Let f = -77 + 101. Solve 21*i = f*i for i.
0
Let q = 36 - 36. Let t(p) = -p**2 - 13*p - 2. Let j be t(-12). Let h = j - 8. Solve q = h*k + 1 + 1 for k.
-1
Let r(b) = b**3 + b**2 - b + 1. Let v be r(1). Suppose 137*h - 3 + 3 + 0 = 0. Solve h = 2*s + v*s for s.
0
Let g(u) = 6*u + 6. Let l be g(1). Suppose -3*v + 10 = 1. Solve -3*b - l = v for b.
-5
Let o = -381 - -386. Solve -11 - 14 = o*z for z.
-5
Let l = 2799 + -2766. Solve 12*j - l = j for j.
3
Let k = -30 + 29. Let v be (k - -3)/2 - -7. Solve -j + v = 3*j for j.
2
Let g = -2 + 7. Let b = -121 + 231. Suppose 0*d + g*d = b. Solve 5*q + d = -3 for q.
-5
Let v(p) = p**2 + p + 1. Let u(s) = 5*s**2 - 6*s + 2. Let h(n) = -u(n) + 6*v(n). Suppose 60 = -3*l - 2*l. Let w be h(l). Solve 19 = -w*m - 1 for m.
-5
Let a be (-268)/6 - 2/6. Let y be 4/30 + 1176/a. Let v be 34/(-187) + y/(-22). Solve 3*x = 11 + v for x.
4
Suppose 4*o + 8 = 0, -5*o = -2*y - 0*y + 4. Let p be (y - -30) + (-6 - -5). Solve 5*w - p = -11 for w.
3
Suppose 23*t = 20*t - 27. Let a be (-1)/((t/(-2))/(-9)). Solve 0 = -v + a*v + 4 for v.
-4
Let b be (-4)/(-24) + (-70)/(-12). Let v be (b + -4)*5/2. Suppose 128 + 42 = v*x. Solve 9 = -5*n + x for n.
5
Let w be 88/6 - (-2)/(-3). Suppose 96*o = 95*o - 12. Let t = w + o. Solve 0*b - t = -b for b.
2
Let p be 11 + (5 + 31)/(-12). Solve 7 + 1 = p*w for w.
1
Suppose -2*k + 4*n = -38, 3*n = -2*k + 14 + 3. Let t = k + 10. Suppose 2 - t = -3*d. Solve -15 = -2*y - d for y.
4
Let l = 114 + -104. Solve 2*a + 3*a + l = 0 for a.
-2
Suppose -338 = 8*x - 370. Solve 6*l - x*l + 2 = 0 for l.
-1
Let i(x) = -x + 2. Let s(c) = -c + 1. Let v(b) = 7*i(b) - 6*s(b). Suppose -u = -6*u + 5*y + 10, 0 = 5*u + y - 34. Let w be v(u). Solve 15 = -w*a - a for a.
-5
Let o(m) = -m**3 + 18*m**2 - 2*m + 41. Let i be o(18). Suppose 5 = -i*v + 15. Solve d - v*d + 2 = 0 for d.
2
Suppose 115 = 19*x - 14*x. Suppose 4*w - 1 = x. Solve -7*j + 4 = -w*j for j.
4
Let q(x) = x**3 - 5*x**2 - 17*x + 71. Let m be q(6). Solve -15*f + m = -16*f for f.
-5
Let h = 4 - 4. Suppose -l - 4*f + 20 = h, 5*l + 13 = -5*f + 38. Suppose 5*b + l = 10. Solve 2*r - b = -10 for r.
-4
Let g(i) = -i**2 + 4*i + 1. Let b be g(3). Let a = 0 + 0. Suppose a = 4*h - 0*h - 32. Solve -h*n = -4*n + b for n.
-1
Let r = -658 - -660. Solve r*k = -5*k - 0*k for k.
0
Suppose -4*c - 26 = -2*u, -4*c + 3*c - 5 = 0. Let s be 40/24 - (-4)/u. Solve 2*x = s - 7 for x.
-2
Suppose 5 = -p - 2. Let i(w) = w**2 + 6*w - 2. Let l be i(p). Solve 0 = -4*o - o + l for o.
1
Suppose -2*b + 38 = -2*c, -23 = -5*b + 4*c + 69. Let o = b - 14. Suppose 3 = o*d - 3. Solve -d*y - 6 = -0 for y.
-2
Suppose -30*u + 134 - 14 = 0. Suppose -h = -3*g - g + 16, 5*h + 20 = 5*g. Solve h = -8*f + u*f for f.
0
Suppose 3*a + 20 = 4*a. Let p be 3*4/a*5. Solve -25 = 2*j + p*j for j.
-5
Suppose -3*q + 15 = -5*b, -q = 2*b - b - 5. Suppose -f + 2*l + 5 = q*l, 5*f - 13 = -3*l. Solve -r - r = -f for r.
1
Let j(m) = -11*m + 85. Let h be j(7). Solve -h*q + 5 = -7*q for q.
5
Let a = 316 + -314. Solve a = -w - 2 for w.
-4
Let m(k) = k + 8. Let r(c) = -c**3 + 12*c**2 + 13*c + 4. Let w be r(13). Suppose -q = 4, 0 = -2*y - w*q - 46 + 18. Let p be m(y). Solve -v = -2*v + p for v.
2
Let g(s) = -s**2 - 7*s + 63. Let v be g(-12). Solve 12 + v = -3*f for f.
-5
Suppose 3 = p - 0*p. Suppose 2 = 5*d + 3*m - 22, 0 = -p*m + 9. Solve o + d*o = 0 for o.
0
Suppose 1425 = -5*k + 1450. Solve -3*c - 2*c = k for c.
-1
Let m be 7 + 4*(-15)/12. Solve m*z = -3*z - 5 for z.
-1
Suppose -4*n = -3 + 3. Let l be 6 + -5 - (n + -4). Solve l = -3*a + 2 for a.
-1
Let w(y) = 2*y**2 + 13*y - 15. Let m be w(-7). Let l(p) = 10 - 3 - p**2 + 2 - 10*p. Let r be l(m). Solve -v + r = 4*v for v.
5
Suppose 0 = 5*i - 20. Suppose 3*h = -i*h. Solve -m + 5*m - 4 = h for m.
1
Let s(f) = 5*f**2 - 4*f + 2. Let o be s(1). Suppose o*y + 38 = 53. Solve y = -0*c + 5*c for c.
1
Let c be 28*11/(308/(-24)). Let f = c - -3. Let x = -17 - f. Solve g = x*g + 15 for g.
-5
Suppose 314 = -7*i + 328. Let o be 0/(-2 - -1) + 1. Let u be (1/(-1))/((-2)/6). Solve i*k + o + u = 0 for k.
-2
Let q(o) = -3*o**3 - 3 - 3*o - 7*o**2 + 2 + 2*o**3 + 3*o**2. Let t be q(-3). Let p be t/(-4)*4 + -1. Solve p*y = -3*y + 12 for y.
4
Suppose 12*v - 6 - 6 = 0. Let h be v*(48/4 + 0). Solve 2*x + h = 4 for x.
-4
Let c(u) = -6*u + 2*u + 11 - 1 + 3*u. Let d be c(8). Suppose 2*m + 3*h - 1 = 0, h = 2*m + d*h - 11. Solve 2*x + 0*x = -m for x.
-4
Suppose 0 = -2*o + 5*o. Let z be 0/(-1 - 1)*1. Let f be 2 - 3 - (-6 + 2). Solve o*j + f*j + 3 = z for j.
-1
Let r = -9 + 12. Let q(i) = -i**3 + 9*i**2 - 11*i - 14. Let n be q(7). Solve r*p = n*p for p.
0
Let l(d) = d**3 + 9*d**2 + 7*d - 5. Let r be l(-8). Let f(z) = z + 1. Let t(w) = -7*w - 3. Let j(x) = -6*f(x) - t(x). Let v be j(r). Solve v = -3*p - 2*p for p.
0
Let v be 2/(-19) - (-6)/57. Solve -8*j - 20 - 20 = v for j.
-5
Suppose 17 = -5*s + 2, 0 = 3*o - 2*s. Let a = -8 - o. Let n be 4/a - (-44)/12. Solve -d = -n*d for d.
0
Let a(d) = 62*d + 78*d + 69 - 127*d. Let m be a(-5). Suppose -3 = 3*q - 33. Solve k + m*k = q for k.
2
Suppose -2*m = 5*l - 23, -l + 2*m - 2 = l. Suppose 1 = -h + s - 0, 17 = l*h + s. Let c = 6 - h. Solve c + 6 = -2*k for k.
-4
Suppose 33 - 81 = -6*q. Solve q*n = 9*n for n.
0
Suppose 4*y + 19*y = 851. Solve -y + 4 = -11*i for i.
3
Let k = 4 - 103. Let n = 101 + k. Solve -5*y + n*y + 9 = 0 for y.
3
Let g be (-51)/(-9) + 14/(-21). Suppose 4*b = -g*a + 37 - 11, -5*a + 17 = 3*b. Solve -b = 2*f - 5*f for f.
3
Let w(j) = -6*j - 1. Let b be w(-1). Let l(r) = -2*r - 6. Let x be l(-4). Suppose 5*t = 4*s - 32, x*s + 6*t - t = 16. Solve b*k - s - 12 = 0 for k.
4
Let z(r) be the third derivative of -6*r**2 - 1/3*r**3 + 0*r + 1/24*r**4 + 0 + 1/20*r**5. Let w be z(-2). Solve -w = d + 3*d for d.
-2
Let c be 15 - (3 + -3 + -1). Solve 12*u = c*u - 16 for u.
4
Suppose -2*g - g - 5*q = 11, 3*g + 4 = 2*q. Let f = g - 6. Let m be (-9)/(-12) + 6/f. Solve m*p - 2*p = -2 for p.
1
Let y be (2 + 4)/2 + -1. Suppose -2*u = y*g - 26, 6*u - 2*u - g - 62 = 0. Let a be (1/(-3))/((-3)/36). Solve v + u = a*v for v.
5
Let b be -1*4*(-1)/2. Suppose -x - 12 = 2*d, 10*x - 13*x - 2*d = 12. Solve -b*n + n + 1 = x for n.
1
Suppose 2*h + 9 = 5*h. Let w(z) = 2*z**2 - z + 2 + 2*z**2 + 5*z + z**h. Let v be w(-2). Solve -4*d = -3*d + v for d.
-2
Let v be 5/(30/82) + 2/(-3). Solve -5*x + v*x = 16 for x.
2
Let u be 2/(4/(-14) - (-80)/35). Solve -x + 0 = -u for x.
1
Let d be (-170)/(-51) - 2/(-3). Solve 0 = -2*q + d*q for q.
0
Let v = 36 + -30. Solve u