 = 5*w + 12 for x.
-2
Suppose 2*k - 24 = 6*k. Let f be (8/6)/((-2)/k). Suppose 15 = b + f*b. Solve -l + q + 8 = -q, -5*q + 2 = b*l for l.
4
Let f be (-20)/(-6) - (-63)/(-189). Let l = 1 - -4. Suppose t + 5 = 2*k, -l*k + 10*t - 5*t = -15. Solve 0 = f*w + 15, -2*u + k*w + 2*w = -24 for u.
2
Let n be 1/4 + 437/92. Solve -2*m + 0*m - n = 3*i, 2*i - 5*m = 22 for i.
1
Let p be (2 + 6/(-3))/1. Suppose p = 4*u - 8*u. Suppose 1 = -2*b + 11. Solve b*g + u*g + 5 = 2*m, m + g + 1 = 0 for m.
0
Let t = -1 - -4. Suppose -j - 1 + 6 = 0. Suppose -t*x - j*b = -26, -5*x + 0*b + 18 = 2*b. Solve -k - 3 = z - x, -17 = k + 5*z for k.
3
Suppose -4*z = -z - 42. Let u(h) be the second derivative of h**5/5 - h**3/3 + h**2/2 + 2*h. Let k be u(1). Solve 5*j - z = 2*d, k*d - 2*d = 5*j - 17 for j.
4
Let k be 0/((-2)/(-10)*5). Solve k*w - 8 = -2*z + 2*w, 0 = 3*z - 2*w - 11 for z.
3
Suppose -2*v + 0*a = 4*a + 72, 41 = -v - 3*a. Let o = v + 28. Solve -o*x + 3*h = -5*x, 3*h = -5*x - 2 for x.
-1
Let t(m) = -m + 1. Let l be t(-5). Let u = l - 4. Let v(h) = -2*h**2 - 10*h + 3. Let w be v(-5). Solve w*z + 3 = u*k + 1, -5*z + 5*k = 0 for z.
-2
Suppose -j - 6 = 3*j + 3*k, 0 = -3*k - 6. Solve j = -3*z - z - 12, -4*m + 18 = -2*z for m.
3
Suppose -j = -5*g - 4*j + 15, -g + 25 = 5*j. Solve 2*a + 3*m - 14 = g, 0 = 2*m + 3*m - 20 for a.
1
Let p(o) = o**2 + 3*o. Let r be p(-4). Suppose -6 = -2*z + r. Suppose 0 = -4*j + 4*h + 116, j + 7*h = 2*h + 5. Solve j = -z*q + 2*k + 2*k, q = 3*k - 5 for q.
-5
Let b(k) = 3*k**2 - 1. Let d be b(-1). Solve -4*f + 4*t = 8*t - 4, -2 = -d*f + 3*t for f.
1
Suppose -b - 5*m = 2*b - 10, -2*b - 10 = -5*m. Solve p + b - 2 = -o, o - 1 = 0 for p.
1
Suppose 0 = 4*d + 2*n - 8, n - 5*n = 4*d. Solve a - 3*a - d = 4*c, 0 = a + 3*c + 1 for a.
-4
Let s(y) = 2*y**2 + 50*y + 5. Let i be s(-25). Solve 3*v - 10 = -0*c + i*c, v - 2 = c for c.
-2
Suppose -5*f - 84 = -f. Let b(q) = 3*q - 3. Let i be b(-3). Let t = i - f. Solve -12 = -3*h - x - 5, 0 = 5*h + x - t for h.
1
Let r(l) = 5*l**3 - l**2 + l - 1. Let i be r(1). Let n = -14 + 18. Solve n*w = 4*h - 8, -i*w = 2*h + 3*h - 28 for h.
4
Suppose a = 2*a, -4*u = -2*a + 48. Let i = -7 - u. Let b be 9/(-6)*(-9)/(81/12). Solve -15 = 5*m - i*c, 0 = -2*m - c - b + 5 for m.
0
Let m(v) = v**3 - 6*v**2 + 3*v + 11. Let f be m(5). Solve -3*g - 10 = 2*z, -z - 3 = g + f for z.
-2
Let y(n) = n**3 - 6*n**2 - n + 6. Let m be y(6). Suppose v - 3*v + 8 = m. Suppose 3*o - 5 - 10 = 0. Solve -9 = -3*a - 2*u, 4*a - o*u + v = -7 for a.
1
Suppose -5*a = 5*s + 15, -5*a - s + 5 = -0*s. Suppose a*h = 4 - 0. Solve -2*k - 2 = -3*j - 6, 0 = -h*k + 5*j + 8 for k.
-1
Suppose -3*z = -3*q - z + 30, -50 = -5*q - 5*z. Suppose -4*o - 4 = 4*g, 3 = 4*o + 5*g + 10. Suppose -2 = o*c - 8. Solve q = c*j + 2*f, 11 - 36 = -5*f for j.
0
Let j be (-2)/(-9) - (-876)/(-54). Let u = j + 19. Solve u*h = -h - 5*z, 3*z = -3*h for h.
0
Let k = -3 + 8. Suppose k*l = 3*l + 20. Solve 3*n + 8*v - l = 3*v, -5*v = -2*n - 10 for n.
0
Suppose 3*a = 2*c - 18, 3*a + 18 = 2*c + a. Suppose 3*m = q, 0 = q - 5*q + 3*m + c. Solve q*i - o = -6, 0 = -3*i + o - 4*o + 6 for i.
-1
Let g(x) = 1 + 3*x + 4*x - 5*x. Let w be g(2). Solve -c = 4*s + 3*c - 4, -5 = -4*s - w*c for s.
0
Let k(j) be the third derivative of -j**5/60 - j**4/4 + 5*j**3/3 - j**2. Let q be k(-7). Suppose 3*a - 15 = q. Solve 2*b - 5*d - 14 = 4*b, -3*d - a = 0 for b.
-2
Let g(s) = -3*s**3 - 2*s**2 + 2*s + 3. Let u = -19 + 9. Let m = 8 + u. Let i be g(m). Solve 5*c + i = -2*k, -5*k = -4*c + c - 9 for c.
-3
Let z = -6 - -15. Suppose -z = 3*y, -3*j = 5*y - y + 6. Solve j*m + 5*x = -4, -m + 2 = 3*x + 4 for m.
-2
Suppose -4*h = -6 - 6. Let z be (-2)/(-2)*(0 + 9). Suppose 0 + z = h*s. Solve 3 = y + s*q, 5*q = 3*q for y.
3
Let x = -17 + 31. Solve -4*z + x = 5*s, 3*s = -3*z + 1 + 8 for z.
1
Let g = 35 - 24. Suppose -m - 3*s = -22 - 3, 3*s = 5*m - 53. Solve t = -k + 3*k - g, -k + m = -2*t for t.
-5
Let j(y) = -2*y - 7. Let z be j(-5). Let d = -3 + 15. Suppose -t - t - 4 = m, -m + 2*t + d = 0. Solve z + 12 = -3*r + m*a, 0 = 5*r - a + 25 for r.
-5
Let b be (-4)/(-26) - ((-918)/117 + -1). Solve -33 = 5*n - 2*o - 0*o, -n - b = -o for n.
-5
Suppose 129 = 4*v + a + 33, 5*a = 0. Let z = v - 17. Let m(x) = 2*x - 6. Let f be m(z). Solve 2*p = 5*q + 11, -p + 2*p = 5*q + f for p.
3
Let f = 1 + -4. Let w be ((-18)/f - 3) + -30. Let x = -19 - w. Solve 0*z + 6 = -3*c + 2*z, -4*c + z = x for c.
-2
Suppose 6 - 2 = h. Suppose -v = -h*v + 9. Let x be 1*3/(v/2). Solve 0 = 2*k + 3*s + 5, 0 = -x*k - 2*s + 6*s + 16 for k.
2
Suppose 5 = 3*i - 4. Suppose -5*v - i*r = -60, -14 - 2 = v - 5*r. Let u = -1 + 1. Solve u = -o - 5*k - v, -4*k - 12 = 2*o for o.
-4
Let w be (1 + 3/(-5))*95. Suppose 13 = d + z, 0*d + 4*z = 2*d - w. Let s be (d/(-6))/((-1)/2). Solve -s*m + 6 = 5*j + 26, 3*m = j - 8 for j.
-1
Let w be ((-4)/(-16))/((-2)/(-64)*2). Solve z - 13 = -w*p, -4*z - 3*p - p = -4 for z.
-3
Let t = 23 + -19. Solve -4*h + 4*j - 1 = 11, t*j + 28 = -4*h for h.
-5
Suppose -4*w = -10 - 10. Solve -2*h + 3*h = -2, w*z - 5*h + 10 = 0 for z.
-4
Let t be (0 - (-4)/2) + -4. Let m be -1*(t - (2 + 2)). Suppose 0 = -2*w - 0*w + m. Solve -5*j - 9 = -0*j + p, -7 = -5*j + w*p for j.
-1
Suppose 9 - 1 = 4*v. Solve -5*a = w - 8, -8 = -3*a - w + v*w for a.
2
Let u(x) = -2*x**2 + x**2 + 6 - 7*x + 3*x. Let m be u(-8). Let a be (m*(-3)/3)/2. Solve 4*n + o - 1 + a = 0, 8 = 2*o for n.
-4
Suppose -20 = -v - 4*v. Suppose -2*u = -3*r - v*u, 0 = -u - 3. Let y = 2 - r. Solve -9 = -3*l + 3*x, -2*l + 5*x + 9 = -y*l for l.
2
Suppose 9*n = 4*n + 5. Let b be (-2 + n - -2)*3. Let y = 7 - b. Solve 5*a + 5*l + 29 = 3*l, -4*l + 12 = -y*a for a.
-5
Let h(x) = x**3 + 8. Let v(b) = -b**3 - 8*b**2 - 8*b - 7. Let j be v(-7). Let k be h(j). Solve -4*y - 2*s = 0, 0 = 3*s - 4 - k for y.
-2
Let q(s) = -4*s. Let j be q(-2). Let g be (-2)/(-4)*(9 - 1). Solve 0 = -5*u - g*c + j, 5*u + 3*c - 1 - 10 = 0 for u.
4
Let r(h) = 3*h. Let t be r(1). Let j be (3 + 1)*t/4. Let k(f) = -2*f**3 + 30*f**2 - 28*f + 9. Let z be k(14). Solve -z = j*u - 3*v, -3*v = -u - 0 - 9 for u.
0
Let v = -25 - -27. Solve v*f - 25 = 5*d, 1 = 3*d - f + 16 for d.
-5
Let v(k) = -2*k + 17. Let l(w) = -6*w - 5. Let d be l(-2). Let i be v(d). Solve -4*o = -i*o + 2, -o + 4 = -3*n for n.
-2
Let o = -28 + 32. Let z = -32 + 48. Solve -t = o*c + z, 2*c + 0 = -6 for t.
-4
Let v = -42 + 49. Solve 4*y + 2*o + 14 = -0*o, -3*y - 5*o - v = 0 for y.
-4
Let i(t) = -2*t - t**3 - t - 5 - 7*t**2 + 2*t. Let k be i(-7). Solve -5*z - 17 = k*b, 5*b + 13 = -3*z - 1 for z.
-3
Suppose 3*p = -p + 48. Suppose p = -2*k - d, 4*d + 4 = 3*k + 11. Let w = 8 + k. Solve 2*q = -x + 13, 17 - 1 = -w*x + 5*q for x.
3
Let h = 25 - 23. Solve -2*y - h*x = -14, 15 = 5*y + x - 12 for y.
5
Suppose 2*i + 4*m = 18, -3*m = 2*i - 0*m - 14. Suppose -21 = -2*r + 5*a, -43 = -5*r + 4*a + i. Solve 4*g + r = -4*c - 20, 2*c = 5*g + 7 for g.
-3
Suppose -4*f = g - 0*g - 24, f - 21 = -4*g. Suppose -g*n = -3*n - 5. Solve 0 = n*t - 3*x, t + 2*x = -3*x - 28 for t.
-3
Suppose -65 = -5*v + 3*i, 5*v - 44 = i + 21. Suppose 0 = 3*d - d. Solve -2*g - 5*h + v = 0, d*g + 2*g = -3*h + 11 for g.
4
Let s(w) = 2*w. Let y be s(-4). Suppose -4 = -r + 4*g, 4*r + 11 = 3*g - 12. Let j = r - y. Solve j*z - 31 = 3*z - 5*m, 25 = 5*m for z.
-2
Suppose 0 = 4*u + 5*o + 3, 5*u - 3*o + 8*o = 0. Solve 4*z = -3*i + 2, 0 = z + 2*i - u - 0 for z.
-1
Suppose -4 + 2 = 2*y. Let j = 6 + y. Let x be 1/5 - (-14)/5. Solve x*n - 10 + 42 = -5*z, n - j*z - 16 = 0 for n.
-4
Let o = -17 + 27. Let h = o - 6. Suppose t + h*g = 17, -6 = 2*g - 4*g. Solve 4 = t*x - x, x + 9 = 5*s for s.
2
Suppose y + 4*p = 5*y - 24, 4*p + 14 = 2*y. Solve 5*s = -3*u + 20, 2*u + s - y*s + 16 = 0 for u.
0
Let q = -5 + -1. Let t be (-9)/q*(-4)/(-2). Solve n = 4*x + t, 0 = -2*x - 4*n - 23 - 1 for x.
-2
Let c(s) = -4 - s + s**2 - s + 0*s + s. Let z be c(3). Solve -5*n + 20 = 5*k, -n - 5*k - 4 = -z*n for n.
4
Suppose -q + 11 = n, q + 3*q - 2*n = 74. Suppose a - 4*w + 2 = 1, 3*w = 4*a - 61. Solve -d - a = 2*d + 4*b, -4*d = 3*b + q for d.
-1
Suppose -14 = -5*i + 1. Solve i*o - 16 = a, 0 = 3*a - 2*a + o for a.
-4
Suppose 8*r + 44 = 19*r. Solve -2*i + 12 = 4*d, 12 = i - r*i + 4*d for i.
0
Let b be (-2)/17 + (-180)/(-85). Solve 3*h = -b*s, 0*s + h - 4 = -2*s for s.
3
Let v = 98 + -78. Solv