 9, -s*z = 5*c + z + 2 for c.
2
Suppose -3*r = 4*o + 30, 0*r + r - 28 = 5*o. Suppose -2*i + 4 = -6*i, f = -2*i. Let b be ((-3)/o)/(f/32). Solve -4*z - 4*p = -b, p - 4*p = -3*z - 18 for z.
-2
Let t(k) = -k**3 - 3*k**2 - 4. Let p be t(-4). Solve z = d - 4, d - 4*d + 2*z + p = 0 for d.
4
Let v = 18 + 9. Solve 4*p - 5*d = -v, -3*p - d = d + 3 for p.
-3
Let u(s) = -10*s**3 + s + 2. Let j be u(-1). Solve 4*q = -3*z - j - 4, q + 15 = -3*z for q.
0
Suppose 0 - 4 = -g. Let c be (-1 - g)*(-2 - -1). Let z(w) = w + 6. Let b be z(-3). Solve c*x - 4*t = 25, b*x + 5*t = -0*t - 22 for x.
1
Let d be 6/16 + 61/8. Solve l = d*n - 4*n + 17, 0 = -3*n + 3*l - 6 for n.
-5
Suppose 3*k = 3 + 3. Solve k = -g - 5*h, 5*g + 3 - 23 = 5*h for g.
3
Suppose 4*c - 18 = 2*c. Suppose -y - 35 = -39. Solve -2*i + c = -4*a - i, -3*a = y*i - 17 for a.
-1
Suppose 12 = 5*j - 2*c, 3*j - 4 = c + 3. Solve -n + 12 = -2*i + j*n, 3*i + 2*n = -5 for i.
-3
Let j(y) be the third derivative of y**6/120 + y**5/10 + y**4/8 - 7*y**3/6 - 3*y**2. Let x be j(-5). Solve -3*q - 4*i - 23 = 0, -x*i = -0*i + 6 for q.
-5
Suppose -m = -4*m + 12. Solve 3*w + 0*w + 13 = m*f, w + 11 = 3*f for f.
4
Let s = -1 - 6. Let p be -3 + (-3)/(3/s). Suppose -4 = -2*h + 8. Solve -21 = -3*x - p*u - h, 0 = -4*u + 12 for x.
1
Suppose 5*l + 40 = -170. Let x = l + 64. Suppose -5*r + x = -33. Solve 2*i - 4 = 2*j, 5*i + r = -2*j - 0 for i.
-1
Suppose 0 = -2*x + 1 + 29. Suppose -6*y = -y - x. Suppose 0 = -q + 6 - 1. Solve -v + 14 = -4*v + h, q*v + 14 = -y*h for v.
-4
Suppose 4*q - 5 = 5*z, z + 3*z - 5*q = -13. Let r = 3 + z. Solve 2*b - 6 = 5*n + 4, 0 = -3*n - r for b.
0
Suppose 4*c - 24 - 4 = 5*w, 10 = c - 2*w. Let r = c + 2. Solve -5*x + r*s + 0 = 9, 2*x = -2*s for x.
-1
Let d(g) = -30*g**3 + 2*g**2 + 2*g + 1. Let k be d(-1). Let n = k + -17. Let m = 34 - n. Solve -5*x - 2*f = 15, 3*f - m = -f for x.
-5
Let c(r) = -r**2 - 4*r + 15. Let t be c(-6). Solve 0 = 4*q - t*q + 5*z, 4*q + 18 = -2*z for q.
-5
Suppose -52 = 5*f + 18. Let x = f + -31. Let m be ((-4)/(-10))/((-9)/x). Solve -m*q - 11 = -3*g, 0 = -3*q + 2*g - 3*g for q.
-1
Suppose -2*n + 8 = -0*n. Solve n*g - 4*m + 4 = 0, 4*g - 2 = -m - 1 for g.
0
Let z = 21 - 19. Let q = -5 + 7. Solve -5*u - 13 = -q*m, 0 = -z*m - m - 4*u - 15 for m.
-1
Suppose -6*d + 166 = c - 2*d, 15 = 5*d. Let y = 219 - c. Let s be (-2)/13 - (-75)/y. Solve 3*q + x = 2*q, -5*q + s = 4*x for q.
1
Let c be 0/(9/((-27)/6)). Solve -3*y - 3*d = 18, 3*y - 4*d + 0*d + 11 = c for y.
-5
Let k be 3 - 2/((-2)/5). Suppose 2*a - k = -2*a. Solve a*i = c + 3 + 8, 0 = 2*c + 3*i - 6 for c.
-3
Let u be (3/2)/(3/4). Solve -3*m + 4*a = -4, 2*m - 24 = -u*m - 4*a for m.
4
Let u be (1 - -3)*(-2 + 6). Suppose u - 6 = 2*p. Suppose 2*k + 24 = 4*j, -9 = 3*k + 3. Solve 3*d = -p*w - 30, j*d - 8 = -4*w - 40 for d.
-5
Let k = 2 - 1. Let p(s) = 15*s**2 - s. Let z be p(k). Let q = -2 - -4. Solve 2*t + z = q*x, -15 = -0*t - 5*t - 5*x for t.
-2
Suppose -r + 22 = -0*r - h, 12 = r + 4*h. Solve -r = n + 5*l, -5*n + l - 22 = -0*l for n.
-5
Suppose -18 - 10 = 4*d. Let y = d + 5. Let g be (3 + y - 5)*-1. Solve 4*t + 28 = -4*z, -g*t + 4*z = z for t.
-3
Suppose -2*v + 3 = 3*x - 14, -x = -3. Suppose 5*g - 14 = d + v, 0 = g - 5*d - 18. Suppose 0*l = 5*l - 20. Solve l*a + 4*r - 2 - 30 = 0, -a = g*r - 16 for a.
4
Suppose -12*g = -13*g + 1. Solve -3*a - 12 = -l, 12 = -2*a - l - g for a.
-5
Let u = -20 + 8. Let c be (-18)/(-5) - u/30. Solve 6*p - 2*p + 20 = c*h, -3*p - 15 = h for h.
0
Suppose -5*k + 136 = -4*y, -5*k + 202 = 4*y + 58. Let i be ((-5)/4)/((-7)/k). Suppose -43 - 62 = -i*x. Solve 5*o + 2*l = -x, 4*l + 6 = o - 3 for o.
-3
Let w be (-6)/8 + 14/8*1. Solve 4*g - 9 = z + w, 5*z + 4*g = 22 for z.
2
Let h = -1 + 8. Let i = h + 7. Suppose -5*c = 3*l - 44, -2*l + 3*c = -0*l - 23. Solve 2*t - 2*r = 1 - l, t + 3*r = i for t.
-1
Suppose -r - 5*y = 18, -4*r - 5*y - 16 = -2*r. Solve -3*o + 8 = -r*o - c, -3*o + 14 = -c for o.
3
Suppose 0 = -2*k + 2*b + 2, -23 = 4*k + 5*b - 0. Let i be (-8 - (-2 - k))/(-1). Suppose i = -0*m + 4*m. Solve -1 - m = -p + r, 0 = 5*p + 2*r - 29 for p.
5
Suppose -i - 72 = -5*u, 2*u + 2*u + 4*i - 72 = 0. Solve 0 = -3*x - 3*k, -2*k - u = 3*k for x.
3
Let x = -6 - -7. Suppose 3*t = 5 + x. Suppose -o - t = -2*o. Solve -2*a - 10 = -4*i, 0 = 3*a - i - o + 7 for a.
-1
Let i(d) = -d**2 + 15*d - 30. Let f be i(12). Solve 5*s + 35 = -5*o, f*o = o + s - 23 for o.
-5
Let i(x) = x**2 + 6*x + 10. Let a be i(-2). Solve 10 = 2*c + 3*c - a*g, -5*g - 25 = -3*c for c.
0
Let a = 8 - 5. Suppose 1 = -a*z + 7. Solve 5*o - z*y = -1, 4 = o + 3*y - 2*y for o.
1
Suppose -3*t - 4*c - 25 = c, 5*c + 25 = 0. Solve 0*j + 3*j + 5*g - 12 = 0, -5*j + 5*g - 20 = t for j.
-1
Let c(r) = r**3 + 9*r**2 - 10*r + 6. Let h be c(-10). Suppose u + 25 = h*u. Solve -3*i = 4*g, -u*i = -5*g + 44 - 9 for i.
-4
Suppose 0 = -o + 26 - 12. Let t(w) = w**2 - 2*w - 4. Let s be t(-4). Let a = s - 0. Solve -3*y - g - 2 = o, 3*g + a = -2*y for y.
-4
Let j(n) = n**2 + 6*n - 4. Let v be j(-8). Suppose 8*d = 5*d + v. Solve 4*b + 16 = d*p, 3*p - 2*b = 4 + 3 for p.
-1
Suppose 3*f + 13 = -2. Let j = f + 13. Let p be (-4)/(j/(-6)) - -1. Solve 0 = -4*r + 12, 1 - 4 = 5*z + p*r for z.
-3
Let i be 24/36 - (-26)/6. Solve 2*t - 3*s - s - 4 = 0, 16 = i*t - 4*s for t.
4
Suppose -4*k - c = -17, 5*k + 2*c = -2*c + 24. Solve k*j - 2 + 0 = -3*m, 2*j - 2 = -2*m for m.
2
Let g be 2 - (-1)/((-2)/(-8)). Suppose -80 = -3*m - h + g*h, 5*m - h = 104. Let n = 279 - 277. Solve -4*k = 3*i - m, -2*k = 2*i + n - 12 for k.
5
Let b = -20 + 22. Let n be (-3 - -4)*b + 0. Solve 4*p - n*h = 12, -4*h - 11 = -3 for p.
2
Suppose -3*a + 15 = 3. Let m be 5 - (3 - (4 + -2)). Let k = m + -2. Solve k*i = i - 4*z + 23, -a*z + 32 = 4*i for i.
3
Let r(f) = f**2 + 7*f + 9. Let i be r(-6). Suppose 5*t - 37 = -2*k, k + i*t + 108 = 4*k. Solve 3*d + 12 = 4*s + k, 2*d = -2*s + 8 for d.
5
Let m(z) be the first derivative of -z**2/2 + 11*z + 4. Let o be m(11). Solve 4*c + 4*n = o, -2*n + 3*n = c for c.
0
Let n(t) = -t**2 - 7*t - 2. Let g be n(-5). Let u be (-8)/84*3 + (-16)/(-7). Solve i + x + 5 = 0, -u = i + 2*x + g for i.
0
Let w(r) = r**2 - 4*r + 5. Let l be w(3). Solve 5 - 16 = -f + 5*o, f - l*o - 2 = 0 for f.
-4
Let f(t) = -t**2 - t. Let g be f(-2). Let l be (g - (-33)/12)*16. Solve -3*p - m - l = m, -5*p - 3*m = 19 for p.
-2
Let f(b) be the third derivative of -b**6/24 - b**5/60 - b**4/12 - b**3/6 + b**2. Let j be f(-1). Solve 5*p - 1 = 2*z, 0 = -4*p - p - j*z - 20 for p.
-1
Suppose -3*g + 2*t + 17 = 0, -3*g - 6 = 3*t - 3. Suppose -r - 4*l + 4 = 3*r, -5*r = -l - 11. Solve d - 25 = -3*k + g*d, -r*k = 4*d + 10 for k.
5
Suppose -5*z = 20 + 10. Let v = z + 10. Solve -2 = -2*b + 6*b - 2*q, -4*b - 4*q = -v for b.
0
Let y = 4 + 0. Suppose -l - l = -y. Suppose -i - l*r + 5 = -14, 2*i = -3*r + 34. Solve -2*j + 5 = 3*b, 3*j = -4*b + 3*b + i for b.
-1
Let y be 27 + (2/1)/2. Suppose -y + 7 = -3*s. Solve 4*a = -v + 5*v + 32, -s = -v - 2*a for v.
-3
Let m be 20/(3/(-6)*-2). Suppose 0 = d - 4*t - 20, -2*d + 0*d + 4*t + 40 = 0. Solve 4*y - 3*a = d, -5*y = -y - 5*a - m for y.
5
Suppose 5*x = 11 + 4. Solve -4*g = -4*f - 4, -2*f + x*g + 14 = 5*g for f.
3
Suppose 4*o - o = 0, 9 = 3*z - 3*o. Solve -f + z*c + 11 = 0, -3*c - 26 = 2*f - 6*f for f.
5
Suppose 2*w + 0*w = 8. Suppose w*v = -2*s + 42, 2*v = -s - s + 34. Solve -s = -2*u - 3*l, -12 + 3 = -3*l for u.
2
Suppose 2*l = 6*l. Let o(w) = -w**2 + 2*w + 13. Let d be o(5). Let x be 4/(d/(-1)) + 3. Solve 2*g - h - 8 = -l*g, 0 = x*h - 10 for g.
5
Let d(n) = 3*n + 1. Let g be d(1). Suppose 1 - 25 = g*k. Let v = -3 - k. Solve 0 = -v*j, -6*y + y - 5 = -5*j for y.
-1
Suppose -2 - 4 = -i. Suppose -6*s = -3*s - i. Solve -2*g + 8 = -5*c, 4 + 4 = -s*g - 3*c for g.
-1
Suppose -2*j = -68 - 22. Suppose 76 = -2*f + 20. Let m = j + f. Solve -3*l + 1 = 4*c, c - 8*l + 3*l + m = 0 for c.
-2
Let r(g) = g**3 + 12*g**2 + 12*g + 14. Let v = 4 - 15. Let m be r(v). Let b be m/(-3)*-2*1. Solve 3*a - n + 1 = 0, -6 = b*a - 0*n + 2*n for a.
-1
Let x = -11 - -8. Let k = -3 - x. Solve -4*l - 3*q - 1 + 2 = k, 0 = l + q for l.
1
Let v(j) = j**2 + 5*j - 1. Let a(t) = 7 + t - 7. Let n(p) = 5*a(p) - v(p). Let g be n(-1). Solve 4*o + g*k - 6 = -3*k, -k + 2 = -5*o for o.
0
Let x = 3 + -1. Suppose -c + 2 = -0. Let i = 0 - -16. Solve 2*y + x*t = 