f(4). Suppose 2 = -b*x + x. Solve 0 = -4*d + q - 5 - 5, 0 = -3*d - 4*q + x for d.
-2
Let l = 64 - 61. Solve -l*r = 2*h + 7, -3*r - h - 3*h - 5 = 0 for r.
-3
Let c(p) be the third derivative of -p**6/120 - p**5/20 + p**4/12 - 2*p**3/3 - 4*p**2. Let g be c(-4). Solve i = g*q - 4*i - 2, -2*q = -2*i - 2 for q.
3
Let i be ((-2)/4 + 0)*6. Let y = 1 - i. Solve 4*v + 2*z = y, 0 = -2*v - 3*z - 0*z + 6 for v.
0
Suppose -6*b - 15 = -45. Solve -t - 21 = 4*x - b, 0 = 2*t - 5*x - 33 for t.
4
Let x(i) be the first derivative of -7*i**2/2 - 10*i - 1. Let d be x(-5). Solve k + 5 = 3*v - v, -2*k - 3*v + d = 0 for k.
5
Let w(k) = -k**3 - k**2 + 2*k + 3. Let g be w(-2). Solve 2*t + 4*v + 23 = -g, 0 = t + 5*v + 25 for t.
-5
Let m(y) = y**2 - 2*y - 2. Let k be m(-2). Let n = k + -6. Solve 1 = 3*l - 0*l - g, 2*l + 2*g + 2 = n for l.
0
Let j(k) = -k**2 + 10*k + 10. Let x be j(10). Let d(q) = -q**2 + 10*q + 3. Let f be d(x). Solve 3 = -f*p, -n + 5*p = -10 + 3 for n.
2
Let b be (6/8)/(2/96). Suppose -4*i + b = 4*f, -4*f + f = -12. Solve 5*l - 20 = 5*h, -2*l + i*h = -l for l.
5
Let n(w) = -12*w - 68. Let l be n(-6). Solve -3*q + 11 = m, -2*q - q + 16 = -l*m for m.
-1
Let u be (-120)/(-20) + 4*-1. Solve -3*j + j - 4*t - 2 = 0, 5*t = -u*j - 5 for j.
5
Suppose 0 = 5*j + q - 7, -5*q + 0*q = 4*j + 7. Solve -5*b + 1 = 3*k - 22, -5*k + 13 = j*b for b.
4
Suppose 3*k - 16 = -k, 0 = -4*g + 2*k - 16. Let p = 0 - g. Solve 0 = -p*m, 0*f - m = -2*f - 2 for f.
-1
Let k(g) = 3*g - 15. Let v be k(6). Solve t + v*t - 7 = p, -4*t + 37 = 5*p for t.
3
Let i be 2 + 2/((-4)/(-2)). Let k(d) = -5 - 2*d - 7*d - 5*d**2 + 0*d - d**3 + i*d. Let v be k(-4). Solve 3*g - 3*w + 9 = 0, 5*g + v*w = -12 - 11 for g.
-4
Suppose -g + 0 = -5. Suppose 9 = 8*x - 4*x + 3*m, 20 = g*x + 2*m. Suppose -v + 2 = -2*a, -a = -x*a + 10. Solve -5*w - 1 = 5*p + 4, 0 = -w - 2*p - v for w.
4
Let u = 44 + -42. Solve 4*x = -q + 15, 2*q - u*x + 18 = -2 for q.
-5
Let q = 13 + -13. Suppose -a + 5 = -q*a. Solve -2*s + a*j + 33 = 2*s, -4*s = j - 3 for s.
2
Suppose n + 0*n = -3*u - 9, 5 = 3*n + u. Solve 4*l - 15 = -5*v - 3, 0 = 4*v + l - n for v.
0
Let y(o) be the second derivative of o**3/3 - 2*o**2 + o. Let a be y(3). Suppose 4*s - 4 = a*s. Solve 4*i = -2*v - 2 - 10, s*i + 22 = 3*v for v.
4
Let o = 13 - 10. Let h be 2/2*0/(-1). Solve -9 = 2*y - i + 5, h = o*y + 5*i - 5 for y.
-5
Suppose -4*w + 3*g + 0*g + 29 = 0, 5*w - g = 28. Solve 0 = -w*u - 15, -5 = 3*s + 2*s - 5*u for s.
-4
Suppose -3*m - 2*m = -4*p + 6, 0 = -3*p + 12. Solve 4*o = x + 14, o - 3*o + m*x = -10 for o.
3
Let s = 92 + -88. Solve s*b = 20, -2*x - 2*b + 4 = x for x.
-2
Let x = 4 - 1. Solve 5*i = x*t - 40, 3*i - 20 = t + 8*i for t.
5
Let n(k) = 4*k - 57. Let r be n(15). Suppose 0 = -d - 4*d. Solve -4*j + 18 = -6*j + 5*y, d = -r*j + 2*y - 5 for j.
1
Let s = 1 - -2. Solve a + 10 = -s*h, 9 - 1 = -h - 5*a for h.
-3
Let p(d) = -d + 1. Let h(r) = -r**2 + 7*r - 6. Let y(o) = -h(o) - 2*p(o). Let s be y(5). Solve -5*k - s*b - 36 = 0, 3*b = -3*k - 5 - 19 for k.
-4
Let o = -6 + 11. Suppose -5*v + 5 = -o. Suppose 4*t - 3 = -3*x, 0*t + 2*x - v = t. Solve -3*c + 8 = -4*c + 4*r, t = -5*c - 4*r + 8 for c.
0
Let d = -3 - -2. Let h(n) = -4*n + 1. Let r be h(d). Suppose 3*l - 2*b = 13, -l - 25 = -6*l + r*b. Solve 3*s - 3 = -2*t, -4*s + 3 + l = 2*t for t.
-3
Let a be (4/2)/(2/8). Let y = a + -4. Suppose 0*q - y*q = -4. Solve -3 = 4*d - 3*d - g, -g = -3*d + q for d.
2
Let c(u) = u**2 - 3*u - 10. Let l be c(6). Solve 0 = -5*g - 4*n + 8, 0*g - 4*n + l = -g for g.
0
Suppose -3*r + 0*f + 21 = -2*f, 4*r - 3*f = 28. Suppose 2*g - r*g + 25 = 0. Solve -3*m + 5*u = -6*m - 22, -m + g*u + 6 = 0 for m.
-4
Let m = -2 - -4. Let h = m - -1. Let n(q) = q**3 - 2*q**2 - q - 1. Let c be n(h). Solve -5*y = 3*w - 16, -w + 5*w - 13 = -c*y for w.
-3
Let y(x) = x**2 - 1. Let d(v) = 4*v**2 + 3*v + 2. Let l(s) = d(s) - 3*y(s). Let h be l(-6). Solve h = 2*n - 0*c + 5*c, -n - c + 4 = 0 for n.
-1
Let y(q) = -q - 2. Let w be y(-5). Let c = -7 + w. Let x = -1 - c. Solve -2*f = -0*t + x*t, 2 = 2*f + 4*t for f.
-3
Let v be (-7 - 1)*2/(-4). Suppose -12 = -0*n - v*n. Suppose n*m = m. Solve 5*s - a - 22 = -m*a, 0 = 2*a - 6 for s.
5
Let h = 3 - 8. Let k(n) = n**2 + 4*n + 5. Let m be k(h). Solve -5*q + q - 2*d = -8, 4*q - m = -d for q.
3
Suppose a - 25 + 6 = 0. Suppose 2*d - i = 6*d - a, 2 = -2*i. Solve -d*p = 25, -5*u - 3*p - 4 - 26 = 0 for u.
-3
Let w be 4 - 2 - -14*2. Let h be w/(-6)*4/(-10). Solve 5*k = -v + h, 2*k + 0*v - 4 = -2*v for k.
0
Let d(y) = 2*y**3 - y**2 - 3*y - 1. Let k be d(2). Solve -2*c - 17 = k*n, -38 = 2*n - 5*c - 8 for n.
-5
Suppose 4*n - 2 = -2*o, -7 = -3*o - o - 5*n. Solve 5*h + 3*q = -35, 2*h - o*q = -2*h - 1 for h.
-4
Let w(r) = -r**2 + 4*r + 7. Suppose -t = -0*t - 5. Let o be w(t). Solve -4 = -4*a, -2*x - o*x - 13 = -a for x.
-3
Suppose 0 = 4*v + 3*w + 38, 5*v - 2*w - w = -61. Let z = -8 - v. Solve -z*q - 3 = 2*n - 1, 0 = -5*n + 3*q - 5 for n.
-1
Let w(r) = 5*r + 3. Let m be w(3). Solve -x + 4 = 0, -2*d - 5*x + x = -m for d.
1
Let i be (-2 - -5)*(-1)/(-1). Suppose -4 = -5*d + i*d. Suppose 3*s + s + 11 = 3*y, -7 = y + 4*s. Solve 3*o - d*v = 2*v - 5, -v + y = -o for o.
1
Suppose -4 = -5*u + 4*n, -4*u + 2*n + 1 = n. Let t = u + 5. Solve -4*x + 5*m - 21 = 0, t*m - 6 - 3 = x for x.
-4
Let w = -4 + 5. Let r be -4 + w - 12/(-2). Suppose -12 = -t - r*t. Solve 2*d + 3*f - 15 = 0, -t*d - 5*f = -d - 25 for d.
0
Suppose 2*g = -4 + 52. Solve d = -3*y + y + 11, d - 5*y = -g for d.
1
Let b(n) = -n**2 - 8*n + 6. Let i(a) = -a**2 - 7*a + 6. Let z(d) = 4*b(d) - 5*i(d). Let t be z(-6). Solve 3*c = -2*j + 20, -5*c + 3*j + t = j for c.
4
Suppose 0 = 4*o - 26 + 26. Solve 0 = -5*f - 5, o = r + 3*f - 0*f + 6 for r.
-3
Let z be (-4 + 4)*(1 - 2). Let o be -3 + ((-20)/(-4) - z). Solve -3*f - 7*a + 2*a = 32, o*f = 2*a for f.
-4
Suppose 5*z + 2*q = 32, -3*q + 5*q = -8. Let g(y) = y + y - 8 - 2 + 0*y. Let f be g(6). Solve z = -4*v + j, -2*v - j - f*j = 4 for v.
-2
Suppose -5*c + c = 0. Let x be c/2 - 0 - 0. Let l be (-6)/27 - 47/(-9). Solve 2*a = n - x*a, l*a = 4*n + 6 for n.
-4
Let k(m) = -m**3 + 9*m**2 + 10*m + 7. Let i be k(10). Let q = -7 + i. Solve -2*z + 4 = -3*j, -3*z - 1 - 2 = q for j.
-2
Suppose 0 = -2*a - 3 - 1. Let x be a/(-6) - 588/9. Let q be x/(-2) - 3/6. Solve -5*g - 3*j = -q, 2*g - 32 = -g - 5*j for g.
4
Let k be (3*2 - 0) + -2. Let f = 8 - 8. Suppose 2*h + 4*a - 2 = f, 5*h - 3*a - 3 = 2*h. Solve -z - s + k + 3 = 0, 0 = 4*z - 5*s - h for z.
4
Suppose -5*s - 20 = -3*q, -3*s + 4*s = 2*q - 11. Let n be ((-2)/q)/(4/(-120)). Solve 4*g = -4*p + n, -3*p = p for g.
3
Let v be 224/35 - 4/10. Solve -5*b = a - 1, 0 = -a + v*a - 4*b - 5 for a.
1
Let u be 4/10 - 86/(-10). Let b(g) = -g**2 + 9*g + 3. Let n be b(u). Solve 7*d = 2*d + 2*z - 25, n*z = -4*d - 20 for d.
-5
Let c(b) = b**3 + 9*b**2 - 12*b - 15. Let y be c(-10). Solve -2*g - y*v - 5 = 0, 26 = -11*g + 6*g + v for g.
-5
Suppose -1 = -4*y + 3*m + 2, -5*y = -3*m - 6. Solve -v - 2*v - 14 = -4*u, -y*v = -5*u + 19 for v.
2
Suppose 3*v + 0 = -9. Let d = 2 - v. Solve 13 = -d*f - r, 4*f + r = 2*f - 4 for f.
-3
Suppose -4*a + v + 68 = 0, -a - 32 = -3*a + v. Solve -3*l + 4*j = 21, -3*l - a = 3*j - 6*j for l.
-3
Let o = 5 - 1. Solve -2*u = -b + 5, 20 = o*b + 4*u - u for b.
5
Suppose 4*t = 74 + 38. Suppose -m + 3*p = -8 - 4, 0 = -4*m + 2*p + t. Let f be -2*(-10)/(-4)*-1. Solve 17 = 4*k + 5*d - m*d, -5*d - f = 0 for k.
4
Suppose 5*z + 25 = 0, 2*z - 198 = -4*c + 64. Let f = c - 40. Solve 0 = -4*j - 5*b - f, 0*j + 3*j = -4*b - 22 for j.
-2
Let q be (4/(-5))/(2/(-15)). Let v(u) = -14*u - 17*u - q*u. Let s be v(-1). Solve 4*i + 5 - s = -5*z, 5*z = -i + 23 for z.
4
Suppose 10 = 2*m - 5*f, -m + 7*f - 3*f = 1. Let l be 1/(-3) - (-175)/3. Let i be (-4)/18 - l/(-18). Solve t - 5*q + 5 = 0, i*q - m = 3*t + 8*q for t.
-5
Suppose 5*k - 1 = 74. Suppose j - 2*f - 2*f = -k, -4*j + 5*f = 5. Let s = 103 - 100. Solve -o = -j*p - 1 - 8, -2*p + o = s for p.
-2
Suppose 0 = -b + 5*p - 2 + 21, -3*b + 5*p + 47 = 0. Suppose -5*z = -14 + 4. Let q be (1 + 0)*(0 + z). Solve 4*h = -2 + b, q*h - 21 = 5*n for n.
-3
Suppose -4*q = 16 + 4. Let l = -29 + 22. Let w = q - l. Solve 0*o - n = 3*o + 2, 3*o = -w*n - 4 for o.
0
Let d(f) = -f + 20. Let r be d(11). Suppose 5*g - r = 5*p - 4, -4*g = 4*p + 4. Let v = p +