et l be 1*6 - (40 - 38). Solve 6*c = l*c - 8 for c.
-4
Let x(m) = m + 37. Suppose -4*u + 5*k - 46 = 0, 3*u = 6*k - 2*k - 34. Let r be x(u). Solve 0 = 4*h + r - 3 for h.
-5
Let v(z) = z**3 - 14*z**2 + 14*z - 3. Let w be v(13). Solve -8*i + w = -3*i for i.
2
Let n(r) = -r**3 + 6*r**2 + 8*r - 7. Suppose -2*a = 2*i - 6*i - 28, -2*i + 2 = 3*a. Suppose -7 = -a*z + 3*z. Let d be n(z). Solve b = -1 - d for b.
-1
Suppose 0 = 2*p - 4*p + 2. Let d(j) = 3*j**2 - p + j**3 - j + 0*j + 2 + 0*j**2. Let b be d(-3). Solve -b*x = -x + 9 for x.
-3
Let h = 3 + 1. Let v be 12/(-15)*(-10)/h. Suppose v*z - g - 3 = 3*z, 2*z = 4*g + 12. Solve z = y + 2*y - 15 for y.
5
Let a(x) = -x**2 - 11*x - 7. Let j(h) = h**2 - h - 10. Let d = 15 + -15. Let m be j(d). Let q be a(m). Solve q*i + 5 = -1 for i.
-2
Let f be (((-8)/2)/(-4))/(1/9). Solve -8*j = -f*j + 4 for j.
4
Let z = -11 - 12. Let o = z - -33. Suppose 5*g - 5 = o. Solve g*j = -6 + 3 for j.
-1
Let l = -9 - -5. Let w(n) = 6*n + 4. Let z(j) = 7*j + 3. Let m(k) = 5*w(k) - 4*z(k). Let i be m(l). Solve i = -0*r + 3*r + 3 for r.
-1
Suppose 0 = 8*w - 9*w + 19. Suppose -w*c = -16*c - 6. Solve 0 = -c*o - 1 - 1 for o.
-1
Suppose -3*u + 6 = -5*u. Let a be u/((-15)/84 + 2/(-8)). Solve -16 = 3*w - a*w for w.
4
Suppose -6 = 2*t - 28. Suppose -d = -2*c - 17, -4*d + t + 1 = 0. Let w = c + 11. Solve w*s + 8 = -4 for s.
-3
Let n = 1497 - 1487. Solve -n*b + 6*b = -12 for b.
3
Let w(l) = -l**3 - 6*l**2 - 4*l + 4. Let n be w(-4). Let m be (-3 - 2)*n/30. Suppose 3*x = m*x. Solve 0 = -5*a - x*a - 25 for a.
-5
Suppose 4*p + 6 = 3*p - z, -5*z = 2*p + 21. Let o(c) = -5*c - 1. Let w be o(-4). Let h be 2/(-6) - w/p. Solve q + 10 = h*q for q.
2
Let g(i) = -7*i**2 + 8*i - 7. Let k(n) = -15*n**2 + 16*n - 15. Let w(a) = 13*g(a) - 6*k(a). Let q be w(7). Solve q*j = 3*j + 6 for j.
2
Let s = 5 - 3. Let n = 11 + -8. Suppose -n*z + 4*b - 10 = 2*b, 5*z = -3*b + 15. Solve 0 = -s*l - z*l for l.
0
Suppose 0 = -8*z + 29 - 13. Solve 0 = -z*s - 5*s for s.
0
Let w(b) be the third derivative of -b**4/24 - b**3/2 + 4*b**2. Let r be w(-6). Suppose -h + 5 = 2. Solve -r*x + h = 9 for x.
-2
Let b be 2 - (-7 + 10/2). Solve 15 = -b*q + 7*q for q.
5
Let g(y) = -3*y - 15. Let n be g(-6). Let c be n - (0 + (-4 - -3)). Solve c*b = -12 + 4 for b.
-2
Let h = 252 - 252. Solve h = -2*y + 29*y + 81 for y.
-3
Let r(l) = 2*l**2 + 4*l - 3. Let w be r(2). Solve -2*u = 3 - w for u.
5
Let t be 722/(-14) + (-4)/(-7). Let z be (-6)/t + (-96)/(-51). Solve z*s = -2*s for s.
0
Let r = 690 + -690. Solve 5*u - u + 12 = r for u.
-3
Suppose -25 + 85 = 11*t + 27. Let m = 5 - 3. Solve -m = -t*i + 4 for i.
2
Let p = 297 + -293. Solve -p = 9*z + 5 for z.
-1
Let w(h) = 3*h**3 + 64*h**2 + 19*h - 37. Let g be w(-21). Suppose -2 + 5 = b. Let o be (-9)/(5/(-2) - -1). Solve o = -g*x + b*x for x.
-3
Let s = 263 - 263. Suppose 2*q = -3*c, -3*q - 2*c = -0*c. Suppose q = 3*l + l. Solve s*n - n + 5 = l for n.
5
Let s(l) = 2*l**2 - 27*l + 27. Let p(u) = -3*u**2 + 40*u - 40. Let h(k) = -5*p(k) - 7*s(k). Let w be h(10). Solve -3*c - 16 = -w for c.
-5
Let b(o) = -o**3 - 5*o**2 + 5*o + 7. Let m be b(-7). Suppose 2*y + 34 = 2*j - 2*y, 5*j + 5*y = m. Solve 6*d + j = d for d.
-3
Suppose 3*a - 3 = 0, 2*a - 11 = 3*j - 6*j. Suppose 74*b + 35 = 81*b. Solve 1 = -j*m - b for m.
-2
Let a(o) = 111*o + 339. Let t be a(-3). Solve -12*z = -18*z + t for z.
1
Suppose -7*k + 20 = 3*k. Let n be (-1)/k*4 + (-1 - -7). Solve -3*x = -n*x - 2 for x.
-2
Suppose -15*o = -2*c - 13*o + 24, -4*o = -5*c + 56. Solve 10*t - 2*t - c = 0 for t.
1
Let z(k) = k**3 + 18*k**2 + 19*k + 34. Let n be z(-17). Solve -h + 21 - 25 = n for h.
-4
Let f = -32 + 37. Solve f*a - 1 = 6*a for a.
-1
Let j = -217 - -220. Solve -b + j*b = -4 for b.
-2
Suppose -s = -2*i + 88, -i + 9 = s - 29. Let c = i - 36. Solve g = 4*g + c for g.
-2
Let k = 8 + -4. Suppose 0 = 5*m - w - 65, -2*m + w + 6 + 23 = 0. Let r(y) = -3*y + 31. Let q be r(9). Solve m = k*i + q for i.
2
Suppose 0 = -q - 2*q + 24. Let g(b) = -b**2 + 5*b - 6. Let m be g(6). Let t be (2/q)/((-1)/m). Solve -5*c = -t - 7 for c.
2
Let t = -587 + 590. Solve t*z + 66 = 75 for z.
3
Let d(q) = -4*q**3 + 3*q + 2. Let j be d(-1). Suppose 12*s - 72 = j*s. Solve 0 = -2*z + 2 - s for z.
-3
Let y be -15*2/6 + 11. Solve -y = 2*b - 16 for b.
5
Let k(o) = -2 + 3*o - 4*o**2 - 2*o**3 + 3*o**2 + o - o. Let z be k(-2). Suppose z*p - 20 = -3*b + 2, p - 5*b = -6. Solve -5*r - 1 = p for r.
-1
Let u be ((-4)/3)/((-36)/162). Suppose 0 = v - 4*p - 20, -u*v + 8*v + 3*p + 4 = 0. Solve 0 = m + 1 + v for m.
-5
Suppose 4*q + 14 = 17*m - 16*m, -2*m = -q - 7. Solve 13*x + 3*x = m*x for x.
0
Let r be (6 - 2) + 2/2. Let a be (-7 + 3)*(r + -1). Let t be 21/(-14)*a/6. Solve 5*n = t + 1 for n.
1
Let p = -3 + 8. Let n be p/(-30) + (-38)/(-12). Solve -3*t = -6*t - n for t.
-1
Let t(z) = -4*z**2 + z + 14. Let j be t(0). Solve 7*i = j*i + 21 for i.
-3
Let p = 1 + 3. Suppose -7*z - 12 = -3*z, 2*z = 5*j - 21. Suppose 7 = p*y + j. Solve -3 = 2*v + y for v.
-2
Let n(r) = 2*r**2 + 13*r + 22. Let q be n(-4). Solve 4*t = q*t + 10 for t.
5
Suppose 5*m + 26*o = 24*o + 17, 0 = -3*m - 2*o + 7. Suppose -4*u + 144 = -172. Suppose -2*x = -5*d + 94, 3*d + 22 = x + u. Solve 0 = m*v - v - d for v.
5
Let z = -85 - -88. Suppose 4*v = z*g + 6 + 6, -4*v + 12 = -5*g. Solve l - v = 1 for l.
4
Let l(d) = -2*d - 5. Let j be l(-5). Let f be (-24)/12 - (0/2 + -7). Let t = f - 4. Solve -r + j - t = 0 for r.
4
Let g = -184 - -184. Solve 15 + g = 3*j for j.
5
Let y be 59 - (20/(-4) + 1). Let o = -60 + y. Solve o = 4*g - 7*g for g.
-1
Let d be 12/(-10)*-5 + 3. Solve -2 = -d*q + 7 for q.
1
Let x be -5 + 4/2 + (-7)/7. Let k be -4 - x - (-1 - 2). Solve k*h + 8 = -h for h.
-2
Suppose 15*j - 14*j = 17. Suppose j*o - 14*o = 15. Suppose -b - 17 = -4*q, o*q - 2*b - 22 = -0*q. Solve 0*g = -q*g + 4 for g.
1
Suppose m - 14 = -3*n + 70, -5*m + 368 = 2*n. Let t = m + -72. Solve -y + 0*y + 1 = t for y.
1
Let j(s) = 6*s - 21. Let l be j(7). Suppose -2*w = 2*h + 3*w + 9, 4*w + l = 3*h. Solve 3*u + h + 12 = 0 for u.
-5
Suppose -t = p - 24 - 31, -3*t - 9 = 0. Solve 0 = 63*j - p*j for j.
0
Let u(o) be the third derivative of o**4/24 + o**3 - 18*o**2. Let d be u(-2). Solve -d*j + j + 9 = 0 for j.
3
Let j(u) = -11*u**2 + 2*u + 3. Let p(r) = 10*r**2 - 2*r - 4. Let i(m) = -5*j(m) - 4*p(m). Let n be i(1). Solve 4*z - 2 + n = 0 for z.
-3
Let c = -25 - -30. Suppose -10*x - 5 + c = 0. Solve x = -5*g + 9 - 29 for g.
-4
Let d = 17 + -14. Let q = -6 + 7. Suppose 0*j + q = j. Solve -d = k - j for k.
-2
Let z = -62 + 67. Solve 7*p - z = 2*p for p.
1
Let g(b) be the first derivative of -b**3/3 - 5*b**2/2 + 9*b - 11. Let f be g(-6). Solve f*i - 10 = -2*i for i.
2
Suppose 18*a - 1419 + 1023 = 0. Solve -a*z = 19 + 91 for z.
-5
Suppose 48 = 2*m + 6*m. Suppose -q + 34 = l - 63, -q + 93 = 3*l. Let a be q/m + (-18)/12. Solve -5*k + 8*k + a = 0 for k.
-5
Let f(n) = -n**2 - 4*n + 9. Let v(a) = -a**2 - 3*a + 10. Let o(x) = -5*f(x) + 4*v(x). Let g = -13 - -4. Let u be o(g). Solve -6*r = -5*r + u for r.
-4
Let w be 1 + -3 - (1 - 2). Suppose 0 + 4 = -4*t. Let d = t - w. Solve d = -n - 1 - 1 for n.
-2
Let n(t) = -19*t**3 - 10*t + 15*t + 3 + 14*t**3 + t**2. Let a be n(-1). Let s(f) = -f**2 + 4*f + 5. Let w be s(5). Solve w = a*k + k for k.
0
Suppose 0 = 3*s, -366 = -2*j - 0*s + 3*s. Suppose -b - j = -187. Solve 0 = -q + b - 0 for q.
4
Let z = -125 + 185. Suppose 3*n + 7*i - 3*i = 34, 5*i = -5*n + z. Solve 5*a + n = -6 for a.
-4
Suppose -4*w = -7*w + 6. Suppose -w*r = 5*q + 16, -4*q - 6 = 5*r - 0. Let l(x) = -2*x**3 + 11*x**2 + 6*x + 7. Let o be l(6). Solve o*y - 25 = r*y for y.
5
Let w = -60 - -64. Let x be 2/8 - (-7)/4. Suppose -u - x*l - 3 = 0, -10 = l + w*l. Solve 0*j = j - u for j.
1
Let p(x) = -33*x + 342. Let y be p(10). Solve y*r = -3*r + 75 for r.
5
Let n(q) = 27*q. Let u be n(-3). Let g = 81 + u. Solve -f + 4*f + 6 = g for f.
-2
Let g(o) = -75*o**3. Let k be g(-1). Let l = 79 - k. Solve 0 = f + l*f for f.
0
Suppose 0 = -2*a + 4. Suppose 5*y - a*y = 0. Let u be (y/4)/(1 + -2). Solve -6*o + 3*o = u for o.
0
Let t = 22 + 15. Suppose -5*c + 10*c - 3*p = t, 4*c - 5*p - 40 = 0. Suppose -c*v = -19 - 6. Solve -17 = v*n + 8 for n.
-5
Let f(d) = 34*d - 123. Let r be f(4). Solve -r*a = -8*a + 10 for a.
-2
Suppose 4*w = -4*p + 92