 + b = 22 for n.
4
Let n = -863 + 863. Solve n = -6*v + 3*v - 9 for v.
-3
Let v = -899 + 1053. Solve 153*b - v*b = -3 for b.
3
Suppose 0 = -19*y + 405 + 222. Let b = 17 + y. Suppose 45*x + 55 = b*x. Solve 0 = -3*r + x + 1 for r.
4
Let m(r) = -r**2 - 4*r + 13. Let f be m(-7). Let n = 22 + f. Suppose -2*h - k + n = 0, 0 = -4*h + 2*k - 3*k + 30. Solve 4*o - h + 4 = 0 for o.
1
Let g = -5610 - -5660. Solve -10*d = -20*d - g for d.
-5
Suppose 10*m - 5*m - 45 = 0. Suppose -m = -l - 5*j, 2*j = l + 4 + 1. Let i be (-2*l/6)/(5/75). Solve -3*t + 2 - i = 0 for t.
-1
Suppose 40*h - 85*h + 1131 = -16*h. Solve 0 = 16*s + h*s + 55 for s.
-1
Let k be 5 + (61 - (5 + -4)). Let j = k + -62. Suppose -j = 3*d - 12. Solve q - d*q = 0 for q.
0
Let b(s) be the third derivative of 0*s - 1/24*s**4 + 0 + 5/6*s**3 + 29*s**2. Let g be b(1). Solve 7 = -g*z + 27 for z.
5
Let x = -817 + 872. Suppose -m + x = 3*m + 3*d, 0 = d - 5. Solve m*t + 29 = -11 for t.
-4
Suppose r - 2 - 12 = -4*p, 5*r - 22 = -4*p. Solve 15*b - 54 = -p*b for b.
3
Let i(b) = -2*b**2 - 33*b + 228. Let h be i(5). Solve -h*p + 20*p = 35 for p.
5
Let h(t) = -4*t**2 + 5*t + 16. Let c(x) = -5*x**2 + 4*x + 16. Let f(l) = 5*c(l) - 6*h(l). Let y be f(-7). Suppose 17 - 7 = y*d. Solve -d*m + 7 + 3 = 0 for m.
5
Suppose -5*j + 20 = 174*s - 176*s, -3*s = 5*j - 20. Solve 9*y - 17*y - 32 = s for y.
-4
Let x be ((-32)/8)/(2*-1). Suppose 3*i + 48 = 7*i. Let q(s) = s**2 - 14*s + 25. Let w be q(i). Solve -x*d = -d + w for d.
-1
Let g be 22/2 + (-40 - -29). Solve g = -16*t + 33*t - 51 for t.
3
Let k(t) = 73*t + 772. Let g be k(-10). Solve 2462*v - g = 2469*v for v.
-6
Let l(x) = -7*x + 21. Let t be l(3). Suppose -2*d - 14*o = -9*o, o = t. Suppose 0 = 4*w - 4*y - 8, -5*w + 5*y + 22 = 4*y. Solve d = -w*z + 4*z for z.
0
Suppose -2*x + 5*k = 4, 0 = 5*x - 2*k - 2 - 9. Let p(j) = j + 1. Let n be p(-3). Let q be (-117)/(-27) - ((-21)/(-9) + n). Solve -q = x*s - s for s.
-2
Let q = 78 + -78. Suppose 3*c - 2*c - 4*t - 1 = q, -5*t + 25 = 4*c. Solve 5 = c*r - 5 for r.
2
Let c be 18 + -4 + 6 + -5. Solve -c*d + 10*d = 20 for d.
-4
Suppose -114*m - 45*m = 13*m - 688. Solve m*o + 1 - 21 = 0 for o.
5
Let h(s) = -s**3 - s**2 + 3*s + 2. Let a be ((-12)/(-8))/((-12)/16). Let u be h(a). Suppose u = -4*t + t. Solve -n + 2 = -t for n.
2
Suppose -i = 4*i - 3*i. Suppose 2*n = -q + 3*q, -3*n - 5*q - 32 = i. Let w be ((-2)/(-6))/(n/(-48)). Solve 4*s - 2*s = w for s.
2
Let n be 24/(-300) - (-14)/175. Solve n = 30*i + i + 62 for i.
-2
Let y = 49 - -9. Suppose -6*d + y = 4. Suppose 9*u - d = 54. Solve u*g + 12 = 3*g for g.
-3
Suppose -p + 6*y = 11*y, 0 = 4*p + y - 19. Solve 6*k - p = 5*k for k.
5
Let q = 4372 - 4345. Solve l + q*l = -28 for l.
-1
Suppose 427 = -3*g - 506. Let h = -305 - g. Solve -2*b = -h*b + 4 for b.
1
Let a(y) = y - 21. Let q be a(-14). Let g be q/(-4) + 5*(-27)/180. Solve 0 = -6*r + 4*r + g for r.
4
Let w be 135/35 + 480/224. Solve -w*t + 12 = -8*t for t.
-6
Let o(p) = -p - 30. Let f be o(-31). Suppose -5*g = 4*l - 40, f = -2*l + 2*g + 3. Solve -l*d + 5 = -0*d for d.
1
Suppose -19 = -2*d + 3. Suppose -d + 15 = h. Suppose -23 = -h*y - 0*x - 3*x, -x = y - 6. Solve -y*s + 14 = 4 for s.
2
Suppose b = 2*j - 24, 0 = 58*j - 57*j + b - 6. Solve -j*h - 9*h = -8*h for h.
0
Let m be 6/4 - (-345)/10. Suppose -j - m = -13*j. Solve -j*l = -2*l + 5 for l.
-5
Suppose 0 = -4*a - c + 19, -a + 5*c - 11 = -0*a. Let o be (-1044)/(-15) - a/(-10). Let u be 32/14 + (-20)/o. Solve 0 = -3*j - u*j - 10 for j.
-2
Let c(p) = -210*p**2 - 24 + 111*p**2 - p**3 + 108*p**2 + 38*p. Let k be c(12). Solve -4*d - 4 = -k*d for d.
-1
Let d(g) = 2*g - 28. Let q be 3/(-6)*-2*14. Let w be d(q). Solve -b + 5*b = w for b.
0
Suppose -72*l + 58*l = -42. Suppose -4 = -l*f - 2*r, -4 = 19*r - 18*r. Solve -f*p + 14 - 26 = 0 for p.
-3
Suppose -2*c = -l + 2*l - 9, 15 = -5*l. Suppose -4*d + 26 = 6. Suppose 0 = -x + x - d*x. Solve g - c*g = x for g.
0
Let z be (-72)/(-312) + 254/26. Solve -51*i = z*i - 183 for i.
3
Let v be (-6)/(-4) + 2/4. Let a be 0 + v + 0 + 23. Let r = 60618 + -60613. Solve r - a = -4*g for g.
5
Let t = 163 + -163. Suppose 9*q + 3*q - 180 = t. Solve l + 2*l = -q for l.
-5
Let l(f) = -f**2 + 266*f - 3281. Let x be l(13). Solve 0 = x*g - 36*g for g.
0
Let g be 1434/(-9) + 3 - 5/(-15). Let w = g - -161. Solve 1 = -w*q + 6 for q.
1
Let q = -13611 - -13642. Solve -49*r + 18*r = -q for r.
1
Suppose 0 = -18*o + 3748 + 5666. Let c = -523 + o. Solve -m + 5 - 6 = c for m.
-1
Suppose -6*u - 55 = 65. Let a be (30/u)/(3/(-80)). Suppose b - 5*b = -a. Solve -5*n = -b*n + 15 for n.
3
Let b be 2/8*2 + 15/30. Suppose -4 = 4*c - 0, -b = -o - 4*c. Solve -o*r + 1 - 1 = 0 for r.
0
Let l be 5 + 1 - (3 + 0). Suppose 2*u - 3*f + 1 = 5, -6 = -l*u + 5*f. Let p = -4 + 7. Solve u*g = g - p for g.
-3
Let j(k) = -21*k - 1634. Let x be j(-81). Solve -x*l - 77 = 191 for l.
-4
Suppose -10943 = -125*s - 2193. Solve 26 = -22*g + s for g.
2
Let b(o) = -7*o + 7. Let p(t) = -t**2 - 9*t + 37. Let v be p(-12). Let g be b(v). Solve -2*y + 2 + 8 = g for y.
5
Let y be -588*(15/9)/(8/(-6)). Let f = y + -733. Let w = -2 - -8. Solve w*d = f*d - 12 for d.
-3
Suppose -49*t = -44*t. Suppose t = i - 7*i + 12. Suppose 2*p - a - 13 = 0, 3*a + i*a = -3*p. Solve -p = -5*y - 30 for y.
-5
Suppose 4*h = s + 14, 0*s = -s + 3*h - 9. Let d = 7 + -32. Let p be d/(-2)*(2 + 0). Solve p = z - s*z for z.
-5
Let v = 1990 + -1956. Solve 17*x = 34 + v for x.
4
Suppose -805*s + 870 = -747*s. Solve 0 = 3*q - s + 6 for q.
3
Suppose 5*z - 22 - 23 = 5*p, 0 = -5*p - 20. Suppose -d = 2*a - 2, 5*d + 0*a = z*a - 65. Let w be (4 - (-28)/d)*4 - -1. Solve -j = w - 0 for j.
-3
Suppose 0 = -a + 5*c - 3*c + 4, 2 = -2*c. Suppose 5*d - a*d - h = -3, -h = -3. Solve d = -2*z + 3*z for z.
0
Let n(p) = p**3 - 17*p**2 + 25*p - 88. Let z be n(16). Let o be 0 - (-10 + z/8). Solve 0 = -o*v + 7 + 2 for v.
3
Suppose -4*z - t = -282, 2*z + 4*t = -2*z + 288. Let k = -347 - -413. Let y = z - k. Solve o = -o + y for o.
2
Let j = -189 - -191. Suppose 21 = -3*h - 5*b + j, -29 = -2*h + 5*b. Solve h = -2*t - 0 for t.
-1
Let d(p) = p**3 + 18*p**2 + 16*p - 14. Let g be d(-17). Let s be 7*(9 - 4 - 66/14). Solve g*y - 3 = s*y for y.
3
Suppose -f + 2*y + 11 = 0, 3 = y + 1. Suppose -15 + 0 = -5*q, -5*q + 33 = 2*p. Suppose 84 = f*j + p. Solve 3*b + j = 2 for b.
-1
Let s(w) = w**3 - 6*w**2 - 16*w + 4. Let h(z) = 3*z - 64. Let d be h(24). Let b be s(d). Solve 2*f - b = -4 for f.
0
Let s(z) = -z**3 - 30*z**2 - 68*z - 336. Let d be s(-28). Solve 6*o - 4*o - 10 = d for o.
5
Let y be ((-1141)/21)/((-9)/27). Let u = y + -83. Solve 79*p - u*p + 3 = 0 for p.
3
Suppose 0 = 13*b + 3*b - 168 + 72. Solve b = -9*o + 6 for o.
0
Suppose 14*b - 4291 = -4081. Solve -b*t + 58*t = -10*t for t.
0
Let o = -62 - -65. Suppose o*x - c - 9 = 0, 3 = -x - 5*c + 6. Solve x*d - 2*d - 4 = 0 for d.
4
Let v(f) = 8*f - 13. Let w(r) = r + 1. Let o(y) = v(y) + 5*w(y). Let g be o(4). Suppose -48*b + 80 = -g*b. Solve -3*p = p - b for p.
5
Suppose 35*c = 1665 - 1175. Solve c - 15 = -w for w.
1
Let h(s) = -s**3 + 18*s**2 + 4. Let z be h(18). Suppose -z*f + 9*f - 25 = 0. Solve -4*c = 1 - f for c.
1
Suppose -30 = 14*w - 19*w, -w = 6*y - 90. Solve -14*f + y = -7*f for f.
2
Let a(k) = k**2 + 25*k - 256. Let r be a(-33). Solve -44*u + r = -42*u for u.
4
Let u(f) = 3*f**2. Let z be u(1). Let i be 218/6 - (-182)/273. Suppose -32*n - 15 = -i*n. Solve n = z*w - 4*w for w.
-3
Let q(c) = c**2 + 23*c - 299. Let d be q(10). Solve -d = h - 39 for h.
8
Let g(s) = -2*s**3 - 131*s**2 - 62*s + 201. Let x be g(-65). Solve -5*n = -2*n - x for n.
2
Let a(b) = -b**2 - 12*b + 151. Let l be a(7). Suppose -26*f + l = -17*f. Solve -f = 7*k + 12 for k.
-2
Suppose -15*i = -71 - 4. Suppose 0 = 5*k + a - i - 19, -3*a = -2*k + 13. Let b(h) = h**3 + 6*h**2 - 9*h - 10. Let l be b(-7). Solve -3*x + l = -k for x.
3
Let x = -109 + 72. Let n = 24 + x. Let j(d) = d**3 + 12*d**2 - 15*d - 1. Let o be j(n). Solve -5 + o = 5*z for z.
4
Let o(a) be the second derivative of a**4/12 - a**3 + 3*a**2 + 13*a. Let v be o(4). Let u be (-2)/(-2)*(4 - v/(-1)). Solve m - u*m - 2 = 0 for m.
-2
Let m be 3 + 1/(-3)*(3 + -27). Suppose 0 = -x, 0 = -5*j + m*x - 7*x + 20. Solve 3*u - 10 = -j for u.
2
Suppose 11*w - 13*w = 10. Let p(b) = -4*b**2 - 25*b - 7. Let d be p(w)