, -17 + 47 = 3*g + 4*m. Suppose 0 = 10*l - g*l - 8, 3*c = 5*l - 1. Solve 2*f - 11 = 5*q - 39, 5*f = c*q - 32 for q.
4
Let j(s) = -s**3 + 5*s**2 + s - 3. Suppose -n + 3*n + a - 5 = 0, 4*a = 2*n - 30. Let x be j(n). Solve 0 = -3*z - 15, -3*c - z = x - 0 for c.
1
Let j(r) = 2*r**2 + 3*r - 17. Let c be j(8). Let a = c + -133. Solve t = 5*q - 14, 0*q + a*q = 5*t + 24 for t.
-4
Let c = -241 - -246. Suppose -8 = -c*i + 7. Solve i*t + 2 = 2*l, 0 = -3*t + 4*l + 6 + 2 for t.
-4
Suppose -2*x - 289 = -3*w - 283, -2*x + 14 = 2*w. Solve o + g = -4 - 3, w*o - g = -18 for o.
-5
Suppose -l + 26 = -194*m + 191*m, -3*l + 5*m + 50 = 0. Solve 5*p + 3 = -l*r + 8, -3*p - 21 = -3*r for r.
4
Suppose -413*u + 2 = -412*u. Solve -g - u = -n, 3*n + 9 = 7*n - 3*g for n.
3
Let o = -4 - -9. Let g = -22 + 27. Suppose g*c - 13 = 7, 0 = -5*x + 5*c - 10. Solve p + 2 = x*u - p, 0 = -o*u - 4*p - 4 for u.
0
Let v(c) = -c**3 - 24*c**2 - 92*c + 82. Let k be v(-19). Solve 5*r - 9*t + 5*t = 25, -3*t = -5*r + k for r.
5
Let j be ((-1660)/(-14))/5*(-2 - -9). Suppose j*w - 168*w + 16 = 0. Let a be -2 + (-2 - -2) - -6. Solve -w = 2*m, -3*o - 7 = -m + a for o.
-5
Let a = -8 - -13. Let r(q) be the first derivative of 2*q**2 + 73*q - 65. Let h be r(-18). Solve a*g + 0*c + 9 = -4*c, -3*g - h = -2*c for g.
-1
Suppose 23*m = 6*m - 2*m + 228. Solve -b - m = 3*j, 2*j - 4*b = -2*j for j.
-3
Let i(g) = -2*g - 9. Let t be i(-5). Suppose -2 = 28*k + 103*k - 2. Solve u + 2*f = -7, k = -f - 3 - t for u.
1
Let k be (-2)/15 + 42926/195. Let p be ((-20)/(-12))/((k/(-24))/(-11)). Solve -3*f - 2*x = 10, 2*x - 9 = p*f + 1 for f.
-4
Let u(v) = 7*v**2 - 122*v + 165. Let p be u(16). Solve -153*x - b = -149*x + 12, 2*x + p*b + 24 = 0 for x.
-2
Suppose 0 = -2*y + 3*y - 13. Let d(s) = 0 + 10*s - 33 + 8. Let l be d(3). Solve -5*b = -a + y, 2*b - l*b - 3*a - 15 = 0 for b.
-3
Let a(i) = 2*i - 10. Let v be a(7). Suppose -q = v*q. Suppose 2*t + 4*t = 6. Solve 5*r + 2*n - 16 = q, -21 - t = -5*r - 4*n for r.
2
Suppose -38*y = -13*y + 23*y - 144. Solve -6*b + 11*b = -3*u + 26, -4*u - y*b + 20 = 0 for u.
2
Let q = 140 - 138. Suppose 27 = 3*g - 5*p, -q*g - 3*g + 32 = -4*p. Solve c - 5*k = 19, g*c - 3*k + 7*k = 4 for c.
4
Let c(m) = m**3 - 9*m**2 + 11*m - 8. Let x = -24 - -36. Suppose -6*y - x = -60. Let b be c(y). Solve -4*j + b = 0, -2*j + 5*j = n + 10 for n.
2
Suppose 3*f - 4*f + 4*p = -19, -4*p - 22 = -2*f. Solve f*g - 6 = 0, 0 = 2*q - 0*q + 4*g for q.
-4
Suppose l = -4*j - 6, 14 - 55 = -4*l - 3*j. Suppose 15 - 127 = -2*z. Suppose l*u - z = -0*u. Solve 0 = -u*d + k - 2*k - 1, 2*d - 12 = 2*k for d.
1
Let m(h) = -525*h - 4723. Let f be m(-9). Solve -w = -f*b - 7, 11*w - 3*b = 12*w + 8 for w.
1
Let a(v) = -v**3 + 5*v**2 + 12*v - 33. Let y = -194 - -200. Let w be a(y). Solve w*h = -3*d + 18, 4*h - d = -4*d + 21 for h.
3
Suppose -18 = -7*d + 17. Let x = 5 + 0. Suppose 0 = 2*m + x*f - 3, 3*f = -d*m + 6*f + 23. Solve 0 = -m*h - 3*k + 7 - 3, 0 = -3*h + k + 16 for h.
4
Let m(d) = 9*d**2 - 9*d - 15. Let n be m(-3). Let a = -93 + n. Solve a = 3*g + 15, -y - 5*g - 23 = -0*y for y.
2
Suppose 2 = 4*q + 58. Let g be -2 - (-2 + -2) - q. Suppose -6*z = -2*z - g. Solve -i - i - o = 0, z*i + 12 = o for i.
-2
Suppose 0 = 15*f - 732 - 528. Let w = -83 + f. Solve 2*p + 2*j = 2, 0*j = j - w for p.
0
Let a = 484 + -482. Solve 5*m = 3*o + 19, 2*o - 16 + 2 = -a*m for m.
5
Suppose 3*c = 11 - 5. Let a be 11/c*168/154. Solve 0 = -x + 5*w - 2, -3*x + 6*w = w + a for x.
-2
Let s = 242 - 224. Suppose -s = 10*x - 38. Solve -q + 3*q = 5*g - 5, -3 = x*q - 3*g for q.
0
Let o be 1 + 0 - 7/14*-22. Let i = o + -7. Solve -i*w - 3*h - 7 = 0, -8 = w - 5*h - 29 for w.
1
Suppose -2*g + 2*r = -14, -g - 124*r = -128*r + 2. Solve 2*v = -3*j - 25, -j - 2*j = -5*v - g for j.
-5
Let q be ((-8)/(-28))/(32/112). Suppose -5*h - 4*u = -24, -u - q + 10 = 2*h. Let d = 20 - 11. Solve -5*x + d = -y, x = 3*x - h for y.
1
Let w(n) = -n**3 + 6*n**2 + 108*n - 461. Let p be w(4). Suppose 0 = -y - 3*y + 44. Let d = -6 + y. Solve p*a - 5 = 2*k, 0 = -a - 4*a + d for k.
-1
Suppose 0 = -u - 0*u + 2. Suppose 0 = 172*x - 644 + 344 - 560. Solve -5*r = 6*b - u*b - 25, 0 = -r - 4*b + x for r.
5
Let l be (-25)/(-20)*-4 - -40. Suppose -l*u = -2*t - 37*u + 18, 39 = 4*t + 5*u. Solve 3 = -d + 5*y + 5, -3*d + y = -t for d.
2
Let x(h) = -h**3 + 12*h**2 - 12*h - 135. Let q be x(9). Solve q = -k - 8*w + 3*w - 1, -5*k + 5*w + 25 = 0 for k.
4
Let r = 291 - 291. Let l = -135 - -139. Solve 0 = -s + l*k + 10, 5*k = -s - r*k - 8 for s.
2
Let q(d) = -5*d**2 - 15*d + 4. Suppose -4*c - 8 = -2*v, 4*c + 2*v + 11 + 5 = 0. Let y be q(c). Solve 3*b + y*a = -23, -5*b = -0*a - a for b.
-1
Suppose -52*f + 6 = -55*f, f + 14 = 4*j. Solve 2*h + 18 = -2*r, -j*h + 159 - 178 = r for h.
-5
Suppose -114*p + 128 + 192 = -74*p. Solve -5*z + 15 = 5*s, 13 = -z + p*s - 5*s for z.
-1
Let c(n) = 8*n + 120. Let o be c(-15). Suppose o = 3*q + 3*q - 24. Solve -v = q*v + x - 24, 0 = -5*v + 5*x for v.
4
Suppose -7*s = -60 + 39. Solve x = -5*f - x + 23, -s*x + 27 = 5*f for f.
3
Let x be -1 + (65/20 - 12/(-16)). Solve 19 = 3*i + 16*t - 21*t, 5*t + 31 = -x*i for i.
-2
Suppose 441*n + 292 = 799 + 375. Solve -4*g = 5*c + 13, 2*c + 87 = -n*g + 83 for c.
-5
Suppose 4*n - 19 = -4*a - 171, -a - 3*n = 30. Let x = a + 24. Let p be x/(-6) - (0 - 2). Solve -p*o - d + 2 - 4 = 0, 3*d = -2*o - 6 for o.
0
Let x(o) = o**2 + 7*o + 12. Let a be x(-3). Solve 4*w + 4*s = 8*w + 4, a = w + 5*s - 17 for w.
2
Suppose 5*l = -u + 9, l - 3*u + 8*u = -27. Solve 5*v + x + 14 = 0, l*v - 5*x - 11 = 3 for v.
-2
Suppose -73*c + 151*c - 390 = 0. Solve m = c*o + 30, m = -2*o - m - 12 for o.
-6
Let y(q) = q - 4. Suppose -35 = 3*s - 101. Let f be 4/s + 960/165. Let p be y(f). Solve -3*n - 4*u - 8 = 0, 5*n - p*u - 45 = 3*u for n.
4
Let s(y) = 672*y + 4056. Let p be s(-6). Solve 0 = 3*g - 0*r - 4*r + p, 0 = 3*g + 5*r - 30 for g.
0
Let l be (-12)/18*(1308/8 + 0). Let j = l - -131. Solve 2*u - 4*u = 4*c + 2, c - 4*u = j for c.
2
Let u(q) = -5*q + 35. Let b be u(6). Suppose 11 = b*v - 19. Solve -2*h - 5*y = 0, 3*h + 2*y = h + v for h.
5
Let v = -59 - -63. Let c = 486 - 484. Solve v = -c*l, l = n + 2*l for n.
2
Let c = -3697 - -3705. Solve -4*f + 16 = 5*u - 20, -c = -4*u + 2*f for u.
4
Let v be -11 - 30/(-10) - 2*-5. Solve -16 = 2*n - 0*n - 3*t, 2 = -5*n - v*t for n.
-2
Let a(v) = -13*v + 681. Let c be a(49). Let j = 98 + -82. Solve -4*h - 19 = 3*x, c = -5*x - 3*h + j for x.
-5
Let p(a) = -8*a + 454. Let n be p(56). Solve -2*b = -0*o - 4*o - n, 4*o = 3*b - 5 for o.
-2
Suppose -2316 = -491*d + 1121. Solve v = -t + 3, 4*v + d = -2*t + 13 for t.
3
Let h(o) = o**3 - 24*o**2 + 143*o + 21. Let t be h(12). Solve -t = 3*y, 220*x + y + 7 = 218*x for x.
-2
Let d = 82 + -70. Let j be 2/3 + 16/d. Suppose -r - j*k + 10 = 3*k, 2*r - 5*k = -10. Solve -4*x + 11 = -5*q - 5, r = 5*q - x + 4 for q.
0
Let g = -109 + 121. Suppose 4*k - 4*x = -k + g, -x = -4*k + 14. Solve -5*m + 20 = -s, 2*m - k*m - 15 = -5*s for s.
5
Let k be 6*(3 + 6/4). Suppose k = 3*b + l, -2*b = 4*l - 5*l - 23. Solve p = -p - 5*o - 6, b = 4*p - o for p.
2
Let b(z) = z**2 - 5*z - 1. Let m be b(6). Let k = 35698 + -35682. Let r = -5 + 8. Solve m*j - r*v + k = -0*v, 3 = -v for j.
-5
Suppose -2*o = 3*o + 35. Let u(n) = 2*n**2 + 16*n + 17. Let r be u(o). Suppose -x - 56 = -r*a - 12, x + 2 = 0. Solve -4 = 4*w - 2*w - 3*p, -5*p = 4*w - a for w.
1
Suppose -12 = -10*z + 8. Suppose -z*s + 38 + 34 = 0. Suppose -q = 2*y + 3, 3*q - 7*q + s = -4*y. Solve 4*r = 3*t, -q*r + 0 + 3 = -3*t for r.
3
Let i be ((1 + (-2)/4)/((-43)/(-1032)))/4. Solve -12 = -5*r + i*a - 4, 2 = r - a for r.
1
Suppose 52*x - 87 = 55*x + 4*a, -4*x + 2*a = 94. Let r be -4*x/(-20)*-7. Solve 0 = 5*p + 2*h + r, 5*h - 3*h = 4*p + 10 for p.
-5
Suppose 17*k - 24*k = -7. Suppose 9 = z + 7. Solve 0 = -z*w - v + k, -7 + 4 = 4*w + 3*v for w.
3
Let q(m) = 27*m + 762. Let x be q(-28). Solve x*h - u = 7*h, 0 = 4*h - 5*u - 45 for h.
5
Let y be ((-182)/(-39))/(2/(-6)). Let u be y*(4/14)/(-1). Suppose 3*n + 1 = 10. Solve 2*q + 8 = -n*c + 19, -3*q = -u*c - 8 for c.
1
Suppose 0 = 7*x + 138 - 215. Solve -4*b = o - 3, 8*o - x*o - 5 = 5*b for o.
-5
Let b(g) = -13*g**2 + 80*g - 9. Let t be (-35)/(-6) - 8/(-48). Let k be b(t). Solve -20 = 3*v + 5*q, -q = -k*v - 5*q - 19 for v.
-5
Let l(v) = 13*