i = 2*t + t - m, -a*i = 2*t - 7 for i.
-1
Suppose 2*c - 16 = -74. Let d = -8 - c. Solve -w - 5*i = -0*w + d, -w = -3*i - 19 for w.
4
Let b = 1 - -19. Solve 0*g = -3*g + h - b, 3*g + 35 = 4*h for g.
-5
Let s be (-4)/(-2)*(-10)/4. Let h = 8 + s. Solve 0*t - 15 = -5*t, -3*p = -4*t + h for p.
3
Suppose 0*w - w - 3*v + 2 = 0, 3*w - 16 = v. Solve -6 = 3*n, -4*f + 9 + 1 = w*n for f.
5
Suppose 0*n = 2*n. Let f = n + 4. Solve f*j - 8 - 4 = 2*s, -4*j + 2 = 3*s for j.
2
Suppose 0*l - 2*l + 4*y = 0, 0 = 4*y - 4. Solve l*p + 2*u - 5*u + 2 = 0, -3*u = 3*p + 18 for p.
-4
Suppose 4*v - 20 = -0. Solve -o + 4*f + 2 = 0, -v*f + 10 = 5*o - f for o.
2
Let w(l) be the third derivative of 25*l**4/24 - l**3/6 - 4*l**2. Let t be w(1). Solve 2*p = 2*r + 12, -2*r + 7*r - 2*p + t = 0 for r.
-4
Let m be 88/14 + (-14)/49. Let t = 11 - m. Solve 0 = -2*n - 3*r + 2*r, -5*r - t = 5*n for n.
1
Let w(x) = -x + 2*x - 5*x. Let s be w(-4). Let a be ((-8)/(-10))/((-2)/(-5)). Solve m + s = 5*l, -a*m + 4*l - 9 = -1 for m.
4
Let f be ((-3)/(-9))/(2/18). Let d be (4 - 0)/(2/1*1). Solve f*w + 11 = w + 3*p, d*p = 2*w + 6 for w.
2
Let m = -208 - -210. Suppose c = -3*h - 0*h + 13, 29 = 3*c + 4*h. Solve 0 = -g + 5*w + 9, -m*g + g + c = -4*w for g.
-1
Suppose -2*n = -5*n + 9. Let s be (-1 - -11)/(-1 + 3). Let a = s - n. Solve 18 = 2*u + a*x, 0*u = 3*u + 4*x - 32 for u.
4
Let m(d) = -d**3 + 6*d**2 + 2*d - 9. Let p be m(6). Suppose -13 = -3*k + 2. Solve k*h - q = 12, 7 - 3 = p*h + q for h.
2
Let g be ((-4)/(-10))/((-2)/(-30)). Solve -q = 4*x - g, q - 10 = -2*x - 3*q for x.
1
Let x(o) = o**3 - 8*o**2 + 2*o - 14. Let y be x(8). Solve y*b - 3*g = -7, 24 + 1 = -4*b - 5*g for b.
-5
Suppose 4*b + 15 = -17. Let o = 7 - b. Let a(q) = q + 1. Let k be a(5). Solve 4*j - u = 3*j - k, 5*j + o = 2*u for j.
-1
Suppose 2*z = -2 - 4. Let q be (z - -3 - -3)*1. Solve -18 = 3*h - q*d, 0*h + 4*d = -2*h - 6 for h.
-5
Let a(y) = -y + 11. Let p be a(9). Let q be ((-23)/2)/((-5)/10). Suppose 4*h - z - q = 0, -4*h + z - 3*z + 14 = 0. Solve h = -l + f, p*l - 3 = 5*f - 19 for l.
-3
Suppose r + 5 = 2*r. Suppose r*b - b = 24. Solve 3*l + 3*g = b, -l + g - 8 = -0*g for l.
-3
Let j be 1/(2/2) - -2. Let m(p) = 3*p**2 - 3*p - 2*p**2 + p + 1. Let d be m(j). Solve -2*f + 0 - 2 = q, 4*q + 8 = -d*f for f.
0
Let t = 60 + -27. Suppose 0 = -3*y - 3*c + 9, -5*y + 2*c + t = 11. Solve 17 = 3*r + 2*r + 4*m, -y*r = m - 18 for r.
5
Suppose 2*q - 4*q + 2*a + 56 = 0, 3*q - 2*a - 83 = 0. Suppose 4*v = v + q. Solve i = -4*u + v, u + 3 = -0*u - 2*i for u.
3
Let z = -1 - -13. Suppose -3*o + 12 = -z. Solve -2*b = 4*q + 2 - o, 0 = 5*q + 4*b for q.
4
Suppose -4*q = 8 - 20. Suppose -q*g + 8 = m + 3, 0 = -g - 4*m - 2. Solve -g*t + k - 3*k + 4 = 0, 0 = t + 3*k for t.
3
Let u = 4 - 2. Suppose u*l + 3*l = 20. Solve -4*d + 0*d = -3*w - 4, -4*w = 4*d - l for w.
0
Suppose -4*i = -3*s + 13, s - i = 2*i + 1. Let g(n) = n**2 - 6*n - 2. Let v be g(s). Solve -j - 41 = -5*j + 5*u, v*u + 37 = 3*j for j.
4
Let c = 6 + 6. Solve 5*w - g = -2 + c, -24 = -3*w - 3*g for w.
3
Let n(k) = k**2 + 5*k + 4 - 4*k + 5*k. Let g be n(-5). Let r be (-33)/(-9) + g/(-3). Solve -7 = -i + 2*u, -r*i - 3*u + 4 = 9 for i.
1
Suppose -u - 5*b = -25, -1 - 4 = -5*u + 5*b. Suppose 2*j + 5 = 3*f + 3*j, u*j + 15 = 5*f. Solve 7 = t + 3*t - 5*y, -2*t + 8 = f*y for t.
3
Let x be (20/15)/((-4)/(-9)). Solve 2*m = -4, 5*w - 23 = x*m + m for w.
3
Suppose -3*b - 12 = -3*x, 3*b + 2*b = -2*x + 8. Solve 7 = n - x*s - 0, 2*n - 4 = 3*s for n.
-1
Let z(v) = -2*v + 9. Let t be z(3). Solve -s = i, -t*s + 2*i = i - 20 for s.
5
Let d(b) be the second derivative of -5*b**3/2 + b**2 - b. Let z be d(-1). Let u = -13 - -18. Solve 6*f = f - s - 13, 0 = f + u*s + z for f.
-2
Suppose z + 2*a + 8 = 19, 2*a - 2 = 2*z. Solve -3*n - 5*p - z = 0, 3*p + p = n - 16 for n.
4
Suppose 8 = -3*l - i - i, 0 = -3*l - 3*i - 12. Suppose -3*q + 134 = 5*f, 4*q - 132 = -5*f - l*f. Solve -4*j = -v - v - 20, 4*v = 5*j - f for j.
4
Let v(i) = i**3 - 8*i**2 - 7*i - 11. Let q be v(9). Suppose -4*l - 12 = -q*l. Solve 0 = 2*a + l*s - 18, 5 + 5 = 5*s for a.
5
Let s(c) = c**2 - 4*c + 2. Let h be s(7). Let i = 22 + 18. Let q = i + -7. Solve -2*z - q = -0*z - 5*x, 0 = -2*z + 3*x - h for z.
-4
Let p(u) = -u**2 - 6*u - 1. Let s(b) = b + 2. Let f be s(-1). Suppose k + 5 = f. Let l be p(k). Solve 4*t - l = d, 4*d + t + 2*t = 29 for d.
5
Let m(j) = 2*j**2 - 2*j. Let g be m(-2). Suppose -k + g = k. Suppose 12 = k*x - 3*x. Solve -d = -h, 3*d = h + d + x for h.
4
Let k(d) = d + 9. Let u be k(-5). Let y be u/(-18) - 249/(-27). Solve 2*c - y = -3*c - 2*b, 4*c + 4*b - 12 = 0 for c.
1
Suppose 0 = -5*c + 40 - 5. Solve -r - 3*m = -5*m + 5, -3*r - 5*m = -c for r.
-1
Let n be 8 + 0 + -7 + 3. Solve 3*d - 8 = d - n*z, 2*z = -2*d + 2 for d.
-2
Suppose -2*d + 25 = 5*y, 0 = -2*y + 6 - 0. Suppose 8 = -3*j + d*j + o, 0 = 4*j + 5*o - 16. Let t be 2 - (-3 + -2 + j). Solve -4*l = 4*b, -6 = t*b + l + 4 for b.
-5
Let w be (1/(-2))/((-2)/80). Suppose -2*d - 3*a = -4*d - 17, 5*d + 25 = 4*a. Let n be (-9)/(d + -1 - -1). Solve 2*t = -s - n, -4*s - 5*t = s + w for s.
1
Suppose -2 = 4*t + 2. Let f = t + 3. Suppose 0 = -f*m - 0*s - 5*s + 28, 3*m - 4*s = -4. Solve 2*z - 16 = -2*n + 4*n, -n - m*z = -7 for n.
-5
Let o be (-1)/8*22*-4. Let g = o + -8. Solve 2*r + s = 3*s, -r + 8 = g*s for r.
2
Let k be -1 - -7 - (3 - 2). Solve 4 = p + p + 2*f, -k*f - 11 = -2*p for p.
3
Let s(o) = -o**2 + 16*o + 22. Let x be s(17). Let g = -32 + 62. Solve -x*j + g = -5*t, 4*t - 2*j + 6*j = 0 for t.
-3
Let d(o) = o + 2. Let g be d(-2). Suppose 2*u - 14 = 2*m - 3*m, 3*u - 21 = 5*m. Let a = u - 3. Solve 0 = -r - s, g = r + a*r - 4*s + 36 for r.
-4
Let a be (-8)/(-6) + (-4)/(-6). Solve c - f + 4 = 0, 10 = -c + a*f + 1 for c.
1
Let m = 8 - 3. Suppose q = 2*q - 3*t - 18, -5*q + 40 = -m*t. Solve -w = -0*v - 5*v - 2, q*w + 7 = 2*v for w.
-3
Suppose 0*z = -2*z. Suppose -3*c + 7 + 11 = 0. Suppose -5*i - w + 18 = 0, -4*i + z*w = -2*w - c. Solve 13 - 4 = -2*l + 3*j, 4*l + i*j = -9 for l.
-3
Let c be 3 - -1 - (-1 - -4). Let l(g) = 18*g**2 - g. Let x be l(c). Suppose -3*r - j = -13, 2*j = -r + 3*j + 7. Solve -2*w = -i + r, w - 5*w - 5*i = x for w.
-3
Let l be 5/20 - 30/(-8). Solve -5*k = -5*x + 25, -l*x = k + k + 4 for x.
1
Let s be (4 - (1 + 3))/(-4). Solve -r + c + 6 = s, -9 - 3 = -r + 4*c for r.
4
Let s = -18 + 25. Let b(v) = -9*v + s*v + 3*v + 9. Let k be b(-7). Solve 3*j + 1 = -k*z, -2*j + 2*z + 3 = -3*j for j.
1
Suppose 3*u - 4*t - 54 = 0, 2*u = -3*t - 7 + 60. Solve -l - 16 = 2*l - 2*z, -5*z = -3*l - u for l.
-4
Suppose 3*w = 5*k + 24, -3*w + w - 5*k = 9. Solve b - 21 = -3*q + 7*q, -w*b + 28 = -5*q for q.
-5
Let d(r) = r + 6. Let l(i) = i**2 + 8*i - 10. Let m be l(-8). Let b be d(m). Let z be (b + 2)/((-2)/8). Solve 2*s = 2*x + 4, -s = -z*x + 4*x - 17 for x.
-5
Let c(b) be the first derivative of -b**4/4 + 8*b**3/3 + 9*b**2/2 + 7*b + 2. Let l be c(9). Let j = -4 + l. Solve -2*v - j = 2*h - 11, 5*h = -4*v + 16 for h.
0
Let p(q) = q**2 - q + 14. Let i be p(0). Suppose 3*t - 19 = -2*f, 2*f - i - 12 = 4*t. Solve 0 = 5*b - 4*k + 16, -2*b - 3*k - f = -0*k for b.
-4
Let a be (-1)/(3 - (-30)/(-9)). Suppose -5*y = 4*t - 27, a*t - 5*t = y - 9. Solve 0 = 4*p - v + 3, 0 = -p + t*v - v - 6 for p.
0
Let m = 1 + -4. Let d = -1 - m. Let b be (d + (-3)/4)*4. Solve b*z + 5*g = -5, 3*g - 18 = 2*z + g for z.
-5
Let y be (-25)/15 - 1/3. Let h be y/8 - (-105)/20. Solve h = -3*j + 5*f, -5*j + 7 = -4*f - 2 for j.
5
Let x(w) = -2*w**3 + 4*w**2 + 4*w + 1. Let b be x(-1). Let p = -1 + 4. Let v be b - (1 + (-3)/p). Solve -3*h + v*m + 9 = h, 12 = 3*h + 3*m for h.
3
Suppose 3*p - 60 = -12. Suppose -4*g - 4*j + 132 = p, -122 = -4*g - 2*j. Suppose 4*b = 2*b + g. Solve 3*d - 3*t = -4*t + b, t = 4*d - 19 for d.
5
Let a(k) = 5*k**3 - k**2 + 1. Let r be a(1). Let u = 2 + r. Solve j = -l - 1, 5*j + 4 = -3*l - u for l.
3
Let c be 2/3 + 76/(-6). Let r = c + 8. Let h be 58/6 - r/(-6). Solve -3 = 3*o + 5*u, -4*u - 3 - h = 0 for o.
4
Suppose -15*c = -10*c. Solve -u - 4*p - 13 = c, p + 19 = 3*u + 2*u for u.
3
Let z(a) = a**2 + 1. Let k be z(1). Let q be (-9)/(-4) + k/(-8). Let u be (1 - 0) + 1 + -1. Solve q*v - l + 5 = 3*v, -3*l - u = -5*v for v.
2
Let k be -2 + (-2)/4*-30. Suppose 6*o - 103 = -k. Solve -5*f + o = -n - 0*n, -3*n + 2*f - 6 = 0 for n.