0 = 0, t - 6 = r*t + 5*w. Let b be (6 + t)*3/6. Solve -b + 16 = 5*x for x.
3
Suppose 5*w - 5*x - 17 = 7*w, -5*x = 25. Let y(n) = -n**3 - n**2 + 3. Let g be y(0). Solve w = j + g*j for j.
1
Suppose m - 10 = -m. Suppose v - 4 = m. Suppose 0 = -q - 1 + 5. Solve q*f = f + v for f.
3
Suppose -6 = -n - 3*a + 2, -5*a = 3*n - 16. Suppose n*p = -p + 30. Let d = p - 5. Solve d*s - 1 = 6*s for s.
-1
Let g be (-8)/(-20) - 46/(-10). Suppose -3*r + 28 = -5*f, -g*r = -4*f - f - 30. Solve -r = 3*h - 4*h for h.
1
Let g = -123 + 173. Solve m = -9*m - g for m.
-5
Suppose -u + 9 = 3. Let n be ((-3)/u)/(1/(-8)). Suppose 20 = 2*p + n*o, o = p - 3*o - 16. Solve j - 4*j + p = 0 for j.
4
Let h(j) = 5*j**2 - 10*j + 2. Let b be h(2). Solve 15*l = b + 13 for l.
1
Let q be (-195)/(-27) - 96/432. Solve l + 9 = q for l.
-2
Suppose -4*x - q = -4*q + 18, 3*x + 13 = 2*q. Let o be 6/(-4)*4/x. Suppose 0 = -b - 3 + 5. Solve b*c + o = c for c.
-2
Let l be 0/((-3)/6 - 1/2). Solve -10 = -l*s + 2*s for s.
-5
Let y(n) = 2*n**2 - n**2 - 2 - n**3 + 3*n**2 + 2*n**3 - 6*n. Let b be y(-6). Let j = -26 - b. Solve m + j = -2*m for m.
-4
Suppose -1 = p, -4*v + 0*p + 2*p = -10. Let b = -47 - -62. Let d be -1 - (-7)/(35/b). Solve -v = -4*z + d for z.
1
Suppose 0*w - 4*w + 5*z - 8 = 0, 5*w - 5*z = -5. Solve w*f = 7*f + 8 for f.
-2
Suppose 0 = 23*f - f - 1804. Suppose -7*w + f = 68. Solve 1 = w*m - 5 for m.
3
Let f(k) = 2*k**3 + 1 - 2581*k**2 + 2578*k**2 - 4*k**3. Let j be (0 - 2/(-3))*-3. Let c be f(j). Solve g - c = -0*g for g.
5
Let g(v) = v**3 + 3*v**2 + v + 6. Let b be g(-4). Let r be (2 + b/6)*-6. Solve 2*m = -0 + r for m.
1
Let j be (-2 + 3 + -2)/((-1)/4). Solve -j*x = -13*x + 27 for x.
3
Suppose 10 = -4*z - p + 34, -3*z - p = -17. Solve -z*d + 24 = -13*d for d.
-4
Let u = 3 + -3. Let i = 17 - 17. Suppose 3*y + 4*j = 0, -2*y = 2*j - i*j. Solve u*o + o = y for o.
0
Let x(i) = 5*i**2 - 5*i + 5. Let j be x(1). Suppose d + 16 = 5*r, j*r - d + 5*d - 36 = 0. Solve 3 + 1 = r*v for v.
1
Let r = -14 - -26. Let c be 32/6*54/r. Suppose 2*u = 6*u - c. Solve 4*l = -10 - u for l.
-4
Let l(n) = n**3 + 4*n**2 + 3*n - 1. Let c(h) = 2*h - 6. Let t be c(2). Let w be l(t). Solve 5*x + w - 6 = 0 for x.
1
Let g = -164 + 176. Solve -g*x - 33 = 3 for x.
-3
Let u(g) = -g**3 + 45*g**2 + 36*g + 504. Let a be u(46). Solve 26*k + a = 15*k for k.
-4
Let k = 454 - 429. Solve -10*a + 15*a = -k for a.
-5
Suppose -2*j = -5*t - 143, -4*j - 42 = 2*t - j. Suppose -7*a = 240 - 72. Let p = a - t. Solve -10 = -w + p*w for w.
-5
Let q = -2956 - -2962. Let o = -5 - -2. Let h = 6 + o. Solve 0 = -h*j + 5*j + q for j.
-3
Let h be 0/(0 + -3 - -2). Suppose h = 4*l - 0*l + 60. Let y = l + 25. Solve 3*o = o + y for o.
5
Suppose 0 = -2*p - r + 6, -26 = -3*p - 2*p + 3*r. Solve p*f - 2*f - 8 = 0 for f.
4
Let t be ((-105)/20)/((-13)/(-4) - 3). Let s = -11 - t. Solve 0 = 5*m - 0*m + s for m.
-2
Let y = 134 - 127. Solve y*t = 2*t - 5 for t.
-1
Let k = 44 + -41. Suppose 0 = 4*h + k*a - 50, -5*h + 4*a + 0*a = -47. Solve -5*q + h = -9 for q.
4
Let s(p) be the first derivative of -3*p**2/2 - 6*p - 31. Let r be s(-2). Solve r = -4*b - 0 - 4 for b.
-1
Let a = -2 - -2. Let y be (3 - 5)/(-2) - a. Suppose -y - 1 = -2*d. Solve 0*u + d = -u for u.
-1
Let j = -1636 - -1645. Solve 10*p = p + j for p.
1
Let h(q) = -3*q**2 + 138*q + 1. Let x be h(46). Solve -x = 6*y + 5 for y.
-1
Suppose 14*u - 12*u = 8. Suppose 0 = 2*i - 3*y - 9, 3*y = i - 3. Suppose i*f = u*f. Solve -3*r - 3 + 0 = f for r.
-1
Let j = -126 + 65. Let h = j - -63. Solve 0 = h*r - 0*r + 4 for r.
-2
Let x = -112 + 116. Suppose s + x = 2*c - 3, 2 = 2*s. Solve r + c*r = -15 for r.
-3
Let b(k) = 3*k**2 - 19*k - 2. Let z be b(7). Solve -13*m + z = -9*m for m.
3
Let c(v) = -v**2 - 8*v + 6. Let b be c(-9). Let h be 66*(10/b)/5. Let t be 128/22 - 8/h. Solve -t = 3*j - j for j.
-3
Let g be 4 - 7 - (3 + -11). Solve g*j = -j - 30 for j.
-5
Suppose -12 = -4*k + k, 5*k = -5*t + 45. Let b be (12/9)/(7/21). Suppose 2*o + b*j = 12, t*o - 20 + 0 = -5*j. Solve -3*n = o - 14 for n.
4
Let k = 7 - 3. Suppose -19*h = 4*n - 18*h - 21, 2*h = -4*n + 22. Solve n*b + k = -16 for b.
-4
Suppose -3*s = -3 - 6. Let m = 26 + -19. Solve s*q = m*q for q.
0
Let q(r) = -13*r + 592. Let b be q(45). Solve -b*d = -d for d.
0
Let x be (-21)/(-273) + (-102)/(-26). Solve 24 - 20 = x*l for l.
1
Let j be 35 - 45/(-9)*(-3 - -4). Solve 0 = -11*k + 15 + j for k.
5
Suppose -t - 4*i - 6 = -29, 16 = 2*t + 2*i. Suppose 4*o = -m - 10, t*m + 0*m + 2 = -5*o. Suppose m*q - 1 - 17 = 0. Solve 4*y = q*y - 5 for y.
-5
Let r = 8 - 4. Let a(y) = 11 + 3*y - y - 7 + y. Let o be a(4). Solve r*b = -0*b + o for b.
4
Suppose 0 = -0*x - x + 4, 20 = 2*b + 4*x. Solve 14*q = 12*q - b for q.
-1
Suppose -4*o + 8 = -s, 0*o - 7 = 2*s + o. Let c(h) be the third derivative of h**5/60 + h**4/8 - 2*h**3/3 - 7*h**2. Let n be c(s). Solve p + 0*p + 5 = n for p.
-5
Let v = 13 + -13. Suppose 0 = 3*w + 4*y - 2*y - 25, v = 2*w - 4*y + 10. Suppose 2 = -d + w. Solve 5*n + 4 = d*n for n.
-2
Let m be (-222)/(-407) - (-6417)/33. Solve -2*g - m = -195 for g.
0
Let z(k) = 71 - 71 + k**3 + k**2. Let g be z(1). Suppose 4*n - g*t + 6 = 0, -2*t + 7*t - 15 = n. Solve u = -n*u + 1 for u.
1
Suppose 11*n = 106*n - 1330. Solve -a - 9 = -n for a.
5
Let d(u) = 3*u**2 + 2*u - 1. Let a be d(-2). Let g be (-7 + a)/(2 + -5). Solve -k + 1 + g = 0 for k.
1
Let b(h) = 2*h**3 + 3*h**2 + 6*h - 9. Let l be b(1). Solve -31 - l = 11*p for p.
-3
Suppose 0 = -3*n - 3*s + 93, 0 = -4*n + n - 5*s + 89. Let p = 36 - n. Solve h - 10 = p*h for h.
-5
Suppose -6*d + 15*d - 72 = 0. Suppose 4 = 3*l + 10. Let i be (4/3)/(l/(-3)). Solve -5*w - i = d for w.
-2
Let n = -65 - -74. Solve n*s - 2*s + 14 = 0 for s.
-2
Let j(r) = -r - 6. Let n(m) = -9*m**2 + m - 1. Let t be n(1). Let l be j(t). Suppose -11 = l*w - 4*w. Solve 3*q - 2 + w = 0 for q.
-3
Suppose -8 + 2 = 3*c. Let o be 3 + c/6*0. Suppose -1 = -i + s + 3, 3*s = -o*i + 6. Solve i*a - 4 = a for a.
2
Let z(j) = -2*j + 24. Let k(r) = 3*r - 25. Let s(m) = 4*k(m) + 5*z(m). Let c be s(0). Solve -7*o + 3*o - c = 0 for o.
-5
Let d(b) = -4*b**2 + 205*b - 51. Let n be d(51). Solve -12*q - 11 - 13 = n for q.
-2
Let b = -25 - -41. Suppose 0*k - 2*k + 4 = -j, b = -4*j. Solve 0 = -k*y - 5*y - 10 for y.
-2
Let o(m) = -12*m - 15. Let n be o(-2). Let r(f) = f**3 - 8*f**2 + 9*f - 2. Let q be r(7). Let j = q - n. Solve 5*c + 10 = j*c for c.
-5
Let m(a) = 7*a**2 + 12*a + 6. Let p(r) = -13*r**2 - 23*r - 11. Let l(d) = 11*m(d) + 6*p(d). Let s be l(-5). Suppose -3*f + s = -4. Solve 0 = 3*y - 0 + f for y.
-1
Suppose -4*o - 4 = -5*q + 77, -2*q + 4*o + 42 = 0. Suppose -5*m = 5, -5 = p - 3*m - q. Solve -s + p = 3 for s.
2
Suppose 3*u - 4*w - 1 = 0, -4*w + 2 = -6. Solve 3 = -0*c + u*c for c.
1
Let f = 5 + -12. Let c(p) = p**3 + 8*p**2 + 6*p - 2. Let d be c(f). Let n(j) = -j - 19. Let y be n(-21). Solve 1 = y*m - d for m.
3
Let t = -1161 + 1166. Solve -62*w - t = -63*w for w.
5
Let b(t) = t**3 - 6*t**2 - 7*t + 4. Let k be b(7). Suppose -4 = -k*z + 4. Suppose 3*n = -5*c - 2*n + 30, -5*n - 40 = -z*c. Solve -r + 3*r = c for r.
5
Suppose -u + 1090 = 1075. Solve -u = -0*i + 15*i for i.
-1
Let d(u) be the third derivative of u**5/15 + u**4/12 + u**3/6 - 2*u**2. Let i be d(-1). Suppose -24 = -i*j - j. Solve -4*g - 2 = j for g.
-2
Suppose -7*x = -2*x - 150. Suppose 0 = -2*v - 3*v + x. Solve -v*f - 6 = -3*f for f.
-2
Suppose 3*z + 6 + 4 = n, -z + 10 = 3*n. Suppose f = -k - 0*k + n, 0 = 4*k + 5*f - 13. Suppose 0*p - k = -2*p + 3*v, 4*p - 13 = 5*v. Solve p = -3*w + 8 for w.
2
Let p be (1 - -1)*(-4 - -5). Let i(c) = -c - 2*c + 3 - c**3 + 8*c - c - p*c**2. Let a be i(-3). Solve a = 5*g - 4 + 9 for g.
-1
Suppose 0 = -4*q - 4*w + 12, 2*w - 22 + 4 = -5*q. Suppose 3*v - l + 73 = 0, -3*v - 2*l = -6*v - 77. Let d = 23 + v. Solve d = -0*s - q*s - 12 for s.
-3
Let s(p) = p - 7. Suppose 3*c - 7 = -2*f + 16, 3*f = -c + 31. Let v be s(f). Suppose 5*k = -v*h - 2*h + 5, 4 = 5*k + 4*h. Solve -2*y - y + 15 = k for y.
5
Let s be -6 - ((-74)/8 - (-9)/36). Solve s*p + 2 = 5 for p.
1
Suppose 5*v - 43 = 12. Suppose -14*a - 45 = -v*a. Let l be (18/a)/(2/(-5)). Solve 4*g + 5 = l*g for g.
-5
Let v(x) = 26*x - 375. Let l be v(15). Solve -26*f + 16*f + l*f = 0 for f.
0
Let u(l) = l**3 - 9*l**2 - 5*l + 11. Let c(b) = b**2 - b + 1