 0 = -4*m - n + k*n - 3, -g*m - 28 = 4*n for m.
-2
Let r(c) = c**3 + c**2 + c - 2. Let y(i) = -i**2 - 6*i - 6. Let d be y(-4). Let b be r(d). Let s be (6/b)/(1/14). Solve 5*o + 0*z = z + s, 2*z = 5*o - 9 for o.
1
Let r(q) = 2*q + 4. Let k be r(-10). Let m = -20 - k. Let v be (-22)/m + 3/(-2). Solve -3*p - 6*i - 16 = -i, v*i + 12 = -2*p for p.
-2
Suppose p + 5*r - 5 = 0, -5*p + 4*r + 30 = -53. Suppose -p*o - 9 = -18*o. Solve -5*b + 4*w = 18 - 6, 2*b = w - o for b.
0
Let m(c) = 2*c. Suppose -6 = -4*y + y. Let u be m(y). Solve g - 4*r + 7 = 0, 2*g = r - u*r - 3 for g.
-3
Suppose -3*n + 4*t + 11 = 147, -4*t + 56 = -n. Let y = -36 - n. Solve 0 = -2*x - 5*p + y, p - 5 = -2*x + 3*x for x.
-3
Suppose -181*b - 238 = -164*b. Let t be 98/(-6) + 2/(-3). Let n = b - t. Solve 5 = -u + 2*c + 19, 5*c = n*u - 37 for u.
4
Suppose 0 = 5*k + 10, 4*k + 23 = 16*q - 11*q. Let h be (-6)/(-15) + (-2)/5. Suppose h = -z + 3*z - 5*c + 3, z = c. Solve q*w + a = -4, -w - z = -2*a - 2 for w.
-1
Let q = -5 - -10. Let d = 606 - 603. Solve 10 + 9 = s + d*a, -q*a + 29 = s for s.
4
Let j be (3/2)/3*(-40)/(-5). Let n be ((-2)/6)/((-2)/(-6)). Let q be 0*(1 - (-1 - n)). Solve -4*c = 5*s - 2*c - 5, q = -j*c for s.
1
Let t = -21 + 12. Suppose -3*w + 18 = -18. Let h = w + t. Solve 3*o - 5 = -2*k - h, k + o = 0 for k.
-2
Let k(j) = j**2 - 3*j - 2. Let p be k(5). Let s = 12 - p. Solve -n + 4*v = n + 2, s*v = 0 for n.
-1
Let j be (-3)/((351/45)/(-13)). Solve o - 3*o - j = u, o - 4*u = 2 for o.
-2
Let u(t) = -2*t**3 - 4*t**2 + t + 5. Let j be u(-3). Suppose 9*k = 4*k + j. Solve 0 = 5*c - k*r + 3, 3 = 5*c + 2*r + 24 for c.
-3
Suppose -u + 2 = -2*y, 5*u + 7 - 53 = -2*y. Let w = -7 + 1. Let i = w + u. Solve m + o + 5 = 0, -3*m - i*o = 2*o + 15 for m.
-5
Let w(f) = -9*f - 96. Let d be w(-11). Solve 0 = 3*p + m - 1, p + 6 = d*p - 2*m for p.
1
Let h(f) be the first derivative of -8*f**2 + f - 4. Let o be h(-4). Suppose 13*c + o = 18*c. Solve -3 - 14 = 4*l + t, 3*l = -t - c for l.
-4
Let h = -303 - -306. Solve h*y + 5*q + 12 = -y, -q = y + 2 for y.
2
Let y = 5 - 9. Let j be y/6 + (-121)/(-33) + -1. Solve 4*q = j*o - 22, -o + 2*o = 3*q + 14 for o.
5
Let x be 16 + -7 + -11 + 6. Solve -5*l = x*n - 10, -4*n - 13 = -4*l - 5 for n.
0
Let b(d) = -33*d - 160. Let s be b(-5). Solve 2*v - r + 18 = 3*r, s*r = 25 for v.
1
Suppose 3*w = 2*f + 15 - 4, 5*f + 3*w = 25. Solve 21 = -5*j - 3*u - 0, -f*j + 2 = -4*u for j.
-3
Let v = -34 - -59. Suppose -4*c + 8 = -2*x, -x + v - 1 = 5*c. Solve -b - d = -c, -7*d + 4*d = -3*b + 18 for b.
5
Let r = -48 + 58. Suppose 0 = r*q - 5*q - 20. Let u be ((-1)/(-2))/(2/20). Solve -q*k + l - 18 = 2, l - u = k for k.
-5
Suppose v + 0*v + 3*z = 0, 0 = 5*z + 5. Solve -2*c + v = b, b - 3*b + 4*c - 2 = 0 for b.
1
Let l be ((-8)/(-5))/((-3)/(60/(-8))). Suppose l*t - 57 + 37 = 0. Solve -18 = -5*k + 3*f, -2*k - 1 = 2*f - t for k.
3
Let f(q) = -q + 4. Let g be 1/3 - (-10)/6. Let n be f(g). Suppose -n*y + 3*y = 3. Solve -5*p + k = 4*k - 19, y*p = 2*k + 19 for p.
5
Let n be (-24 - 0)*28/(-84). Solve -2*z - n = 5*c + 2*z, 3*z = 9 for c.
-4
Let r be (16 - 14)/((-6)/(-12)). Solve r*o = -2*f - f - 25, 0 = -2*o + 4*f + 4 for o.
-4
Suppose -3*d + 28 = -4*b, -d - 5 = 5*b + 11. Suppose -d*j + 29 = -23. Let g = j + -8. Solve -x + 7 = -3*w - 9, -g*x - 20 = 5*w for w.
-5
Suppose -2*w - 4 = r, -15 = -3*r + 5*w + 6. Solve 3*a - r = 7, -5*h = -2*a - 4 for h.
2
Let x(j) = -j**2 + 8*j - 12. Let f be x(3). Suppose 3 = -3*r - f*p + 12, -7 = -2*r - p. Solve r*d - 16 = -5*h, -2*d - 3*d + 20 = 5*h for d.
4
Let q = 110 + -105. Let z = 0 + 0. Solve q = -4*w - t, w + 5*t + 0*t - 13 = z for w.
-2
Suppose -3*f + 3*m - 3 = -15, 3*f - 5*m = 16. Suppose -u + f*k = 12, 0*u + 5*u + 84 = 2*k. Let o = u - -20. Solve o*g - 5 = -a, 0 = -3*a - a + 4*g + 8 for a.
3
Let m be (-6)/(2/((-4)/3)). Let x be 12*((-4)/(-6))/2. Suppose -8 = -4*j + 8. Solve -3*u = x*i - 6*u + 27, m*u - 32 = j*i for i.
-3
Let d be (-12)/(-3) + (-5 - -3). Solve 4*y + 2*f - 2 = 0, y + d = 3*f - 1 for y.
0
Let i(k) = 51*k**2 + 43*k**2 + 17*k - 95*k**2 - 49. Let b be i(13). Solve -12 = -4*j + 5*w + 21, -5*j - b*w - 5 = 0 for j.
2
Let k = -16 - -10. Let r be 30/18 + (-2)/k. Let z(g) = -5*g**3 + g + 2. Let y be z(-1). Solve -r*q + q + 2 = -x, -y = -3*q for x.
0
Let n = -317 + 324. Solve -4*m = a - 7*m + n, 0 = -5*m + 5 for a.
-4
Let p be -5*(58/(-5) + 2). Suppose 52*m = p*m + 8. Solve -2*f + x + 0*x = 3, m*f + 5*x = 3 for f.
-1
Let w be (-51)/(-6)*-2 + -2. Let b = 0 + w. Let t = 24 + b. Solve 3*j + 2 = -4*o + 1, 0 = t*j + o - 4 for j.
1
Let r = 120 + -113. Let v = 3 - -2. Solve -3*o + r = 1, v*d - 5*o + 10 = 0 for d.
0
Suppose t - 8 = 2*s + s, 4*t - 22 = 2*s. Suppose t*x - 12 = 2*x. Solve g - 3*j + 5 = -j, -x*g + j = -15 for g.
5
Suppose 0 = 3*p - 2*p - 5*q - 27, 4*p = 3*q + 23. Solve 4*r - 3*g - 16 = 0, 3*r + 3*g - 20 = -p*r for r.
4
Suppose 12*t = 8*t + 8. Solve -3*o - 2*g = -5 - t, -g = -4*o - 9 for o.
-1
Suppose -3*z + 0*z = -15. Let c = z + -3. Suppose -c*p + 22 = -0*p + 4*n, -3*p = 4*n - 25. Solve -2*d + a - 11 = 0, 0 = 2*d + 7*a - p*a - 4 for d.
-4
Let k(q) be the first derivative of q**2 + 20*q - 7. Let o be k(-8). Solve 16 = -o*s + 4*b, -4*s = -b + 11 + 8 for s.
-5
Let b(k) = -2*k - 6*k**2 + 0*k**2 + 5*k**2 - 1 - 19*k**3. Let h be b(-1). Suppose -h = -2*n + 21. Solve 0 = -3*f - f + 2*o - n, 4*o = -5*f - 12 for f.
-4
Let i = 190 - 163. Solve -2*c + 5*x - 7 + i = 0, 5*c = -4*x - 16 for c.
0
Suppose 0 = -2*g + 9*o - 8*o, 5*g - 2*o = 2. Solve 0 = 5*s + 10, -4*p + 4*s = g*s + 12 for p.
-4
Let h = 77 + -75. Suppose 0 = -h*s + 2*u + 6, s + u - 3 = -s. Solve -4*j = s*r + 24, 2*r + 4*j = 7*r - 10 for r.
-2
Let n = 25 + -16. Suppose -n*m + 10*m = 2. Solve v = 5*d - 2*v - 22, -v + 11 = m*d for d.
5
Let d(g) = 2*g**2 - 2*g**2 + g**2 + 12 + 0*g**2 + 9*g. Let s be d(-8). Solve 0*l = -s*b - l - 12, 2*l = 3*b - 2 for b.
-2
Let f = 89 - 84. Suppose 3*k + 3*g = 12, f*g = 4*g - 1. Solve 0 = k*x + 5*n - 10, n = -3*x + 3*n + 1 for x.
1
Suppose -28*i + 32 + 24 = 0. Solve i*b + 8*o - 1 = 5*o, -4*b = -5*o - 35 for b.
5
Suppose -78 = -11*k + 8*k + 5*n, -5*k = n - 130. Suppose 0 = 2*z + 2*z - 8. Solve 0*a - 4*a + 14 = -2*g, z*g = -4*a + k for g.
3
Let l be ((-2)/2)/((-41)/164). Solve -3*q + q - l*m = -12, 0 = -2*q + 3*m + 5 for q.
4
Suppose 6*i = 5*i + 3. Suppose -2*l + 2*w = -i*w - 19, w - 1 = -2*l. Solve 5*s + 0 = u - l, -5 = u + 2*s for u.
-3
Let u = -72 - -38. Let n = 37 + u. Let v be (-78)/(-21) - 4/(-14). Solve 4*g + 7 = -3*h, n*g + h = -h - v for g.
2
Let v(i) = -4*i**3 - 3*i**2 - 2*i - 1. Let x be v(-1). Solve 4*c = 5*b - 11, c + 7 = -b + x for c.
-4
Let g(v) = -4 - 6*v + 0 + 5*v + 3. Let q be g(-3). Solve -k + q*p = -0*k - 6, 8 = -4*p for k.
2
Suppose -11*y = -3*y - 144. Solve 3*a = 2*b - a - y, 4*b + a = 9 for b.
3
Suppose 4*c - 4*z = 28, c + 6 = -c - 2*z. Let h = 2 - 4. Let n = c + h. Solve n = -4*p, 15 = 3*o - 2*p + 5*p for o.
5
Let u be (-27)/(-5) + 16/(-40). Let h = -1 - -4. Suppose -4 = 3*c - 2*m - 14, 0 = -h*c - 4*m + 16. Solve 5*v + 24 = -2*r + 1, -c*r - u*v - 31 = 0 for r.
-4
Suppose 0 = 15*d - 111 + 36. Solve d*n = 4*f - 24, 2 = -n + 3*f - 5 for n.
-4
Suppose 4 = -4*t + 12. Let b be ((-4)/(-8))/((-1)/(-10)). Suppose 25 = 3*j - b*o, o = -0*j - 4*j + 64. Solve -3*s - t*g + j = -3*g, -4*s - 4*g + 4 = 0 for s.
4
Let i(u) = -u**2 - 60*u - 455. Let x be i(-51). Solve 0*a - 2*a + 2*k - 6 = 0, x*k - 4 = 0 for a.
-2
Let w be ((-22)/(-6))/((-9)/(-27)). Suppose 4*v - 1 - w = 0. Suppose 0 = -5*o - 1 + 11. Solve 0*r - r = -2*l - 3, -5*r - v*l + o = 0 for r.
1
Suppose -d + 9 = 22*c - 19*c, -5*c - 2*d + 16 = 0. Solve c*p - 2*v = -p + 2, v - 17 = -3*p for p.
4
Let n = 297 - 278. Let y = 10 + -6. Let u = y + -4. Solve 5*t - n = -r, -4*r - r - t + 23 = u for r.
4
Let u = -16 + 25. Suppose 2*j + y - 22 = -0*y, 4*y - 16 = 0. Solve 5*t + j = -4*w - 10, u = -3*t for w.
-1
Suppose i - 16 = -3*i. Let g = i + -4. Let q(b) = -b**2 + 4*b + 2. Let w be q(4). Solve g = -w*k - 3 - 1, k = -5*u - 12 for u.
-2
Let l(t) = t**2 - 5*t + 4. Let n be l(4). Let k be 140/56*12/10. Solve 5*r + 4*a - 22 = n, -3 = -k*r - 2*a + 3*a for r.
2
Suppose -4*v = -g - 56, -5*g + 4*g = v - 19. Suppose 0 = 3*p - v*p. Solve a + 4*q = -3 + 10, p = -5*a + 2*q + 13 for a.
3
Let c(b) = 4*b**3 + 16*b**2 - 5*b - 1