 4 for k.
1
Suppose 5*d = 5*m - 65 - 10, 81 = 5*m - 2*d. Let j = m + 3. Suppose j = 2*r + 8. Solve 2*p + 5*q - 1 = 4, 0 = 2*q - r for p.
-5
Suppose f + 2 = -i, 5 = f - 5*i - 23. Solve -n + 6 = -p + n, 4*p + f*n - 20 = 0 for p.
2
Let g(i) = -7*i**2 - 4*i + 1. Let r be g(-5). Let n be r/(-35) - (-2)/(-5). Solve 0*u - n = -4*v + 2*u, v - 11 = -2*u for v.
3
Let a be (-2 - 15/(-6))*42. Let j be 7/a - 22/(-6). Solve 2*p - 10 = j*m, -4*p + 6 = -6 for m.
-1
Suppose -4*n + 2*n = -10. Suppose -55 = -3*j + n. Solve j + 0 = 3*q + 4*g, 0 = -4*q + 3*g - 15 for q.
0
Suppose 6*p = 4*p. Solve 2*l - 4*j = -2*l, -4*j = p for l.
0
Let d be (-13)/(-3) + (-12)/36. Solve -d*i - 5*a = 2 + 12, -3*i - 2*a - 7 = 0 for i.
-1
Let v be (0 + -1 + 15)*1. Solve -5*r - v = -z, 3*z + 6 = -2*r + r for z.
-1
Let n = 22 - 16. Suppose -n = 2*q, 0 = -f - 4*q - 4 - 4. Solve f*l + 7 = -j - 0*j, 0 = -4*l + 5*j - 13 for l.
-2
Let l = 16 + -10. Solve -3*g - 4*b - 1 = 0, -4*g + 2 = 3*b - l for g.
5
Suppose 63 = -4*f + p - 79, 62 = -2*f + 5*p. Let z be (1/3)/((-2)/f). Let n be 4/z - (-28)/21. Solve 3*w = 5*t - 14, 3*t + 3*w + n + 4 = 0 for t.
1
Suppose 6*j - 4*j = -4*i + 8, 5*i = -2*j + 8. Solve -4*g + 6 = -2*r, -j*r = -4*g + 2*g for g.
2
Let a(z) = -53*z**2 + 10*z. Let m(n) = 18*n**2 - 3*n. Let x(b) = -2*a(b) - 7*m(b). Let s be x(-1). Let d = s - -29. Solve d = -2*v + 4, -4*v = -3*o - 4 for o.
-4
Suppose 2 = 3*x - 7. Solve 3*l - x*k = 2*k - 35, -24 = 4*l - k for l.
-5
Suppose -34*j + 33*j = -5. Suppose 5*g - 37 = -4*a, -6*a = -2*a - 5*g + 13. Solve 0 = -a*f + 3*c, -f - 5 - j = -3*c for f.
5
Let c = -82 - -82. Solve r = -5*j - 2, 2*r + 4*j + 4 = -c*r for r.
-2
Let j(k) = k - 1. Let y be j(1). Suppose y = 4*z - 141 - 19. Let s = z + -28. Solve 0 = -5*d - 5*r + 40, -3*d + 3*r = 2*r - s for d.
5
Let a(r) = r**2 - 4*r - 7. Let o be a(5). Let u be (2/4)/(o/(-12)). Let h = -204 + 207. Solve -s = -u*g - h - 1, 4*s = -3*g - 29 for s.
-5
Let m = 14 - 21. Let n be (-2)/(-4)*(m - -19). Solve n*i - 5*i = -w - 8, 0 = i - w for i.
-4
Let z = 10 + -9. Let r be ((-4)/(-6))/(z/6). Solve -2*h + 5*m - 20 = -r*h, -2*h = 3*m - 12 for h.
0
Let g = 9 - 9. Let z = 0 - g. Solve -2*b + h + 3 = z, -4*b - h - 4 + 1 = 0 for b.
0
Suppose -2*h = -0*h - 14. Let c = -5 + h. Solve -v + 15 = -4*b - 8, c*b + v + 7 = 0 for b.
-5
Suppose -3*a - 136 = 2*a + 3*m, 23 = -a - 2*m. Let r = -26 - a. Solve -n = -3, -3*x - 2*n = -r*n for x.
1
Let l(b) = -b - 14. Let v be l(-18). Solve 5*r - v = -s + 5, 0 = 2*r + 4*s - 18 for r.
1
Suppose 3*m - 4*u = m, -m + 5*u = 0. Suppose 4*w = -m*w. Let j = w - -4. Solve 5*r - 4 = -3*g + 2, 0 = j*g - 5*r - 8 for g.
2
Suppose 0 = -3*i + i - 12. Let f = 10 + i. Solve -j - 2 = 3*b, b = -f*b - 4*j - 1 for b.
-1
Let o = -8 - -11. Suppose -2 = -o*s + 4. Solve 5*f = s*u - 18 - 13, -3*u = -2*f - 19 for f.
-5
Let m = 22 + -19. Suppose -m = -5*y + 17. Solve y*j + 3*h = -4 - 19, j + 1 = 4*h for j.
-5
Let i(y) = y**3 + 4*y**2 - 2*y - 6. Let l be i(-4). Solve 0 = -3*k + 15, 3*z + 25 = -0*z + l*k for z.
-5
Suppose 4*u + 24 = -3*r, -3*u - r - 4*r = 29. Let c be (-21)/u + -3 + 1. Solve -16 = -c*a + 2*p, -a + 14 = 4*p + p for a.
4
Suppose -4*q - 1 - 3 = -4*d, 2*d = -4*q - 10. Let m be ((-15)/6 + q)*-2. Let k = 18 - m. Solve -12 = 4*c, y - 2*c = -4*y - k for y.
-3
Suppose -5*l + 2*l = -7*l. Solve -2*g + 3*k + 23 = l, -g + k + 21 = 3*g for g.
4
Suppose 11*g = 8*g. Solve -3*u + 2*b = -2*u - 4, g = 3*u + 3*b - 12 for u.
4
Let b = 59 + -56. Solve -3*s + 10 = -2*y, -b*y + 6*y + 15 = -4*s for s.
0
Let a = 43 + -39. Solve -3 = -4*q + 2*l + 1, -a*q + 4 = 5*l for q.
1
Let l(c) = 7*c + 2. Let i be l(0). Solve 5*m + 4*h - 9 = 0, m - 10 = i*h + 3 for m.
5
Suppose 12 = 3*f - 0*f. Let r be f/2 - 1/1. Solve -5*n - j = 13, -5*n - 5*j = 4 + r for n.
-3
Suppose -3*x + 6*x = 0. Suppose x = 8*d - 3*d - 30. Suppose 9 = -3*j, 2*z + 21 = d*z - 3*j. Solve 0 = c - z*w - 10, 2*c - 2*w = -3*c - 2 for c.
-2
Let o be (3/2)/(7/(-1610)). Let v be o/(-20) - 2/8. Solve -5*a - c = -3 - v, a - 5*c = -22 for a.
3
Let c be (-350)/(-45) + 6/27. Solve 3*q - 3 = -0*q, 3*q = o + c for o.
-5
Suppose -2*b + 6 = -4*v, 0 = 3*b - b + 2. Let c(h) = -2*h**3 - 2*h**2 + h - 2. Let n be c(v). Solve 0 = 5*f - 4*m - 12, n*f - 11 = m + 3 for f.
4
Let n be (-2)/(-7) + 4/(56/66). Solve 2*j - i - 5 - 1 = 0, n*j + 3*i - 15 = 0 for j.
3
Let a be (7 - 6)/(-1*1). Let w be a*(2/(-1) + 0). Solve w*p + 8 = 0, -4*k + 32 = p - 5*p for k.
4
Suppose 0 + 8 = 4*k + 2*v, 5*k - 8 = -3*v. Let g = -5 + 8. Let y be (-40)/(-15) + 1/g. Solve -4*m = -2*z + 2, k*m + y*z = -7 - 10 for m.
-2
Let j(c) = 7*c + 4*c**2 + 0 - 15*c + c**3 - 5. Let f be ((-9)/3)/(6/10). Let g be j(f). Solve g = 4*v + u, -2*u + 2 = -u for v.
2
Let w be (-2)/(-4) - (-3)/2. Let l = w - 0. Solve 2*x = 3*k - 11, k + l*x + 0 = 1 for k.
3
Let d = -2 + 5. Suppose d*r + 30 = 2*r. Let a be ((-4)/12)/(2/r). Solve -2*t + 1 = -3*m - 4, 5*t - 5*m = a for t.
-2
Let q = -12 - -15. Solve 0*t - y + 8 = q*t, -12 = t + 4*y for t.
4
Let a(q) be the second derivative of q**3/2 - q**2/2 + 2*q. Let d be a(2). Solve b - 5*l = 0, 0 = 2*b + d*l - 0*l for b.
0
Suppose 3*f = -i + 8, -2*i + 2*f = -f - 7. Solve -2*h + 4*h + 3*p + 15 = 0, 0 = -3*h - i*p - 25 for h.
0
Let y(u) be the first derivative of u**3/3 + 4*u - 3. Let n be y(0). Let l be (-2)/(-9) + n/(-18). Solve 2*t - 2*f = l, 3*t - 5*f - 8 = -0 for t.
-4
Suppose 5*p - 91 = -4*g, 0 = -p + 5*p + g - 64. Solve 15 = -x + 4*d, -2*x + 3*d + 2*d - p = 0 for x.
5
Suppose -2*g + 8 = 2*g. Suppose 1 = -g*v + 5. Solve 4*p - d = d, -5*d + 24 = v*p for p.
2
Suppose -6*r + 2*r - 56 = 0. Suppose 0 = 3*x + 50 + 22. Let k = r - x. Solve -j = -5*j - 2*d + 20, 0 = -5*j + 5*d + k for j.
4
Let v be (-5)/(-2) + (-6)/(-4). Solve 2 = 4*j + y - 2, y = 5*j + v for j.
0
Let j = 6 + -3. Solve u - j*m + 8 = 0, u + 2*m = 2 - 5 for u.
-5
Suppose 80 = 2*g - 44. Suppose 4*j - 62 = g. Solve -2*r + 4*v = r - j, -4*v = 4*r - 4 for r.
5
Let g = 11 + -6. Solve -b + 5*c + 4 = 0, -g*c - 6 = 4*b - 22 for b.
4
Let x be (9 - 3) + (1 - 4). Solve x = 3*u - 4*u + 5*z, -2*u - 2*z + 6 = 0 for u.
2
Let r(c) be the third derivative of -c**4/24 - c**3/6 - 2*c**2. Let u be r(-3). Let n = 2 - -1. Solve y - n = 0, -3*y + 3 = -2*d - u*y for d.
0
Suppose 2*q = -q + 3. Let c be 6 - ((-3 - -5) + q). Solve 2*h - 2 = -v, c*v - 2 = h - 3*h for h.
1
Suppose 8 + 7 = 5*b. Suppose b*r - 2 = 1. Let k be -1 + 24 - 9/(-9). Solve u - 3 = -2*m, 0 = 3*u - 2*m - r + k for u.
-5
Let g be 111/21 + (-6)/21. Let v be 4 - ((-8 - -3) + 4). Solve -v*c = -0*j + j - g, -5*j + 25 = -3*c for c.
0
Let t(g) = -g**2 + 6*g - 9. Let b be t(6). Let v(k) = k**3 + 8*k**2 - 8*k + 9. Let l be v(b). Let x = l + 2. Solve -4 = -x*r + 5*j, 0*r + 4 = 2*r + 2*j for r.
2
Let d = -82 - -85. Solve 5*y - 7 = y + d*n, 0 = 5*y + 5*n - 35 for y.
4
Suppose 2*a + 5*y - 31 = -a, 4*a + 4*y = 28. Solve 0*n - n = a*o - 1, -4*o - n - 1 = 0 for o.
-1
Let f be -1 - (-2 + 0) - -2. Suppose -4*o = -i + 7, 1 - f = o. Let l be (0 + 0)*i*1. Solve -5 = u, l = 6*y - y - 3*u - 40 for y.
5
Suppose -5*l = -0*l + 5*v - 40, -11 = -4*l + 3*v. Solve 2*y + 18 = -l*p, -2*y - 2 - 12 = 3*p for p.
-2
Suppose g + 70 = -5*n, 0 = -2*n + 4*n + 2*g + 20. Let c = -8 - n. Solve -c*y + 4*y + s = -1, -3*s - 8 = -4*y for y.
-1
Let y be -6 + 2 - -22*1. Suppose -d + 3*p = -p + 2, 5 = 5*p. Let z(x) = x**2 - 4*x - 2. Let q be z(5). Solve -4*o - 12 = d*a + 6, 3*a = -q*o - y for a.
-3
Suppose 0 + 10 = 2*t. Solve 5*m + 4*i + 5 = -i, t*i - 15 = -m for m.
-5
Suppose -2*c + 4 = -4. Let h(j) = j**3 - 4*j**2 + 2*j - 4. Let m be h(3). Let l = m - -11. Solve 5*s = -l*r + 31, 4*r + 0*r - 28 = -c*s for r.
4
Let k(f) = f**2 - f + 1. Suppose -x - 8 = -5*x. Let w be k(x). Solve 5*d - 35 = w*y - 0*d, 3*y + 19 = d for y.
-5
Suppose 5*z - z = 3*g - 13, 17 = 4*g - 5*z. Let q(k) = k**2 + k + 4. Let f be q(0). Solve f*w = c + 21, 0 + 3 = -g*w - 3*c for w.
4
Let s = 5 + -3. Suppose -d = -0*d - 4. Let g be (5/d)/(9/36). Solve -2*p + 18 + 6 = g*z, -4*p = -s*z for p.
2
Let o = -12 + 48. Suppose -5*d - o = -121. Suppose 5*z - v - d = 0, 3*z - 2*v = -7*v + 27. Solve 0 = -8*c + 4*c + g, 0 = -3*c + z*g for c.
0
Let h be ((-8)/(-2) - 3) + -3. Let s be h + -1 + (-3 - -24). Solve 4*i + 15 - 3 = 0, l = 5*i + s for l.
3
Let w be 8/10 - (-5)/25. Suppose 2*s + 3 = k + 2