b for f.
5
Let u(r) = r**2 + 8*r - 6. Let q be u(-9). Suppose q*v + w = 5, 0 = -3*v + 4*w + 27 - 2. Solve 9 = v*i, 0*l = 5*l + 5*i for l.
-3
Let f(u) = 2*u + 2. Let m be f(-2). Let a(k) be the first derivative of -2*k**2 - 2*k - 18. Let b be a(m). Solve -2*w + 9 = 5*r - b*w, -5*r - 5*w = -45 for r.
5
Let a(u) = -22*u - 196. Let z be a(-9). Solve 7*k - z*k + 4 = -2*l, k + 10 = -5*l for l.
-2
Let p be 1*(-5 - 0)*(-40 + 39). Solve -30 = p*z + 4*i, 8 = -2*i - 2 for z.
-2
Let a(x) be the third derivative of -x**6/120 - x**5/60 + x**4/6 + 5*x**3/6 - 7*x**2. Let w be a(-3). Solve -5*o + z - w = 0, 3*z + 13 + 2 = -o for o.
-3
Let l be (3 - (-36)/(-8))*(-24)/18. Solve 0 = -4*s - 2*q - 2 - 2, 2*s - l*q = -14 for s.
-3
Suppose i - 2*p = 4*i - 20, -4*p + 12 = -i. Solve 0 = -4*h + i*s - 8, -h = 4*s + 5 - 28 for h.
3
Suppose 24*i = 505 - 385. Suppose 0 = -2*r - 2 - 4. Let l be (2 - -13)*(-1)/r. Solve -i = 3*j + 2*x, -j - 5*x - 1 = l for j.
-1
Suppose -1202*b = -1194*b - 64. Solve -4*m = -4*a + b - 4, 0 = -3*a - 2*m + 3 for a.
1
Suppose 14*s - 20 = 22. Solve 2*q + 3*d = -2*d - 13, -s*d = 2*q + 7 for q.
1
Suppose 17*n - 4*n = 52. Solve -b - n = -2*j + 8, -35 = -5*j + 5*b for j.
5
Suppose -4 = -w - b, 0 = 5*w - 8*b + 3*b. Solve w*l = -4, 2*v - 6*l = -5*l for v.
-1
Suppose 3*b - 57 = -21. Suppose u - 3*f - b = 3*u, 2*u = 2*f + 8. Suppose -5*c + 7 + 13 = u. Solve c*q = 5*h + 16, -3*h - 20 = -0*q - 5*q for h.
0
Suppose -3*r - 24 = -3*s + 27, -s + 37 = -5*r. Suppose -4*u + u = -3*h - s, 0 = 2*u - h - 9. Solve -2*l - 3*x = 2*x + 15, 5*x + 15 = -u*l for l.
0
Suppose 8*w - 155 + 139 = 0. Solve -2*m - 3 = -5*b - 4, -m - w = 0 for b.
-1
Let b(k) = -2*k**3 + 69*k**2 + 33*k + 73. Let v be b(35). Solve 4*d - 2*i + 2 = 0, -v*d - 3*i - 14 - 10 = 0 for d.
-3
Let b be (16/((-8)/(-2)))/2 - 0. Suppose 0 = -3*s - b*d + 12, 2*s = -3*d - 0 + 8. Solve -s*g - 14 = 2*q, -4*q = -2*g - 2*g - 20 for g.
-4
Suppose 0 = 5*b + 8 - 33. Suppose -3*n = 5*n - 232. Let m = 34 - n. Solve 25 = b*h + m*x, -h = h + x - 5 for h.
0
Let b = 224 - 219. Solve -3*w + 34 = 4*y + 8, 35 = 5*w + b*y for w.
2
Suppose -4*g - 2 = 3*j, 33 = -5*j + 8*j - 3*g. Solve -j = -4*t + f, -3*t + 7 = f - 1 for t.
2
Suppose -16*p = 18*p - 5*p. Solve 4*j = -2*u - 0 - 10, p = 5*u + j - 2 for u.
1
Suppose -100 + 132 = 32*u. Solve -3*i + 4*n = -8 + u, 4*n = 4*i - 8 for i.
1
Suppose -1 = 5*m - 6. Let p(g) = -g**3 - 4*g**2 + 10*g - 13. Let u be p(-6). Let d = m - u. Solve 4*c - 2 = -d*x, 4*c - x = x + 22 for c.
3
Let s be (549/(-45) + 14)/((-6)/(-10)). Solve 0 = -10*x + 7*x + 4*v + 25, -3*v = 5*x - s for x.
3
Let k be 45/27 - (-1)/3. Let d be (k - 1) + (-5 - -5). Suppose 0*y = -y + d. Solve 0*l - 3*l - y = 5*i, i + 1 = -l for l.
-2
Suppose 5*g = 2*o - 22 - 29, -3*g + o = 30. Let k be (-6)/g*15/2. Let d = -104 + 113. Solve 0 = -l + a + k, -d = -l + 4*l + 5*a for l.
2
Let f be (3 - -36)*(-2)/(-6). Solve -5*a - 17 = w + 2*w, 3*a - w = -f for a.
-4
Let d = -42 - -46. Suppose u + 29 = 4*g + 2*u, -4*g + 20 = d*u. Solve 0 = 4*l + 4*y + g, -3*l + y = 2 for l.
-1
Let t be 2 + 2 - (-2)/(-2). Let w be (-6)/t*(-1)/2. Let i be 0 - (0 + -1 + w). Solve 2 = o - 2*v, 3*v = 3*o - i*o + 3 for o.
-4
Let i(u) = u**2 + 14*u - 11. Let l be i(-15). Let m(q) = 10*q - 37. Let y be m(l). Solve 5*w + 8 = -y*b, -2*w + 2 = -2*b - 2*b for b.
-1
Let t(p) = p**3 + 4*p**2 + 6*p + 26. Let j be t(-4). Solve 4*b + 5*n - 19 = 0, j*n - 7 + 4 = 3*b for b.
1
Let z(m) = m**3 + 36*m**2 + 66*m - 66. Let s be z(-34). Solve f = -s*y + 8, 2*f - 4 = -0*f for y.
3
Let l(g) = 8*g**3 + g - 1. Let f be l(1). Suppose -2*j + f = 2*v + 2, -4*j + 30 = -5*v. Solve -8 = 3*z + j*d + 7, 4*z + 20 = 5*d for z.
-5
Suppose 48 = -9*t + 12*t. Suppose 3*x = -7 + t. Solve -2*l = 2*n - 7*l - 14, -x*n = 2*l - 2 for n.
2
Let u = 520 + -520. Let g(l) = l**3 - 8*l**2 + 8*l - 3. Let r be g(7). Solve u = -i + 2*s + r, 5*i + 3*s + 12 = -20 for i.
-4
Let z = 7 + -4. Suppose i - z = -0. Suppose i*d + 28 = 5*x, 4*d = 5*x - 22 - 7. Solve p = -4*t + 8, 0*p + x*p - 10 = -5*t for t.
2
Let g(t) = -2*t**2 + 16*t + 4. Let d be g(5). Let f = 38 - d. Solve -q + 5 = -5*v + 2*q, -v - f*q = 24 for v.
-4
Let o(j) = -j**3 + 14*j**2 - 24*j + 2. Let z be o(12). Solve 6 = z*m, -m - 4*m + 3 = 3*v for v.
-4
Let f be 4/20 + 27/(-30)*-2. Solve -d - 2*d - f = 5*g, -3*g + 2*d + 14 = 0 for g.
2
Let c be ((-3)/3*0)/2. Let s be c - (0 + 3) - -6. Suppose 0 = -s*l + 12 + 3. Solve 2*i = i - 5*w + 29, 3*i - l*w = -13 for i.
4
Let m(p) = p**2 + 2*p - 3. Let x be m(2). Suppose -4*h = -v + 30, -21 = -2*v + 4*h + 19. Let g = v + -10. Solve i - 5*f = -30, 5*i + g*f = -x*f for i.
-5
Let t(w) = w**2 + w - 9. Let m be t(-4). Solve a - 3*f = -0 - 1, m*f = -2*a - 11 for a.
-4
Let c be 11 + (-4)/(-6) + (-7)/(-21). Suppose -6*s = -3*s - c. Solve 6 = -3*x - s*l, -15 = -6*x + 3*x + 3*l for x.
2
Suppose -2*n + 15 - 5 = 0. Let z be (0 + (-2)/2)*0. Let r be z - (-1 - 0) - -8. Solve n*s + r = 4*a - 8*a, -a = -4*s - 24 for s.
-5
Suppose 9*p = -3*o + 4*p + 79, 3*o - 3*p = 39. Suppose -o*x + 139 = -203. Solve -2*s = 4*k + k - 30, -3*s + x = k for s.
5
Suppose 15 + 0 = -5*z - y, 0 = z + 3*y + 17. Let p be 25 + z - (-3)/3. Let k = 0 + p. Solve 5*s + 14 = 3*i - 13, 3*i - k = 4*s for i.
4
Let v(m) = 4*m - 12. Let c be v(4). Suppose 2*w - 24 = 2*a, 29*w + 21 = 31*w + a. Solve 0 = 4*z + 5*n + w, n - 21 = 9*z - c*z for z.
-4
Let w = 1657 - 1657. Solve 4*n + 5*v = 0, 4*n - 2*v + 17 + 11 = w for n.
-5
Let n(r) = 8*r. Let c be n(4). Let b = -22 + c. Suppose -3*o - 1 + 25 = 0. Solve -2*v + 4*a - b = 0, -3*a + o = 2*v - a for v.
1
Let t = 14 - 4. Suppose t*b = 7*b. Solve -5*x = k + 10, -7 = -b*k - 2*k - x for k.
5
Suppose -3*u = -u - 6. Suppose -2*p + u = 5*f - 4, 3*f - 15 = 0. Let z be (-96)/p*(-27)/(-18). Solve 3*w - 2*k + 19 = 0, w + 4*k - z - 1 = 0 for w.
-3
Suppose -23*g - 9 + 101 = 0. Solve -3*j - b + 9 - 20 = 0, -2*j - g*b - 24 = 0 for j.
-2
Let j(y) = 24 - 1 - 2 - y - 2. Let p be j(14). Solve -p*q + 9 = u, -u = q - 2*q - 3 for u.
4
Let q be 27/(3*1/2). Suppose -2 = -4*x + q. Suppose 378*m = 387*m - 27. Solve b = x, -4*i - m = -4*b + 25 for i.
-2
Let w be (2/4)/((-1)/(-6)). Suppose -16*r = -355 + 3. Suppose -3*v + r = 8*v. Solve 2*l - v = -w*x - 0*x, -2*x - 5*l + 16 = 0 for x.
-2
Let f(h) = -3*h**3 - 20*h**2 + 4*h - 13. Let o be f(-7). Let j be ((-2)/2)/(1/o*-2). Solve j*r = -m + 20, 0 = -0*r + 5*r + 2*m - 28 for r.
4
Let z(m) = -15*m**3 + 2*m**2 + m. Let r be z(-1). Let j be (r/(-6))/((-4)/6). Solve -2*i - 16 = -j*s - 6*i, -s + 20 = 5*i for s.
0
Let w(k) = -2*k - 25. Suppose -3*v + 2*v = 15. Let g be w(v). Solve m + g*b - 16 = 0, 2*m - b = 3*b - 10 for m.
1
Suppose -22*u + 20 = -18*u. Suppose 8*i - 3 = 7*i + 5*d, 4*i + u*d = 12. Solve -2*y + 6*y - 13 = -i*v, -5*y + 21 = -v for y.
4
Let i = 223 + -217. Solve 2*h + 27 = 5*y, -5*h - 24 = -5*y + i for y.
5
Let n(z) = z**2 + 9*z + 17. Let l be n(-7). Suppose 5*g - 7 = -2. Let b = g + l. Solve -1 = -2*c + 3*w + 3, b*w = 2*c - 2 for c.
5
Suppose -4*n + 2 = 2*i, 3*i = 2 + 1. Suppose n = 3*q - 2*q - 4. Solve -3*m = 5*p - 0*p - 8, -5*p + 1 = -q*m for p.
1
Suppose -10 + 16 = -3*d. Let c(r) = 4*r**2 + 4*r + 6. Let v be c(d). Solve a - v - 7 = -5*z, -z + 4*a = 0 for z.
4
Let h be 8/24 - 112/3. Let f = h - -41. Solve 0*r + 1 = -f*r - 3*k, -5*k + 5 = 0 for r.
-1
Suppose -5*k = 0, -u - 5*k - 6 = -4*u. Suppose u*i - 4*i = -8. Solve -5*q + 32 = -q - 4*f, 0 = -i*q - 5*f - 13 for q.
3
Let m(i) = 2*i**3 - 3*i**2 - 3*i - 2. Let o be m(3). Let y = o - 16. Let n = 11 + -9. Solve 0 = 3*w - y*w + 6, 4*w + 6 = -n*s for s.
1
Let v be 0*(96/(-120) + 34/30). Solve v = 3*f + 5*l - 40, 4*f - 3*f = -5*l + 30 for f.
5
Let f = 532 - 530. Solve -f*r - 20 = -5*p, -3*p + 12 = -r - r for p.
4
Let t = 55 - 55. Let l(c) = c + 5. Let a be l(t). Solve 4*v + 13 = -3*x, -v - 4*v - a*x = 15 for v.
-4
Suppose 9*z - 11*z = 0. Solve -2*g - 8 = -z*g - 2*k, -4*k + 22 = 2*g for g.
1
Let h = 65 - 45. Suppose h = -q - 4. Let d = q + 29. Solve -5 = -v + d*p, 5*v - 2*p + p + 23 = 0 for v.
-5
Suppose 5*a - a = -0*a. Solve 2*h + 6 = a, 0 = -5*l + 3*l + 4*h + 2 for l.
-5
Let m(i) be the first derivative of i**2/2 + 15*i - 2. Let k be m(-7). Let u = -2 - -5. Solve 6 = 4*w - u*w + l, 0 = -2*l + k for w.
2
Let p = -196 - -200. Solve i - 5 = p*k, -28 = 3*i - 5*k - 29 f