 b for s.
-3
Suppose 160 + 100 = 13*p. Solve -i - p = -3*h, 4*h - 2*i - 25 = -i for h.
5
Let i = 12 - 20. Let f(y) = -y**3 - 8*y**2 + 3*y + 12. Let l be f(i). Let a be (l + 3)*8/(-3). Solve -2*r + 0*r - 4*z = a, 2*r = 2*z + 6 for r.
-2
Suppose 6*u - 45 = -21. Solve 13 = u*j + 6*d - d, 5*j + d = 11 for j.
2
Let y be (-4)/(-20) + 2/(-10). Suppose -3*r - 3*w - 3 = y, -5*w = 3*r - 3*w + 2. Solve 3*k - 3*m + 0*m = r, 0 = 4*k + 3*m - 7 for k.
1
Let v be (-18)/(-4) - (-4)/8. Suppose 4*f + 4 + 2 = 2*d, 3*f - d = -v. Let y be (4/8)/(f/(-12)). Solve -11 = y*i - p, -2*i - p = -4*p + 19 for i.
-2
Suppose 3*h = 5*a + 7*h, -a = -3*h - 19. Solve a*d - 18 = -3*p + 2, 5*d = -p + 14 for d.
2
Suppose 5*o + d - 4 + 42 = 0, 4*d = -4*o - 40. Suppose -4*f = 0, -5*l + f = 4*f + 25. Let b = l - o. Solve 5*s - 3*j = -j, -b*s + 6 = -2*j for s.
-2
Let u be (2/2)/((-1)/(-2)). Let b be 6/(-9)*1/2*-9. Solve n + u = -b*l, 4*n - 4 = -5*l - 12 for l.
0
Suppose -214*k + 20 = -209*k. Solve 0 = -2*v - 0*v + 2*n, -2*v - k*n = 24 for v.
-4
Let h = -4 - 4. Let o(r) = r**3 + 8*r**2 - r - 8. Let j be o(h). Solve j = 4*f + 3*m + 35, -3*f = m + 25 - 5 for f.
-5
Suppose -2*c - 3*o - 3 = 8, c = -4*o - 18. Suppose 13 = 5*b - c. Solve 4*n + p - 2 = 0, 0*p = n + 2*p + b for n.
1
Let k be (-486)/(-117) - (-4)/(-26). Solve 2*f - 15 = 4*f + 5*d, 40 = k*f - 4*d for f.
5
Suppose -17*k + 14*k = -24. Solve -2*v - 3*a - 10 = k, -3*v - a - 13 = 0 for v.
-3
Let c(o) = 3*o**2 - o - 2. Let d be c(-2). Let q(j) = -4*j - 10. Let r be q(-7). Let g = r - 2. Solve 2*x - d = -l, -3*l + g = -4*l + 5*x for l.
4
Let d(c) = -c + 3. Let k be d(3). Solve k*j - 5*l = 2*j + 23, -3*l = 15 for j.
1
Let p be (-12)/((-16)/(-4))*-1. Solve 2 = 2*j + p*c, -5*j + 3 - 20 = 2*c for j.
-5
Suppose 5*y = 7 + 3. Suppose 11 = y*a + 3. Solve -a*x + 0*x = 4*u + 4, 3*x = u - 7 for x.
-2
Suppose -3*q - 8 = -44. Suppose 0 = 4*g - g - q. Solve 0*m + 2 = -2*m - g*t, -8 = -2*m + t for m.
3
Let x(f) = -f - 4. Let r be x(-8). Let w(a) = -a**2 + 10*a + 2. Let m be w(10). Let k be m/12 + 85/30. Solve r*z - k*h = 8, -4*z + 0*h + 12 = -4*h for z.
-1
Let h(v) = v + 1. Let t be h(0). Let d be t - 1 - (-6)/1. Solve 4*k + 1 = -3*w, -5*k = 2*w - d*w + 40 for k.
-4
Suppose 4 = 2*y + 2*y, 3*y = -2*b + 21. Suppose 5*x + 3 = c, 3*c - 3*x + 2*x = b. Solve 5*q + 10 = -5*i, -2*i - 2 = -c*q - 13 for q.
-3
Let w(n) = 3*n + 15. Let t be w(-5). Solve 5*a - 3 = r, t = -2*r + 6*a - 3*a - 6 for r.
-3
Let f = -4 + 9. Suppose l = -0*l. Suppose -2*j + 20 = 2*j. Solve 3 = -d - 3*k - f, j*d + 5*k = l for d.
4
Suppose 5*s - 5*m + 65 = 0, s + 2*s + 4*m + 46 = 0. Suppose z - 2*z + 26 = b, 4 = -z + 5*b. Let k = s + z. Solve -2*r - 3*u = 2*u + 23, r + u = -k for r.
-4
Let j(l) be the third derivative of 13/24*l**4 + 1/6*l**3 + 1/30*l**5 - 3*l**2 + 0*l + 0. Let v be j(-9). Solve 0 = 2*c - 2*w + 4, v = -5*c - w + 18 for c.
-5
Suppose -3*z + 6 + 0 = 2*g, 2*z - 5*g = 23. Solve 4*j - 12 = 0, 1 + 12 = -l + z*j for l.
-1
Suppose -5*p + 49 = 3*j, -4*j - 14 = -7*j + 2*p. Solve -5*q + z - 17 = -2*z, 4*q + 3*z - j = 0 for q.
-1
Suppose -2*q = 2*d - 10, -5*d + 2*q = -13 - 12. Suppose 0 = 5*j - 20 - 5. Solve 5*w + 11 = -2*z, d = -j*w - 6*z + z for w.
-3
Let b be (-1 - 3/2)/((-5)/10). Solve b*n + 4*t = -23, -3*t + 4 = -2*n - 2*t for n.
-3
Let x be 22/(-2 + 2 - 2). Let q = x + 15. Solve -3*w - 13 = -t, -q*w - w = -2*t + 22 for w.
-4
Let c(o) be the first derivative of 3*o**2/2 + o + 6. Let p be c(1). Solve 2*y + d - p = 5*y, 0 = -3*y + 5*d + 4 for y.
-2
Let t = 7 - 5. Let v = 1 - 1. Suppose v = -4*n + 6 + 18. Solve 0 = t*b - 0*k + 5*k, -2*k - n = 2*b for b.
-5
Let m = -10 - -5. Let f = -5 - m. Solve d - 5 + 3 = f, 3*x = -4*d - 4 for x.
-4
Let q(g) = 2*g**2 - 4*g**2 + 3*g**2 + g + 102 + g**3. Let v be q(0). Suppose -v = -3*s - z, -4*s - s = -2*z - 159. Solve 0 = 5*k - s + 8, k = -2*j + 15 for j.
5
Let p = -3 + 8. Suppose 0 = 4*u - p - 15. Let t = u + -3. Solve 4*a = 5*z - 36, t*z + a - 2*a = 12 for z.
4
Let v be 48/(-20)*10/(-3). Suppose -2*m + v = -10. Let a(b) = -5*b**3 - b**2. Let l be a(-1). Solve 0 = l*x - 5*u - 11 - m, 0 = 2*x - 2*u - 8 for x.
0
Suppose 2*n - 3*n + 15 = 0. Solve 2*i = -d + n, 2 = i - 3 for d.
5
Let a be 9/6 + 33/(-2). Let j = 18 + a. Solve -t = 4, -g - j*g - t - 16 = 0 for g.
-3
Let n = 3 + -1. Let j be (-5 - -3)/(1*-1). Suppose l = -1 + j. Solve -n*p + p + l = 3*a, -3*p = 6 for a.
1
Let y(q) = -q**2 - 6*q + 9. Let v be y(-7). Suppose -v*s + 3*p = -8, -4*s - p = p. Solve -s = -2*x - f, -5*x + 6*f = 2*f - 9 for x.
1
Let s = -3 + 9. Suppose 4*w = s + 6. Suppose -2*o - o = w*n, 6 = n - o. Solve -n*d + 2*g + 0*g - 13 = 0, 5*d + 26 = -g for d.
-5
Suppose t + 2 = 5. Let r = -25 + 30. Let j be 23/1 - (1 + 0). Solve -5*v = t*b - 9 - r, j = 5*v - b for v.
4
Suppose 52 = -2*f + 206. Suppose f = 5*c + 3*a - 14, 0 = c + 4*a - 8. Let v be ((-21)/(-14))/(2/c). Solve -s = s + 4*q + 22, 3*q = -v for s.
-1
Suppose -3*k = 2*k. Suppose 2*p - 5 + 1 = k. Let x(q) = -q. Let a be x(-4). Solve -t + 6 = t + 4*y, 6 = p*t - a*y for t.
3
Suppose 0 = -a - 0*a - 2. Let j be a/4 - (-14)/4. Let r(d) = d**3 - d**2. Let t be r(1). Solve t = 3*o + j*g + 18, -20 = 2*o + 6*g - 2*g for o.
-2
Let b(y) = -3 - 6 - 2*y + 5 - 8. Let x be b(-10). Solve -4*u - x = 4*m, -5*u - 4 - 6 = -m for u.
-2
Suppose 5*d + 0*d - 70 = 0. Suppose y + 2*f - 3 = 0, 0 = -y - 0*y + f. Let s = 1 + y. Solve -s*w - z = d - 3, 0 = -w + 5*z for w.
-5
Let f(d) = d**3 - 14*d**2 - 13*d + 7. Let x be f(15). Solve -5*g + 4*q = 0, g + 5*q + x = -2*g for g.
-4
Let k = 7 + 5. Solve v + 5*f - k = 5*v, 3*v - f = -9 for v.
-3
Let b(v) = -v**2 + 7*v - 5. Let l = 17 + -12. Let i be b(l). Let p = i + 6. Solve p = 3*c + 4*a, -3*c + 0*c = -4*a + 5 for c.
1
Suppose 3*g - 5*n + 5 = 4*g, 25 = 5*g - 5*n. Let v be ((-1)/(-2))/(-1)*-2. Solve 0 = b - v + 3, -3*m - 4 = g*b for m.
2
Let r(b) = b**3 - 6*b**2 - 4*b - 17. Let a be r(7). Suppose 0*y + 144 = -4*y. Let q be ((-2)/a)/(1/y). Solve 4*x = -2*k - q, 0 = 3*x + x + k + 19 for x.
-5
Let i be 7*(0 - 2/(-7)). Let n be (5 - 5)*1/i. Solve 3*m + 5*u - 15 + n = 0, -2*m = 5*u - 10 for m.
5
Suppose d - 8 = 4*r - 9*r, 0 = -5*r + 5*d + 20. Solve 3*z - 18 = q - 4, 0 = q + r for z.
4
Suppose -4*z + 4 + 4 = 0. Solve -3*x - z*b - 20 = x, 8 = -4*x + b for x.
-3
Let l = -2 + 5. Let a be (48/(-14))/(l/(-21)). Suppose -n = -5*n + a. Solve -3*h = -o + 5, 0 = n*h - 4*h for o.
5
Let j = 84 + -49. Solve 5*l = 5*y + 45, 3*y = 6*l - l - j for l.
4
Let f(n) = 11*n + 5. Let b be f(0). Solve 4*d = b*q - 14, -3*d + 2*q - 4*q = -1 for d.
-1
Let p be (5 - 2)/(2/6). Suppose 6*x - 5*x = -p. Let v be (-2)/3 + (-168)/x. Solve 4*g + v = 4*h + 2*g, h - 3 = 2*g for h.
5
Let d = 4 - 0. Suppose 4*h - 20 = -r, -6 = r - 3*h + 9. Suppose 4*s + 8 = 2*y + 3*s, 3*y + 5*s + 1 = 0. Solve -d*m + y*i - 10 = r, -m - 5*i + 15 = -6*m for m.
-1
Let a = -5 - -7. Suppose j - 9 = -a*j. Solve -5*k + 23 = l - 0*k, -2*l + j*k - 6 = 0 for l.
3
Let n be ((-17)/(-17))/(1/9). Solve -w = -2*v + n, 2*v - 4*w - 26 = -v for v.
2
Suppose 5*t - 4*s = 2*t + 10, s = 4*t - 9. Solve -4*i - 5*n = 11 - t, 5*i = -3*n + 5 for i.
4
Let a(u) = u**2 - 6*u - 10. Let m be a(7). Let p(r) = -r**3 - 6*r**2 - 7*r + 2. Let x be p(-5). Let b = m + x. Solve 4*q - 3*v + b = 0, 9 = 3*q + q + 3*v for q.
0
Let a(s) = 5*s**3 - s**2 + 1. Let y be a(-1). Let p = y + 9. Solve -4*h + 4*j + 8 = 0, p*h + 4 = 3*j + 11 for h.
1
Let y be 68/(-12) + 2/3. Let o be 5/(-1 - 6/y). Suppose 4*q - o = -q. Solve -4*n + 0*n + 9 = -5*m, -3*n = -q*m - 13 for m.
-5
Suppose 3*h - 4*s + 32 = -2*h, 24 = -3*h + 4*s. Let q = 8 + h. Suppose 4 = -2*x - 4*w + 2, -5*x = 2*w - 19. Solve 0*o + 2*o = q*z + 4, 0 = 5*z - 4*o + x for z.
-1
Let k = 18 + 1. Let f = k + -6. Solve -4*i = 33 - f, 37 = -3*v - 5*i for v.
-4
Let p be ((-1)/1 + 0)*0. Suppose 0 = 5*x - 13 + 3, p = -5*d - x + 12. Solve o + d*o = -3*w + 6, -4*w - 8 = 0 for o.
4
Let x(h) = -2*h + 4. Let g be x(-8). Let o be 0*(-1 + 0) + g. Let z(k) = k - 4. Let p be z(9). Solve -4*d + o = -4*u, -4*d + 20 = -p*u - 4 for d.
1
Let w = -8 - -14. Let k(v) = v - 3. Let l be k(w). Suppose 19 = 2*j + l. Solve 3*z = -2*t - 8, -4*z + 8*z + j = 0 for t.
-1
Let k(u) = -4*u - 1. Let n be k(-3). Suppose -3*t = -2*f + 3, 3 = -3*t + 12. Let w be 1*f + -3 + 1. Solve 4*c + n = -o, 8*c = -2*o +