-1
Let z = -1196 - -1196. Solve -13*f + 8*f - 25 = z for f.
-5
Let h(n) be the second derivative of -n**3/6 + 6*n**2 + 2*n. Let r be h(-9). Suppose 6 - r = -5*o. Solve 0*i = -o*i + 12 for i.
4
Let x = 14 - 12. Suppose -2*z + p + 6 = 0, x*z = p - 2*p + 6. Solve -z*b = -0*b for b.
0
Suppose 0 = 2*l + 13*q - 12*q - 9, -5*l - 5*q = -10. Solve -9*a = l*a + 32 for a.
-2
Let a(i) be the second derivative of i**3/2 - i**2/2 + 3*i. Let z(w) = -1. Let s(h) = a(h) + 3*z(h). Let r be s(4). Solve 2*q - 2 = r for q.
5
Suppose -5*c + 3*u = -26, -u - 4 = -3*c - 5*u. Let k(j) = -j**3 - 36*j**2 + 39*j + 79. Let h be k(-37). Solve -h*p - 2 = -c*p for p.
-2
Suppose 0 = 4*m - 10 - 66. Suppose -m + 3 = -4*b. Suppose -b*o + 7*o - 6 = 0. Solve 0 = r - o - 1 for r.
3
Let t be (16 + -24)*(-1)/2. Solve t*m = 18 - 2 for m.
4
Let g be 4/((40/(-25))/(-4)). Solve g = v + v for v.
5
Suppose 11 = -2*s + 5*w, w - 8 = s - 1. Let q be s/(-2) - (-7 - -7). Solve -q*z = 3 - 7 for z.
1
Let f be (-49 + 59)*4/2. Solve -11 = f*p + 9 for p.
-1
Let i be (-6)/(-14) - (-95)/7. Let b = -77 - -122. Suppose -5*z + b = 40. Solve i = 5*m - z for m.
3
Let u = 394 - 391. Solve -8 = -5*p - u for p.
1
Suppose 3*k - 30 = 5*k. Let o be 5*k/(-125)*5. Solve o*n - 12 = -n for n.
3
Let c(p) = -2*p**3 - p**2 - 5*p - 7. Let s(v) = -v**3 - v**2 - 3*v - 4. Let k(r) = -3*c(r) + 5*s(r). Let a be k(3). Let w be 25/a*8/5. Solve w = i + 7 for i.
-3
Let g = 14 + -10. Suppose -120 - 30 = -5*b. Let y = b + -30. Solve 0 = -c - y - g for c.
-4
Let j(g) = 7*g + 290. Let d be j(-33). Solve 6*t = d - 29 for t.
5
Let m be 0/(-2) + 10 + 0. Let u be 15/m*(-16)/(-6). Solve -2*d = -d + u for d.
-4
Let b = 673 - 670. Let z = 51 + -44. Solve z*l = b*l + 4 for l.
1
Let y(n) = -16 + 20*n**2 + 2*n**3 - 13*n - 5*n - 3*n**3. Let s be y(19). Suppose -3*j - s*b + 24 = 0, -8 = 4*j + 3*b - 35. Solve j*g - 2 = 1 for g.
1
Let t = 24 - 12. Suppose t = 2*y + 4. Solve y*l - 20 = -l for l.
4
Let y(o) = 5*o - 8. Suppose 0*k - 2*b = 2*k + 6, -5*k - b + 5 = 0. Let n be y(k). Solve -n*v + 8 = -6*v for v.
-2
Let w be 2 + -1*2 + 12/4. Solve -2*q + w*q = 0 for q.
0
Let t be (8/20)/(1*3/135). Let a = 20 - t. Solve a = 3*u - 2*u for u.
2
Let o = -264 + 264. Suppose 12 - 36 = -4*u. Suppose y - 1 - 21 = 5*j, y + 2*j + u = 0. Solve -4*k - y + 10 = o for k.
2
Let c be (-1292)/(-612) + 2/(-18). Solve -c*p = -18*p - 80 for p.
-5
Suppose 2*u + 3*u = -25. Let o = u - -5. Suppose -3 = -g - 0. Solve o*s - 9 = g*s for s.
-3
Suppose -21*y = -143 - 4. Solve -y*h - 7 = 7 for h.
-2
Let l = -2 + -12. Let j be (l/(-35))/((-1)/10). Let p(s) = -6*s. Let w be p(j). Solve 8 = 4*d + w for d.
-4
Let t(d) = -d**3 - 5*d**2 + 6*d + 3. Let x be t(-6). Solve 2*q - x*q = 0 for q.
0
Suppose 3*u = -s + 64, -s + 2*s = 4*u - 83. Suppose -9 = 6*g - u. Solve -5 = -v + g*v for v.
-5
Let v = 14 + -5. Let t = 13 - v. Let l = 6 - t. Solve 6 = 2*g + l for g.
2
Let q = 9 + -13. Let x be (-1)/2 + (-14)/q. Suppose -x = 2*t - 13. Solve -g + 2*g - t = 0 for g.
5
Let b(w) = -5*w**3 - 6*w**2 - w + 2. Let g be b(-2). Solve 5*o - g = -0*o for o.
4
Let v = 635 + -630. Solve -v*d + 16 = -9 for d.
5
Let x(m) be the second derivative of -m**5/20 - 5*m**4/12 + 5*m**3/6 - 2*m**2 + 5*m. Let t be x(-6). Solve -t*l = l - 6 for l.
2
Let b = -35 - -41. Let t be (3 + -2)/(1/3). Solve -b = w - t for w.
-3
Let i(a) = a - 20. Let y be i(26). Solve -y*t = -5 + 5 for t.
0
Let d(f) = f**2 + 8*f + 28. Let u be d(-10). Let l = u + -45. Solve l + 1 = 2*p for p.
2
Let i be 4 - (-84 - (-2 + -2)). Suppose -12*o = -8*o + i. Let r = -17 - o. Solve r*x = 8*x for x.
0
Let u be (2 - 1 - 2)*-1 + 3. Solve -u*q + 0*q + 4 = 0 for q.
1
Let w be (3/5)/((-2)/(-10)). Let t(r) = 15*r + 5 + 24*r**2 - 3 - 25*r**2. Let q be t(15). Solve -q = -w*c + 2*c for c.
2
Let f be ((-1)/4)/(4/16) - -63. Solve -9*g - f = -17 for g.
-5
Suppose -5 = -q + 2*w, 3*w + 12 = 3*q - 0*w. Suppose 1 = -c - i + 4, 4*i = 0. Solve -4*h + c*h + q = 0 for h.
3
Suppose -17*l + 18*l = -1. Let j be 10*l*(5/(-2) - -2). Solve j*p = -0*p for p.
0
Let h = -261 - -266. Solve 0 = -4*o + h - 13 for o.
-2
Let d be (-4)/(-6) - 187/33. Let u be d/(-1 - (-15)/(-10)). Suppose u*m + 0*m = 0. Solve 0 = 2*x - m*x for x.
0
Let h = 1 - 2. Suppose -2*i = -3*i + 3*o + 14, -o + 22 = 3*i. Let b be h/(2/8) + i. Solve 0 = -n - b - 1 for n.
-5
Let f = -6 + 10. Suppose f*o + o = 0. Let a be 41/7 + 7/49. Solve -3*x + a + 0 = o for x.
2
Let o be (-13)/((-195)/36)*40/24. Solve o*a = -4*a + 40 for a.
5
Suppose 5*w = -5*i + 2*w - 19, i = 2*w + 4. Let p(a) = -8*a - 2. Let c be p(i). Solve c = 5*d - 11 for d.
5
Let w = 471 + -451. Solve -16*g = -11*g - w for g.
4
Suppose -4*t - 20 = -5*r, 8 = 5*r + t - 12. Solve r*b = 6*b + 8*b for b.
0
Suppose 1 = -5*t + 11. Let w(r) = 9*r + r**t + 705 - 705. Let c be w(-10). Solve d + c = -d for d.
-5
Let b(w) = -w**2 + 5*w - 4. Let c(y) = -y**2 + 8*y + 3. Let u be c(8). Let r be b(u). Suppose -r*g + 3*g = 3. Solve v - g = 2*v for v.
-3
Let s be 1/(-7) + 0 - (-72)/63. Solve 2*b + s = 11 for b.
5
Suppose -x + 13 = 3*q, -4*x + 10 = -0*q - 2*q. Let k be ((-15)/(-3) + -4)*x. Solve 0 = -t + k*t for t.
0
Let a = -76 - -111. Let d = a - 29. Solve 2*f + 2 = -d for f.
-4
Let v = 36 - 31. Suppose v*c - 2*c = 45. Solve c = 2*w + w for w.
5
Suppose 26 = j - 0*j. Let o = 36 - j. Solve -o = -3*c - 1 for c.
3
Let y be (6/4)/((-27)/(-198)). Suppose 9 = 3*g - p, 5*p = g - 3*g - y. Solve d + 6 = -g*d for d.
-2
Let l(t) = -t - 15. Let m be l(-21). Suppose -m*d + 112 = 22. Suppose -2*s + 3*s - 2*z = 16, 4*s + z = 37. Solve 5*x + d = -s for x.
-5
Suppose 32 = -2*u + 4*u. Let t = 36 - u. Let y be (t/35)/((-2)/(-7)). Solve 0*x + y*x = -8 for x.
-4
Let a(t) = -t + 17. Let m be a(15). Suppose -l + 1 = 3*c + 2, 4 = -m*c. Solve 0*p = -p - l for p.
-5
Suppose 7*o = 120 + 55. Let t = o - 19. Solve 0 = a - t*a - 5 for a.
-1
Let g(j) = -4 - 4*j**2 + j**3 - j**2 + j + j**2 - j**2. Let r be g(5). Solve -r = -d - 2 for d.
-1
Suppose 12*z - 10*z - 3*w - 4 = 0, 3*w = -5*z + 31. Solve 0 = 3*m - 4*m + z for m.
5
Let h(p) = -p + 9. Let m be h(4). Suppose -m*x + x = -84. Let i be (-7)/x + (-74)/(-6). Solve -2*t = 4 - i for t.
4
Suppose -30 = -8*u + 10. Let a be (u - 2)*(-3)/9*-1. Solve 3 = -2*k - a for k.
-2
Let b = -18 - -18. Suppose b = j - x, 4*j - 4*x = -8*x. Solve 4*h + 11 + 1 = j for h.
-3
Let w be ((-1)/(6 + -2))/((-2)/40). Let k be (2 - 1)*(0/(-5) + w). Solve -k = 2*m + 3*m for m.
-1
Suppose 0 = -2*t - 5 + 11. Let r = t + 0. Suppose 0*i - r*i = 0. Solve i = 4*a - 3*a + 2 for a.
-2
Let h(k) = k + 18. Let y be h(-16). Suppose -2*o + 191 = 5*z, y*z - 2*o - 88 = 3*o. Let q = z - 37. Solve -q*j + 5*j = 3 for j.
1
Suppose 5*i = -t + 10 + 1, 3 = 3*t. Solve -i*q - 2 + 6 = 0 for q.
2
Let q be 1*6/(-12) + 9/6. Solve q - 19 = -6*b for b.
3
Let u be 0 + 0/(-3 - -2). Suppose 2*b + u = -g + 5, 2*g - 6 = -2*b. Suppose 0*r + b = r. Solve -2 - r = o for o.
-4
Let m be 4/18 + (-3)/(-81)*237. Solve 3*r = m + 6 for r.
5
Let c(r) = r**3 + 3*r**2 - r - 3. Let l be c(1). Solve l*t = t - 4 for t.
4
Let b(f) = -f**3 + 5*f**2 + 5*f - 16. Let l be b(5). Solve 11 + 16 = l*k for k.
3
Let o = -275 - -285. Solve 0 = y + o*y + 11 for y.
-1
Let s(a) = -a**2 - 4*a + 1. Let x be s(-2). Let t = -117 - -133. Solve x*c - t - 9 = 0 for c.
5
Let h = 26 - 19. Let v(u) = -u + 5. Let l be v(h). Let t be l/(6/9) - -3. Solve -2*w + t*w = 0 for w.
0
Suppose 3*v = -2*v + 3*f + 30, f = 2*v - 13. Solve -2*b + v - 11 = 0 for b.
-1
Suppose 2*m - 2 = 4*m. Let k be 2 + (3 - (m - -1)). Suppose 3*t - 21 = k*u + 22, -2*u = 10. Solve t*q + 2 = 5*q for q.
-2
Let d = -57 - -54. Let q be 5/2*(-1 - d). Solve 5*h + 0 + q = 0 for h.
-1
Let b = 282 - 266. Solve 3*j + 5*j = b for j.
2
Suppose -2*d + 2*q + 1 = -5*d, 3*d + 29 = 5*q. Let n be -1*(-4 - (16/4 + d)). Solve -10 = -3*i + n*i for i.
-5
Let a(y) = -y**3 - 4*y**2 + 12*y. Let v be a(-6). Solve v = -15*w + 10*w + 20 for w.
4
Let p(l) = 3*l + 8. Let a(w) = 7*w + 16. Let f(i) = -4*a(i) + 9*p(i). Let x be f(-7). Let s = -11 + x. Solve 5*y - s = 4*y for y.
4
Let g(j) = j**2 - 2*j**2 - 4*j**2 + 13*j + 6*j**2 + 17. Let f be g(-12). Solve p = f*p - 4 for p.
1
Suppose -5*u - 2*x + 7 = 0, -3*x - 4 = -3*u - 4*x. Suppose -3*z - 7 - u = p, -p = -z - 4. Solve 5*j + 4 + p = 0 for j.
-1
Suppose 5*c - l = -4, 5*c + 0*