-k - 5*j + 3 = -m for k.
4
Let b = -92 + 106. Solve 5*u = 10, 0*j + 4*j = 3*u - b for j.
-2
Let i be 4/6*3 + 3. Let d be 6*((-2)/6 + 2). Let b be (-4)/d - (-17)/i. Solve 0 = -m - 5*h - 15, -5*m + b*h = -3*m - 22 for m.
5
Suppose d - 2*f = -3*d, 0 = -d - 2*f. Solve d*i = -3*i + 5*z - 25, 0 = 4*i + 3*z + 14 for i.
-5
Let w = -5 + 9. Suppose -2*v + t = -3*v + 5, w*v - 5 = t. Solve 0 = -3*b + 9, 0 = 4*u + v*b - b + 5 for u.
-2
Let d(z) = z**2 + 5*z + 3. Let a = 9 + -6. Suppose 0 = 5*t - a*s + 37, 3*t + 0*s - 5 = -5*s. Let j be d(t). Solve 4*q + 3*o - 8 = 0, o - j*o = 5*q - 3 for q.
-1
Let i be ((4 - 4)/(-2))/2. Solve -5*t = 5*a + 20, i = -2*t - 3*t - 4*a - 19 for t.
-3
Suppose -8 = 10*h - 12*h. Solve -5*q + 9 = c, h*q + 11 = 3*c + 3 for c.
4
Suppose -3*n + 11 + 4 = 0. Solve 12 = -4*x - n*l, -4*x - 12 = -l - l for x.
-3
Let t = -9 + 5. Let v(p) = -p**3 - 3*p**2 + 3*p - 1. Let q be v(t). Solve -b - 8 = 2*r, 5*r = q*b - 0 + 2 for b.
-4
Suppose -4*s + 2 = -3*s. Let f be (-5)/s*80/(-25). Solve -4*u = 3*b - u - 21, 2*u = f for b.
3
Suppose -y = 5*r - 2*y + 4, -4*y + 1 = -5*r. Suppose 0*m + 2*m = 2. Let k be (-1 - r)/(-1 - m). Solve -u - 3*h - 1 = k, -u + 2*u - 11 = 3*h for u.
5
Let v = 0 + 0. Solve -24 = -4*t + h, v = 3*t + h - 4*h - 27 for t.
5
Suppose 3*g + 4*k - 14 - 24 = 0, 0 = 2*k - 10. Let j be -2*((-9)/g - 2). Solve b = -b - 2*i + 8, -2*b = -i + j for b.
-1
Suppose 0 = -2*j - 3*j + 10. Let y be 320/140 + 18/(-14) + 1. Solve 0 = -j*w - 3*f - 14, -y*w + f = -w - 3 for w.
-1
Let g = 17 - 14. Solve -3*j + g + 2 = u, 4*j = -3*u for u.
-4
Let z = 13 - 9. Let v = 12 - 7. Let d be 2/6 - 14/(-3). Solve d*j = 4*j - 2, -z*a - v*j = -6 for a.
4
Let u be 16/(-6)*12/(-8). Let x be (-16)/10*(-10)/u. Let f be 38/7 + 15/(-35). Solve 0 = x*k - 4*n + f*n + 15, 3 = -n for k.
-3
Let j(d) = -d**2 - 4*d - 3. Let a be j(-3). Suppose -x + a = -2. Let t be 6*1*(-2)/(-4). Solve 3*b + 11 = x*n, 2*n = t*b + n + 7 for b.
-1
Let d(f) = f**3 + 8*f**2 - 7*f + 10. Let n be d(-9). Let r be -3*(n/(-3))/(-4). Solve 3*b + 8 + 9 = r*q, -3*q + 23 = -4*b for b.
-5
Let a(s) = 7*s - 1. Suppose 22 = 5*j + 2. Suppose q + 0*l - 9 = j*l, -q = 5*l + 9. Let p be a(q). Solve 0 = 4*u - 3*f - 3, 5*u - 30 = -p*f + f for u.
3
Suppose h + 16 = 5*h. Solve h*n = 3*z - 2*z, 0 = -5*z + 4*n - 16 for z.
-4
Let i be 6/(-42) + (-293)/7. Let d be (i/(-35))/((-2)/(-5)). Solve d*u + 4 + 6 = -p, 2*p = -3*u - 8 for u.
-4
Suppose u + 0*u = 0. Let b = 1 + -10. Let t = -5 - b. Solve -37 = -m + t*p - 13, m - 3*p - 19 = u for m.
4
Suppose -6 = o - 13. Solve 4*c + 7 + 6 = -n, -c - 4*n = o for c.
-3
Let u be (5 + 102/(-18))*(1 - 19). Solve 5*d + 5*m - 16 = -1, -4*d + 2*m - u = 0 for d.
-1
Let n be 1/1*(-8)/((-56)/21). Solve 4*r + 16 = 2*r - 3*s, n*r + 14 = -2*s for r.
-2
Let k(o) = o - 2. Let h(a) = a - 3. Let n(j) = 2*h(j) - 3*k(j). Suppose -d + 2 - 8 = 0. Let s be n(d). Solve s = c + f, -c + 3 = -f + 1 for c.
4
Let a(b) = -b**3 - 9*b**2 - 7*b + 10. Suppose -6 = 4*l + 26. Let h be a(l). Solve -2*y - h*n - 2 - 2 = 0, 2*n = -3*y - 6 for y.
-2
Suppose -c = d - 118, 4*d + 0*c = c + 457. Suppose -d = 3*u - 8*u. Solve -5*w + 4*f - u = -63, 2*w - 3*f - 23 = 0 for w.
4
Suppose 4*z - i + 5*i = 0, 0 = -2*z + i - 3. Let f = z - -3. Solve o - a = -1, -f*a - a = -o + 7 for o.
-5
Suppose 7*n = 3*n. Suppose -3*i = -4*l - 32, n = -2*i - 4*l + 3 - 15. Let d be (i - 1 - -2) + -2. Solve -d*x = -3*f - 18, 2*x - 12 = -3*f - x for f.
-1
Suppose 0 = 2*a + 3*a. Suppose a = 2*c - 12 - 4. Solve -c = 5*v + 4*l, 3 = v - 2*l - 1 for v.
0
Suppose -6 + 31 = 5*z. Solve -4*k - 35 = -5*q - 0*k, -q - 22 = z*k for q.
3
Let h(x) = -x + 7. Let v be h(4). Solve k + 3 = 5*n, 0 = -3*k + 2*k - n + v for k.
2
Let u(s) be the third derivative of s**5/60 + s**4/2 + s**3/2 + 2*s**2. Let h be u(-12). Solve -t - 7 = -3*y - 2, 5*t + h*y - 29 = 0 for t.
4
Let f(h) = h**2 + 13*h + 16. Let u be f(-12). Suppose -6*c + 12 = -u*c. Let r(k) = k + 4. Let t be r(c). Solve -5*z = -3*g + t, -2*z - 6 - 12 = -4*g for g.
5
Suppose -r = -4*r + 12. Suppose 5 = r*g - 3. Solve -5*k = -5, -2*u - u = 4*k + g for u.
-2
Let o(f) = f - 1. Let d(p) = p**2 + 13*p - 18. Let k(b) = -d(b) + 4*o(b). Let a be k(-10). Solve c + 29 = -5*g, -14 = -c - a*g - 38 for c.
-4
Suppose 6*q = 4*q + 2*p + 18, -5*q + 15 = p. Suppose -2*v = -6*v + 8. Solve 3*d - v*t - 2 = q*d, 5*d - 5*t = -25 for d.
-4
Let v(h) be the first derivative of -h**2/2 + 6*h + 1. Let z be v(6). Suppose 9*u - 8*u = 4. Solve z = u*n - n + y + 5, 0 = y + 2 for n.
-1
Let w(j) be the third derivative of 1/60*j**5 - 1/12*j**4 + 0*j - 2/3*j**3 - j**2 + 0. Let b be w(-4). Solve 3 + 4 = -3*q - 2*z, -5*z = -b for q.
-5
Let h(r) = -r**3 + 11*r**2 - 10*r + 2. Let p be h(10). Solve p*c + 2*f - 12 = 0, 0*c - f - 2 = -c for c.
4
Suppose 2*z + 36 = 2*v, -4*v + z = -5*v + 28. Solve k = p + 7 - 4, -3*k - 5*p = v for k.
-1
Let d = -20 - -25. Solve 2*h = -d*w + 5, 2*h - 3 = -3*w + 4*h for w.
1
Let v(m) = m + 6. Let s be v(-6). Suppose -4*n + 20 - 4 = s. Solve k = n*b - 19, -6*b + 5*k + 20 = -b for b.
5
Suppose 5*j - j = 0. Let v be (4/(-6))/(2/(-6)). Let n = 3 + -1. Solve l - v*f - 3 = j, -n*l - 13 = 3*l + 4*f for l.
-1
Suppose -4*u - 75 = 5*b, 18 + 18 = -3*u + 3*b. Let y = -7 - u. Solve 4*p - 3 + 31 = 3*a, y = -2*p for a.
4
Suppose 4*w - 6 - 14 = 0. Suppose w*s = s + 60. Suppose -2*z + s = z. Solve 0*q + z*m + 10 = -4*q, -7 = 3*q + 4*m for q.
-5
Suppose -2*p + p + 5 = -5*a, -4*a = 4*p - 20. Let k = 4 + a. Let r be (k + -5)*(-2 + 0). Solve -r*m + 5*l = 18, 0*l + l = -m - 2 for m.
-4
Suppose -z - 29 = -34. Solve -3*h + n = -5*h + z, 5 = h + n for h.
0
Let v be (-1)/(1/(-2)) + 1. Solve 0 = -5*i - 2*l + 5, -2*i - l + v = 1 for i.
1
Suppose -1 = -u + 3. Suppose -7 = -4*q + 17. Solve -3*v = u*k - q - 7, 5 = -v + k for v.
-1
Suppose 0 = -5*a + 127 + 58. Suppose 6 - 1 = q. Solve 21 = 5*k - 2*c + c, -3*c = q*k - a for k.
5
Let x(m) = m - 4. Let a be x(6). Suppose -j + a = -0*j. Suppose 2*c + 2*z = j, -c + 2*z = c + 2. Solve -2*o - 5*u - 14 = -u, c = -3*o - 3*u - 9 for o.
1
Let m(y) = y - 5. Let b be m(5). Suppose -2*h + 27 - 9 = b. Solve -2*g + 7*g - 5*u = -15, 3*g + 2*u + h = 0 for g.
-3
Let y(p) = 4*p**2 - 1. Suppose 0 = f - 5 + 6. Let r be y(f). Solve 2*v - z + 3 = 2*z, 2*z = -r*v + 15 for v.
3
Let t(k) = 3*k**3 - 2*k**2 + 1. Let x be t(1). Suppose -9 = -3*l - a + 1, -x*l - 5*a = 15. Solve -3*z = 15, 33 = 5*q + l*z + 83 for q.
-5
Let g = 37 - 2. Suppose 5*v = -3*b + g, -3*b + 6*b - 5*v + 5 = 0. Solve 5*p = 4*l + 28, 3*p + 10*l = b*l + 2 for p.
4
Let k = 21 - 21. Solve 0 = -a + v + 1, -5*v = -k*a - 3*a + 7 for a.
-1
Suppose -2*b = 2*b + 80. Let c be 3*(b/(-6))/5. Solve 5*j - c*d = d + 11, -j - 7 = 4*d for j.
1
Suppose 3 = f - 22. Suppose 0 = w - r - 4, -3*r + 20 = 5*w + 2*r. Suppose s - 4*h = -3*s + 8, -5*s - w*h + 28 = 0. Solve -9 = p - s*j + 8, -5*j = -f for p.
3
Suppose 8*z - 5 - 11 = 0. Solve 0 = x - z*n + 7 + 2, -12 = -2*x - 2*n for x.
1
Let o be (14*1)/(7/35). Suppose -5*a - 58 = -4*f - 2, -5*f + 2*a = -o. Solve s - v = -2, -2*s + s + 4*v = f for s.
2
Let f(c) = -c**2 - 4*c. Let r be f(-4). Solve 4*w = 4*a - 0*w, -4*a + 2*w + 2 = r for a.
1
Suppose 2*w = -4*f - 22, w - f = -20 + 3. Let g = w + 19. Solve -4*x - 10 + 0 = 3*z, -2*x - g*z - 10 = 0 for x.
-1
Suppose 5 + 7 = 3*f. Solve 0 = f*b + 8, 5 = z + 3*b - 6*b for z.
-1
Let h(s) = -s**3 + 2*s**2 - 3*s. Let c be h(0). Solve c = -3*n - 2*n + 3*j + 32, -3*n + 8 = j for n.
4
Let w be 24 + (0 + -3 - -1). Solve 3*h + w = 2*n, n = -3*h - 4*n + 13 for h.
-4
Let p = 5 + -3. Let h be (-2)/(-8) - 44/(-16). Let x be ((-8)/h)/(2/(-3)). Solve -2*q - x*a - a = -11, -p*a = 3*q for q.
-2
Let d be ((-6)/(-4))/((-15)/20). Let r be (0 - d)/2*5. Solve z - 10 = -q, 0 = 3*z - 5*q + 5 + r for z.
5
Suppose -4*x - 29 = -9. Let m(r) = 4*r - 5. Let t(z) = 2*z - 2. Let u(a) = 3*m(a) - 7*t(a). Let n be u(x). Solve 2*h + n = 3*h - 2*q, q = 2*h - 3 for h.
-1
Let k(d) = -d**3 - 8*d**2 + 10*d + 9. Let j be k(-9). Let y = 4 + j. Solve -2*u - 3 = -t - 4*u, -y*u = 0 for t.
3
Suppose -15 = 20*o - 23*o. Solve -3*y - b - 11 = 0, -3*y = 2*y - 3*b - o for y.
-2
Suppose -3*i + i = -5*p + 26, -p - 2*i = 2. Suppose a + 0*a - p*g - 15 = 0, 0 = a + 4*g - 7. Solve -f - f = u + 12, 0 = -3*u - f - a for u.
-2
Let m = 6 + -4. Suppose m*q - q = 3. So