9*o - 11*o for d.
3
Let u be (-2 + (-5 - 1))/(-1). Let i be (-160)/15*(-12)/u. Solve 2*b - b - 11 = -4*m, m + i = -4*b for b.
-5
Let t(b) = b**3 - 37*b**2 + 21*b + 562. Let z be t(36). Solve 7*h - 3*s = 9*h + z, -3*s - 14 = -2*h for h.
-2
Suppose -7*t - 17 = -3. Let q be 15 + t/(-1)*(-12)/8. Solve -f + q = -4*o + 3, -2*f = -2*o for o.
-3
Let g = 5760 + -5749. Solve 1 = 2*l + 3*z, -z - g = -3*l - 4 for l.
2
Let z = -44 - -45. Suppose -z - 9 = -o. Suppose -2*p = a + p + o, p = -5. Solve -a*w + c = -25, 2*c = 4*w + 11 - 31 for w.
5
Suppose 8*d = -15*d + 46. Suppose 0 = 5*t - 3*a + d, 0 = t - 0*t + 4*a - 18. Solve o - r - 4*r = -15, 5*o + t*r - 6 = 0 for o.
0
Suppose i = 2*i - 6. Let c be (-11)/(825/(-2240)) - (-12)/90. Let r be -1 - 2 - (c/15 + -10). Solve -3*g = v - 2, -4*v + 21 - i = r*g for g.
-1
Let g = -78 + 97. Solve -5*c = -6*d + 2*d + g, -5*d = 3*c + 4 for d.
1
Let k be 1/2 - 18/(-12). Let d(x) = -9*x - 12*x + 22*x. Let v be d(13). Solve 4*y - 5*m + 7 = 0, -y + k*m = -3*m + v for y.
2
Let g(q) = q**3 - 10*q**2 - 11*q + 5. Let k be g(11). Suppose 21 = -k*n + 41. Let w be n/18 + 100/36. Solve w*v = 4*f - 2*v + 28, -4*f - 5*v = -12 for f.
-2
Suppose t + 16 = 3*t - 3*i, 0 = -4*t - 5*i - 12. Let l be 3/((-30)/(-145))*t. Suppose 3*j = l - 20. Solve -11 = -4*x - 7*g + 4*g, 2*x = j*g + 1 for x.
2
Suppose -g - 61*t + 59*t - 4 = 0, -5*g + 40 = -2*t. Let n = 5 - -10. Let p = -11 + n. Solve -p*a = y + 4*y + 27, -4*a - g = -2*y for y.
-3
Suppose 279 = -0*h - 3*h. Let v be (-13)/26 - h/6. Solve -3*u = 4*b - 3, -5*u + v = -4*b - 22 for b.
-3
Let k be (12/14)/((-3)/168*-12). Let y be ((-96)/60)/k - 244/(-10). Solve 3*c - 29 = 5*f, -f + 4*c = 2*f + y for f.
-4
Suppose -46*y + 128 = -14*y. Let x be (y/(-10) + (-192)/20)/(-2). Solve -2*s + x = g, -3*g = -3*s + 1 - 16 for s.
0
Let t(k) = -2*k**3 - 31*k**2 + 13*k - 42. Let d be t(-16). Solve 10*c + 3*x - d = 8*c, 0 = -x for c.
3
Let b(k) = 3*k**2 - 31*k - 907. Let c be b(-13). Solve 8 = 2*p - 2*y - 0*y, -c*y = -6 for p.
6
Suppose -17*p + 15 - 11 = -30. Solve r - p*j - 12 = -1, -2*j = 6 for r.
5
Let w be 1*(2/(-4)*4)/((-44)/66). Solve -5*i + 4*i - 1 = w*k, -4*k - 4 = 2*i for i.
-4
Suppose -3*q - 191 = -203. Let d(b) be the second derivative of b**3/2 + 10*b**2 - 13*b. Let l be d(-6). Solve 5*g + 9 = -5*u + l*g, 5*g + 15 = -q*u for u.
0
Let d(z) = -z**2 + 42*z + 587. Let w be d(-11). Solve 0 = -4*r + w, 3*r + 2 = 5*t - 5 for t.
2
Suppose 0 = 7*l - 570 + 556. Solve -4*h + 4*m = 24, -l*h + 26*m - 23*m - 16 = 0 for h.
-2
Let p(t) = 11*t + 38. Suppose 6*f - f - 30 = 5*o, 2*f = 6. Let n be p(o). Solve 4*s - 20 - 16 = -n*h, 2*h = 3*s - 4 for h.
4
Let g = 2485 - 2483. Solve n = 6*n + q - 4, -5*n = -g*q - 7 for n.
1
Suppose -93*y - 34 = -60*y - 199. Solve y*c + 21 = 2*q - 0*c, 2*q - 4*c - 16 = 0 for q.
-2
Suppose 74*t = -37*t - 39*t + 450. Solve t*s = -2*c - 1 + 11, 5*c = -2*s + 25 for c.
5
Let f = -35 - -39. Suppose -4*y - 2*t + 22 = 0, y + 2*y = f*t + 11. Let s be (-24)/180 + 604/30. Solve -s = y*d, 2*l = 2*d - 1 + 5 for l.
-2
Let r(w) = 3*w + 5. Let g be r(0). Suppose 152 = 2*a + g*o, -3*a + 3*o = 7*o - 228. Suppose 0 = -16*k + 20*k - a. Solve -4*m + 21 + 4 = 3*c, c - k = -4*m for m.
4
Let j(k) = 3*k**2 - 15*k - 177. Let z be j(11). Solve 4*d - 4*u = -32, 0 = -3*d - 5*u + 7*u - z for d.
-5
Let d = -178 + 183. Let v(b) = -5*b**2 - 57*b - 22. Let q be v(-11). Solve -h + 2*z + 2*z - 15 = q, d*z = -5*h + 50 for h.
5
Let u be (-18)/(-45) - 21536/(-10). Suppose -10*m = 7194 - u. Let q be m/(-120) - (-2)/(-10). Solve 2*i - 6 = r + r, 4*r - 20 = -q*i for r.
1
Let l be (-10)/15*138/(-2)*1. Suppose 0 = -4*w - 2*q + l, -2*q = w + 4 - 8. Let a be (-51)/(-7) + w/(-49) + -1. Solve 2*f - a*f - 23 = -5*g, -2*g + 4 = f for f.
-2
Suppose 0*x + 4*x = -x. Suppose -6 = -3*q + 2*w, x = -2*q - w - 0*w + 4. Let j be ((-4)/(-6))/((-4)/(-12)). Solve 0 = -2*t - 5*s - 7, 3*t - j*s + q = -t for t.
-1
Let o = 30 + -35. Let z be (-2)/o*(-100)/(-40). Solve -b + m - z - 5 = 0, 9 = -2*b - m for b.
-5
Let k be (2 - (0 + -1)) + -32 + 33. Let s(i) = 13*i - 47. Let w be s(k). Solve -4*q - 4*z - 10 = -6*q, -w*q - 3*z + 25 = 0 for q.
5
Let r(z) = 2*z**2 - 5*z + 6. Let u be r(1). Solve 2*s + 2*g = -8, 5*g = -4*s + u*s - 16 for s.
-1
Suppose 0 = -233*d + 237*d - 36. Let s = 22 - 21. Suppose 4*y = -3*x + 27, 4*y - 3*x - s = -4. Solve 3*u - d = y*l - 6*l, 0 = -u + 5 for l.
-2
Let a = 355 + -368. Let p be (2 + -6 + a)/(2/(-2)). Solve -3*w + 2*i - 4 = 3, -2*w - 3*i + p = 0 for w.
1
Let i(w) = -5*w**3 - 35*w**2 + 11*w + 79. Let v be i(-7). Solve 49*g + 2*z - 8 = 46*g, -3*z = v*g - 12 for g.
0
Let s be ((-3)/(-3 + -3))/((-12)/360). Let a be 2/8 + 45/(-4). Let i = a - s. Solve -2*u = -5*t + 16, 2*t - i*u - 21 = -5 for t.
2
Let s be (-6)/21 + 1136/56. Suppose -s*l + 10*l = -250. Suppose 0 = 5*g - 65 - l. Solve q = -3*b - 4 - 6, -3*q + g = -3*b for b.
-4
Let l = 3343 + -3341. Solve 14 = 3*z + 2*q + 25, 10 = -4*z + l*q for z.
-3
Suppose -4*m - 21 = -m. Let i = 5 - m. Let c = 20 - i. Solve o = 2*g + c, -4*o + 0 = 2*g - 2 for o.
2
Let f(g) = g**3 + 6*g**2 - 30*g - 158. Suppose -202*b = -207*b - 35. Let k be f(b). Solve -2*i - 4*z + 14 = 0, z = -k*i + 1 + 10 for i.
3
Let o be (16 - 1 - 2) + (97 - 89). Solve -2*z + 4*x - 20 = -14, 3*z - o = -4*x for z.
3
Let i = 1183 - 1180. Solve -i*y = r + 8 - 7, 0 = -2*r - 4*y - 4 for r.
-4
Suppose 190 = 116*z - 158. Solve 16 = -5*i - 3*m, 2*i = -3*m - z + 2 for i.
-5
Let o(k) = -30*k - 146. Let n be o(-6). Let a be -1*12/102 - (-174)/n. Solve 0 = 3*z + 5*r - 2*r, -a*r + 40 = -5*z for z.
-4
Suppose i - 438 = 5*z + 4*i, -4*z = -4*i + 376. Let q = -88 - z. Let p = 24 - 20. Solve 3*v + 4*n - 12 = 5*n, -q*n + 6 = p*v for v.
3
Suppose 5*f + 80 = 10*f. Suppose -14*v = -18*v + f. Suppose -p + 58 = 4*y - v*p, -4*y = 4*p - 72. Solve -4*a - y = 0, 0*a = 3*j - a - 7 for j.
1
Suppose 3*b - 7*z + 2*z = 164, -4*z = 5*b - 261. Suppose 0 = -8*v + 77 - b. Solve a + 1 = 0, 3*a + 0 = -5*y - v for y.
0
Let b(s) be the first derivative of 6*s**2 - 62*s + 165. Let v be b(6). Solve k - v = -3*n, 4*n = -0*k - 3*k + 10 for k.
-2
Suppose 0*y + 443 = 4*y + 5*c, 3*y + 3*c - 336 = 0. Let u be (y/(-195))/(1/(-5)). Solve -3*z = -2*x - 2, -3*x + u*z = 1 + 2 for x.
-1
Let h(y) = -3*y**2 - 12*y + 21. Let w(c) = -4*c**2 - 13*c + 21. Let d(i) = -3*h(i) + 2*w(i). Let m be d(2). Solve -4*u = 3*g - 0*u + 7, -m*g + 4*u = -1 for g.
-1
Let k(z) = -169*z + 2881. Let i be k(17). Solve -10*t + j + 14 = -i*t, -12 = 3*j for t.
5
Let p be (-2*(-4 + 5))/(-1). Suppose 63 = -p*h - 51. Let w be 3/2*(-494)/h. Solve 4*z + 7 = -4*c - c, -5*z = 2*c + w for z.
-3
Let t(i) = -5*i + 100. Let v be t(23). Let r be 39 - v/10*2. Let j = 47 - r. Solve 6*n + 4 = -4*d + 2*n, j*d - 3*n = -5 for d.
-1
Let k(y) = y**2 + 23*y - 99. Let b be k(-27). Suppose 12*c = b + 3. Solve -4 = -5*t + t, 3*p - t = -c for p.
0
Suppose 49*i - 46*i - 12 = 0. Solve i*f = -0*f + 4*b - 28, 0 = -b + 2 for f.
-5
Let f(m) = 37*m - 264. Let x be f(8). Suppose 6*i - 28 = x. Solve -4*y + 22 = -a, -i = -0*y - 2*y for a.
-2
Let n be (-3)/2*(-6)/9. Suppose 1 = 4*x - 7. Suppose x*h - 5*f = 23, 3*h - f = 4*h - 1. Solve 10 = -2*b + h*t, 0 = 2*b + 2*t - n - 13 for b.
3
Let k = -30 + 38. Suppose k*y = -20 - 4. Let g be 27/(-1)*2/y. Solve -5*z + f = -15, -z = -0*f + 4*f + g for z.
2
Let b be (-2)/((-2)/3) - (-54 + 10)/(-44). Solve 0 = -201*k + 204*k - v - 5, -k + b*v = 0 for k.
2
Let o(b) = -312*b**2 - b - 1. Let a be o(-1). Let i = -308 - a. Solve -22 = 4*n + 2*t, -i*t = -0*n + 2*n + 14 for n.
-5
Let y(t) = -69*t**2 - 276*t + 5. Let g be y(-4). Solve 145*z - 143*z = -4*j + 28, -g*z + 15 = -j for z.
4
Let u be ((-26)/(-18) - 1)/(120/540). Suppose 4*y + 0 = -2*z + u, y - 2 = -2*z. Solve -n + 5 = y, 0 = -5*i + 4*n - n - 10 for i.
1
Let i(n) = -n**3 - 3*n**2 - 8*n + 7. Let c be i(-2). Solve q = 0, -c*q + 24*q = r - 3 for r.
3
Suppose -42 = -5*r + 3*l, 3*r + 5*l - 6 + 8 = 0. Solve -20 = -4*d - u, -2*d - 3*u = -r*u + 4 for d.
4
Suppose 0 = o + 4, 6*d - 3*o + 10 = 7*d. Suppose 3*l = -n + 13, -13*n + d = -11*n + 2*l. Solve 0 = 4*b - c + 6, 4*c - n = b + 8*c for b.
-2
Let h(a) = -24*a + 214. Let w be h(5). Suppose 2*f + 90 - w = 0. Solve 2*x + f = -5*n - 11, -x + 5*n = -1 for x.
-4
Let w(s) = s**2 - 8*s - 94. Let l be w(-7). Let q(b) = -b**