2*m - k for m.
2
Suppose -5*v + 27 = w, -6*v = -8*v + 10. Solve -w*c = 4*u - u, -8 = -2*u for c.
-6
Let j be 35/(-5)*(-4)/14. Let g(m) = 21 - 2*m + 2*m**3 - 7 - 2*m**2 - 13. Let c be g(j). Solve -2*s = 2*n + 7 + 3, -s - c = 5*n for n.
0
Suppose 0 = -44*d - 40 + 103 + 25. Solve 2*x + 40 = -5*t, x - d*t = 4*x + 16 for x.
0
Let f be 2/(-4)*(-3 + 2 + 1). Let k be f/(12/(-18) - 5/(-3)). Suppose 3*z + 12 = k, -3*z = 4*v - 0*z + 4. Solve -2*i + 8 = -v*l, 5*i - l - 19 = -7 for i.
2
Suppose 2*c + 3*u = -3 + 24, 5*c - 5*u = 90. Suppose -7*y = -c*y. Solve -r + y*d - 2 = d, 0 = 4*r - 2*d - 4 for r.
0
Let v(u) = -5*u**2 - 9*u - 12. Let t(a) = -9*a**2 - 18*a - 22. Let q(l) = 4*t(l) - 7*v(l). Let i be q(-8). Solve i*b - b = -2*h - 19, 0 = -4*b - 3*h - 26 for b.
-5
Let k = 58 - 332. Let b = k + 274. Suppose -5*d + 17 = -3. Solve -5*r + 28 = d*t, 0*r + 2*r - 3*t - 2 = b for r.
4
Let p = -34 + 38. Suppose 3*m - 4*m = -w + p, 0 = -5*m. Suppose 2*l - 2*i - 14 = 2*i, -i = -w. Solve j - 2*b - 15 = 2*b, 3*b = -l for j.
-5
Let p(o) = -7*o + 32. Let f be p(5). Let h be ((-4)/6)/((-2)/15). Let g = f + h. Solve -4*w = 5*y + 26, g*w + 10 = y - w for y.
-2
Suppose 0 = -369*k - 826*k + 10755. Let j(p) = 2*p**2 + 4*p + 6. Let h be j(-4). Solve l - 3*y + h = 2*y, -k = 2*l - 3*y for l.
3
Let d = 4842 + -4840. Solve -d*r + 23 = -5*r - 2*j, -3*r = 5*j + 26 for r.
-7
Let x(b) = 35*b - 15. Let q be x(5). Let c = 170 - q. Solve k = -2*y + 1, -4*y + 4*k + c + 10 = 0 for y.
2
Let r be (-25)/(-9) + (-2)/(-9). Suppose -4*v - 2*o = -168, -2*o - 54 = -r*v + 58. Let p = -35 + v. Solve 0 = -5*h - p*s - 45, 3*s + 8 + 3 = h for h.
-4
Let n = 29 - 25. Suppose 4*f + 14*f = -n*f. Solve -9 = 3*r, f = -2*l + 5*r + 8 + 7 for l.
0
Let k = 6801 - 6797. Solve 26 = -k*b + 5*i, 2*i = -b + 4*b + 16 for b.
-4
Let m = -748 + 489. Let s = -257 - m. Solve -3*j - 4 = -p + 8, -3*j = -s*p + 15 for j.
-3
Let q(h) = h**3 - 14*h**2 + 24*h + 23. Let z be 3/15 - 177/(-15). Let r be q(z). Solve 3*b + 4*i = -r, -19 = 3*b + i + i for b.
-5
Suppose -5*k + 32 = -j, 8 = 2*k - j + 3*j. Let m(s) = -2*s**2 + 13*s + 4. Let g be m(k). Let y = g + -8. Solve 5*i + 10 = -5*b, -i + y*i = 5*b + 28 for b.
-5
Let b = 46 + -32. Let i(z) = z**3 - 14*z**2 - 2*z - 6. Let c be i(b). Let l be c/51*6/(-2). Solve 0 = -5*t + p - 20, 4*t - 5*p - l = 3 for t.
-5
Let q(z) = z**3 - 16*z**2 - 18*z + 23. Let c be q(17). Let x be 2 + 32/15 + c/(-45). Solve a - x*w - 13 = 0, -a - a + 5 = -w for a.
1
Let f = -103 - -110. Suppose -12*g = -f*g. Solve -p + 5*w = g, -p + 2*w = p + 8 for p.
-5
Let f(w) = -4*w**2 + 49*w - 9. Let k be f(12). Suppose 2*d = 4*d - 66. Suppose -g = 5*v - 13, 5*g - d = -5*v - 8. Solve -5*a - v*n - 15 = k*n, 4*n = 2*a for a.
-2
Suppose -n = -s + 1, 248*s - 25 = 243*s. Solve 3*h + q + 63 = 64, -n*h - q = -1 for h.
0
Suppose -3*j - 2*y - 94 = -238, 0 = -3*j + 2*y + 156. Suppose j = 4*o - 2*d, -2*d + 21 = 2*o + d. Solve -5*g + 5*k - o - 3 = 0, -2*g = 5*k - 22 for g.
1
Let b = 25 + -25. Suppose b = 5*d - 2*l - 37, -5*d - 10 = 5*l - 75. Suppose -4 = d*t - 11*t. Solve -u + t = -z - 0*u, 4*z + 8 = 2*u for z.
-2
Let d(i) = -30*i + 2015. Let t be d(67). Solve -t*z + 10 = 2*v, -5*v + 44*z - 4 = 42*z for v.
0
Let z be (3 - (-6 - -11)) + 1/1. Let l be 0 - (-8 + z) - (-11 - -12). Solve l*a = 3*a + 4*k + 5, -a - 13 = 2*k for a.
-3
Suppose -27 = -3*i - 0. Suppose 11*f - y = 16*f - 3, 0 = -3*f + 3*y - i. Solve -3*w - 2*a + 14 = f, 2*a = -w - 4*w + 18 for w.
2
Let o be ((-16920)/(-140))/((-6)/28). Let q = o + 569. Solve -4*l + 6 = q*x + 1, -3*x - 5*l = -16 for x.
-3
Let q(o) = o**3 - o**2 - 1. Let l be q(2). Suppose -b = -4*f - 18, l*b + 2*f - 45 = 5*f. Solve 0 = -p - 3*k + b, 3 = -3*p - 4*k + 25 for p.
2
Let n = -21000 - -21010. Solve -w + 3*m - 6 = n, 16 = w + 5*m for w.
-4
Let r be 0 + (-7 - -9)/(7/42). Solve 6 = -3*l + 2*h, 2*l = -4*h - 8 - r for l.
-4
Let f(s) = -13 - 6*s - 5*s - 1 + 4*s. Let o be f(-6). Let a = 32 - o. Solve -4*u + a + 0 = -2*k, -2*k + 1 = u for u.
1
Let g(v) = 3*v**3 - 3*v**2 + 2*v + 4. Let l be g(2). Suppose 0 = 7*w - 3*w - l. Suppose -17 - 1 = -9*p. Solve 5*c + 3*k = -p*k + 50, -5 = 4*c - w*k for c.
5
Let x(t) = t**2 + 41*t + 210. Let a be x(-35). Solve 2*z + f = -2*f, 4*z + 2*f = a for z.
0
Let w(z) = -z**2 - 117*z - 3399. Let m be w(-54). Solve m*t + 3*g = 3, -4*t + 5*g = -0*t - 22 for t.
3
Suppose -7*r + 5*r + 6 = 0. Suppose 6*g - 27 + r = 0. Suppose -v = 3*i - 34, g*i - 4*v = -8 + 32. Solve 2*y = -2*y - 2*l + 18, 0 = 5*y - 4*l + i for y.
2
Suppose 3*y + 4*s - 118 = 13, -209 = -5*y - 2*s. Let a = -574 + 535. Let u = a + y. Solve -b - 7 = 2*n - 2*b, 0 = u*n - 3*b + 17 for n.
-1
Let s = 285 - 531. Let p = -243 - s. Solve -1 = -3*h - 2*h - 4*o, 2*o - 17 = p*h for h.
-3
Let k be (6/(-8))/((-66)/16 + 4). Suppose -27 = -11*w + k. Solve -3*c - 27 = -3*t, w*c + 35 = 3*t + 2*t for c.
-5
Let u(y) = y**2 + 111*y + 1022. Let m be u(-10). Solve 3*x = -l - 13, 4*l + m*x + 19 = 11*x for l.
-4
Let f(h) = 6*h - 5. Let r be f(3). Suppose 12*w - r*w + 7 = 0. Suppose -t + w*t = 30. Solve -1 - 2 = -5*u + x, t*x + 15 = 0 for u.
0
Let r(c) = c**3 - 18*c**2 + 46*c - 10. Suppose 31*x - 320 = 145. Let n be r(x). Solve -2*v - 21 = -n*m, v = 1 + 1 for m.
5
Let i(q) = -23*q**2 + 643*q + 47. Let u be i(28). Solve 0 = -2*h - 3*d + 12, -23*h + u = -20*h + 5*d for h.
3
Let l(b) = b**2 - 18*b + 74. Let w be l(6). Suppose -3*y = -5 - 7, 4*y = h - w. Solve -5*o - 5*z = 15, h = -5*o + z - 3*z for o.
-4
Suppose 5*b + 3*b = -3968. Let h = b - -499. Solve -8*a + 3*a + 3*k + h = 0, 4*k + 4 = -3*a for a.
0
Let k be (-27)/99 - (-4014)/198. Solve k = -4*r, -3*u - 3*r - 35 = u for u.
-5
Suppose -45 = 29*v - 161. Suppose g - 19 = -v*k, -k = 2*k - 4*g. Solve -k*y = -s - 3 - 2, -4 = 4*s for y.
1
Let g = 396 + -288. Suppose 110*n = g*n + 12. Solve c = -5*u - 2*c + 9, 2*c = -3*u + n for u.
0
Let s(a) = -31*a - 657. Let f be s(-20). Let d be 37*-1 - -2*1. Let m = d - f. Solve 4*h = m*r + 16, 2*r - 20 = h - 6*h for h.
4
Let p = -60 - -83. Let f = -21 + p. Suppose 4*s - f*n - 4 = 3*s, -2*s + 29 = 3*n. Solve 3*b - v = -0*b - s, v - 12 = 4*b for b.
-2
Let p = -2430 + 2432. Solve 0 = -2*i + l + p, 8*i + 2*l - 14 = 3*i for i.
2
Let s(g) = g**3 - 14*g**2 + 46*g - 2. Let d be s(5). Solve 3*l + 28 = 4*f + 5, d*f - 6 = 0 for l.
-5
Suppose -288 = 7*d - 470. Suppose 9*l - 10 = d. Solve -3*y + 16 = -5*y + 3*q, -3*y + 10 = l*q for y.
-2
Let s = 6919 - 6919. Solve g - 12 = t - 5*t, s = 3*g + 12 for t.
4
Let q(n) = n**3 - 14*n**2 + 15*n + 11. Let t be q(13). Let o = 37 - t. Solve o = -3*w + 5*c + 1 - 5, -c = -2*w - 5 for w.
-3
Let x(m) = m**3 + 6*m**2 + 7*m - 3. Let p be x(-3). Suppose -2*z + 22 = p*z - w, 12 = 4*w. Solve 4*h - 2*d = -18, h - 9 = z*h + d for h.
-3
Suppose 2*h + 1102 = 38*h + 2*h. Solve 0 = -3*r + 9, 3*l - h*r + 21 = -26*r for l.
-4
Let w = 180 + -175. Suppose 2*c + i - 12 = -5, w*i = c - 9. Solve 2*k = -2, -2*k = 2*r - r + c for r.
-2
Let n(w) = -w**2 - 15*w - 56. Let k be n(-8). Suppose k = 3*l + 4 + 11, 3*l + 7 = -2*s. Solve 0 = -4*h - s*m - 8 - 8, -2*m = -4*h - 4 for h.
-2
Let n = 16 - 10. Let a = 311 - 78. Let d = a + -228. Solve -5*z = d*x + 10, x - 6*x = 3*z + n for z.
-2
Let j = -943 - -945. Suppose -w + 3*m = 1, 2*w + 7*m - 3*m - 18 = 0. Suppose n = -3*n + 4. Solve 2*r + j*y - 5 = -n, 28 = w*r - 4*y for r.
4
Suppose 4*x = 4*o - 16, 132*x - 127*x = -o + 10. Solve y + 10 + 2 = 4*w, 3*w - o*y - 26 = 0 for w.
2
Suppose 0 = 5*s + 4*a + 20, 390 = 5*s + a + 395. Solve -z - 5*u + 14 = s, 2*z - 4*z - 11 = -3*u for z.
-1
Suppose 0 = -292*i - 654 + 556 + 1558. Solve 5*z + t = -24, -4*z + i*t - 2 - 23 = 0 for z.
-5
Let b be (161 + -1)/4 + 5 + -5. Solve 3*o - 4*g = 7*o + b, o = g for o.
-5
Suppose -13*d - 240 = -21*d. Let t be (-24)/d*-10 + (-6)/1. Solve 2*w + t = y - 1, 5*y - 4*w = 3 for y.
-1
Let g = -106 - -29. Let d = g - -54. Let n = d + 31. Solve -5*f - n = -f, 4*b - 3*f = 14 for b.
2
Suppose 655*w = 4877 - 1602. Solve -15 = -w*o + 37*c - 38*c, 5*o + 2*c = 15 for o.
3
Let f be 1/(1 - (-28)/(-35)). Suppose -f - 7 = -4*c. Solve -c*w = -0*w - 2*a, 4*w = -a - 11 for w.
-2
Let r(x) = 7*x - 8. Let l be r(6). Suppose 315 = 6*k + 29*k. Suppose 2*f + 5*u - l = -f, 3*u - k = 2*f. Solve 15 = -f*p - 3*j, -p - 5 = 3*p + j for p.
0
Let a(i) = -277*i**3 + 2*i**2 - i - 2. Let