= 2*k - 9, 0 = -k + 2*j - o for k.
5
Suppose 5*f = 8*m - 24, 5*m - 15 = -7*f + 9*f. Suppose -2 + 0 = -k. Solve -4*q - 6 + f = -w, 5*q - 4*w = -k for q.
-2
Let q(v) be the first derivative of -v**4/4 - 7*v**3/3 - 5*v**2/2 + 8*v - 16. Let x be q(-6). Solve 2*i - x + 0 = -4*h, 0 = 4*i + 4*h - 4 for i.
1
Let x(d) = 2*d**2 - 3*d - 6. Let i(t) = -t**2 + 3*t + 5. Let q(a) = 3*i(a) + 2*x(a). Let h be q(0). Let g = 6 - 5. Solve g = -y - v, -14 + 3 = h*y + v for y.
-5
Let w(k) = 3*k**2 - 9*k - 10. Let o(t) = 2*t**2 - 8*t - 9. Let n(f) = -5*o(f) + 4*w(f). Let g be n(-2). Solve -4*h = g*q - 0*h - 8, -h + 2 = -q for q.
0
Suppose o - 11 = 4*t, 3*o - 37 - 14 = 3*t. Solve 2*m - 18 = -2*m + 2*g, o = -3*m - 5*g for m.
2
Let j = 1 + 25. Suppose 3*l + 13 = -j. Let w be (-8)/2 + (-7 - l). Solve 4*v + 8 = w*m, -v + 2*m = 8 - 3 for v.
-1
Let d(c) = 6*c + 2. Let m be d(2). Let a = 7 - -8. Let r be (0/(a/3))/(-3). Solve 0 = 2*x - 5*k + m, r*k = x - 2*k + 6 for x.
-2
Let i(j) = -j**3 + 3*j + j**2 + 2*j**2 - j**2 - 3. Let b be i(2). Let y = 2120 - 2116. Solve -4*m - w + 10 = 0, b*m - y*m - 3 = 3*w for m.
3
Let v(u) = 10*u - 7. Let r be v(2). Let t(d) = 4*d - 50. Let s be t(r). Solve -x = -2*x + z + s, z - 6 = -x for x.
4
Let b = 1258 - 1258. Solve 5*s - 4*p + 9 = -b*p, 4*s = -5*p - 40 for s.
-5
Let n be -8*(-3)/14 - 10/(-35). Solve 0 = 2*i - 5*g - 27, -n*g - 7 = 6*i - 3*i for i.
1
Suppose -28*i - 41 = -125. Solve -i*y - 4*x - 6 - 15 = 0, 3*y - 5*x - 6 = 0 for y.
-3
Let s(f) = f**3 + 6*f**2 - 11*f - 23. Let o be s(-7). Let a(w) = -w**2 + 5*w - 3. Let q be a(3). Solve 2*r + 9 = 5*l, 0 = q*l - o*r + 3 + 3 for l.
3
Let q = -44 + 63. Let g be (-1)/(-1) - (0 - 3). Let w = q - g. Solve 2*y = -3*l - 7, 4*l + w = y + 2*y for y.
1
Suppose 2*m + 8 = 5*o, 4*m = -5*o - m + 15. Let g = o + 2. Solve 2*r - 3*h - 14 = g*r, 5*r + 26 = -3*h for r.
-4
Suppose -23*w + 18*w = -35. Solve w = m - 2*r, m - 2*r - 8 = -m for m.
1
Suppose -88 = -28*j + 26*j. Let a = -40 + j. Solve 2*k - q + 7 = 0, -2*q = a*k + 15 + 3 for k.
-4
Let l be 2*(-8 - (-34)/4). Solve -3*j + 4 = 3*n - 7*n, 0 = 4*j + n + l for j.
0
Suppose -7*p = -14*s + 11*s, -2*s - p = 0. Solve 0 = -9*d + 7*d + z - 11, -d - 3*z + 5 = s for d.
-4
Suppose -5*d - 20 = -9*d. Let c = d - -30. Suppose -s = -2*z + 6*z - 17, 12 = 2*z + 4*s. Solve -t = -4*x - 4*t + 29, -z*x + c = 5*t for x.
5
Let m = 15 + -13. Suppose m*q + 12 - 6 = 0. Let h be ((-10)/q)/(-5)*-6. Solve 0*g = -3*g - h*u + 14, -g = -2*u + 2 for g.
2
Let j be 120/(-5)*1/(-2). Solve 3*b - 2*l - j = 0, 10 = b + 5*l + 6 for b.
4
Suppose 2*w + 15 = 5*w. Suppose 3*x = 4*q - 43, 11 = -w*x + 4*x + 2*q. Let c be (2*3)/(x/(-14)). Solve -4*h = -r + 5 + 10, -c*h = -4*r for h.
-5
Suppose -2*j = -2, -4*j = c - 6 - 2. Let w be (-6)/(-39) + c/(-26). Suppose 2*x + w*x = 14. Solve 2*o - 20 = 3*n, x*o + 5*n + 8 = 4*o for o.
4
Let g be (-24)/8*(-13)/3. Solve 10*r = -y + 5*r - g, 4 = 5*y + 2*r for y.
2
Let k be ((-8)/3)/(0 - 4/528). Let r be k/154 + (12/(-14))/3. Solve 6*c - c + 4*v = 6, 0 = r*c + v - 3 for c.
2
Let b = -1192 - -1197. Solve 5*y + 3*s + s = 21, -b*s + 18 = -2*y for y.
1
Let o = -717 - -722. Solve -o*p - z - 7 = -0, 3*z = 3*p - 3 for p.
-1
Suppose -5*t + 44 = 5*y - 51, 3*t + 5*y - 55 = 0. Solve 5*p = 2*g - 1 + 16, t = 5*p - 3*g for p.
1
Let m(x) = -x**3 - 8*x**2 - x - 10. Let s be m(-8). Let t be 1 - (0/(-4) + s). Solve 0 = -a - 2, t*d - 2 = d + 5*a for d.
-4
Let n = 249 - 239. Solve -4*w + 5*s + 2 + 26 = 0, 3*w - n = s for w.
2
Suppose 931*g - 156 = 919*g. Solve -g = q + 3*j - 0*j, -q + 4*j + 8 = 0 for q.
-4
Let x = -107 + 105. Let h be 4*(3 - 4 - x). Solve -5*s - d = 6 + 2, s - d + h = 0 for s.
-2
Suppose 0 = -3*u + 2*u + 32. Suppose u + 8 = 5*b. Solve 3*g - 5*t + b = 0, -t = -0*t - 1 for g.
-1
Let u(d) = 2*d + 14. Let x be u(-6). Suppose 4*y - x*y = -30. Let k = y - -19. Solve 4 = -a + 2*j - 1, -7 = k*a + 5*j for a.
-3
Let r(f) = -f**3 - 30*f**2 - 31*f - 56. Let v be r(-29). Solve -p - v*m - 9 = 0, -8 = -p + 5*m + 11 for p.
-1
Let a be (17/34)/((-2)/(-12)). Suppose -s - s + 12 = 0. Suppose 3*k - 8 = -k. Solve -4*v + 18 = 2*j, a*j = -v + k*j + s for v.
3
Let b be (-28 - -18)*12/(-10). Solve 2*r + 2*j - 10 = 0, 2*j - b - 2 = -4*r for r.
2
Let y = -13 - -27. Let t = -2 + y. Solve 0 = -3*g + t, 2*g - 5 = -5*z + 2*z for z.
-1
Let c = 129 + -138. Let q(k) = -2*k - 15. Let b be q(c). Solve 5*z - 4*u + 23 = 0, -b*u = 4*z - u + 8 for z.
-3
Suppose 0 = -5*y - 20, -t + y = -47 + 38. Solve -3*i - t*z - 26 = -0*i, 4*i + 24 = -4*z for i.
-2
Suppose -4*r - 5*k = -3*r - 42, 2*r - 75 = -k. Solve n = -4*u - 17, -5*n + 4*u + r = 2 for n.
3
Suppose -6*u = 5*p - 7*u - 31, 2*p - 18 = -u. Solve 2*q + p = 2*b + 17, 10 = 4*b + 2*q for b.
0
Let n be 2597/53 - -1*(5 - -2). Solve 5*x - 4*t + 40 = 0, 4*x - 15 = 5*t - n for x.
-4
Suppose 50*x - 33*x = 153. Solve g - 4*h = -0*g + 13, 3*g - x = -3*h for g.
5
Let b(t) = t**3 + 3*t**2 - t + 2. Let v be b(-3). Solve 0 = -v*u + 5*d + 20, 5*u + 0*d = d for u.
-1
Let p be 5*-1*2/(-14 - -13). Solve 10*w = 5*w - p, s - 11 = 4*w for s.
3
Suppose 5*c - 943 + 818 = 0. Solve -c = 5*p, -l + 3*p + 6 + 11 = 0 for l.
2
Let q = 650 + -636. Solve -u + 5*f = 2*u - 5, f + q = -2*u for u.
-5
Let v(t) = t**2 + 12*t + 53. Let n be v(-5). Solve 0 = -2*f - 4*x - n, -5*f + 0 = -4*x + 3 for f.
-3
Suppose g - 29 = -3*o, 3*o = 7*o + 4*g - 36. Solve -5*z + 2*n + 14 = 0, 6*n - 5*n = 4*z - o for z.
2
Suppose 12 - 90 = 3*n. Let r = n - -28. Solve -r*y = 4*x + 22, 0 = -y - 0*y + x - 2 for y.
-5
Let r be 6 + 150/5 + -8. Solve -4*x - 4*j = -r, -3*x = -6*x + 2*j + 11 for x.
5
Suppose 3 = -3*w, -w + 71 = 3*m - 3*w. Let i be (m - 1)*(3 - -1). Suppose 2*c + i = 6*c. Solve 2*k - 3*p + c - 4 = 0, -4*k - 5*p + 8 = 0 for k.
-3
Let g be 7 - (-7 - (-10)/1). Solve 3*u + 4*d = 2*d + 9, 0 = g*d for u.
3
Let y = 2479 - 2476. Solve -2*s - 6 = 5*b, -5*b - 9 = -y*b + 3*s for b.
0
Suppose -5*r = 4*b - r, -2*r = -2*b + 20. Suppose -l = 2*z - 2, 3*z - 8*z + 3*l = -b. Solve -q - 4*p + 3 = z, 3 = q + 5*p for q.
-2
Let v be (0 - -1) + (-3 - -4). Let w be 3*(2/(-6) + v). Suppose 7*k - 11*k = -40. Solve w*i = -k, x + 4*x + 2 = -i for x.
0
Let w(h) be the second derivative of h**4/12 - h**3/6 + h**2/2 - 6*h. Let b be w(0). Suppose -6*v + 2*v + 4 = 0. Solve -c + 4*l - 3 = b, -4*c - l + v = 0 for c.
0
Let b = 282 + -270. Solve 4*m = -b, -3*p + 0 = -2*m - 12 for p.
2
Let l be (-3 - 46/(-18))/(8/(-36)). Solve l*w + 4*f + 8 = -2*w, 0 = -w + 3*f - 6 for w.
-3
Suppose -135 = -18*l - 99. Solve x - 11 = 4*j, -7*j = l*x - 2*j + 4 for x.
3
Let q be (-18)/12*(-52)/6. Suppose -4*d + f + q = 0, 5 = 5*d + f - 0*f. Suppose d*j = -j. Solve -3*b + c + 1 = -5*b, b - 3*c + 18 = j for b.
-3
Let w = 49 + -45. Suppose w*j = 38 - 30. Solve -4*f - 30 = c + 4*c, 10 = -j*f for c.
-2
Let a(b) = b - 6. Let i be a(6). Let g = 2 + i. Suppose -3*o + 45 = m + 47, 2*o + 24 = 5*m. Solve m*f - w = -18, -w = g*w + 6 for f.
-5
Let i = -784 - -788. Solve i = -u + 3*x, -3*x = -4*u - 2*x - 16 for u.
-4
Let q(t) = t + 5. Let i be q(-4). Let c be ((-1)/(-2))/(i/6). Let w = c - 1. Solve 3*o = h, -w*h - 2 = 2*o + 6 for o.
-1
Let u = 61 - 56. Solve 3*s - 16 = -u*n, s + 2*s - 10 = -2*n for n.
2
Suppose -3*g + 5*f + 42 = 0, -4*g - 5*f = -2*f - 27. Suppose -4*x + g = j, -2*j - 1 = -x + 8. Solve 2 = -5*s + x*o, 0*s = -4*s + 4*o for s.
-1
Let r be (-24)/(-120) + (-24)/(-5). Solve 3*k - 10 = -4*m, r*m + 2*k = -0*k + 16 for m.
4
Let h(x) = x**3 - 9*x**2 - 10*x + 1. Let g be h(10). Let y be ((-1 + 2)*g)/(2/10). Solve -y*b = -3*m + 14, 2*m + 2*b - 1 = m for m.
3
Suppose -4*v + 3*i - 133 = -217, 0 = i. Solve 3*n + v = 2*n - 4*a, 2*n + a + 14 = 0 for n.
-5
Let j be 5/(-15) - (-904)/12. Let k = j - 70. Solve 3*y - 2*h = -0 + 5, 4*y + k*h - 45 = 0 for y.
5
Let g be ((-15)/10)/((-6)/4 + 1). Solve 0 = 2*v - g*v - w + 6, -5*v - 2*w = -21 for v.
3
Suppose 3*d + 5*t = 2*d + 42, -5*d = -3*t - 154. Let x be ((-3)/2)/(-3 + 84/d). Solve -4*r + 11 = c, -3*c - 7 = -2*r + x*r for c.
-5
Suppose -s + r + 9 = 0, r = -2*s + 7 - 4. Let l be 29/(29/(-16)) - -16. Solve 4*u = -4*d - 24, s*d + d + 4*u + 27 = l for d.
-3
Suppose 0 = 4*j - 7*j + 57. Let s be (-13)/5 - 4/10. Let h be (-10)/(s - -1) + -2. Solve 0 = -h*m - w + j, -m = 4*w - 10 - 11 for m.
5
Let f(g) = g**3 + 6*g**2 - g - 6. Let n be f(-6).