f*v - b for v.
-4
Let x(c) = c**2 - 16*c + 20. Let q be x(15). Suppose -q*n + 80 = -n. Let m = -16 + n. Solve 4*b - l = l + 8, m*b - l = 8 for b.
2
Suppose o + 6 = -4*r - r, -2*r = o + 3. Let g be 2/6 + (r - 16/(-6)). Solve 1 = -g*i + 3*u, 2*i + 2*u - 1 = 7*u for i.
-2
Let u = -10 + 15. Let k(c) = 0 + 4 - c**2 - 7 + 6*c. Let z be k(u). Solve -a - 1 = -4*x + 20, z*x - 5 = -5*a for a.
-1
Let f = 1538 - 1529. Solve -6*g - 4*m + 8 = -3*g, 0 = -3*g - 3*m + f for g.
4
Let r be (10 - (4 - -2)) + 0. Solve -g + 0*k + 5*k = -20, 0 = -r*g - 3*k - 35 for g.
-5
Suppose 120 = 11*s + 98. Solve -s*y + 1 = -n, -6 = 4*y - 6*y for n.
5
Suppose -13 = 8*p + 99. Let v be (-6)/p - (-3)/(-7). Solve 2*o = 3*s - 8 + 25, v = -4*s - 5*o + 8 for s.
-3
Let p(z) = -65*z - 245. Let m be p(-4). Solve 0*h - w + 14 = 3*h, 2*h - 5*w - m = 0 for h.
5
Suppose 3*c = 5*j + 12, 3*c + 2*j - 3*j = 12. Let l be 3/(-4 + 1 + c). Solve -l*f + 4*p = -2, -p = -5*f + 4*f for f.
-2
Let d(p) = p + 19. Let i be d(-6). Suppose -2*l = y - i, -6 + 18 = -y + 3*l. Let t be y + (2 - 3) + 2. Solve -5*h + 4*w = 8, -4*h + 0 - t = -4*w for h.
-4
Let t(u) be the third derivative of 0 + 0*u + 1/60*u**5 - 1/24*u**4 - 1/2*u**3 - 3*u**2. Let h be t(3). Solve -4*q + 2*m = h + 5, -5*q - 16 = -4*m for q.
0
Suppose -102*k - 77 = -383. Let y be (-22)/(-4)*(0 + 4). Solve -2*g - y = -k*w - 0, -4*g - 8 = 3*w for w.
4
Let i(r) be the third derivative of r**6/120 - r**5/60 + 2*r**3/3 - 5*r**2. Let q be i(0). Suppose 2*n = q*n. Solve p + 5 = n, 2*w - 2*p - 1 = 5 for w.
-2
Let n be (-15)/(-4) - 6/(-24). Suppose p - 6 = -n. Let c(v) = v**2 + 10*v + 2. Let w be c(-10). Solve -4*o - 13 = -3*b, p*b - w = 4*o + 12 for b.
-1
Suppose -2*s - 14 = -4*i, -3*i - 2*s - 3*s = -4. Let x = -61 + 69. Suppose -x*z = -2 - 14. Solve 0*a + i*p + 16 = a, -11 = -a + z*p for a.
1
Suppose 9*s = 41 + 31. Suppose -8 = x - s. Let a = 8 + -6. Solve -h + b = 0, x = a*b + 2*b + 4 for h.
-1
Suppose 2*a = 0, -2*g + 2*a - 8 = -12. Solve -i + r - 14 = -g*r, 3*i + 2*r = 2 for i.
-2
Let u(n) = n**2 - 6*n + 5. Let q be u(5). Let w be 910/195*6/14. Solve q = -6*l + 2*l + 2*j - w, 3*l - 15 = -4*j for l.
1
Suppose 9 - 26 = -q. Let o = 21 - q. Solve j + 25 = -o*p, -4*j + 4*p + 0*p = 0 for j.
-5
Let o(g) = 2*g**3 + 4*g - 3. Let d be o(4). Suppose 4*f = d - 1. Solve 0 = 3*k - 5*u + 10, -2*k - 3*u - 2*u = -f for k.
5
Suppose 0 = -8*f + 10*f + 38. Let y = 24 + f. Solve -j - 15 = -y*k + 2*j, 5*k = -4*j - 20 for k.
0
Let a = -56 - -36. Let v(x) = 5*x - 95. Let k be v(15). Let z be a/k - 8/(-2). Solve p + 7 = 5*f, -4*f - z*p + 21 = -f for f.
2
Let y = 18 + -36. Let z = y + 24. Solve -4*h - z = 3*p - 2, p + 3*h + 3 = 0 for p.
0
Let v be 3 + -1 + 0 + 2 + 0. Solve -3*h = -v*x - 3, -1 - 14 = -5*x for h.
5
Let h be (2 - 6/9)*-39. Let z = -28 - h. Suppose 2*f + 2*f - 32 = -n, 3*f = n + z. Solve -2*d = -0*o + o - f, 0 = 3*o for d.
4
Let i be 1/(-2)*(0 - 0). Suppose 0 = 8*u - 4*u + 96. Let q = u + 28. Solve i = z, q*z + 10 = -3*c - 2*c for c.
-2
Let n be (1/5)/(3/30). Solve -2 = 4*v - n*h, -v - 2 = 5*h + 15 for v.
-2
Suppose 0 = 11*m - 7*m. Suppose 0*d + 18 = 2*d - 2*q, m = -2*q + 2. Let j be 4*(2 - ((-27)/6)/(-3)). Solve d = -3*r + r + 4*o, -j = -5*r + o for r.
1
Let c be (-22)/(-77) + (-313)/(-7). Let m = 75 - c. Let k(d) = -2*d - 4. Let g be k(-3). Solve m = 5*q - 3*u - g*u, -5*q - 3*u - 2 = 0 for q.
2
Let v = 24 - 20. Let r(i) = -i + 15. Let l be r(11). Suppose -l - 4 = -4*c. Solve 3*u - v*s = -s, -c*u - 1 = -s for u.
-1
Let p be 52/(-14) - (-10)/(-35). Let k = p + 13. Solve -3*d - 3*s - 1 - 5 = 0, -k = 3*s for d.
1
Let t = 63 + -66. Let j be -1*t/(-9)*0. Solve 2*h + 2*h - 4*d + 24 = j, 2*h + 5*d = 9 for h.
-3
Let k be ((-10)/12)/((-8)/48). Suppose d - 4*w - 23 = -4*d, 3*d = k*w + 19. Suppose -3*m = 9, 2*m + 1 = -d*v - 5. Solve -2*b - 3*c = v, 3*c = 3*b + 7*c for b.
0
Let s be (15/24 + 7/(-56))*0. Solve 5*f = -2*w, s = -3*w + 2*f - 4 - 15 for w.
-5
Suppose 4*m = 5*h + 5, -2*m = -2*h - 4*m + 16. Solve -4*l + 11 = -r, h*l + 7 = -r + 6*l for r.
5
Let b = 12 + 0. Suppose -3*y = -b + 15. Let w be (0 - y)/(6/12). Solve -3*v = -5*s + 14, w*s - 5*v - 10 = -3*s for s.
4
Let q(l) = 9*l + 15. Let n be q(-4). Let k = -44 - -23. Let b = n - k. Solve f - 2*w + 3 = -2*f, 2*w = b for f.
-1
Let s = -130 + 85. Let t = s - -49. Solve 3*p - 9 = 0, -3*n + 4 = n - t*p for n.
4
Suppose -47 = -9*l - 11. Solve -l*y - 5 = -2*v - 3*y, 5*v = -4*y - 20 for v.
0
Let w(y) = -82*y + 829. Let i be w(10). Solve -i = -5*p + 3*z, 2*p - 4 = -z - 7 for p.
0
Suppose 4*m - 23 = -5*n - 0*m, -5*m + 10 = 0. Suppose 10 = 2*x - 0*x. Suppose 0 = 9*b - 16*b. Solve 5*q = -2*c - x, b*c = n*c + q - 12 for c.
5
Let s(j) = 18*j + 183. Let k be s(-10). Solve -5*n + 5*h = -5, -5*n + 2*h + 2 = -k for n.
1
Let j = -2 - -2. Let v be 1 + -3 + j + 2. Let c = v - -4. Solve 2*r + c*z = 0, 5*r - 1 = 5*z - 16 for r.
-2
Let g be -2 + (3 - 2)*-3. Let c be g/(-2 - (1 + -2)). Let x(a) = a**2 - 4*a. Let l be x(7). Solve l = 2*z + c*p, 3*z - 2*p + 0*p + 16 = 0 for z.
-2
Let z be 126/(-1323) - (-86)/21. Solve 4*i + 24 = -z*m, 5*m + 3*i = -0*m - 26 for m.
-4
Let f be 1/(-3)*-3 + 3. Suppose u - f = -u. Suppose -15 = -n - 5*s, -n - u*s - 1 = -10. Solve 4*i + 22 - 2 = 0, -2*k + i = -n for k.
0
Let t(w) = 2*w - 49. Let p be t(25). Let o be p/4 + (35/(-28) - -4). Solve 34 = o*v + 4*q + 14, -4*v - 25 = -5*q for v.
0
Let h = 2 - 9. Let p = 11 + h. Suppose -14 = 6*w - 4*w + p*a, -20 = 5*a. Solve -l - 4*l = 3*r + 12, l + w = -2*r for l.
-3
Let o(p) be the second derivative of 2*p**3/3 - 25*p**2 + 15*p. Let b be o(13). Solve m - 2*v = 8, b*m - 2*v - 13 = -1 for m.
4
Let k be (-2)/4 - 147/(-14). Suppose -3*c = -k*c + 7. Solve -5*h + 32 = -4*q, 0 = -5*h - 5*q + c + 4 for h.
4
Let i(t) = 25*t**3 + 2*t**2 + 3*t + 1. Let q be i(-1). Let o = -49 - q. Let x = o + 28. Solve -c = -2*k + 6 - 0, -x*c + 2*k = 0 for c.
2
Let c be 4/(-2) - (-2 - -3). Let r be 0/(2/(-1) - c). Solve 0 = x + 2*b - r + 11, 3*x + 3*b + 21 = 0 for x.
-3
Let c be 144/6*1 - (-3 - -9). Let j = -48 - -52. Suppose 0*n + 12 = 2*n. Solve 3*r - j*p - c = -p, -p + n = 2*r for r.
4
Let c be (-264)/(-18)*9/12. Solve 4*u + 2*r = 5*r - c, -3*u - r - 5 = 0 for u.
-2
Let g(d) = 3*d**2 - 5*d - 109. Let l be g(7). Solve -l*o + 5*u - 23 = 0, -2*u + 0*u + 5 = 3*o for o.
-1
Suppose 5*b - 12 - 12 = 2*y, b = -2*y. Solve 3*r + 5*z + 11 = 0, -4*r + 6 = b*z + 18 for r.
-2
Let p(y) = 3*y**2 - 13*y + 14. Let z be p(5). Suppose 4 = 7*w - z. Solve -4*s - 2*l + 13 + 1 = 0, w*s + 4*l = 20 for s.
2
Let s be (-441)/7 - (-1 + 5). Let v = s - -71. Solve 5*r = 3*r - 2*z, 7 = 3*r - v*z for r.
1
Let n = 988 - 982. Solve -3 = -3*m + 2*l + 5, -n = -2*m + l for m.
4
Suppose 2*a = -y + 2, -4*y = 4*a - 3 - 17. Let o(h) = h**2 + 4*h - 3. Let q = -32 - -27. Let v be o(q). Solve -s = 4*c - 12, 2*c - 2*s - y + v = 0 for c.
3
Suppose -2 = -5*n + 6*n, -n = 5*q - 18. Let z(j) = -3*j + 3*j - j + 3 + 2*j**3 - 2*j**2 - q. Let c be z(2). Solve 17 = -c*t + 42, -2*h - 3*t = -11 for h.
-2
Suppose -3*d = -o - 27, -3*o + 23 = 4*d - 0*o. Suppose 20*x + 12 = 17*x. Let g = d + x. Solve 8 - 2 = 3*s, -g*j - s = -6 for j.
1
Suppose 3*b + 6 = 12. Suppose -9*s + 8*s + b = 0. Solve -2*u = -8, 26 - 4 = s*o + 5*u for o.
1
Let q be (0 - 12)*(-4)/(-8)*-1. Suppose -2*v = 2*c + q, 0 = 4*v + 3*c - 2 + 11. Solve -3*h + 4*z = 5, -10 = -v*h + 4*h - 2*z for h.
-3
Let h = -154 + 164. Suppose 15 = -c - 4*n, -3*c - n = 4*n + h. Solve c*t + 3 = 2*g + 36, -12 = 3*g for t.
5
Let y(b) = -b**2 - 3*b + 15. Let k be y(-5). Solve 2*j + z = 6*j + 5, k*j + 10 = 2*z for j.
0
Suppose 28 = -l + 3*l. Suppose -6*u = -18*u. Solve 11 = 3*a - q, u = 3*a + 5*q - q + l for a.
2
Suppose o - 23 = 4*f, 0*o + 4*f = 5*o - 67. Suppose -7*c = -o*c. Solve 0 = 3*p + 3*n - c*n + 12, -3*p = 5*n + 18 for p.
-1
Let n = -32 + 24. Let m(z) = -z**3 - 6*z**2 + 16*z + 5. Let d be m(n). Solve 0 = -q + d*p - 7, 2*p - 10 - 9 = -5*q for q.
3
Let m be (-2 - 3)/(-1) + -5 + 3. Solve m*u + k = -0 - 5, 20 = 2*u - 4*k for u.
0
Let z = -18 + 21. Solve 2*l = -4*w + z*w - 9, -4*l = -3*w + 13 for w.
-1
Suppose -5*q - 1 = -6*q, 3*u + 5*q - 17 = 0. Solve u*o = -2*y + 14, 5*y = 4*o + o + 20 for y.
5
Suppose 10*l - 4*l = 72. Let v be 2 - (-2 + (-8)/(-4)). Solve -3*a + 5*i - l = i, 6 = v*i for a.
0
Suppose 0 = -4*u + 23