 0*n - 2 for f.
0
Suppose 0 = 6*z - 7*z + 17. Let r = z - 15. Solve r*q + 0 = -3*i + 13, -3*i + 15 = 0 for q.
-1
Let g = -41 + 41. Suppose 3*w - 5*q = 56, -40 = -3*w - g*w + q. Solve 0 = 4*l - 3*a - 2*a + 40, 0 = 3*a - w for l.
-5
Suppose 4*o + 3 = 3*o, 0 = -h - o - 1. Let y(a) = a + 2. Let l be y(h). Suppose -l*d + 7 = -5. Solve 1 + 0 = 4*m + x, 5*m - d = -3*x for m.
0
Suppose -56 = -4*a + 2*s, -5*a + 52 = -28*s + 30*s. Let c be (-6)/27 + (-58)/(-18). Solve m + 5*l = -12, -m - 2*l - a = -c*m for m.
3
Let l(n) = n**3 - 25*n**2 + 24*n + 3. Let r be l(24). Solve -4*f = 4*t - 32, -r*t = 2*t - 3*f - 16 for t.
5
Suppose -5*g = 4*i + 11, 4*i + 3*g + 12 + 9 = 0. Let a = 12 + i. Let l = 6 - a. Solve 0*x + l*x + 18 = 3*n, n - 12 = 4*x for n.
4
Let h(m) = m. Let j be h(-10). Let r be (4/j)/(7/(-35)). Let f be 10/4*(-2)/(-1). Solve 8 = 4*p, p - f*p + 4 = -r*s for s.
2
Suppose 5 + 3 = 4*d. Suppose -2*a + 4 = -0*a. Suppose -5*g = m - 17, -5*m + 2*g - 5 = -3*g. Solve 10 = m*x - 2*w, -d*x + w + 20 = a*x for x.
5
Let l = -2 + 4. Solve 2*w = c - 6, 0 = -l*c + 3*c - 3*w - 10 for c.
-2
Let h(o) = -4*o + 22. Let b = -44 - -49. Let m be h(b). Solve 2*q = -3*c, q - m*q = -c for q.
0
Let w(s) be the first derivative of s**4/4 - s**3 + 2*s**2 - s + 1. Let d be w(2). Solve -4*c - h - 20 + 3 = 0, 3*c + d*h = -24 for c.
-3
Let r be (27/36 - -2) + (-15)/20. Solve 4*b + 22 = -3*m, 2*b + r*b + 18 = -m for b.
-4
Let q(c) = c**2 + 9*c - 7. Let b be (18/3)/(6/(-8)). Let j be q(b). Let p = j + 17. Solve -g = 0, 5 = -f + 3*g - p*g for f.
-5
Let i = -60 + 88. Solve 0*g + 2*g - 2*l = -18, 2*g + i = 4*l for g.
-4
Let p be (9/18 + 2)*4. Solve 3*c + i = p, i + 1 - 19 = -5*c for c.
4
Let p(g) = -g - 10. Suppose -20 + 5 = c. Let z be p(c). Solve o + 1 = u - 3*u, 6 = o - z*u for o.
1
Suppose -27*z - 32 = -35*z. Solve -5*w - 2 = -2*u, z = 5*w - 5*u - 6 for w.
-2
Suppose -4*o - 2*p = -20, 0 = -4*o - p - 0*p + 16. Suppose -3*j - o*j = -84. Let h(v) = -3*v - 6. Let y be h(-7). Solve n - y = 5*r + j, n = -r - 1 for r.
-5
Let k = -168 - -172. Solve 5*m + r - 20 = -0*r, m - 4*r - k = 0 for m.
4
Suppose 0*w = -w - 2. Let t be 1 + -2 + (w - -6). Solve -f + x + 4 = f, f + 2*x = -t for f.
1
Let s(a) = -a**2 - 5*a + 1. Let p be s(-4). Suppose 0*i + 20 = p*i. Solve x + i*d + 0 = -8, x + 5 = -3*d for x.
4
Let s(w) = w**2 - 8*w + 12. Let f be s(7). Solve 0 = f*k - y - 15, -5*k = -4*k + 5*y - 3 for k.
3
Suppose 0 = -7*m + 2*m + 135. Suppose 5*w = 2*n + 179, 5*w = -5*n + 64 + 101. Solve -4*z - z - w = 5*j, 5*z + j = -m for z.
-5
Let o = 15 - -7. Suppose 2*v + 4 = 3*y, -5*v + y + o = 6. Let j be 19/7 - v/(-14). Solve 3*z = l - 5 - j, -l + 2*z + 6 = 0 for l.
2
Let r = 159 - 149. Suppose 0 = v + 4*v - f + 28, -5*v - 24 = -3*f. Let q = v + r. Solve -5*o - 11 = u, -o - 25 = 2*o - q*u for o.
-3
Suppose -2*w - 2*a + 16 = -6*a, -3*w + 31 = a. Suppose -2*r + 8*p + 38 = 4*p, 0 = -5*p + w. Solve -4*y = 5*j - 0*y + 33, 0 = -5*j + y - r for j.
-5
Let o(c) = -5*c - 77. Let b be o(-16). Suppose 3*p = -0 + 9. Solve -5*h - 4*s = -7, -h - p*s + 5 = b*h for h.
-1
Let h = 379 - 359. Solve h = -5*g - 5*i, -i + 15 = -4*i for g.
1
Suppose 0 = -5*u + 2*j - 3*j - 41, 5*u + 4*j + 29 = 0. Let v be ((63/(-14))/u)/((-2)/(-20)). Solve -4*z = -0*z - 5*c + 14, -9 = -z - v*c for z.
-1
Suppose 421*d = 427*d. Solve -f = -j - d*f - 5, -j = 5*f - 19 for j.
-1
Let i be 14/(-2)*(-3 - (-57)/21). Solve -r - i = -2*f, -11 = -2*r - f - 0*f for r.
4
Let f(j) = -j**3 + 6*j**2 + 41*j - 7. Let o be f(10). Solve 3*a = 2*d - 16, o*a - 4*d + 20 = -0*a for a.
-4
Let c be (-30)/90 - ((-152)/3)/2. Solve 3*l - 3*v = -4 + 7, 4*l + 3*v - c = 0 for l.
4
Let n(f) be the third derivative of f**5/60 - 5*f**4/8 - 26*f**3/3 - 51*f**2. Let t be n(18). Solve 2 = h + 4*j, -t*h + 4*j - 10 = h for h.
-2
Let v(l) = -12*l - 6. Let w be v(-3). Suppose -4*u + 7 = -5*m, -4*m = -0*m + 2*u - 10. Let p = m + 7. Solve 2*i + h = -p, 0 = -4*i - 0*h + 5*h - w for i.
-5
Let h = 168 + -115. Let i = h + -37. Suppose -3*u - 8 = -5*w, i = -u + 4*w + w. Solve -u*m = v + 5, -m + 2*v = -3*v - 4 for m.
-1
Let o(y) = y**3 - 3*y**2 - 51*y - 22. Let n be o(9). Solve -5*j = -n*p - 30, 4*j + 6*p = 2*p for j.
3
Let s be (-5 - -5) + (1 - -11). Let o be (s/(-5))/4*-5. Solve -w = -o - 1, -4*h = -3*w + 12 for h.
0
Let m(r) = -r**2 - 13*r + 60. Let u be m(3). Solve -j - u = 3*i, -4*i = -2*j + 4*j + 14 for i.
-5
Suppose 0 = -52*f + 51*f - w + 7, -4*w = 5*f - 32. Solve 0*x - 3*x + 7 = -2*m, f*x - 12 = 2*m for x.
5
Suppose 125 = 29*n + 125. Let a be (-2)/(6/4 + -1). Let b be ((-6)/a)/((-3)/(-8)). Solve b*x + 3*l = -21, n = 3*x - 10*l + 5*l - 6 for x.
-3
Let t = 24 - 21. Solve 0 = -3*r - 4*p - t, 3*p - 34 = -2*r + 7*r for r.
-5
Let i = -317 - -333. Suppose 0 = f - 2*f. Suppose f = 2*j - 1 - 7. Solve 0 = -j*l + 3*q + 4, -l - 2*q = 3*l + i for l.
-2
Suppose 5*g = -5*a + 50, -a = -g - 0*a + 4. Suppose 4 = -l + g. Suppose l*v - v = -5*k + 54, 3*k - 24 = 3*v. Solve -2*i = 5*n - 4*n + k, -5*n - 14 = -2*i for n.
-4
Suppose r + 13 = 4*c, 7 = 2*c - 3*r + 2*r. Solve -c*b = 4*y + 17, 4*b + 6 = 4*y - y for b.
-3
Let q = 1387 - 1387. Solve q = 4*d - 8, 2*g + 8 + 4 = 2*d for g.
-4
Let a(v) = v**2 + 6*v + 2. Let i be a(-5). Let h = i + 3. Suppose h*u + 5 = u. Solve 2*z - 3*q - u = 0, -8*z + 19 = -3*z - q for z.
4
Let z(n) = -n**3 + n**2 + 3*n + 2. Let q be z(3). Let g(h) = 3*h + 9. Let b be g(q). Let t be (-15)/b - 3/12. Solve 0 = -4*s - 3*u - 8, t = s + u + 4 for s.
1
Let p(u) = -u**2 + 6*u - 8. Let j be p(6). Let k(i) = i**2 - 7*i + 14. Let l be k(6). Let c = l + j. Solve -3*t - 6 = m - 16, c = 3*t - 3*m - 6 for t.
3
Let t = 1 + -5. Let g(m) = 2*m**2 + 4*m - 5. Let n be g(t). Let j = n - 9. Solve -b + 2 = -f, 4*f + j*b + 4 = 2*f for f.
-2
Let y = 1782 + -1773. Solve -c + 3 = -5*n, -4*c - y = -5*n - 21 for n.
0
Suppose 0 = -54*n + 41*n + 65. Solve -h = -5*j - 13, -2*j - n = 3*h + 7 for j.
-3
Suppose -3*i - 31 = -5*j, -4*j + 2*i - 18 = -42. Solve 2*q + j*k = 8, k - 32 = q - 29 for q.
-1
Suppose 2*g = -17 + 77. Suppose 2*w + 26 = g. Solve 0 = -w*i - r, i - 6 = 4*r - 24 for i.
-2
Suppose 4*i = 9*i - 25. Solve 5*m + 6 = 3*h, 15 = -0*m - i*m for h.
-3
Suppose 0*l + 3*w + 60 = 3*l, 0 = -5*l - 4*w + 82. Suppose -u = 2*u - l. Let y be 15/u*(-12)/(-15). Solve 2*r + o = 7, -y*o + 4*o - 15 = -5*r for r.
1
Suppose 5*l - 4 = 6. Let h be 2 - -1*(2 - 0). Suppose l = 3*q - h. Solve -4*r + q*s + 4 = -6, s - 25 = -4*r for r.
5
Let q(m) be the first derivative of m**3/3 - m**2/2 - 2*m + 10. Let s be q(-2). Solve -4*v = -3*u + 16, 7*u - 12 = s*u for v.
-1
Let m(a) = -2*a**3 - 6*a**2 - 3*a + 5. Let c be m(-4). Let y = c + -44. Solve 3*h - k + 12 = 0, 4*h - y = 2*h + 5*k for h.
-5
Let w(x) = -x - 10. Let z be w(-10). Solve -l = s - 1, 5*l + 0*l + 2*s - 14 = z for l.
4
Suppose 2 = g, -g + 14 = -3*y + 18. Solve 0 = -h - 5, 0 = x + 4*x - y*h + 5 for x.
-3
Suppose 0 = 7*p - 3*p - 16. Let r(o) = 139*o - 1249. Let q be r(9). Solve i + 5*v + p = -2*i, q*i = -3*v - 3 for i.
-3
Let g = -4 + 6. Suppose -2*n - 5*u - 107 = 0, -3*u - u = n + 52. Let b be (-26)/(-14) - 8/n. Solve -3*h - 5 = j, b*j + g*j - 3*h - 10 = 0 for j.
1
Let y(b) = -b**3 - 32*b**2 + 34*b + 33. Let n be y(-33). Solve 0 = 5*i + 3*z + 11, -2*i - z + 2 - 6 = n for i.
-1
Let a = 2157 - 2154. Solve -18*m + 3*r = -13*m + 37, a*r = 3*m + 27 for m.
-5
Let n be ((-72)/10)/((-18)/60). Solve 2*i + 2*d + 0*d + 8 = 0, -d = 5*i + n for i.
-5
Let x = -32 + 30. Let g = 76 - x. Suppose 3*y - 78 = -o, 2*y + 5*o + 13 - g = 0. Solve -c = 2*r + 5, 8*r - 5*c - y = 4*r for r.
0
Let m be (4 + (-21)/6)/((-1)/(-2)). Let f be -3 - m*-2*4. Solve 20 = 7*o - 2*o - f*j, 3*j = -3*o - 6 for o.
1
Suppose -752 = -108*m - 104. Solve -5*f = 5*v, 4*f - 1 = -m*v + v for v.
1
Suppose 2*g - 3*g + 4*u = 12, -g + u = 0. Solve -4*a = 5*z - 36, -2*a = -6*a + 3*z + g for a.
4
Let o = 1 + 11. Let k = o - 11. Solve -3 = -3*d, 2*z + 9*d - 4*d - k = 0 for z.
-2
Let o be 4*(-4 + 36/8). Suppose -o*u = -2 - 10. Suppose 2*g = 7*g - 3*s + 6, -6 = -3*s. Solve -4*w - 9 = v, g = v - 3*v + u for w.
-3
Suppose -16 = -2*l + 4. Let m(i) = i**2 - 9*i + 5. Suppose -r = 5*b - 34, -3*r + 2 + 20 = -b. Let y be m(r). Solve g - l = 2*j - g, j = -g + y for j.
0
Let p(r) = -r**2 + 6*r - 4. Let k be p(5). Suppose -k - 23 = -4*o. Let v be 28*((-15