2). Solve 3*n + z = 24 for n.
-5
Let h be 22 - (0 - 1/(-1)). Suppose -12*x + 80 = -17*x. Let v = x + h. Solve -3*p + v = -4 for p.
3
Let q be 1/1*3/3*4. Let p be (-2 + q)*(-15)/(-6). Solve -p*d = -0*d for d.
0
Let x = -110 + 124. Suppose -8 + x = 3*l. Solve l*c = 7*c for c.
0
Suppose 28*o - 15 = 153. Solve 0 = 3*l - o + 21 for l.
-5
Let r be (-11 + -1)/(9*2/(-12)). Solve -24*h = -26*h - r for h.
-4
Let b be (-6 + -3 - -1) + -1. Let p be (-16)/(-3) + -6 + (-51)/b. Let g = 2 - 0. Solve g*v + 3 = p*v for v.
1
Let f be 156/(-42) - (-2)/(-7). Let d be -2 - 2/(-8)*f. Let o be d/(-7) - 11/(-7). Solve o*x = 3*x for x.
0
Suppose -3*s + 23 = -3*l + 5, 5*s - l = 46. Let c = s - 9. Let m = c + -1. Solve m = 5*q + 9 + 1 for q.
-2
Let o be (8/3)/((-2)/3). Let s(f) = f**3 + 3*f**2 - 2*f + 8. Let a be s(o). Suppose a*d - 4*d = -12. Solve d*p = -p for p.
0
Suppose -3*k + 5 = 20, -27 = 2*m + 5*k. Let z(v) = -9*v**3 - v. Let o be z(m). Suppose 3*r + 70*p - 7 = 69*p, -2*r = 3*p + 7. Solve o = -r*x - 2 for x.
-3
Let g be 10/(-6 + (-8)/(-1)). Solve g*x + 4 + 6 = 0 for x.
-2
Let o(m) = m**3 + 7*m**2 - 2*m - 23. Let y be o(-6). Solve -y = -2*t - 17 for t.
4
Suppose -147*m = -2*k - 149*m - 4, 0 = -2*k - 5*m - 19. Solve k = 12*q - 9*q for q.
1
Let d(m) be the second derivative of -m**5/20 + 5*m**4/6 + 2*m**3 - 11*m**2/2 - 7*m. Let o be d(11). Solve -2*t - 3 - 3 = o for t.
-3
Suppose 0 = -7*k + 5*k - 3*g + 7, 3*k - 2*g = 30. Suppose 4*h - 5*i = -7, -5*h + k*i - 3*i - 5 = 0. Solve -4*x + 10 = -h*x for x.
5
Let w(x) = -x - 3. Let c be w(-3). Let t be (-2)/(12/(-2))*-3 + -25. Let g = 27 + t. Solve l + 4 + g = c for l.
-5
Let s be 28/35*5 - -4*1. Solve 0*i - 8 = -s*i for i.
1
Suppose -231*y = -235*y + 24. Solve -y*n = -3*n for n.
0
Let u = -20 + 34. Suppose -2*b + 31 = -w, -93 = -5*b + w - u. Solve 2*n = 6*n - b for n.
4
Let o(p) = p**3 + 5*p**2 - 2*p - 6. Let f = 8 + -12. Let i be o(f). Suppose 4*w + 6 = i. Solve -w + 1 = 2*c for c.
-1
Let x = -26 - -26. Suppose x = 6*k + 2*k - 96. Solve 0 = 3*q + k for q.
-4
Let n = -406 + 443. Solve n*i + 120 = 13*i for i.
-5
Let h(t) = -t**3 + 17*t**2 - 30*t. Let v be h(15). Solve 2 = -v*a - a for a.
-2
Suppose 3*p - 9 = -3*i, -3*p + 19 + 14 = -5*i. Solve 4*r - r - p = 0 for r.
2
Suppose -5*c + 91 = t, -156*t + 2*c = -159*t + 221. Solve t*j + 8 = 75*j for j.
2
Suppose 3*o = -15 - 3. Let g = -6 - o. Suppose g*w = w. Solve w = 4*n + 5 - 13 for n.
2
Suppose 5*w = -4*y - 0*w + 26, y = -w + 6. Let r be (-2)/y*(4 + -4). Let b be (-4)/(-1) + 2 + r. Solve -g = -b*g for g.
0
Let z = 52 + -38. Suppose -5*i - 4 = -z. Solve -i*g + 6 = -5*g for g.
-2
Suppose -j = -y + 5, -4*y + 0*j + 3*j = -15. Solve y = -6*q + 12 for q.
2
Suppose -3*n + r = 6, -3*n - 3*r + 6 = -6*n. Let c = n + -1. Let m be 1/(c/9) - -6. Solve m = -z - 2 for z.
-5
Suppose -2*q + 7*z - 3*z - 54 = 0, -z - 88 = 3*q. Let f = q + 31. Suppose -5*t - 5*o + 30 = 0, 3*t - 24 = -2*t + o. Solve t*b - f = 4*b for b.
2
Let a be (0 - 0)*(-2 + 3). Suppose 2*c = -2*f + 26, -5*f - 2 + 13 = -c. Suppose 8*j = c*j - 3. Solve a = -j*d - 0*d for d.
0
Let g be -2 + 40/25 + 296/40. Solve -20 = g*j - 2*j for j.
-4
Suppose q = -3*b - 3, 0*q + 3 = 5*b - q. Suppose b = -o + 2 + 4. Suppose -4*p + o + 2 = 0. Solve 3*l = -p*l for l.
0
Let s = 15 - 0. Suppose 3*j + 3*o + 3 = 0, 3*j + 40 = 8*j - 4*o. Let q be j/(-30) - (-47)/s. Solve -4*g - 13 = q for g.
-4
Suppose 5*q = q + 5*p + 241, 5*q + 4*p = 250. Solve -50 = 4*i - q for i.
1
Suppose 0 = o - 5*v + 9, 0 = 4*o + v - 3 - 3. Let u be -2 + -1 - (5 + -13). Solve -o = -u*z + 4*z for z.
1
Suppose -10 = -5*k + 5, -o + 2*k = 0. Solve z - o*z = 0 for z.
0
Let x be (-48)/3 - (-2 - -1). Let p(j) = j**3 + 6*j**2 + j - 5. Let g be p(-5). Let s = g + x. Solve s - 4 = -l for l.
4
Let k be (16 + -15)/(-1 - 10/(-8)). Let b be (k/(-10) - 15/25)*-2. Solve 4 + b = -2*a for a.
-3
Let z = 5 - 17. Let n be 28/12 - (-4)/z. Suppose h + 5*y = 5*h + 8, 3*y - 18 = -n*h. Solve -5*j + 2 + h = 0 for j.
1
Suppose -5*u = 129 - 139. Solve n + 6*n = u*n for n.
0
Suppose 2*s = s. Let c be 15/(-10) - 2/(-4). Let f = 1 + c. Solve -5*j - 5 + s = f for j.
-1
Let v be (3 - 1) + 0/(-2). Let t be 105/12 + 6/(-8). Suppose s - 14 + t = 0. Solve -s*x = -v*x for x.
0
Let h = 1719 + -1708. Solve 15*v = h*v for v.
0
Suppose -3*z + c = -61, 10*c - 8*c = -2. Solve z = -89*j + 85*j for j.
-5
Let v(i) = i**3 + 20*i**2 + 3*i + 60. Let s be v(-20). Solve s = q - 0*q for q.
0
Suppose -5*l + 38 = 2*m + m, 18 = 3*l + 3*m. Suppose 0 = 5*n - l, 49 = 4*p - p - n. Suppose 4*y - p = -4*i + 11, -3*i + 13 = y. Solve -i*d - 20 = d for d.
-5
Let w(f) = 96*f + 674. Let q be w(-7). Suppose -4*v = 4*g - 20, -v - 4*v = -4*g - 61. Solve q*n - v = -n for n.
3
Suppose 2*q = -s - 3*s - 54, 43 = -3*s - q. Let m = -1 + -12. Let y = m - s. Solve -6 = y*f + 9 for f.
-5
Let t be ((-4)/14)/((-40)/140). Solve 5 - t = d for d.
4
Suppose -5*b - 18 = -2*t, -5*b + 2 = t + 2*t. Let w = -3 + 5. Suppose u + w = t. Solve u*z + 20 = -2*z for z.
-5
Let a(h) = -h**2 + 4*h - 5. Let q be a(4). Let j(u) = u + 4. Let n(v) = -1. Let w(t) = -j(t) - 4*n(t). Let o be w(q). Solve 2*p - o*p = 0 for p.
0
Let r(j) = -j**3 + j**2 - j - 7. Let p be r(-3). Suppose -p = -13*y + 5*y. Solve y*n = n for n.
0
Let a(l) = -l + 9. Suppose -49 + 1 = -6*b. Let m be a(b). Solve 0*c + m = c for c.
1
Let f be (58 - 1)*24/(-18). Let v = 79 + f. Suppose r - 7 = -1. Solve 6 = -v*n - r for n.
-4
Let n(r) = r - 3. Let h be n(3). Let j = -32 + 36. Suppose 2*c - 4 = -0*c. Solve -c*q + h = j for q.
-2
Suppose -7*v - 4*v = -253. Suppose 6*x - x = w - v, 5*x - 1 = -2*w. Solve q + 3*q + w = 0 for q.
-2
Let a(m) = m**3 - 9*m**2 + 9*m. Let l = 29 - 21. Let z be a(l). Suppose 4*u - 4*i - z = 0, -2*u - 4*i + 16 = -0. Solve -u*c - 11 = -3 for c.
-2
Suppose 11*z = 7*z + 16. Solve -z*p = p + 5 for p.
-1
Suppose 5*t + 18*t = 115. Let a = 14 - 7. Solve t = 4*r - a for r.
3
Let i be (-28 + 25)/((-42)/20)*42. Solve 13*k - i = -2*k for k.
4
Let u be (2 + -2)*39/(-39). Solve -77*p + 81*p = u for p.
0
Let v(d) = d**2 + 7*d + 2. Let u(b) be the second derivative of b**4/12 - 11*b**3/6 - 9*b**2/2 - 2*b. Let y be u(11). Let g be v(y). Solve g = -0*k + 5*k for k.
4
Suppose 0 = 5*c + l + 3, 2*c - 9 = 3*l - 0*l. Suppose -3*u + 4 + 2 = 0. Solve c = u*r + 3 - 7 for r.
2
Suppose 0 = 55*c - 64*c. Solve -4*g + 16 = -c*g for g.
4
Suppose 5*n - 19*n = -168. Solve n = f + 7 for f.
5
Suppose 0 = -3*s - 106 + 136. Solve -31 = -7*c - s for c.
3
Suppose -3*k = 2*k + 20. Let h be (-2)/k*(-8)/(-1). Solve -h*f = -0*f for f.
0
Let a(j) = -23*j - 221. Let y be a(-10). Solve -y*n - 2 = -11*n for n.
1
Suppose -2*j + 3*j = 2. Let c be (54/(-9))/(-1*j). Solve 0*d - c = -3*d for d.
1
Let r = 30 - -32. Let f = r + 6. Suppose -5*v = 4*c - f, -2*v - 2*c - 32 = -5*v. Solve -3*b - v = b for b.
-3
Suppose 1 + 8 = -3*f. Let z be (-225)/(-10)*(-2)/f. Solve 0 = 4*p + p - z for p.
3
Let h(l) = l**3 + 5*l**2 - 2*l - 3. Let z be h(-5). Let g = 7 - z. Let b be (-16)/20*5/(-2). Solve g*d = b*d for d.
0
Let b be (-312)/(-9) - 12/(-9). Solve -34*w = -b*w - 4 for w.
-2
Suppose -2*d + 33 = 9. Let k be 2/3*126/d. Suppose -4*o = 5*h - 1 - k, 3*h = 5*o - 10. Solve 4*r - o*r = -10 for r.
-5
Let c = 249 - 246. Solve -x = -1 - c for x.
4
Suppose -5*h - 3*n - 72 = 0, 3*n + 40 = -2*h - n. Let z be (-3)/(-4)*(-80)/h. Solve -z*i + 8 = -i for i.
2
Let t(u) = -7*u**2 - 3*u + u**3 + 5 - 3 + 0. Let q(z) = -2*z**3 + 15*z**2 + 5*z - 3. Let c(a) = -4*q(a) - 9*t(a). Let h be c(4). Solve 0 = h*g - g for g.
0
Suppose 26 = -23*i + 25*i. Solve -i*z = -9 - 4 for z.
1
Suppose -2*s = -s - 5. Let w(i) be the first derivative of i**2 - 7*i - 29. Let l be w(s). Solve -4*n = -l*n for n.
0
Let h(j) = 6*j - 144. Let y be h(27). Solve 3*q + y = 9 for q.
-3
Let b be ((-27)/(-4) + -2)*4. Suppose 0 = 4*n - 148 + 44. Let o = n - b. Solve -3*y = 16 - o for y.
-3
Let k = 247 - 242. Solve -k*w + 3 + 12 = 0 for w.
3
Suppose 3*r + 2*r + y - 21 = 0, r = 4*y. Suppose -3*p + 3*t = -9, 0*t = -r*t. Solve 20 = -p*z - z for z.
-5
Let z = 78 + -73. Solve -2*b + z = -3*b for b.
-5
Suppose -11*a = -3*j - 8*a + 33, 4*j - 2*a = 36. Solve 0 = -j*x + 12*x - 5 for x.
1
Let c be (-10*11/220)/(1/(-14)). Solve -8*d = 17 + c for d.
-3
Let v(u) = -u**2 - 9*u. Let q = 24 - 20. Let i = -5 - q. Let d be v(i