 7*k = 0 for k.
0
Let p(v) = -v**3 + 5*v**2 + 14*v - 39. Let q be p(6). Let u = -428 - -436. Solve q*o - u*o = 1 for o.
1
Suppose 962*g - 960*g = 0. Suppose -4*h + 24 + 48 = 0. Solve g = 3*n + h - 3 for n.
-5
Let w be (-32)/(-12)*(-3)/2. Let i(d) = d**3 + 2*d**2 - 9*d - 4. Let b be i(w). Solve b = f - 5*f for f.
0
Let j(v) = -4*v**3 - 2*v**2 + 3*v - 1. Let u be j(1). Let s(t) = -2*t - 3 + 4*t - t**2 + 2*t**2. Let o be s(u). Solve -5 = -0*n + o*n for n.
-1
Let y(a) = 164*a**2 + 3*a + 3. Let f be y(-1). Suppose o + b = -f, -2*o - 148 = -o + 5*b. Let r be (2/(4/3))/((-63)/o). Solve -m + 2*m = -r for m.
-4
Suppose 6*p - 5*r = 3*p - 9, 0 = 4*p + 4*r + 44. Let o be 140/4*p/20. Let t = -11 - o. Solve t = -4*q - 9 for q.
-3
Let s = -70 + 93. Suppose w - 21 + s = 2*q, -5*q + 10 = 0. Solve -w*a + 4 = 2 for a.
1
Let i = -138 + 103. Let x = i - -38. Solve -x*u - u = 0 for u.
0
Let d = 57 + -28. Suppose -85 = -34*y + d*y. Suppose 0*z + z - 3*p = y, 4*z + 5*p - 17 = 0. Solve z = -a - a for a.
-4
Let q(l) = 2*l**2 + 30 - 6*l**2 + l**2 - 7*l + l**2. Let r be q(6). Let u be 12/(-8)*(-7)/(r/(-16)). Solve y = -y + u for y.
1
Let h(a) = a**2 - 23*a - 11. Let t be h(10). Let k = t - -147. Solve 4*r - k + 2 = 0 for r.
1
Suppose -9*r + 6 + 21 = 0. Suppose 16 = r*n - 5*m, -5*n + n + 4 = 2*m. Solve k + k = n for k.
1
Suppose d = -3*n + 48, 0 = -3*n + 19*d - 24*d + 36. Solve -n = 11*q + 82 for q.
-9
Let g = -401 - -354. Let c = g + 49. Solve 26*a - 25*a - c = 0 for a.
2
Suppose -38*l + 66 = -40*l. Let h(g) = g**3 + 32*g**2 - 34*g - 8. Let u be h(l). Let i(s) = -s - 2. Let w be i(-2). Solve n - 6*n - u = w for n.
-5
Let n(m) = -4*m + 2. Let t be n(14). Let h = t + 58. Suppose 0*k - 5 = 2*k - d, -3*k + 20 = h*d. Solve f + 2 = -k*f for f.
-2
Let u = -48 - -81. Suppose -o = 0, 5*o - 71 + 38 = s. Let f = u + s. Solve -8 = -2*a - f for a.
4
Suppose h = -h + 10, 4*h = -2*f + 32. Suppose -5*m + 30 = b - f*b, -m - 4*b = -1. Suppose 26 = 2*g - 3*z, 0*g = 2*g + m*z - 10. Solve -2*c - 2 = -g for c.
4
Let u(b) = 6*b + 14. Suppose 16 = -7*s - s. Let y be u(s). Let g be 1 - (-2 - (y + -3)). Solve 0 = -2*v + 4*v + g for v.
-1
Let p be (-3*(-392)/(-12))/1. Let d = p - -137. Let r = -36 + d. Solve -4*t + r = -t for t.
1
Let s(m) = m**2 - 5*m - 15*m - 8*m + 10*m. Let z be s(18). Solve 7*o - 2*o - 20 = z for o.
4
Suppose 5*k - 2*j + 2 - 277 = 0, -2*k - j = -119. Solve 7*v - 15 + k = 0 for v.
-6
Suppose 2*f = 200 - 16. Suppose z - 95 + f = 0. Solve z*i + 10 = 25 for i.
5
Let f = -70 + 84. Suppose 0 = 5*i + f - 29. Suppose 6*b = i*b + 6. Solve 4*x - 3*x = b for x.
2
Let n(m) = 2*m**2. Let p be n(3). Solve -p = 10*q - 28 for q.
1
Let t(p) = -p**2 - 15*p - 46. Let g be t(-5). Suppose g*m = 5*b - 17 - 22, -5*m = 3*b - 53. Solve -8*l + 12 = -b*l for l.
-4
Let y(u) = -u**3 + u**2 + 10*u + 24. Let q be y(-3). Solve -x + 31 - q = 0 for x.
1
Suppose 27 = 26283*n - 26280*n. Solve 0 = -22*m + 35 + n for m.
2
Let c = 261 - 259. Let r be 3/c*160/15. Solve 14*g = r*g - 6 for g.
3
Let p be (4/(-14))/((-160)/(-70)) - 1611/(-24). Solve -51 + 520 = -p*r for r.
-7
Suppose 0 = 36*t - 29*t + 2289. Let j = -321 - t. Solve -x = -j*x for x.
0
Suppose -h = -58 - 60. Let g be 2 - 160/76 - h/(-38). Solve g*r = -2*r for r.
0
Let b(m) = m**3 + 5*m**2 + 6*m + 3. Let a be b(-3). Suppose 2*g = -2, -3 = a*i + 3*g - 0*g. Solve -j - 2 - 1 = i for j.
-3
Let m = 101 - 131. Let t be m/(6/2 - (-56)/(-16)). Let b = t + -58. Solve -b*q = -5*q for q.
0
Suppose 4*q = -7*j + 11, 10*j + 11 = q + 9*j. Solve q*d = -5189 + 5189 for d.
0
Let u = 836 - -66. Let c = u - 899. Solve 0*f = c*f + 15 for f.
-5
Let l(r) = 5*r. Let b be l(12). Suppose 2*f = 0, 5*d - b = 2*f - 5*f. Suppose -d*z + 25 = 1. Solve 3*x = z*x + 3 for x.
3
Suppose -17*v + 19*v + 20*v = 88. Solve 6*l + v*l = -9*l for l.
0
Suppose u - 3 = -4. Let f be (1 - u) + 0 - 2. Suppose -253*c - 636*c = -14224. Solve n + 3*n - c = f for n.
4
Suppose 2*d - 186 - 270 = 2*j, -4*d - 5*j = -975. Solve 7*c + d = -40*c for c.
-5
Let k(m) = -13*m - 16. Let u be k(-2). Suppose 0 = -3*t + x + u, 0 = t - 0*x - x - 6. Solve -4*f = -t - 6 for f.
2
Let f be (-5)/25 - 16/(-5). Suppose -f*x = 5*w - 30, -5*x - 27 = 5*w - 67. Suppose 3*i - a = 22, -3*i = 2*i - 4*a - 39. Solve i*n - w*n = 4 for n.
1
Let u = -99 + -105. Let i = -203 - u. Solve 0 = 2*a - 3 + i for a.
1
Let q(o) be the third derivative of o**5/15 - o**4/4 + 14*o**3/3 - 255*o**2. Let f be q(0). Solve -f = -9*x - 5*x for x.
2
Suppose 5 = 5*r - 30. Solve 13*h + r*h + 100 = 0 for h.
-5
Suppose c + 2 = -4. Let p = c - -9. Let y(m) = 88*m - 3080. Let r be y(35). Solve r*u + u = p for u.
3
Let q = -92 - -104. Let a(l) = -l**3 + 11*l**2 + 16*l - 44. Let y be a(q). Solve 6 = -y*n - 6 for n.
-3
Suppose 3*t + 9 = -0. Let z = 1328 - 1314. Let u be 24/z - ((-24)/(-28))/t. Solve -o + 0 = -u for o.
2
Let v = -24009 - -24102. Solve 40 = 53*h - v*h for h.
-1
Let o be 12/(-42) - 2/(-7). Suppose -4*u + 2*k - 112 = -0*u, 0 = -3*k - 12. Let t be (2/6)/(u/(-360)). Solve 20 = -o*x + t*x for x.
5
Let r = 39 - 36. Suppose 2*o - 10 = -z, 0 = -r*o - 0*z - 4*z + 10. Solve o*i = -10 + 4 for i.
-1
Suppose 17*d = 37*d + 15*d - 66955. Solve d*g = 1911*g - 4 for g.
-2
Let h be (-8778)/(-352) + 2/32 - 10. Solve -1834*k - h = -1837*k for k.
5
Let y = -10134 - -10136. Solve -2*j = y*j + 28 for j.
-7
Let m be (0 - -5)/(7 + (-24)/4). Suppose -m*f + 74 = 34. Suppose -3*l = -4*y + y + 9, 0 = l + 4*y - 22. Solve -l*g + 4*g = -f for g.
-4
Let i(g) = -g**3 - 2*g**2 - 4*g. Let r be i(-2). Let d(q) = -14*q + 124. Let j be d(r). Solve -j*m + 10*m = 0 for m.
0
Suppose -38 = -8*l - 2*f, l - f + 1 = -3. Suppose 3*z + a + 0*a + 5 = 0, -20 = -3*z + 4*a. Suppose -5*b + 23 - 3 = z. Solve b = l*k + k for k.
1
Let v = 16460 + -16416. Solve 0 = -v*m + 32*m + 72 for m.
6
Suppose 2*d - 209 + 831 = 2*k, 0 = -3*d - 21. Solve -51 = -k*s + 287*s for s.
3
Let y = 20 + -43. Let m be (y/46)/(1/2)*-2. Solve -m*p = -4*p for p.
0
Let a be 756/(-36)*1/(-3) + 2. Solve -6 = a*c + 3 for c.
-1
Let n be (-8 + 208/24)*(-9)/2. Let l(j) = -11*j - 31. Let c be l(n). Let s be 30/2 + (-5 - (c - 3)). Solve -s = 5*u + 14 for u.
-5
Let s be 5/((-5)/16*-8). Solve s*n + 0*n = n for n.
0
Let w(x) = -6*x**3 - 4*x**2 + 29*x - 13. Let i(c) = 5*c**3 + 2*c**2 - 28*c + 12. Let a(h) = 5*i(h) + 4*w(h). Let l be a(9). Solve 0 = -11*q + 4*q + l for q.
5
Suppose 5*m = b + 2391, -3*b - 7 = -4. Suppose -385 = 4*l - u, 2*u = -5*l - 0*l - m. Let a = 99 + l. Solve a*r - 5 = 4 for r.
3
Suppose 32 = 4*p - 20. Suppose -55*v + 61*v = -89*v + 95. Solve 0 = 6*u - v + p for u.
-2
Let w be 2/4*(5 - -2 - -3). Suppose w*a - 180 = -4*a. Solve -t - a = -6*t for t.
4
Let f(c) be the second derivative of 2/3*c**3 + 0 + 4*c - 2*c**2. Let b be f(2). Solve 2*k = b*k for k.
0
Suppose -34*n - 38*n = -360. Solve -1 = n*v + 4 for v.
-1
Let s = -633 + 330. Let v = -300 - s. Solve 2*c + 13 = v for c.
-5
Let m be (2 - 4)*(-1653)/114. Solve 0 = -m*u + 2*u - 81 for u.
-3
Suppose 0 = 3*r - 2 - 19. Suppose 95 = -3*v - r. Let q = -32 - v. Solve 0 = 2*j + q - 6 for j.
2
Suppose 8697 = 115*n - 6483. Solve -70 = -122*q + n*q for q.
-7
Suppose 24 = -25*v + 19*v. Let b be 0/(-2)*(3 + v). Suppose t = -5*g + 2 + 35, 5*g - 4*t - 27 = b. Solve -g*u = -9*u - 6 for u.
-3
Let l be 16/40 - (-3438)/30 - 11. Solve -26*y = -13*y + l for y.
-8
Let c be 20/(-30)*210/(-28). Solve 66*v - 67*v = -c for v.
5
Let c(z) = z - 17. Let m(i) = 3*i - 48. Let g(f) = 17*c(f) - 6*m(f). Suppose 10 = d + 21. Let k be g(d). Solve 4*q = 2*q + k for q.
5
Let u be (38/(-57))/(2/(-1356)). Solve -450*x = -u*x + 10 for x.
5
Let o = -5 - -8. Let t(h) = -5 - 1 + 1 + 2*h**3 + h - 18*h**2 - 4. Let b be t(9). Solve s + o*s - 4 = b for s.
1
Let d(z) = -3*z**2 - 30*z - 23. Let m(v) = 5*v**2 + 46*v + 35. Let w(l) = 8*d(l) + 5*m(l). Let b be w(11). Suppose 2 + 0 = o. Solve p = b*p - o for p.
2
Suppose 0 = -2*n + 710 - 690. Suppose -100 = -5*h - 25. Solve 55 = n*r + h for r.
4
Let m = 6083 - 6081. Suppose 4*f - 6 - 10 = 0. Solve f = -3*o + m*o for o.
-4
Suppose -3*j - 3*l = -688 - 17, 0 = j - l - 235. Solve 0 = j*p - 229*p - 18 for p.
3
Let d = 391 + -361. Let j = d + -13. Solve 7*f - 3 + j = 0 for f.
-2
Let y be (-2)/(-2) - (-2 + -1). Let k(v) = v**2 - 9*v + 17. Let x be -3 + 31/3 + 4/(-12). Let m be k(x). Solv