w*i + 16, -4*i = 4*u + 20 for u.
-4
Let z be -2 + 1*(-24)/(-3). Suppose 3*y + 5*m - 4 = 3, 2*m = -2*y + z. Suppose 0 = -5*c - 9 + 34. Solve -9 = -3*r + c*n + 21, -4*r + 8 = y*n for r.
5
Let r(j) = 6*j. Let s be r(1). Let n be ((2 - -13)/3 + -1)/1. Solve s*c - 2*f = c + 2, n*c - 12 = -f for c.
2
Suppose -5*c = 3*y - 5*y + 30, -2*y = 3*c - 46. Let u be (10/(-3))/(y/(-30)). Solve 0*o - 3*o - 3*x = 30, u*x + 40 = -3*o for o.
-5
Let i(m) = -m + 8. Let u be i(6). Let p(q) = q**2 + 9*q + 6. Let c be p(-9). Let x(y) = -y**2 + 8*y. Let v be x(c). Solve f = 3*k + u - 14, 5*f = 3*k - v for k.
4
Suppose -n = k - 40, -6*k + 4*k + n + 80 = 0. Let i be -1 + 4 + (-1 - -1). Let t = i - -1. Solve 4*q + k = -5*j, -q - t*q - 5*j - 45 = 0 for q.
-5
Let q(l) = l**3 + 12*l**2 + 10*l - 11. Let h be q(-11). Suppose 2*s - 3 - 1 = h. Solve -m + 13 = -s*m - 2*i, -4*m - 8 = -3*i for m.
-5
Let q be (-3)/(-1) - (7 + -7). Let d(l) = -4*l - 2. Let j be d(-5). Solve 14 = -4*o + q*h, 0 = o + o + 4*h + j for o.
-5
Suppose 7*y - 3*y = -3*i + 55, 0 = -3*i + 3. Let g = y - 9. Solve g = -2*n, -2 = -4*t - n - 2*n for t.
2
Let u = 7 - 7. Let v be 3 + -2 - (1 + u). Solve -3*b = 2*f - v*b - 16, -14 = -f - 3*b for f.
2
Suppose 2*s + 4 = 10. Solve 5*v - 4*d - 8 = v, -s*v + 5 = -2*d for v.
1
Suppose -v + 1 = -1. Let d be (6 + -2)*(v + -1). Solve p = d*p + 2*r - 2, -3*r = 3*p - 6 for p.
-2
Let f(x) = 2*x - 6. Let a be f(4). Solve o + 3*y = 5*y - 2, -3*o - a*y = 6 for o.
-2
Suppose 17 = 5*i - 8. Solve 8*u = -p + 5*u + 11, 5 = -i*p + 5*u for p.
2
Let f = 49 - 41. Solve 4*x + 20 = -4*r, -f = 2*x - 4 for r.
-3
Suppose k + 6 - 10 = 0. Solve 4*s + 2*d = 8*s - 2, -s = -4*d - k for s.
0
Let h = 2 + 0. Let t(n) = n**3 + 7*n**2 + 2. Suppose 5*m = -5*j - 10 - 25, -m = -2*j + 4. Let b be t(m). Solve -h*d = 5*c + 25, -4*d + 6 = 4*c + b for c.
-3
Suppose a - t + 8 = t, 2*a - 2*t = -6. Solve -h = -3*l - 5, a = -0*h - h - 4*l for h.
2
Let u(w) = w**2 - 5. Let x be u(-4). Suppose 3*b + 5 = 20. Suppose a - x = -b*v, 3*v + a - 2 = 5. Solve 2*o = 5*q + 16, 4*o + v*q = -14 - 2 for o.
-2
Let c(w) = -w**3 - 10*w**2 - 9*w + 2. Let g be c(-9). Solve -3*x + 2 = 4*f - g*f, -x = 4*f + 6 for f.
-2
Let n = 4 - 5. Let m be (-2)/n - (3 - 4). Suppose -w = m*w - 12. Solve 3*c - 3 = 0, 4*k + c + w - 12 = 0 for k.
2
Let t be (-3 - -4)*2 + -3. Let n be (t - -2) + -1 - -2. Solve n*o - 5*p + 5 = 12, 17 = -2*o - 3*p for o.
-4
Let u(c) = -2*c - 7. Let k be u(-5). Solve -k*s + 4*o + 3 = -0*o, 2*o + 1 = s for s.
1
Suppose n = -4 + 19. Let o = 4 + -2. Suppose k + 4*w - 16 = 0, -o*k + 3 = -w + 7. Solve k = -5*f - 3*x + 28, -5*f + 5*x + n = -f for f.
5
Let x be (-92)/(-20) + (-2)/(-5). Suppose -2 = -5*h - 17. Let u be (h + 6)/(1 - 0). Solve 0 = -2*q - s - 6, s = -x*q - u*s - 9 for q.
-5
Let z(w) = -w**3 + 9*w**2 + 10*w + 12. Let l be z(10). Solve 2*b + 16 = 5*v + b, l = 3*v - 3*b for v.
3
Let x(r) = -2*r**3 + r**2 - 1. Let g be x(-1). Let s = g - -4. Solve -2*q + 0*l - s = 4*l, -3*l = 3*q for q.
3
Let l = -28 + 20. Suppose -2*h - 4*a + 6 = -h, 2*h = 2*a - 18. Let j = h - l. Solve 2*m + 7 = -3*v + 2, -j*v = m + 4 for v.
-3
Suppose -8 = -6*k + 5*k. Let x be (k/14)/((-1)/(-7)). Solve 0 = -4*t + r - 11, -2*r + 1 = -x*t - 13 for t.
-2
Let a be (-30)/(-3 - 2) - 2. Solve -2*j = -3*z + a, -1 = 5*j - 4*z + 2 for j.
1
Let j = -5 - -10. Solve -2*t - 2 = j*l, l - 3*l - 8 = -t for t.
4
Let j(m) = -m**3 + 6*m**2 + 16*m + 3. Let s be j(8). Solve 0 = c - 0*a + s*a + 6, 0 = -2*c - 3*a - 6 for c.
0
Let z be (-13 - -3)/((-2)/1). Suppose 2*d - 1 - z = 0. Solve -17 = y + 4*g, -d*g - 16 = 4*y - 0 for y.
-1
Let r = 8 + -5. Suppose -r*y + y = -8. Let p be (-1 - -2 - 0) + 1. Solve -4*v = -5 + 13, y*k = v - p for k.
-1
Suppose 36 + 21 = 3*b. Solve -3*o + 16 = c, 5*c + 3*o - 13 = b for c.
4
Let r be (3 + 4 + -2)*1. Solve -r = -0*y + 2*y + p, 3*p = 3*y + 12 for y.
-3
Suppose d + 2*u = -2*d + 34, -4*d + 43 = 5*u. Suppose -b + 4*b = d. Let f(v) = -v**2 - v + 9. Let h be f(0). Solve 0 = 5*i - o - h - 1, 2*i = -b*o + 4 for i.
2
Let x be 20/8 - 1/(-2). Let n(h) = -h**3 + 2*h**2 + 3*h + 2. Let v be n(x). Solve -o + v = g, -2*g = -3*o - 4*g + 4 for o.
0
Suppose -11*x + 44 = 11*x. Solve 3*b + x = -4*i, -i = i - 2 for b.
-2
Let d(g) = g**2 - 5*g + 6. Let m be -1 - -1 - (-7 - -2). Suppose 10 = m*v - 10. Let c be d(v). Solve 2*q = 4*q - c*w - 4, 2*q = -5*w + 18 for q.
4
Let f(b) = b**3 + 14*b**2 - 15*b + 3. Let y be f(-15). Solve -2*m + 4 = 2*k, y*k = 4*k + 4*m - 17 for k.
-3
Let n(k) = -k + 2. Let t be (6/(-4))/(9/24). Let f be n(t). Solve p + f = -z + 2*p, p - 2 = 0 for z.
-4
Let d be (-6)/(-12)*(9 + 1). Suppose 8 = d*v - 2*g, 0 = 4*g - 0 - 4. Solve -2*o = -0*r + 3*r + 7, -v*o = -5*r - 33 for r.
-5
Let m(n) be the second derivative of n**4/3 - n**3/6 - 2*n**2 + 3*n. Let g be m(-3). Solve 2*w - g = -5*y, 0*w = -3*w - y + 20 for w.
5
Let s(p) = p + 6. Let x be s(-2). Let k(r) = r**2 - 1. Let b be k(2). Solve 4 = b*t - 4*q + 12, -x*t - 2*q = -4 for t.
0
Let p(l) = 5*l**3 - 2*l**2 + 1. Let c be p(1). Solve o = s - 3, 8*o - c*s = 3*o - 17 for o.
-5
Let c = -129 + 135. Solve 2*t + 0*t = -2*u + c, -2*u = 4*t - 4 for u.
4
Suppose -n + p = 3*p - 10, -n + 3*p - 10 = 0. Solve -5*a + n = -5*t + 2*t, 9 = 5*t + 4*a for t.
1
Let v = -3 + 5. Suppose 0 = -2*x + 3*x - 4. Solve v = 5*c - x*j + 13, j = -4*c + 8 for c.
1
Let u = 2 - 3. Let q be 1 + 17 - u/1. Solve -3*c + 2*m - q = 2*c, -m + 2 = 0 for c.
-3
Let d(s) = -s**3 + 4*s**2 + 6*s - 3. Let u be d(5). Suppose j - u*j + 5 = 0. Solve 4*q + q = 5*t + 30, j*q - 18 = -t for q.
4
Suppose -4*r = r - 80. Let f(b) be the first derivative of b**3/3 - 7*b**2/2 + 8*b - 2. Let m be f(6). Solve k + 2*t = 7, -m*t = k + 3*t - r for k.
1
Suppose -6*u - 7 = -31. Solve -u*f = 5*b + 25, -3*f - 2*f + 2*b = 23 for f.
-5
Let b(v) = 4*v - 3 + 6 - 3 - 1. Let q be b(1). Let k = 6 - q. Solve 7*t = -2*m + k*t, 2*m + t = -6 for m.
-4
Let t be (-2)/(((-8)/(-3))/(-4)). Suppose -t*g = -0*g - 6. Solve -g*s - 3*c = -4*s + 17, 31 = 4*s - 5*c for s.
4
Let w = -26 - -26. Solve w = 5*a + 25, 5*p + 0*a - 20 = 5*a for p.
-1
Let a be (-2 + (-1)/(-2))*-2. Let n(w) = w**3 - 3*w**2 - 2*w - 5. Let t = -3 - -8. Let u be n(t). Solve -2*c - 2*f = 3*c - u, a*c - 5*f + 10 = 0 for c.
5
Let g(i) be the third derivative of -i**5/60 + 5*i**4/12 + 7*i**3/3 + 4*i**2. Let d be g(11). Let b = 1 + -1. Solve r - 2*p - d = b, 5*r - 1 = 2*r + 2*p for r.
-1
Let f = 5 - 2. Suppose -4*d + 11 = f*p, -3*d - 3*p + 4*p = -18. Suppose -5*m + 2 = 22, -5*g + 5*m + 30 = 0. Solve g*u + q + 1 = 2, u - q = d for u.
2
Let p = -4 + 9. Suppose -5*z + 0*z = 0. Solve 2*g + z*v - p*v + 12 = 0, -2*g - 4*v = -24 for g.
4
Let g be 20/12*3 - 1. Suppose -g*q + 5 = -7. Solve -2*j + q*j - c - 6 = 0, -3*j + 17 = -2*c for j.
5
Let n(s) = -s**2 + s. Let c be n(1). Suppose c*w + w = 0. Solve 0*u + 3 = u, 3*h - 2*u + 15 = w for h.
-3
Let v(o) = -5*o**2 + 3*o + 1. Let c(p) = p**2. Let y(k) = 6*c(k) + v(k). Let f be y(-4). Solve -5*z + 0*i = -4*i - 4, f*i = 3*z - 5 for z.
0
Let u be (1 - -4)*(1 + 8/4). Solve -v + u = -4*r, -r + 3*v = -5*r - 3 for r.
-3
Suppose z - 3*q = 18, 0 = -z + 4*z + 3*q + 6. Let k = 18 + -13. Suppose z*n - 13 = -c - 4*c, 10 = k*c. Solve 6*t + 7 = -3*p + t, -t + n = 0 for p.
-4
Let k be 0 + -1 + 9/3. Suppose q = k*q. Let j = -7 - -18. Solve -3*f + v = q, 4*v - 1 = j for f.
1
Suppose n = -4*n - 35. Let k be 0*(-3 - n/2). Solve -5*j = -k*a - 2*a + 25, 4*j = 3*a - 27 for j.
-3
Let w(c) = c**2 + 6*c + 1. Let z be w(-7). Let s(r) = -r**2 + 8*r + 4. Let u be s(z). Solve 0 = -3*h - d + 3, 4*d + 4 = -u*h - 0*d for h.
2
Let u be 30/(-3)*(-1)/2. Suppose 0 = -u*p + p + 16. Solve -p*l + 3 = -5*a, a - 1 + 0 = 0 for l.
2
Suppose 0 = -u + 5*u - 8. Solve y = -4*g - 0*g + 5, 2*y + u = 4*g for y.
1
Let q = 10 - -1. Let g = 16 - 14. Solve -1 = -3*y - r - r, -q = -y + g*r for y.
3
Suppose 4*l - 18 = -2*f, -8 = -4*f + 12. Solve 5*g = -2*c - 14, -c + l*g = 2 - 4 for c.
-2
Let d be (-3 + (-45)/(-4))*4. Let p be d/5 - (-21)/(-35). Solve 5*o - p*t - 5 = -t, -2 = -2*o + 4*t for o.
1
Let b(z) = -2*z - 2. Let n be b(-2). Suppose 6*s = 11*s - 40. Solve -4 = n*m - 2, 2*m = -2*a - s for a.
-3
Let k(b) = 2*b - 12. Let x be k(6). Suppose 4*m - 218 = 82. Suppose 2*g - 75 = -5*s, -m = -5*s - 4*g + g. Solve 3*v + a + 1 + x = 0, -s = -3*a f