for f.
4
Let d be ((-7)/2)/(3/(-6)). Let p be 26/d + 16/56. Solve -p*w = -4*n + 4, -4 = -5*n + 16 for w.
3
Let b = 1 - -11. Let p(q) = -q**3 + 3*q**2 + 5*q - 1. Let m be p(4). Solve -m*c = -3*g + b, 0 = -g + 2*c + 8 - 2 for g.
2
Suppose 0 = -3*x + 22 + 29. Solve 7 = 4*l + 4*h - x, 0 = 2*l - 3*h + 8 for l.
2
Let g(o) = -6*o**2 - 2*o + 1. Let b be g(1). Let u = b + 10. Solve 4*n = 2*j, 3*j = u*n - 2*n + 5 for n.
1
Suppose 0 = 2*l - 4*l + 8. Suppose 5*j - 8 = -t, 7*j + 4 = 4*j - 5*t. Suppose -5*u = d + 23 + 2, 4*d = -j*u - 10. Solve 2*o + 5*c - 16 = d, l*o + 3*c = c for o.
-2
Let j(s) = -s**3 + s**2 + 3. Let m = 5 + -5. Let v be j(m). Solve -v*r = 5*h + 30 + 7, 0 = 4*r - 2*h + 6 for r.
-4
Suppose p - 5*p = 2*t - 66, -3*t + 67 = 4*p. Solve 3*o + 2*k + 9 = 0, 4*o + k = -3*k - p for o.
-1
Suppose 3*o = 4*q + 5, -4*o - 3*q + 8*q + 7 = 0. Suppose o*b = b - 2. Let u(v) = -11*v + 1. Let j be u(b). Solve -19 + 4 = 5*f - n, 0 = -4*f - 3*n - j for f.
-3
Let d = -38 - -41. Solve a - d = -3*a - 5*g, 4*a + 2*g - 6 = 0 for a.
2
Let u(m) = -3*m**2 + m + 1. Let o be u(-2). Let l = -8 - o. Solve p - 3*k = -4*k, -3*p - l = 4*k for p.
5
Suppose -5*c + 0*c - 4*y = -18, 4 = -2*c + 4*y. Solve 8 = -4*d - 2*f - 6, c*d + 3*f + 5 = 0 for d.
-4
Suppose -d = -0*d - 2. Suppose -2*x - 8 = 3*r - 7*r, -d*r = -5*x - 12. Let q be 1 - (2/(-2) - r). Solve -3*i - 2*a - 9 = -0*i, -i - q = 2*a for i.
-3
Let f be (-6)/8*(6 + -10). Suppose -f*q - 4 = -19. Solve 3*r + q*a - 7 - 5 = 0, r = -2*a + 5 for r.
-1
Let k = 9 - 4. Suppose -k*n + 2 = -18. Suppose -5*z + 0*p + 3*p + 37 = 0, n*z - p = 24. Solve -4*b + 4 = -l + 1, -2*l + 20 = z*b for b.
2
Suppose u - 7 = -j - j, j + 3*u - 11 = 0. Solve g + q - j = 0, 0*g = -2*g + 5*q - 31 for g.
-3
Suppose 25 = 9*u - 4*u. Solve 0 = 5*k + 5, -10 = u*v + 4*k + 4 for v.
-2
Let u(m) = -5*m - 1. Let o be u(-1). Suppose -15 = -3*r - 3*h, -5*r - 2*h - 3 + 28 = 0. Solve o*j - 3*y = -16, -r*y + 14 = -2*j - 2*y for j.
-1
Suppose 0 = u - 4*c - 10, -5*u = -2*c + 3*c - 8. Suppose 0 = -2*y - u + 8. Suppose y*q = -15 + 54. Solve 3*x = j - q, x + 0*x = -5*j + 1 for x.
-4
Suppose 2*t = 3*q + 20, -t - 2*q + 5 = 2. Let m = 3 - -21. Suppose -4*y = 5*v - m, -4*v - 3*y + 19 = -0*y. Solve -d = 3*d + v*j + 12, -t = -3*d + j for d.
1
Suppose 0 = -4*l + 22 - 6. Let s(f) = -l*f + 1 + 2*f - 5. Let u be s(-3). Solve -4*v - 4 + 0 = b, 0 = -3*b + u*v - 12 for b.
-4
Let v(a) = -3*a - 4. Let o be v(-3). Suppose -o*w + 0*w = -2*g - 70, 4*w = -2*g + 38. Solve 4*i - w = 0, 3*t - 5*i = -6 - 0 for t.
3
Let r = 11 + -3. Suppose 27 + r = -5*l. Let g = -5 - l. Solve 0 = -2*h - 5*p + 19, 3*p - 11 = g*h - 2*p for h.
2
Let h = 6 - 4. Suppose 8*d - 5 = 3*d, 19 = 5*i - d. Solve i*f - 4*u = 24, -h - 2 = 2*u for f.
4
Let t be (1 - -89)/6 + (-1 - -1). Solve -2*d + 9 = -2*w + 5*w, 5*d = -5*w + t for d.
0
Let s(f) = -f + 18. Let m be s(12). Suppose j = m*j. Solve j = -2*q - o + 5, q - 4*o + 2*o - 5 = 0 for q.
3
Let t = -38 - -58. Suppose -5*u = -t, -f = -2*f - 5*u + 25. Suppose 2*y + 4*i + 8 = 4*y, 8 = y - 4*i. Solve -x - 20 = 5*j - 1, y = -f*x + j - 17 for x.
-4
Suppose 5*c = c. Solve c = 4*m + 16, -3*s + s + 4*m + 10 = 0 for s.
-3
Let u = 6 - 1. Let l = u - 3. Solve -6 = -2*d - 0*d + 3*c, 0 = -d + l*c + 3 for d.
3
Suppose -l = -2*h - 8, -12 = l - h - 20. Solve -2*w = 2*t + l, w = 4*t + 6*w + 16 for t.
-4
Let h be (-10)/(-4)*8/10. Suppose -3*b + 0*b = 2*o + 1, h*b + 6 = 0. Solve 3*t - 23 = o*s, -2*s = t + 12 - 3 for t.
1
Let o = -16 + 18. Solve 4*v - 7 - 16 = 3*d, 0 = v - o for d.
-5
Let b(v) = -6*v - 6 + 3 + 2 + 3*v + v**2. Let c be b(4). Solve -c*y - d + 15 = 0, 3*d - 7*d = 5*y - 32 for y.
4
Suppose 0 = -5*o, 51 = 5*l + 3*o + 11. Suppose -4*n + 24 - l = 0. Let f be (2/n*0)/2. Solve -3*x = 0, -8*z + 4*z - x - 20 = f for z.
-5
Suppose p + 4 = 3, -4*w + 24 = 4*p. Solve k + 2 = -4*z, 10 = 2*z - w*z - 5*k for z.
0
Let u be 4/(1*(-1 - -2)). Suppose -k = 3*k + 36. Let s = k - -14. Solve -s*c + 9 = -2*v, -u*c = -3*c + 4*v + 7 for c.
1
Let d(a) = -a**3 + 4*a**2 - 2*a + 5. Let i be d(4). Let j be 3*i*8/(-12). Solve -2*n = 2*x + j, 0*n + 2*n - 9 = x for n.
2
Let d = 9 + -5. Suppose 0*w - 2*s + 97 = 5*w, 0 = -2*s + 2. Let b = -14 + w. Solve -b*g - 3*y = -1, -2*g + d*y - 2 + 18 = 0 for g.
2
Let y(q) = q**2 - 11*q + 17. Let s be y(10). Let k = 4 + -1. Solve k*d = 4*l - 13 - s, -4*l = -5*d - 20 for d.
0
Let m(a) = -2*a**3 - 2*a**2 + 2*a - 1. Let v be m(-2). Suppose -2*y = -10 + 4. Let u = 1 + y. Solve -v*t = -2*r - 2, -u*r + 0*r + 2*t = -12 for r.
5
Suppose 10 = -n + 3*n. Let i(s) = s - 5. Let b be i(9). Suppose -b*m - 27 = -n*m. Solve -4*u - 5 - 3 = 0, 5*c - u = m for c.
5
Let y = 8 - 4. Suppose y*u + j = -27, -4*u + 3*j + j - 32 = 0. Let q = u - -8. Solve -3*s + q = -2*a + 2, -4*s + 5*a + 1 = 0 for s.
-1
Let a(x) = -7*x + 2. Let o be a(-2). Let f = o - 14. Solve l + 2*r - 2 = -3, f*l - r = -12 for l.
-5
Let n = -4 + 7. Suppose -4*r = k + n*k + 4, -k + 1 = 3*r. Let a be 8*1*r/2. Solve 2 = c - a*q - 1, 0 = -5*c + q - 23 for c.
-5
Let z be 2 - -9*(3 + -2). Suppose -12*p = -z*p - 3. Solve 0 = -5*r + 3*q + 40, p*r = -2*r - 5*q for r.
5
Let i be (-4)/(-7) + (-376)/(-28). Let v = 4 + 2. Let f = v + i. Solve 3*o + o + 15 = -3*u, 3*o = -4*u - f for o.
0
Let n(b) = -b**2 + 5*b + 10. Let d be n(6). Solve -2*s + 4 + 8 = 5*v, -3*s = 2*v + d for v.
4
Suppose -5*n = -2*n - 6. Suppose 0 = -n*k - 2*k + 4. Solve -2*q + k = -4*s - 3*q, 3*s = q + 8 for s.
1
Let o be ((-28)/7)/(2/(-8)). Suppose -o = -3*f - f. Solve f*s = 4*c - 4, 3*c + s - 5 = c for c.
2
Suppose 4*i - 46 - 14 = 0. Let f = i + -13. Let j(x) = -2*x - 3. Let c be j(-3). Solve -f*o + c*u + 13 = 0, -2*u - 14 = -2*o + 2*u for o.
5
Let i = -3 + 5. Let g be -1 - (i + 1 + 1). Let w be (-2)/((-6)/g)*-3. Solve 35 = 2*v + 5*k - 0*k, w*k - 25 = 0 for v.
5
Suppose 2 = y - 0. Solve y*c - x = -2, -x - 3 = 3*c - 5 for c.
0
Let t(x) = x + 1. Let d = 0 + 4. Let n = d + -5. Let i be t(n). Solve -3*u - 4*w + 1 = i, -2*u - 2*w = -0*w + 2 for u.
-5
Suppose 0 = -3*n + n. Let r(i) = -7*i + 1. Let c be r(-1). Suppose n*u - c = -2*u. Solve u*s = 16, -3*s = 5*h - s - 33 for h.
5
Suppose d - 2*l - 28 + 6 = 0, 3*l = 5*d - 75. Let k = 11 + -8. Let h(p) = p**2 - 15*p. Let u be h(15). Solve -4*s = -5*w - 3 + d, s - k*w + 11 = u for s.
4
Let m(w) = w**2 + 5*w + 8. Let t be m(-3). Solve 20 = -t*a + 4*b, 9*a + 23 = 4*a + b for a.
-4
Suppose 3*m = 3*k - k - 3, 3*k - 4*m = 4. Solve -2*v = 2*b - 10, 0 = -3*b - k*b + v + 11 for b.
4
Let r be 1 + 2/((-2)/(-13)). Let n = -10 + r. Let t be (-2)/(-2) + (-2 - -1). Solve 3*y = -5*v + 20, -y = -v - t*y + n for v.
4
Let k be (1/3)/(3/36). Let j be 6/(-21) + k/14. Solve -5*v + 19 = 2*z - 4, 2*v + 5*z - 5 = j for v.
5
Suppose -10 = -4*m + 2. Suppose -m*n + 2*n = -6. Let r be (4/n)/(2/12). Solve y - r*x = 3 - 2, 2*y - 5 = 5*x for y.
5
Let y(s) = -s + 4. Let j be y(4). Let r(v) = -v + 12. Let x be r(10). Let f be 22 + (2 - 2 - x). Solve j = 5*u - f, -3*u + 10 = 3*n - 5 for n.
1
Suppose 3*r - 5*h + 14 = 0, -r + 3*r = -4*h + 20. Solve g + p + 7 = 0, -5*g + r - 1 = -4*p for g.
-3
Let z(a) = a**3 - 11*a**2 + 4. Let v be z(11). Solve 0 = 5*y + 5*l - 25, -1 = -5*l + v for y.
4
Let a be (13 + -8)/((-5)/(-2)). Let d = -35 + 58. Solve -4*m - 16 = a*r, 4*r + 0*m - 3*m = d for r.
2
Let d = 6 - 9. Let r = d - -7. Solve -2*y + 0*k - r*k + 6 = 0, 2*y - 5*k = 6 for y.
3
Let t be (3/2)/((-7)/(-14)). Let q be (1 - 1)*(0 + -1). Solve 5*u - 4*b - 15 = -q*b, -u = 2*b - t for u.
3
Suppose -4*i = 2*k - 48, 2*i + i - 29 = -k. Solve 5*c - k = p, -c - p - 2 = -0*p for c.
2
Let a(u) be the third derivative of -u**4/12 - u**3 - u**2. Let x be a(-7). Let k(p) = p + 3. Let g be k(0). Solve g*n - x = -4*j, -j - 5 = 2*j + 5*n for j.
5
Let z(b) = 5*b. Suppose -4*t = -2*t - 14. Let k = 8 - t. Let c be z(k). Solve -4*p - 2*d = -10, 9*p + 4*d = 4*p + c for p.
5
Suppose 4*k - 5*b = 13, -4*k + b = -0*b - 9. Solve d + 2*p = -1, -k*d + 3 = -d + 4*p for d.
-5
Let d(a) = 3*a + 0*a + 2 - a - 3*a. Let h be d(-5). Solve -5*g - 5*n - 7 = -8*g, 5*g + h = -n for g.
-1
Let r = 6 - -9. Solve 4*s = b - 0*b + 6, -5*s = -5*b - r for s.
1
Suppose 5*k - 16 = -f, 4*k + 32 = 8*k - 4*f. Let x = 8 - k. Solve 5*y - 2*h + 3 = 0, x*y + 0*h + 2 = 2*h for y.
-1
Let k(h) = -4*h**3. Let z be k(-1). Let c = z - 10. Let n(j) 