Let f = b - -5. Solve -l*t + k + 5 = -4*k, f*t = k + 22 for t.
5
Suppose -b + 2 = 5. Let z = b + 5. Solve f + 5*k - 15 = 0, -3*k = 3*f - z*k + 11 for f.
-5
Let k be 3 - (2/2 - -1). Suppose -3*t + k = 16. Let o = 7 + t. Solve q = -4*p + 15, -5*p + 18 = -o for q.
-1
Let f(q) = -3*q - 7. Let m be f(-5). Solve -5*n + 5*y - 20 = 0, -4*n + 6*n - 3*y = -m for n.
-4
Suppose -12*h + 17*h = 90. Solve -3*s - 4 = -2*n + h, -n = -2*s - 13 for n.
5
Suppose -2*v + 8 = -8. Let u be (-70)/(-22) + (-12)/66. Solve -4*y + 5*w - 5 = 0, -u + v = 5*y + 5*w for y.
0
Suppose -6*z + 4 = -4*z. Suppose 2*s = 4*s - 36. Let x be (1 - 3)/(24/(-60)). Solve 4*a = z*b + x - 19, s = -3*a + 4*b for a.
-2
Let d = -1 - -4. Let g = 0 + d. Suppose -16 = -g*l + 47. Solve 3*q - 5*r + l = 0, -1 = -0*q - q - r for q.
-2
Let u = 34 - 25. Solve -4*v = -10 - 10, 4*r = v - u for r.
-1
Let l(j) = -3*j + 2. Suppose 0 = 5*k + 3*b + 14, 5*k + b = 2*b - 2. Let c be l(k). Solve 17 = -5*a + c*q - 3, -2*q = -4*a - 6 for a.
1
Let w be ((-6)/(-4))/(9/12). Let z be 3/w*8/(-6). Let u be 2 + 2 + z - -8. Solve 4*d - 2*g + 18 = 0, -4*g + u = -2 for d.
-3
Let i be (0 - -3)*(-10)/(-6). Let a = 8 - i. Suppose 0*n - 3*n = -24. Solve n = -2*l + 2*p, -a*p = 4*l - p + 22 for l.
-5
Let v(n) = n**3 - 4*n**2 - 2*n - 4. Let c = -13 + 18. Let p be v(c). Let y = 1 + p. Solve -3*g - 9 = -0*w + 2*w, -4*g - y = 4*w for g.
-3
Let u be (84/(-20))/(3/(-10)). Solve -u = m + 4*z, 12 = -3*z - 0 for m.
2
Suppose 5*i - 352 = i. Let g be (-1)/(-3) + i/33. Solve q - b = g*q - 14, 15 = -q + 5*b for q.
5
Let u be (3 + -2)/((-3)/(-6)). Suppose -u*n - 21 = -5*n. Solve 0 = -5*y + 20, -y + n = 4*r + 23 for r.
-5
Let s(y) = y**3 + y + 4. Let t be s(0). Let d = -2 + t. Suppose d*a - 5*a = 0. Solve 2*m + 10 = 0, -14 = l - a*l + 3*m for l.
1
Let i(x) be the third derivative of 7*x**4/24 - x**3/6 - 2*x**2. Suppose 2 = 2*a - 4. Let v be i(a). Solve 2*w - v = 2*b, -4*w = -b - 7*w + 10 for b.
-5
Let i(q) = -q**3 - 6*q**2 + 5*q - 10. Let n be i(-7). Suppose -2*u - 14 = -n*u. Solve 3*w + u = 4*x, w - 2 = -3 for x.
1
Suppose 0 = 2*t + 10, -6*t + 2*t = 4*b + 20. Solve 3*a + b*i = -2*i + 15, -4*i = -4*a for a.
3
Suppose 3*r + 8 = -0*x - 4*x, -4*r - 4*x = 8. Suppose r*o = 5*o. Suppose 0*a = 2*a - 6. Solve -l + o = 5*c + 9, -5*l - 1 = a*c for c.
-2
Suppose -i - i - 5 = k, 4*k - 5 = -3*i. Suppose o + 15 = 6*o - 5*h, o = k*h - 1. Solve 0 = 3*z + r - 3, -6*z + o*z + 6 = 2*r for z.
0
Let h be 2 + (-5)/((-10)/2). Solve s + 4*s + 18 = -3*o, -3*s - 6 = -h*o for o.
-1
Suppose -2*k = 2*k. Suppose -m + 6*m = 15. Solve 3*c + 0*c - 3*s = -m, -5*c + 2*s + 7 = k for c.
3
Let d = 5 - 1. Solve 2*t - j - d = j, -1 = t + 2*j for t.
1
Suppose h + h + 7 = 3*v, -h - 4*v + 13 = 0. Let i be -3 + 1 + h + 5. Solve z - i*o - 10 = -27, -2*o + 16 = -2*z for z.
-5
Suppose 3*m = 4*n - 13, n + 2 - 4 = 2*m. Suppose g + n*g + 4*w - 20 = 0, 4*g = -5*w + 16. Solve 4*f - 5*x + x = g, f + 5*x = -11 for f.
-1
Let o be -15*((-14)/(-10) - 1). Let j = 8 + o. Let q = 32 + -23. Solve 0 = r - 2*l + 2, -5*l - q = -j*r + 3*r for r.
-4
Let m = -56 - -59. Solve -3*w + 23 = -i - m*i, -2*w = -i - 7 for w.
1
Suppose -33 = -3*r - 18. Solve n + 4*j - 5 = 0, 2*j - 7*j = -r for n.
1
Let w(n) = 30*n**2 - 2*n + 1. Suppose -7*j = -3*j - 4. Let m be w(j). Solve 0 = -2*z - 3*c + 15, 5*c = -z - 11 + m for z.
3
Suppose 3*z = 3*q - 24, 2*z + 0*z = 3*q - 19. Solve -r + 16 = q*a, -a + 6 = -4*r + 18 for r.
4
Let u be ((-15)/4)/(1/(-4)). Let d = u + -10. Solve 0*h + 15 = 5*h + d*n, 3*h - 5*n - 9 = 0 for h.
3
Let t = 70 + -67. Solve v - z + 2 = 0, -10 = 5*v + t*z - 24 for v.
1
Suppose -10*a + 14*a = 0. Solve a = -4*g - w + 15, 0 = -0*g - 3*g - w + 12 for g.
3
Let i = 0 + 2. Solve 0*f - 15 = -i*y - 5*f, -f = -3*y - 3 for y.
0
Let h be 0*3/(-6)*1. Solve -q - 3 = -h*q + 2*f, 0 = 3*q + 3*f + 9 for q.
-3
Let f = 37 + -34. Solve -4 = -2*k - k + 5*d, f*k = -d - 8 for k.
-2
Let i be (88/20)/(1/5). Solve -2*p = -4*n + i, -2*n + 4*n = -4*p - 4 for p.
-3
Let x be (4/(-2))/4*12. Let o be 2/(-6) - (-10)/x. Let k = o + 9. Solve 5*n - h = 29, 4*n + 3 - k = -4*h for n.
5
Let f = 27 + -13. Suppose 2*h = 4*h - f. Solve -5*p - 3*i + 0*i = h, 0 = i - 1 for p.
-2
Suppose 4*m - 41 = 43. Solve 5*v = w + w - m, 2*w + v = -9 for w.
-2
Let a = 6 - -2. Suppose -m - 2*x = -14, 2*m - x - 21 = -m. Let k = m - a. Solve 4*b - 16 = 3*w, b = -2*w - k + 4 for w.
0
Suppose -2*w + 56 = 4*f, -4*f = -3*w - 0*f + 104. Solve -2*r - 5*n = -21, -2*r + 5*n + 3 = w for r.
-2
Suppose -5*o - 4*d + 3*d = -12, 3*o + d = 8. Suppose 0 = -o*y - 2*y - 3*a + 12, 20 = 3*y + 5*a. Solve -5*r - 8 = b, r = -y*r - 1 for b.
-3
Suppose 7*j - 12 = 4*j, -t - 5*j = -28. Solve 5*n = t*k - 3*k + 15, -5*k - 15 = n for k.
-3
Let i = -22 - -45. Solve i = -2*w - 0*w - 3*v, -w + 6 = -2*v for w.
-4
Let s be (-38)/(-14) - 8/(-28). Let x = -1 + s. Solve -16 = -4*u - 2*c, -x*c = -4*u - c + 22 for u.
5
Let g(m) = -25*m - 5. Let r be g(-4). Let z = r - -5. Let o be z/24 + (-1)/6. Solve 2*y - o*y = -5*n - 10, 3*n + 3*y = -6 for n.
-2
Suppose 5*d + 8 = 3*z, 4*z + 8*d - 69 = 3*d. Let m = 13 - z. Solve -5*b + m*g - 7 = 0, -2*g + 1 + 2 = -b for b.
-1
Let g(j) = j**3 - 6*j**2 + 4*j + 5. Let w be g(5). Suppose -2*t - t = -5*u + 45, -5*u + 4*t + 45 = 0. Let d = -7 + u. Solve w = x - 2, z - x + d*x = 6 for z.
4
Let t be (-24)/(-16)*(-10)/(-3). Solve 5*o = -s + 15, 0 = 4*o - 2*o - t*s - 6 for o.
3
Let a be (-6)/3 - 4/(-2). Suppose 4*q + 14 = 3*b, a*b + 4*q = -b + 10. Solve -h + 2*o = -5, -2*o - 1 = -3*h + b for h.
1
Let c(n) = n**3 - n**2 - 5*n + 3. Let q be c(3). Let v be q/12*10/1. Suppose -3*r + 1 = -29. Solve 0 = -5*a + r*a, -5*z - v*a + 20 = 0 for z.
4
Let z(m) = m**3 + 12*m**2 + 12*m + 14. Let v be z(-11). Suppose 3*j = -v*i + 23 - 5, 5*j + 2*i - 18 = 0. Solve -3*g - 5 = -j*w, 3*w = -g - 0*w - 9 for g.
-3
Suppose -3*u = 2*a + 20, 0 = -u + 3*a - 2 - 1. Let j be (12/10)/(u/(-20)). Solve -p = -j*q - 11 + 29, 3*q = 2*p + 11 for q.
5
Suppose 0 = -3*l - 15, 4*i + 5*l + 0*l + 13 = 0. Solve -i*v + 3 = -2*g, 2*g + 1 = 5*v - 0*g for v.
-1
Suppose 2*a + 2 - 10 = 0. Solve -a*r - 4*h = 4, 11 = -3*r - 0*r + h for r.
-3
Suppose -5*n + 443 + 198 = 4*f, 0 = -n - f + 129. Suppose -2*k + 2*i = -k - 10, 0 = 5*k + 5*i - n. Solve 4*u - c = k, 3*u + 3*c - 4*c - 16 = 0 for u.
4
Suppose -t = t - 14. Let d be 16/(-28)*t/(-2). Let r(h) = 2*h + 2. Let b be r(d). Solve 0 = -j - 5*z - 11, b*z = -j + 3*z - 5 for j.
4
Suppose 0 = 4*c - 2*c + 4. Let u(z) = -5*z - 3. Let m be u(c). Suppose 0 = -v - 4 + m. Solve 4*j + 11 = -d - 4, 9 = -3*d - v*j for d.
1
Let k(t) = -t**2 - 4*t. Let c(w) = w**2 + 4*w. Let d(x) = 4*c(x) + 5*k(x). Let l be d(-2). Solve m = -2*m - 5*q - 2, l*q = -3*m - 4 for m.
-4
Let v(r) be the third derivative of r**5/20 - r**4/12 + r**3/6 + 3*r**2. Let b be v(1). Solve -4*y = 0, 4*y = 5*s + b*y - 10 for s.
2
Let s(f) = f**2 - 1. Let o be s(2). Let v(c) = -c + 2. Let x be v(0). Let h be 30/(-9)*(-108)/8. Solve -5*r = -4*d + h, -4*d + 25 = -o*r - x*d for r.
-5
Let m = 46 - 46. Solve -5*f + 0*f + 5 = 5*y, -y - 5*f + 17 = m for y.
-3
Suppose 5*w = 7*w + w. Solve 3*b + 0*t = -3*t - 18, w = 4*t + 8 for b.
-4
Let f = 1 - -22. Let q = f - 20. Solve -2*a = 5*d + 7, -4*d - 4 - q = 3*a for d.
-1
Let x be 3/((-3)/(-1))*11. Suppose -c + x = f - 3*c, 3*c = -2*f - 6. Solve -3*n - 6 = f*b, -b - 7 = -3*n - n for b.
-3
Let m(g) = -4 + g + 0 + 6 + 8. Let n be m(-6). Solve 5*l = 4*w - 4, -n*l + w + 3*w = 0 for l.
-4
Let z = -28 - -38. Suppose 0 = 11*w - z*w - 2. Solve 5*b + p = 15, -8 = w*b - b - 2*p for b.
2
Suppose -v - 2 = -z - 3, 4*v - 7 = 5*z. Let o = 29 + v. Suppose 3*s + 3 = o. Solve 4*a - s = -0*d - 2*d, 0 = -a for d.
4
Suppose 0 = 2*a + 5*f - 3, -a - 4*a + 5*f + 25 = 0. Solve 2*q - a = -s, 0 = -3*s + 8*s + 20 for q.
4
Let n = -1 - -1. Let h = -37 - -41. Solve 2*d + h = n, -i = d - 2 + 3 for i.
1
Let y(a) = a**3 + a**2. Let q be y(0). Let c = 24 + -22. Solve q = -c*o + 5*s + 3, -s + 5*s = -o - 5 for o.
-1
Let t be 16/((-7)/((-84)/8)). Let h be (-2)/(-3) + t/18. Solve -5*a + 4 = -a + 2*w, -3*w = -h*a - 14 for a.
-1
Let p(q) = q**2 - 9*q + 5. Suppose s + 2*s - 5*h - 47 = 0, -4*s + 52 = -4*h. Let x be p(s). Solve 5*j = 2*b - 11, 0 = -x*b - 3*j + 9 + 3 for b.
3
Let s(f) = f**2 - 2 - 3*f + 6 + 0*f**2. Let y be s(4). Solve -y = 