- 20, 5*z + 4*t = c*z + 23. Solve -5*n = 5*l - 10, -z*n + 4*l - 1 = -0*n for n.
1
Let d(z) = z**3 - 2*z**2 - z + 2. Let l be d(0). Suppose -5*b = l*g - 3*g + 2, -2*b = 0. Suppose 0 = -4*y + 15 - 3. Solve 0 = -y*t - t - g*w, -2*w = -t for t.
0
Let v = -2771 - -2774. Solve -a + 0 = -y + 1, -5*y + 7 = -v*a for y.
2
Let d(y) = 10*y**2 - 497*y - 149. Let a be d(50). Solve 3*f - 7 = 5*z + a, 0 = -4*f + 5*z + 4 for f.
-4
Suppose 0 = -124*p + 4973 - 4477. Solve 0 = -2*x - 13*u + 11*u + p, -5*x - 4*u = -13 for x.
5
Let x = -2537 + 2710. Solve -x*v + 3*n - 23 = -178*v, -22 = -4*v - 3*n for v.
1
Let h = -185 - -128. Let j = -56 - h. Solve 5*g + 6 = 2*x, -5*g = -x + 4 - j for x.
3
Let w(a) = 4*a + 21. Let f be w(33). Suppose -129 + f = 6*r. Solve 4*h + r*n - n + 12 = 0, 15 = -5*h + n for h.
-3
Let g(r) be the first derivative of -r**4/4 + 8*r**3/3 + 7*r**2/2 + 28*r + 59. Let d be g(9). Solve 4*k - 6*k - 8 = 0, -4*k = 3*a + d for a.
2
Let h(y) = 19*y. Let o be h(3). Suppose -4*w + o = 169. Let b be (4/w)/(2/(-14)). Solve -12 = 3*g, -b = j + g + 7 for j.
-4
Let v(d) = -13*d**3 + 4*d**2 + d - 2. Let s be v(-1). Suppose -22*r + 8*r = 10*r. Solve s = -r*x + 2*x + 4*z, 5*x + 3*z = 0 for x.
-3
Suppose -2*q + 8 = x, -5*x = -q - 19 - 43. Let p(h) = 4*h - 46. Let c be p(x). Solve -c*y = 4*r - 22, 2*y - 2 = 4*r - 4 for r.
3
Let b = 6077 - 6072. Solve b*o = -5*a - 15, 0*a - 4*o - 12 = -3*a for a.
0
Suppose 15 = -4*d + 23. Suppose 42 = -d*g + 4*g. Suppose -5*b + 13 = -3*j, 0*b = -4*j - b + g. Solve 2*n + n - 7 = 4*v, -j*n - 4*v = 28 for n.
-3
Let t = 257 - 242. Solve -10 - 2 = -2*u - 2*j, 0 = 3*j - t for u.
1
Let c = -3 + 8. Let z be (-1 - (-2)/4)/(6/492). Let k = z - -46. Solve 7 = b - f, -6*f = c*b - f - k for b.
4
Suppose -4*n + 550 = -3*j, 8*j - 3*j + 913 = 3*n. Let t = j - -185. Solve -t*o + 2*w = 5*w + 18, o + 4*w = -18 for o.
-2
Let m = -44 + 42. Let l = 20 - m. Suppose 5*n - 28 - l = 0. Solve 3*s + n = 5*z, -4*z + 2 = 3*s - 6 for z.
2
Let z = 1 + 2. Suppose 2238 = -8*m - 2050. Let j = m + 540. Solve 13 = j*f - 5*v, 2*f + f = -z*v + 3 for f.
2
Let r = 6325 + -6323. Solve 3*x = 10*p - 8*p + 2, -2*x - 2 = r*p for x.
0
Let n be (-21)/(-15) + (-4)/10 - -13. Let r be 0*3/9 + -11. Let d = n + r. Solve 4*i + 12 + 2 = -2*g, i + d*g + 11 = 0 for i.
-2
Let h(s) = -123*s - 611. Let f be h(-5). Solve 0 = 3*w + 5*o - 20, -f = -2*w + 4*w - o for w.
0
Suppose 2*w + 69 = -5*a - 206, -3*w = 4*a + 395. Let f = w - -128. Solve 15 = 6*j - 2*j + b, -f*j = -b - 13 for j.
4
Let t(r) = -77*r - 2462. Let m be t(-32). Let o = -7 - -6. Let k be (o - -1)*1/2. Solve -2 + 1 = 3*g - m*b, 3*g + 2*b - 19 = k for g.
3
Suppose 0 = 9*k - 14*k - 17*k + 220. Solve -5*g + k = -5*d, 3*d + 9 = -g + 7 for d.
-1
Let v(t) = t**3 - 26*t**2 + 86*t + 48. Let y be v(22). Solve -4*p = y*s + 4, -7*s + 11*s - 2*p = 2 for s.
0
Let s be 1/(-1)*-1 - -11. Let d = -2499 + 2515. Suppose d*g - s*g - 60 = 0. Solve g = 3*b, -4 = -2*c - 2*b + 10 for c.
2
Suppose b - 11 + 8 = 0, 2*f = -5*b + 17. Let y be (f/2)/((-5)/(-20)). Solve 0 = y*n, 0*d - 10 = -2*d - 2*n for d.
5
Let n be (((-100)/(-30))/(-5))/((-1)/3). Suppose f + f = 0. Solve 5*q = n*c - 20, -4*c - 2*q - q - 12 = f for c.
0
Let w(i) = -6*i**3 - 3*i**2 - 15*i - 11. Let d be w(-1). Solve 29 = -5*v + 3*r, 0 = -d*v + 12*v - r + 23 for v.
-4
Let x(m) = m**3 + 7*m**2 - 13*m - 36. Let k be x(-8). Let l = 74 + -74. Solve 0 = -4*b - k*q, -3*q + 10 = b - l for b.
-5
Let a(j) = j**2 + 6*j + 9. Let z be a(-7). Suppose z = -9*y + 34. Solve -t - 8 = -y*k + 6*k, -2*k + 3*t = 4 for k.
-2
Let y(u) = -102*u + 11. Let l be y(1). Let o = -87 - l. Solve 0 = -2*c - o*q + 4, -2*c = -q + 4*q - 4 for c.
2
Let v be -2*4/4 - 8/(-2). Suppose 3*k = -4*q + 37, -4*k + v*q = 6 - 48. Solve -o - 26 = -5*i, -3*o + 6 = 4*i - k for i.
5
Let g(z) = 28*z - 112. Let r be g(4). Suppose 0 = 4*c - r - 20. Solve 4*a = 2*u - 2 + 22, c = -a - 2*u for a.
3
Let t = -1139 - -1144. Solve -2*c + t*z - 40 = 3*c, 9 = 2*c + 3*z for c.
-3
Let v = -8922 + 8924. Solve -2*k = v*p + 6, 46 = -5*k + 26 for p.
1
Suppose -2*r + 6*r = 44. Suppose 12*h - r*h + 32 = 0. Let y = h + 32. Solve -5*n + 5*o - 5 = 0, y*n - n - 17 = 3*o for n.
-5
Let z = 61 - 57. Suppose 16 = z*p - 0. Suppose -5*u - 5*k = -40, -6*k + p = u - 7*k. Solve j + m - 2*m = -u, -j - 2*m = -6 for j.
-2
Let y(w) = w**3 + 10*w**2 + 7*w + 10. Let i be y(-9). Let z = 33 - i. Let g = -5 - -8. Solve 4*v = g*t - z, -1 = 2*v - 3 for t.
3
Let w(f) be the second derivative of f**4/6 - 40*f**3/3 + 3*f**2 - 5*f - 6. Let p be w(40). Solve -2*b + 1 = -j, -p*b = -b - 5*j + 10 for b.
3
Let y = 8598 - 8593. Solve -y*g - 19 = -p + 16, 2*g + 32 = 4*p for p.
5
Suppose 4*s - 25 = 3*s + 3*y, -y = 2*s - 71. Let f = s + -25. Let i be 36/42*(-3)/(f/(-14)). Solve -i*z + 4 - 15 = -3*a, 22 = -5*z + a for z.
-5
Let d(q) = q + 4. Let n(c) = 2*c + 8. Let a(s) = -5*d(s) + 3*n(s). Let g be a(3). Suppose 968 = 188*v + 404. Solve 0 = j - 4*p + 1, v*j - 5*p = g*j + 4 for j.
-1
Suppose -s + 3*k = -12, -6*s + 2*k = -2*s - 8. Suppose s*b - 4*t = 4*b - 4, 0 = 3*b + 4*t. Solve 2*z = 5*y - 2*z + 21, -12 = -b*y - 4*z for y.
-1
Let h be ((-12)/(-16))/(235/940). Suppose -k - 2*c - 12 = 0, 2*c = k + 4 + 8. Let x = k + 17. Solve x*r + 13 = h*a, -a + 3 = r + 4 for a.
1
Let y(t) = -t + 6*t**3 - 5*t**3 + 7 - t**2 - 4*t**2 - 4*t**2. Let d be y(9). Let q be d - (-2 + 1 - 2). Solve -10 = -5*u, 0 = 2*w - 5*u + q + 3 for w.
3
Suppose z = 4, 3*k + 3*z = 5*z - 2. Let j be (-18 + 19)*(0 + -18)/(-2). Let a be (-81)/(-36)*12/j. Solve 4*o - k*c = -18, -a*c + 9 = -3*o - 3 for o.
-5
Let s(y) = 2*y**3 + 6*y**2 + 3*y + 5. Let x be s(-3). Let g be x - (65/(-5) - -5). Solve -4*j = 0, -f + 11*j = 6*j + g for f.
-4
Let x(t) = t**2 + 54*t - 871. Let r be x(13). Solve 4*l + 4*p - 16 = r, 24*l - p = 28*l - 4 for l.
0
Let a = 381 - 592. Let z = a + 215. Solve 4*q + t + 6 = 0, -z*q + 5*t - 14 = -2*q for q.
-2
Let i = 71 + -55. Let q be ((-14)/(-56))/(-2 - (-34)/i). Solve 0 = -w - 5*m + 23, 3*m = -q*w + 21 - 3 for w.
3
Let r be -1 + (-7)/(-2) + ((-455)/(-26) - 17). Solve -5*a = 2*s + 24, -s + r = -5*a - 0 for s.
-7
Let g be (22/(-99) + 77/(-18))*-4. Suppose -42*v + 180 = g*v. Solve -v*w = 4*i - 4, -w - 2*w - 28 = -4*i for w.
-4
Let y = -3444 - -3459. Solve 3*i = -y, -5*i = 4*q + 10 + 15 for q.
0
Suppose o - 4*a + 44 = 2, -12 = -4*a. Let m be (-10)/(-3)*(-36)/o. Suppose 13*x - 12*x = 0. Solve 0 = g - 3*g - 4*t - 2, x = -m*g + t - 4 for g.
-1
Suppose 5*f - 10 = -5*w, 7 = f + 6*w - 10*w. Suppose 5*x + 5 = -0*x + h, -f*x - 5 = -h. Solve x*q = -q - p + 2, 3*p - 11 = -4*q for q.
5
Let x(c) = -3*c**2 - 233*c + 319. Let t be x(-79). Solve -42*b + 11 = -44*b - t*a, 2*b + 5 = -a for b.
-1
Let z be (-3 - -4)*-1 + -1 + (4 - 2). Let t = 7 + -10. Let m = t + 8. Solve z = -3*f - 4*n + m - 21, 4 = 3*f - n for f.
0
Let v = 443 - 448. Let x be v*22/(-55)*(-5)/(-2). Solve 13 = -y + 3*t, 2*t - x = 3*y + 13 for y.
-4
Suppose -5*k - 2*r + 182 = 0, 0 = k - 6*k + r + 194. Suppose -u = -43 + k. Solve u*q = a - 2*a + 6, -2*a - 12 = -2*q for a.
-4
Suppose -24*p + 90 = -18*p. Suppose 300 - 420 = -p*s. Solve 3*o + 7 = 3*r - s, r + 5*o = 5 for r.
5
Let d = 13978 - 13973. Solve -2*p - d*w + 2 = -5, 5*w = p + 19 for p.
-4
Suppose 25*m - 928 = -878. Let k be (-2)/8 + 41/4. Suppose -k = -0*c - c. Solve -o - 4 = y, c = -o - m*o - 2*y for o.
-2
Let f(r) = -4*r - 31. Let s be f(-9). Let z be 4/14 + (-96)/42 + s. Suppose -11*h = z*h - 28. Solve -4*g = 2*d + h*d + 24, 0 = 2*d + 4*g + 16 for d.
-4
Let p be ((-1)/(-12)*56)/((-2)/(-15)). Solve 3*w + p*v = 34*v - 8, 3*w = -4*v + 4 for w.
-4
Suppose 0 = -5*i + 3*f + 184, -107*i - 24 = -109*i - 5*f. Solve -12 = 5*k + 2*z + 2, -i = 5*k - 4*z for k.
-4
Let g(z) be the third derivative of 0*z - 8*z**2 + 10/3*z**3 + 0 + 5/12*z**4 + 1/60*z**5. Let r be g(-8). Solve 0*a + 2*a + r*m - 28 = 0, -m + 13 = 2*a for a.
4
Suppose 0 = 2*o + 2*z - 12, -4*o + 2 = z - 7. Let m be (0/2 + o)*-41. Let t = 45 + m. Solve -x + t = -i, 4*x - 17 + 1 = -3*i for i.
0
Let z = -560 - -545. Let a be 81/(-45)*z/9. Let y = 3 + -1. Solve g = -0*g + y*q - a, 21 = -4*g - q for g.
-5
Suppose 80*d - 107*d = -81. Solve d*w + 0*w - 14 = 5*l, -w - 4*l = 1 for w.
3
Let g = 5129 + -5125. Solve -3*p = -g*u - 29, 0*u + 3*u = -5*p for p.
3
Let o(i) = 6*i**2 - 2*i - i**2