for f.
4
Let d = 37 - 37. Solve -r + 5*p - 20 = d, -3*r - 5 - 4 = 2*p for r.
-5
Let r(z) = -2*z + 6. Let i be r(-3). Solve 3*d + 1 = -t - 5, -d - 5*t = -i for d.
-3
Suppose g + 5*j = 22, -j = -2*g - 0*j. Let p be g - (-2 - 1)/3. Suppose 15 = 2*y + p*y. Solve 2*d + 0*t + y*t = -1, 3*t = -d - 5 for d.
4
Suppose 6 = 4*t - 66. Let f = -29 - -35. Solve -t = -3*r - 3*a, -2*r + 2*a + f = 2*r for r.
3
Let j be 1/2*38 + -1. Suppose 0 = -2*t + 4*z + 42, 3 - j = -t + 5*z. Solve 4*v - h - 6 = h, -h + t = 5*v for v.
4
Let a be 1/((-6 + 3)/3). Let f be -6*(a - (-1)/2). Solve f*w - 2*h - 7 = -2*w, -2 = 2*w + 4*h for w.
1
Let h be ((-9)/4)/((-45)/60). Solve -5*x - 19 = 2*u, h*x = -3*u - u - 17 for x.
-3
Let m(l) = l**2 - 3*l + 2. Let z be m(1). Suppose z = -0*s + 3*s - 9. Solve -5*y + 5 = 5*g, 5*y = -s*g - 1 + 8 for y.
2
Let q(y) = -y**3 + y**2 + 4*y + 7. Let n be q(3). Solve 5*u = 5*k + 5, -k + u - n = 6*u for k.
-1
Let x(c) = 2*c**2 + c - 7. Let b be x(5). Suppose -3*f + 3*w = -b, 29 = -4*f - 5*w + 93. Solve 0 = -4*s + 5*t - 27, -3*t = -3*s - 2 - f for s.
-3
Suppose 5*s = b + 46, 5*s + 0*b = 3*b + 38. Solve -3*i = -5*i - g - s, i + 3*g + 5 = 0 for i.
-5
Suppose -15 = -k - 4*k. Let i = -8 + k. Let u be (-18)/i + (-6)/10. Solve u*l + 4*g = -1, -3*l + 7*g = 3*g - 7 for l.
1
Suppose -4*i = -2 - 10. Let f be i/(-6) + (-2)/(-4). Let y be (-31*(-4)/8)/((-2)/(-4)). Solve -3*w + 3*u - y = 2*w, f = 3*w + u + 13 for w.
-5
Suppose 0 = 4*j + 5 + 11. Let t(x) = -x - 3 - 4*x**2 - x**3 + 1 + 3. Let w be t(j). Solve 0 = 3*z - 5*i + 5, -2*i + 3 = -w for z.
5
Suppose 5*o = -2*z + 12, z - 6 = 3*o + 2*o. Suppose -g + 4*x + 3 = -7, -5*g + 20 = -5*x. Let s = -1 + 1. Solve -2*w = -s*w - 2*r + z, -11 = 3*w - g*r for w.
-5
Suppose -3*c - 2*c + 37 = v, -17 = -3*c + 2*v. Solve 0*t - 3*f - 10 = t, 4*t + f = -c for t.
-1
Suppose 15 = -0*g - 3*g. Let o = -8 - g. Let l(z) = -3*z - 4. Let t be l(o). Solve 0*p - 4*p = 2*j, -10 = -t*j - 5*p for j.
4
Let f be (-4)/1*(-10 - -8). Suppose w = 4*c - 46, c + 2*w = f + 8. Solve -5*k + 30 = -3*d, -3*d = 4*k - 3*k + c for d.
-5
Suppose 4*s = d + 13, 0 = 3*d - 0*d + 3. Suppose i + 0 = -3*f + s, 3*f = 4*i - 12. Solve 2*u + i*b = -13 + 1, b = -2 for u.
-3
Let j be 0/(3 - (1 + 1)). Let r be 1/((-3)/(-6) + j). Solve r*c = 5*a + 3 + 7, c - 2*a - 5 = 0 for c.
5
Let o = 1 - -5. Suppose -o*b + 2*b + 393 = v, -b = 4*v - 87. Let h be b/5 + (-2)/(-10). Solve 5*m = -h, -4*t + 4*m + 3 = -1 for t.
-3
Let y(i) be the third derivative of -i**6/120 - i**5/10 - i**4/24 + i**3/2 + 2*i**2. Let b be y(-6). Solve 5*v = 3*h + 34, -16 = -5*v + b for h.
-3
Let t be ((-6)/(-9))/((-1)/(-3)). Suppose 2*j + 4*j = 30. Solve 0*v + t*w + 18 = -3*v, 5*v + 5 = j*w for v.
-4
Suppose -l + 31 = 5*p, 4*l - p = -l + 51. Let j(u) = u**3 - u**2 + u + 4. Let y be j(0). Solve 5*b - l = 2*r + 2*r, -r = -y*b for b.
-1
Suppose p - 12 = -3*p. Solve -5*r + 5*b + 23 = -r, -13 = -2*r + p*b for r.
2
Let x(d) = d**2 + 4*d - 1. Let o be x(-5). Suppose 2*n - o = -0*n. Solve -5*m + 22 = n*v, -4*v + 2*m - 11 = -7*v for v.
1
Let l = -9 + 4. Let g(d) = -d**3 + 8*d**2 + 3*d - 14. Let t be g(8). Let o be (-17)/l - t/25. Solve 5*u = -25, o*b + 5*u + 37 = -0*b for b.
-4
Suppose -10*i + 90 = -5*i. Solve -3*w - i = 3*m, -4*m = 4*w + w + 27 for m.
-3
Let s be (-3)/2*((-42)/18 - -1). Solve 8 = -0*q + s*q, q - 10 = -2*v for v.
3
Let s = 53 - 50. Solve -s*a = 2*d + 10, 4*a + 17 = -3*d - a for d.
1
Suppose -2*b + 5*y = -19, -2*b + 14 = 3*y - 7*y. Let q be 40/(-6) + (-2)/b. Let k be q/8 - (-3)/4. Solve -3*s + 2*x = 23, k*s - 5*s - 21 = x for s.
-5
Suppose 2*g - 4*g = -4*t - 10, -g + 2 = -t. Let i be g/((-6)/2)*6. Solve -4*z - 2*q - i*q - 28 = 0, -23 = 5*z + q for z.
-4
Let u = -209 - -221. Solve -4*c - u = -4*f + 4, c - 4 = -3*f for c.
-2
Let p(t) = 14*t + 1. Let b be p(1). Let x = -9 + b. Suppose -x = 2*s - o + 3*o, -2*s - 21 = 5*o. Solve 0 = -k + 2, 2*k - 2 = -s*n + 4 for n.
1
Suppose 8 = -4*y + 5*m, 2*y = -5*m + 40 - 14. Solve 0 = 3*u - 4*c + 1 + 2, 5*c + y = -3*u for u.
-1
Suppose 6*y = 8*y - 6. Let b = -7 - -11. Suppose y*w = -b*n, 5*w - 17 = -n - 0. Solve 3*o + 7 = w*f, -4*f + 19 = -5*o - f for o.
-5
Suppose 8 = 3*t - 37. Let a = t - 3. Solve u - 11 = 4*p, -3*p - 3*u - a = -0*u for p.
-3
Let s = 2 + 0. Let j be (1/2)/(5/70). Solve -3*g = -0*v + v - j, 0 = s*g + 5*v - 22 for g.
1
Suppose 23*u = 21*u + 20. Solve -4*g + 5*m + 6 = 0, 4*m + u = 4*g + m for g.
4
Suppose -2*a - 8*j - 8 = -4*j, 4*j = 2*a - 16. Let y be 120/54 + a/(-9). Suppose -y*g = -0*g - 2. Solve 2*s + 4*z + 5 - g = 0, -2*s + 23 = -5*z for s.
4
Let v(i) be the third derivative of 3*i**6/40 - i**5/30 + i**4/24 - i**2. Let j be v(1). Let d = j + 6. Solve o - 5*o - s - d = 0, -3*s = 6 for o.
-3
Suppose 2*x - 1 = -w, 4*x - 5*x = -w + 7. Solve -4*c = w*p + 5, -c - p = -0*p for c.
5
Let x(w) = 8*w**2 - w - 2. Let i be x(2). Suppose 0*l = l - i. Solve -3*a - 2*m + 6*m + l = 0, 4*a - m - 20 = 0 for a.
4
Suppose 0*f + 5 = f. Solve 0*w + w + f*i + 1 = 0, -5*w - 3*i = 5 for w.
-1
Suppose 2*f - 4 = x, -4 = -f - 2*x + 3*x. Solve f = -5*p - 5*u, 4*p + 3*u = -2*u - 3 for p.
3
Let h = -1 + 6. Suppose 0 = -4*l - l + 130. Suppose 4*f = -6 + l. Solve 2*w + 25 = -3*w + 4*i, w = f*i - h for w.
-5
Let r(f) = 3*f - 10 + 0*f - f - 5. Let a be r(10). Suppose 0 = a*u - 2*v - 56, -u + 27 = 5*v + 5. Solve -12 = -2*i - 4*b, 4*i - 4*b - u = -0*i for i.
4
Suppose -5*v + 137 = z, -3*v + 5*z = -v - 44. Let d = v - 14. Suppose 5*h - d = 2. Solve -t + h = p, t + 4*p = -0*t + 3 for t.
3
Let i(s) = s**3 - 11*s**2 + 2*s - 13. Let x be i(11). Let a = -6 + x. Let u be (-4 + 1)*(-8)/a. Solve 0*p - 3*p + 4*z = -8, 3*p + 4*z = -u for p.
0
Let p = 14 - 11. Solve -2*t - 5*k = -7 - p, 0 = -2*t + k - 14 for t.
-5
Let c be (3 + -2)*-2*-1. Let t be (c/(-3))/(8/12). Let x be ((-2)/(-3))/(t/(-21)). Solve 4*l + 12 = 5*k, 2*k - 3*l = -3*k + x for k.
4
Let d be 2/6 - 118/(-6). Let s(j) = -j**3 - 5*j**2 - 4*j + 2. Let c be s(-4). Suppose c*p + 12 = 5*p. Solve p*o = -4*w + d, 2*o - 3*w + 10 + 0 = 0 for o.
1
Let a(k) = 6*k**2 - 2*k - 3. Let v be a(4). Suppose -4*x = x - v. Suppose 0 = -5*y + x + 3. Solve 0 = -0*b + y*b + 3*j + 2, b + 2*j + 3 = 0 for b.
1
Let k(w) = -4*w**2 + 5*w**2 - 3*w**2 + 4*w**2. Let p be k(-1). Solve p*s - 20 = -3*d, -d - 16 = -2*s - 3*d for s.
4
Let a be 3*2*35/14. Solve 3*m - 2*s = -4*s - 1, -a = 3*s for m.
3
Let p = 66 - 64. Solve s + 2*w + p*w = -12, -3*s + w + 16 = 0 for s.
4
Let a = 1 + 1. Let d be 10 - (a + (-4)/(-4)). Solve g - 4*h + 0*h = -d, -4*g = 3*h - 29 for g.
5
Let o be (-23 - 2)*(-6 + 5). Let k = 1 + 1. Suppose -j + k = -0*j. Solve 0 = 5*f - 2*a - o, j*a = -5*f - a + 25 for f.
5
Let b(o) = -o - 2. Let t be b(-4). Solve -4*x + 2*x = -t*s + 2, -s = -2*x - 5 for s.
-3
Let s be 1 + 0 + 0 + 8. Suppose 5*c - s*c + 80 = 0. Solve 0*o + 16 = -5*a + 4*o, 3*a - c = -5*o for a.
0
Let c(i) be the first derivative of -i**3/3 - 9*i**2/2 - 5*i + 2. Let r be c(-7). Suppose 4*v - v = r. Solve 0 = -v*t + 3*h + 24, -t + 5 = -2*h - 8 for t.
3
Suppose t + 59 = 59. Solve t = -5*y + 3*p + 11, 3*y - 7*p = -2*p - 3 for y.
4
Let q = 75 - 73. Solve 0*f - 2*f = -q, -m - 3 = f for m.
-4
Let n(i) = i**2 - i - 1. Let f(c) = c + 1. Let a be f(4). Let d be n(a). Solve -11 - 1 = 2*o + v, -3*o - 2*v - d = 0 for o.
-5
Suppose u + 12 = -6. Let b be 2/(-9) - 76/u. Solve 0 = b*i - 5*t - 13, i + 4*i = 2*t + 12 for i.
2
Let d = -125 + 128. Solve -4*v + 2*m = 12, 4*v + 7*m = d*m for v.
-2
Let t = -5 - -7. Suppose 5*o - t = -4*m + 5, 4*o - 2 = -2*m. Suppose 5*z - 2*v - 10 = 0, -z + 0*v - m*v = -2. Solve -u = 2*u + a - 3, 0 = -z*a for u.
1
Suppose 3*s = -2*v + 6, v + 3*v - 12 = -4*s. Solve 3*c - 4*k - 4 = 0, s*c - 2*c + 2*k = 0 for c.
-4
Suppose 4*y + 5*r + 10 = 3*y, 21 = 3*y - 2*r. Let i be (-8)/(y/(15/(-6))). Let x = i + -2. Solve 2*w = a - 1 - 1, 0 = -x*w - 3*a + 6 for w.
0
Let f be (-2)/(-2)*0 + 0. Solve 4*g = 3*a + 13, -2*a = -5*g + 18 - f for a.
1
Let t = -6 - -2. Let q be 22/(t + 2)*-1. Let x = q - 3. Solve 3*g + 9 + 6 = 3*c, 2*c - x = 0 for g.
-1
Let a(o) = -o - 5. Let d be a(-8). Solve -5*b = -4*n + 2*n + 19, 4*n - d = 3*b for b.
-5
Let f(z) = -z**3 + 9*z**2 + 8*z + 13. Let h be f(10). Let y = 4 + h. Let q be (-46)/y - (-4)/6. Solve -4*b - q = 0, -5*b - 10 = -3*g - b for g.
-2
Suppose 5*w - 35 = 4*m, 