 + 4 for b.
0
Let z be (2 - (-27)/(-3))*(74/(-14) + 5). Solve -6*t - z*r + 1 = -3*t, -3*r = -15 for t.
-3
Let b = -11 + 15. Let u be (4/(-36)*-6)/(100/(-36) - -3). Solve 10 = -t - 3*c, b*t - 10 = c - u*c for t.
5
Suppose z + 3*m = -3*z + 36, 0 = -3*z - m + 22. Let l be 72/30*10/z. Solve 14 = l*t - d + 6*d, 0 = 2*d - 4 for t.
1
Let z(n) be the third derivative of -n**5/60 + 7*n**4/24 + 17*n**3/3 - 41*n**2 + 2. Let c be z(10). Solve t + c = 5*t + 3*x, 4*t + 12 = x for t.
-2
Let u be ((-16)/6)/(74/(-111)). Let b be (u - 6)*(1 + -2*1). Solve s + 2*f + 11 = -2*s, -b*f + 4 = 0 for s.
-5
Let z be (18/27)/(6/27). Let c be z - (12/(-4) - -2). Solve -1 = w - 2*o, 3*w - 5*o + c = -0*o for w.
-3
Suppose -22*j + 167 + 75 = 0. Let z = 35 - j. Solve 3*x = x - 3*g + 8, 4*x - 4*g + z = 0 for x.
-2
Suppose -2*y = 2*b + 238, -4*y + 56 = -3*b - 308. Let n = b + 118. Let p be n/(-9) + 4 + 66/(-54). Solve -3*d = p*i - 7*i - 21, -d + 3 = 0 for i.
-3
Let s = 24 + -21. Let t(r) = -10*r + 39. Let y be t(3). Solve -5*z - y = -2*i + 20, -s*i - z + 1 = 0 for i.
2
Let j(z) = -z**3 + 33*z**2 + 112*z - 135. Let w be j(36). Solve b - 19*y + 15*y + w = 0, -2*y + 6 = 0 for b.
3
Let z = -30982 + 31005. Solve 11*f = 7*f + 5*r - 37, f = 4*r - z for f.
-3
Suppose 3 = -3*h - 0*h, 3*u - 4*h = 469. Let s = u + -91. Suppose -3*k - 55 = -s. Solve j + 2 = -5*t + 3*t, -t = -k*j + 8 for j.
2
Suppose 0*j = -j + 14. Suppose 0 = -4*r - 4*n + 8, r - 2*n - j = -0*r. Let k(l) = -134*l - 1072. Let i be k(-8). Solve -3*h + 6 = 3*x - r*x, -5*x = i for h.
2
Let h be (28/21)/(-1 + -1)*-3. Let q(v) = v**h + 16 - 38*v + 23*v + 23*v. Let t be q(-6). Solve -4*l = -4*u - 24, 0 = -l - t*u - 19 for l.
1
Let h be ((-8)/16)/((-1)/24). Suppose 121 = 3*g - 77. Suppose -g = -22*y - 0. Solve 2*c = -2*a - h, -y*c - c = 3*a + 21 for a.
-3
Let m = -26 - -27. Let t be (1 - m - 3) + 297/3. Let a = t - 79. Solve -12 + 1 = 4*w + q, 5*q + a = -w for w.
-2
Suppose 1166*s = 1286*s - 960. Solve k - 1 = 3*g, 3*g + 3 = 3*k + s*g for k.
1
Let d = 19670 - 19668. Solve -5*q = -d*n + 1, 2 = 35*q - 33*q for n.
3
Let o(j) = 3*j**3 + 6*j**2 - 6*j + 3. Let t be o(1). Suppose t*n - 11*n = 11*n. Solve 5*r - 20 = 5*v, -2*v + r + 0*r - 5 = n for v.
-1
Suppose -5*q + 15 = -10. Suppose -3*s - 8 = -2*s - 3*y, -5*s + 2*y = 14. Let g be 1/(((-15)/10)/(-5 - s)). Solve -g*d + 6 = -q*a, -4*a + 3*d = 1 + 1 for a.
-2
Let a(f) = 31*f - 307. Let b be a(10). Solve -19 = -2*m + b*h, -9 = 3*m + 4*h - 12 for m.
5
Let j be 220/30 - 5/(30/8). Suppose 3*w = -n + 13, -w = -3*n + j*n - 15. Solve -8 = -4*q + 3*h, -q + h = n*h - 2 for q.
2
Suppose 2*x = 7 - 3. Let h be 174/8 - x/(-8). Suppose -2*k + 15*k - 34 = -8. Solve -4*i + k*y = -9*i + h, 4 = 4*y for i.
4
Let j be (2/(-4))/(861/172 - 5). Let h = -85 - j. Solve 3*m + v = 13, 0 = m + 2*v - 0 - h for m.
5
Let v(n) = -n**3 + n**2 + n - 81. Let h be v(0). Let m be 694/8 + 1008/448. Let r = m + h. Solve 5 = 5*o, 0*g + g + 4*o - r = 0 for g.
4
Let i(v) = -12*v**2 + 0*v + 11*v**2 - 10 - 8*v. Let u be i(-6). Suppose -4*s = 5*q - u*s - 4, -2*s = -4. Solve 0 = 2*f - q*f + 2*n + 14, 0 = 4*n + 16 for f.
-3
Let k = 18063 - 18058. Solve -3*f + 35 = k*m, 4*m - 28 = 3*f - 2*f for m.
7
Let v = -7459 - -7464. Solve 0 = v*j - 2*y - 20, -5*j - 53 = 5*y - 73 for j.
4
Let v = -94 + 205. Suppose 11*d - 87 - v = 0. Solve -2*m - 2*h - d = -7*h, 16 = 4*h for m.
1
Let b(w) = 87*w + 3048. Let v be b(-35). Solve -2*f - 5*p + 29 = 0, 3*f + f + v*p - 23 = 0 for f.
2
Let j(q) = -13*q + 1016. Let w be j(76). Solve 3*z = -0*z - 4*b - w, -b = -5*z - 16 for z.
-4
Let t = -66 + 72. Let l be ((96/(-18))/(-4))/(4/t). Solve p - l*w + 4 = -3*w, 4*p = w - 16 for p.
-4
Suppose -45*i + 183 + 42 = 0. Suppose -3*u - k = -5*u - 56, -3*k - 14 = u. Let n = -6 - u. Solve 4*g - i*m - 8 = -3*m, 5*m - n = 0 for g.
4
Suppose -4*i - 351 = -371. Suppose -28*p + 35 + 77 = 0. Solve a - 4*a + 5 = -p*w, w + 7 = -i*a for w.
-2
Suppose 0*j - 11 = -3*j + t, t + 13 = 4*j. Let z(i) = 5 + 711*i + 722*i - i**2 - 1439*i. Let n be z(-6). Solve -5*r = -5*x + 3*x - n, x - 3*r + j = 0 for x.
-5
Let h(a) = 6*a**2 - 11*a - 24. Let t be h(-2). Suppose t = 2*d + 3*d + m, 4*d + m = 17. Solve 5*b = 5*o + 35, -o + 5*o - d*b + 30 = 0 for o.
-5
Suppose -9*d + 31 - 4 = 0. Let y be (d + -4)/((-1)/3). Suppose 0 = n + 5*g - 19, 0 = -y*n + g + 6 + 3. Solve 3*b = n*b, 3*i = -5*b - 9 for i.
-3
Suppose 0 = -7*v - v + 3*v. Let h = 94 - 97. Let o be (-27)/(-5) - h/(-30)*4. Solve -w + o*f + 9 + 0 = v, f = -5*w - 7 for w.
-1
Let c = -14263 + 14263. Solve -p + 8 = -m, c = -3*p - p + 12 for m.
-5
Suppose -19*i + 165 = -17*i + 3*c, -5*c = -5. Suppose -2*y + 5 = 103. Let f = i + y. Solve -f = -3*o + 2*x + 3*x, 5*o + 2*x - 12 = 0 for o.
4
Suppose 6 - 26 = -2*y. Let s = -7 + y. Suppose 93*i - 1196 = 478. Solve -3*h - 15 = -s*q, -2 = 2*h - 4*q + i for h.
0
Suppose 0 = x - 2*z - 33 + 27, 2*x - 3*z = 11. Solve i - x = -3*i + 2*y, -6 = 3*y for i.
0
Let o = 216 + -198. Suppose -18 - o = -6*l. Solve 2*q - m + l = 0, -q = 9*m - 4*m + 25 for q.
-5
Let h be (-1)/(19/(-93)) - (-4)/38. Suppose 8 = -2*m, l + 0*m + m - h = 0. Solve 5*c = -v + 2*v + l, 2*v + 4 = -4*c for c.
1
Let x = -2747 - -4612. Suppose 1860 = -5*b + x. Solve -9 = 2*d + 3*w, -4*d + b = 2*w - 1 for d.
3
Let j be ((-130)/117)/((-4)/18). Solve -5*w - 25 = j*c, 6*w - 7*w = 5*c + 5 for w.
-5
Suppose 2262 = s + 28*s. Let f = -74 + s. Solve a - 5 = -a + 3*l, 0 = -f*a - l - 25 for a.
-5
Suppose 22*n - 6 = 20*n + k, -5*n = 3*k - 37. Solve n*t - 4*v + v - 11 = 0, -3*t + 21 = 3*v for t.
4
Let b be (1 - 6)/1 - -10*23. Let x = -223 + b. Solve 8 = 5*o - 4*t, -3*o + x = o - t for o.
0
Suppose -8*f + 15 = -17. Suppose 5*q + f = 3*t - 4, 4*t + 32 = -4*q. Let l be t - (-2 + 0) - (-10)/2. Solve -5*s - 45 = -5*w, w - 31 = 3*s - l*w for s.
-5
Suppose -10*t = -4*h - 376, 3*t - 145 = -3*h - 49. Solve -v + 2 = -39*m + t*m, -3*m - v = 4 for m.
-1
Let h(x) = x**2 + 5*x - 18. Let o be h(-25). Let y = o - 482. Solve y = 4*z + r + 7, -4*r - 14 = -2*z - 4 for z.
-1
Let s = 58 - 22. Suppose -11*r + 19 = -s. Let f = 7 - r. Solve -4*z = -4*n, 6*z - 3*z = f*n - 1 for n.
-1
Suppose 2*u - 3*x - 78 = x, u - 39 = -4*x. Suppose 34*n + 10 = u*n. Solve 2*j + 2*g = 2, -n*g = g - 6 for j.
-1
Suppose 3*m + 2*f - 34 = 0, 4*m = -34*f + 35*f + 49. Let i be -15 + m - (-12)/3. Solve 3*b = 3*n + i - 4, -18 = 4*b + 3*n for b.
-3
Let o be 1995/(-380)*((-3)/(-9)*-1 + -1). Solve 3*b - 9*r - 1 = -o*r, 4*r = 3*b - 11 for b.
-3
Suppose 7*j = -281 + 57. Let g = 50 + j. Let v(c) = -c**2 + 9*c - 17. Let u be v(4). Solve -9 = -0*z + u*z, g = -4*y - 2*z for y.
-3
Suppose 3*b - 465 = 5*r, 4*b = -3*r - r + 588. Suppose 0 = b*h - 149*h - 4. Solve h*s + 7 = -2*x - 3, -2*x - 14 = 5*s for x.
3
Let n(q) = -q**2 - 25*q + 121. Let o be n(-26). Let s be (38/o)/((-2)/(-5)). Solve -4*u - 4 = -5*a, -4*a + u + s = a for a.
0
Suppose 31*g + 131 = 441. Solve 5*p - 5*a + a - g = 0, 2*p - a = 1 for p.
-2
Let v(i) = -2*i**3 + 18*i**2 - i + 12. Let s be v(9). Let u = 40 + -36. Solve 3*b = -3*w - s, u*w + 6 = -b - 4 for w.
-3
Let y = -287 + 290. Solve 3*k + 4 + 8 = -4*x, y*x = -3*k - 9 for x.
-3
Let m be 96/4 + (-2)/1. Let a = -20 + m. Suppose -2*z = 3*y + a, z - 2*y = -3*z + 12. Solve 3*o = 2*r + 14, o + z*r - 2 = -0*o for o.
4
Let c be -1 + (-4)/(16/116). Let x = -32 - c. Let g be ((-34)/(-4))/(x/(-4)). Solve 0 = 2*u + 4*s - 2, -s = -2*u - 3*u - g for u.
-3
Suppose 28*h - 430 = -15*h. Suppose h = 5*n - 4*c, 46*n - 43*n - 6 = 2*c. Solve 5*y = 2*l - 35, 2*l + 3*y = -n*y - 15 for l.
5
Let m be 5 - (0 - 13 - -14). Solve -4*y - m = -5*y + o, -2*o = -3*y + 11 for y.
3
Let s = -1711 - -1713. Solve 2 = 3*l + 5*u + 3, s*l = -u + 4 for l.
3
Let g = 484 + -482. Suppose -4*z - 2*x = -3*z - g, 2*z - 4 = -5*x. Solve 2*l - z = 0, n - 2 = 2*l + 1 for n.
5
Suppose -37*a = 348 - 348. Solve -y = 5*l + 1, 4*l - y + 8 = -a*y for l.
-1
Suppose -169 = k - 218. Suppose -2*f = 37 - k. Solve 10 + 2 = 2*u + 2*q, 0 = -2*u + q + f for u.
4
Let c = 10742 + -10740. Solve -35 = -5*w - 4*s, -24*s - 11 = -c*w - 25*s for w.
3
Suppose -7*w + 17 = 24. Let t be ((2 - w) + -4)*-2*63. Let c = t + -123. Solve -4 = 3*h - x, -4*h - c*x = 2*x + 37 for h.
-3
Let b = -889 + 891. Solve -3*f + 7 = -h + 18, -5*h - b = 4*f for h.
2
Let t(f) = f**2 + f - 3. Let q be t(-3)