-k = -5 for x.
4
Suppose 2*r + 16 = 2*s, r - 2 + 1 = -2*s. Suppose -2*c + 7 = -3, 0 = 3*q - s*c + 6. Solve 11 = q*v + 4*l, 2*v - l - 14 = -5*l for v.
-3
Let i = 721 - 718. Solve 4*a - i = v, -4 = -0*v - 3*v - a for v.
1
Let n(w) = 2*w + 17. Let o be n(-8). Suppose -5 = 2*f + i + 4*i, -2*i = f + o. Solve -f*u - m + 6*m = -10, -2*u - m = -13 for u.
5
Suppose -4 = 2*d - 8. Let s be (-1 + 5)*(d - 0). Solve 0 = -n + 3*n - 2*v + s, 0 = 5*v - 10 for n.
-2
Suppose 3 = -z, -3 = 3*y + 2*z - 4*z. Let p be (-5 + 5)/(2 + y). Suppose -3*k + 14 + 31 = p. Solve -k = -5*i + 2*m, -i - i + 2*m + 12 = 0 for i.
1
Let d = 21 - 14. Let v = 6 + d. Suppose -5*o = -a - 11, -5*o + a = -2*a - v. Solve -k - 1 = o*b - 8, -6 = 2*k for b.
5
Suppose -50*x = -29*x - 84. Solve 0 = -4*m - 0*a - x*a - 20, 4*m - a = 0 for m.
-1
Let z = 389 + -380. Solve -v - 4*d = -3, 3*v + 0*v + 3*d = -z for v.
-5
Let c(k) = k**3 + 4*k**2 - 6*k - 5. Let i be c(-5). Suppose -5*m = -2*m - 18. Solve -3*t - 3*s = -m, i = -4*t - 5*s + 10 - 2 for t.
2
Suppose 0*d + d + 9 = 2*r, r - d = 6. Solve 0 = 5*s - 0*s + 3*n - 35, r*n + 5 = 5*s for s.
4
Let d(c) = -c**3 + 3*c**2 + 5*c - 3. Let l be d(4). Let g be (l/3)/((-2)/(-12)). Solve 4*h + 8 = -g*k, 4*h + 5*k + 5 - 3 = 0 for h.
-3
Let x = -4 + -1. Let b = 3 - x. Suppose 0 = -b*l + 3*l. Solve -2*p = 4*k - 3*k + 4, -3*p + 5*k - 19 = l for p.
-3
Let w(a) = -a + 11. Let t be w(10). Let j be (6 - 9)/(t/(-3)). Solve 21 = -0*m - m + 5*i, j = -4*m + 5*i for m.
4
Let w(j) be the third derivative of j**6/120 - j**5/3 - 11*j**4/12 + 7*j**3/2 + 2*j**2. Let h be w(21). Solve 3*k - 1 = -0*k + 2*c, 3*k - 4*c + 1 = h for k.
1
Let r = 9 - 4. Suppose 59 + 1 = r*o. Suppose s = -3*s + o. Solve -4*m + 15 = s*x, 2*m + 2*x = -0*x + 8 for m.
3
Let z = -470 - -474. Solve 5*f - 12 = -4*v, z*v + 16 = -0*f + 2*f for f.
4
Let c be (-5)/((-10)/22) + -2. Solve -k = 0, 4*k = -5*b + c*k for b.
0
Suppose 4*q - 142 = -2*x, -4*q + 121 + 22 = 3*x. Suppose 3*l - 6 = 9. Solve 0 = -l*o + 5*c - q, 4*o + 0*c + c + 18 = 0 for o.
-5
Suppose 2040*q + 75 = 2045*q. Suppose 3*a = 3*j - 24, -j + 18 = a + 3*a. Solve m + j = -w + 3*w, -3*w = -m - q for m.
0
Let w be 0 - -1 - (3 + -1). Let m(t) = -4*t - 1. Let a be m(w). Let z(b) = b**2 - 2*b. Let j be z(a). Solve 1 = 4*g - s + 4, 4*g - j*s - 7 = 0 for g.
-2
Suppose f + 2 = 4. Suppose 0 = f*r - 3*a - 22, -4*r + a - 22 + 86 = 0. Let l = 38 - 35. Solve 7*d - l*d - 5*c - r = 0, 4*c = 3*d - 13 for d.
3
Let d(c) = c - 14. Let o be d(12). Let y be 0 + 14 + o + 4. Let k = y - 13. Solve q = -3*v - 8, -11 = -v + k*v - 5*q for v.
-3
Let m(k) = 51*k - 1. Let g be m(2). Let o = g + -96. Solve -7*d - 1 = -s - 2*d, -5*s - o*d = -5 for s.
1
Let g(f) = -3*f**2 + 13*f - 16. Let z(u) = -13*u**2 + 53*u - 64. Let q(m) = 9*g(m) - 2*z(m). Let k be q(8). Solve 2 - 14 = -4*c, -k = -5*o - c for o.
1
Let t(a) = a**2 - 3*a. Suppose -2*d = 2*l + 2, 2*d + 20 = -3*l + 7*l. Let j be t(d). Solve 0*z - 5*v = 3*z + j, 3*z + 8 = -v for z.
-1
Let a(o) = -o**2 - 10*o - 21. Let w = -12 + 5. Let x be a(w). Solve -2*r - 3*q + 25 = -x*q, -5*q + 5 = -4*r for r.
5
Suppose -7*k = -2*k - 15. Suppose -w + 0 = -k. Suppose 0 = 2*o - 11 - 9. Solve y + y + 19 = -w*t, 0 = -5*y - o for t.
-5
Suppose 0 = -34*k - 65*k + 297. Solve k*w + q = -4*q - 2, w - 2*q = -8 for w.
-4
Suppose 105 = 5*p - 200. Suppose -5*m + p = -4. Suppose 4*g = -m + 33. Solve g*f + 3*n = -6, -3*f - 1 + 7 = -3*n for f.
0
Let f = 33 + -13. Let y = 25 - f. Suppose 16 = 5*h - 3*w, h - w + 1 = y. Solve -6 = -4*c - h*n, 0 = -4*c + 5*n - n for c.
1
Let m be (8 + -5 - -1)*(-11)/(-2). Let p be (1 - (-1 - -1)) + m. Let i = -1 + 3. Solve 3*x - i*x = 3*z - 13, -5*z + p = -3*x for z.
4
Suppose 3*t - 31 + 12 = 5*k, t = 4*k + 11. Let b be (40/(-14) - k)*-7. Let g be 9/24*4*b. Solve -19 = -4*d + u, -u = 3*d - 0*d - g for d.
4
Suppose 5*g + 378 = -g. Let d be g/(-35) + 1/5. Solve -b - 2 - 3 = 0, -25 = d*p + 3*b for p.
-5
Let d be (1 - -12 - -1)/2. Let f(i) = i**2 - 9*i + 5. Let r be f(0). Solve -r*p + d + 26 = -4*z, 2*z - 21 = -5*p for z.
-2
Let p = 6 - 10. Let f be p + (-8)/(-4) - -6. Let s be f + 1 + (-7 - -5). Solve 0 = -s*m - 4*u + 9, -4*m + 11 = 4*u + u for m.
-1
Let z = -373 + 376. Solve 2 = 5*u + z*a + 33, -3*u + a = 13 for u.
-5
Suppose -4*x + 22 = 2*l, -5*l = -2*x - 10*l - 9. Suppose z = -5*g + x*g + 25, 5*z = g + 97. Let f = -15 + z. Solve f*v + 19 = 2*s - s, 2*v + 2*s + 12 = 0 for v.
-5
Let d(v) = 3*v + 34. Let f be d(-9). Let l = f - 3. Solve 0 = -2*j + l*j - 4*o - 18, -7 = 2*j + o for j.
-1
Let s be (4 - -1)*(-8)/(-20). Suppose 18*d - 2 = 17*d. Suppose -2*l + 3*l = 8. Solve -d*w = s*t - 4, -l = -3*w + 4*t - 2 for w.
2
Let t(q) = -q**3 - 4*q**2 - 2*q - 2. Let r be (-4 - (-48)/9)*-3. Let y be t(r). Solve -m - m - 5*c = 17, -2*c - y = m for m.
4
Suppose 2*b - 22 = -4*a, 2*b - 15 = -3*b. Solve o = j - 7, -o - 4*j = o - a for o.
-4
Let y be 8/20 - (-174)/15. Let x be (y/4 - 13)/2. Let l = 0 - x. Solve -l*g + 3*a - 37 = 0, 4*a + 11 = g + 8*a for g.
-5
Suppose 2*w - 22 = -14. Suppose 0*i - w*i + 2*i = 0. Solve i = -3*t - 4*x - 29, -2*t - t - 2*x = 19 for t.
-3
Suppose 10 = -2*o, 4*o = -j + 1 - 17. Suppose -5*g + 2*r + 3*r = -65, 2*g - 3*r = 21. Solve -4*m + 2*a = -g, 3*m - j*a - 9 = -7*a for m.
4
Let r(o) = -o**3 - 16*o**2 - 14*o + 19. Let f be r(-15). Let v be 2 + (0 - 0)*(-2)/f. Solve -3*d - 26 = v*d + 2*j, 15 = -3*d - j for d.
-4
Let p be -22*((-18)/(-20))/(45/75). Let z = -30 - p. Solve -16 = 2*g + 7*b - z*b, 12 = -3*b for g.
0
Let h = 64 + -69. Let m be (-2)/5 - (2/h + -2). Solve -c - m*t = t + 12, -3*t = 12 for c.
0
Let n = -148 - -163. Solve -4*v + f + 20 = -0*v, -3*v + 3*f = -n for v.
5
Let w = -13 - -20. Suppose -w*a - 3 = -17. Solve -5*i + l + 1 = 0, -a*i - 5*l + 14 = -2*l for i.
1
Let a be 4/16 + (-677)/4. Let s = -49 - a. Let q = -84 + s. Solve -5*c = 4*l + q, 0 = -5*l + 2*c - c - 16 for l.
-4
Suppose -4*v + 20 = -4*h, -2*h - 13 = -5*v - 3*h. Solve -v = -2*q + 3*a + 2*a, -q + 3 = -4*a for q.
-1
Let p = -1393 - -1422. Solve 3*f + 11 = -4*k - 14, -3*f = 5*k + p for f.
-3
Let l be (-12)/42 - (-26)/(-7). Let d be (2/3)/(l/(-6)). Let v(g) = 11*g**2 + 2*g - 1. Let r be v(d). Solve -f = -i - 6*f + r, -2*i = -4*f + 18 for i.
-3
Suppose 0 = 2*z - 5*r + 21, 4*z + 0 = 3*r - 7. Solve 5*x - 5*k + 30 = 0, z*x + x + 3*k = 0 for x.
-3
Let v(j) = j**3 - 12*j**2 - 9*j - 52. Let c be v(13). Solve 2*w + 6 = -c*w + r, -2*r + 8 = -3*w for w.
-4
Let d be (0 + 0)/(-15 + (-60)/(-5)). Solve 0 = -5*h - 3*s - 0*s - 2, -2*h + 2*s - 4 = d for h.
-1
Suppose 129 = 2*k + 3*k + 4*g, 4 = 4*g. Let i = k + -15. Suppose 0 = -x - a - 2, 2*x = -0*x - 3*a - 9. Solve 0*y + i = 4*l - y, -4*y + 17 = x*l for l.
3
Let f(k) = -5*k - 5. Let q(p) = p + 3. Let n be q(-6). Let x be f(n). Solve 5*g = -2*v - 2*v + x, -4*g = 8 for v.
5
Suppose -14 = 2*y - 18. Suppose 2 = m - y. Suppose 4*c = 12 - 0. Solve -c*f + 37 = 5*x, -f + 10 = -2*x + m*f for x.
5
Let q(l) = -l**3 + 14*l**2 + 2*l - 18. Let g = 36 + -22. Let o be q(g). Suppose 0 = 9*r - o*r + 4. Solve -3*z + 4*m + 0*m = -3, 0 = r*m for z.
1
Suppose v + 2 = p, 3*p - 3*v = -8*v + 14. Solve -2*w = -5*g - 29, p*w - 21 = 5*w + 5*g for w.
2
Suppose 0 = 4*j + 9 + 7, 5*x = -j + 21. Solve 4*k + 2*w - 10 - 4 = 0, 11 = 4*k + x*w for k.
4
Suppose 0*s - 110 = 2*s. Let o be 40/22 - 10/s. Let v(n) = -8*n - 3. Let j be v(-2). Solve -j = -3*k + 5*y - y, -3*k = -o*y - 11 for k.
3
Suppose 234 = 2*u - 3*n + 242, 5*u - n = 6. Solve -b - 2 = -4*m + 2*m, -b - u = m for m.
0
Let a(k) = 23*k - 89. Let d be a(4). Solve -3 = u - c, d*c + 0*c + 11 = -2*u for u.
-4
Let h be (-6)/(-1*2 + 0). Let y be (0/(-7))/((-3)/3 - 1). Suppose f - 11*f + 180 = y. Solve h*u + 3*r + f = -2*u, u - 2*r = -1 for u.
-3
Suppose -q - h - 2*h + 14 = 0, 4*q - 5*h = -29. Let v be q + 15*1/3. Suppose -v*z = 4*l - 4, 3*l - z = 6 + 1. Solve -b = -4*s + 7, 3*s - 8 = -l*b - 0 for b.
1
Let m be ((-6)/4)/(2/(-4)). Let t be (-9 - 93/(-9))/(1/24). Suppose 0 = t*o - 31*o - m. Solve 20 = 5*a + 4*c, 4*a - 4*c + o = 19 for a.
4
Let r(j) be the second derivative of 6*j + 0 - 4/3*j**3 - 1/12*j**4 + 2*j**2. Let s be r(-8). Solve -k - 12 = -s*x, 3*k - 3*x = -0*k for k.
4
Let n = 4 + 12. Let m(r) = r - 14. Let s be m(n). Solve -3*o = s*h + 17, -6 = -o - 4*h - 25 for o.
-3
Let f be (-20)/(-1) + (-13 - (8 