 85 = 0, -l + 5*s - 75 = l. Let v = 2 - l. Suppose 8*w + 11*w = 25*w. Solve -31 = -0*h + 4*h + 3*i, w = 3*h + 3*i + v for h.
-4
Suppose 0 = -f - 3*f + 12. Suppose 4*d - f*d - 1 = 0. Solve -2*c = -d + 3, 0 = -2*i + 2*c + 4 for i.
1
Let t(g) = -2*g**2 + 17*g + 22. Let x be t(9). Solve 2*a = -h + 4*h - 4, 3*a = -5*h + x for a.
1
Let j be 0/((-13)/(-6) - 1/6). Solve -d - h = -j*h - 3, -d - 5*h = -11 for d.
1
Let d = 2 - 8. Let y = d + 19. Solve -g - 12 = -2*j - 3, y = 4*j - g for j.
2
Let n = -5 - -9. Let c(r) = r**2 - 2*r + 3. Let a be c(3). Solve 6 = -2*t + n*o, -t - 41 = -a*t - 4*o for t.
5
Let a = 64 + -60. Solve b + a = -4*d - 1, -6 = 3*d for b.
3
Let b(l) = l**2 + l + 3. Let u be b(-2). Solve u*t = 4*y - 5, 3*t - 6*y = -2*y - 3 for t.
-1
Suppose 4*v - 94 = 58. Suppose 0*p + 2*p - v = 0. Let z be -2 + 13 + -1 + 1. Solve p = 5*h + 3*j, 4*h - 5*j - 41 = -z for h.
5
Let k(i) = i**3 - i**2 - i. Let c(p) = -7*p**3 - p**2 + 5*p - 10. Let b(s) = -c(s) - 6*k(s). Let q be b(-7). Solve -2*f + 2*l - 29 = -q*l, 5*l - 27 = f for f.
-2
Let f(v) be the second derivative of v**3/6 + v**2 - v. Let r be f(-2). Let q(i) = i**3 + 1. Let g be q(-1). Solve m + 9 = k, g = -5*k - 2*m - r + 17 for k.
5
Let l be (5 + 2)*12/21. Let g(t) = -t**2 + 6*t - 4. Let i be g(l). Solve -5*k + 2*p + 27 = 3*p, 0 = -4*k + i*p + 12 for k.
5
Suppose -3*x + 6*x - 15 = 0. Solve -3*i - 9 = 0, 4*o - 9*o - x*i = 40 for o.
-5
Let r(j) = -j**2 - 7*j + 9. Let a be r(-8). Let k = 1 + a. Let o(u) = -2*u - 3. Let v be o(-4). Solve -k*m + 24 = -f + v*f, 3*f + 5*m = 32 for f.
4
Suppose 2*f + 2*f = 0. Let r be (f/(0 + 2))/2. Solve 2*a - l + 1 = -6, r = -l + 3 for a.
-2
Suppose -3*h - 133 = -5*b, -3*b + 0*h + 71 = -4*h. Let c = b + -21. Solve -5 = -5*s, -4 = 4*a + 4*s + c for a.
-4
Suppose 3*p + 20 = 8*p. Suppose 0 = -p*k - 0 + 4. Solve -5*t = -5*q - 10, -3*q + q = -3*t + k for t.
-3
Suppose -5*g = -4*w + 5 - 20, g + 4*w - 3 = 0. Solve -2*u - 12 = 3*f - 2*f, -3*u = -g*f + 9 for u.
-5
Let q(n) = -7*n - 2. Let b be (-1)/(-2) - (-15)/(-6). Let u be q(b). Let v be ((-18)/(-12))/(6/16). Solve -4*w = -v*i, -2*i + 4*i + u = -4*w for i.
-2
Let r(n) = n - 7. Let f be r(7). Solve 5*b - 35 + 4 = 3*u, b + u - 3 = f for b.
5
Let f(w) = w. Let t be f(2). Suppose 3*s + 4*i - i + 21 = 0, -4*s - 27 = 5*i. Let u be (-12)/(-2) + (-7 - s). Solve 7 = t*y + 5*l, 0 = -4*y + l + u - 26 for y.
-4
Let p be -2 + (-3 - 1)/(-2). Suppose p*h = 4*h - 8. Let j = 3 - 3. Solve j*t + 2*t = h*y - 20, y - 2*t - 15 = 0 for y.
5
Let b = 149 - 106. Let z = -26 + b. Suppose -3*l - 5 + z = 0. Solve -4 = -d + 4*p, l*d + 5*p + 7 = -19 for d.
-4
Suppose c + p = -c + 13, -4*p + 25 = 5*c. Suppose 3*x - 35 = -c*r + 4*r, -5*r + 2*x + 10 = 0. Solve 0 = v + r*a + 4, -2*v + 1 + 11 = -2*a for v.
4
Let o = 1 + -1. Let z = 1 - o. Suppose 0 = 5*m - 9 - z. Solve -5*f = -3*x - 7, m*f + 0*x - 6 = 2*x for f.
-1
Suppose h - 6*h - k = -19, 9 = 2*h - k. Solve 5*o = 2*s - 4, -6*s = -2*s - 4*o + h for s.
-3
Let i = 3 + 0. Let b(h) = h - 7. Let o be b(7). Let y = 0 + o. Solve 4*m = i*g - 28, -3*g - 8 = 5*m - y*m for m.
-4
Suppose -2 = -m + q + 5, -3*m - 2*q = -11. Suppose -4*h - 8 + 4 = 0. Let u be 2 + (1/h - -20). Solve 3*j + y + y - u = 0, 3*j - m*y = 0 for j.
5
Let s be 2/(-6) - 4/(-3). Suppose 3*z - 2*r = 20, 2*z - 28 = 2*r + 3*r. Let c = z - s. Solve b + 3 = -2*m - 9, c*m - 5*b + 5 = 0 for m.
-5
Let x = -5 - -10. Solve 0*k - k = x*b - 29, 5*b + 3*k = 37 for b.
5
Suppose 4*v - 5*v = -5. Solve 0*z + 20 = v*f + 2*z, 4*z - 16 = 2*f for f.
2
Suppose -o = 3*w - 17, -2*o + w = 3*o - 37. Suppose 0 = 3*g - o*g + 40. Let z = -1 - -5. Solve -2*n + 2*h = -g, 2*n + 5*h + z = 3*h for n.
1
Suppose -16 = -2*l - 10. Solve 0 = -l*w + 5*f - 24, 2*f + 6 = -5*w - f for w.
-3
Let j be (-2)/(-11) + (-159)/(-33). Let f(p) = -5*p - 1. Let w be f(-1). Solve 0 = w*d + j*l + 45, -l + 35 = -5*d - 3*l for d.
-5
Let b be -41*(-1)/(-2)*-2. Suppose 0 = -3*o + 4*a + 16, -5*a - 21 = -4*o. Solve -5*d = o*n + b, -6*d + 4*d = 4*n + 26 for n.
-4
Let h be ((-6)/(-4))/(9/12). Let d be (-9 + -1 + 5)*-1. Solve 2*x = 4*z - 24, h*z - 20 = -2*x + d*x for x.
-4
Let d(i) = 5*i. Let y be d(4). Let q be 6/4*(-8)/(-3). Let n be (4 + -1*2)*2. Solve q*a = 4*f + y, n*a - 25 = -0*a + 5*f for a.
0
Let k be ((-3)/(-2))/(9/(-12)). Let p = k + 4. Suppose -p*w + 1 = -w. Solve 4*d - w = 3*r, -3*r + 2*d = 10 - 5 for r.
-3
Let s(q) = -4*q + 2*q - 4 - 12. Let n be s(-12). Suppose n = -3*m - 5*r, -5*r - 32 = 3*m - 6*m. Solve -7 = -5*d - i, 0 = -3*d - d - 4*i - m for d.
2
Let d = 60 - 36. Let o = d - 21. Suppose -5*a + 6*a - 2 = 0. Solve -9 + 4 = -w - o*x, 4*w = -x - a for w.
-1
Let p = 0 + -2. Let d(a) = a**3 + 4*a**2 + 4*a + 2. Let s be d(p). Solve -s*x + 4*z + 10 = 0, -z = -5*x + 2*z + 25 for x.
5
Suppose -i + 0 + 30 = 4*z, 0 = 4*i + 4*z - 96. Suppose 2*l - p - 35 = 6*l, 4*p = 4. Let m = i + l. Solve 5*q + 6 + 3 = 3*k, -5*q - m = -k for q.
-3
Suppose -3*o + 21 = 6. Let w = 19 + -10. Let r = 6 + w. Solve k + r = -o*t - 0*k, 0 = 5*t - 5*k + 45 for t.
-4
Suppose -2*p + 3*g = -16, 4*p - 1 = -4*g + 11. Solve -3*h + 5*t = 40 - p, 5*h = 5*t - 45 for h.
-5
Suppose 2*p - 5*q + 0*q + 13 = 0, -5*q = 3*p - 18. Let g be ((-6)/21)/(p/(-7)). Solve 20 = 4*o, 5*m + 17 = g*o - 3 for m.
-2
Let m be (-1)/4 - 21/(-4). Let y = m + -1. Let i(d) = -d**3 + 4. Let o be i(0). Solve y = o*w + q, -5*q = -q for w.
1
Let p(i) = i**2 - 14*i + 13. Let z be p(13). Solve z = -2*w + 2*c, 5*w - 5*c = -3*c for w.
0
Suppose 8*h - 6 = 5*h. Solve h*g + 26 = -2*a - 2*a, 4*g + 5*a + 40 = 0 for g.
-5
Suppose -4*o - 3*c + 171 = -4*c, -3*o - c + 123 = 0. Let g be (0 - -6)*28/o. Solve g*d + 17 = -0*d - 5*u, 0 = -4*d - 2*u - 14 for d.
-3
Let z(c) = c**3 - 4*c**2 + 2. Let x be z(4). Suppose 6*w - 2*w + 32 = 0. Let k be (-24)/w + (-1 - -14). Solve 3*p = x*y - 4 - 15, -k = 4*p + 2*y for p.
-5
Let w(u) = -u**3 + 7*u**2 - 7*u + 8. Let a be w(6). Solve 4*c = m + 17, 0*m + 9 = -a*m + 3*c for m.
3
Suppose -8*d + 17 = -15. Solve 3*w + 11 = d*y, 3*w - 5*y + 16 = -0*y for w.
3
Let q(u) = -u**3 - 2*u**2 + 3. Let k be q(-2). Solve -k*s - l = -2*l - 8, 0 = 2*s - 5*l - 27 for s.
1
Let g = 42 + -32. Solve -5*i = 5*r + g, 3*i + r + 2 = 4 for i.
2
Let a(p) = -p**3 - 12*p**2 - 15*p - 16. Let n be -2 + 1*(-1 + -8). Let k be a(n). Solve 5*m + k - 10 = -f, 5*m + 28 = 4*f for m.
-4
Suppose 0 = 54*a - 53*a - 2. Solve a*p + 3 = -4*o - 3, -p - 1 = o for p.
1
Let j(i) = 6*i - 2. Let s be j(1). Solve -x + 2*x = o + s, 2 = -o - x for o.
-3
Suppose 3*l - 67 = -4*m, -l - 4*m + 3 = -30. Let q be ((-24)/(-9))/(6/9). Solve -q*v = 4*c - 12, l = 5*v - 4*c - 7 for v.
4
Let p(o) = -o**3 - 10*o**2 - 9*o + 2. Let v be p(-9). Solve v*a = -6, 3 = -5*l + 4*a - 5*a for l.
0
Let z = -6 - -15. Let w(j) = -j**3 + 9*j**2. Let x be w(z). Let s be ((-1)/(-3))/(2/18). Solve 2*i + 16 = -s*i - r, x = 3*i - 2*r + 7 for i.
-3
Suppose -3*s = -75 - 15. Solve -30 = -4*t + 6*p - 4*p, 2*t - 4*p - s = 0 for t.
5
Let n(v) = v**2 + v. Let l be n(1). Suppose i + 11 = 2*b - 0*i, 5*i = 3*b - 34. Let m be 6*-1*(-1)/b. Solve -3*w - l*s - 18 = 0, 5*s - m = -17 for w.
-4
Suppose q = -k + 10, 4*k - 19 = 4*q + 5. Solve 5*p = -l + 2, 4*l = -2*p + 7*p + k for l.
2
Let d = 22 + -40. Let h be -1*1*(d - -15). Solve -5*p - j = 0, p + 2*j + 6 = -h*p for p.
1
Suppose 0*f = -3*f + 6. Suppose 11 = 5*j + 1. Let q be j*1/(-6)*-6. Solve -2*x + 2*t = -14, 3*x + 2*t + q = f*x for x.
4
Let w be 330/20 + 2/(-4). Let b = 9 - 6. Solve -4*u - 3*p + p = -18, -b*u + p = -w for u.
5
Suppose -4*f - 4*o = 4, -3*o + 13 = 2*f - 6*o. Solve t - 2*x + x - 3 = 0, -f*x = 4 for t.
1
Let b(p) = p**3 - 8*p**2 + 2*p - 12. Let f be b(8). Let l(o) = 1 + 2 - 4 - f*o. Let u be l(-1). Solve -10 = m + u*x + 2*x, -2*x = -5*m + 4 for m.
0
Let a = 3 + -14. Let v(p) = p**2 + 11*p - 3. Let m be v(a). Let o = 8 + m. Solve -4*c = -3*x - 1, o*x - 6 - 2 = -3*c for c.
1
Let j(g) = g**3 + 5*g**2 - 5*g + 6. Let i be j(-6). Suppose i = 2*z - z - 2. Solve 2*f + 3 - 1 = 0, z*o + 7 = 3*f for o.
-5
Let o(h) be the third derivative of h**5/60 - h**4/8 - h**3/6 + 2*h**2. Let q be o(4). Solve 3*s - 27 = 4*l, -q*s + 0*l + 18 = -l for s.
5
Suppose -14 = -3*q - 2*g + 1, 4*g = -5*q + 25. Solve q*t + 29 = -3*v, 11 = t - 6*v + v for t.
-4
Let n(g) = -g**3 - 9*g**2 + g + 11. Let o be n(-9). Solve o*q