. Let t = n + 173. Solve r = t*k + 23, 4*k = -14 - 2 for r.
3
Let v(n) = -n**2 - 20*n - 12. Let i be v(-19). Let f be -5*((-8)/1 + i). Solve -3*k = -4*l - 13, -f*l + 2*k = -9 + 27 for l.
-4
Let m(f) = -48*f - 1533. Let z be m(-32). Solve z*c - j + 6 = 0, -4*c + 2*j - 3 = 3 for c.
-3
Let n(h) = h - 6. Let x(s) = s**2 - s - 8. Let d be x(4). Suppose 10*t = d*t + 48. Let o be n(t). Solve -q - 15 = 4*c, -o*q + 15 = -2*c - 5*q for c.
-3
Suppose -90 = -67*l + 37*l. Solve 0 = -2*b - 5*a + 2, 6*a - l*a + 3 = 3*b for b.
1
Let b = -372 + 408. Suppose -g + 8*x - 12 = 12*x, 0 = -5*g + 4*x + b. Solve -4*m - 20 = g*u, 3*u = 2*m + 7 + 3 for m.
-5
Let d(s) be the third derivative of s**4/12 + 2*s**3 + 11*s**2. Let g be d(-6). Let z be 1 - (g + (-1 - 2)). Solve 3*u + 1 = w - 1, 0 = z*u + w + 12 for u.
-2
Let v(d) = d**2 - 5*d + 4. Let u be v(5). Suppose -4*i = -5*m - 3, 7 = -i + 5*i - m. Solve i*h = -3*p + 3, u*p + p + 8 = h for h.
3
Let w(j) = -j**3 + 15*j**2 + 5*j - 262. Let i be w(14). Solve i*c - 3*a = -23, -4*c - 10*a = -6*a + 16 for c.
-5
Let w = -42007 - -42014. Solve -5*s + 20 = 5*v, -5*v = -6*s + w*s for v.
-1
Suppose -67*i + 63*i - 3*v + 38 = 0, 3*i - 2*v - 20 = 0. Suppose -4*f + 10 = 3*a, i*a - f = 6*a + 3. Solve -3*l + 6 = 3*x, -4*l - a*x + 10 = -0*l for l.
3
Let i = -5408 - -5419. Solve 4*c - 8 = 4*b, c + 9*b - 4 = i*b for c.
0
Let q be -16*(0 + (-1)/2). Suppose 0 = -1594*a + 1001 + 1422 + 2359. Solve 3 = -2*x - a*c + q, -c + 20 = -3*x for x.
-5
Let d be 5*((-44)/330 - (-101)/15). Solve 0 = 30*x - 33*x + 3*n + 21, -d = -4*x + 5*n for x.
2
Let d = 6001 - 6000. Solve b + 10 = -5*v - 9, b = v - d for b.
-4
Let a(l) = 4*l**2 + 151*l + 675. Let p be a(-33). Solve -4*n = -4*q - 36, 2*q - 58 = -5*n - p for n.
4
Let o be 16/6 - (-1)/3. Suppose k - 2*k = 2*g - 11, 4*g - 8 = 0. Let h be (4 - 25/k) + 150/42. Solve 4*z - 8 = o*z + 3*m, 2*z - 12 = h*m for z.
2
Suppose 5 = p + g, 4*p - 10 = g + 5. Suppose 0 = -p*h + 6*h - 8. Solve 0 = f - h*f + 3*k + 18, -4*f - k = 1 for f.
1
Let b(f) = -3*f**2 + 272*f - 441. Let j be b(89). Solve x + 16 = -j*c, -3*c = -6 + 18 for x.
0
Let n(d) = d + 112. Let o be n(-107). Solve 0 = -5*v - 2*z - 2*z + 25, o*v + 5*z = 25 for v.
5
Let v(f) = 2*f**2 - 26*f - 92. Suppose -528 + 96 = -27*m. Let x be v(m). Solve i - 1 = -4*i + x*s, -s = -4*i + 3 for i.
1
Suppose -50 = -4*v + 3*g + 13, -v - 4*g + 30 = 0. Let b be 1 + (-4)/6 + v/(-54). Solve 5*y - 4*a - 16 = -0, b = 2*y - 3*a - 5 for y.
4
Let l be 10 + 2/(-1 + (-1 - 0)). Suppose 8*r + l = 25. Suppose -25 = -3*c - 4*u, -r*c + 5*u - 3 = 11. Solve -2*q + q = -c*s - 7, s = 4*q + 16 for s.
-4
Let u be 6/(4 - (4 - 3)) + -4 + 7. Solve -9 = -i + 5*x + 8, u*x + 23 = 4*i for i.
2
Let c be (-2 - (-9 + 4)) + -1. Suppose c*q + l = 6, -5*q + 3*l = 2*l - 15. Suppose -3*g - 1 + 10 = 0. Solve q*v + g*b + 18 = -0*v, v - 2 = 3*b for v.
-4
Suppose -5*s + 4*y - 565 = 0, -4*s + y = -9*s - 565. Let m = s + 109. Let d be 3/(m/4)*(-1 - 0). Solve d = -a + 6, 4*z = 2*a - 26 for z.
-5
Suppose -8*a = 3 - 35. Let v be ((-204)/54 - -7) + a/(-18). Suppose 2*z - 20 = -2*z. Solve -2*o - z*b - 8 - 3 = 0, 3*o - v*b = -6 for o.
-3
Suppose 12897*g = 12944*g - 188. Solve -178*y = 3*u - 175*y - 6, y = g for u.
-2
Suppose -3*y - 3*n = -12, -8*n + 16 = 3*y - 9*n. Solve 0 = 3*p - y*k - 29, 2*k - k + 13 = 3*p for p.
3
Let j = -26 - -40. Suppose -3*f - 12 = -0*f, 3*g = 2*f + j. Suppose 3*a - 4*q = -62, -6320*a + 164 = -6323*a + 10*q. Solve y = a, -g*k + 6*k = -3*y + 10 for k.
1
Let y(o) = 3*o - 27. Let z be y(14). Suppose 0 = 2*v - 5*v + 15, 3*v - z = -2*b. Suppose -2*u - 15 + 21 = b. Solve u = -3*d + 3*j - 2*j, 4*d = j - 3 for d.
0
Suppose -269 = -6*y + y + 2*a, 9*y + 3*a - 471 = 0. Solve 55*w - y*w = j - 6, 4*w - j + 12 = 0 for w.
-3
Let t = -5929 - -5963. Solve 5*r = 4*v, -4*r - 35*v = -t*v for r.
0
Let b(z) = -8*z - 6. Suppose -u + 3*w - 9 = -w, 5*w - 13 = 3*u. Let t be b(u). Solve 24 = 5*q + 3*p, -t*p - 9 = -q - 4*p for q.
3
Suppose 20 = 5*z, -7*z + 14 = -3*r - 2*z. Solve 5*a - 6*q + 22 = -r*q, -a - 5 = -q for a.
-2
Let q(j) = j**3 - j**2 + 3*j - 3. Let p(r) = -r**2 - 3*r + 15. Let f be p(-5). Suppose -6*d + f*d = -2. Let u be q(d). Solve 0*w - 10 = 2*w, w + u = t for t.
2
Let h = -495 + 828. Let c = 338 - h. Solve 3*a + 3 = -c*j + 6, 5*a + 32 = 4*j for j.
3
Suppose 4*t + 15 - 3 = 0. Let u(m) = 3*m - 15. Let r be u(9). Let q be (1 + 1)*-46*t/r. Solve -s - 3 + 16 = 3*p, 0 = 3*s + 5*p - q for s.
1
Suppose 4*g - 52 = -5*c, 56 = 4*c - g - 3*g. Let h(q) = 3*q - 15. Let j be h(5). Solve -2*t = -v - 3, 0*t - 3*t + 4*v + c = j for t.
0
Let s = 2876 + -2872. Solve 0 = -4*q - s*a + 28, -101*a + 100*a = 2*q - 9 for q.
2
Let g = 414 + -432. Let h be g/8*(-4 + 0 + 0). Solve 7*s = -3*k + 2*s - h, -2*k + 13 = -3*s for k.
2
Suppose 5*s = -4*m + s + 108, -2*s + 120 = 5*m. Let b = 17 - m. Let i(z) = -3*z - 12. Let c be i(b). Solve -31 = -c*v - 5*r, 0*v - 3*v = -3*r + 9 for v.
2
Let q(l) be the second derivative of -l**3 - 11*l**2/2 + l. Let k = 1231 + -1235. Let g be q(k). Solve 2*i + f = -i - g, 0 = -i - 3*f + 1 for i.
-5
Suppose -c - 2*k + 6*k + 37 = 0, -2*k - 6 = 0. Suppose c = 9*j - 29. Solve j*r = -4*o + 3*r + 6, r = -o + 2 for o.
0
Let b be -1*(-35)/14*24/20. Solve 0 = -v - 4*p + 5, 5*p - 23 = b*v - 4 for v.
-3
Let h(k) be the third derivative of -k**5/60 + k**4/24 - k**3/2 - 2*k**2. Let t be h(-3). Let c = 20 + t. Solve -4*o = -0*o + s + 8, -c*o + 2*s - 10 = 0 for o.
-2
Suppose -32*i + 4 = -8*i - 68. Solve -2*h - i*n = -4*h - 10, -19 = -3*h - 4*n for h.
1
Suppose 0 = -11*g + 6 - 237. Let c be (3/3)/(4 + g/6). Solve -3*o = -2*f + 1, -3*f - c*o - 7 = -2 for f.
-1
Let o be (-13)/(-52) - -7*1/4. Suppose 33 = -3*r + 39. Solve 2*c = -w - o*c + 16, 6 = -4*w - r*c for w.
-4
Let n be 1 + (1 - (-2 + 2)). Suppose 164*x + 746 = 537*x. Solve -2*c = x*v - 8, 4*c - n*c + 16 = 4*v for c.
0
Let n be -5*10/(-25) + 5. Let x(v) = -v**3 + 6*v**2 + 8*v - 4. Let y be x(n). Solve y*o - 3*g + 2 - 5 = 0, 0 = -3*o - 5*g + 3 for o.
1
Let v be ((-33)/(-9) - (-4)/(-6))*4. Suppose 0 = -4*q - 5*u + 28, -2*q = u + u - v. Let l be ((-1 + q)*(-2 - 2))/(-2). Solve -5*s + s = -12, -l*s = t - 2 for t.
-4
Suppose 0 = -5*h - w + 5, 2*h - 2 = -w - 3. Suppose -15 = -h*x - 9. Solve -4*k + 3*m + 14 = 0, -2 + 10 = x*k - m for k.
2
Let r be ((-16)/14)/(8/(-56)). Solve 4*b - 5*p + 9 = 0, r = -0*b - 3*b + 4*p for b.
4
Let x be (1 - 2)/(4 - 36/8). Let s be (-20)/(-35)*(-7)/(-2). Solve x*k - 5*h - 1 = 0, -k + h + s = -0*k for k.
3
Let t(a) = -4*a**3 + 2*a**2 + 11*a + 27. Let s be t(-5). Let l = s - 517. Solve 0 = -3*c + 2*b - 21, 2*c - 5*b + l = 4*c for c.
-5
Suppose -2*r + 4 = 0, -4*r = 3*g - 9 - 68. Suppose 46 + g = 23*b. Solve 4 = -b*i + 2*i, 2*o = -i - 4 for o.
0
Suppose 4*u - 36 = 24. Suppose u = -5*k + 6*k. Let t = -1356 + 1358. Solve 5*w - k = 2*w - 4*v, -w - 5 = -t*v for w.
1
Let i be 6*((-2)/(-4) - 0). Let r be (-8256)/(-1677) + 12/(-13). Solve -m + i*b = -3*m - 10, b + r = -m for m.
-2
Let o be (6/9 - (-100)/(-42))/((-87)/2436). Solve -5*a - 23 = k - o, -3*k = -4*a + 20 for k.
0
Let m = 151 + -182. Let i be (40 + m)*42/27. Solve -2*g - 3*x = -13, -4*x + 5 = 3*g - i for g.
5
Let m be ((-29)/5 - -5)/(2/(-5)). Solve x + m*r - 9 = 0, 0 = -2*x - r + 3 for x.
-1
Let d(q) = -4*q + 17 - 11*q**2 + 10*q**2 - 21. Let u be d(-2). Solve -4*x + 6 = -f, u = f - 3*x - 0 + 5 for f.
-2
Suppose 2*r - 5 - 27 = 5*s, 3*r - 2*s = 48. Solve -r = f + 5*o, -2*f + 2 + 5 = -3*o for f.
-1
Suppose 5*h + 474 = 2*f + 738, -5*f + 94 = 2*h. Let q = -56 + 93. Let d = h - q. Solve -3*n = 5*g - 10 + 1, -d = -5*n + g for n.
3
Let p(f) = 2*f**3 - 30*f**2 - 47*f + 242. Let o be p(16). Solve 6*m = 2*m + 3*x - 19, -3 = o*m + 5*x for m.
-4
Let y(g) = g**3 - 7*g**2 - 8*g - 25. Let w be y(8). Let s be 207/15 - 5/w. Solve 2*f + 4*m + s = 0, -2*m = -5*f - 5 - 18 for f.
-5
Let d(h) = -h**3 + 41*h**2 + 48*h + 63. Let u be d(42). Let y be ((u/(-28))/(-9))/(1/4). Solve s + 4*c - 11 = 5, -2*s - y*c = -20 for s.
0
Let q = -41 + -55. Let c = q - -100. Suppose 0 = -3*v - c*u + 2 - 5, -4*v - 3 = 5*u. Solve -2*k - 3*n + v = 0, 2*n = -k - 2*k - 3 for k.
-3
Let h(u) = -117*u**2 - 125*u - 3. Let j be h(-1). Solve 226*c + 31 = 2*y + 221*c, j*c + 34 = 3*y for y.
3
Suppose -6*s - z - 14 = -9*s, -2*s + z + 11 = 0. Solve -l + 16 = 4*