- 7*a + 12. Let w be g(m). Let d = 823 + -803. Solve d = 5*k, 3*y - y + w*k - 2 = 0 for y.
-3
Let o = -95 + 91. Let l be (6 + o)*15/2. Let j(d) = 4*d - 51. Let a be j(l). Solve 4*k - 18 = 2*q, 8*q - 3*q + a = k for k.
4
Suppose 19 = 2*t - 3. Suppose -4*m + 2*l + 6 = 0, 0 = 5*m - 3*l + 6*l - 46. Suppose t*p = m*p. Solve -3*x + f - 20 = p, -4*x + 3*f - 2 = 33 for x.
-5
Suppose 44 = 32*a + 15 - 131. Solve a*o - 17 = -3*n, 3*n = -o - 10 + 11 for n.
-1
Let b be (-3)/(-2) - (-390)/20. Suppose b = -4*y + 21. Solve -4*c + j + 1 + 19 = 0, y = j for c.
5
Suppose -5*w + 78 = 3*g, 4*w - 72 = -80*g + 77*g. Solve 4*c + g = -4*v, -v + 4*c + 37 - 31 = 0 for v.
-2
Suppose -i = 8*f - 7*f - 244, 3*i + 2*f = 731. Let y = i + -243. Solve -4*c + 5*p - 11 = y, -5*p = -2*c - p - 4 for c.
-4
Let q be (-4)/(-5) + 42/10. Suppose 3*s - 1 = q. Suppose 4*k + 20 = 4*i, 2*i - 3*k = s*k + 25. Solve b - 1 = i, 4*b - 6 = -o + 3*o for o.
-1
Let b = -13 + 28. Suppose 3*t + 9 = 6*t - 2*c, 5*t - 3*c = b. Let r(f) = f**2 - 7*f - 5. Let k be r(8). Solve -k*i = -3*s - t, 0*s = -4*s + 16 for i.
5
Let u = -27 - -29. Let n be 10/4 + u + 15/(-30). Suppose -60 = -4*f + 5*j, n*f - 20 = -4*j - j. Solve 4*z + 5*s + 1 = 0, 5*s - f - 9 = z for z.
-4
Let a = -41 - -45. Let d = -2 + a. Suppose 0 = 2*n + d*m - 2, -12 = -n + 5*m + 1. Solve y - 6 = 2*b - n*y, 3*b + y = 5 for b.
1
Let w(a) = 2*a - 26. Let l be w(8). Let y be (-12)/(l - (4 - 10)). Solve 2*u = 2*f - 10, u + f + 20 = -y*u for u.
-5
Let f = 4739 - 4734. Solve 4*p = -4*n - 36, f*n - 4*n + 17 = -3*p for p.
-4
Let m(y) = -y**2 - 16*y - 43. Suppose -w + 4*i + 4 + 8 = 0, -i = w + 8. Let d be m(w). Solve -5*r + 15 = d*x, x - 1 + 0 = -3*r for x.
4
Let k(r) = r**3 - 10*r**2 + 6*r - 56. Let x be k(10). Solve 2*a + 2 = x*s, 5*a = -0*s - 3*s - 18 for s.
-1
Suppose -25*u + 20 + 94 - 14 = 0. Solve -7*q = -8*q - u*r - 11, 3*r + 9 = -q for q.
-3
Let a(b) = -4 - b - b**3 - 11*b**2 - 5*b**2 + 3 + 11*b**2. Let t be a(-5). Solve 5*g + 7 = t*c, 0*c = -2*c + 5*g + 1 for c.
3
Let d(t) = t**3 + 25*t**2 + 16*t - 86. Let f be d(-23). Let y = f + -602. Solve -2*m - y*k = -0 + 10, 2*k + 11 = -3*m for m.
-1
Suppose 28*d - 431 + 149 - 110 = 0. Solve -f + d = 4*f - 3*t, -2*f = -3*t - 11 for f.
1
Let s be ((-3)/9)/(5/(-5055)). Let c = 338 - s. Solve -3*y + 0*f + f + c = 0, 2*f + 2 = 2*y for y.
0
Let n = 22086 + -22061. Solve 4*r - 13 = -n*w + 22*w, -5*w + 5*r - 25 = 0 for w.
-1
Let q(o) = -o**3 + 7*o**2 + 7*o + 230. Let m be q(10). Solve 5*w = 3*n - m*n + 5, -5*n + 5 = 5*w for w.
1
Suppose 5*t + 2*j + 241 = 288, -3*j = 5*t - 58. Let x(b) = -4*b - 6. Let k be x(-4). Solve t = -2*u - q + 17, -5*q + k = 0 for u.
5
Let w(m) = -9*m - 324. Let a be -54*(13*1/(-3) + 5). Let i be w(a). Solve -5*u - 4*y = -i*u + 9, -4*u + 4*y = 0 for u.
-1
Suppose 4*s = -4*u + 12, -5*u + 2*u + 17 = 5*s. Solve -5*d - 3*m = -m - 17, -m = s*d - 13 for d.
3
Let x be ((-60)/(-24))/(1/2). Suppose -x*f + 15 = 0, 2*c - 4*f = f + 19. Solve -4*d + 9*d = -4*v - c, 4*v - 2*d + 10 = 0 for v.
-3
Let o = 6292 + -6289. Solve 10 = x + o*q, 11*q + 2 = -x + 12*q for x.
1
Suppose 2*l + 3 = -3*k - l, 14 = -2*k - 5*l. Suppose -y - 2*d = -10, -3*d + 3 = 18. Suppose y = 8*j - k*j. Solve -j*c + 6 = 3*n - 6, c + 4*n - 3 = 0 for c.
3
Let v(r) = 4*r**3 - 198*r**2 + 98*r + 6. Let l be v(49). Solve -20 = 2*w - l*w - 4*o, -w + 7 = 3*o for w.
4
Suppose -o - 19 = -2*o. Let h(y) = -6*y**3 + 421*y**2 - 71*y + 72. Let z be h(70). Solve 4*p + 9 = -5*a - 1, -3*p + z*a - o = 0 for p.
-5
Suppose -5*c - 70 = -i, -4*i + 5*c + 9 = -76. Let r(y) = y**2 - 4*y + 1. Let n be r(5). Solve -3*b - n = -i*z, 7*z + 6 = 2*z - 3*b for z.
0
Let a be (-62 + 57)/(0 - (5 - 4)). Solve 9 = -b + 4*g, 5*b + a*g - g - 3 = 0 for b.
-1
Let w = -37482 - -37482. Solve -g + 6 = w, -63*c - 5*g = -59*c - 18 for c.
-3
Let n = 36 + -15. Suppose 13 = -4*j + n. Suppose -j*u + 9 = u, 4*u = b + 7. Solve -5*p - 5*c + 0*c = 5, 0 = b*c + 15 for p.
2
Let l(g) = g**2 - 13*g + 15. Let a = 16 + -8. Let s be 32/(-2 - 0)*(-6)/a. Let t be l(s). Solve 0 = -3*r - 6, 5*r = -3*h - t + 2 for h.
3
Let b(h) = 11*h + 14. Let w be b(-1). Suppose 2*o - 2*q = 12, w*q - 8 + 6 = -o. Solve 0*f = 5*r + 3*f - o, -2*f - 2 = -2*r for r.
1
Let s = 109464 - 109453. Let f be 5*1 + (-1 - 0). Solve d + f*m = 3*m - 8, -3*d + 4*m = -s for d.
-3
Let r = -17124 + 17145. Solve -12 = 2*a - l, -l + 3 = -5*a - r for a.
-4
Let s(m) = -17*m**2 + 64*m + 15. Let b(g) = 8*g**2 - 32*g - 7. Let l(f) = 5*b(f) + 2*s(f). Let o be l(6). Solve 11 = i + 2*p, 0 = -i + p + 3*p - o for i.
1
Suppose -4*u - 6*u - 54 = -19*u. Solve 21*d - 3*b - u = 18*d, -4*d + 2*b + 12 = 0 for d.
4
Let f be 6/15 + (-17460)/(-225). Solve 73*d + 4 = f*d - w, -5*d + 5*w = -20 for d.
0
Suppose 4*w + 1295 = -3*q + 2*q, -4*w + q = 1305. Let j = w - -327. Solve 0*c = j*z + 3*c + 7, -5*z = c + 24 for z.
-5
Let u be (-1 + 3)*12/8. Suppose u*l + 5*a - 6 = 23, -4 = -4*l + 2*a. Suppose 0 = 4*v + 2386 - 2394. Solve -4*n + l*w + 23 = 0, 3*n + 4*w + 10 = -v*n for n.
2
Let a = -289 - -291. Suppose -5*m = 3*j + 12, 0*m + 4*j + 16 = 3*m. Suppose m = a*k - 3*k. Solve x - h + 3 = h, k = x + h for x.
-1
Suppose 6 = -172*z + 175*z. Solve -2 = w - 2*p + 1, -3*p = z*w + 13 for w.
-5
Let u = 53 + -28. Suppose -2*f + 7*f = u. Suppose 0 = -n - n + f*z + 16, -3*n + 24 = -5*z. Solve 3*v - 6 = 4*j, 0 = -4*v + 3*j + 2*j + n for v.
2
Suppose -51*a + 29*a = -44. Suppose -3*c + a*f = -0*f - 6, -4*c = -5*f - 1. Solve -j = -4*y + y - 11, c*j - y = 22 for j.
5
Let w = -257 + 262. Suppose -2*n + 3 = -3*x, w*n - 4 = -6*x + 10*x. Solve 3*z + 11 = 2*r, 5*z + r + 27 = -n*r for z.
-5
Suppose 18 + 13 = 7*s - 5*x, -5*s - 4*x + 7 = 0. Suppose -s*u + 7*u - 20 = 0. Solve u*w - g - 3 = -0*g, 2*g = -5*w - 6 for w.
0
Let s(f) = -f**3 + 8*f**2 + f - 3. Let b be ((-16)/5)/((-6)/15). Let c be s(b). Let q be 520/(-325)*(2 - 18/4). Solve -1 - q = -c*h + 2*u, 2*u - 1 = -h for h.
1
Let x be (-4)/(-14) + 542/14. Suppose -2*p - 58 = 3*y, 4*y = -3*p + 3*y - 101. Let k = x + p. Solve 0*w + 13 = k*r - w, -3*w = -2*r + 9 for r.
3
Let p(n) = 3*n**2 + 21*n - 73. Let m(w) = -2*w**2 - 20*w + 73. Let o(z) = 4*m(z) + 3*p(z). Let a be o(7). Solve a + 1 = -3*t - 2*u, t - u + 8 = 0 for t.
-4
Let q be ((-20)/2)/((-48)/96). Solve 0 = x + 3*v + q, -4*x = 9*v - 7*v + 30 for x.
-5
Suppose 142*q - 143*q - 4*z + 29 = 0, 0 = 3*z - 3. Solve 2*v = x + 10, 2*v = -3*x - 3*v + q for x.
0
Let r be 36/(-60)*-1*-4*(-3 + -2). Solve -5*x = -2*q + r + 28, -x - 8 = -3*q for q.
0
Let p(z) = z**2 - 13*z + 20. Let d be p(18). Suppose -d*b + 3 = -109*b. Solve 0 = -3*k + 2*s - b, k + 3*k + 3*s + 21 = 0 for k.
-3
Let h(n) = -n**3 + 5*n**2 - 86*n + 702. Let y be h(7). Solve y*m - 5*p - 15 = 5, 0 = 5*m + 5*p - 15 for m.
5
Let c(s) = 2*s**2 + 38*s + 96. Let t = -488 - -472. Let x be c(t). Solve x = 2*j + 5*n + 26, -2*j + 5*n + 3 = -11 for j.
-3
Suppose 68 = -3*q + 59, -3*s + 15 = 2*q. Solve -3*p + s = 5*h, 0 = 7*p - 5*p + 2*h - 2 for p.
-1
Suppose -7*b - 20 = -12*b. Let x(n) = 13*n + 11. Let t(q) = -8*q - 6. Let k(m) = -7*t(m) - 4*x(m). Let i be k(2). Solve -4*y - u = -3*u + i, -b = 4*u for y.
-2
Suppose 100 = 31*x + 38. Suppose -17*o + 16*o = -4*p - 28, -x*p = 10. Solve c = 3*w + 8, 0 = -4*c + 7*c - 5*w - o for c.
-4
Suppose -2*j + 8 = -2*d + 3*j, 0 = 4*d + 2*j - 32. Let k be (-8 + d)/((-3)/6). Solve 3*s - 7 = -4*f + 7, 0 = -s + 3*f - k for s.
2
Let w(c) = -c**3 + 2*c**2 + 2*c. Let u be w(2). Suppose 3*m + 106 = 5*l + 2*m, -u = -m. Suppose 2*j + 14 = l. Solve -j*a + n = -a + 4, -4*a = n + 10 for a.
-2
Suppose f + 2*f = 9. Suppose 27*p + 0*p = 135. Suppose 36*k + 62 = 38*k. Solve 4*u + f*r + 38 - 13 = 0, p*r = -4*u - k for u.
-4
Suppose 4*n - 35 = -14*r + 19*r, -3*n + 4*r + 27 = 0. Suppose 0 = -n*q + 10, -30*q + 29*q + 5 = w. Solve k + 0 - 1 = -g, k = g - w for k.
-1
Suppose 6*y = -2*y - y. Solve y = 3*k + 3*p - 9, 2*p = 156*k - 153*k + 11 for k.
-1
Let w be (-2560)/(-480) + 2/(-6). Solve -w*d + 4 = m + 1, 3*m - 3*d + 9 = 0 for m.
-2
Suppose 2*u - 890 - 1180 = 0. Let r be (-2)/(-16) - u/(-40). Let d = 31 - r. Solve -4*y = -d*c + 20, 3*c + 3*y + 2*y - 12 = 0 for c.
4
Suppose 0 = 2*a - h - 7, -22*a + 5*h + 15 = -17*a. Let k be -3 + (19 - (-15)/5) + a. Solve f = -r - 4*f - k, -24 = 4*r + 3*f for r.
-3
Let c be 10 + 4 + -8 + (5*-2)/(-1). Solv