-m + z*m = 12. Let c = -333 - -336. Solve m = -3*f - c for f.
-2
Suppose 7*l = 5*l + 12. Let v = -120 + 115. Let w be (l - 4) + v - -9. Solve c - w*c - 15 = 0 for c.
-3
Let a(v) = -2*v**3 + 10*v**2 - 2*v - 10. Let g be a(4). Solve -25*q = -18*q - g for q.
2
Suppose -3*v + 4*y + 6 = 0, 3*y = -4*v + 3 + 5. Suppose 0 = -5*i + 3*a + 4, 3*i + 2*a - 8 = v. Suppose -6 = r - i*k, 5*k = 23 - 3. Solve -x = 1 - r for x.
1
Suppose 0 = -4*m - 4*g - 12, g - 4*g = 2*m + 9. Let u be (m - 8)/2 - 182/(-26). Solve -u*a - 16 = a for a.
-4
Let s(i) be the second derivative of -i**5/20 - 11*i**4/12 - 3*i**3 + i**2 + 38*i. Let p be s(-9). Suppose 0 = p*o + 35 - 41. Solve o*j + 0*j = 6 for j.
2
Let o = -64 + 46. Let l = o + 20. Suppose r - 6 - 3 = l*s, 3*s = 4*r - 26. Solve -r*q + 7 = 2 for q.
1
Let b(q) = 4*q**2 + 202*q + 105. Let u be b(-50). Solve u*g + 27 - 17 = 0 for g.
-2
Suppose -2*z + 8*z = -9*z - z. Suppose -20 + 20 = 3*o. Solve 0 = -17*g - z - o for g.
0
Let a be ((-2 - -29) + (-16 - -19))/(3/9). Solve a = -15*h - 30 for h.
-8
Let a(d) = -d + 16. Let g be a(12). Let z be (g - -3) + 6/(-2). Suppose -2*p - z*p = -66. Solve -p = -5*q - 1 for q.
2
Let a be 228/42 + 3 - (-6)/(-14). Solve 22*b = 14*b + a for b.
1
Let o = 46 + -42. Let u(k) = k**2 + 2*k - 8. Let m(r) = 3*r**2 + 3*r - 17. Let a(d) = 2*m(d) - 5*u(d). Let p be a(o). Solve -b = -p*b for b.
0
Suppose 22*m - 15 = 17*m. Suppose 14 = 3*u + 5, -u - 18 = -m*t. Solve 0 = -4*k + t + 1 for k.
2
Let a(t) = -24*t**2 + 15*t + 5. Let h be a(5). Let o = h + 523. Solve -j + 1 = -o for j.
4
Let r be 1300/(-39)*(0 + (-339)/(-2)). Let k be 1 + (-3)/2 + r/(-452). Solve -4*a + k = -10*a for a.
-2
Let k = 673 + -665. Let m(j) = -28*j + 246. Let g be m(k). Solve -g*u + 8 = -20*u for u.
4
Suppose -8*a = -142*a + 14338. Solve -13*o + a - 185 = 0 for o.
-6
Suppose -53*p - 33*p = -172. Let u be 567/51 - (350/85 + -4). Solve u*y - y = p*y for y.
0
Let t(o) be the first derivative of -2*o**3/3 - 39*o**2/2 + 34*o + 31. Let g be t(-20). Solve -10*u + g*u = 0 for u.
0
Let f = -1 + 1. Suppose 28*k - 1184 + 1000 = 5*k. Solve f = -0*v + 2*v - k for v.
4
Suppose 5*s = 2*s + 5*a + 29, s + 5*a = -17. Let r be (-16)/(-3) + -14*(-10)/210. Solve 0 = -9*o + s*o - r for o.
-1
Let l = -144 - -149. Suppose 0 = 4*v - 0*u - 3*u - 24, l*v = -3*u + 3. Solve 2*h - v*h = 1 for h.
-1
Let q(a) be the second derivative of a**3/3 + 19*a**2 - 3*a + 6. Let g be q(-10). Let h = g - -7. Solve 0*k = -5*k + h for k.
5
Let w = -88 + 92. Let m = 20 - w. Solve -4*z + m = 24 for z.
-2
Let q(w) = w**3 - 4*w**2 + 3*w - 9. Let j be q(4). Let b be (-63*(-3)/(-12))/((-3)/(-12)). Let r = b + 72. Solve 0*v - r = j*v for v.
-3
Let p be (-3148)/15 + (-6)/45. Let k = -207 - p. Solve 21 = -k*b + 9 for b.
-4
Suppose -42*y - 4*y + 389 = -899. Solve 23*o + 120 = y for o.
-4
Let y = -158 + 158. Suppose -3*d = 4*g - 45, y*d - 45 = -3*d - 2*g. Solve d*z = 9*z for z.
0
Suppose -14*a + 550 - 130 = 0. Let r be (-3)/a*-5*110. Suppose 20*v = 9*v + r. Solve -v*q - 6 = -3*q for q.
-3
Let f be (8 + 8/((-4)/16*10))*5. Solve -f*z + 392 = 176 for z.
9
Let q(r) = -2*r**2 + 16*r + 324. Let n be q(-9). Solve 52*d = n + 138 for d.
3
Let z be (5/3)/((-10)/(-30*3)). Solve 0 = -z*y + 6 - 66 for y.
-4
Let b = -280 + 540. Let d = -252 + b. Solve 0 = -2*p - d for p.
-4
Suppose 639 - 597 = 7*c. Suppose -14*m = -22 - c. Solve 4*t - m = 2*t for t.
1
Suppose -2*w - 37 = 5*o, 0 = -w + 2*w + 2*o + 17. Let q = w + 25. Suppose 19*a = 21*a - q. Solve 4*z + a = 27 for z.
5
Suppose -3*n = -p, 115*n = 4*p + 111*n - 64. Let f(g) = -g**3 - 5*g**2 - 3*g + 4. Let w be f(-4). Solve w = -7*l + p - 3 for l.
3
Suppose 4*i = 2*a + 16, -5*i - 13*a + 7 = -9*a. Let b be i - ((-12)/(-10))/(10/(-50)). Solve -6*k - b + 21 = 0 for k.
2
Let i(g) = -9*g + 35. Let z be i(4). Let f(n) = 8*n**2 + 4*n + 4. Let l be f(z). Suppose -15 = -l*q + 7*q. Solve -x = 2*x - q for x.
5
Suppose k = -k + 6. Suppose -63 + 63 = 3*b. Let g be (-4)/(-20) + ((-3)/15 - b). Solve -15 = k*c - g*c for c.
-5
Let m = 274 + -241. Suppose -4*z - 26 = -3*u, -5*u + 4*z + m = -5. Solve -2*r + 12 = -u*r for r.
-3
Let k(y) = 2*y + 14. Let a be (5 - 22) + 7 + (2 - 0). Let c be k(a). Let g be 4 + c + -4 + 2. Solve 3*z - z - 2 = g for z.
1
Suppose 0 = -4*f + 47 - 31. Let d be f/(-6)*(-1 - 26). Solve 17*k - 2 = d*k for k.
-2
Let t(f) = -f**3 + 4*f**2 + 5*f - 1. Let m be t(4). Solve 0 = -m*u - 11 - 46 for u.
-3
Let u(g) = -g**3 - 13*g**2 - 40*g - 10. Let m be u(-4). Solve -15*k + m = 81 for k.
-5
Let v be (-19 + -1)*-2*(-10)/(-25). Solve -10*n + v*n - 12 = 0 for n.
2
Let g(m) = -3*m**2 - 33*m + 14. Let s be g(-11). Suppose -24 = s*p - 20*p. Solve -p*h = 20 - 0 for h.
-5
Let v be -4 - 0 - (224/64 + 966/(-4)). Solve 0 = -14*r - 178 + v for r.
4
Suppose 4*m - 68 = -4*x, 0 = -0*m - m + x + 13. Let g = -15 + m. Suppose 5*k = -g + 20. Solve -k*o = -12 - 4 for o.
4
Let r = -87 + 55. Let g be 21 - 44/(-4) - -2. Let x = g + r. Solve -8 = 2*l + x*l for l.
-2
Let w = -132 - -146. Suppose -5*o = 4 - w. Suppose o*n - 8 = j, 0*j - 3*j - 12 = -3*n. Solve j = 2*g - 7*g for g.
0
Let d(h) = 3*h + 23. Let o be d(0). Suppose -10*g = -5*g + 10, -3*n + g - 58 = 0. Let b = n + o. Solve b*c = -2*c + 15 for c.
3
Let a be (2/(-5))/((-1)/5). Let w = -27 + 32. Suppose 0*y - 2*y + 24 = 3*j, 2*j + 22 = w*y. Solve a*q = -q - y for q.
-2
Let o(g) = g**2 - 2. Let v be o(-3). Let b(s) = -46*s - 276. Let p be b(-6). Suppose p = 10*m - v*m. Solve m = 4*w - w - 12 for w.
4
Suppose 0*o = -6*o - 198. Let x = 61 + o. Suppose 3*s - 2*a - x = 0, -40 = -4*s + 3*a + a. Solve d = -d - s for d.
-4
Let s = -12 + 17. Suppose t - 4*n - 20 = 0, -5*n + 6*n = 5*t - s. Suppose -2*c - 3*x - 3 = 0, 5*x - x + 20 = t. Solve 2*z = 4*z + c for z.
-3
Suppose -87 - 99 = -6*h. Suppose -16*z + 17 = -h. Let w = -3 + 8. Solve -2*q + z*q = -w for q.
-5
Suppose -y = 1 - 10. Suppose y*p = 13 + 32. Let z be 2/p - 92/(-20). Solve -z*f - 23 = -3 for f.
-4
Let i = 1093 + -1087. Solve -i*o - 6 = -12*o for o.
1
Let v(i) = -2*i - 2. Let n be v(-2). Let b be (4 - 4)/(1*n). Let d(x) = -7*x + 170. Let l be d(24). Solve b*r - 4 = l*r for r.
-2
Suppose 0 = 541*z - 638*z + 1261. Solve z*w + 72 = -6 for w.
-6
Suppose -l = a - 53, -3*a + 6*a + 5*l = 161. Suppose -v = -5*s - a, -s - 168 = -4*v + 40. Let u = v + -42. Solve -5*t = -u*t for t.
0
Let u = 20690 + -20674. Solve 0 = 2*w - 4*w + u for w.
8
Let t = 28116 + -28093. Solve 0 = -t*h + 24*h - 1 for h.
1
Suppose 0 = 70*l + 75*l - 435. Solve 0 = -l*y - 13*y + 80 for y.
5
Let b = -29992 - -29992. Suppose 18 = y + y. Solve -y = -b*r - 9*r for r.
1
Suppose 636 + 3027 = 11*g. Solve -321*n - 48 = -g*n for n.
4
Let y(p) be the third derivative of -p**5/60 - 5*p**4/12 + 13*p**3/6 - 5*p**2. Let w be y(-11). Suppose w*f = -f - f. Solve f*r + r = 0 for r.
0
Let b be (-20)/(-45) - 4/9. Suppose -6 = 6*v - 5*v. Let h = v + 13. Solve 4*i - 5 - h = b for i.
3
Let v(t) = 252*t - 1611. Let c be v(7). Solve -151 = -u - c for u.
-2
Suppose 54 = 27*n - 24*n. Suppose 78 - n = 12*y. Solve y*k + 4 + 11 = 0 for k.
-3
Let m = -27 + 72. Let l = m - 45. Suppose -23*i - 8 = -27*i. Solve l = g - i + 5 for g.
-3
Let i(n) = -3*n + 3. Let h be i(6). Let v = h - -19. Solve 8 = -3*w - v for w.
-4
Let z(a) = a**2 - a. Let g(t) = t**3 + 3*t**2 - 11*t + 2. Let j(u) = g(u) - 5*z(u). Let b be j(3). Let i be (-4)/14 - 16/b. Solve -i*q = q for q.
0
Suppose 0 = 5*u - 15, 0 = 3*k - u + 3*u + 39. Let f be (-18)/k*(-5)/(-2). Solve f*c = 2*c for c.
0
Let k be (3 - 11) + (0 - -28). Suppose k*p + 5*p = 175. Solve -p*i = -10*i - 15 for i.
-5
Let p = 7528 - 7524. Suppose -4*c + 18 = -c. Solve p*z + 8 = c*z for z.
4
Let x(h) = 2*h**3 - 5*h**2 + 5*h + 1. Let z be x(3). Solve -z*b = -32*b for b.
0
Let z(t) = -t**3 + 25*t**2 + 2*t - 48. Let b be z(25). Suppose -8*s + 48 = -4*s. Let a = s + -10. Solve a*d - b = 4 for d.
3
Let i be (10/20 + 9/2)/1. Suppose 0 = -2*y + i*y - 24. Suppose -y*p + 17 + 7 = 0. Solve -p - 5 = 2*q for q.
-4
Let i = 2844 + -2726. Solve i - 108 = -2*r for r.
-5
Let h = -38 + -19. Let j be 2 + h/(-12) - 21/28. Suppose -17*q + j*q + 44 = 0. Solve b = 3*b + q for b.
-2
Let u(s) = 3*s**2 - 109*s - 224. Let k be u(-2). Solve -k*o + 2097 = 2133 for o.
-6
Let d = -21 + 24. Let x = 3 - d. Suppose b = 3*a - x*b - 6, 2*b + 6 = 4*a. Solve -