*k for y.
-4
Let i(n) = -n**3 - 8*n**2 - 6*n + 11. Let k be i(-7). Suppose -4*j = 4*g - 2*g - 8, -k*j = -4*g + 64. Solve 3*a - c = 3*c - 1, 3*c = g for a.
5
Suppose -2*u - 3 = 16*j - 19*j, u + j - 1 = 0. Solve 0 = -4*t + 5*z - 18 + 23, 4*t + 2*z - 26 = u for t.
5
Let p(r) = 47*r + 1739. Let o be p(-37). Solve 4*k + 0*k + j - 4 = o, 4*k - 2*j - 16 = 0 for k.
2
Suppose 18*y - 40*y + 104 = -160. Solve -3*d + 2*g = 4*g + y, -4*d + 4*g - 16 = 0 for d.
-4
Suppose -5*p + 30 = -3*r, -4*p + r + 32 = 8. Let n be (-2)/p + 75/9. Suppose -a + 3*f + 3 + 8 = 0, -2*a = f - n. Solve c - 3 + 19 = a*i, -5*i + 4 = -4*c for c.
4
Let o = 56 - 48. Let m(g) = -g - 77. Let z(c) = -c - 52. Let d(v) = o*z(v) - 5*m(v). Let l be d(-13). Solve 0 = 4*j - l, i + 3*j + 4 = 3*i for i.
5
Let y be (15 + (-63)/6)*20/18. Solve 7*h + y*a = 4*h - 30, -3*a = -2*h - 1 for h.
-5
Let d = 11012 - 11009. Solve 16 = -4*t, -d*t - 65 + 41 = 3*h for h.
-4
Let a be (-2)/4*(-68 - -6). Let m = 42 - a. Let k(y) = -y**2 + 10*y + 13. Let v be k(m). Solve -3*j + 4*b + 2 = 8, -j = -4*b + v for j.
-2
Suppose 3*j - 28 = v, -j - 3*j = 3*v - 46. Let o(p) = 5 - j*p**2 - 8 + 6 + p**3. Let f be o(10). Solve -5*g + 3*c = 31, f*g = -2*c - 2 - 9 for g.
-5
Let g(z) be the first derivative of z**4/4 - 40*z**3/3 + z**2/2 - 20*z + 84. Let l be g(40). Solve -2*m + m - 5*p = 4, l = -5*m + 5*p for m.
-4
Let s(t) be the third derivative of -t**4/24 + 47*t**3/6 - 201*t**2. Let g be s(46). Let k be -1 + 11 + 2 + -3. Solve -2*c + g = -y + 6, -4*c - k = -y for y.
1
Let s = -295 - -300. Solve 4*n - 16 = -4*j + s*n, -2*n - 12 = -3*j for j.
4
Let n be 28/21*(1 - (-32)/(-8)) - -14. Solve 0*f - 5*f + 24 = 2*m, -n = -3*f + m for f.
4
Suppose l - 4*d = -0*d + 10, 20 = 5*l - 5*d. Let m be 2/(-8) - 51116/(-15728). Solve -l*y + m*h = -6, 6*h - h = -3*y + 9 for y.
3
Let u be (-20)/(-8)*(-1 - -11 - 2). Suppose -11*b + u = -6*b. Solve 0 = 4*q + 12, 3*m = b*q - 8*q - 6 for m.
2
Let u = -76 + 52. Let w(c) = 2*c**3 - 3*c**2 - c + 5. Let k be w(3). Let a = k + u. Solve 0 = a*n + 2*q + 1 + 4, 2*q - 5 = 5*n for n.
-1
Let n be (-17 - -15) + 0 + 15. Suppose -418*t = -419*t + 15. Solve -4*r - 3*x + n = 0, 0*x - t = -3*r + 3*x for r.
4
Let m(z) = -5*z**2 - 216*z - 248. Let w be m(-42). Solve w*o = 3*a + 19, -46*a + 41*a - 26 = -o for a.
-5
Let x be (-91)/(-26) + 6/84*7. Solve 5*b - 4*g + 26 = 0, 16 = -0*g + x*g for b.
-2
Suppose 0 = f + 4*f - 10. Let j be 0/(-2) - 0/f. Suppose 4*g = 4*r - 56, j = 3*r - r + 4*g - 4. Solve 4*s - 5*d = -0*s + 8, 0 = 5*s + 4*d - r for s.
2
Let c = 8928 + -8917. Solve 4*x + j - 8 = 0, j - c = -3*x - j for x.
1
Let r(y) = y**3 + 10*y**2 + 88*y + 1092. Let i be r(-11). Solve 3*u + m = 15, -2*m = i*m for u.
5
Let s(b) = -21*b - 1. Let i be s(-1). Let n(h) = -65*h + 35*h + 34*h - 76. Let k be n(29). Solve -4*y + 5 + i = -a, k = -3*a + 5*y for a.
-5
Let n(p) = 3*p**2 - 9*p - 19. Let u be n(-2). Suppose 1 = -2*m - 2*f + u, 25 = -2*m + 5*f. Solve m = 4*h + 7 - 3, -5*k + 7 = 3*h for k.
2
Suppose 2*i - 7 - 3 = 0. Suppose -5*o = -2*s + 9 - 34, -22 = o + i*s. Suppose -6*u + o*u + 15 = 0. Solve -3*a + u = 2*x - 0, x - 10 = -3*a for x.
-5
Suppose 818 = -73*x + 2643. Solve r = 4*q - 11, -5 = 21*q - x*q - r for q.
2
Let i = -189 - -189. Suppose i = -3*t + 14*t - 55. Let y = 40 - 35. Solve l - j = -3*j + t, y*l + 8 = j for l.
-1
Let c(s) = s - 6. Let t be (-213)/(-284) + 58/8. Let k be c(t). Solve 4*g - 19 = 3*l, k*l + 24 = -3*l - g for l.
-5
Let r(x) = x + 4. Suppose 0 = 9*b + 1 + 17. Let l be r(b). Let u be (-95)/(-35) + l/7 + 2. Solve -3*o + 17 = -u*a, -6*a = 3*o - 2*a - 8 for o.
4
Let f = 64 - 43. Let k be (3 - 5 - -3) + 5. Suppose 4*p - 2 = k. Solve -p*m - m - f = 3*b, 2*b = -4*m - 22 for b.
-3
Suppose 0 = 5*w - 2*w - 4*j + 121, -5*w + 5*j - 210 = 0. Let f = w + 84. Let l = -32 + f. Solve l*u = 3*i - 9, 4*i - 3*u = 5 + 7 for i.
3
Suppose 6*h - 2474 = -2456. Solve 0 = -5*a - 2*d + 17, h*a + 2*d = -3*d - 5 for a.
5
Let m(q) = -q**3 - 12*q**2 + 11*q - 23. Suppose 624 = -5*x - x. Let o = x - -91. Let b be m(o). Solve b*r - 6*d = -4*d + 4, -3*d = -2*r + 1 for r.
2
Suppose -3*v - 391 = -5*o, 2*o + 5*v - 175 = -0*o. Suppose -o = -28*t + 12*t. Solve t*z - c + 10 = 0, -5*z + c = -2*c + 20 for z.
-1
Suppose 0*h - 56 = -7*h. Suppose -10*q + 36 = h*q. Solve -2*p - 12 = 3*t, 2*p = -q*p - t - 14 for p.
-3
Let p be 9/((-63)/(-56))*((-23)/2)/(-1). Solve -g + 5*q - 27 = 0, g - 94*q + p*q = -12 for g.
-2
Let n(w) = w**3 - 15*w**2 - 246*w + 43. Let j be n(-10). Solve -j*p - y + 16 = 0, 5*p - 70 = -2*y - 43 for p.
5
Let u(c) = -c**3 + 6*c - 7. Let o be u(-3). Suppose -3*p = 2*g - 9, 2 + o = g + p. Solve -g*m + 3*i = -7*m, 5*i + 5 = -5*m for m.
3
Suppose 25*k + 23*k - 336 = 0. Suppose q = 3*b - k, 4*q - 24 = 2*b - 3*b. Solve 4*w + 0 = 4*s + 8, 0 = q*s - 4*w + 6 for s.
2
Suppose 88*k - 117 = 147. Solve -f - 4*m - 16 = 0, -k*m - 2*m = -2*f + 33 for f.
4
Let u = -4200 + 4204. Let v be 1/4 - (-7)/4. Suppose 3*f - 8 = -u*s, f - 6 = -5*s + v*s. Solve -4*x + x - 3*l - 18 = 0, -5*x + 4*l - 21 = f for x.
-5
Let x(w) = -8*w**3 + 3*w + 6. Let q be x(-4). Let v = q + -485. Let p(a) = a**2 - a - 2. Let c be p(3). Solve -c = -t - 3*g - 2, 4*t - v = g for t.
5
Let l be (8 - 11)*(4 + (-25 - -4)). Let u = -18 - 31. Let g = u + l. Solve 2*z + 12 = 4*a - 10, 3 = a + g*z for a.
5
Let m(o) = -o**3 + 8*o**2 + 21*o - 100. Let w be m(9). Solve w*t = 11*t - 3*h, 0 = -4*t - 4*h for t.
0
Suppose 0 = -3*o + 8 - 2. Let q be 9/27*(-18)/(o/1). Let f be 91/39 + 1/q. Solve 2*k - 12 = f*d, -3*d - k + 0*k - 2 = 0 for d.
-2
Suppose 50*t - 47*t - 4*m - 4 = 0, -2 = 2*t - 5*m. Solve t*g - 15 = -5*l + 9*g, 0 = -5*l - 2*g - 34 for l.
-4
Let l = -57 + 61. Let x be 20/l + 2 - 3. Solve 0*m + x*m - 3*z - 5 = 0, 5*m + 3*z = 13 for m.
2
Let a be (-3 - -8)/(-5) - 7. Suppose -5*p = -l - 16, -l + 4*p + 16 = 3*l. Let n be 12/l*(-12)/a. Solve -7*j + 3*j - 5*z + 45 = 0, -2*j - n*z + 20 = 0 for j.
5
Let x = -18 + 21. Suppose -t + 4*k + 3 = -2*t, 25 = x*t - 5*k. Suppose -t*r + 72 + 63 = 0. Solve 0 = 2*o + 5*p - r, -o + 9 = 2*p - 2 for o.
1
Suppose 20*t + 125 = 45*t. Solve -v + 1 = -3*o, 17*o = -t*v + 15*o + 22 for v.
4
Let k(w) = 15*w**2 - w - 1. Let y be k(-1). Suppose -23*n + 64 = -21*n. Suppose n + 113 = 29*v. Solve -c + y = -v*l + 2*c, 0 = c for l.
-3
Suppose 5*z + 5*g - 45 = 0, -29*z + 33*z - 72 = 2*g. Solve 0 = -h + 2*f - 15, -h - f + z = 3*f for h.
-5
Let t be (-185)/37*(16 + 0). Let x = t - -83. Solve -z - 10 = -5*y, x*y + 2*z - 3 = 3 for y.
2
Let z(f) = -114*f + 15. Let p be z(-4). Let b = -469 + p. Solve -b*t + 2*w + 3 = -w, -3*t = -w - 8 for t.
3
Let i = -9761 + 9782. Solve -4*y = 2*t - 12, -4*y = y + 4*t - i for y.
1
Let p be (-12)/(-9) - 30/9. Let r be (-616)/(-10) + p/(-5). Suppose -2*i = 22 - r. Solve 3*x - 2 + 29 = 5*l, -4*l + 2*x = -i for l.
3
Let z(a) = -6*a + 9. Let q(i) = 7*i - 8. Let f(o) = 5*q(o) + 6*z(o). Let l be f(6). Suppose 6 = -l*v + 9*v. Solve -2*j - 15 = n + 2*j, -2*n + 4*j = -v for n.
-3
Let g = -440 + 225. Let p = g - -223. Solve -p*u + 4*u - 2*b = -4, -4*u = 4*b - 12 for u.
-1
Let s be (-8)/(-2) - (4 - (-6 + 47)). Suppose s*j - 6 = 38*j. Solve 0*q + 9 = -2*q + 3*t, -4*t = j*q - 26 for q.
3
Let l(z) = z**3 - 4*z**2 + 5*z - 4. Let a be l(3). Let o(u) = -u**2 + 41*u - 74. Let f be o(15). Let b = f + -316. Solve b = a*p - 6, h = 4*h + 3*p - 12 for h.
1
Let a(d) = -4*d**2 + 19*d - 9. Let f be a(4). Suppose -z + f*z = -y, -4*y + 3*z + 22 = 0. Solve 0*p + p = 3*g - y, 2*g = -p + 1 for g.
1
Let z = 21 + 6. Suppose 0 = 5*c - z - 33. Suppose -2*a = 4*j - 2, 109*j - 2 = -a + 108*j. Solve -2*w + 16 = 2*w - 4*x, -a*x = 3*w - c for w.
4
Let b = 19 - 17. Suppose -11*r + b*r = -0*r. Solve -o + 12 = -2*x, -3*x - 5*o - 1 + 9 = r for x.
-4
Let q be 0 + (-90)/(-240) + (-35)/8. Let j be q/2*(-979)/178. Solve j = d - 4*v, 2*d = -2*v + 3*v - 6 for d.
-5
Suppose -3*m + 45 = 6*s, 4*m + 532*s = 535*s + 16. Solve -2*y - 4 = 0, -11 = 2*j + 2*y - m for j.
0
Let i(y) = -4*y**2 + 82*y + 134. Let s be i(22). Solve -18 = 2*l - 4*r, 0 = 2*l + 5*r - 4*r - s for l.
-1
Let r = 6978 - 6972. Solve 0 = -7*j + r*j - 5*v - 7, -3*j - 3*v = -3 for j.
3
Let c be (-3)/(-273)*13*0. Solve i - q + 2 = c, 8*q + 15 = 3*q for i.
-5
Suppose m - 3*f = -0*m - 9, 3*m - 5 = f. Suppose 0 = -4*g + 17 - 13, -k - m*g = -8. 