 - 17, -2*u - 3*i = u - 27. Suppose 7*h = u*h. Solve 0 = 2*m - q - 1 - 0, h = m - q + 1 for m.
2
Let t(o) be the third derivative of -o**5/60 - 13*o**4/24 - 6*o**3 + o**2 + 25*o. Let v be t(-8). Solve 17 = -k + 4*q, -5*k + v*q + 2 - 23 = 0 for k.
-1
Let g(v) = 6*v - 72. Let m be g(12). Suppose 5*p - 2*x - 12 = m, -7*p + 2*p - 4*x = -36. Solve -p*y - b - b = 8, 2*b = 3*y - 8 for y.
0
Let x = -227 + 199. Let i be x/(-70) + (0 - 13/(-5)). Solve -v - i*f - 3 = 4, -v = 4*f + 8 for v.
-4
Suppose 3*m = 6*m - 126. Let x = 72 - m. Suppose 4*c + 0*c + 20 = 0, 2*c = 5*a - x. Solve -a*n + j = 12, -5*n + j - 2*j = 24 for n.
-4
Let f(k) = -5 + k - 4 + 5. Let d(r) = -2*r**2 - 30*r + 40. Let j be d(-16). Let i be f(j). Solve i*s = -a - 17, -2*a + s = 2*a - 17 for a.
3
Let x = 363 + -354. Let w(t) = t**3 - 7*t**2 - 20*t + 18. Let m be w(x). Solve -5*j = -5*y + 17 - 2, 2*y - 2 = m for j.
-2
Let h be ((-10 - -2) + 15)*(-4)/(-14). Suppose 5*b - 19 = -o, h*b = 4*o - 5*o + 7. Solve b*j = -5*k - 7 + 25, -2*j + 14 = 5*k for j.
2
Suppose 3*h = 4*p - 30, -7*h + 11*h + 24 = 0. Solve -2*w + 5*a = -3, -w + 28*a - 30*a = p for w.
-1
Let u = 104 + -101. Suppose 0 = -u*t + 3. Let g(d) = 22*d - 3. Let x be g(t). Solve -3*f - j - 4*j - x = 0, -2*f = 5*j + 21 for f.
2
Let t = -26192 - -26229. Solve 0 = -39*v + t*v + 4*x - 12, 4*v - 9 = -3*x for v.
0
Let t = -21995 + 21999. Solve -d - 27*w - t = -25*w, -3*d - 5*w - 10 = 0 for d.
0
Let f be 2/(-8) + 8*25/32 + -6. Solve 4*n - h - 3 - 2 = f, 2*h = 3*n for n.
2
Suppose -50*w + 682 = 12*w. Solve 4*n - w = -3*s, -4*s + 13 = -3*n - 10 for n.
-1
Suppose -65*w + 48 = -41*w. Suppose 2*g = g + 2. Solve -w*l = -z + 5, -g*z + 5 = l + 20 for l.
-5
Let k(h) = 3*h + 21. Let n be k(-7). Suppose 0 = -n*u + 6*u. Suppose -289*v = -291*v + 6. Solve u = -d + v*c - 5, 3*c = -2*d - 0*c + 8 for d.
1
Let x(u) = -2*u + 104. Let z = 454 + -414. Let l be x(z). Solve -k + 4*c = -l, -c - c = -3*k + 22 for k.
4
Suppose 6*c - 90 = -9*c. Solve c*r = 2*r - 3*j - 5, 2*j = 3*r + 8 for r.
-2
Let k = -4236 + 4270. Solve -3*w - 5*y = k, 5*w - 127*y = -126*y - 10 for w.
-3
Let q be 4*2/24*(-462)/(-11). Suppose -8*k + 6*k + q = 0. Solve 5*l = 2*z + 12, 2*l + 3*z + k = 4*l for l.
2
Let y be ((-871)/78)/(-67) - (-11)/6. Solve 3*b - 8 = -n, 3*b - y = -4*n + 3 for n.
-1
Let f be (-74)/((-5)/(25/(-10))). Let j = f + 50. Let i be j - (-5)/(5 + 0). Solve 5*b - y + 10 + i = 0, -4*b + 2*y - 18 = 0 for b.
-5
Suppose q + 2*s = -3*q + 112, 0 = -5*s + 10. Suppose -2*u - q*l + 28*l + 1 = 0, u = 5*l + 5. Solve u = -2*p + 8, 9*n - 23 = 4*n - 2*p for n.
3
Suppose -7*j = 5 + 9 - 21. Solve 2*m = -3*b + 2 + j, 2*m = -b + 5 for b.
-1
Suppose 2*d + 8 + 0 = -4*u, -3*d + 20 = -2*u. Let i = 4369 - 4367. Solve -3*a + 24 = 3*x, i*x + 7 = -a + d*x for a.
3
Suppose -c + 4*k = -579 + 181, -2*k + 1166 = 3*c. Let q = c - 387. Solve t - 3*t + 4*n = -20, -4*t = -q*n - 20 for t.
2
Let i = -4 - -4. Suppose n = 0, 2*r + 5*n - 20 = -i*r. Let m be r/(-1)*(33/(-6) + 5). Solve s + 5*p - 11 = 2*p, -m*s - 3*p = -31 for s.
5
Let w = -21 - -23. Suppose -3*r = -3*v + 21, w + 4 = 2*v. Let z be 1 - r - (-4 + 3). Solve 0 = f + 5*t + 13, z*t = -f + 3*t - 7 for f.
2
Let i = 411 - 374. Let u be 0 - 2*2*(-37)/i. Solve 0 = -v - 5*l + 7, u*v + l - 4*l = -18 for v.
-3
Let x be 103 + (-3)/((-18)/(-24)). Let n = x - 111. Let c be n/3 + (-1 - -5). Solve 0 = 4*r + 5*j - 9, c*r = -r - 5*j + 6 for r.
1
Let j(z) = 9*z - 117. Let d be j(13). Solve 0 = x - d*i + 5*i - 24, 2*i = 2*x + 12 for x.
-1
Let y(k) = -k**3 - 43*k**2 + 42*k - 93. Let t be y(-44). Let p be 16/(-56)*-14 - t. Solve 5*d - 4*v = 3, -5*d - p = 2*v - 0*v for d.
-1
Let z(k) = -18*k - 790. Let c be z(-44). Solve -3*w - 5*f = -10*f - 7, -c*f = -4*w + 14 for w.
4
Let f(g) = 15*g**3 + 2*g. Let x be f(1). Let m(s) = s**2 - 18*s + 19. Let v be m(x). Suppose -v*d = -4*d. Solve d*n + 5*l - 10 = 5*n, 4*n = 3*l - 9 for n.
-3
Suppose 0 = -2*r + 10, 111*l + 3*r = 115*l - 1. Solve 3*c = -v - 5, 5*v - 9*v + l = 4*c for c.
-3
Let o(v) = v**2 + 3*v - 4. Let b be o(-4). Let p(r) = 3*r**2 - 11*r + 18. Let w be p(3). Suppose -w*m + 54 = -54. Solve -m = -g - 2*x, -4 = -g - x - b for g.
-1
Let d = -5 - -1. Let t = d - -6. Solve -4*b + 2*q = -14, 3*b = t*b + q + 3 for b.
4
Let x(b) = b**2 + 2*b - 190. Let k be x(13). Solve 0 = -2*w - 4*v - 14, 2*w - k*v - 22 = 0 for w.
1
Suppose 10*d - f = 7*d - 1505, d - 4*f + 509 = 0. Let m = d - -507. Solve -4*i - 3*b - 2*b + 3 = 0, -4*i = 2*b - m for i.
2
Let k = 234 - -114. Let g = 348 - k. Solve 11 = -4*d + 5*x, g*x = -3*d - x + 6 for d.
1
Let i(c) = c - 2. Let j be i(4). Suppose 1943*m + 14 = 1950*m. Solve 5*s + 5*a - 5 = 0, m*s = a + a + j for s.
1
Let z = 173 - 171. Suppose z*c = 8*c - 24. Solve -4*b + 5*g = 27, 14 - 2 = c*g for b.
-3
Let i be (-54)/16 + 3 - 1/(8/(-3)). Solve -3*t + 4*k - 15 = 0, -2*t + 8*k - 5*k - 10 = i for t.
-5
Let r be (-9)/3 - 3/((-12)/20). Let x be r + (-4 - -6 - -1). Solve -6*v = -v + z + 16, -v - x*z = 8 for v.
-3
Let g be 0/4*(2 - 9/6). Suppose 2*d = -3*d - 4*i + 17, -i - 2 = g. Solve 5*o = d*c - 15, 5*c - 15 = 7*o - 3*o for c.
3
Let g(l) = l**2 + 15*l - 14. Let m be g(-16). Let b be (-45 + -8 - m)*(-4)/2. Let a be 20/b + (-172)/(-22). Solve 5*p - 14 = 3*w, -a + 27 = -5*w + 4*p for w.
-3
Let h = -92 - -128. Let z = h + -38. Let g be z*-1*20/8. Solve -l = -5*x - 24, 0*x + x - 16 = -g*l for x.
-4
Let m = -7008 - -7012. Solve -4*w + 68 - 64 = 4*f, -5*f - 4*w + m = 0 for f.
0
Let o(z) = 18*z**2 + 37*z + 4. Let h be o(-2). Solve -8*t = 4*x - 7*t + 21, 2*x - h*t = 2 for x.
-4
Let z(h) = h**3 + 24*h**2 + 97*h - 194. Let y be z(-18). Solve -2*g = 2*u - 4, y*u - 8*u + 15 = -3*g for u.
3
Let t(u) = 2*u**3 - 23*u**2 - 40*u + 17. Let z be t(13). Solve g + l = 3*l - 8, -3*l + 1 = z*g for g.
-2
Suppose 2 = 2*r - 2*a, -2*a + 17 = 5*r - 2. Suppose -2 = x - 4, -4*x + 14 = r*t. Solve -5 = -3*s - 5*v, 1 = t*s + 4*v - 5 for s.
-5
Let q(p) = -8 + 6*p + 58*p - 4*p**2 - 31*p. Let y be q(8). Solve y = -l + 3*x + 12, 5*l - 14 = x + 4 for l.
3
Let s be ((-44)/(-42) - 324/243) + (-102)/(-14). Solve 4*m + s = b - 6*b, m + 5 = 2*b for m.
-3
Let u(k) = -k**3 - 20*k**2 - 35*k + 18. Suppose 19*n + 15 = 14*n, 4*p + 66 = 2*n. Let h be u(p). Solve -4*f + 5*x = -32, h = 3*x + 7 + 5 for f.
3
Let f be (-27)/(-63) + 76/(-14) + 1. Let q(s) = 2*s**2 + s - 22. Let d be q(f). Solve -2*p = -2*b, d = -p - 4*b + 3*b for p.
-3
Let j(u) = -u**2 + 16 + 7*u + 0*u + 6 + 12*u. Let f be j(20). Solve 0 = s - 5*r + 9, -f*s - 3*s - 5*r - 15 = 0 for s.
-4
Let t = 179 - 174. Suppose -28 = -3*l - 5*a, 2*a = -3*l + 8 + t. Solve 16 = 4*q, 13 - l = 2*f + q for f.
4
Let l = 1054 - 709. Let r = l + -220. Let q = r - 123. Solve 2*o + 3*o - 30 = -5*h, -3*o + 16 = q*h for o.
4
Let f = -22 - -26. Suppose -5*y + 25 = 0, y - 13 - f = 3*p. Let r be p/(8/(-6)) - -4. Solve v + 9 = -3*w - r, -3*v = 5*w + 28 for w.
-5
Let a(l) = -80*l + 965. Let i be a(12). Solve -5*v + m - 2*m = -11, -i*m = 4*v - 13 for v.
2
Let q(t) = 6*t**3 + 15*t - 17. Let y be q(1). Solve -5*b = -59*m + 60*m - 25, 16 = y*b for m.
5
Suppose u + 16 = -4*j, u - 9 - 15 = 4*j. Suppose 29 = u*k + 1. Suppose 80 = k*p + p. Solve 4*d + 3*y + 28 = 0, -3*d - 6 = y + p for d.
-4
Let y be (-1 - (-34)/10)*(17 - 513/54). Solve -s = 1, 0 = 12*n - 9*n + 3*s + y for n.
-5
Suppose -3*i - 9 = -2*p + 13, 4*p - 32 = 3*i. Let n be (-8)/i*(-1)/(-1). Solve 7 = n*k + u, 5 = 3*k - 4*u - 0 for k.
3
Suppose -774 = 5*z - 2444. Let b = z + -331. Solve 0 = -5*h + 5*t, 0*h + b*t = -5*h - 16 for h.
-2
Let b = 654 - 645. Suppose -149*v = -152*v + b. Solve z = 2*k + v + 8, z + 9 = -2*k for k.
-5
Let d = -15096 - -15101. Solve o - 28 = 5*l, 4*o = d*o + l + 2 for o.
3
Let d = 702 - 94. Let z = -606 + d. Solve -4*i - 3*c = -2, z*c + 6 = -0*i + i for i.
2
Let f(y) = -149*y - 295. Let k be f(-2). Let p = 11 + -13. Let n be p/(-1) + (2 - 0). Solve -5*w - q - 15 = 0, 7*w - n*q = k*w - 12 for w.
-3
Let j be ((-8)/(-2))/((-13)/(-13)). Suppose 1234 - 410 = 103*q. Solve -2*m - 1 = -5*h - q, 5*m = j*h + 9 for m.
1
Let s be (-1)/(21/12 - 2). Suppose -15*y = -11 - 4. Solve -5 = -s*w - 5*g, 3*w + g = 4*w + y for w.
0
Let z = -8 + 12. Suppose -l = 5*o - 13, 3*l - 73*o - 19 = -68*o. Solve 3*y - 9 = 5*q - 35, 4*q = -z*y + l for y.
-2
Suppose 84*y + 15 = 89*y. Suppose -2*q