, -27 = -4*k - 3*l for k.
3
Let u = 963 + -950. Suppose 0 = 3*c - c. Solve 4*m - g + u = 0, c*g = 4*g - 20 for m.
-2
Let q(d) = -15*d - 73. Let p be q(-5). Solve -5*s + 16 = -p*v, -v + 5*v + 18 = 3*s for v.
-3
Let y = -38 - -58. Solve 2*d - 3*z = -y, 12 = -2*d - 0*d + z for d.
-4
Let q be 2/17 - 396/(-102). Let a be 10/2*(-1 + 2). Let s be 17/a - 18/(-30). Solve s*i - q*x = 20, 0 = -i - i - x + 1 for i.
2
Suppose -72*v + 67*v = -150. Suppose 29*j - v*j = 0. Solve 2*m = u + 6, j = -8*m + 3*m + 3*u + 16 for m.
2
Suppose 2*x - 2*a = -3*a + 4, -x - a + 2 = 0. Let q = -22413 - -22418. Solve 0 = m - q, x = 4*p + 4*m - 2 for p.
-4
Suppose 3*d - 5*q - 2 = 19, 3*d - 18 = 4*q. Suppose 10*n = 5*n + 30. Suppose -n = -2*s, r + 0*s = -d*s + 9. Solve -2*o - 6 = -z + r, 3*o = -2*z + 4 for z.
5
Suppose 3*z - 10 = n, 3*z - 3 - 13 = -2*n. Solve -h + 3*s = -1, 8 = -5*s - n for h.
-5
Suppose 3 = -n - 2*n, 0 = 4*a + 2*n - 14. Solve 18 = -b + 4*l, 3*l - 4*l = -a for b.
-2
Let k = -21 - -35. Suppose 4*j - 3 = 3*a + 23, 0 = 4*a + 8. Solve -5*p + 2 = j*b + 47, -p - k = 2*b for p.
-4
Let u be (-1)/(-2*(-9)/(-36)). Solve 5*k - 2*a = -3*a - u, 2*a - 9 = 3*k for k.
-1
Let z(g) be the second derivative of g**3/6 + 13*g**2/2 - 8*g. Let j be z(-11). Solve -a + 4*a + 5 = -2*u, -j*a + 2*u = -10 for a.
1
Let j = 6 + 1. Suppose 0 = -5*p + 2*p - 3. Let l be (p - -5) + 1 + -1. Solve 4*n - l*d = -j*d + 20, 4*n - 20 = 4*d for n.
5
Let t be -2 + (-10 - (-1 + -11)). Solve l - m = -t*m - 4, 0 = -3*l - 5*m - 4 for l.
-3
Let w = -5 - -20. Suppose -3*l = 3*d - w, -2 + 6 = -4*d + 4*l. Solve p = -3*g + d*p - 12, 3*g = 3*p - 18 for g.
-3
Let p = 36 + -24. Suppose -p*f + 59 = -49. Solve 0 = 2*a - 3*a - 3*i - 1, 5*a + i = f for a.
2
Let l(c) = -9*c**2 - 315*c + 5. Let d be l(-35). Solve b - 23 = 5*y, 3 = -d*y + 2*b - 18 for y.
-5
Suppose -278 = 6*y - 818. Let j be y/27*(-18)/(-10). Let f = 25 - j. Solve 2*z = 8, t - 5*z = -0*t - f for t.
1
Let l(k) = 2*k**3 + 7*k**2 + 4*k + 7. Let v be l(-3). Solve 3*w + 2*i = 9, -17*i = v*w - 19*i + 2 for w.
1
Let k(n) = n**2 + 3*n - 83. Let f be k(8). Solve -f*l = 5*o - 5, -4*o = -3*l - 30 + 12 for l.
-2
Suppose 3 = 3*f - 2*u, -3*u + 27 = 18. Solve -f*p + 0*p + 25 = -4*k, p - 7 = k for p.
3
Let g = -16 - -27. Let c = -33 + 47. Let v = c - g. Solve v*f + 12 = -3*r, -2*f + 4 = -0*r - 4*r for f.
-2
Suppose 0 = 27*m - m - 52. Solve -m*k = l - k + 2, -l - 5*k = 10 for l.
0
Let c = -1912 - -1915. Solve -c*j = 9, -3*g - 21 = 2*g + 2*j for g.
-3
Let x(h) = -8*h - 189. Let z be x(-24). Solve -k = -z*v + 3*k - 6, -8 = -v - 2*k for v.
2
Let g = 64 + -60. Suppose 5*c = -4*x, 0 = x - 2*x. Suppose g*z - z - 18 = c. Solve t - 20 = -5*y, -3*t + 4*y = -z*t + 27 for t.
5
Let n = 351 - 351. Solve -4 = -s - 2*q, 4*s - 16 = 2*q - n*q for s.
4
Let m = 684 - 681. Solve 0 = -5*b - 2*k - 1 + 4, m*b - 13 = -4*k for b.
-1
Suppose 0*d = 8*d + 240. Let x be d/(-9) + (-2)/6. Solve 0 = -4*y + y + 4*g - x, 2*g - 6 = 0 for y.
3
Let r(u) = -u**3 + 3*u + 3. Let b be r(-2). Let k(j) = j**3 - 2*j**2 + j + 10. Let h be k(0). Solve 4*d = -2*q - h, b*d - q = -2*q - 14 for d.
-3
Let p = -149 + 151. Solve -2*g - 2*d - p = -0*g, -3*g + 4*d = -4 for g.
0
Let h = -1860 + 1861. Solve 0 = 5*a + 2*z + h, -3*a + 3*z + 9 = z for a.
1
Suppose -3*z + 9 = -2*l, 3*l + z = -l + 3. Solve 3*g + 8 = -l*g - 4*n, -5*g + 45 = -5*n for g.
4
Suppose 2*u = -0*u, 4*v + u = 8. Solve v*t = -6, -a - 2*a + t = 6 for a.
-3
Let b(w) = 8*w + 116. Let z be b(-13). Solve z - 30 = 2*o - 4*k, 2*o = -5*k + 18 for o.
-1
Let a(b) be the first derivative of 5*b**2 - 4*b + 3. Let d be a(2). Solve -5*q = -3*w - 20, 3*w + 0 = -4*q + d for w.
0
Let h be (-3)/(-15) - (3 - (-42)/(-15)). Suppose -3*n + 4*n - 6 = h. Solve -2*i = 5*j - n*j - 1, -4 = -4*j for i.
1
Let i be (-3)/(-6) - (-20)/(-8). Let s be ((-15)/i)/((-13)/(-26)). Suppose -m + 4*m + 3*j = 0, 0 = 2*m - j - s. Solve 3*l = 4*q - 3, 4*q + q = m*l for l.
3
Let p be (6/4)/((-10)/(200/(-10))). Let d = -6 + 8. Let f = d - 0. Solve -4*r = -2*s, -1 = -p*r + f*s - 0 for r.
-1
Let c be (-146)/219*(-18)/4. Solve -c*g + 4*d = 35, 3*g + g + 5*d = 5 for g.
-5
Let z = -1067 + 1074. Solve 1 = -v - 2*y + z, -12 = 5*v - 4*y for v.
0
Let g(x) be the second derivative of 1/6*x**3 + 0 + 2*x**2 - 9*x. Let y be g(0). Solve 21 + 5 = 5*w - y*v, -4*v = -w + 18 for w.
2
Let i = 201 + -198. Suppose 0 = -9*h + 5 - 5. Solve 0 = 4*a + x + i, a - x + 2 = h for a.
-1
Let o = 0 + 5. Let s(h) be the first derivative of h**3/3 + h**2 - 7*h + 25. Let g be s(-5). Solve -4*c + g = -w - 2*w, o*w + 24 = -4*c for c.
-1
Suppose 8 - 17 = -3*m, -15 = -3*a - 5*m. Suppose 2*o + a = 4. Solve -3 = -d - z + 5, -11 = -d - o*z for d.
5
Let r = -228 + 231. Solve -6*t = -v - 4*t + r, 5*v - 5*t = 0 for v.
-3
Let l(o) = o**3 - 4*o**2 - 3*o - 11. Let v be l(5). Let y be (3 - -15)/(3 + v). Suppose -4 = -y*a + 5*a. Solve 4*r - 3*r = a, 3*r + 1 = -2*z for z.
-2
Suppose -2*h = -n - 93, -2*h = 4*n + n - 99. Suppose -7*t + 2*t + z + 54 = 0, 0 = 4*t + 3*z - h. Solve 0 = s + 5*m - t, 2*m - 4 - 3 = -3*s for s.
1
Let f be 0 + 16/3 + (-10)/30. Suppose 3*s - 15 = -3*i + f*s, i + 9 = -4*s. Solve -3*x + 4*h = i*h + 4, -3*x + 16 = 4*h for x.
0
Suppose 4*y = 6*y - 14. Let z be y*(-2)/(-2) + -2. Solve -z*h = -0*h - 20, -16 = -o - 5*h for o.
-4
Let f be -2*8/32*-10. Solve 0*h = -5*h + f*o, -2*o = 2*h - 8 for h.
2
Let n be ((-20)/6)/(4/(-6)). Let q = 479 + -477. Solve -3*p + 6 = -n*p + q*d, 2*d = 5*p + 3 for p.
1
Let u be 36/10 - 15/25. Suppose 2*l - 3*c = -2*l + 27, 2*l = -u*c - 9. Solve 0*a = l*a + n - 12, -2*a + 18 = 4*n for a.
3
Suppose 3*g - 12 = -u - 0*g, -u = -3*g - 6. Suppose -6*m = -1 + 25. Let r = m + u. Solve r*q = n + 10, -5*q = -n + 2*n for n.
-5
Suppose -85*q + 6 = -82*q. Solve -a = 3*a + 16, q = 3*m + a for m.
2
Let l be (5 - 4) + 5*1. Suppose s = l*s - 80. Suppose -2*h - d = -11 - 2, 4*d = 2*h + 12. Solve 0 = -5*p - 10, -2*p = -3*q - h*p - s for q.
-4
Let h(a) = -3*a - 57. Let y be h(-19). Solve -3*m + 10 = 4*d, -5*d = 3*m - y*d - 14 for m.
-2
Suppose 0 = -2*z + 3*z. Let s(a) = 6*a - 37. Let t be s(14). Let v = t + -39. Solve -v = -4*w - z*w + 2*m, -5*w + 2*m + 10 = 0 for w.
2
Suppose -4 + 1 = -3*c. Let m(n) = 18*n**3 + n**2 - 3. Let h be m(-2). Let y be h/(-52) - 1/(-4). Solve k = -y*p + 3, c + 8 = -3*k for p.
2
Let p = -42 - -77. Suppose -p = 2*q - 8*j + 5*j, 3*j = -3*q - 15. Let b = -8 - q. Solve -b*z = -z - u - 3, z = -3*u - 5 for z.
1
Let t(w) = w**2 - 11*w + 19. Let f be t(9). Let r = f + 5. Solve 2*a + 2*l = r, -4*l = -5*a - l + 7 for a.
2
Let h be (40/35)/((-3 - 1)/(-28)). Solve -2*o = -4*v, 3*o - v = v + h for o.
4
Let q = -34 - -51. Solve -2*u - 3*s + q = 0, 4*u + 1 - 2 = 5*s for u.
4
Suppose 261*b = 262*b. Solve -5*y = 20, -3 = g - b*g + y for g.
1
Let o be (4/6)/((-8)/(-24) + -1). Let x be (o - 2)*(-2 + 3)/(-1). Solve 0 = k + x*p + 4, 0 = -p - p for k.
-4
Let f(u) be the first derivative of -u**2 - 8*u + 5. Let a be f(-4). Solve -28 = 2*i + 5*w, a = -2*w + 2 - 10 for i.
-4
Suppose 0 = -d - 3*h + 1, 3*h - 4*h + 15 = 4*d. Solve -2*l = -5*v + l + 15, 3*v - 20 = d*l for v.
0
Suppose 3*j - w - 8 = -2*w, 3*j = 2*w + 20. Solve j*c - 5*h - 8 = 0, 5*c - 2 = -2*h + 8 for c.
2
Suppose 20 = 2*p - 4*r, -4*r - r = 20. Suppose -6 = 4*l + m + 2*m, -10 = -4*l + 5*m. Solve f - 9 = -2*f + 3*x, l = 2*f + p*x + 10 for f.
-1
Let m be -2 - (-2 + 15 + 6 + -10). Let s(y) = y**2 + 9*y - 20. Let t be s(m). Solve -l = 2*a + l - 6, 18 = 5*a + t*l for a.
4
Let n = -278 + 283. Suppose 0*a + 8 = 4*a. Solve 0 = -a*t + 2*q - 0*q, 3*q = n*t + 4 for t.
-2
Suppose w = -5*t + 63, -5*t - 4*w + 55 = w. Suppose k - 2 = -5*n + t, -2*n - 5*k + 29 = 0. Solve -5*h - 35 = -5*a, -n*h - 2*a + 6*a - 24 = 0 for h.
-2
Let i be (-2)/(6*(-8)/72). Solve 0 = y + 5, -5*y = i*p - 2*p + 20 for p.
5
Let t = 3 + -1. Let f = -21 - -29. Solve t*b = 3*c + 13, -3*c + 4*b - 3 = f for c.
-5
Let k = 33 + -18. Suppose 5*l = 18 - 8, -4*w + 8 = 4*l. Solve 5*y = 2*q - 7*q + k, w = -q - 2 for y.
5
Let j(h) be the third derivative of -h**6/120 - h**5/10 - h**4/24 - h**3/3 - 21*h**2. Let o be j(-6). Solve -3*g - 2 = -z - o, 0 = -5*g + z for g.
-1
Suppose 4*w - 11 = 1. Let g be 3*(15/(-9) + w). Solve -5*b + 5*k = 20, g*k = -2*b - 2*b for b.
-2
Let u = -437 + 441. Solve 0*y + 2*y = -m - 2, -5*y = u*m