h - 20 = -5*p. Let n(u) = -h*u + 2*u + 0 + u**2 + 2. Let t be n(2). Solve 0 = 2*y + t, -5*y + 4*y = r + 2 for r.
-1
Let r be 2/4 - 3/(-2). Suppose 0*k - r*k = 0. Let f be (0 - 1)*(-6 - -5). Solve -3*j - 2*y + f = 9, -5*j + 2*y + 8 = k for j.
0
Let m be (-60)/45*6/(-4). Solve -3*o - m*h + 0 = -4, -2*h - 4 = o for o.
4
Let i be (-1 - 1)/1*(-5)/2. Solve 5*d - 3*z = -0*d + 12, 0 = i*d + 2*z - 17 for d.
3
Suppose 0 = r - 4. Solve 2*v + 7 = 5*g, 3*g + 5 = -4*v + r for g.
1
Let p = -3 + -3. Let x = -4 - p. Solve -x*s - k - 2 = 3, -3 = -k for s.
-4
Let a be -12 + 22 - 6*1/2. Solve -a = -2*z - q, 0*q - 5*q = -z + 9 for z.
4
Suppose 28 = -4*z + 8*z. Suppose -z*f + 17 = -3*f - t, 5*t = f + 10. Solve 0 = -2*y, f*b - 9 = 2*y + 1 for b.
2
Let g(s) = s**3 - 14*s**2 + 14*s + 5. Let q be g(13). Solve 3*i - 3*l = 6 + q, -3*l = 12 for i.
4
Suppose -2*c = -6*c - 16. Let a be (0 + 2/c)*0. Solve a = 3*d - 2*l + 4*l - 23, 5*d = -2*l + 33 for d.
5
Suppose -8*q - 6 = -30. Solve 5*b + 4*z - q = 0, -b + 0*b - 2*z = 3 for b.
3
Let x = 2 - 0. Let g be (-2)/(1*(-1)/x). Solve 0 = -g*d + 5*y + 12, 5*d - 4*y - 15 = -5*y for d.
3
Suppose -3*x + 7 + 2 = 0. Let t be ((0 - -1) + x)*1. Solve 20 = -t*o, h + 25 = 5*h - 5*o for h.
0
Let f(l) = -l**3 + 4*l**2 + 14*l. Let t be f(6). Solve -3*k = 3, 2*k + t + 2 = -3*p for p.
-4
Let l = -51 - -56. Solve -3*f - 17 = 2*r - 0*f, -2*r + l*f = -23 for r.
-1
Suppose -90 = -6*g + 108. Solve -2*j = 10, -3*i + 1 = -5*j - g for i.
3
Suppose 2*z = -7 + 25. Solve -i + g - 7 = -0*i, -3*g = 3*i - z for i.
-2
Let y(b) be the third derivative of 0 + 1/8*b**4 + 0*b - 1/3*b**3 + b**2. Let q be y(2). Solve -11 = g + 4*j, -g - g + 2 = -q*j for g.
-3
Let b be 9 + 0 + 0 + -1. Solve 0 = -3*k - 12, -5*z - b = -6*k + 3*k for z.
-4
Let p(s) = 3*s + 3. Let c be p(7). Let f be (-4)/24*2*0. Let g be 14/6 - (-1)/(-3). Solve f = g*u - b + 11, 4*u + b + c = 5*b for u.
-5
Suppose 5*g + u = 4*g + 10, 5*u = -4*g + 45. Suppose 0 = g*q + 8 - 33. Solve 0 = -5*b + h - 2, 2*b + q = -h for b.
-1
Let q be -2 - (-12 + (-9)/(-3)). Suppose 2*y - q*y - 5*t - 5 = 0, -5*y + 5*t = -35. Let s be (-1)/((-1)/(y - 1)). Solve 0 = -2*j - c + 5, 15 = s*c - 7*c for j.
4
Let j be 2/(-4)*1*-14. Let n = j + -5. Suppose 2*l = f + 7, 0*l - 7 = -3*l - n*f. Solve -l*g - 20 = m + m, 3*m + 24 = -3*g for m.
-4
Let f = 11 - 7. Let q be 6/4 - 7/(-2). Suppose -x - g - 13 = -6*x, 4*x - g - 10 = 0. Solve -9 = l - q*y, -f*l - 13 = -0*y + x*y for l.
-4
Suppose 8*n - 62 = 2. Solve 3*b + 10 = -2*m, -5*b + m - n = -0*m for b.
-2
Suppose -2*s - 3*s = -60. Suppose -2*x = 3*x - 2*c - 170, -5*c = 4*x - 103. Solve 0 = -3*w + s, -2*w - x = -4*j - 5*w for j.
5
Let s = 43 - 26. Let g be (2 + 0)/(-2) + s. Let q be g/(-12)*(-18)/4. Solve 0 = -2*n - q, 3*n = 4*f + n - 14 for f.
2
Let t be (5 - -1) + (12 - 15). Solve 8 = 4*x - t*p, x - 2*p + 4 = 11 for x.
-1
Let k(f) = -f**3 - 11*f**2 + f + 3. Let b be k(-11). Let d be 75/12 + 2/b. Solve -6 = 2*q + d*y - 4*y, -5*q = 2*y + 15 for q.
-3
Suppose 17 = 3*m - 2*m. Suppose j + 5 = -n - 2*j, m = -n + j. Let d = n - -32. Solve w + 5*f = -3*w - d, -2 = 4*w - 3*f for w.
-2
Let c = -7 + 17. Suppose -7*z = -2*z - c. Solve -z*a = -3*n + a, 0 = -2*n + 4*a + 2 for n.
-1
Suppose 13*i = 8*i. Suppose c - 5*v = -3*c + 11, 5*c + v - 21 = i. Solve 4*q + 3*j = 5, 4*j = c*q + 6*j - 6 for q.
2
Let y(d) = d**3 - 6*d**2 + 2*d - 9. Let f be y(6). Suppose f*v = -3 + 9. Suppose 0 = -4*w, -6*k + 2*k = v*w. Solve 4*m = -x + 9, k = 3*x - 0 - 15 for m.
1
Let d(k) = 3*k**3 - k**2 + 2*k. Let s be d(2). Let j = 3 - -1. Solve 0 = -2*m - 4*u - 20, -u = j*m + 3*u + s for m.
-2
Let i be (18/(-72))/((-1)/8). Solve 2*q + 2*g - 3*g = 0, 3*q = -i*g - 7 for q.
-1
Suppose -14*a = -2 + 2. Solve -2*m - 6 = a, -5*c + 0*m - 28 = m for c.
-5
Suppose 0 = -4*u + 8 + 8. Let z(o) = -13*o + 1. Let y be z(u). Let g be (-6)/9 + y/(-9). Solve -5*m + 2 = -3*d - 0, -2 = g*m - 2*d for m.
-2
Let x be 16/(-32) + (-22)/(-4). Solve 2*u - 4*d + 2*d - 2 = 0, -u = x*d - 1 for u.
1
Suppose -4*i + 47 = -1. Let u = i - 8. Solve -u*n = -5*n - 4*q - 3, 19 = 3*n - 2*q for n.
5
Let d(a) = a**2 + 4*a - 8. Suppose 6 = -n - 0*n. Let t be d(n). Suppose -t*r = -4*q - 28, -5 = -5*r - 3*q - 2*q. Solve 2*z + 0*z = -2, 0 = r*l + 3*z - 1 for l.
1
Let p(f) = -f**2 - 6*f - 5. Let r = -12 - -8. Let x be p(r). Solve 5*g = -4*u + 2, 2*u + x*u = -3*g - 4 for g.
2
Let g = 7 - 15. Let d be (0 + 4/g)*-10. Solve -3*k - d*t = -12, -3*k + 4 = -2*k - 2*t for k.
4
Suppose 9 = 10*m - 11. Solve l = m*f - 2 + 1, 2*l = -5*f - 20 for f.
-2
Let q(o) = o**3 + 9*o**2 + 9*o + 12. Suppose 4*n = -20 - 12. Let p be q(n). Solve 2*v - 4*k + 0*k - p = 0, 0 = -2*v - 3*k - 17 for v.
-4
Let i = 7 - 3. Let m = -45 + 47. Solve -m*v = -8, -1 = -4*s - i*v + 3 for s.
-3
Let f be (-3)/(-4) + 72/32. Suppose -8 + f = -p. Solve -g + q - 5*q = 16, p*g - 2*q - 8 = 0 for g.
0
Suppose 3*j - 44 = -32. Solve -5*x - 12 = -4*d, -5*d - x + 15 = j*x for d.
3
Let a = 79 + -66. Solve a - 2 = 2*z - u, 4*z - 23 = 3*u for z.
5
Suppose 0 = 3*i - g - 60, -4*g - 51 = -3*i - 0*i. Solve -2*w = -5*t - i, -3*t - 1 = -2*w - 2*t for w.
-2
Let b = 22 + -17. Solve 4*z + 2*y = -2, 2*z - b = -3*z - y for z.
2
Let u be (-33)/(-39) + (-2)/(-13). Solve u = -3*d + p, 5*d = 4*d - 4*p - 22 for d.
-2
Let c be (-10)/(-15)*9/2. Let m be (16/(-6))/((-2)/c). Suppose -6*l = -l - 20. Solve -2*v + 2 = -5*i + 7, m = l*i + v for i.
1
Suppose 4*w = -2 - 6. Let z be (2 - w) + (3 - 2). Solve 5*t - 5*g = -3 - 2, -z*t + 3*g = 1 for t.
1
Let s(b) = -18*b**3 + 1. Let h be s(1). Let t = -11 - h. Suppose t*y - 3*y = 0. Solve -c - 2 = -y*x - 3*x, -4*c - 8 = -x for x.
0
Let o(s) = -2*s**3 - 26*s**2 - 3*s - 12. Let c be o(-13). Solve 5*t + 2*y - 3*y + 25 = 0, -3*t - c = -3*y for t.
-4
Suppose 4*n - 33 = -5*p - 1, 3*n = -5*p + 29. Solve -5*i = v - 9 - 8, -2*v - 18 = -n*i for v.
-3
Let h(i) = 4*i - 1. Let b(n) = 3*n - 1. Let d(a) = 7*b(a) - 6*h(a). Let t be d(-1). Suppose 0*k = t*k - 8. Solve -l = x + x + k, 3*l + 2 = -x for x.
-2
Suppose -2*x = -2 - 2. Suppose -3*p + 4 = -x*p. Solve 2*o + p*a + 4 = -2*o, -3 = 5*o + 4*a for o.
1
Suppose -4*b - 4 = -h - 25, 2*b - 2*h = 18. Solve -6 = -3*v - 3*i + 12, -2*i - 6 = -b*v for v.
3
Suppose -12 - 8 = -4*q. Let a = q - 4. Suppose l - 3 + a = 0. Solve 3*x - l*n = -3*n + 3, 4*n - 12 = 5*x for x.
0
Let j(v) = -v + 30. Let n be j(0). Let d be ((-24)/(-20))/(4/n). Let o be ((-6)/(-2))/(d/6). Solve 2 = o*x - 3*c, 3*x + 0*x + 2*c + 10 = 0 for x.
-2
Let w = 17 + -15. Suppose -w = -n, -3*n = q + n - 10. Solve 8 = -4*f, q*u - 4*f = -2 + 10 for u.
0
Let y(t) = t**3 + 6*t**2 + 7*t - 4. Let r be y(-4). Let n(x) = 7*x**2 + x. Let j = -1 + 0. Let h be n(j). Solve -5*z - c + h = r, 2*c + 0 = 3*z - 1 for z.
1
Let p = -10 - -12. Solve h + 3*r + 17 = -p*r, 4*h + 4*r + 4 = 0 for h.
3
Let l be 3/(-9) - (-93)/9. Let z = 13 - l. Solve -2*k - 5*i = -25, -z*i + 25 = 3*k + 2*i for k.
0
Let q(w) = -w**2 + 6*w + 6. Let r(p) = -2*p**2 + 11*p + 11. Let m(y) = 11*q(y) - 6*r(y). Let l be m(2). Solve -5*u + 1 = -4*t, -u + 13 + 0 = -l*t for u.
-3
Let y be (-28)/42 + (-11)/(-3). Solve -2*o = 4*d, 0 = -y*d - 7*o + 2*o for d.
0
Let f(u) = -u**3 + 10*u**2 + 3*u - 13. Let p be f(10). Let j = -2 - -5. Solve 0 = -4*x + 5*r - p, j*x - r - 16 = -3*r for x.
2
Let o = 0 + 2. Solve -o*c + 10 = -4*z, 2*z + 0 + 8 = 4*c for c.
1
Let p = 12 + -7. Let a be (-2)/(-4) - 361/(-38). Solve p*t = -5*s + a, -4 = s + 5*t + 2 for s.
4
Let o = 21 - 19. Solve -3*c = -4*g - 31, -c = -3*g - o*c - 7 for g.
-4
Suppose -v - j + 22 = 0, 3*v + 5*j = 6*v - 58. Solve -5 = -3*m + 5*g + 18, m - 5*g = v for m.
1
Let v(o) = 2*o**3 + 2*o**2 - o. Let p be v(1). Suppose -3*w + 2*k = p - 4, -2*k + 11 = w. Suppose 2*r - r = 2. Solve -5*l - 9 = -w*u - 4, r*u - l = 8 for u.
5
Let v be (-1 - (-4)/4) + 3 - 1. Solve z = 5*q - 30, -3*q = -v*q + z for q.
5
Let l = -2 - -3. Let m be 0 + (6/3 - l). Suppose 14 = 3*w - m. Solve -4*a - 5*f + 4 = 0, -2*a + w*a - 3 = -3*f for a.
1
Let w = 3 - 3. Let u(n) = 1 - 3*n + 0 - 6 + 5*n. Let d be u(5). Solve k - 4*a = -w*k - 2, d*k = -a + 11 for k.
2
Let k(b) = 3*b**2 - 2*b - 3. Let g be k(-2). Suppose 3 - 5 = 2*v - 4*l, 0 = 3*v + 2*l - g. Solve 5*z + 4*x = -40, -3*z + 0*z = v*x + 27 for z.
-4
Let a = 24 - 20. Solve 0 = -3*g + 3*p - 6, 3*p = a*g + 9 - 3 for g.
0
