 - 4 + n = w, -p*w - 1 = -3*k for w.
-2
Let d be -4*((-15)/4 + 2). Let q = d - 5. Solve -2*m + 11 = -5*x, -2*x = -3*m - q*m + 17 for x.
-1
Let f be ((-5)/2 - -2)*0. Solve 2*w + 6 - 2 = f, -4*g - 14 = -3*w for g.
-5
Let x be -3 - -6 - 1 - 10. Let j be 33/(-2 + (-28)/x). Solve 5*m - w + 18 = 0, -2*w = -5*m - 3*w - j for m.
-4
Let n(c) be the first derivative of 2*c**2 - c - 1. Let s be n(1). Solve -2*t - 11 = -s*t - 3*l, -5*l = -5*t - 45 for t.
-4
Let g = 27 - 10. Suppose 0 = 5*p - p + 5*z + g, -3*p - 14 = 4*z. Solve -x + 9 = -4*j, -2*x - j = p*j + 4 for x.
1
Let b be 1*32/(6 - 2). Solve 5*r = -4*k - b, 4 = -2*k + 3*r - 0 for k.
-2
Suppose -2*w - 2*w - 76 = 0. Let v = w - -19. Solve -u - 3 - 1 = -5*x, v = -4*x - 2*u + 6 for x.
1
Let i = 8 + -3. Suppose -a + 93 = 5*l - 25, 7*l - 3*a - 152 = 0. Solve -i*u = 3*p - l, -3*u + 3*p - 8*p + 17 = 0 for u.
4
Suppose -4*o + 121 = 101. Solve 2*j + 36 = o*s + 12, 3*j + 18 = 3*s for s.
4
Let n(t) = -t**3 + t**2 + 5. Let q be n(0). Let y = q - 10. Let l be (2/y)/((-1)/5). Solve -f = -l*m - 2*m + 20, -3*f + 20 = 4*m for m.
5
Suppose -4*v = 3*a - 34, 2*v - 8 = 4*a - 2. Let p = v - 7. Solve -4*b + 3*r = -r, -r - 1 = p for b.
-1
Let j = 36 - 36. Solve j = -p - z - 8, 2*z = 4*p - z - 3 for p.
-3
Let l be (-17)/(-4) - 0 - 4/16. Solve 4*p + l*t = 20, 0*p + p + 4 = 2*t for p.
2
Let d be 20/(-70) + (-6)/(-63)*3. Solve x + 5 = o - 0*x, -x - 4 = d for o.
1
Let n(y) = y - 10. Let u be n(10). Solve 0 = a, u = g - 2*a - 1 for g.
1
Suppose 25*f = 29*f - 24. Solve -f = -4*a - 4*j + 10, -j + 2 = -a for a.
1
Let u = -1 - -4. Solve u*r - 21 = 3*n, -4*r = -5*r - n + 1 for r.
4
Suppose -4*o + 17 = s, 4 = -o + 2*s - 3. Let u = -41 - -45. Solve -4*y + 4 = -u*c, -2*c = o*y - 3*c - 9 for y.
4
Suppose 6 = 2*s + 2*h, -3 = -2*s - 2*h + 3*h. Solve 0 = -2*k - 4*z + 10, -s*k + 6*z - 3*z - 4 = 0 for k.
1
Let m(y) be the first derivative of -y**3/3 + 7*y**2/2 + 4*y + 4. Let u be m(7). Solve 0 = -w - 3*x + 4, -u*w + 5*x - 29 = 2*x for w.
-5
Let d(u) = u**3 + 9*u**2 + u + 11. Let w = -25 - -16. Let y be d(w). Solve -k + y*k = 4*b + 17, 4*k = b + 23 for b.
-3
Let j(k) = k**3 + 7*k**2 + 6*k + 4. Let x(n) = n - 1. Let r be x(-5). Let b be j(r). Let g = -1 + 3. Solve -s + g*t = 7 - 1, -5*t = 3*s - b for s.
-2
Let h(t) = t**3 - 6*t**2 - 8*t + 8. Let s be h(7). Let c be s + (-4 - -7) + -1. Solve v + 0*v - c = -p, 0 = 5*p - 2*v - 15 for p.
3
Let f = 12 + -9. Solve -3*w - 2*w + 10 = 0, 0 = -f*y - 3*w + 6 for y.
0
Let m be ((-2)/(-4))/((-1)/(-10)). Let v = -8 - -13. Let w be ((-5)/(-3))/(v/15). Solve 0*g - 14 = w*o + g, 0 = -4*o - m*g - 7 for o.
-3
Suppose 0 = -4*u + 8 + 4. Suppose 19 = 5*w + 2*b - 43, -u*b = 12. Solve 3*j - w = 4*a, -2*j - 2 = 3*a - 0*j for a.
-2
Suppose 8*i - 57 - 31 = 0. Solve 4*s - g - 3 = -22, g - i = 2*s for s.
-4
Let v = 31 - 5. Solve o + 15 = 5*i, -v = -3*i - o + 5*o for i.
2
Suppose -2*n = -4*n. Suppose n = 3*l + 2*l. Suppose l = -z + 3*h - 3 + 5, 2*h = -z + 2. Solve 5*w = 20, w = 3*d - 0*w - z for d.
2
Let r = 12 - 2. Suppose -5*t - j + 8 = -7, -r = -2*j. Solve -t*d + 14 = -3*z, 2 = -4*d - 5*z + 8 for d.
4
Suppose 43 = 5*y + 18. Solve -5*h + 3 = -3*k + y*k, 4*h = 5*k - 24 for h.
-1
Let i(a) = -a**2 + 4*a + 2. Let c(t) = t + 3. Let u be c(0). Let w be i(u). Solve -4*l + 6 = -5*r, -w*l - r = -5*r - 12 for l.
4
Let o = 6 + 0. Solve 2*r = o, -7 = 2*l - 0*r + r for l.
-5
Let o = -20 - -29. Let i = o - 4. Solve -i*j = f + 2*f + 4, -f = 3*j + 4 for j.
-2
Let l be 0/5*2/(-4). Suppose -3*r + l*r = -9. Solve -r*b - 2*g - 3*g + 14 = 0, 0 = b - 5*g + 2 for b.
3
Let i = 62 + -22. Let y = 58 - i. Solve -5*r = 5*j + 15, -5*j - 7 = y for r.
2
Suppose 0 = -5*u + 20 - 5. Let c be (-4)/(-14) - 52/(-14). Solve c*p = u*l + 22, -14 = -5*p - 3*l - 0*l for p.
4
Suppose 4 = 4*r - 3*r. Suppose 4*v - 24 = -2*j, r*j + 3*v - 5 = 18. Solve -j*o + 21 = o - 2*n, 4*n = -12 for o.
5
Suppose 0 = -7*c + 3*c + 56. Suppose 44 - c = 5*d. Suppose -d*j = -2*j. Solve w - 3*a - 15 = -3*w, j = -4*w + a + 13 for w.
3
Suppose 0 = -12*q + 11*q + 2. Let s = 39 + -25. Solve -2*t - s = -5*c, -c + q*t + 16 = 6*t for c.
4
Suppose -4*p + 4*x = 28, 2*p - p - 8 = 4*x. Let g be (-54)/p + (-2)/4. Solve -y = g*y + 5, -c = -3*y for c.
-3
Suppose -15 + 9 = -2*q. Solve 3*j = 4*c - q, 0 = -3*c + c for j.
-1
Suppose 10*d + 590 - 620 = 0. Let j(s) = s**3 - 3*s**2 + 2*s. Let w be j(2). Solve a + d*a - 5*c - 28 = w, 0 = 3*c + 12 for a.
2
Suppose 2*a + 4 + 12 = 0. Let n = -8 - a. Let k be (n + 0)/(-5 + 6). Solve k = 3*q - 3*m + 3, -1 = -0*q + 5*q - 4*m for q.
3
Suppose m = 2 + 4. Let i(y) = y**2 - 5*y - 6. Let z be i(m). Solve r + 2*v - 7 = z, -4*r - v = -6 - 1 for r.
1
Let h(f) = 2*f**3 + 1. Let z be h(1). Solve 2*v - g + 6 = 0, -z*v + 3*g + 0 = 3 for v.
-5
Suppose -5*u = -4*u. Solve 3*m - 4*p - 24 = -u*m, m + 8 = -4*p for m.
4
Let g = -2 - -6. Let o = g + -1. Suppose 0*d - 4*s + 18 = -d, -o*d - 2*s + 16 = 0. Solve c - 5*y + 30 = -4*c, -3*y + 17 = -d*c for c.
-1
Let v be (-5)/10 + 2/4. Suppose m = 4*s - 0*s - 33, 3*m - 9 = v. Suppose 2*x = -10, s = -2*g + 4*x + 39. Solve -2*h + j - 2 = 3*j, -3*h = -g*j + 19 for h.
-3
Suppose 4*t = 2*s - 8, -4*s + 2*t + 8 + 2 = 0. Let r = 142 + -142. Solve -5*i = -r*c - c - 23, -2*i = s*c - 14 for c.
2
Let w = -8 - -13. Suppose -j = -0*j - 5*l - 19, -w*l + 1 = 4*j. Solve -j*m + 4 = 5*d, -4*d - 4*m + 2 = -2*m for d.
0
Let r(q) = q**2 - 9*q + 8. Suppose 0 = 4*b - 2*g - 24, -4*b - 3*g + 6*g + 22 = 0. Let m = b + 1. Let z be r(m). Solve 0 = 5*a - i - 15, -a = -5*i - z - 3 for a.
3
Let i(r) = 31*r - 1. Let l be 2*(-1 + (-3)/(-2)). Let m be i(l). Let z = m + -20. Solve x = -4*x - z, 12 = -a - 4*x for a.
-4
Let g = 44 - 44. Solve g = 5*b - j - 16, 16 - 40 = -b - 5*j for b.
4
Suppose -z = 2*f - 9, f + 2*z + 31 = 4*f. Solve c - 6*c = -2*m + f, 3 = 3*m for c.
-1
Suppose 2*u - 2*d + 6 = 50, -34 = -3*u - 5*d. Let x = 19 - u. Let q(y) = -4*y - 6. Let f be q(-4). Solve 2*m = f, 3*b + m = -m + x for b.
-3
Let o = 4 - 2. Solve -h + 5*x = -o*h - 17, 0 = 5*h + 4*x + 22 for h.
-2
Let m(j) = j**2 + 3*j - 6. Let y be m(-5). Suppose -2*o + o = -1. Suppose o = 3*w - 5. Solve -3*k = -w*u + 8, y*u - k - 12 = u for u.
4
Let y = -4 - -7. Solve -t - 5 = -6*t - 5*c, -y*c + 7 = -t for t.
-1
Suppose 5*r = 3*h + 48, 5*r - 5*h - 50 = -0*h. Let v = r - 7. Solve -v*d - 2*d = 3*i - 23, 4*i + 2*d - 14 = 0 for i.
1
Let r be (-2)/10 + (-77)/(-35). Let v(h) = -5*h. Let q be v(-1). Suppose 4*x + x = q. Solve -m - 2*n = 7, n - x = r*m - 2 for m.
-1
Suppose 62*m = 66*m - 8. Solve 2*n - m = -2*y - 2*n, -y + 5*n = 20 for y.
-5
Let p = -20 - -23. Solve 3*x + x + 24 = 4*s, 24 = -p*x + 5*s for x.
-3
Let n = 29 + -24. Solve -z + n*d - 8 = 0, 3*z - 4 = 6*z + 5*d for z.
-3
Let y = -8 - -11. Let b(t) = -t + 2*t**2 - y*t**2 - 4*t + 0*t + 5. Let z be b(-5). Solve -z*u + 5*f + 15 = -0*f, 31 = 5*u + 3*f for u.
5
Let o = 2 - 0. Let q be (-2 - -17)*1 - o. Suppose 3*p - 5 = 3*h + q, -5*h = -p + 10. Solve 5*y = -p*u + 10, -u + y = -3*y + 3 for u.
1
Let j = -45 + 54. Solve 3*i + j = 5*k - 11, -5*i = -k + 26 for k.
1
Let a(k) = -k**2 - k + 12. Let u be a(0). Suppose h + 4*r = -0*r - u, -4*r - 12 = -5*h. Solve 4*g + 2*y + 3 = -3, h = -2*g + 2*y - 12 for g.
-3
Let f(i) = -i**3 + 7*i**2 - 8*i + 7. Let q be f(5). Let t = 21 - q. Solve 13 = t*c + 3*m, -m = -4*c - 3 + 4 for c.
1
Suppose -2*t = -t + 5. Let g(b) = -6*b - 7. Let o(z) = -7*z - 7. Let p(h) = 5*g(h) - 4*o(h). Let w be p(t). Solve -4*i - w*a = 20, 2*a + 15 = -3*i + 4*a for i.
-5
Let n(m) = -m - 3. Let s be n(-4). Let t be (s + 0)*77/7. Solve 0 = -k - k - 2*c + 6, 0 = -2*k + 3*c + t for k.
4
Let r be -1 + 24/2 + -3. Let w(z) = -2*z - 2. Let l be w(-2). Let g = l + 9. Solve -r = m + 3*m + 4*q, 0 = -3*m + 2*q - g for m.
-3
Suppose -3 = -c + a, -3*c + 5*a - 13 = -2*c. Let i be 2*(-1 - 0)/(8 - 9). Solve -5*s - 14 = -i*f - c, s + 3 = 0 for f.
-4
Let p(i) = 4*i - 2. Suppose h - 6*t = -2*t - 14, 0 = -3*h + 2*t - 2. Let k be p(h). Let x = -24 - -26. Solve -2*z + k = 0, 12 = -x*n + 4*z - 6 for n.
-3
Let f(s) = -s**2 - 5*s + 14. Let l be f(-7). Let n = -26 - -40. Let v = 33 - n. Solve d + 4*h = v, l = -d - 0*d + 5*h - 17 for d.
3
Suppose 0*v + v - 6 = 0. Let r = v - 4. Suppose -5*p - 31 = -r*b, -b - 16 = 2*b + 5*p. Solve -l = -b*t - 9 - 0, 4*t + 10 = 2*l for t.
-4
Let i =