 -b*d, -2*d + z + 100 = 0. Solve 54 = l + d for l.
3
Let g = 324 - 321. Let f = -55 + 59. Solve -f*i = -g*i + 4 for i.
-4
Let a be (-21)/(598/(-39) - -13). Solve -a*b - 41 = -5 for b.
-4
Let v(r) = -5*r**3 + 4*r**2 + 17*r - 14. Let z be v(4). Let x = 208 + z. Solve x*b - b = 10 for b.
2
Suppose 3*g + 2*u = 6*u + 37, 3 = -3*u. Let y(j) = -j**3 + 13*j**2 - 8*j - 43. Let k be y(12). Let s be k - -2 - (1 + 4). Solve -3*w + s = g for w.
-3
Let b = 113 + -95. Let z be (-8)/b + 340/36 + -4. Suppose 2*m + m - 15 = 0. Solve 0 = m*d - 0 + z for d.
-1
Suppose -4*t = -3*l, -2*l + 6*l = 5*t. Let b be 92/22 + 70/(-385). Suppose g = b + 1. Solve -6*m + g*m + 4 = l for m.
4
Let d(n) = -2*n**2 + 204*n + 416. Let g be d(104). Solve -31*h + 157 + 29 = g for h.
6
Let s be (-6 + 3 + 4)*(10 - -1). Suppose t + s - 18 = 0. Solve 0 = t*m - 3*m for m.
0
Let n = -2417 - -2542. Solve -110 = -5*c - n for c.
-3
Let i(h) = 6*h**3 - h**2. Let d = -1 - -2. Let p be i(d). Suppose 27*k = 31*k + 3*g - 22, 27 = 3*k + 4*g. Solve 0 = -3*r + p + k for r.
2
Let v(j) = j**3 + 16*j**2 + 46*j + 95. Let r be v(-13). Solve r*i = 2*i + 8 for i.
4
Let h = -7693 + 7721. Let r = -61 - -38. Let d = h + r. Solve d = -a + 1 for a.
-4
Suppose 23*i = 15*i + 120. Suppose 18*y = i + 57. Solve -y + 2 = v for v.
-2
Let y = 29 + -29. Suppose y = -t - 15*t + 192. Solve 0 = 2*g + 2*g + t for g.
-3
Suppose 3*m - 323 + 107 = 0. Let r be (-3 + 1)/((-138)/(-70) + -2). Let j = m - r. Solve j*w + w - 6 = 0 for w.
2
Let u = -187 + 203. Suppose -4*q + 16 = 3*s, 2*s + 21*q = u*q + 13. Solve -l - s = 1 for l.
-5
Suppose 2*a = -9*s + 363, -5*a - 48 = s - 3*s. Solve -79*h = -s*h + 40 for h.
-1
Let i be (4/3)/((-18)/2403). Let l = i + 181. Let v be ((-8)/(-6))/(8/12). Solve -8 = l*x - v for x.
-2
Suppose -z + 1080 = -10*z. Let x be (-4 + z/(-28))/(1/7). Suppose 3*i - 8*i + 28 = -w, x*i + 2*w = 4. Solve i*t + 0*t = 10 for t.
2
Let j = -656 - -695. Let v be 24*(j/9 + -4). Solve -v*y = -5*y - 3 for y.
1
Let p = 13295 + -13268. Solve 0 = -p*b + 14 - 149 for b.
-5
Let x(h) be the second derivative of 4*h**3/3 - 139*h**2/2 - 130*h. Let f be x(19). Solve 2*b = 11 - f for b.
-1
Let u = -1376 + 1376. Let p = 6 - 8. Let a = p + 9. Solve u = -4*r - 5 - a for r.
-3
Suppose -33*m + 143 = 11. Solve 46*d + m = 42*d for d.
-1
Suppose 26 = 92*z - 91*z. Let f = z + -21. Suppose -15 = 3*v + 2*v, -f*v = -5*y + 30. Solve 0*p - y*p = 0 for p.
0
Suppose 5*i = 3*n - 0*n, -4*n = -4*i. Solve -289*u + 294*u - 15 = i for u.
3
Let w(t) = -2*t**2 - 11*t - 15. Let o be w(-2). Let x be 10*9/270 + o/3. Solve x = 5*g - 7 - 8 for g.
3
Let u(x) = -3*x**3 + 24*x**2 + 1. Let n be u(8). Let v be n*3/(2/2). Solve -2*r - 25 = v*r for r.
-5
Let n = -3 + 7. Suppose -a - n*a + 25 = 0. Suppose -a*h + 23 = -2. Solve h*j - 6 - 14 = 0 for j.
4
Let h be 3*17/(-2)*6. Let b = -80 - h. Suppose -75*z = -b*z - 4. Solve -6*y = -z*y + 16 for y.
-4
Let u be (-6)/(-5) - 1 - (-132)/15. Suppose 12 = 2*b + s, 5*s = b + u + 7. Suppose 20 = b*q + q, q + 17 = 3*l. Solve -3*g + l = -5 for g.
4
Let u(j) = -62*j - 1693. Let f be u(-28). Solve 99 = f*l + 13 for l.
2
Let d be (6/(-4))/(4/(-40)). Let z(v) = 4*v - 52. Let u be z(d). Solve -5*l - u = 12 for l.
-4
Let o = -202 + 242. Suppose 3*a - 23 = 4*v, v = o*a - 45*a. Solve 0 - a = -x for x.
1
Suppose 4*f + 33 = 1. Let t = 12 + f. Suppose b + 16 = 4*b + t*u, -4*u = -b. Solve -12 = m - b*m for m.
4
Suppose 0 = -0*r + 8*r - 48. Let s be (-36)/(-14) + -3 + r/14. Solve 0 = 3*d - s*d + 12 for d.
-4
Suppose 10 = -21*r + 23*r. Suppose 3*s - 5*n + 14 = -37, 2*s + 39 = r*n. Let g = 16 + s. Solve -g*x - 16 = -4 for x.
-3
Suppose -9*y + 115 = 20 - 76. Solve -y*w = -7 - 31 for w.
2
Suppose -9*j + 32 = -10 - 66. Suppose 0 = -i - i - 60. Let n be ((-3)/9)/(2/i). Solve -n*f - j = -2*f for f.
-4
Let v(d) = -6*d - 16. Let o be v(-3). Suppose -o = -6*w + 34. Solve -2*b + w*b - 8 = 0 for b.
2
Let m be (-1)/4 - 4264/(-32). Suppose 2*y + 7 - m = -4*g, -4*y + 128 = 4*g. Let r = g + -27. Solve -w - r = -2*w for w.
4
Let r = 835 - 784. Solve 25*j - r*j = 26 for j.
-1
Let h be 31*-2*(9/(-6) - -1). Suppose -2*y - h = -5. Let c(n) = 3*n + 44. Let t be c(y). Solve 0*x - 15 = -t*x for x.
3
Let j = -893 + 950. Suppose 21*d - 246 = -j. Solve 0 = 9*q + d for q.
-1
Suppose -15 = 300*l - 303*l. Suppose -l*d - u + 17 = 4, -2*u = -4*d + 16. Solve 3*n + d = -0*n for n.
-1
Let q(d) = d**3 - 18*d**2 - 14*d - 3. Let b be q(19). Let y = 96 - b. Let p(a) = -a**3 + 3*a**2 + 6*a - 3. Let m be p(y). Solve m*t - 2*t = -9 for t.
-3
Suppose x + x - 3 = s, 4*s - 4*x + 4 = 0. Suppose 0 = 2*v - s - 5. Suppose -w + 2*h - 1 = 0, w + 4*h - 14 = -3. Solve 0 = w*f - v for f.
1
Let k(m) = -395*m**2 + 2373*m - 3. Let p be k(6). Solve -14 = p*n - n for n.
-1
Let n be (-35 - -32)/(2/130). Let y = n + 199. Let q be (-6)/4*(0 - 4). Solve -2*x - q = -y*x for x.
3
Let z be -3*(-2356)/36 + 4/(-12). Suppose -2*r - 182 = -z. Solve -6*t - 3 = -r*t for t.
3
Suppose -31 = 3*y - 5*b, 5 = 5*y + 3*b - 0. Let w be (25/(-5) + 4)*2*y. Suppose 0*a + 4*l - 16 = -4*a, -2*a + 4*l = w. Solve -a = 5*d - 3*d for d.
-1
Let u(o) be the third derivative of 3*o**4/8 - 29*o**3/3 + 5*o**2 + 6*o. Let h be u(9). Solve -27*y - 12 = -h*y for y.
-3
Let h = 4716 - 4697. Solve 0 = -12*z + h + 17 for z.
3
Suppose -c - 3*c + 85 = 5*u, 4*u + 25 = 3*c. Let v be (18/(-4))/(6/12) - (-31 - -16). Solve -l = -v*l + c for l.
3
Suppose 4*z + y = 31, 10 = 3*z - 3*y - 2. Let w(k) = 68*k + 3402. Let o be w(-50). Solve -8*m + z*m = o for m.
-2
Let q(o) = o**3 + o**2 - 9*o + 12. Let f(s) = -s**3 + 8*s**2 - 22*s + 108. Let j be f(7). Let z be q(j). Solve 3 = z*l - 18*l for l.
1
Suppose 0 = -3*h - 3, 5*a - 8*a = h - 77. Solve 0 = 13*o + a*o - 195 for o.
5
Suppose 179 = 3*p + 5*c, 0 = -p - 354*c + 350*c + 76. Solve -476*g + 452*g = -p for g.
2
Let p(b) = -b**2 - b + 1. Let c be p(-1). Suppose g + 0*z + 2*z = 0, 2*g + z = 6. Let w be (-1 - -1)/1 + -2 + g. Solve -w*s + 3 - c = 0 for s.
1
Suppose -t - w + 7 = -6, -t + 3*w = -9. Let g = 126 + -120. Solve 9*h - g = t*h for h.
-2
Suppose 64 = 13*l - 14. Suppose 5*n - 33 = -l*n. Solve 0 = -n*g + 7*g - 20 for g.
5
Suppose -4*r = 2*c - 59 - 395, -4*r + 463 = -c. Suppose -13 - 98 = o. Let w = o + r. Solve -5*z = -w*z + 4 for z.
-4
Let s be (22/6)/((-63)/(-189)). Solve -s*l = 49 - 49 for l.
0
Suppose 0 = -l + 7*l. Suppose l = 5*n + 4*u + 26, 2*n + 26 = -n - 5*u. Let p be 2 + n + 0 + 1 + 1. Solve 0 = -2*z - 8 - p for z.
-5
Let b = -175 - -181. Suppose b = 2*m - r, -2*r = 2*r - 16. Solve -1 = m*o + 4 for o.
-1
Let g(r) = -r**2 + 11*r + 26. Let p be g(13). Let f(v) = -v**3 - 12*v**2 + 7*v - 29. Let a be f(-13). Let n = a - 49. Solve n*l + l + 5 = p for l.
-5
Let q(p) = 2*p**2 + 7*p + 2. Let g be q(-6). Let s = g - 35. Let u be s*(-4 - -3) + -1. Solve 3*r = -u*r + 10 for r.
2
Let p = 4820 - 4462. Solve 0 = -w + p - 363 for w.
-5
Let g = -17 - -17. Let c = -5 - -51. Let a = c + -44. Solve -2*x + x - a = g for x.
-2
Suppose 2*c + 4*o - 12 = -2*c, 2*o + 4 = 3*c. Suppose -6*j + c*j + 39 = 3*b, 4*b = 2*j - 36. Solve -6*p + 0 = j for p.
-2
Let j(z) = -z**3 + 6*z**2 + 41*z - 6. Suppose 0 = -h + 2*t + 2 + 4, 5*h - 48 = t. Let i be j(h). Solve 2*n + i = -4 for n.
-4
Let x(w) = 2*w - 2. Let u be x(3). Let m = -440 + 440. Suppose 3*i - 5 = -q, -3*q + 2*i + 6 - 2 = m. Solve 0 = -0*t - q*t + u for t.
2
Suppose 1740 = -2*s + 1738, 13 = n + 5*s. Solve n*u = 6*u for u.
0
Let u = 170 + -154. Suppose 0 = -u*q + 28*q - 48. Solve -3*f - q = -5*f for f.
2
Let r be ((-2772)/(-286) + -10)*(-13)/2. Solve 7 - 1 = -r*h for h.
-3
Let j be (-12)/21 - (-6 + (-144)/56). Solve 19 = j*z - 21 for z.
5
Let j be (-5)/((-5)/2) - (158 - -2). Let b = j + 161. Solve b*d = -d for d.
0
Suppose 25*i - 27*i - 308 = -3*c, 6*c - 5*i = 608. Solve 63*p = 90*p - c for p.
4
Suppose 3*v - 30 = -10*k + 8*k, 4*k - 4 = -2*v. Solve -v*d - 8*d = -44 for d.
2
Let h(a) = a**3 + 4*a**2 + 5*a + 2. Let w be h(-3). Let o be 13 - (-9)/((-18)/w). Let n(u) = u - 9. Let c be n(o). Solve 3*t = c*t - 9 for t.
3
Let k = 8 - 5. Let d be k/2 - 1 - (-11)/22. Solve 3*z - d = 2*z for z.
1
Let f = -33 + -3. Let b = 31 + f. Let d be 5/(-2)*b/(-10)*-4. Solve -1 = -d*a - 16 for a.
-3
Suppose -36*v = -39*v - 125*v + 6144. Solve 586*b - 598*b - v = 0 for b.
-4
Suppose 2*n + 5*k = 286