*m - 6. Let o be y(-4). Let v be 144/o + (-4)/(-20). Solve v*g - j = -24, 5*g - 4*j + 5*j + 16 = 0 for g.
-4
Let n(o) be the second derivative of o**5/20 - o**4/12 + o**3/6 + 7*o**2 + 5*o. Let z be n(0). Suppose 4 = -5*q + z. Solve 4*v - 2*i = 16, 0 + q = -i for v.
3
Suppose -d - 2*b + 4 + 1 = 0, 2*d = -2*b + 12. Let w(q) = q**2 - 8*q + 11. Let z be w(d). Solve z*f - 4 = -n, 5*n + f - 5 = -4*f for n.
0
Let b = -172 - -185. Solve 0 = 5*c + u + b, 4*c + u = -u - 14 for c.
-2
Let v = 19 + -20. Let p be (6/4)/(v/(-2)). Solve -2*w - 3*w = 4*z - 1, -5*w - 3 = p*z for z.
4
Suppose 2*b = 4*d - d - 13, -3*d + 5*b = -10. Solve d*c + 2 = -2*h + 5, 2*c = -h + 2 for c.
-1
Let s(g) = 2*g - 5. Let q be s(0). Let t(l) = l. Let r(o) = -4*o - 1. Let j(d) = q*t(d) - r(d). Let p be j(-1). Solve 0 = 4*y - 12, -p*v + 5 = -2*y + 3 for v.
4
Let u(m) = 7*m + 100. Let t be u(-12). Solve -3*a - t = 5*v, 4*v - 3*a + a + 26 = 0 for v.
-5
Let z = 172 - 168. Solve z*o - 16 = 0, 0*j + 11 = 5*j + 4*o for j.
-1
Suppose 3*q + 3*u - 24 = 0, -2*q = 3*u + 2*u - 22. Suppose -21*d = -68 + 5. Solve n - 3*n - 7 = -x, -4*x + q = d*n for x.
3
Suppose 4*p - 15*k = -16*k + 69, -p = 4*k - 21. Solve -4*m - 6*t = -t + p, 5*m + t + 16 = 0 for m.
-3
Suppose -8*m + 9 = -5*m. Let c = -70 + 72. Solve -m*l + 14 = 5*h, 3*h - 14 = -c for l.
-2
Let s = 91 + -135. Let h = s + 85. Solve 4*x = -5*m + h, 3*x = -5*m - 27 + 64 for m.
5
Let x = 24 - 31. Let h = -3 - x. Solve -2*n + 5 = -3*a, 0 = 3*n - h*n + a + 2 for n.
1
Suppose -20 = g - 5*g. Let s(r) = -5*r + 120*r**2 + 5 - 4 - 113*r**2. Let p be s(2). Solve -5*o + p = -g*h + h, 5*h - 3*o = -14 for h.
-1
Let s = -69 - -88. Suppose 5*w + 2*l = 3*l + s, -4*l = -4*w + 28. Solve -w*v = 3*j + 21, -3*j - 2*v = -6*j - 1 for j.
-3
Let r be 3 + 21/(-27) - (-4)/(-18). Solve -x - 8 = z + z, -r*x + 4*z = 0 for x.
-4
Let p(y) = 11*y**2 - 2*y + 1. Let b be p(1). Suppose 0 = -d + 2*d + b. Let n = 10 + d. Solve n*h = -3*x + 3*h, 0 = h + 3 for x.
-3
Suppose 45 = 2*n - 3*m, 4*n + 34 = 5*m + 119. Let v be 3/5 + (-36)/60. Solve k = -v*r - 4*r + n, 3*k + 19 = 4*r for r.
4
Suppose -24 + 0 = l. Let v = l - -30. Let i = -5 - -11. Solve 0 = -5*t - o + i, -o - 2*o + v = 3*t for t.
1
Let t be 3 - 430/(-3 + -2). Suppose -16 - t = -15*k. Solve z = 3*f + 2*z - k, 0 = 2*f - 3*z + 10 for f.
1
Let r = 993 + -991. Solve r*p - 14 = m + 4*m, -m + 6 = 4*p for m.
-2
Let m = -116 - -125. Solve -j - 2*l = -m, 0*j - 14 = -2*j - 2*l for j.
5
Let i(a) = -a**3 - 8*a**2 + 8*a - 9. Let t(o) = o**3 - 3*o**2 - 4*o + 3. Let d be t(3). Let y be i(d). Solve 4*m - 4*k + 2 = -2*k, y = -4*k + 20 for m.
2
Let a(s) = 2*s**2 - 11*s + 9. Let b be a(5). Solve b*p = 2*z + 4, -4*p + z = -3*p - 2 for p.
0
Suppose -11 - 18 = -n + 4*x, 37 = 2*n - x. Let s = -20 + n. Let c = 5 + s. Solve 4 = -c*p - t - t, -3*p = -2*t + 1 for p.
-1
Suppose -15 = -17651*d + 17650*d. Suppose 0*n = -2*n + 5*a + 20, -4*n = -5*a - 20. Let m be n*(1 + -1 + 1). Solve -2*l + d = -3*u, -25 = 5*u + 2*l - m*l for u.
-5
Suppose 0 = 3*u - 6*u. Suppose 2*v - 5 - 1 = u. Solve -3*r = -0*r + 3*d, 4*r + v = -d for r.
-1
Let x = 558 + -558. Solve -r = -4*s + 5, x = 5*r - r - 2*s + 6 for r.
-1
Let m(t) = 3*t**3 - 7*t. Let k(v) = -4*v**3 + 8*v. Let r(n) = -2*k(n) - 3*m(n). Let s be r(2). Solve s*l = 2*y - 6, 24 = -0*y - 2*y - 4*l for y.
-2
Let y be (-4)/(-18) + (-38)/9. Suppose -17*l = -21*l - 28. Let z = y - l. Solve z*u - 5*o + 2*o + 9 = 0, -15 = -3*o for u.
2
Let t = -15 + 9. Let a = t + 3. Let w be -6 + 6 + a - -16. Solve 5*h - 2*n - 19 = 0, -4*n = -3*h - 2*n + w for h.
3
Suppose 1 = -u + 7. Suppose -4*q = -u - 6. Solve -v = -2*v - q*w + 16, -24 = -5*v - w for v.
4
Let d(f) = -f**2 + 8*f - 2. Let k be d(7). Let x be k/(-20)*2*0. Solve c - 1 = 4*m, -3*m - 4*c + x = -4 for m.
0
Suppose u = -4*f + 10 + 5, u + 30 = 5*f. Let h(i) = 2*i**2 - 3. Let z be h(3). Solve -2*w = -a + f*a + 20, z = -3*a for w.
0
Let i(m) = m**3 - 4*m**2 - 14*m + 61. Let b be i(4). Solve 0 = b*c + 4*r - 3, 2*c + 3*r - r = 0 for c.
3
Suppose -4*h - 3*x + 10 = -19, h + x - 8 = 0. Let v = -310 + 325. Solve 2*j - v = -h*f, -3*f - 14 + 54 = -5*j for j.
-5
Suppose g - 15 = -2*u, -9 - 1 = -3*g + u. Solve 2*c + 0*c + g = z, 3*z - 15 = -c for c.
0
Let v be 8 + (9/(-6))/((-8)/(-16)). Solve 5*l = -4*f + v, 0*l + 4*l - 25 = f for f.
-5
Let o(p) = -18*p**2 - p. Let b be o(1). Let m = b + 28. Solve m = -3*z + d, 5*z - 4*d = -0*z - 22 for z.
-2
Let j(r) = r - 7. Let l be j(5). Let a be (1/l)/((-2)/48). Let s(h) = -11*h**2 + 422*h - 149. Let d be s(38). Solve 3*n = -v + 15, -a = -d*v - v for n.
4
Suppose 0 = -4*q + 3*q - 20. Let v(o) = -24*o**3 + 2*o**2 + 3*o + 2. Let w be v(-1). Let i = q + w. Solve -p - 2 + 0 = 0, 0 = -i*g + 3*p - 19 for g.
-5
Let l be 9/6*(-22)/(-11). Solve m = -l*v - 0*v - 13, -4*v = -m + 22 for m.
2
Suppose 104*t = 107*t - 15. Let o be 1*3*90/27. Solve 0 = t*p - w + o, 2*p - 5*w - 10 = 9 for p.
-3
Let a(k) = k**3 + 13*k**2 + 26*k - 37. Let g be a(-10). Solve -5*m - 11 = -4*s + 4, -m = -g*s + 14 for m.
1
Suppose -5*t + 104 = -161. Let o = -46 + t. Solve -1 = z - c - o, 3*z = -5*c - 6 for z.
3
Suppose 2*y + 6 = 0, -z + 3*y = 4*z - 34. Let w(v) = -v**2 - 5*v - 2. Let d be w(-5). Let h be ((-12)/30)/(d/10). Solve 4*b = 2*f + 4, 3*b + h - z = 4*f for f.
0
Suppose 3*q - 298 = 23. Let u = q + -105. Solve -8 = -u*p + 4*d, 0*p + 3*p = -5*d - 21 for p.
-2
Suppose 4457*c = 4460*c - 9. Solve 5*n - 5 = 4*v, -c*v - 5*n + 0 + 5 = 0 for v.
0
Suppose -8 = -3*t + 40. Suppose 2*a - t - 4 = -2*v, 4*a - 12 = 3*v. Solve 5*z + 2 = 4*l + 5, 2*l - a = 0 for z.
3
Suppose 3*g + 10 - 1 = 5*z, z - 5 = -g. Solve 0 = -z*v + f + 6, -3*v + 3*f - 4*f = 0 for v.
1
Let u(f) = f - 5. Let z = 14 + -4. Let m be u(z). Solve -d = -2*a, -a + 2*a = -m*d for d.
0
Let f be 12 + (-4)/(-16)*0. Suppose 8 - f = -j. Suppose k - 5*y + 2 = j*k, 0 = -5*k + 2*y + 24. Solve 2*q - k = -2*u + 6, 0 = 2*q for u.
5
Let m(w) = -39*w + 19. Let n be m(-2). Let j = n - 78. Solve g - 15 = 5*s, -2*s - j = -3*g - 0*s for g.
5
Let x be 72/15 + 48/40. Solve k - c - 5 = 0, 3*k - 2*c - x = 8 for k.
4
Suppose -14 = -3*c + d, -4*c + 2 = 5*d - 3*d. Solve -c*t + 6 = -3*i, -4*i - 8 = -0*t - 3*t for i.
-2
Let q be 36/(-5)*((2 - -2) + 26). Let a be (1/(-2))/(-3*(-6)/q). Solve a = 2*p, -t - p = p - 8 for t.
2
Suppose 2*x - 16 = 2*g, -g + 2*g = -4*x + 27. Solve 0 = -3*o - 3*h - 3, 4*h = -o + x*h - 13 for o.
-4
Suppose 4 = 6*f - 4*f. Solve f*q = v - 3 + 11, 3*q = -2*v - 2 for v.
-4
Let t(y) = -6*y**2 - 3*y - 11. Let x(o) = -7*o**2 - o - 12. Let m(k) = 5*t(k) - 4*x(k). Let w be m(-4). Solve n + 2*u - 3 = 0, 6*n - 2*n + w*u - 12 = 0 for n.
3
Let c be 44 + 3 + -1 + (-4)/4. Let x = 55 - c. Solve 2*q = 2*i - 13 - 1, 5*i + x = -4*q for q.
-5
Let o be 4*19/3 + (-9)/27. Let m be (1 - o/10)/((-3)/8). Solve 4*v = m*n - 4, -2 = -2*n + 2*v + 2*v for n.
1
Let n be ((-9)/(-12))/(3/20). Suppose 2*r = -u + 7, 0 = -n*r + u + 3*u + 50. Solve -2*l + r = 4*s - 4, s - 6 = -4*l for s.
2
Let a be 12/21 - 144/(-42). Solve u - 4*x = -6 - 0, a*u - 5*x = -2 for u.
2
Suppose -4*b + 17 = 2*m - 73, 3*m - b - 135 = 0. Let v = -38 + m. Solve 5*a = 5, -2*l + v = -4*l - a for l.
-4
Let x be 15/12 + 2/(-8). Let j be (-4)/10*(-30 - -25). Solve d = 4*y + 5 + x, -j*d + y + 5 = 0 for d.
2
Suppose 3*a = -59 + 95. Solve -4*y - a = -7*y, -n - y = 1 for n.
-5
Let n = 40 - 37. Suppose -3*i = -7*j + 11*j - 29, 0 = 2*j + n*i - 19. Solve j*r = 3*c + 34, 0 = -2*r + 5*c - 3*c + 16 for r.
5
Let i(a) = -a**2 + 5*a - 2. Let o be i(3). Let j(w) = -1 - 11*w + 4*w**2 + o*w + 8*w. Let s be j(1). Solve -5*f - 2*p + s*p = -3, 0 = p + 4 for f.
-1
Let a(c) be the first derivative of c**3/3 + 9*c**2/2 - 3. Let v be a(-5). Let j = -11 - v. Solve 0 = 3*m + 3*b - 18, 3*m - 5*b + j = 3 for m.
3
Suppose -38 = -5*l - 13. Suppose -5*n - 7*w + 38 = -6*w, l*n = -4*w + 32. Solve -j - 5*u = n, -5*j + 5*u = -0*u - 20 for j.
2
Let v = 104 - 104. Let d be (-1)/(-2) + 51/6. Solve -3*r + 3*y + 9 + d = v, -5*r - 3*y = -14 for r.
4
Let u be (-1 + 0)/((705/360)/(-47)). Solve 2*p - 18 = 2*h, 12*h - 11*h + u = 4*p for p.
5
Let g(q) = 3*q + 78. Let l be g(-24). Let o be l/3*(-3 - (-7)/2). Solve 4*m + 12 = 0, -3*y + 2*y - 2*m = o for y.
5
Suppose -4*c + 16 + 0 = 0. Suppose 3*n = 5*b + 5, c*n - 15 = -0*n + 5*b. Let t = 39 - 9. Solve -d