 = -2*s - 23 for s.
-4
Let a be 10 + ((-4)/6)/((-2)/6). Suppose -a*s + 9*s + 39 = 0. Let h be (2/4 + 0)*320/16. Solve -2*n = 3*b - h, 3*b + s = 5*b - 5*n for b.
4
Let u(f) be the first derivative of -4*f**3/3 - 83*f**2/2 + 25*f - 35. Let v be u(-21). Solve 16 = -4*g - 0*g - 5*m, 16 = -v*m for g.
1
Suppose 107*w = 114*w + 14. Let a be 6 + (-84)/45 - w/(-15). Solve j = 3*h - 1 + a, j + 5 = -5*h for j.
0
Let s(f) = -f**3 - 20*f**2 - 18*f + 11. Let r be s(-19). Let n be (3 - 10)*r/14. Solve n*h + 4 = 3*c, -2*h + h - 1 = -5*c for c.
0
Let f be 18 + -1 - (-80 - -97). Solve f*m - g + 9 = -m, 0 = -m - 11*g + 51 for m.
-4
Suppose 2*l = 5 + 1. Suppose 0 = 283*d - 487 - 441 - 204. Solve d*c = 2*g + 22, -5*g = -4*c + 28 - l for g.
-1
Let n be 0/((-3)/6*2). Let y(f) = 13*f + 20 - 19 - 10*f. Let v be y(0). Solve n = -g + 3, -h + 4*g - 10 = -v for h.
3
Let z(q) = -q**3 + 5*q**2 + 5*q + 10. Let y be z(6). Solve -2*o = -3*b + 7, b + y*o = 13 + 8 for b.
5
Suppose 0 = 2709*c - 2700*c - 72. Solve -c*a + 9*a = 2*o - 1, 0 = 2*a - 3*o + 1 for a.
1
Let r = 14 + -9. Let y = 152 + -112. Suppose 93*s + y = 101*s. Solve 2*t + 8 = -a - r, -s*t - 35 = 3*a for a.
-5
Let j(r) = 213*r - 213. Let f be j(1). Solve f = -4*x + 2*c - 4 - 10, -4*x - 4*c = 32 for x.
-5
Suppose -5*f - 3*m + 5 + 85 = 0, -5*m - 5 = -2*f. Suppose 0 = 29*r - 6*r - 92. Solve -r*i = -h - 10, -2*i - 5*h + f = -1 for i.
3
Let a(w) = 943*w + 943. Let f be a(-1). Solve -2*o + 2*j + 14 = 2*o, -5*o - j + 28 = f for o.
5
Suppose -3*y + 1 = g - 4*y, -3*g = 3*y - 15. Solve 4*p + g*h = -11, -2*p + h = -p + 1 for p.
-2
Let p be (1 - 67/(-2))*2. Let w be (-3 - 132/(-55))*-10. Suppose -3*r - 69 = -w*k + 3*k, -3*k + 5*r = -p. Solve -k = -5*y + x, -y + 5*x - 4 = -23 for y.
4
Let r(n) = n**2 + 5*n + 5. Let d be r(-3). Let k be 0/(d/(-1) - 2). Let i = -25 - -25. Solve i*v - 2*g + 7 = v, -2*v + 4*g - 2 = k for v.
3
Suppose 4*s = -5*g - 3, -5*s - 44*g + 9 = -42*g. Suppose 4*x = -s*i + 2, 0 = -i - i + 4*x + 8. Solve -5*f = -3*v + 27, 3 + i = -3*f - v for f.
-3
Let h(r) = 126*r. Let a be h(-1). Let k = -121 - a. Solve 5*z = -4*n - 12, -k*n + 0*n - 15 = z for n.
-3
Let q be 0/((-17)/(14 - -3) + 1*3). Solve 37*c - 39*c - 12 = -4*u, q = 5*u - 25 for c.
4
Let o be (1136/(-426))/(2/(-3)). Solve 0 = -b - 2*q + 6*q - 21, -o*q + 36 = -4*b for b.
-5
Let q = -204 - -97. Let p = -101 - q. Solve 0 = l - t - 4, t + 6 = 5*l - p for l.
2
Suppose -10*s + 78 = -712. Let p = s + -74. Solve q - 2*z - p = 0, q - 3*q - 5*z = 17 for q.
-1
Let h(u) = 10*u - 37. Let n be h(14). Let y = 108 - n. Solve 2*r - 8 = 0, -q + 0*q + 16 = y*r for q.
-4
Let t = -367 + 386. Solve t = -5*l + m, -5*l - 48 = 2*m - 26 for l.
-4
Suppose 3 = -11*b + 12*b, -4*b = -3*t - 12. Suppose 2*f + v = f + 15, 2*f + 4*v - 40 = 0. Solve 2*d + 3*p - f = t, d + 3*d - 4 = 2*p for d.
2
Suppose 3*k - 5*r = -2*r - 6, -5*k + 30 = 3*r. Suppose 16 - 31 = -k*u. Solve 3*a - 1 = -g + u, 18 = 2*a - 4*g for a.
3
Let o(c) = 21*c**2 - 6*c + 10*c + 3*c + 63 - 22*c**2. Let h be o(12). Solve w - v - 6 = h*v, 4*v + 4 = 0 for w.
2
Let g(i) = i**2 + 144*i - 1053. Let u be g(7). Solve -z - 5*v - 52 + 71 = 0, 4*v = -u*z + 28 for z.
4
Suppose 26*o - 65*o = 6825. Let p = o - -177. Solve -2*g = g - p*a + 7, -4*g - 2*a = 0 for g.
-1
Let v be ((-1)/6 - 32/(-48))*10. Solve -20 = v*z + 5*m, -27*m + 32*m - 20 = 3*z for z.
-5
Let b(i) = -8*i + 75. Let s be b(8). Suppose 32 = -s*c + 13*c. Solve -t = -3*r - 12, -4*r - t = -4*t + c for r.
-4
Let o(j) = 534*j - 72 - 512*j - 34. Let q be o(5). Solve -11 = 4*p + m + 7, 4*m = -q*p - 12 for p.
-5
Let j(v) = -v**3 - 18*v**2 + 71*v + 4. Let r be j(-21). Let w = -154 - r. Solve 3*y + w = -m - 3*m, 3*m + 5*y + 2 = 0 for m.
-4
Suppose 5*u = -2*a - 3, 3*a - 3 = -5*u + 5. Suppose -16*i = a*i - 297. Solve k - i = r + 2*r, 0 = 4*k - 5*r - 30 for k.
5
Let i(h) = 6*h + 36. Let a be i(-8). Let q be (15 - 12)/(2 - (-22)/a). Solve -15 = 5*w, -w = -3*f - 2*w - q for f.
-5
Suppose -m = -4*c - 6, -4*m - 5*c + 8*c + 24 = 0. Let n be 2 + -1 + 6/m. Solve -2*j = 3*k + 2 + 3, n*k = 5*j - 35 for k.
-5
Suppose 0 = -k - 3*a - 8, 24 = 4*k - 2*k - 4*a. Suppose -w = -0*w - k. Let l = w + 0. Solve -l*n = n - 5, -4*x - 4*n = -24 for x.
5
Let p be (9 - (11 - 1))/(2/(-60)). Let f(n) = 7 - 10*n + 8 + n**2 - 3. Let j be f(9). Solve -4*w + 29 = -j*r, 0 = -5*r - 0*w + 3*w - p for r.
-3
Let p = -2552 + 2560. Solve -3*x = -2*v, -p*v + 19 = -11*v - 5*x for v.
-3
Suppose -21 = -4*a - x, -2*a - 107*x = -109*x - 8. Solve -18 = 4*h - a*p, -5*h + 40*p = 45*p for h.
-2
Let b = 185 + -181. Let f = -89 - -92. Solve -7 = k + b*w - f*w, 5*w = 4*k + 10 for k.
-5
Let d(m) = 3*m**2 - m + 1. Let b be d(1). Let f be -6 - (-2 + -3)/5. Let w be (-1058)/(-230) + (-2)/f. Solve -w*z + 2*i = -3*i - 5, -b*z - i = -7 for z.
2
Let v(a) = 21*a - 36. Let x be v(-2). Let d = x - -83. Solve -d*k = 5*b, -k - k - 3*b = 4 for k.
4
Let t be 0*2/(-2)*(-19)/19. Let f be (-2 + t)*2 - 44/(-11). Solve 0 = -5*s - f*s - 5, 0 = 2*w + 4*s + 4 for w.
0
Let p = -15229 + 15231. Solve -4*k = 5*x + 94 - 112, 2*x = p*k for k.
2
Let m = -27 - -42. Suppose -4*x + 1 = 5, 0 = 3*d - 3*x + m. Let b(l) = -7*l - 26. Let j be b(d). Solve 5*i - 4*u + j = 0, -2*i - 8 = -i + 4*u for i.
-4
Let z(c) = c**2 - 10*c + 13. Suppose -4*r = -3*y - 43, 41 = 4*r - 3*y + 2*y. Let q be z(r). Solve 4*b - 2 = 3*a, 5*b = -2*a - 2*a - q for a.
-2
Let n(k) be the first derivative of -3/2*k**2 - 60*k + 24. Let r be n(-21). Solve -2*g - 14 = -r*t, -g + 0 = 4 for t.
2
Let b(j) = 6*j**3 + j**2 - 4*j + 2. Let h be b(2). Let n be (-7)/(7/(-18)) + (40 - h). Solve -5*w + 16 = -3*s, -2*w = -s + w - n for s.
3
Let y(h) = h + 25. Let w be y(0). Suppose -z - 3*i - 3 + 32 = 0, 0 = -5*i + w. Suppose 10*b - 10 = -10. Solve -q + 12 = 3*q, b = -2*d + 2*q - z for d.
-4
Suppose 3*y - 8*h = -6*h - 2, -5*h + 43 = 2*y. Solve 3*v - 6 = -y*z, 86*z - 4*v = 88*z - 8 for z.
0
Let a be (-1)/3*4 + 1152/216. Solve -5*w = a*s + 3, 3*s + 0 = 3*w - 9 for s.
-2
Let x(w) = -23*w**2 - 2*w - 17. Let h(v) = 50*v**2 + 4*v + 35. Let y(f) = -6*h(f) - 13*x(f). Let u be y(4). Solve -2*o + 14 = 2*c, -u*c - c - 5*o = -33 for c.
2
Let a = 71 - 66. Let l be 8 + (-1 + a + -3)*-4. Suppose 3*b + 3*t = 75, -l*b - t + 52 = -2*b. Solve 6*n + b = -4*c + 3*n, c = 3*n + 12 for c.
-3
Let o be -3 + (24/(-14))/((-54)/252). Solve 0 = 5*n - 2*s - 5, o*n - 12 - 8 = -s for n.
3
Let a(n) = n**2 + 16*n + 52. Suppose 2*q - 54*x = -56*x - 18, -2*x = 3*q + 30. Let u be a(q). Solve d + 10 + 4 = -u*s, -4*d = 8 for s.
-3
Suppose -3*l + 2*j + 393 = 0, 2*l - 27 - 227 = 4*j. Suppose -2*z = l - 137. Solve z*n = 4*u - 4 - 16, 4*n + 3*u = -7 for n.
-4
Let f(v) = 2*v**3 - 15*v**2 - 322*v - 10. Let t be f(17). Solve -22*n + 5*s + t = -18*n, -2*n + 5*s = -1 for n.
3
Let g = -13 - -21. Suppose g*q - 6 = 18. Solve a = 5*a + 4*w - 16, q*a = 3*w + 12 for a.
4
Let v(m) = -m**3 + 5*m**2 - 4. Let f be v(3). Let w = 32 - f. Solve 0 = 2*c - 2*z - 2*z - 20, c + 5*z + w = 0 for c.
2
Let o(c) = -11*c**2 + 835*c + 81. Let x be o(76). Solve -x*a + 10 = 4*f, 5*f - 23 = -3*a - 17 for a.
2
Let j(s) = -14*s**2 + 4*s + 22. Let h be j(-1). Solve 0 = 2*v + 6, 0 = 3*r - h*v - 26 + 8 for r.
2
Let a(x) = 2*x**3 + 37*x**2 + 122*x - 49. Let z be a(-14). Solve -4*p - 4*i - z = 5, 0 = -5*p + 3*i + 17 for p.
1
Let r(d) = 3*d**2 - 13*d - 10. Let m be r(10). Suppose 8*w - 28*w = -m. Let l = 23 - 11. Solve 5*q = 2*q - 5*v - w, -3*v = l for q.
4
Suppose -3*c = -t, -2*t + 2*c = -5*t. Let j be -4 + 3 + -2 + 6. Let x be -2 - (8 - (j - t))*-1. Solve v - g = 8, 4*v - 11 = -x*g - 0*g for v.
5
Let z(d) = d**2 - d - 2. Let x be z(5). Suppose 0 = 42*v - 46*v + 96. Let i be v/(-10)*(-5)/3. Solve -2*p - 5*n = -21, 0 = 2*p - 3*p - i*n + x for p.
-2
Let n(f) = 2*f**2 - 28*f + 50. Let i be n(2). Solve 9 = i*j - 5*y, -2*y - 41 + 43 = 2*j for j.
2
Let a be 3/(-7) - 7310/(-70). Let i be 32/56 - (2 + a/(-14)). Solve t - 2*x - 3*x = i, 0 = -2*t + 5*x + 7 for t.
1
Let l(b) = -2*b**2 - 20*b + 51. Let k(v) = -4*v + 32. Let z be k(12). Let m be l(z). Let d = -139 - m. Solve -d*p + 6*p + 5*f + 8 = 0, -f + 2 = -p for p.
-2
Suppose -4*b + 8*b + f + 125 = 0, -3*f = 4*b + 119. Let q be (-35 - b)/(3/(-5)). Solve 2*m - 3 + 23 = 2*v, q*v = -2*m + 15 for m.
-5
Suppose 2*j + 10 = 0, 7*c - 20 = 2*c - j. Suppose -7 = -4*a + 