ve -k*j = -9*j + 5 for j.
1
Suppose 3*w + 2*n - 16 = 0, -5*n = -6 - 4. Let f(u) = -u**3 + 7*u**2 - 6*u + 6. Let k be f(6). Solve 0 = w*m + k - 2 for m.
-1
Let o = -615 - -620. Solve 11*t - o*t = t for t.
0
Let x(g) = -g**2 - 9*g - 17. Let f be x(-5). Let j(w) = w. Let c be j(3). Let m = -6 - -6. Solve f*l - c - 9 = m for l.
4
Suppose 2*h = 17 + 153. Let o = h + -82. Solve -3 = -o*c - 0 for c.
1
Let x = -2713 - -2716. Solve -x - 9 = 4*y for y.
-3
Let a be 3/(-3 + (-18)/(-8)). Let g be (1 + 0)*(8 - a). Suppose 3*z - 8 = t, 3*z - 3*t = -0*z + g. Solve 0 = -x - z*x - 15 for x.
-5
Suppose 0 = -963*t + 964*t - 2. Solve -t*w + 14*w = -24 for w.
-2
Let j be -2 - 1/((-4)/24). Suppose 0 = -4*x + j + 12. Solve 0*n - x = -4*n for n.
1
Let i = -742 - -752. Solve -4*j = -i*j + 6 for j.
1
Suppose 4*f - f = -6, 4*r - 12 = 2*f. Let u(a) = -a**3 + 2 + 6*a - 5 + 4 - 6*a**r + 6. Let t be u(-7). Solve -1 - t = 3*w for w.
-5
Suppose -85 = -q - 85. Solve q = 6*b - b for b.
0
Let f(p) = -10*p - 8. Let g be f(-5). Let j be (1/(-3))/(2/g). Let w be (-25)/j + (-12)/(-28). Solve 3 = w*b - 9 for b.
3
Let p be ((-14)/(-35))/(1/30). Let s be (-6)/15 + p/5. Solve -3 = t + s*t for t.
-1
Let x be 12 + (4 - -86)/(-10). Solve 0 = -4*t + 4*t - x*t for t.
0
Let o be (-3332)/(-196) - (-3)/(6/(-8)). Solve -o = -2*l - 3 for l.
5
Let o(f) = 17*f + 71. Let u be o(-4). Solve 0 = 6*r - 3*r - u for r.
1
Let v = 179 + -179. Solve v*t = 3*t for t.
0
Let l = 24 + -16. Let n be ((-20)/(-5))/(8/6). Solve 5*g = n*g + l for g.
4
Suppose 482 = 3*y + 470. Solve 0 = -y*m - m for m.
0
Suppose -3*c + 0 + 21 = 0. Suppose -5*d = c - 22. Suppose t + 13 = z, 2*z + d = 5*t + 26. Solve 4*f - 2 = z for f.
4
Suppose 127*r = 131*r - 52. Suppose 4*k + 4*v = -28, 2*k - 3*v + 5 = -8*v. Let p = k + r. Solve p*u + 0*u - 6 = 0 for u.
2
Let q be -1 - -4 - (2 + -2). Suppose -3*u - 23 = -4*a - 2*u, 3*u = 2*a - 19. Suppose 5*g + c = -2*c - 5, -3*g + 16 = -2*c. Solve -q*r = a - g for r.
-1
Let b(o) be the third derivative of o**6/120 + o**5/15 + o**4/8 + 3*o**2. Let j be b(-3). Let d be (-2)/8 + 2/8. Solve 4*x + d*x = j for x.
0
Suppose -58*j = -64*j + 24. Solve 3*g = j*g + 2 for g.
-2
Suppose -858*w = -861*w + 66. Solve -w*o - 3 = -19*o for o.
-1
Let c(l) be the second derivative of l**4/12 - 5*l**3/6 + 13*l. Let o be c(5). Let h be -4 + o + 8 + 4. Solve -y = 3*y + h for y.
-2
Suppose -7*q = -271 - 44. Suppose 3*r = -2*r + q. Let t = -5 - -8. Solve 0*y = -t*y + r for y.
3
Suppose -11*w + 295 = -90. Solve 0 = -9*a - w - 10 for a.
-5
Suppose -28 = -3*j - 5*s, 4*s + 20 = 8*s. Let f be (-1 - (j - 5))*(-36)/(-36). Solve 4 = -x + f for x.
-1
Let s = 33 + -28. Let f be -1 + s + -5 - -1. Solve f = a - 2*a for a.
0
Let w = 70 + -66. Suppose 0 = -14*n + 13*n + w. Solve -n*j = -0*j + 4 for j.
-1
Let j(z) = 15*z - 9. Let d be j(-6). Let g = -99 - d. Solve g*a + a = 1 for a.
1
Suppose 5*o - 25 = -0*o. Suppose -2*m + 3 = 3*d + 1, -o*d + 8 = m. Solve 12 = -5*c + d*c for c.
-4
Let a(v) = 16*v**2 - 1. Let n be a(-1). Suppose 0 = -5*y + 8 + 2. Let p be ((-3)/3 - -4) + y. Solve -40 + n = p*i for i.
-5
Let z = 68 + -41. Solve 0 = -z*d + 30*d for d.
0
Let h be ((-15)/9*-3 + -5)/(-2). Solve h = 4*l - 16 for l.
4
Let f be (-6)/(-1) - (2 + 0). Let y(l) be the third derivative of -l**4/24 + l**3/6 + 3*l**2. Let d be y(1). Solve -f*b + 20 = -d*b for b.
5
Let w be 0 + 0 - (-8 - (-6 + 0)). Solve 9*u - 7*u = -w for u.
-1
Suppose -64 = 5*k - 584. Solve 17 - k = 29*p for p.
-3
Let m(p) = 4*p - 14. Let k = -70 + 75. Let s be m(k). Solve l = s*l - 20 for l.
4
Let s(c) be the first derivative of c**4/4 - 5*c**3/3 - 31*c - 22. Let h be s(6). Solve 2 = o + h for o.
-3
Suppose 0 = -a - 1, 5*p - 30 = 5*a - 0*a. Suppose -q = 5*y - 30, 4*y + 4*q = 4 + 4. Let t = y - p. Solve -t - 1 = -j for j.
3
Let b = 1513 - 1484. Solve 31*m - b*m = 10 for m.
5
Let a(w) = -w + 3. Let u be a(1). Let f(c) = 5*c + 5. Let d be f(u). Solve -3*b + 0*b + d = 0 for b.
5
Let z = 168 - 164. Let l be 2*(-9)/6 + 6. Suppose 0*r = l*r + 2*i - 5, 0 = -3*r + i + 20. Solve z*c + c = -r for c.
-1
Let w(d) = d**3 + 4*d**2 + 2*d + 4. Let g be w(-2). Suppose 14 = g*i - i. Solve -k - i*k = -15 for k.
5
Let g = 19 + -19. Let j be (g + -4)/4 - -4. Let a = 18 + -16. Solve -2 = j*f - a*f for f.
-2
Let m(s) = s**2 + 12*s - 108. Let i be m(-19). Solve 14*l - 19*l = i for l.
-5
Let y(t) = 2*t**3 + t**2 + 6*t - 5. Let q(z) = -z**3 - z**2 - 5*z + 4. Let w(a) = -3*q(a) - 2*y(a). Let c be w(2). Solve c*s + s - 2 = 0 for s.
2
Suppose -19 = -2*u - f, 0*u + u - 17 = 2*f. Suppose 87 - 11 = -4*v. Let y = v - -55. Solve 5*b + u - y = 0 for b.
5
Let d be (-4 - (-3 - 0))*-5. Let c(i) = -16*i + 4*i**2 - 2 + 22*i - 3*i**3 + 2*i**3. Let p be c(d). Solve -p*n + 4*n = 0 for n.
0
Let r = 427 + -401. Solve -28*d = -r*d + 10 for d.
-5
Suppose f + 22 = -3*x, 0 = -x - 2*f - 2*f. Let y = x - -14. Suppose y*n = 8*n. Solve 6*s - 3*s + 9 = n for s.
-3
Suppose -72*z + 89*z = 0. Solve g + g - 10 = z for g.
5
Let d = 75 - 70. Solve 0 = -3*p + d + 4 for p.
3
Let g(q) = -q**3 - 6*q**2 - 4*q + 6. Let i be g(-5). Let f be i*-4 - 2/1. Let n be ((-10)/f)/((-1)/(-3)). Solve n*o + 4 = 7*o for o.
2
Let c(z) = -z**3 + 9*z**2 - 10*z + 19. Let x be c(8). Solve x*y = -2*y - 25 for y.
-5
Suppose -5*m + 48 = x + 6, -5*x + 18 = m. Solve -a - m*a = -36 for a.
4
Let z = 78 + -33. Let f be 96/z + (-2)/15. Let u(h) = 4*h - 2. Let y be u(f). Solve -m - m = y for m.
-3
Let x be ((-9)/6)/((-13)/26). Solve -4*d - x = -11 for d.
2
Let p be 1/12*3 + 505/(-20). Let g = -19 - p. Solve g*i - 3 = 9*i for i.
-1
Let r(h) = h**3 + 5*h**2 + 8*h + 2. Let y be r(-3). Let m be (y + 16)/(-3) + 4. Solve 3*a = -m*a - 6 for a.
-2
Suppose 429 = -2*z + 439. Solve 6 - 16 = -z*n for n.
2
Let x(i) = 67*i - 134. Let m be x(2). Solve -10*t + 12*t = m for t.
0
Let y = 68 + -64. Solve y*n + 17 - 21 = 0 for n.
1
Let c be 34/(-2) - (5 + -1). Let j = c + 11. Let v = j - -10. Solve v = -s + 2 + 1 for s.
3
Let o = 16 + -15. Let q be -3 - -5 - (-14 + o). Suppose 28*w - 60 = 8*w. Solve 0 = -w*l - 0 - q for l.
-5
Let a = -32 + 32. Suppose -5*y = -p - a*p + 9, -2*y = -p + 6. Solve -w + 12 = -p*w for w.
-4
Let u(a) = 2*a - 15. Let c be u(9). Let s be c + -4 - (3 - 7). Solve 2*i = -i - s for i.
-1
Suppose z - 2*z = 7. Let a be -1 - (-2)/4*-2. Let d = a - z. Solve r + d - 6 = 0 for r.
1
Let p(w) = -13*w - 9. Let h(r) = 27*r + 17. Let y(b) = 4*h(b) + 9*p(b). Let g be y(-2). Solve -4*a = 21 - g for a.
-4
Suppose o - 3*a - 1 - 5 = 0, 2*o + 4*a + 8 = 0. Let j = 108 + -106. Suppose -4 = -j*g - o. Solve -g = -n - 0*n for n.
2
Let s(d) = -d**3 + 6*d**2 - 12*d + 9. Let p be s(5). Let r be (-13)/p - (-3)/(-12)*2. Solve 5*k - 6 + 1 = r for k.
1
Suppose 3*q + 2*i - 7 = -1, -3*i = 0. Suppose -3*j + 3*w + 126 = q*j, 2*j + 3*w - 63 = 0. Solve 4*u + 7 = j for u.
5
Let g be (-52)/(3 - 5) - -1. Let y = g + -26. Solve 0 = 2*t - t - y for t.
1
Let k be (-9)/(18/(-4)) + -2. Suppose k*t - 15 = -f - 3*t, -f = -t + 5. Suppose 0 = -2*p - 0*p + 12. Solve f = -4*z + p + 2 for z.
2
Suppose 0 = -3700*w + 3688*w + 3780. Solve 314 = -l + w for l.
1
Suppose -2*s = -7*s. Suppose s = 3*p + 3*t, 6*p - 2*p = 2*t. Solve l + p*l = 2 for l.
2
Let a be (-6)/(-9) + 16/12. Suppose 2*v = 3*o + 15, a*v = v + 4*o + 15. Solve -3*m = -0*m + v for m.
-1
Suppose 10*t = 337 - 137. Solve 0 = -5*p + t - 0 for p.
4
Suppose 8*y = 3*y - 25. Suppose -5*a - 2*r + 148 = 0, 1 = -r - 0*r. Let u be y/a - (-62)/12. Solve -5*w = -u - 5 for w.
2
Let b(v) = -5*v - 49. Let t be b(-14). Solve 16*s + 59 = -t for s.
-5
Suppose -c - 12 = -2*i, -2*i - 4*c + 0*c = -12. Let m be i/8 + 290/8. Suppose 0 = -3*t + 5*x + 50, 5*t = -4*x - 3 + m. Solve 0 = 3*o + t + 2 for o.
-4
Let n = -140 + 146. Solve p = n*p for p.
0
Let j be -2*3*(6 - 17). Let v = j - 62. Solve k + v = 3 for k.
-1
Suppose -a = -4 - 1. Solve 2*x - a = 1 for x.
3
Suppose -4*v - q - 7 = 4*q, -v = q + 1. Suppose 3*r = 4*r + v. Let o be (r/(-4))/((-14)/(-28)). Solve -o - 2 = -p for p.
3
Let x be 12/(5*(-3)/(-10)). Suppose -j - 2 = -f, -2*j = 2*f - x + 4. Solve -f*p + 2 = 4 for p.
-1
Suppose -1 = 3*s + n, 2*s - 4*n - 19 = -s. Let z = 3 + s. Solve -z*c + 1 = -11 for c.
3
Suppose 39*o = 45*o - 84. Solve -7*j + o = 35 for j.
-3
Suppose 2*j = -2, -5*k + 4*j - 4 = -3. Let g(z) = -3*z**3 - 2*z**2 + z + 2