**2 - 14*k + 61. Let b be m(7). Solve -2*a + b = -4*i - i, 3*a + 3*i + 3 = 0 for a.
1
Let k be (-2)/7 + 64/28. Suppose -k*j + 0*j + 205 = 5*z, -2*z + 386 = 4*j. Suppose 4*n + n = j. Solve 4*p = -q - n, -p - 4*q + 24 = -5*p for p.
-5
Suppose u = -3*h + 65, 2*h + 2*h + 72 = u. Let x = 125 - u. Suppose 3*r = -0*r - i + x, r + i - 19 = 0. Solve 4*b = -5*v + 16, -4*b - 3*v - 3 + r = 0 for b.
4
Suppose 0 = 54*h - 43*h. Solve 0 = 5*i + 2*l - 16, -l - 1 = -2*i - h for i.
2
Let l(x) be the first derivative of x**2/2 + 17*x - 13. Let b be l(10). Solve -2*k - b = -5*v, 0*k + 6 = v - k for v.
5
Let f be (-2)/(-1 - (-8)/10). Suppose -5*p - x - x = -11, -5*x = f. Let d = -241 - -244. Solve l - 12 = -p*b, 4*b + 2*l + d*l = 5 for b.
5
Let m be (-2)/((-1)/((-44)/(-8))). Suppose 0 = 3*k + 5*b - 5 - 5, 5*b = 5*k - 30. Solve -2*i = n - m, -k*i + 23 = -i + 3*n for i.
5
Let i = 12 - 6. Suppose 0 = d - i*d + 10. Let o be ((-1)/d + 1)*14. Solve -2*w - 14 - 8 = 3*u, -3*u = -w + o for w.
-5
Suppose -4*x = -36 - 28. Let w be (-4)/x - (-34)/8. Solve -3*f + 5*a - w = 1, 5*f + 15 = 5*a for f.
-5
Let l(n) = n**2 - 13*n + 25. Suppose 0 = -41*s + 37*s + 44. Let v be l(s). Solve -2*r - 3*d + 4 + 1 = 0, -6 = -v*r - 4*d for r.
-2
Suppose -10*j - 17 = -9*j - 4*x, 0 = -3*x + 15. Solve 0*v + b = -3*v, 4*v + j*b = 0 for v.
0
Suppose -4*b + 20 = q, -3*b = -4*q - q + 8. Suppose q = 4*s, 2*v - 52 = -4*s + 8. Let k = v - 7. Solve -5*c - 3*l = -8 - k, 31 = 4*c + 5*l for c.
4
Suppose -6*y + 14 = y. Solve 17 = -b - 4*u, 2*b = -3*u - y*u - 25 for b.
-5
Let s = 255 + -253. Solve 0 = 4*d - 3*q + 12, -2*d + 2*q = -s + 8 for d.
-3
Suppose -12 = -4*s - 5*h, 5*s - 18 = -4*h - 3. Suppose -d = s*m - 0*m - 57, 0 = -3*d. Let v = -17 + m. Solve -5*n + 3*a = 3, 0 = n - v*n + 5*a - 5 for n.
0
Let h be (-2 - (-1 - 10))*(-1100)/(-30). Suppose 0 = 4*w + 6*w - h. Solve -5*b + v = 21, -5*v - 12 = 5*b + w for b.
-5
Suppose -7*i + 5*i = -36. Let u be (16/(-9) - i/81) + 4. Solve -2*s - 8 = 3*v - u, -3*v = -4*s + 6 for v.
-2
Let b(a) = a + 41. Let p be b(-38). Solve -y + 7 = -2*z, -4*y - 3*z = -p - 3 for y.
3
Let u(h) = -2*h**3 - h**2 + 22 - 9 - 13. Let t be u(-1). Solve -2*n + 2*v + 3*v = t, 0 = 4*n + 5*v + 17 for n.
-3
Let j(x) = 5*x**2 - 2*x + 2. Let f be j(1). Solve f*p - 30 = -3*s, -4 = -4*p + 8 for s.
5
Suppose 0 = 5*d - 29 - 6. Let s(c) = 4 - d*c**3 + 6*c**3 + 11 + c. Let q be s(0). Solve -5*u - j - 8 = 4, u - 4*j + q = 0 for u.
-3
Let w = 28 - 21. Let q(j) = -j + 5*j - 3*j + 0*j - 2. Let x be q(w). Solve -3*n - 5*r = -10*r + x, -2*r + 1 = -n for n.
-5
Suppose -40 = -14*i + 2. Solve -o + i*o - 10 = -2*u, -4*o = 5*u - 23 for u.
3
Let j = -1091 - -1111. Solve -5*d - 4*k + j = -k, 5*k = 0 for d.
4
Suppose 0 = -12*u - 444 + 540. Solve 0 = 4*g + t + u, 13 = -3*g - 0*t + t for g.
-3
Let g be (7 + -3)/4*-65. Let w = -33 - g. Suppose -5*l + 54 - 16 = o, 4*l = 4*o - w. Solve 0 = -4*y + 5*s + 13 + o, 0 = -5*y + 3*s + 26 for y.
4
Suppose 0 = -n - 4*n + 30. Let q be n/((-21)/(-6) + -2). Suppose -2*d - j - q = -0*d, -d = 2*j + 8. Solve -l + 5 = d, 2*x + 10 = 3*l - 9 for x.
-2
Let d be (-4)/(-2) - (-36)/(-6). Let o be -10*((-5)/(-2) + d). Solve -q + 2*q = -k + 1, 3*q - o = 0 for k.
-4
Let i be 4*-1 + (5 - 9 - -11). Solve 3*v - 7 = 5, 2*w - i*v + 10 = 0 for w.
1
Let w(c) = -c**3 - 5*c**2 - 5*c - 6. Let i be w(-3). Let l be (-66)/i - (-6)/9. Solve 4*q = -s - l, -3*s + q = -0*q - 15 for s.
4
Suppose 0*k - 3*k = 0. Suppose -2*y = 3*s - 37, -2*y + 3*s = -47 + 4. Suppose k*t + y = 5*t. Solve -m + 6 = -3*o, 3 + 6 = t*m + 3*o for m.
3
Suppose -42 = 2*h - 94. Solve -5*j + 30 = 5*z, 3*j - 5*z + 10*z = h for j.
2
Suppose t + h + 1 - 49 = 0, -2 = -h. Let r = t + -37. Solve -c = 5*k - 24, -3*c + 2*k = 4 + r for c.
-1
Let f(u) = 5*u**3 + 5*u**3 - 2*u**3. Let m be f(1). Let n = m + -8. Solve -2*t + 2*o + 18 = n, 15 = -t - 3*o + 4 for t.
4
Let b(w) = w**3 + 7*w**2 - 8*w + 3. Let c be b(-8). Solve f = -4*p - f + 18, 0 = 4*p - 5*f + c for p.
3
Suppose 0 = 12*u - 18*u - 438. Let n = 73 + u. Solve 0*d = -4*d + a + 15, n = 5*d + 4*a - 24 for d.
4
Let y(h) = h**2 - 22*h + 75. Let v be y(4). Solve 4*d = 3*p + v, -3*p + d - 2 = -8 for p.
3
Let u = -8 + 12. Suppose 0 = -u*s + 5 + 11. Suppose 2*q + d = 10, 5*q - 2*d - 25 = 2*d. Solve -2*k = -s*p + 3*p + 6, -3*k = -5*p - q for p.
-4
Suppose 7*b = -0*b + 56. Solve 5*p + 3*n - b = 2, -4*p + 30 = -2*n for p.
5
Suppose 3*x - 3*p = 3, 4*p = 2*x - 5 - 3. Let w be 0*(x - (0 + -1)). Suppose -7*k + 6*k = w. Solve 2*v - r - 2 = k, v + 7*r - 1 = 2*r for v.
1
Suppose -56*i = -3*i - 318. Solve -5*r - 16 = -8*f + i*f, -2*f + 12 = -3*r for f.
3
Let h(x) = x**3 - 9*x**2 + x - 9. Let k be h(9). Solve k = 5*d - 2*l, 0*d + 4*l = -4*d for d.
0
Let m be 76/(-8) + 15 - (-2)/(-4). Solve 4*f - 7 - 11 = m*z, -2*z + 5*f - 14 = 0 for z.
-2
Let n be 1/(-3)*0/2. Let u be -2*(1 - n)/(10/(-20)). Solve 3*h + 2 = s, s - 2*h = -s - u for s.
-4
Let g be (33 - 26) + 1*-6. Solve 4*f + 3*y + 12 = 0, 5*f - 2*y - 7 = g for f.
0
Let g = 82 - 79. Let s(d) = 3*d - 3 + 0*d - 4*d. Let v be s(-6). Solve 7 = b - g*w, v*w + 3 + 8 = -b for b.
-2
Let u be 120/36 - (-6)/9. Solve 0 = 2*z + u, 2*k + 10 = z - 3*z for k.
-3
Suppose 0*b = 5*b - b. Suppose 3*q + q - 12 = b. Solve 3 = q*s, 3*v = 3*s - 17 - 1 for v.
-5
Let z = 58 - 54. Let b be (-1 + -1)*5/(-10). Solve -3*n = f - b, 11 = -4*n - 3*f + z for n.
2
Let j be (1/((-15)/85))/1*-3. Solve -5*c - j = 3*u, 2*c - 7*c - 5*u = 15 for c.
-4
Let n be 6/(-15) + 48/120. Solve 5*w + 4*p + 45 = n, w - 4*w = -2*p + 5 for w.
-5
Let z(u) = -u**2 - 4*u - 3. Let r be z(-5). Let j be ((-10)/r)/((-1)/4). Let n be 18/30 - 7/j. Solve 2*d = -5*f - n*d + 12, 6 = 3*f + 2*d for f.
0
Let j(k) = -25*k - 120. Let w be j(-5). Solve 3*g + 4 = -4*a - 1, -a = w*g - 3 for a.
-2
Let g be 3 + (-7)/((-14)/4). Suppose l - p = 2 - 1, -l - p + g = 0. Suppose 2*j - 7 = f, -l*j = 2*f - 0*f - 7. Solve 2*m = -2*o, -j*o = -2*o - 2*m + 15 for o.
-5
Let l(t) = 4*t**2 - 7*t - 7. Let i be l(-1). Suppose 0 = -2*g - 4*p + 20, -5*p = -2*g + 1 - 17. Solve -i*d + g*n + 6 = 0, 2*d + 15 = -2*d - 5*n for d.
0
Let h be (-3)/(-18) + (-6)/36. Suppose 0 = 2*n - 6*n + 12. Let b be n/(-12) + (-13)/(-4). Solve -4*q - 2 - 2 = h, -2*t = b*q + 5 for t.
-1
Let m = 255 + -167. Let x = m - 79. Solve -r - x - 1 = -4*z, -4*z = -4*r - 16 for r.
-2
Let p(j) = 9*j - 23. Let k be p(3). Solve 5*u = k*t + 11, -u + 2*t = 4*u - 13 for u.
3
Suppose x - 4*x = 5*x. Suppose x = 7*q - 4*q - 6. Solve 2*n + v - 7 = 0, 2*v = -n + q*n - 6 for n.
4
Suppose -2*s = o - 11, -o - 3*o + 2*s = -34. Suppose -4*b - 7 = -3*p, -b - b + o = p. Solve 0*k + 3*k = -b*a - 17, 0 = 3*k - 4*a + 11 for k.
-5
Suppose -6*k = -69 + 51. Solve 2*d + 40 = k*v + 17, 5*d = -20 for v.
5
Suppose 4*n = -n + 180. Let w be (n/(-5))/(-3)*30/12. Solve -4*b - 2*u = -5*u + 1, 0 = -5*b - u - w for b.
-1
Let m(a) = -2*a**3 - 9*a**2 - 9*a - 15. Let i be m(-4). Solve -2*v = l + 1, i*v - 2*l = l - 30 for v.
-3
Let a be 1 + ((-4)/8 - 38/(-4)). Solve -12 = 4*c - 4*o, 4*c = -2*o - 4 + a for c.
0
Let g(m) = -7*m**2 + m + 7. Let a(t) = -4*t**2 + t + 4. Let v(z) = 5*a(z) - 3*g(z). Let b be v(-3). Solve 2*d = b*u - 16, 3*u = d + 7 + 7 for d.
-5
Let z(i) = -i**2 - 13*i + 2. Let s(f) be the third derivative of -f**4/8 + 2*f**2. Let b be s(4). Let a be z(b). Solve 0 = -g + 4*g + 15, 2*g = -4*h - a for h.
-1
Let f(s) = s**3 + 4*s**2 - 7*s - 7. Let k be f(-5). Suppose -5*n + 0*n - 5 = 0. Let o = k + n. Solve -v + o*p - 14 = 2*v, -v = 5*p - 1 for v.
-4
Let j = 21 + -5. Suppose -j + 6 = -5*l. Suppose -l*r - 58 = -5*d - r, 2*r + 6 = 0. Solve -2*g + 2*p = -10, 3*g + 0 - d = p for g.
3
Let n be -6 + -2 - (-1 - (2 + -4)). Let l = n + 21. Solve 4*j - 9 = 3*c, -j + 3*c = 4*j - l for j.
3
Let n = -49 + 53. Let y(d) = -d - 3. Let a be y(-4). Solve 5*r = 3*t - 16, -1 = 3*t + n*r + a for t.
2
Let h(b) = -b**2 + 15*b + 20. Let z be h(16). Solve -3*k + z*x + 4 = -24, 5*k + 3*x - 8 = 0 for k.
4
Suppose 9*x = 10*x + 3*x. Solve x*s + 10 = -5*b - s, -2 = b - s for b.
-2
Let m(v) = -8*v + 3. Suppose -8 = -2*z, 5*u - 4*z + 1 + 0 = 0. Let j be m(u). Let a = -17 - j. Solve -r - 10 = -l, -a*l + 0*r = 3*r - 5 for l.
5
Let v = 14 - 6. Suppose -6*z + v*z = -52. Let r be (-20)/(-6)*(-39)/z. Solve -5*d = -r*k + 10, 4*k - 15 - 2 = d for d.
3
Let w(b) = b**3