 = -2*k - 13 for k.
-5
Suppose -x + 5*o = 22, 2*o + 1 - 11 = 0. Suppose 0*z = -x*z. Suppose -p + z = -6. Solve q - 2*c = -p, -4*q - 5*c + 16 = -12 for q.
2
Suppose -15*c = 6*c - 105. Solve 4*k - c*b = -k, -k + 5*b = -16 for k.
-4
Suppose -47 + 26 = -3*d. Solve -x - d = -0*j + 2*j, -3*j - 14 = -2*x for j.
-4
Let t = 69 - 64. Solve -3*m + 6*m + 15 = -c, 0 = -t*m - 5*c - 35 for m.
-4
Let t = 7 + -4. Solve -d - 1 = t*c, -19 = -3*d - 4 for c.
-2
Suppose 3*o = 2*o + 4. Solve 3*v = -4*x - 5, 5*x = -o*v - v for x.
-5
Suppose -5*v + 7*d = 3*d + 118, 72 = -3*v + 3*d. Let p = v - -25. Solve 0*t - y + 11 = p*t, t = -4*y + 11 for t.
3
Let w be 7/3 - (-3)/(-9). Let c be (-4)/6 - (-2)/3. Suppose -5*z + k = 0, 2*z - 4*k + k = c. Solve z = -s - 5*v, 6*v = s + w*v for s.
0
Let b(w) = w - 3. Let q be b(3). Let s(v) = -v + 2*v + q*v + 9. Let p be s(-7). Solve -6 - 2 = p*a, -x - a - 9 = 0 for x.
-5
Let t(r) = -r**3 + 5*r**2 + 8*r - 2. Let o be t(6). Let i = 16 - o. Let d = i - 4. Solve 5*u = -n - 3*n - 2, -3*u = d*n for u.
2
Let n = -5 + 8. Let z be (90/(-10))/(6/8). Let k = z + 15. Solve -w = -k*y - 2, 4 + 9 = 2*w + n*y for w.
5
Suppose 4*k = -2*z + 10, 3*k + 2*k - 2*z = -10. Suppose 0*x + 2*x - 10 = k. Let o be 19/x + 4/20. Solve -2*h - 14 = o*r, -2*r - 4 = -r for h.
1
Suppose -5*x + 24 = 3*t - t, -5*x + t + 18 = 0. Let n = 5 - 7. Let c be x - (-2 - n)/3. Solve 6 = -2*i - 4*z - 0*z, -c*z - 5 = i for i.
-1
Let l = 2 - 2. Suppose 10 = 5*t - l. Solve 3*b - b = -y - t, -2*y - 5*b = 7 for y.
4
Let y = -68 + 82. Solve m - y = 3*h, 2*h = 3*h - 5*m + 14 for h.
-4
Let d(a) = -4*a**3 + a**2 + a + 1. Let t be d(-1). Suppose -t*b + 3 = -12. Let r(p) = -2*p + 7. Let m be r(-7). Solve 13 = -h - b*k, -5*h - m = 5*k + 14 for h.
-4
Suppose -4*q = 4*b + 14 + 6, 12 = -4*b + 4*q. Let v = 0 - b. Solve -t - v = 2*j, -32 = -0*t - 5*t + 3*j for t.
4
Suppose 0 = 4*k - 5*z - 8, -2*k - 2*z = -3*k + 2. Solve 8 = k*w + 2*g + 2, -3*w = -2*g - 9 for w.
3
Suppose 7*c + 12 = 9*c. Solve o - 2 = -2*k + k, -c = -3*o - k for o.
2
Let o be 9*((-12)/(-4) - 2). Let d = 12 - o. Solve -2*r + 1 = i, 0 = -4*i + 2*i + d*r - 5 for i.
-1
Let l(i) = -5*i**2 + 2*i**2 - 1 + 5*i**2 - i**2 - i. Let m be l(8). Suppose -5*w + 30 + m = 0. Solve 8 = -3*r + 2*p - 6*p, -3*r + p + w = 0 for r.
4
Let t(h) = h**3 - 6*h**2 + 6*h + 7. Let y be t(5). Solve 2*w + 10 = -a, -a = 4*w + 4 + y for w.
-3
Let f = 3 + -2. Let b be 11 - f - 4/2. Solve 0 = 4*x - 8, p = x + 3*x - b for p.
0
Let t(w) = -2*w**2 + 7*w + 8. Let x be t(4). Solve x*p - 5 = 5*m, p + 26 = 2*m + 5*p for m.
3
Let j be -2 + 2 + -6 + 1. Let v(d) = -2*d - 7. Let u be v(j). Solve -3*m - 4*h - 13 = 0, 6 = 3*m + u*h + 15 for m.
1
Let g = 10 + -5. Suppose -d + 4*k = 12, -2*d - 4*k - 3 = -15. Solve 4*b + f - 8 = 5*f, g*f + 5 = d for b.
1
Suppose 2*k - 3*k = x - 1, 3*x - 4*k - 17 = 0. Solve -20 = d - t - 3*t, -x*d + 3*t = 24 for d.
-4
Let k = -27 - -15. Let z be (-9)/(-2) + 18/k. Solve -z*f = 4*l - 12, 3*f - 16 = -f for l.
0
Suppose 3*a + 8 = -5*t + 23, -2*a = t + 4. Suppose 15 = 3*z + z + 3*j, 2*z - 8 = -2*j. Suppose -s - z + t = 0. Solve -10 = s*u - 2*g, 4*g = -4*u + 24 - 4 for u.
0
Let g(u) = u**3 + 5*u**2 + 5*u + 2. Let f be g(-3). Let x be ((-4)/f)/(1/(-5)). Solve -x*z - 10 = 2*t, 2*z + t = 4*t - 9 for z.
-3
Suppose -l - 18 = -3*l. Let v be ((-3)/(-9))/((-1)/l). Let h be 2 - (-1)/(-4 - v). Solve -4*q = -z - 14, -9 + h = -2*q for z.
2
Let d(q) = -q**2 - 2*q + 37. Let r be d(5). Solve 5*t + 2*y + 6 = 0, r*t + y + 4 = 1 for t.
0
Suppose -27 = 2*g - 3*g. Suppose -8*b + g = -3*b - u, 5*b - 3*u = 21. Solve 4*r = l - 6, 0*l + b = 2*r - 5*l for r.
-2
Let k(z) be the second derivative of z**3/6 - 9*z**2/2 - 2*z. Let d be k(11). Solve 0*u - 5*u = 3*q - 14, 3*u = -d*q + 8 for u.
4
Suppose 0 = 2*d - 3*d. Solve -o + 2*x = d, -3*x = 4*o + 2*x for o.
0
Let i(f) = 3*f**2 + 22*f - 17. Let x(l) = l**2 + 11*l - 8. Let w(g) = 2*i(g) - 5*x(g). Let m be w(11). Solve j - m*j - d = 0, -j = d for j.
0
Suppose 16 = 4*f + 4. Solve -5*r + m = 16, f*r = -0*r - 3*m - 24 for r.
-4
Suppose 3*f + 3*z = 6*z + 6, -5*f + z + 10 = 0. Solve 4*j = f*m - 8, 6*m - 3*m + 32 = -5*j for m.
-4
Let m(x) = -6*x + 2. Let d be m(-3). Let g be (-6)/(-4)*d/6. Solve -4*s + 4*t = -g*s + 8, -4*s = -3*t - 13 for s.
4
Suppose 5*v = 42 - 12. Suppose -4*k - 2 = -v. Solve -5*m + 5*x = 15, 2*m + 11 = -2*x + k for m.
-4
Let j = -10 + 13. Let m(c) = -c**2 + 6*c - 4. Let k be m(4). Solve -z + 5*b - 21 = z, k*z + j*b - 23 = 0 for z.
2
Let p = -16 - -21. Solve -4*q = 5*c - 35, 3*c + 28 = 4*c + p*q for c.
3
Suppose -k + w - 8 = -6*k, 0 = 4*k + 3*w - 2. Solve k*i - 5*b = 6*i + 36, -4 = 4*i - 3*b for i.
-4
Let l be 10/3 - (-2)/(-6). Suppose 0*q - q + 2 = 0. Solve 0 = 2*j + l*n + 2*n - 8, -q*j + 2*n = 6 for j.
-1
Suppose -a - 3 = -11. Solve 5*o + 3*i - 4 = 0, -2*o + 6 + a = -5*i for o.
2
Let p = -43 + 75. Let h = -23 + p. Solve -3*b = -4*i + 26, -5*b - 4*i + h + 1 = 0 for b.
-2
Suppose -36 = -4*k - 12. Solve 5*i - 5*y = -15, -k*y - 7 = i - 5*y for i.
-5
Let h = -13 - -20. Solve h = -3*p + 4*c, -4*p - 5*c = -2*c - 24 for p.
3
Suppose -x + 2*x - 4*g = 7, -x - 3*g = 0. Let t be 6*2/x - 0. Solve -5*y = 2*o + 3 - 2, t*y = 3*o + 13 for o.
-3
Let x(s) = -s**3 - 9*s**2 - 7*s + 11. Let w be x(-8). Solve 0 = t - 4, -w*t + 10 = 2*o - o for o.
-2
Let c = 1 + -4. Let f be 1 + (-1 - -6 - 3). Let k be 0/(c/(-9)*f). Solve k = -2*n - 10, 4*n = -9*s + 4*s for s.
4
Let v be 4 - (3 + -5 - 3). Solve -2*f - 5*j = 6, v = -4*j + 1 for f.
2
Suppose -2*c + 280 = 3*c. Suppose 0 = a + 5*i + 15, 2*i + c = -3*a - 2*i. Let x be a/6*(-36)/15. Solve 2*l = -4*u + x + 4, -2*l = -4*u + 12 for l.
0
Suppose -3*t - 120 = -168. Solve 0 = 4*q + 5*o + 32, 8*q - 4*q + o + t = 0 for q.
-3
Let u(q) = q**2 + 5*q - 2. Let p = 25 - 31. Let v be u(p). Solve -2*t = 2*n + n - 8, v*n = 3*t + 22 for n.
4
Let j be (-2)/(-5) + 36/10. Solve 3*h - f = -j - 0, 5*h = 4*f - 2 for h.
-2
Let w = 0 + 8. Solve 3*h - 5 = z, 3 - w = z - h for z.
-5
Let y be (0 - -1) + 3 + -3. Let b = y + 2. Solve 4*j = g - 24, 0 = 2*j + b*j + 3*g + 13 for j.
-5
Let v(z) = -7*z - 10. Let p be v(-2). Solve 3*u - 2 = 4*t, -u + 4 = -p*t - 2 for t.
-2
Suppose 2*h - 6 = -6*d + 2*d, 0 = -2*d + 3*h + 7. Suppose 5*a + 9 = -4*l, l - d*l - 5*a = 21. Solve -12 = 4*m - l*p, -4*p = -0*m - 3*m - 13 for m.
1
Suppose 0 = 4*y - 2*k - 12, -3*y + 0*k - 4*k + 31 = 0. Solve 15 = y*w, 1 + 0 = -4*a + 3*w for a.
2
Let c = 14 + -14. Suppose c*w = 2*w - 2. Solve -m = -0 - w, 2*b = -5*m + 1 for b.
-2
Let d = -22 - -26. Solve -t - 7 = -d*j, j - 4 = -1 for t.
5
Let s = -10 + 11. Suppose -3*i = -2*i + 12. Let h be s*-4*15/i. Solve 0 = h*f - o - o - 24, 2*f - 16 = 4*o for f.
4
Let u be -1*36/(-21)*28. Suppose -2*d + u = -4*v, 2*v = d - 6*d + 84. Solve 2*m + 4*k - 2 = -d, 10 = -4*m + 3*k for m.
-4
Let l be (9 + -3)/((-6)/(-4)). Solve l*c - 5 - 20 = 5*j, -j = -3*c + 5 for j.
-5
Suppose 2*y + 5*l - 2 = 4*l, y + 5 = -2*l. Suppose -11 = -y*x + 4. Solve -5*s = -3*a + 19, 2*a - 11 = x*a + s for a.
-2
Let l(w) = w**2 + 5*w. Let p be l(-8). Suppose -6 = -4*f - 2*z, -2*f + 6*f - 4*z - p = 0. Solve -f*j + 4*c - 23 = 0, j = -2*c + 12 - 3 for j.
-1
Suppose 2*d = -11 + 3. Let v be 4 + d - (-1 - 1). Solve 0*c + 3*c - v*x - 6 = 0, 3*x - 10 = -5*c for c.
2
Let b(i) = -4*i**2 + 7*i - 20. Let q(k) = 9*k**2 - 13*k + 40. Let d(x) = -7*b(x) - 3*q(x). Let r be d(8). Solve 2*v - 3*v - 25 = r*s, 3*s - v = -10 for s.
-5
Let q = 6 - 7. Let c = 5 + q. Solve 0*i - 2*t = 2*i - c, 0 = -4*i + 2*t - 22 for i.
-3
Suppose -5*f = -15 - 10. Solve -v - 10 = 3*s, 4*v + 17 = -f*s - 9 for v.
-4
Let w(n) = -8*n + 3*n**2 - 6 - 2*n + 4*n + n**3. Let f be w(-4). Suppose 2*z - 6*a + a = -6, -4*a = 4*z - 16. Solve -f*i - z*i + 14 = 3*o, -2*i = -2*o for i.
2
Let h = 71 - 71. Solve h = 4*w - 5*u + 15, -2*u + 5 = 2*w - 1 for w.
0
Let f be 1/(9/(-2) + 4). Let u be (-5)/f*(2 - 0). Solve 0 = y - p + 6*p + 19, -5*y + 25 = -u*p for y.
1
Let i = -89 + 109. Solve -i = 3*r - r + 4*q, -5 = -5*r + q for r.
0
Let s = -113 + 115. Let i be 0 - 0 - (0 - 2). Solve 2*n - 3*a - 6 = 0, -i*n + s*a + 6 = -3*a for n.
3
Suppose -t = 3*t - 8. Suppose -2*k + 3 = 2*o - 1, -5*o = 0. Solve -k*c + 0*c = -t*n, 2*c - 9 = -n for n.
3
Let y be 7 + (0 - 2) + -2. Let v(m) = -m**2 + 12*m - 12. Let a be v(10). Solve -y*l = a +