2*j = c for j.
3
Suppose -4*k + 2*m + 80 = 0, -12*k + 7*k = -m - 94. Solve -7*w - k = -w for w.
-3
Suppose -2*q - q + 27 = 0. Let c = -4 + q. Suppose m = 3*z - 10, -2*z - z + c*m + 26 = 0. Solve z*b - b = 1 for b.
1
Suppose 2*p - 54 = -4*p. Let n be 2/p + 8/(-36). Solve -4*d - d - 15 = n for d.
-3
Let c be 10/4*(-5)/(100/(-32)). Let f be 4/c + 5 - (4 - 0). Solve f = 2*h - 4 for h.
3
Let s be -1*(-2)/(3 + (-39)/15). Suppose -i + 2*z = -13 - 0, -3*i + s*z + 35 = 0. Solve -q = 2 - i for q.
3
Let p = 13 - 9. Suppose -p*i - 3*g = g - 32, -i = -3*g + 12. Solve -i*n + 2 = -4 for n.
2
Let n(t) = t**3 - 18*t**2 - t + 22. Let o = 100 + -82. Let b be n(o). Solve -b*u - 6 = -2 for u.
-1
Let z = -2535 + 2537. Let y(a) = -a + 5. Let m be y(0). Solve m = -z*o + 1 for o.
-2
Let m(r) = -r**2 + 36*r - 208. Let x be m(28). Solve 19*i - x*i + 6 = 0 for i.
-2
Suppose 2*c + 15 - 21 = 0. Suppose z = c*z. Solve z*g = 5*g for g.
0
Suppose 0 = y + 2*q - 4 - 12, -3*y = 5*q - 45. Solve -19*m = -21*m + y for m.
5
Suppose -124*z = -120*z - 28. Solve 11*t = z*t for t.
0
Let w be 20/(-6) + 2/6. Let q be ((-1)/w)/(4/24). Suppose 0 = -2*y, -y + 3 = 3*i + 4*y. Solve -q*x + i = 5 for x.
-2
Let z = -180 + 189. Solve 16 = 5*m - z for m.
5
Let k(j) = j**3 - 16*j**2 + 40*j - 89. Let w be k(14). Solve -w*y + 2 = -77*y for y.
1
Let z = 19 + -19. Suppose 2*i - 3*f = -z*f + 14, -4*f = 2*i. Solve -h = i*h - 20 for h.
4
Let d be 9/3*(-5)/(-3). Let a(r) = -r**2 + 6*r - 3. Let u be a(6). Let m = d + u. Solve -m*c - 9 = 1 for c.
-5
Suppose -3*n = -10*n - 833. Let u = n - -123. Solve u*j - 16 = -0*j for j.
4
Suppose -v - 2*z - 5 = -13, 0 = -5*v - 3*z + 26. Let a = 16 - 11. Solve v*x + x + a = 0 for x.
-1
Let n = 3 - 1. Let c(y) = 5*y**2 - 6. Let g be c(-3). Let o = g + -36. Solve -o = z - n for z.
-1
Let h(g) = -5*g - 127. Let s be h(-26). Let z = -27 - -31. Solve -z*w = -s*w + 5 for w.
-5
Let m be -13 - 13 - -27 - 1*-4*1. Let r be 2/(-5) - 22/(-5). Solve m = -9*c + r*c for c.
-1
Let i(m) = 11*m**3 - 1. Let l be i(2). Let r = 92 - l. Solve 3 = r*n - 2*n for n.
1
Let h(f) = f - 11. Let j be h(8). Let m be (j - 2)*(-4)/10. Suppose m*w - w - 2 = 0. Solve -1 = -w*b + b for b.
1
Let r(o) = -o**2 - 22*o - 84. Let n be r(-5). Let x be 6 - (-2 - (-2 - 1)). Solve -n + 6 = -x*i for i.
-1
Suppose 4*j + c + 3 = -0*c, 4*j + 5*c = -15. Solve 7*u - 10*u + 6 = j for u.
2
Let a = 52 + -48. Solve -5*u - a = -6*u for u.
4
Let k be (-20 + 2)*1/(-3) + 3. Solve -k*l - 9 = -6*l for l.
-3
Let v be (4 - 8) + 0 + 14. Let j(r) = r**2 - 9*r - 6. Let g be j(v). Suppose f - 13 = -2*f - 2*x, -g*f + 24 = 4*x. Solve 5 = 2*z + f for z.
2
Suppose -51 = -m + 35. Let f = -150 + m. Let p be (f/24)/((-2)/15). Solve -3*d = 2*d + p for d.
-4
Let v(y) = y**2 + 12*y + 10. Let j be v(-12). Let u(h) = h + 0*h - 2*h - j. Let r be u(-11). Solve 2*x + 9 = r for x.
-4
Suppose 3 = d - s + 3*s, -5*d + 27 = -2*s. Suppose -16*o + d = -15*o. Solve -5 = o*l - 4*l for l.
-5
Let v(p) = 2*p**3 + 13*p**2 + 7*p + 7. Let x be v(-6). Suppose i - 5*h - 16 = 0, 2*i + h + x = -0. Solve i - 3 = 2*b for b.
-1
Let m(q) = q**2 + 4*q - 46. Let a be m(6). Solve -5*o + 4 = a for o.
-2
Suppose 0 = u - p + 6*p + 6, 0 = 2*u - 2*p + 36. Let l = u - -21. Suppose 9*b - l*b = 0, -4*b + 9 = 3*x. Solve x*n - 14 = -5 for n.
3
Let w = -2 - -7. Suppose -w*h - 9 - 1 = 0. Let u be (-4)/(h + (-10)/(-6)). Solve 5*o + 2 = u for o.
2
Let s be (512/80)/(17/15 - 1). Let g = s + -45. Solve 17 + g = -4*n for n.
-5
Suppose 2*c - 16 = 3*c. Let t = c - -23. Let a = 9 - t. Solve -a*s + 7*s + 15 = 0 for s.
-3
Let s = 212 + -208. Solve 0 = s*b + b - 0*b for b.
0
Let n(u) = u**3 - 7*u**2 - 24*u + 140. Let l be n(8). Solve l = -3*p - 0 for p.
-4
Suppose 7 = -2*t + 4*i - 9, 0 = 3*t - 3*i + 9. Solve 0 = -17*n - t + 19 for n.
1
Suppose -x = -4 + 3. Let c(o) = o + 4. Let v be c(0). Let s be x + v + -5 + 2. Solve -1 - 7 = -s*l for l.
4
Suppose 4*p - 5*v = 40, -13 + 5 = 2*v. Suppose p*u + 20 = 40. Solve 0 = -3*z - 1 + u for z.
1
Suppose 0 = 3*c - 4*w - 59 - 3, c - 3*w = 24. Let y = -18 + c. Solve y*q = -3*q - 6 for q.
-2
Let r be (17 + 4)/((-3)/6 - -2). Let k = -4 + 6. Solve -k = 4*u + r for u.
-4
Let n = 31 - -9. Solve -n = -11*t + t for t.
4
Let u = -22 - -28. Suppose -10*f = -u*f - 32. Let r = -8 + f. Solve x = -r*x + 4 for x.
4
Let d(g) = -2*g**2 + 6*g + 2. Let c be d(3). Suppose 1 = -s, 4*y - 9*y = -c*s - 77. Solve 2*p - y = 5*p for p.
-5
Let g be 1/(5*2/60). Let o be (-2)/(-6)*-11*g. Let q be (o/(-44))/(2/8). Solve 1 = q*k - 1 for k.
1
Let r = -252 - -267. Solve 78*w - 83*w = -r for w.
3
Suppose 3*m - 9 = -14*l + 13*l, 4*m = 4. Solve -20 = 2*y - l*y for y.
5
Suppose 5*d - 24 = -3*w, 4*d - w = 2*w + 30. Suppose -l + 3 = 4*y, 5*y + d - 36 = -3*l. Solve -2*a - l = a for a.
-5
Let l = 135 - 133. Let d be (-3)/l*-2*(-21)/(-9). Solve -d = 5*c - 12 for c.
1
Suppose -106*n + 100*n + 60 = 0. Suppose -3*k = -0 - 9. Solve k*v = 8*v - n for v.
2
Let i(n) = -8*n + 8*n**2 + n + 8 - 14*n**3 - 9*n**3 + 22*n**3. Let g be i(7). Solve -o - o = -g for o.
4
Let o be (-10)/(-6) - 4/(-12). Let u(x) = x**2 - x + 1. Let w be u(-1). Solve w*n + 1 = -o for n.
-1
Let m be 15 - 1/(2/(-1))*-2. Solve -m*h + 5 = -15*h for h.
-5
Let m(u) = -u + 5. Let x be m(0). Suppose x*i = 7 - 2. Suppose -5*a + 3*k - 9 = 0, 10 = a + k + 7. Solve -i = -f - a*f for f.
1
Let u be (-26 + 20)*3/(-9)*2. Solve 0 = -u*c + 9 - 1 for c.
2
Let x be 1 - (12/1)/(-4). Suppose 5*b = d + 17, -x*b = -6*b + 2*d + 10. Suppose 2*j - b*s = 3, 4*s + 12 = 8*s. Solve -2*g - 4 - j = 0 for g.
-5
Let z(u) = -20*u + 468. Let l be z(22). Solve -15*g - 17 = l for g.
-3
Let m be (-2)/(-11) + 320/55. Let c = 8 - m. Suppose 0 = 3*z - 4*d - 26, c*z - 5*d = 9 + 20. Solve f + z = -0*f for f.
-2
Let f(a) be the third derivative of a**4/8 + a**3/6 + 7*a**2. Let d be f(3). Let l = -10 + d. Solve l = 4*s + 2 + 2 for s.
-1
Let b = 25 - 17. Let k be 12/(-84) - (-20)/(-7). Let w(y) = 2*y + 7. Let x be w(k). Solve x = -3*m - b for m.
-3
Let x(i) = i**2 - 29*i + 33. Let l be x(28). Solve 17 = l*o - 8 for o.
5
Let h = 2540 + -2528. Let p(r) be the third derivative of r**6/120 + r**5/20 - r**4/6 + r**3/3 + r**2. Let a be p(-4). Solve -a*i - h = i for i.
-4
Suppose 0 = -q + 2*a + 16, a + 19 = q - 4*a. Suppose 4*l - q - 6 = -2*j, 10 = 4*l - 3*j. Solve 0 = 3*i - l - 8 for i.
4
Let n(x) = 2*x**2 - x - 1. Let s be n(-1). Let h = -63 + 68. Solve -15 = -h*u + s*u for u.
5
Let k(i) be the second derivative of i**5/20 + 2*i**4/3 - 3*i**3/2 + i. Let u be k(-9). Let z be 1 - (-1 - -3) - -17. Solve u*d = 4*d - z for d.
4
Let f = 24 + -27. Let c = f - -7. Solve 0 = -c*b - 0*b for b.
0
Suppose -5*j + j = -4*v - 280, 0 = v - 4*j + 61. Let r = v - -78. Solve -4*a - 9 = -r for a.
-1
Let q be 2/(-9) - 266/(-63). Suppose -2*u + 4*x = 5*x - 9, q*x - 21 = -3*u. Let h be u*(6 + -2 + -1). Solve -3*s = -0*s - h for s.
3
Suppose -10*w - 5 = -11*w. Suppose -5*n - 11 = w*d - 36, -2*n + 5*d - 4 = 0. Suppose 4*g - 5 - 10 = -5*s, -3*g - 15 = -5*s. Solve -n*u - 6 = -s for u.
-1
Suppose -2*c + 3*w = 3*c + 45, -c - 5*w = 37. Let j = c + 16. Suppose 5*d + 15 = 5*a, -j*d - 5*a + 48 = 15. Solve -d*i - i = 15 for i.
-5
Suppose 0*o - 3 = -o. Suppose 2*n - 4*u + 5*u = -o, n - 6 = u. Solve -17 + n = 4*v for v.
-4
Let c be 13 - (0 + 2 + 0). Let g(r) = -r**2 + 11*r - 25. Let z(h) = 4*h**2 - 43*h + 99. Let y(q) = -9*g(q) - 2*z(q). Let j be y(c). Solve -1 - 4 = -j*u for u.
1
Suppose 3 = 7*i - 4*i. Let d be 15/(-5) - 8*i. Let v = d - -19. Solve x = -3*x + v for x.
2
Suppose 4*k = -d + 2 + 6, 4*d - 21 = -5*k. Suppose d*b = 73 + 7. Solve -b = -3*a - a for a.
5
Let k be (-35)/(-28)*13 + 1/(-4). Solve -k*z + 40 = 4*z for z.
2
Suppose -10*r + 12 = -28. Let a(t) = t**3 + 3*t**2 - 4*t. Let m(y) = y**3 + 2*y**2 - 3*y. Let i(d) = 5*a(d) - 4*m(d). Let n be i(-8). Solve q + 1 - r = n for q.
3
Suppose 7*x = 1 + 62. Solve x - 11 = 2*z for z.
-1
Let k be (-516)/(-26) - (-6)/39. Suppose -t + 0*w - w = -4, -t = -5*w + k. Solve 5*u + 4 - 19 = t for u.
3
Let j = 22 + -19. Solve -j = -8*c - 11 for c.
-1
Let a be 25/(8/3 + 15/(-90)). Solve 4*f = -a*f - 28 for f.
-2
Let s = -152 + 160. Solve s*l = 11*l - 12 for l.
4
Suppose -234 + 3 = -11*q. Solve -q = -6*h + 13*h for h.
-3
Let b(m) = -120*m - 712. Let o be b(-6). Solve -a - 5 = -o for a.
3
Let