*u - 16*u - 15 for z.
1
Let y(u) = u**3 + 81*u**2 - 10*u - 804. Let r be y(-81). Solve 0 = 2*b - 4*s - 4, -5*b - 5 = -r*b - s for b.
4
Let z be 0 + 2 - 57*-1. Let b = z + -39. Suppose -3*v + b = 2*v. Solve -2*j - 7 = -3*j - 4*a, v*j - 9 = 3*a for j.
3
Suppose 0 = 2*r - r - 2. Let w be (-12 - -7)*-1*(-2)/(-2). Suppose 5*t - 5*j = -w, 6*j = 3*t + 8*j - 2. Solve -3 = d - t, r*u - d + 3 = 0 for u.
-3
Suppose 41*b + 35 = 43*b - l, 5*l = 5*b - 95. Suppose -4*h + 5 = -11. Solve u + h*f = -b, 5*u - 5*f + 7 = 2 for u.
-4
Suppose -26 = -19*v - 3*v + 40. Solve -4*x = v*n - 6, -15*x - 4 = -11*x - 2*n for x.
0
Suppose -2*b + 4*v = 291 + 377, 3*b = 4*v - 996. Let d = -328 - b. Solve -4*y + d*o + 4*o = -24, 3*y - 4*o - 20 = 0 for y.
4
Let c be (32 + -38)*20/(-6). Suppose 3*y = c + 16. Solve 2*w + 4*x = y, 4*x = 4*w + 14 - 2 for w.
0
Let u be -20 - -22 - (0/2 - 18). Suppose u*c - 6 = 17*c. Solve -c*y = h, -2 + 1 = -5*y - 3*h for y.
-1
Let k = 0 - -2. Suppose -7*f + 9*f = 2*g - 8, -2*g = 0. Let o be f*(-16 + 14) + 0 + -4. Solve t = -o*p + 21, k*p = 5*t + p for t.
1
Suppose 0 = 783*r - 6*r - 18906 - 1296. Solve 0 = 4*v + 2*g, -28*g + r*g = -3*v + 14 for v.
2
Let h be (-2)/3 - 22/(-6). Suppose 5*k + 0*l = l + 83, 0 = 4*k + 2*l - 72. Suppose k = 12*s - 7. Solve -2*v + 3*b = s*b - 1, 3*b = -v - h for v.
0
Let s(c) = 0*c**2 + 46 - 9*c + 11 - 17 - c**2. Let l be s(-12). Solve -f - 2*p + 18 = 3*f, -l*p = -12 for f.
3
Let l be 4*(-42)/(-49) + (-120)/84. Solve -2*c + 11*d = 7*d - 16, l*d = -c - 12 for c.
-2
Let s = 2684 - 2684. Solve t + s*l = 5*l - 9, l + 9 = 2*t for t.
6
Suppose 23 = -26*i + 127. Solve 3*x - 4 = i*t + t, -x + t = 0 for x.
-2
Let k be (-6)/54 - 73/(-9). Solve 0 = -5*j + 4*s + 33, s = -31*j + 29*j + k for j.
5
Let a(v) be the third derivative of -v**6/120 - 5*v**5/12 + 23*v**4/24 - 19*v**3/2 + 149*v**2. Let q be a(-26). Solve -q = -2*g + 5*g - 3*l, -2 = -l for g.
-5
Let t be ((-1)/(-3))/(2/18) - -3. Suppose -t*f + 78 = -0*f. Let o(w) = -2*w + 29. Let s be o(f). Solve 5*a - 33 = -4*c, -2*a + 1 = -3*c - s for c.
2
Suppose 4*u + 181*i = 178*i + 13, 0 = -3*u - 4*i + 8. Solve -m + 2*g = -u, -3*m = 5*g + 26 + 6 for m.
-4
Let h(g) = -12*g**2 - 10*g + 3. Let n be h(-7). Let i = 537 + n. Solve 0 = m + 2*o + 1, -2*m + 4*o + i = -0*o for m.
5
Suppose -14*o - 28 = -21*o. Suppose o*n - 9 = -1. Solve 6 = -n*d + 4*d + 4*j, 5*d + 3*j = -13 for d.
-5
Suppose -56 = -m - 4*h - 6, 0 = -4*h + 16. Suppose -3*s + m*s - 403 = 0. Solve -2*n = n + 5*z - s, -10 = -2*n - 4*z for n.
1
Let c(f) = 12*f - 706. Let w be c(59). Solve -5*g = 5*k - 20, 0 = -2*k - w*k + g + 21 for k.
5
Let t = 63 + -65. Let k be ((-9)/(19 - -8))/(t/102). Solve 0 = 4*c - 5*f - 9, -c + 4*f + k - 1 = 0 for c.
-4
Suppose 13*l - 22 = 69. Suppose l*c - 5*c = 6. Solve -5 = -c*a - 4*h, -h = 5*a + 4*h for a.
-5
Suppose 3*n + 2*b = 619 + 520, 0 = -n - 5*b + 397. Let u = n + -370. Solve 3*c - 18 = 2*z - u*z, -c = -1 for z.
3
Let r be (-20)/(-3)*153/34. Let v be (-56)/(-14)*(r/(-8))/(-3). Solve 2*w = -3*h + 5 + 4, -v*w + 3*h = -12 for w.
3
Suppose -33*p + 53*p = 100. Solve 4*a - a = 4*f - 10, -3 = p*f + 4*a for f.
1
Let v(a) = 2*a**2 - a. Let j be v(-1). Suppose -3*t = 3*u - 24, -2*u - 6*t = -t - 4. Suppose -20*d + u = -16*d. Solve 2*s = 2*r - d*r + 11, j*r - 9 = 0 for s.
4
Suppose 0*x + 4*x = 0. Suppose 3*s + 3*h + 3 = 0, -s + 2*h + 0*h = -2. Let b be (-4)/9*((-108)/(-27) - 13). Solve -2*f = -z - 9, -b*z + x*z + f - 1 = s for z.
1
Let l = -397 + 222. Let c be l/(-42) + (10/12)/(-5). Solve -c*u = -m - m - 26, 5*u - 40 = 5*m for u.
5
Let h = 9358 + -9354. Solve t - h = -3*w, 2*w - 11 = -0*t + t for w.
3
Let m(i) = 293*i - 1755. Let v be m(6). Solve 2*o = 4*c, 4*o = 3*o - v*c for o.
0
Let j(g) = 129*g + 645. Let h be j(-5). Solve h*c = 2*d + 3*c + 10, d + 5 = -2*c for d.
-5
Let i = 8351 - 8348. Solve i*c - 9*a - 2 = -4*a, -2*c - 5*a + 18 = 0 for c.
4
Let y = -286 - -566. Suppose -284*g + 8 = -y*g. Solve k + g*k - 17 = w, 8 = -4*w for k.
5
Let k(q) = -22*q**2 - 67*q + 1. Let s be k(-3). Solve 10*p - 5*p + 3*r = 23, -2*p + 4*r = -s for p.
4
Let q = 76 - 60. Suppose -q*r = -3*r + 91. Let a = 10 + r. Solve 4*u - 2*s - 4 = 2, -a*u - 2*s - 6 = 0 for u.
0
Let q = -112 + 115. Suppose p + 4*m - 26 = q*p, -3*m + 7 = p. Let y be (6/p - 0)/(10/(-25)). Solve -3*s - 3 = 12, 4*z + y*s = -27 for z.
-3
Suppose 0 = 7*d - 6134 + 6064. Solve 13*p - d*p = 3*t + 6, -30 = -5*t - 5*p for t.
2
Suppose -2*l + r + 147 = 0, 5*l - 3*r - 248 = 118. Suppose -12*z - 3*z = -l. Solve -5 = -3*k + z*o - 25, -2*o = 4*k + 18 for k.
-5
Let a be 1 + -3 + (-2 - -2). Let v(q) be the first derivative of q**3/3 + q**2/2 + 3*q - 1172. Let n be v(a). Solve 0 = -n*d + o - 3, 4*d + 10 + 0 = -3*o for d.
-1
Let u(k) = -k**3 + 14*k**2 + 14*k + 17. Let w be u(15). Suppose -2*v + 5 = 3*l, -15 = 16*l - 15*l + 4*v. Solve -l*s - 7 = -3*h, s - w = 4*h - 0*s for h.
-1
Suppose 22*g - 52 = 107 - 71. Solve -g*y + 3*o + 20 = 0, -4*y + 20 = 52*o - 54*o for y.
5
Let c = 420 + -407. Solve -2*b - 7*o - c = 0, -45*b = -49*b - 4*o - 16 for b.
-3
Let q = -19472 + 19472. Solve -4*v + 8 = q, -2*o - 15 + 5 = -4*v for o.
-1
Let u(x) = -x**3 + 4*x**2 + 4*x - 12. Let s be u(2). Solve 14*i - 11*i - 4*n - 12 = 0, 16 = s*i - n for i.
4
Suppose 17*r + 108 = 57. Let q be (84/20 + r)/((-2)/(-15)). Solve 0 = 3*p + 5*d - 6, q = 6*d - 3*d for p.
-3
Let t = 825 - 573. Suppose 257*f = t*f + 120. Solve m + 3*v - 12 = v, -m = 5*v - f for m.
4
Suppose 2*n = c + 4, 0*n + 3*n + 4*c - 17 = 0. Let p = 39 + 15. Let h be (4/6)/(6/p). Solve -2*i - a + 7 = 0, -n*i + i - 2*a = -h for i.
4
Let q(f) = 5*f**2 + f + 1. Let m be q(-1). Let j(n) = -3*n + 2. Let l be j(-2). Solve 0 = m*z - i + 17, -4*z - 5*i + l*i - 7 = 0 for z.
-4
Let r(k) = -k**3 + 12*k**2 + 13. Let n be r(12). Suppose n*y - 12 = 9*y. Let a be (6/(-3) - 2)/(-1). Solve 5*b = -g - 3, -y = g + a*b - 3*b for g.
-3
Let y = 127 + -134. Let f be (15 - 32/8) + y. Solve t - f = 2*w - 7, -4*t - 4*w = -24 for t.
3
Let j = 5432 - 5430. Solve -b - 7 = -k + 2*k, 9 = -j*b - k for b.
-2
Let j = 2 + -1. Suppose -120 - 342 = -193*i - 76. Solve -5*p = 3*z - 21, -2*p + j + 1 = -i*z for p.
3
Let b be ((-9)/2)/((-1)/2). Let a = 25121 + -25118. Solve -a*x - t = -0*x + b, 0 = -3*x - 5*t + 3 for x.
-4
Let x be (38/(-16) + 2 - (-147)/392) + 2. Solve 4*b - 16 = x*l - 10, 0 = 3*b - 4*l + 8 for b.
4
Suppose -2*q + 61 = 43. Suppose 0 = q*j - 18 - 0. Suppose -l + 1 = -1. Solve -2*a - 3*h = l*a + 13, -3*a - j*h - 9 = 0 for a.
-1
Suppose 0 = -18*z + 50 + 40. Suppose 6 = -x - 4*m, 17*x + 20 = 22*x - z*m. Solve -g + 5 = -x*r, -3*g - 10 - 3 = r for r.
-4
Let n(w) = 2*w**2 - 4*w - 26. Let p be n(6). Let k be (-23 + p)/(1/(-3)). Solve -2*y - 3*f = -9, k*y + 4*f + 3 = 5*f for y.
0
Let y = 20 + -17. Suppose -i - 2*i - 4*t + 41 = 0, -y*i + 4*t + 73 = 0. Solve -g - g + 5*s - 33 = 0, 3*s - i = g for g.
-4
Let p be 0 - (20/(-35) + 134/14). Let x be 6 - (2/p - (-33)/27). Let w be x*((-3)/(-2))/((-15)/(-10)). Solve -2*r + 0*h + w = -h, r = -3*h + 20 for r.
5
Let g(z) = -z**2 - 32*z - 94. Let k be g(-28). Suppose -5*d - k = l, -5*l + l + 3*d + 20 = 0. Solve -r - 4*j + 18 = -3*r, l*r = -5*j + 9 for r.
-3
Let n be ((-23)/(-115) - 72/10) + 10. Solve n*m - 4 = 8*m + y, -3*m - 16 = 4*y for m.
0
Let v = -5991 - -5993. Solve -3*z + 5*l = -8*z - 25, -l + 10 = -v*z for z.
-5
Let h be (-375)/(-10)*(-2)/3. Let b = 13 - h. Let x = 41 - b. Solve s - 4*c + 24 = 0, x = -s + 2*c - 11 for s.
-4
Suppose 20*i - 21*i - 145 = -4*b, -5*b + 200 = -5*i. Solve -2*q + b = -3*a - 2*a, -10 = -3*q - a for q.
5
Let c(j) = -j**3 - 19*j**2 + 5. Let y = 88 + -107. Let h be c(y). Solve r + 3 = 0, k = -h*r - 7 - 5 for k.
3
Let w = -3 + 3. Let v(a) = 4*a**3 - 3*a**2 - 5*a - 6. Let s be v(-2). Let i be ((-1)/(-1))/((-8)/s). Solve -2*y = -i*x - 9 - 0, -2*y - 2*x - 12 = w for y.
-3
Suppose -13*o + 5502 - 5437 = 0. Solve -5*t - 3*q + o*q + 11 = 0, -3*q = 3*t + 6 for t.
1
Let q(w) = -6*w + 7. Let j be q(-3). Suppose -25 = -5*g + j. Let s(y) = -7*y**2 - 25*y. Let r be s(-3). Solve g = -3*o - 2*d, -2*o + 7*d - r = 3*d for o.
-4
Let c be (-24)/(-3) + -4 - 34/(-2). Let l(r) = r**3 - 22*r**2 + 24*r - 50. Let x be l(c). Solve -2*j = -5*q + x, -3*q - q = -2*j - 10 for j.
1
Suppose 2*y + 4*w - 56 - 30 = 0, -3*w + 88 = 2*y. Let g = -10 + y. Le