ppose 3*o - 64 = -4. Suppose 0 = -4*n + o, 0 = -2*m + m - n + 22. Let r = 27 + -22. Solve l + 8 = 2*s, 3*l + r*s = 48 - m for l.
2
Let f(g) = -g - 1. Let v be f(-4). Let y = -15 - -20. Solve -2*x + 1 - 24 = -3*b, y*x = -v*b - 5 for b.
5
Let d = -21 + 25. Solve 0 = 3*n - j - 13, -4*n + d*j + 17 = 3*j for n.
4
Suppose 8*a = 5*a - 2*n, 3*n = -5*a + 1. Let d be (a + 13)*1/3. Let t be (-56)/(-20) + 1/d. Solve -2*g = -5*v + 16, -g = -5*v + t + 10 for g.
-3
Suppose -2*w = -12*w + 60. Solve 2*u - 6 = z, -3*z - w + 0 = 0 for u.
2
Let q = -20 + 28. Let h = 6 - q. Let k be -1 + 3 + -1 - h. Solve k*d = -4*t - 4, 0*d - 3*d + 4 = 2*t for d.
4
Suppose -4*h = -3*f - 6*h + 14, 0 = -4*f - 3*h + 17. Let l = -3 + f. Solve -2*c - 3*c = -5*d + 45, -40 = -4*d + l*c for d.
5
Let k be 2/(-5) - 44/(-10). Suppose -5*n - 9 = w, k*w - 6*w - 5*n = 3. Solve -s - s - 3*h + 15 = 0, -s - w = -3*h for s.
3
Let l be ((-4)/(-3))/((-14)/(-21)). Solve -d - 2*x - 9 = 0, l*d - 6*d = -x + 18 for d.
-5
Suppose 8 = -12*n + 14*n. Solve -3*s = 5*o + 29, -28 = 3*s + s + n*o for s.
-3
Let n(g) = -g + 3. Let k be n(5). Let d be (k + 7)*(-6)/(-10). Suppose -b + 5 = d. Solve b*h + 3*a = a + 14, -h + 2*a = -1 for h.
5
Let d(h) = -4*h - 17. Let y be d(-5). Solve y*m + 3 = 3*s, 0 = 5*m + 5*s + 5 for m.
-1
Let r = -8 + 16. Suppose 0 = a + a - r. Solve -s - 5 = 3*u, -a*s = -0*s - 4 for u.
-2
Let f(x) = -x**3 - 5*x**2 + 2*x + 2. Let t be f(-5). Let s = t + 13. Solve q + 3 = -3*w + 4*q, -s*w - 5*q = -45 for w.
4
Let v = -93 + 103. Solve -5*l + 20 = 3*d + 5, 2*d = v for l.
0
Let l(t) = t**2 + 1. Let g be l(2). Solve 15 = 5*k, 0 = 2*d + 5*k + g - 16 for d.
-2
Suppose 0*s + 5*s = -20, -g - 11 = 3*s. Let j be g*-6*(-12)/9. Solve -j - 8 = 3*u - p, -5*p - 10 = 3*u for u.
-5
Let r be -58 + -2*(0 + 1). Let y be -1*(-8)/((-32)/r). Solve -y = -5*p, 7 = -5*g + 4*p - 15 for g.
-2
Suppose -5*t + 3 = -0*r - 2*r, -3*t + 27 = 3*r. Let g = 11 - 3. Solve r = 3*q - 3, 4*d = -4*q + g for d.
-1
Let c(d) = -d**3 - 4*d**2 - 4*d - 2. Suppose -8 + 2 = 2*i. Let w be c(i). Solve -w + 4 = -2*h + z, 3*h + 6 = 2*z for h.
0
Suppose -3*d - 3*c + 5 + 7 = 0, 5*d = -c + 12. Suppose 4*k - 34 + 6 = -4*r, -9 = -r - d*k. Suppose -2*n = -n - r. Solve -n*l - 1 = 4, 5 = -3*b - 5*l for b.
0
Suppose 3*z - 45 = -3*m + 27, -4*m + 96 = 3*z. Solve 2*w + 4*k = m, -7 + 2 = -k for w.
2
Suppose -2*j = 2*j + 16. Let k = j - -8. Let v = -95 + 103. Solve 5*m = -3*t + 1, 0 = k*t - 0 - v for m.
-1
Suppose -4*o = v - 5*o - 2, -v = -2*o. Solve 3*c + 5 = 2*s - 4, 0 = -c - v*s + 11 for c.
-1
Suppose 0 = 4*x - 6 + 2. Solve 5*s + 2*r = 17, -s + r - x = -3 for s.
3
Let a(n) = -n**3 - 3*n**2 - 2*n - 3. Let f be a(-3). Suppose 0*s + f*s + 2*q - 22 = 0, 0 = 2*s + 2*q - 18. Solve -3*h = -5*l + 16, s*l - 18 = 4*h + h for l.
2
Let l(o) = o**2 - 3*o + 3. Let u be l(1). Let f be 3 - (u - 3/3). Solve c - 2*k + f = 0, -2*c - 3*k - 15 = 3*c for c.
-3
Suppose 3*o - 30 = o. Suppose 0 = s + 5*m + 15, 5*s = -3*m - 2*m - o. Solve 5*y - j = -20, -y - j - 3 - 1 = s for y.
-4
Suppose 5*c - 3*o - 10 = 0, -8 - 2 = -5*c + o. Solve c*j + 6 = -d - 1, -3 = -3*d for j.
-4
Let x(t) = -t**3 - 3*t**2 + 3*t - 1. Let q be x(-4). Solve -5*h + i - 2*i = -4, -4*h - q*i = -12 for h.
0
Suppose 2*s = 5*j - 17 - 5, -4*s = 4. Let w(v) = -v**3 + 5*v**2 - 3*v + 1. Let c be w(j). Let y = -16 - -29. Solve 3*f = 2*f - 2*p + y, -5*f = -c*p - 5 for f.
5
Let m be (-4 - -5 - 1) + (-15)/(-3). Solve -s + 4*a = -11, -a = m*s + 2 + 6 for s.
-1
Let u(p) = p**3 - 5*p**2 - 5*p - 6. Let y be u(6). Suppose y = -3*q - g + 12, -6*g + 15 = q - 2*g. Solve -5*o - 4*n + 23 = -n, -q*n = 3*o - 15 for o.
4
Let a be ((0/(-3))/(-3))/(-1). Suppose -3*y + y + 10 = 0. Let p = -102 + 113. Solve 3*l - 4 - p = a, 5*g + y*l = 40 for g.
3
Let w(d) = -d**2 + 5*d + 10. Let t be w(5). Solve -v - t = 4*c, -5*c = -v - 2*c + 11 for v.
2
Let s(t) = -t**3 + 3*t**2 - 2*t + 2. Let l be s(2). Suppose -l*h + 11 = -19. Solve 3*r - h = 0, 18 = 3*f + 2*r + 5 for f.
1
Let y be (-2)/(-4) + 429/6. Suppose -y = -4*i - 20. Let t = 3 - 1. Solve -2*l - i = -q + l, -6 = -2*q + t*l for q.
-2
Let q(i) = i**2 - 3*i - 37. Let g be q(-5). Solve g*y + 3*t - 18 = 0, 5*y + t + t - 18 = 0 for y.
2
Let l be 15/(-5) - -3*1. Suppose -a + l*a = -5. Suppose 2*i = 5*g - 2*i - 22, 0 = -2*g - 2*i - 2. Solve -g*r + 2*b + 5 = 1, -a*b = -3*r + 4 for r.
3
Let y(h) = -h**2 + 8*h - 7. Let g be y(6). Suppose -20 = -5*x + 3*v, -v - 7 - 13 = -g*x. Solve -c - 12 - x = -5*o, 8 = 5*c - 3*o for c.
4
Suppose 5*f - 12 = 3. Let r be 9*-3*f/(-9). Solve j - 4*j + r = s, -9 = -3*j - 4*s for j.
3
Suppose 3*f = a + 13, -5*a = -1 + 6. Suppose -2*u - 76 = -4*l, -f*u - 23 - 9 = -2*l. Solve -2*r + 8 = 2*h, 5*h + r + 3*r = l for h.
4
Let z be 32/5 + 8/(-20). Solve t - 24 = 5*i, -t + 6 = -2*i - z for t.
4
Let s be -6*1/(-4)*2. Let j be (5 + -2)/(3/20). Suppose 0 = -2*f + 5*f - 5*k, -5*k + j = f. Solve -u = -3*o - 8, f*o = -u + s*u - 13 for u.
-1
Let j = 1 + 12. Let h = j + -5. Let n = h + -6. Solve -4*w - r = -9, 2*w - n = r + 7 for w.
3
Let g be ((-25)/15)/(1/(-15)). Let r = -16 + g. Solve 2*c = -5*p + r, 16 = 5*p - 4*c - 11 for p.
3
Let f = 4 + 1. Let r = -1 + f. Solve 11 = -i - 4*k - 0, 0 = 2*i - r*k - 2 for i.
-3
Suppose -6 + 0 = -3*l. Solve h = -3*x - 19, -5*x - 15 = -l*h + 2 for h.
-4
Let r be (-1)/2 - (-38)/4. Let p = 16 + 22. Suppose 8 = -4*w, 0*t = 3*t + 5*w - p. Solve 5*n = -2*y - r, 2 = 5*y - n - t for y.
3
Suppose 5*s = -3*l + 19, 4*l + 3 = -5*s + 25. Solve l*z - 2*z = 3*q - 14, 2*q = 5*z + 31 for z.
-5
Let p be 48/21 + (-10)/35. Solve 5*t - x = 18, -3 = -p*t - 0*x - x for t.
3
Let s = 1 + 2. Suppose s*l - 31 = -4*v, -5*l + l + 8 = -3*v. Solve -15 = 5*m - p, 0 = -v*m - 2*p - 4 - 22 for m.
-4
Let h = 2 - 0. Solve -3*z + h = a, 0*a = 5*a + 20 for z.
2
Let n be (-18)/(-12)*(-8)/(-3). Solve z + 13 = -3*r, -4*r + z - 18 = n for r.
-5
Let y = 13 - 5. Let t be 20/y*(-16)/(-10). Solve -2 = -l - t, -5 = -i + l for i.
3
Let q = 63 + -66. Let i(r) = r**2 - 2*r - 1. Let f be i(-4). Let b = f + q. Solve -3*w - m + 0*m = 13, b = -4*w - 4*m for w.
-4
Let v be -9*1/((-2)/6). Let n = 11 + -6. Solve -o - v = -5*y, 26 = 4*y - n*o + 2*o for y.
5
Let h = 165 - 163. Suppose 0 = 2*g - 47 + 7. Suppose n + 4*n + 5*m = -g, 4*m = 4*n - 24. Solve s + 4*q - n = q, h*s + q - 2 = 0 for s.
1
Let j be (-3)/5 - 161/(-35). Suppose 0*t = t - j*y + 15, 0 = -t + y. Solve -5*l - t*r - 11 = -r, 5*l = 3*r + 17 for l.
1
Let a be 0/((-2)/2*1). Let r be (2/(-3))/(12/(-36)). Solve -2*h - 2*t - 8 = a, -t - 3*t = r*h + 10 for h.
-3
Suppose 3*y - h - 13 = -2*h, 3*h = 3*y + 3. Let v = y - 1. Solve 21 = -5*i - v*m, -2*i + m = 3*i + 27 for i.
-5
Let o(v) = 2*v + 4. Let q be o(0). Solve -2*b - 18 = q*y, -3*y + 7*y - 17 = 5*b for y.
-2
Suppose 4*q + 1 - 13 = 0. Let l = 34 + 0. Let i be l/10 + (-14)/35. Solve -5*g = -q*b + 20, b + g = i*b - 11 for b.
5
Let v = 5 - -2. Let y(f) = f**3 - f**2 - f - 2. Let d be y(0). Let n = v + d. Solve -n*t + 2 + 11 = -2*h, -5*h = 5*t - 20 for h.
1
Suppose -3*h + 3 = 0, 2*c - 6*c = -3*h - 17. Suppose k + 6 = 4*k. Solve 0 = -x - c*t + 9, -k*t = t - 3 for x.
4
Let i(y) = 6*y. Let a be i(1). Let q be ((-21)/(-9))/(2/a). Solve 0 = 2*x - v - v + 2, 2*v = 5*x - q for x.
3
Suppose -17*t = -26*t + 333. Solve 4*f = -f + 4*k + t, -3*f - 2*k = -9 for f.
5
Let h be 6/10 + (-282)/(-30). Suppose 3 = 5*b + 3*n, -3*b - 4*n - h = -b. Solve 0 = -2*o + o + 4, -5 = -b*g - 2*o for g.
-1
Let o(j) = 1 - 5*j - 6*j + 12*j. Suppose 16 = 6*p - 2*p. Let s be o(p). Solve -5*q = 3*u + 22 + 2, -3*q = -s*u - 6 for q.
-3
Let c = 8 + -3. Let t = c + -5. Solve -4*q + 22 = -v - t*q, -4*v = q + 3 for v.
-2
Let y be 14/5*70/28. Solve -2*u + 3*u = -2*b - y, u + 3*b = -9 for u.
-3
Let i be (-6)/3 - (4 + -9). Solve -4*h + 5*m = 25, -i*h + 2*m = 7 + 3 for h.
0
Let v(d) be the second derivative of d**3/2 + d**2 + 2*d. Let q be v(2). Solve -2*g = -o + 9, 0 + q = g + 2*o for g.
-2
Let o(v) = -v**3 + v**2 + v + 1. Let x be o(0). Suppose 3 + 1 = t. Solve -2*g + 3*y = t, 4*y - x = 5*g + y for g.
1
Suppose -9*s + 4*s - h + 26 = 0, 0 = 4*h + 16. Suppose 2*q + q - 24 = 0. Solve 4*g - 3*i = q, 0*g + 3*g = 5*i + s for g.
2
Let k(g) = g**3 - 8*g**2 - g + 3*g**2 - 4*g - 1. Let u be k(6). Solve -4*d = v - 21, 4 + 6 = -u*v + 3*d for v.
1
Let o(p) = 2*p**2 - 2*p +