 25 + -17. Let u(r) = r**3 + 6*r**2 + 2*r - 1. Let i be u(-2). Let z = i - d. Solve -m + 2*m + z = 0 for m.
-3
Let w(x) = x**2 - 18*x - 3. Let o be w(11). Let n be (-1 - -2)/((-5)/o). Solve q = 5*q + n for q.
-4
Suppose 36*z + 28 = 43*z. Solve 2*y = z*y + 2 for y.
-1
Let y(d) = -4*d + 2. Let u be y(6). Let p = -16 - u. Solve 0 = -s - p + 3 for s.
-3
Let r be (2 + 0)*(-7 + 105/14). Solve -3*b = r + 5 for b.
-2
Let v(w) = w**2 - 2. Let p be v(2). Suppose -4*k = -4, 2*k - 7*k = m - 8. Suppose -m*q = -p*q. Solve q*z - 2*z + 4 = 0 for z.
2
Let l = 1 + 4. Suppose 3*d - c - 3 = 3*c, -l*d = 5*c - 5. Solve 3*a + d = 4 for a.
1
Let t be -2*(-9)/(-5)*-5. Let l = -13 + t. Suppose -5*x + d = -23 - 35, -56 = -l*x + 2*d. Solve -f + x = -4*f for f.
-4
Suppose 5*h - 29 = 2*j, 2*h + 3*j = -0*j + 4. Suppose 0 = -0*t + 4*t - h*q - 16, -t = -q - 4. Solve -5*g - t + 19 = 0 for g.
3
Suppose -4*t - 4*h + 44 = 0, -h - 8 = -3*t + 17. Solve 4*n = t*n + 20 for n.
-4
Let i(r) = r**3 - 6*r**2 + 6*r + 4. Let p be i(5). Let n = 11 + p. Solve 8*l - n = 4*l for l.
5
Let h(g) = 2 + 3*g**2 - g - 6 - 7*g**2 - g**3. Let i be h(-4). Suppose -10 + 0 = -2*w. Solve i = w*b + 8 + 7 for b.
-3
Suppose 0*v = 4*v - 8. Suppose 0*x + 4*x = 2*j - 12, v*x + 22 = 3*j. Let o = j - 6. Solve -5*r = -o*r - 6 for r.
2
Let n(o) = -o**2 - 13*o - 8. Let h(w) = w**3 - 2*w**2 - 5*w + 4. Let q be h(4). Let z = q - 28. Let k be n(z). Solve 8 = k*t - 0 for t.
2
Let d(k) = -k**2 - 6*k + 4. Suppose -2*v + 3 = -5*v. Let o(n) = -5*n**2 + n. Let q be o(v). Let h be d(q). Solve h*r = -0*r - 16 for r.
-4
Let y be ((-2)/(-3))/(12/54). Suppose 0 = -2*o - y*o. Solve o = -2*i + 3 + 1 for i.
2
Suppose 0 = -n + 2, 5*n = -4*l + n + 16. Solve 0*v = -2*v + l for v.
1
Suppose -3*u = 5*z + 2*u, 0 = 3*z - 2*u + 10. Let x be z/5 + (-7)/(-5). Solve 0 = 2*m - 3 - x for m.
2
Suppose 0 = -3*i - 2*i + 15. Suppose -4*w - i*g - 5 = 2, -3*g = 15. Solve -8 + 2 = -w*v for v.
3
Suppose 0 = -7*x + 14*x - 49. Solve -4 = x*r - 9*r for r.
2
Let z = 2 + -8. Let t be z/9 + 2/(-6). Let k = t + 1. Solve 0 = -b + 1 - k for b.
1
Let j = 1 + -1. Suppose 2*l = o + 9, 0 = -3*l + 6*l + 5*o + 6. Solve j = 4*r - l - 5 for r.
2
Suppose -w - 3 = j - 4, -w = 2*j - 5. Solve 0*m - 2*m = j for m.
-2
Let r(y) = -y**2 - 6*y - 1. Let l be r(-5). Suppose 0 = -3*a + l + 5. Let k be 5 + (3 + 0)/a. Solve -k*f = -f for f.
0
Let b(m) be the third derivative of m**6/120 + m**5/30 - m**4/6 - 2*m**3/3 + m**2. Let q be b(-3). Let t = -1 - q. Solve t*g + 2 = 2*g for g.
1
Let z = 5 - 6. Let w be (((-7)/1)/z)/1. Solve -j - w = -4 for j.
-3
Suppose -5*r - 21 = -1, 2*r = 4*l - 8. Solve -g + l = -4 for g.
4
Let t = 11 + -7. Suppose 2*x = t*x. Suppose 3*b - 24 = -b. Solve 3*w - 5*w - b = x for w.
-3
Let i(p) = p**2 - 7*p - 14. Let s be i(9). Solve -3 = -s*z - 7 for z.
-1
Suppose -16 = 4*r + 20. Let q be -1*2 + (1 - r). Let d(b) = b**3 + 2*b**2 - b + 1. Let n be d(-2). Solve -n*w = -w + q for w.
-4
Let q = 18 - 15. Solve -z + 8 - q = 0 for z.
5
Let b(t) = 3*t - 8. Let k be b(7). Suppose -z - 4*g = -g - k, 4*g - 20 = -2*z. Let f be 6*(-1 + (-7)/(-2)). Solve -m + f = z*m for m.
3
Suppose x + 8 = 3*x. Suppose 4*h + 4*w = 32, -4*h = -0*h - 5*w + x. Solve h*n - 19 - 1 = 0 for n.
5
Let b be (8/6)/((-8)/(-12)). Let j(f) = f + 2. Let l be j(b). Solve 2*w + l = -0*w for w.
-2
Let s = 17 - 11. Let k be (s - 5)/((-1)/(-5)). Solve 12 = k*h - 8 for h.
4
Let c(o) = o**2 - 4. Let s be c(0). Let r be s/(-22) - 588/(-33). Suppose -5*p + 32 = -r. Solve p*i = 5*i for i.
0
Let z(v) = 2*v**2 - 2*v - 6. Let m be z(-2). Solve -m = -3*d - 21 for d.
-5
Suppose -2*z + 0*z + 20 = 2*l, -5*z + 42 = 3*l. Solve 3*r + z + 3 = 0 for r.
-3
Let m(r) = -r**2 - r. Let o be m(-1). Suppose o = -5*j + 3*l + 91, 0 = -3*j + 2*j + 4*l + 25. Suppose 3*h = 12, j = -3*y - 0*y + 5*h. Solve -3*v - 5 = y for v.
-2
Suppose 4*l = 3 + 21. Suppose 0*c + l = 2*c. Suppose c = -0*k + k. Solve -6*s + 5*s = -k for s.
3
Suppose 0 = 4*q - 5*q + 6. Suppose -s - 6 = -5*b + 3, -2*b - s = -5. Let v = q + b. Solve 6*i - v = 2*i for i.
2
Suppose -2*y + 5 = -3. Let f be 5 - y/6*3. Let k = -2 - -4. Solve -7 = k*t + f for t.
-5
Let l be (-12)/18 - (-11)/3. Solve 0 = -l*w - 2 - 1 for w.
-1
Let j(l) = -2*l - 10. Let u be j(-7). Let n be -1 + -1 + u - -1. Solve 4 = -n*i + 5*i for i.
2
Let q = 145 - 140. Solve 27 - 7 = q*u for u.
4
Let m(d) = d**3 - 2*d**2 - 3*d. Let k be m(3). Suppose k = -l - l + 2*w, w = -2*l + 6. Suppose -y - l*y = 0. Solve 3*a + y*a = 0 for a.
0
Let m be 18/2*4/18. Solve m*v + 3*v = -15 for v.
-3
Suppose 3*h - 12 = -h. Suppose 0 = 3*k + 64 + 35. Let a = k - -53. Solve b + h*b = a for b.
5
Let x(q) = q**3 - 9*q**2 + 9*q - 7. Let f be x(8). Let l = 7 + -7. Solve -f = -b - l*b for b.
1
Suppose -2*q + 36 = 2*q. Suppose 41 = -2*t + 5*j, 4*t - q = -j - 36. Let x(z) = z**3 + 7*z**2 - 9*z - 6. Let o be x(t). Solve -o*w = -4*w for w.
0
Let o(t) = t**3 - 8*t**2 + 5. Let c(p) = 2*p**2. Let h be c(-2). Let d be o(h). Solve -4*x - 3 = d for x.
-2
Let v(o) = 8*o**2 + o - 2. Let k be v(-2). Let y be (-4)/k - 3/(-21). Solve -n + 6*n + 25 = y for n.
-5
Let y = 7 + 5. Solve o = 4*o - y for o.
4
Let y = 11 + -11. Suppose 0 = -2*o - y*o. Solve 2*r - 3*r + 1 = o for r.
1
Let i be 1 + (-1)/(-1) - -3. Suppose -5*b - 5 = 3*u - b, i = 2*u + b. Suppose u*k = k. Solve k*z = z for z.
0
Let k(x) = -x**3 - 14*x**2 + 5. Let w be k(-14). Solve -w = -r - 0*r for r.
5
Let x = 4 + -2. Suppose 4*d = 5*g + d + 121, -2*g - d = 55. Let p be -3*(g/6 - -3). Solve x*f = -0*f + p for f.
2
Let l(w) = w + 7. Let n be l(-4). Suppose n*g + 2*r = 27, -6*r = -2*r - 12. Suppose g*s - 12 = 3*s. Solve -s = q + 2*q for q.
-1
Suppose -1 - 60 = 4*r - 5*b, 11 = -4*r - 5*b. Let z be (2 - (-30)/(-9))*r. Solve -5*o = -z + 27 for o.
-3
Let t(v) = -v**2 + 3*v + 3. Let a be t(3). Suppose -5*s - 5*z - 15 = 0, -s + z = -a*z - 12. Solve s = -y + 3 for y.
3
Suppose -15 = -4*i - i. Let p(z) be the second derivative of z**5/20 - z**4/3 + 2*z**3/3 - 3*z**2/2 + z. Let o be p(i). Solve -9 = -o*w - 3*w for w.
3
Suppose 2*b + 2*b = 5*b. Solve h + 4 = -b*h for h.
-4
Let x = 38 + -19. Solve -3 = -4*r - x for r.
-4
Let y(k) = -k - 6. Suppose 10 = -2*t - 2. Let j be y(t). Solve -3*w = -j + 3 for w.
-1
Let t = 63 + -53. Solve t = 3*x - x for x.
5
Let p(m) = -m**2 + 5*m - 6. Let n be p(3). Solve n = -5*r - 2 - 3 for r.
-1
Suppose 5*f - 17 = -s, 2*f + 2*f - 31 = 5*s. Let d be 1/(1/(-2)*-2). Let t be (-3 + 2)/(d/(-5)). Solve -f = -4*i + t*i for i.
-4
Let d(l) = -l**2 - 6*l - 2. Let o(z) = -z - 1. Let b be o(4). Let t be d(b). Solve -8 = -t*q + q for q.
4
Let a(h) = h**2 - 6*h + 5. Let p be a(7). Suppose 5*t = 4*x + 8 + 14, -t + x = -5. Suppose -u + 2 = -0. Solve -t*y = u*y - p for y.
3
Let j(w) be the third derivative of w**6/120 - 2*w**5/15 - w**4/24 + 5*w**3/3 - 3*w**2. Let n be j(8). Solve -4 = n*v - 6*v for v.
1
Let x be -1 - (-4 - (-3 + 3)). Solve 0 = -x*z - 2*z - 10 for z.
-2
Let r(u) = u**2 + 3*u - 4. Let f be r(-4). Suppose 2*c = 6 - f. Solve v = -0*v - c for v.
-3
Let s be 2 - 5/(5/2). Suppose 4*o - 176 = 4*l, 4*o + 0*o + 8 = s. Let w = l - -80. Solve w = -5*x + 9 for x.
-5
Let a(k) = -k**2 + 13*k - 7. Let c be a(6). Suppose -5*g - 3*q = -3*g - 19, -4*g = 5*q - c. Solve -g*f + 0*f - 15 = 0 for f.
-3
Let l = 54 - 33. Let f be 49/l + (-1)/3. Solve -f = -i + 3 for i.
5
Suppose 0 = -3*j + 4 - 1. Let u be j*(-1 + 1 - -2). Solve -15 = -u*f - 3*f for f.
3
Let f be -1*4/(-4)*1. Let j be (-4 + 9 - f) + -1. Solve 0 = -m + j + 1 for m.
4
Let s(r) = 3*r + 15. Let p be s(-4). Solve p*w - 2*w - 1 = 0 for w.
1
Suppose 3 + 4 = -t - 3*x, 2*x + 10 = 2*t. Solve t - 3 = -y for y.
1
Let u be 2/(-4)*(1 - -11). Let d be 0/(2 + u/2). Suppose d = -6*w + 3*w - 4*m - 5, 5*m + 5 = -4*w. Solve -c = -w - 0 for c.
5
Suppose -3*n - 3*a = 3, -2*n + 2*a + 0*a + 6 = 0. Solve n = c - 2 for c.
3
Let v = 4 - 4. Let k = v - 0. Suppose -2*i = -6 - k. Solve 0 = -i*x + 6*x - 3 for x.
1
Suppose 3*w + 6 = 39. Suppose 8*y - w*y = -6. Suppose 2*k + 5*u = 0, -5*k - 5*u = -0*u. Solve k = -y*j - 6 - 4 for j.
-5
Suppose 0 = 3*h - 5*b - 20, 3*h = 8*h - 2*b - 8. Solve h = -2*t - 0*t for t.
0
Let x be ((-1)/(-3) - -1)*(1 - -2). Solve -6*w = -x*w for w.
0
Let o be (-1*16)/(-4) - 4. Solve o*g - g = 5 for g.
-5
Let d(i) = -6*i**3 - 2*i**2 - 2*i - 1. 