, 2*k + 8 = -5*n for n.
0
Let l(g) = -g**2 - 10*g + 11. Let i be l(-11). Solve 0 = -j - 5*p - 17, -5*j + 27 = -i*p - 3*p for j.
3
Let r(i) = -6*i + 59. Let d be r(9). Solve 3*c - 9 = -5*j, -4*c = -d*c + 3*j + 3 for c.
3
Let j = 10 + -16. Let i = -6 - j. Let c(l) = l + 5. Let r be c(i). Solve r*m = v + 9, -4*m = 3*v - 0*v + 8 for v.
-4
Suppose 2*y + 16 = 5*q, -q + 3*y + 3 = -4*q. Solve 0*d + q*d + 2*g = 4, 2*d + 5*g = 13 for d.
-1
Suppose -5*d + 10 + 15 = 0. Solve -d*t = -10, 4 = -2*y - 2*y - 2*t for y.
-2
Let c = 42 + -27. Solve 5*o - 25 = 5*m, -2*m - m - 3*o + c = 0 for m.
0
Let i be 27/6 + (0 - (-2)/(-4)). Solve -5*z + 16 = 5*d - 4, -i = -5*d - z for d.
0
Let t = 7 - -1. Let u = 13 - t. Let i(o) = -o + 8. Let v be i(8). Solve 3*r = -5*q + 20, v = -u*r + q + 4*q - 20 for r.
0
Suppose 0 = 6*n - 0*n - 30. Solve 3*l - 3 = -t, 0 = -3*t - n*l + 5 - 0 for t.
0
Suppose 0 = -5*r - 5 + 20. Let m be 5 + (r - 3) - 1. Solve 3*g + 2 = -5*z, 5*g + 19 - 7 = -m*z for g.
-4
Suppose 2*d + 27 = 37. Solve d*u - 5*o = 45, 0*o = -u - 2*o - 6 for u.
4
Let x(u) be the first derivative of u**4/4 + u**3/3 - u**2/2 + 2*u + 1. Let p be x(0). Solve 22 = -4*c + 5*t, -2*c - 3*t = -p*t + 4 for c.
-3
Let s(x) = -x**3 + 17*x**2 + 17*x + 26. Let n be s(18). Solve 2*u = -0*u - 3*i - n, -3*i = 3*u + 12 for u.
-4
Suppose -5*z + 2*x = -10*z + 16, 3*z - 6 = -3*x. Solve 3*m - z*k = m - 24, 0 = -5*m - k - 5 for m.
-2
Suppose 153 = 4*k - 3*p, 6 = 4*p + 18. Let i(x) = -2*x + 7. Let y be i(5). Let v be (1/(-3))/(y/k). Solve 0 = 5*z + 3*o - 8, v*o = -5*z - o for z.
4
Suppose 0*f - 35 = -4*v - 3*f, -4*f = 12. Solve -2*j + 3*l - 5 - v = 0, -3*j = 2*l - 2 for j.
-2
Let a(f) = -f**2 - 7*f + 9. Let z be a(-6). Solve p = -3*m, 0 = -2*p + 7*p - z for m.
-1
Let x = -10 - -12. Suppose 8 = 2*y + x. Solve -3*f = 4*g + 6, -y*f - 2*g = 3*g + 9 for f.
2
Let a(p) = p - 8. Let v be a(11). Solve -2*l = -l - 2, d = -v*l + 7 for d.
1
Suppose -5*b = -11 - 9. Solve -4*i + 1 = d, -d + b*i + 3 = 2*d for d.
1
Let a = 89 + -87. Solve -3*w + w = x - 7, 4*x = -a*w - 2 for x.
-3
Let t = -43 + 71. Suppose -4 = -2*v + 3*v, 3*v = o - t. Solve 5*m + 1 = -5*y + o, -3*m + 13 = y for m.
5
Let g be (-2)/(-1 + 2)*-1. Suppose -2*v + 2 = -g. Solve v*j = 2*q + 14, 3*j + 9*q - 4*q = -19 for j.
2
Let r(k) = -2*k + 43. Let j be r(19). Solve 5*a - j*c = 7*a + 2, -a = -5*c - 14 for a.
4
Let r(i) = -i**3 + 2*i**2 + 2*i. Let q be r(2). Let x be 3/(-15)*-4*5. Solve -q*s = 2*l - 14, 0*s = x*s - 5*l + 7 for s.
2
Let g = -4 - -6. Let c = 6 + -4. Let a be (-8)/(-2) + (g - c). Solve 12 = -4*o - 2*s, a*s - 1 = 7 for o.
-4
Let h(t) = -t**3 + t**2 + t + 3. Let r be h(0). Solve 2*u + 18 = -4*y, -6*y + r*y = -u + 16 for u.
1
Let b(c) = 2*c + 5. Let s be b(-3). Let i = 5 - s. Let m(a) = a**3 - 4*a**2 - 4*a - 1. Let v be m(5). Solve -h + i = -3*f + 2, 0 = -5*h - v*f + 1 for h.
1
Let y(a) = a**2 + 3*a + 6. Let u be y(-4). Let d be 5*(26/u + -1). Suppose 0 = 3*z + 3*i - 8*i - 34, -34 = -4*z + i. Solve -3*m - q = -d, q - z + 3 = 0 for m.
1
Let u be (-5)/(20/(-132)) + 4/(-4). Solve 12 = 4*t + u, 0 = -p - 5*t - 29 for p.
-4
Let l(i) = 6*i**3 - 2*i + 1. Let y be l(1). Solve 5*q + 40 = y*g, -5*q + 0 - 10 = g for g.
5
Suppose -3*a + 0 = -15. Solve 0 = -i - 3*q - 1, a*i - q - 2*q + 5 = 0 for i.
-1
Let m(z) = z**3 - z**2 - 24. Let d be m(0). Let f = 6 - d. Solve 0 = -5*t - 25, -3*v - f = 5*t + 4 for v.
-3
Let a(b) be the first derivative of -b**2/2 - 4*b - 2. Let y be a(-5). Let x be 2 + 0 + (y - -2). Solve 30 = -0*k - x*k + 4*l, 2*k + 14 = 2*l for k.
-2
Let p be ((-2)/(-3))/((-1)/(-6)). Let x be (-24)/(-10) + (-6)/15. Suppose 3*z - x*z = 3. Solve z*k + k - 8 = -2*n, -14 = n - p*k for n.
-2
Let y(i) = -i**3 - 6*i**2 + 6*i - 2. Let o be y(-7). Suppose q = -o*t + 15, -q = -3*t - 2*q + 9. Solve -4*v + 15 = 5*d - 4, -v = t*d - 10 for d.
3
Let q = 16 + -15. Solve 3*r = -3*y - 6, -2*r - y + q = 6 for r.
-3
Suppose 0 = -4*r + 3*r - 12. Let m = r + 20. Solve t = -5*u + 9, 2*t + 2*t - 2*u = -m for t.
-1
Let c be ((-4)/6)/((-2)/(-3)). Let s = 1 + c. Suppose 5*d + 6*l - 20 = l, -4*d - l + 4 = s. Solve d = -3*b + z - 3, -4*b - 3*z - 17 = -0*z for b.
-2
Let n = -25 + 46. Suppose 3*c + 0 - n = 0. Let l = -2 - -2. Solve l = -3*p - 2*b + 9, -c*p + 2*p = -b - 28 for p.
5
Let q = 10 - 18. Let i = q + 23. Solve i = -5*o - 2*a - 0*a, a = 5 for o.
-5
Let p be (-2*1)/((-4)/(-2)). Let r = p - -7. Solve -m - 2*c = r, -m + 2*c = c + 3 for m.
-4
Let i = 14 - 11. Solve i*s + t = 10, 2*s - 3*t - 35 = -2*s for s.
5
Let i be 0 - (-5)/(15/(-18)). Let z = -11 - -19. Let f be z/12 - 20/i. Solve -2*l + 1 = -l - h, -3*h = -f*l for l.
-3
Let h = -19 - -8. Let l = -34 - -11. Let o = h - l. Solve -3*x - 10 = 5*t + 2, -3*x = -t + o for x.
-4
Suppose 2*t - 4*t = 4. Let d be 2 - (-1)/t*-2. Solve -i = -d*z + 9, z - 10 + 5 = i for z.
2
Suppose -2 = 5*h + 3*c + 4, -h = c + 2. Let x be h*3/9 + 5. Solve -4*t + 20 = x*o - 2*t, 2*t - 12 = -o for o.
2
Let z(o) = o**2 - o + 5. Let l be z(-4). Let i be 5/3 - (-2)/6. Let m be 17 + 0 + 0/(-2). Solve 2*h = 3*t + i*t + m, -5*h - l = t for t.
-5
Let n be (5 + 0)/(-1) + 2. Let r be (-24)/(-8)*(-2)/n. Solve 4*c - 4*f = 5*c - 17, -r*c = -3*f + 10 for c.
1
Suppose -h = 3*x - 2, -4*x + h = -h - 16. Suppose 24 = 2*z + x*z. Suppose z = -2*n + 5*n. Solve -n*i - c - 7 = -0*i, -5*c = -15 for i.
-5
Let f(m) = m**3 + 6*m**2 - 9*m - 6. Let t be f(-7). Solve -2*y + 0 = -2*d + t, y = -5*d + 8 for d.
2
Suppose -2*h + 3*r = -0*r - 2, 0 = 2*h + 4*r - 16. Suppose h*y + 6 = 5*y. Solve -3*u = -g + 4*g + y, 2*g + 3*u = -5 for g.
-1
Let q(p) = p**2 - 8*p - 9. Let l be q(9). Solve -y = l, b + 2*y + 2 = 2*b for b.
2
Let b(h) be the third derivative of -h**4/12 + h**3/6 - h**2. Let a = 25 + -28. Let m be b(a). Solve 5*y - x + 11 = 0, 2*y + m = -3*y + 2*x for y.
-3
Let z = 3 - 6. Let l(d) = d**3 + 4*d**2 + 1. Let i be l(z). Let k = -7 - -11. Solve -k*s - 5*o = -i, -6*o = 4*s - 2*o - 12 for s.
5
Suppose -3*f + 3*w = -15, f + 28 = 3*f + 4*w. Suppose 3*o - f*o + 15 = 0. Solve -4*l - o*q + 3 = 0, q + 1 = 2 for l.
0
Suppose 0 = -0*d - 4*d + 24. Suppose 3*r + 0 = d. Suppose -g + 6*g = 75. Solve r*m + 6 = 4*f, 0*m - 2*m - 3*f + g = 0 for m.
3
Let i be 10/3*12/8. Suppose -70 + 30 = -5*t. Solve -6 = -3*y + i*c, 2*y + 2*c = -2*y + t for y.
2
Suppose 2*h + w = -40, -h - 20 = 2*w - 0. Let o = h + 28. Suppose -q - 6 = -3*q. Solve 5*l + 0 - o = 3*f, -2 = q*f + l for f.
-1
Let l be (-14)/4*2*1. Let s(b) = 2*b**2 + 3*b**2 - 4 - 9*b - 6*b**2. Let z be s(l). Solve -2 - 3 = -m + 5*a, -5*a = -4*m - z for m.
-5
Suppose 0*i - 2*i = 4. Let h = i - -5. Solve -h*s + 6*s - 2*b - 3 = 0, -b = -4*s - 1 for s.
-1
Let h be -15*-1*(-10)/(-6). Suppose 0*o = 5*o - h. Solve 5*b = o*q - 15, 2*b - b = 3*q - 7 for b.
-1
Suppose 22 = k + x, 0 = k + k + 5*x - 44. Suppose 3*p + k = 5*p. Let n be p/3 - (-2)/6. Solve q = n*d - 17, -8*q + 3*d = -3*q + 17 for q.
-1
Suppose 4*p + d - 5*d - 20 = 0, -3*p - 20 = 4*d. Solve 3*j + 21 = -3*b, 0 = 2*j + 3*b - p*b + 17 for j.
-4
Suppose 0 + 10 = 5*x. Suppose d = x*d - 4. Suppose 0 = 5*a - 0*a - 2*u - 33, 0 = -d*a - 5*u. Solve -5*k + a*i - 5 = -0*i, 19 = 5*k + i for k.
3
Let b(m) = m - 3. Let j be b(8). Suppose -j = 8*q - 3*q, 2*g - 2*q = 8. Solve -4*a - 4 + 0 = -v, g*a + 3 = 4*v for v.
0
Let z be (2 - 4) + 4 + 2. Solve j - 5*f = 16, 5*f = j + z*f for j.
-4
Let h(z) = 4*z**3 + 3*z**2 - 6*z + 4. Let d be h(1). Solve 0 = -4*a - 0*j - 5*j + 35, -d*j + 25 = 2*a for a.
5
Let q(a) = 2*a + 3. Let r be q(5). Suppose 17*g - r*g = 56. Solve g = -4*v - 3*x, -3*x + 7 + 14 = -3*v for v.
-5
Suppose -9 + 15 = 2*r. Solve r*j = 2*k - 7, -2*j - k + 2 = k for j.
-1
Let v = 5 + -1. Suppose 0 = -v*f - 8*z + 3*z + 37, 3*z - 27 = -4*f. Solve 0 = -f*w + 3*h + h + 18, -21 = -3*w + 5*h for w.
2
Let c = 75 + -71. Solve -c*r = -0*r + 16, -5*r = -2*t + 28 for t.
4
Suppose 7*z - 2*z - 10 = 0. Suppose -5*s = 4*d - 12, -5*d = -0*s - 3*s - 15. Suppose d*h = 8*h - 30. Solve 0*u - z*u + h = -4*c, -8 = 3*c - 5*u for c.
-1
Suppose 8*q = 8 + 8. Solve 0 = -4*n - v - 9, -7*n - q*v = -3*n + 14 for n.
-1
Let f = 5 + 5. Let y be -4*(f/(-4) - -1). Solve -y*n = -p - n + 1, -5*p - 16 = -4*n for p.
-4
Let m be (24/16)/(2/(-4)). Let b be (-2 + 5)/(m/(-3)). Let w = 3 + -1. Solve -d - b*z + 2 = -5*z, 2*z + 14 = -w*d for d.
-4
Let b = 1