- 7. Let j be t(m). Suppose 5*n - j*n = -120. Solve 5*l = b + n, -7*l + 2*l = 2*b - 20 for l.
4
Let n = 34833 - 34823. Solve 39*o - 5 = 34*o + 4*x, -3*o + x = -n for o.
5
Suppose 26151 - 29778 = -31*p. Solve 3*j = 12, w = -5*j - 95 + p for w.
2
Let h be 4 - 1 - (-15 + 1). Let u = h - -1. Let d = u - 2. Solve 4*k - d = -g + 1, -3*k = 3*g - 15 for g.
1
Let j(h) = -70*h + 32. Let c(n) = -6*n. Let s(p) = 20*c(p) - 2*j(p). Let i be s(5). Solve -4*w + i = -5*b + 4, -b = 4*w - 8 for b.
-4
Suppose -462*o + 459*o = -3*t - 87, o + t = 37. Solve 5*u = -4*h - 18, -3*h + 17*u - 13*u + o = 0 for h.
3
Suppose 128*y - 1925 = -261. Solve 0 = 5*i - 2*i - 3*j + 6, -2*i - j = y for i.
-5
Suppose -5*r - 134 + 152 = s, 2*s - 6 = 0. Solve -p + 3*b + 5 = -r, -5*p = 5*b for p.
2
Suppose 16*z = 8*z - 32. Let u be (-9)/z*(2 + (-8)/12). Let l = -88 - -92. Solve -m + 2 = -u*m - g, l = g for m.
-3
Let c be 6300/1512 - (-1 - 7/(-6)). Solve -5*u - 2*n = 1 - 10, 3*n + 21 = c*u for u.
3
Suppose 7*m + 4*t = 12*m - 21, 5*m = 2*t + 23. Solve -5*h + 20 = -5*z, 3*z - m*h + 4 = -4*h for z.
0
Let l be 70/8 - (-47)/188. Suppose k = -u + 3, 0 = 23*k - 22*k - 5*u - l. Solve k*f - 5*q = -14, -3*f - 7 = -5*q + 3*q for f.
-1
Let g = -5887 - -5891. Let n = -16 - -19. Solve n*k - 2*i = -g*i + 11, -5*i = -2*k + 1 for k.
3
Suppose -3*s + w + 3 = -16, 2*s - 22 = -4*w. Suppose 9*t = s*t + 16. Suppose -2*h = -t*h + 54. Solve 1 = -5*c + 2*m, -c + 7*m = 2*m - h for c.
-1
Let f = -3238 + 3239. Solve r = -4*r + 4*w - 7, 5*r - 2*w + f = 0 for r.
1
Suppose 4*c = -2*x + 2110, 3*c - 2105 = 2*x - 4*x. Let d = -1042 + x. Solve 7*m - 20 = -5*w + 2*m, w - d*m - 4 = 0 for w.
4
Let h(f) = -f**2 + 16*f - 27. Let b be h(2). Solve 5*k + 0*k = d - 14, 4*d = k - b for k.
-3
Let a(s) = -s**2 + 2*s + 3. Let l be a(3). Suppose l = i - 9 - 18. Solve 0*u - i = -5*u - 4*j, 3*j = -5*u + 24 for u.
3
Suppose -s - s + 54 = 0. Suppose 3*q = -0*q + s. Suppose 2*h - 1 - q = -4*z, 2*z = 5*h - 25. Solve -h*w + 3*g = -13, g - 4 = -0 for w.
5
Suppose -6924*k = -6947*k + 92. Solve -41 = -5*j + k*h, 20*j = 24*j - 2*h - 28 for j.
5
Suppose -6*p = -7*p + 2*y + 100, -3*y + 12 = 0. Let d be (1*(-6)/(-9))/(24/p). Solve -4*r = -12, 5*l - 3*r = d*l + 1 for l.
5
Suppose 5 = b, -3*n = 4*b + b - 37. Suppose -2*k = -3*i + 226, 0*k + 4*i = 2*k + 230. Let g = k - -112. Solve g*w + n*u + 17 = 0, w + 6*u - 5 = u for w.
-5
Let z(o) = -o**2 + 22*o + 386. Let d be z(-11). Solve -11 = 4*v - d, -2*w + 4*v - 14 = 0 for w.
-1
Suppose 667*p - 33494 = -9482. Let z be (3 - 4) + (1 - -1). Solve -5*i + 3*w = -7 + p, z = -i - w for i.
-4
Suppose 2*d + 19 = 21. Suppose -23 = -6*a + d. Suppose 0 = 8*k - a*k - 24. Solve -4*z = h - k, -3*z + 5*h = 5 - 21 for z.
2
Let t = 22145 + -22144. Solve 3*d + n = -t, d + 39*n = 34*n - 19 for d.
1
Suppose 8*w + 1207 + 769 = 0. Let f = w - -249. Let b(y) = -y**3 + 4*y**2 - 2*y + 1. Let m be b(2). Solve -33 = 2*a + m*o, 6*a - 4*a - f*o - 2 = 0 for a.
-4
Let i be ((-12)/(-3))/(4/(-36)). Let t = -33 - i. Suppose -w - 3 = -5*h, 8*w - 15 = t*w - 5*h. Solve -z = g, w*z - z = -3*g + 4 for z.
-2
Let o be (-8)/(2/(-1) + 0). Suppose b + m - 16 = 4*m, -24 = -2*b + 4*m. Solve 0 = 4*f - o*z + 24, 2*f - 5*f + b*z = 20 for f.
-4
Let f(q) = -50*q**3 - 213*q - 427. Let u be f(-2). Solve -5*z = -u*x + 394*x, z - 18 = -5*x for z.
3
Let s = 1729 - 1726. Solve -3*d - s*f + 3 = 0, -2*f = d - 2 - 2 for d.
-2
Let g = -34128 - -34152. Solve 12 = -4*l - x, -g = 4*l - 3*x + 7*x for l.
-2
Let c = 30503 - 30501. Solve -2*y + 14 = 0, -c*g + 3 = -4*y + 21 for g.
5
Suppose l + 40 = 44. Suppose -l*q + q = 3*p + 6, -3 = 4*p + 3*q. Suppose -2*o + 12 = -o. Solve z + 0*s - 5 = -p*s, -4*z + 4*s - o = 0 for z.
-1
Let n(q) = q - 9. Let c be n(8). Let i be 5 + -3 + 4 + -2 + c. Solve -i*k - 4*f = 0, -3*k - 2*f - 4 = 2 for k.
-4
Let c = 79 - 62. Let f = -8 + 11. Solve i + c = 4*y, f*i + 2*y = 7 + 12 for i.
3
Let w(u) = 5*u**2 + 13*u - 5. Let n(y) = y**2 + y. Let h(z) = -6*n(z) + w(z). Let b be h(6). Solve 2*d - b = -d - m, 2*m = -10 for d.
2
Let s(g) = -10 - 35 - 17*g + 10. Let z be s(-6). Let x = z - 63. Solve 10 = -3*j - x*q - 0*q, -j - 2*q = 4 for j.
-2
Let l(y) = -122*y + 295. Let j be l(6). Let d = 441 + j. Solve -5*f + d = -n, -3*n + 2*f - 12 = 7*f for n.
-4
Suppose -816*q + 819*q - 6 = 0. Solve -l - j = -3, q*j - 5*j - 11 = -l for l.
5
Let d(t) = -7*t - 26. Let k(o) = o - 1. Let y(s) = d(s) + 6*k(s). Let i be y(-35). Solve 0 = -2*p + 4*h + 12, -i*p - 24 = 4*h + 8 for p.
-4
Let b(v) = v**3 - 15*v**2 + v - 15. Let w be b(15). Suppose w = k + 2*f - 8, k = -3*f + 8*f - 6. Solve -k*d + 5*i = 3*i - 14, 3*i = -d for d.
3
Let i(s) = -11*s - 131. Let t be i(-20). Suppose -83*w = -t*w + 108. Solve 3*l - 2*n + w = -5*n, -22 = 5*l + n for l.
-4
Let c = 25627 - 25617. Solve 2*t + c = -2*v, 0 = -5*t + v - 1 - 6 for t.
-2
Let v(g) = g + 13. Let x be v(-13). Let l(u) = 3*u + 8. Let s be 40/60 - 4/6. Let d be l(s). Solve 18 = -4*f - d*m + 3*m, -4*f + m - 6 = x for f.
-2
Let s(d) = 3*d + 20. Let t be s(-5). Let l(o) = 6*o - 57. Let y be l(14). Let r be 5/(((-2)/6)/((-9)/y)). Solve -5*n - 3*p = -0*p + t, 5*n + r = -p for n.
-1
Suppose -5*k = 12*a - 16*a - 31, 0 = -3*k + 10*a + 49. Solve m = -k*s - 10, 0 = s + 5*m + 9 - 1 for s.
-3
Suppose w - 195 = -3*m, -5*m + 392 = 2*w - m. Let y = -189 + w. Solve -2*n + 3*t - 14 = 0, -4*n - 2*t - 3 = y for n.
-4
Let u be 1/(23 - (-315)/(-14)). Solve -u*i = 2*m + 18, 5*i + 4*m = 8*m for i.
-4
Let r = -357 - -348. Let q(i) be the third derivative of -i**4/6 - 31*i**3/6 + 9*i**2. Let n be q(r). Solve 0 = -3*y + 4 + 2, -n*c - 5*y = 15 for c.
-5
Let n be -1*(-58 - 1) + -1. Let u be (3*((-234)/(-81) - 3))/(2/(-348)). Let r = u - n. Solve 0*b + 4*b + 5*d - 9 = r, 4*b = 3*d + 1 for b.
1
Let w(p) = -6 + 2 - 11 - 4*p + 5*p. Let h be w(19). Suppose d + 3 = 3*i, -3*i - 5*d + 2 = 17. Solve -y - 2 = i, h*y + 0*y + 18 = 2*u for u.
5
Let x be (5 - 11)*5/9*-57. Let b = -175 + x. Solve 8 = -2*q, -4 + b = 3*a - 5*q for a.
-3
Suppose -5*d - 42 = 2*k - k, -2*k = -5*d + 24. Let p = -25 - k. Let w be -4 + p/(9/(-24)). Solve -f - w*j = 11, 2*f - 5*j = -0*j + 30 for f.
5
Suppose -2*q = 6*a - 44, -a - 10*q = -8*q + 6. Solve -5*l + 12 = 2*w - a*l, w - 5 = 2*l for w.
1
Let s be (-55)/11 + 23/((-5)/25*-5). Solve j + 14 = -q + 25, 2*q + s = 3*j for q.
3
Suppose 0 = 5*j + 3*h - h, -5*j + 5*h = 0. Let y be 96/408 + (-3328)/(-884). Solve -4*x - y*o - 20 = 0, j*x + 2*x + 16 = -5*o for x.
-3
Let c be ((-520)/195)/((-4)/6). Solve c*j + 0*j = -5*p, -3*j = 4*p for j.
0
Let y be (-6 - (-4 + 0))*(25 + -28). Solve -5*m = d - 10, 3*d + 9 = -y*m + 4*m for m.
3
Let x be ((-112)/21)/((-3)/108). Suppose -10*k - 6*k + x = 0. Solve -2*t + h - 9 = -0*h, 0 = 4*t + 4*h + k for t.
-4
Let l = 287 - 285. Suppose 0 = l*m + 2*p - 2, m = -8*p + 3*p - 11. Solve 0 = -m*a + 5*u + 16, 4*u + 12 + 4 = 0 for a.
-1
Let m be 0 - 75/30*(-4)/20*4. Solve -2*x + 1 + 15 = m*z, -5*z - 2*x + 25 = 0 for z.
3
Let o = 33468 - 33458. Solve -5*g - o = 3*d, 3*d - 26 + 28 = -g for g.
-2
Let q = -63 - -93. Let l = -111 + q. Let s = -79 - l. Solve -2*g + z - 5 = 0, 2*g - s*z - 2*z + 2 = 0 for g.
-3
Suppose 3*n + 66 = 39. Let i be (-13)/234*-4 - 34/n. Solve -2*b + 4*d - 16 = 0, -4*b + 4*d - 3*d - i = 0 for b.
0
Let m(d) be the first derivative of d**4/4 + d**2/2 - 16. Let u be m(1). Suppose 37 = c + 19. Solve u*f - 5*h = 19, 14 = -4*f - 4*h - c for f.
-3
Suppose -n = 2*n. Let g(y) = 122*y - 455. Let v be g(23). Suppose v*r - 2357*r + 18 = 0. Solve 2*j + 3 = 2*u - 5, n = u - r for j.
-1
Let z(y) = 6*y + 9. Let r be z(-2). Let a be (r - 12/(-4))/(-2). Suppose a = -3*o - 1 + 4. Solve 0 = 5*s + 4*m - 15, -5*m = -4*s + 13 - o for s.
3
Let w(l) = -l + 40. Let d be w(22). Let a be (-11)/(3 - 4/2). Let z = a + d. Solve 0 = -v + 3*s - 2, -5*v + z = -s - 11 for v.
4
Suppose -l - 4*l = -3*l. Suppose l = 2*r - 2*z - 6, 5*r + 10*z - 15 = 7*z. Solve 0 = -4*p + 5*h - 19, -r*p + 0*p = 5*h - 12 for p.
-1
Let z be ((-20)/190)/((-24)/228). Solve -3*j - z = r, -2*r + 499 - 491 = j for r.
5
Suppose -24*i + 38*i = -35*i + 490. Solve t = -4*m + 18, -3*t - i = -4 for m.
5
Let c = -16374 - -16377. Solve -n - 3*p - 19 = 0, -c*p = -14*n + 9*n - 5 for n.
-4
Let v(d) = -5*d + 1. Let r be v(2). Let c be (-105)/r - 2/(-6). Let h = -150436 + 150440. Sol