*k + y. Solve 4*f = -2*b + 6*b - k, 3 = 3*b for f.
-1
Let s(k) be the third derivative of k**5/60 - 7*k**4/8 + 11*k**3/3 - 12*k**2. Let m be s(20). Solve r + 8 = m*p + 2*r, -p + 5*r - 18 = 0 for p.
2
Suppose 4*u - 12 = -5*n, 2*u = -99*n + 100*n - 8. Solve -2*v - 2*v + n = -4*x, -4*x = 3*v - 24 for x.
3
Suppose -27*z = -28*z. Suppose 0*n - n + 5 = z. Solve -v - 4*v - 5*c + 35 = 0, -5*v + n*c - 5 = 0 for v.
3
Suppose 2*g + 2*g = 5*c - 111, 5*c = g + 114. Let q = c + -18. Solve 0*d = 5*d - 4*l - q, 0 = -4*l for d.
1
Suppose -2*l = -l - 2. Let f = l - 10. Let q be (-7 - f)/(2/10). Solve 0*y + t = 4*y - 25, q*y = 4*t + 45 for y.
5
Let w = -37 + -59. Let q = w - -114. Solve 0 = 2*z - 5*f + 10, 2*z + 2*f - q = -0*z for z.
5
Let w be (17 - 11)*(-2)/(-21)*7. Solve 2*s = -z + w - 5, 8 = -z + 5*s for z.
-3
Let i(s) = 3*s - 4. Let d be i(7). Solve -3*h = -u - 2*u + 9, 0 = 5*u + 3*h + d for u.
-1
Suppose -3*t + t = -112. Let a be t/3 + 4/(-6). Solve 0 = -4*g - 2*z - a, -3*g = 3*z + 8 + 7 for g.
-4
Let a(p) = 0 - p + 2 - 1 + 8. Let x be a(5). Solve 2*g + q - 11 = -1, q - x = 0 for g.
3
Let d be (-3)/18 + (-76)/(-24). Suppose 4*g = 12, 2*f + 0*g - 3*g + d = 0. Solve 3*h = f*m - 3, 7 = -2*h + 6*m - 3*m for h.
4
Let g(q) = -2*q**2 - 10*q + 18. Let b be g(-6). Solve -4*o + 8 = 2*y - b, -o = -4*y - 17 for o.
5
Let o be (-1)/6 + (-73)/(-6). Suppose j - o = a + 4*j, -4*a + j = -4. Solve a = -3*v - 6*l + 2*l - 4, 5*v + 2*l - 12 = 0 for v.
4
Suppose -s - 2*s - 16 = 5*k, -5*s = -4*k - 35. Let d be 8/(-4) - 10/(1 - s). Solve 4*x + 5*q = -1, -5*q = 2*x - d*q for x.
1
Let w(n) = -n**2 - 4*n - 1. Let b be w(-7). Let p be 3/(-15) - (0 - b/(-10)). Solve -2*f + 2*t = -2, -p*f + 3 = 3*t + 6 for f.
0
Suppose 7*r = 2*r - 5*j + 85, 4*r = -5*j + 69. Suppose -2*b = -3*a + r, -2*b = a + 4*a. Solve -1 = 5*u - 2*t, -4*u + a = t + 8 for u.
-1
Let h be ((-3)/(-5))/(3/30). Let x be 3/(-3 + h) - -15. Let p = x + -16. Solve 0*z = -l - z + 2, p = 2*l - 3*z + 11 for l.
-1
Let r(y) = 2*y + 22. Let d be r(7). Suppose 4*i - 64 = -2*q - 2*q, -3*i + 3*q + d = 0. Solve -v - u = v, i = v + 4*u for v.
-2
Let f = 1708 + -1708. Solve -41 = 12*n - 7*n + 4*x, -n + x - 1 = f for n.
-5
Let t be ((-3 - -1) + 1)/(-1). Let m be (19 - 9) + t*-1. Solve -5*p - l = 1 + 4, -l + m = -2*p for p.
-2
Suppose -2*f + 6*f - 12 = 0. Suppose 5*s + 50 = 60. Solve 0 = -4*l - 5*g - 12, 0 = -3*l - s*l - f*g - 2 for l.
2
Let n be (-24)/(-1) - (0 + 4). Solve u = -3*b - n, -3*u = -0*b + 3*b + 30 for u.
-5
Suppose -2*u = -c + 3*u + 29, -5*c = -4*u - 40. Solve 0 = i - r - 10, -3*i = r + c*r + 10 for i.
5
Suppose 4*m = -5*g + 6 + 10, 4*m = -4. Solve -3*i - 2*y + g = -i, -i + y + 4 = 0 for i.
3
Let a(r) = -5*r - 105. Let w be a(-24). Let u be 40/w + -2 + 4/12. Solve 0 = m - 2*p - 6, u + 11 = 5*m - 4*p for m.
0
Suppose 281 - 194 = 29*b. Solve 3 - 18 = 5*u + 5*w, -b*u + 3*w = 9 for u.
-3
Suppose 4*z + 48 = 5*p, -4*z + 14 = 5*p - 18. Suppose -5*o + p*o - 15 = 0. Solve 0*k + k - o*s = -28, 0 = 5*k + 3*s for k.
-3
Let n be (-12)/(-1) - (0 - -7). Solve -l - 20 = -3*a, 3*l - 5 = -n*a + 5 for a.
5
Let x = 5 + -12. Let l be (1 + 1 - -5)*(-6)/x. Solve 5*k + 9 = -2*q, -4*k + k = q + l for q.
3
Let n be ((-225)/(-525))/(6/28). Solve 3*k + 5*s = -29, -5*k - 5 = -3*s - n for k.
-3
Let v = 60 - 78. Let g be (2 - 1) + 1*v/(-3). Solve x = 3*i + 4, 0 = -i + 2*x - g*x - 12 for i.
-2
Let s(h) = -h - 17. Let v be s(-19). Solve l + 4*x - 1 = -10, 12 = 2*l - v*x for l.
3
Suppose -8*n = -4*c - 3*n, 4*c = -4*n + 36. Solve 0*a + c*a = 4*s + 28, 20 = 5*a for s.
-2
Suppose 2*g + 240 = 8*g. Let j(x) = x**2 - 5*x + 4. Let q be j(4). Let y(k) = k + 5. Let h be y(q). Solve -i + 3 = 8, h*i = 5*c - g for c.
3
Suppose 12*l = 7*l + 95. Let c = -5 + 5. Let v(i) = i + 10. Let h be v(c). Solve 5*t + l = 2*w, -3*w + 11 = -5*t - h for t.
-3
Let c(d) = 3*d + 0*d - 4*d - 20 + 7. Let m be c(-17). Solve m*x - 4 = 2*y, -2*y - 7 = -8*x + 3*x for y.
4
Let t be 10*((-18)/4)/(-9). Suppose 0 = t*n - 1 - 9. Solve 4*k + q + 11 = 0, -3*k + k - 10 = n*q for k.
-2
Suppose -7 = -3*a - 1. Let d = 121 + -106. Solve -2*x - a*u - 35 = 3*u, -d = 3*u for x.
-5
Suppose 22*y - 11*y = 10*y. Solve y = q + q + x - 13, 2*q - 22 = -4*x for q.
5
Let n be (-3)/(-2)*(-72)/(-36). Suppose -4*c + 0*c = 0. Suppose -23 = -m + n*o - 6, c = -o - 4. Solve 5*t + x = -19, -m*x - 3 = -5*t - 28 for t.
-4
Let h be (-6)/(-9)*(2 + 1). Suppose -3*m + 2*o = -6*m + 56, h*o = -4. Solve 3*s + 8 = s + 2*c, -5*c + m = 3*s for s.
0
Suppose -2*k + 3*n = -9, -3*k + 3*n + 24 = 12. Solve 2 - 7 = f + k*h, 5*f - h = -25 for f.
-5
Let q be (4 - (6 + -1)) + 4. Suppose q*x - 15 = x - 3*g, 3*x - 22 = -4*g. Solve x*i = t + 3*i - 19, 0 = -2*i - 10 for t.
4
Let a(i) = -i**3 + 17*i**2 - i + 22. Let t be a(17). Let z(o) = o**2 + 2*o. Let c be z(-3). Solve b - 5 = 2*h - 7*h, -t*h = -c*b - 5 for h.
1
Suppose 0 = -108*b + 103*b + 40. Solve -5*k + 3*i = -i + 7, 2*k = -i - b for k.
-3
Let a be 0/1 + -1 + 4. Suppose -29*n + 88 = -18*n. Suppose 0 = 4*u - 4*f + 16, -u - 5*f - 12 = -n*f. Solve -5*d - 10 = 3*m, u = -0*m - a*m + 3*d + 6 for m.
0
Let o(z) = -z**3 + 4*z**2 - 9*z + 22. Let j be o(3). Solve -j*k = -4*b - 0*k - 4, -4*k = 5*b + 41 for b.
-5
Suppose 18 = 3*w + 3*m - 24, 4*m + 4 = 0. Solve k - 3*r - 5 + 0 = 0, 3*k - 2*r = w for k.
5
Suppose 0 - 21 = -a - 5*v, 0 = -4*a + 3*v + 15. Let o be (-18)/4 + a/12. Let g be 2 + (-6 - -2)/o. Solve 0 = -2*d + 2*i + g*i + 16, -5*d - 4*i + 7 = 0 for d.
3
Suppose -7*f + 121 = -2*f - 2*h, -14 = -f - 3*h. Suppose -3*r + 2*w + 11 = 0, -w - 5 = -2*w. Let k = -2 - -5. Solve u + 5*x - f = -r, 3*u + k*x = 0 for u.
-4
Suppose 2*u - 10 = -3*u. Suppose -u*v = -r - 2*r - 4, 0 = 5*v + 2*r - 10. Suppose 11*h - 16*h = -10. Solve 10 = v*x + h*o, -3*x + x - 18 = -5*o for x.
1
Let i(u) be the first derivative of u - 4 + 1/2*u**2. Let d be i(13). Solve 0 = 2*f + v + d, -4*f - v - 5 = 19 for f.
-5
Suppose 2*r = 2*m, r - m + 5*m - 10 = 0. Suppose -3*j - 4*p = 69, 4*j + r*p + 99 = -p. Let s = 31 + j. Solve -s*w - 33 = -5*b, -w + 7 = 3*b + 3*w for b.
5
Suppose 90*k - 2 = 89*k. Solve 0 = -5*m - k*p + 11, -2*m + 5 = m + 2*p for m.
3
Let q = -43 + 46. Suppose -3*n - c + 26 + 14 = 0, 48 = 3*n + q*c. Solve -r - 2*w - 2 = 7, 5*r - w + n = 0 for r.
-3
Suppose -k + 7 = 2*g + 4, 5*g = -5*k. Solve 5*w - 3*s + 19 = 0, w - 2*w - g*s + 7 = 0 for w.
-2
Let a(q) = -2*q**2 - 3*q - 3. Let m be a(3). Let w = 30 + m. Solve w*z = -5*r - z - 27, -14 = 2*r + 2*z for r.
-5
Let c be 2/5 + 13/5. Suppose -b + 14 = c*t - 0*b, b = 5. Let r(s) = 4*s - 7. Let i be r(3). Solve 0 = 3*z + z - t*x - 11, -x = i for z.
-1
Let w = 30 - 37. Let y be ((-28)/49)/(1/w). Solve 0 = y*o - 3*x - 1, -4*o + 2*x + 4 = -3*o for o.
-2
Suppose 72*i = 92*i - 120. Solve 4*g - 3*b = i*g + 11, 5 = 4*g - 3*b for g.
-1
Suppose -19*s + 29 = -47. Solve -2*t + 16 = s*r - 0*r, 0 = -5*t - 2*r + 16 for t.
2
Suppose -2*q - 3*q - 100 = 0. Let m = q + 32. Suppose 4*x = 16 - m. Solve -5*u - 4*o - 2 = -6, o = -3*u + x for u.
0
Suppose -3*s + 20 = 2*s. Let p be 138/4*(-6)/(-9). Suppose 2*f + 10 = 4*k - 3*k, -5*k + f = -p. Solve b = s*w + 12, 4 = -0*w + k*w + 3*b for w.
-2
Let v = 24 - 24. Suppose v = 3*h - 4*p - 63, -2*h = -6*h - p + 103. Solve -5*g = h, 3*g - 4 + 34 = -3*o for o.
-5
Let w(v) = -v + 17. Let y be w(12). Let q(j) = 4*j**2 + 6*j - 5. Let t be q(4). Let i = -49 + t. Solve -y*k + i = 3*a, 0 = -k - k + 10 for a.
3
Let u(q) = -10*q + 46. Let d(c) = -3*c + 15. Let h(l) = 7*d(l) - 2*u(l). Let m be h(10). Solve -2*r = m*a + 11, r - 2*a - 14 = -r for r.
2
Suppose 18*c - 2*c = 16. Suppose 0*s + 1 = 4*q - s, -c = -q + s. Solve 4*m = 3*j - 18 - 9, -j + 3*m + 14 = q for j.
5
Let p = 1013 + -1010. Solve -p*m + 2*d = -17, -11 = -m + 2*d - 0*d for m.
3
Let v be -2 + (-120)/5*(-3)/(-2). Let l = v + 38. Solve -3*n - 4*c = -0*c - 5, l = -n + 3*c + 6 for n.
3
Suppose 0 = -8*u - 3*u - 44. Let t = 8 + u. Solve -t*w + 5*w + 4 = -5*h, -2*h + 4*w + 16 = 0 for h.
0
Suppose b = 6*z - z + 4, -4*b = 2*z - 16. Let p = z + 2. Suppose s - x = 2*x + 17, -s + 5*x + 15 = 0. Solve -5*h - 4 = -g + 12, -s = p*g + 3*h for g.
-4
Let d = -166 - -106. Let a = d - -60. Let f(g) = 2*g - 2. Let o be f(5). Solve 2*k - v = v - 6, a = 2*v - o for k.
1
Let o(u) = -2*u**3 + 8*u**2 - u + 16. Let y be o(4). Solve 4*k - y = -x, 