k - 22 = -18 for z.
-3
Suppose y = -0*y + 4. Suppose 0 = -8942*k + 8977*k - 105. Suppose -5*c + y*q + 4 = -7, -2*c + 3*q = -k. Solve -2*v + 4*v - 15 = -5*i, -5*i + 15 = c*v for i.
3
Let h be 66/231 - (-26)/7. Suppose 2*j - h = j. Solve -l = -2*q + 11, l + 5 = -j*q + 12 for q.
3
Suppose 4*a + 1 = -7. Let t = a + 6. Suppose -t*w = -19 - 1. Solve 4*z = 4*c + 16, -3*c + w*c + 9 = 3*z for c.
-3
Let a = 1 + 14. Suppose 0 = -o + 2*o + 5*v + 15, 5*o + a = -5*v. Suppose -36*w + 27*w = 59*w - 136. Solve o*d - 3*h - 12 = 3*d, 0 = -w*d + 3*h - 3 for d.
-3
Let a = -387 - -390. Suppose 0 = z + a*l + 2 + 5, 4*z + 3*l = 8. Solve 0 = -5*i + 15, -z*b + 0*i + 9 = 3*i for b.
0
Let r be ((23 + -4)/152)/(2/80). Let k(j) = -j**3 + 4*j**2 - 2*j - 3. Let o be k(3). Suppose o = 4*z - z - 6. Solve -z*d = 4*i + 8, 0*d - d - 4 = -r*i for d.
-4
Let m(o) = -41*o - 3. Let n be m(1). Let f be n/(-33) - 8/6. Solve b + 2*a + a = -2, 2*b - 5*a - 18 = f for b.
4
Let j = 4 + 7. Suppose 71 = -j*q - 116. Let g(s) = s + 19. Let r be g(q). Solve 0 = -3*m, -4*m - 2 = -r*z - m for z.
1
Let s be (-1)/((1 - 0)/(-13)). Let w be (1 - 19*21)/(3 - 2). Let r = -395 - w. Solve -s = j - r*q, 3*j + 3*q = -2*q + 31 for j.
2
Suppose 77703 = -29*u + 77819. Solve -4*h = 3*k + 23, -2*k - 14 - 4 = u*h for k.
-5
Suppose 18 = 3*s - 27. Let v be (-2)/(-2 + 24/s). Let b(n) = n + 21. Let o be b(-19). Solve -2*j - 3*f = -9, v*f - 10 = -7*j + o*j for j.
-3
Let z(h) = -h**2 + 5*h + 4. Let m be z(0). Suppose -2*u + 22 = 3*u - 2*x, u + m*x = 0. Solve 5*j + v - u*v = -27, 4*j - 3*v + 24 = 0 for j.
-3
Let w(m) = 3*m**3 - 75*m**2 - m + 28. Let i be w(25). Solve -5*l + i*z = -15, 2*l + 8 + 7 = -3*z for l.
0
Let q(n) = -n**3 + 10*n**2 + 74*n + 21. Let z be q(15). Solve -4*c + z = -18*s + 20*s, 0 = c for s.
3
Suppose 8 + 12 = 4*q. Suppose z + 2*a = -3*a + 2, 4*z + q*a - 8 = 0. Let k be z/(-5) - 34/(-10). Solve 0 = -3*u + 4*y - 5 - 8, -k*u = -y + 1 for u.
1
Suppose 2*y = -5*w + 3*w + 10, 5*w = -y + 21. Let a be (3 + y)*4/(-4). Let z be (-114)/(-27) - a/(-18). Solve 5*p = 5*o - 25, -4 = -0*p + 2*p + z*o for p.
-4
Let d(j) = 8*j - 186. Let o be d(24). Let u be (-1*0/o*1)/3. Let c = 77 + -48. Solve 0 = -5*y - q - c, u*q - 23 = 3*y + 2*q for y.
-5
Let k(t) = -2*t**3 + 26*t**2 - t + 27. Let f(c) = 13*c - 104. Let i be f(9). Let w be k(i). Solve 2*j + w = 2*z, 0*z + z - 5*j - 15 = 0 for z.
5
Let b be 0/(-1 + 2) - -5. Let x be 0/(1/(3 - 2)). Suppose 0 = -5*u - x*u - d + 15, -b*d - 37 = -3*u. Solve -3*z = j + 3, 3*z + u*j = 5 + 1 for z.
-2
Let j(p) = 6*p - 14. Let w(n) = -3*n**3 - 14*n**2 + 2*n - 11. Let g be w(-5). Let q be j(g). Solve 3*o - 4*m = -0*m - 15, 4*m - q = 2*o for o.
-5
Let q(g) = g**3 - 10*g**2 + 25*g + 15. Let r be q(6). Solve -2*j = 3*t + 31 - 8, 4*j = -t - r for t.
-5
Let x be 38/12 + 1442/(-1236). Suppose 45 = 5*j - 0*j. Suppose 1 = -2*l + j. Solve 0 = -2*a - 3*d + 20, x*a - 6*a + 3*d = -l for a.
4
Let m = 182 - 176. Let k be (28/(-42))/((-2)/m). Solve 0 = -2*h - 4*u + 3*u - k, 0 = -4*h + 2*u + 4 for h.
0
Let s(t) = -19*t + 99. Suppose -187*a + 189*a - 10 = 0. Let f be s(a). Solve q = f*l - q - 16, 4*q = l - 4 for l.
4
Suppose 195*f - 200*f + 47 = -3*u, 0 = 2*f + 5*u + 37. Solve 3*v = 21*n - 26*n - 8, -2*v = 3*n + f for n.
-4
Let z = -272 + 281. Suppose 2*n = z*n + 19*n. Solve -3*i = 2*c - 1, n*c = -3*c + 3*i + 24 for c.
5
Let r(q) = q**2 - 32*q + 114. Let b be r(28). Suppose -78 = b*v - 88. Solve -2*n = l + 2*n - 13, 0 = -v*l + n - 19 for l.
-3
Let r(b) = b**3 + b**2 - 15*b + 25. Let d be r(3). Let a = 112 + -108. Suppose -4*i + 31 = -i + l, -l + 1 = 0. Solve 4*v = -t - i, 2*t - d = -0*t + a*v for t.
2
Suppose 285*y - 265*y = 40. Solve -y*i - 9 = 2*c + 3, -3*c = 2*i + 16 for c.
-4
Suppose 2*n = 7*n - 220. Let l be 27/(-6)*(-3 + n/12). Let p be (12 - l)*4/20. Solve 3*z = 4*m + 7, -3*m = -p*z + 10 - 1 for m.
2
Let x(y) = 3*y**3 + 10*y**2 - 9. Let r be x(1). Let j be (6/(-15))/((-11)/330). Solve 6*a + r*m + j = 3*a, 2*m + 6 = 3*a for a.
0
Suppose 5*p = 10, 3*l - 72 + 20 = p. Let s = -215 + 254. Suppose -s*w + l = -30*w. Solve 22 = -3*g + w*m, 2*g + 36 = 5*m + 3 for g.
-4
Let q(h) = -h**2 + 6*h + 86. Let x be q(12). Solve 2*n - 10 = -2*d + 6*d, 2*d - 4*n = -x for d.
-1
Suppose -5*s = -3*a + 624 + 221, 0 = a + 5*s - 295. Let b = 290 - a. Solve t - 3*t - 20 = -b*p, -4*t = 5*p + 10 for t.
-5
Let p(x) = -8*x - 5. Let k be p(-4). Let g be (-5 + 2)/(k/(-36)). Suppose -90 = -2*r - g*r. Solve -5*z - 5*a = -r, 5*a - 12 = 4*z + 12 for z.
-1
Let z be (-16)/4*(-2)/(-52) + (-1888)/(-104). Solve -1 = -u - 2*s, -4*s - 6 + z = 0 for u.
-5
Let r = -90 - -116. Suppose 8 - r = -a + 5*o, 0 = -3*a - 4*o + 54. Suppose 0*z = 6*z - a. Solve -5*u - 16 = 3*b - 4*b, z*u + b + 8 = 0 for u.
-3
Let f be (-3)/2 + 14/4. Let b be 10/(-5)*f/(-1). Let m(d) = -2*d**2 + 81*d - 664. Let g be m(29). Solve g*k - b*v - 2 = -4, -4*v - 6 = k for k.
-2
Let v(z) = 2*z**3 - 40*z**2 + 36*z + 43. Let c be v(19). Solve -3*r = c*h - 6*r + 30, r - 5 = 0 for h.
-3
Let v be -1 - (3 - 13 - -4). Suppose -15 = -269*g + 266*g. Solve -g*y - b + 0*b = -19, b + 11 = v*y for y.
3
Suppose -4*f - 2*h + 34 = 0, 4*f - 3*h + 21 = 5*f. Solve 2*r = 6, u - f = -10*r + 7*r for u.
-3
Let g = 4077 - 4063. Solve 0 = 4*c - p + 12, g*c - 10*c + 2*p = 0 for c.
-2
Let i = 3379 - 3374. Solve -i*s = -4*d - d, 5*s = -5*d - 40 for d.
-4
Suppose -371*k + 170 = -337*k. Solve -5*a - 3*m = -m + 31, 28 = -k*a - m for a.
-5
Suppose -94 - 10 = -13*u. Suppose -3*d - u*s = -6*s - 14, 0 = -s - 2. Solve -2*h - g - 14 = h, -3*g - d = -3*h for h.
-3
Let u(q) = q**2 + 8*q + 13. Let m be u(-8). Suppose 3*f + 2*n + 6 = 0, 5*n + m + 2 = -2*f. Solve 0 = -5*y + 2*y - g - 9, f = -2*y + 3*g - 17 for y.
-4
Let x = -7744 + 7753. Solve -x*i = -4*i - 2*c, 2*i - 3*c = 0 for i.
0
Let v be -1 - (-31 - (1 - 1)). Let g(k) = -k**3 + 7*k**2 + 77*k - 17. Let h be g(13). Let y = h + v. Solve y = -i - 2*t + t - 2, -2*i = 4*t + 14 for i.
3
Suppose -3222 = 24*v - 3438. Solve -v*k = -14*k - 5, k = 3*z + 14 for z.
-5
Suppose 0 = 30*b - 40*b + 20. Suppose 2*y - 16 = -b*y. Solve 0 = -3*n + d - 6*d + 2, -20 = -y*n + 2*d for n.
4
Suppose 0 = -2*r - w + 3*w - 24, -20 = -4*w. Let t be (15/(-5) + 6)*r/(-21). Solve 4*h - 2*l + 3 = -t, -2*h + 5*l = -14 for h.
-3
Suppose 4*p - 11 = -7. Let n be (-36)/(-18)*p/1. Suppose 0*v + 21 = 3*v. Solve -n*j + 4 = -3*u - v, -5*u = j + 14 for u.
-3
Let v(s) = 36*s - 106. Suppose -50 = -4*g - 38. Let c be v(g). Solve 5*d - 8 = -4*j, 5*j + 17 = c*d + 2*j for d.
4
Let d(q) = -87*q - 1823. Let b be d(-21). Solve -2*l + b*f + 12 = -0*l, -4*l - 3*f = 9 for l.
0
Suppose -2*l - 3*j = 2, 0 = -4*l - 2*j + 6 + 6. Let s(k) = -14*k - 86 + 4*k - 4*k + 3*k. Let v be s(-8). Solve 1 - 3 = v*g - 4*a, -l*a = 3*g - 8 for g.
1
Suppose 0 = 212*w - 1718 - 1038. Solve -22*r = 3*f - 17*r + w, -f = -4*r - 24 for f.
4
Let g = 637 + -439. Let a = 214 - g. Solve -4*o - f + 1 = -a, 15 = -5*f for o.
5
Suppose f = -9*f + 60. Suppose i - 5*x - 25 = 0, -47 = -5*i - 4*x + 3*x. Solve -5*y = 4*s + i, -3*y - f + 0 = 0 for s.
0
Let w(x) = 0*x - 9*x - x + 62 - 5*x. Let c be w(4). Solve 3*j - 10 = -2*g, -c = -2*j + 4*g + 10 for j.
4
Let k be 30/(-15) + -12 + 1. Let m = k + 43. Suppose -5*q = 4*b + 5, -2*q - m = -2*b + 2*q. Solve n + 4 = -r + 3, -b*r - n + 3 = 0 for r.
1
Let i(z) be the first derivative of -3*z - 1/3*z**3 + 9/2*z**2 - 9. Let k be i(8). Solve -4*j + 29 = -k*a, -3*a - 5*j = -3 + 13 for a.
-5
Let j be 4*1 - ((-420)/(-12))/(-35). Let z be 3/(-5) + (-4)/10. Let f = 5 + z. Solve -f*y - 5*q + 13 = 0, 0 = j*y - 10*q + 5*q - 5 for y.
2
Let v(w) = -2*w + 45. Let c(i) = -i + 21. Let j(g) = 5*c(g) - 2*v(g). Let a be j(11). Solve 3*o = 5*x - x + a, -5*o - 12 = -2*x for x.
-4
Let w be (-12 - (-10 - 12)) + -7 + 0. Solve -2*y + 4*b + 38 = 34, -5*y = -3*b - w for y.
0
Let g = 72 + -68. Suppose -4*k - 18 - 14 = -3*a, 0 = -g*k - 20. Suppose -5*o - 18 = -a*h, -3*h = -5*o + o - 14. Solve -4*u - 4 = -6*s + h*s, -5*s = -4*u for s.
-4
Suppose 5*s = -3*z + 7*z + 25, 3*z + 25 = 5*s. Suppose s*h + 4 = 24. Suppose -h*g + 1 = -15. Solve 0 = 4*a + 12, -g*u - 3*a = -7*a - 32 for u.
5
Suppose -449 + 44 = -27*o. Let f(x) = x**3 - 14*x**2 - 15*x + 2. Let m be f(o). Solve -3*z - 3*a + 14 = -m*z, 0 = z - a + 2 for z.
2
Let f be (25/(-10) - -4)*100/15. Let s 