 23 = -4*d for d.
-5
Let d = -8 + 13. Solve -2*j - j = -d*b + 11, 12 = 4*j for b.
4
Suppose j - 5*j + 532 = 0. Let x be (-3)/8 + j/56. Suppose -6*d + 15 = -3*d. Solve -x*u = -d*z - 8, -2*u = 5*z + 3*u + 15 for z.
-2
Let d = -140 - -145. Solve -f + 4*l = 5*l + 1, 21 = 3*f - d*l for f.
2
Let n be 872/48 - 3/18. Solve 4*r - 6*r = 5*u - 11, -n = -4*u + 3*r for u.
3
Let i(x) = -3*x - 9. Let q be (-1*(-2)/2)/1. Let n be (-4)/(-2) + q + -7. Let c be i(n). Solve 3*m = c*y - 2*m - 10, -2*y - 3*m = 6 for y.
0
Let c(m) be the second derivative of m**4/12 + m**3/6 - 4*m**2 - 8*m. Let i be c(-4). Solve 6*g - 16 = -i*d + g, d - 3 = -g for d.
-1
Let b be 8 - 2 - (4 + -2). Suppose 4 = -b*g + 6*g. Solve 0 = 5*f + 4*m - 3*m - 1, g*f + m + 2 = 0 for f.
1
Suppose -673*p + 80 = -657*p. Solve 0 = 3*t + 3*o, p*o + 11 = -4*t + 16 for t.
-5
Let b = -38 + 52. Let q = b + -14. Solve q*j = -3*j + 15, 4*h + 3 = -j for h.
-2
Let v(s) be the third derivative of s**4/24 - s**3/6 - 10*s**2. Let r be v(3). Let q = -2 + 4. Solve 3*d = 0, -x + 2*d + q*d - r = 0 for x.
-2
Let z(k) = 4*k - 26. Suppose -d - 13 - 10 = -2*x, 0 = -5*x + 2*d + 56. Let y be z(x). Solve 5*l - 5*q = 10, -3*q - 2*q = -3*l + y for l.
-2
Suppose -y - 263 = -268. Solve 0 = -5*p + y*f, 0*f - f = 4 for p.
-4
Suppose f = -2*f + 12. Suppose -f = 3*v - 4*v, -a + v = -1. Solve 4*g = -c - 4, 4 = -5*g - a*c - 1 for g.
-1
Let c = 1616 + -1608. Solve 0 = -x - 5*y - 8, 5*x - c = 3*y - 20 for x.
-3
Let s(w) = w**3 + 8*w**2 + 6*w - 4. Let r be s(-7). Suppose 0 = -5*j + 10*j + 30. Let m = 15 + j. Solve -r*c - m = 3*y, c + 3 = -5*y + 2*c for y.
-1
Let f be 2/4*(-8 + 4). Let r(m) = -2*m**3 - 2*m**2 + 2*m + 1. Let v be r(f). Let n(q) = q**2 - 5*q - 3. Let s be n(6). Solve x + v*g - 9 = 0, s = 2*g + g for x.
4
Let f(g) = 2*g**2 + 22*g + 20. Let d be f(-10). Let n be (-6 + -10)*(d + -1)/2. Solve -o + 3*s + 10 = 0, 5*s + n = -4*o - 20 for o.
-2
Suppose 3*x = 2 + 4. Suppose 2*w + 2*w = 0. Solve x*o = v - w*v - 3, 4 = 3*v - o for v.
1
Suppose 2*g + 3*u - 21 = -5, -2*g - 5*u = -24. Suppose 0 = 3*m - g*v - 3*v + 1, 4*v = -3*m + 17. Solve 0 = s - 0*q - m*q - 10, -2*q = -5*s - 15 for s.
-5
Suppose 18 = 2*y - 5*t + t, 3*t + 6 = 0. Suppose -38 + 33 = -y*m. Suppose -r + 1 = -2*d - m, -4*r + d = -8. Solve 0 = u + 3*l + 2 + 6, 0 = 5*u + r*l + 1 for u.
1
Let a = 25 + -16. Suppose 0 = -2*p + r + 3*r - 16, -3*p - a = -3*r. Solve -20 = 4*b + 2*t, b + 0 - p = 3*t for b.
-4
Let k = 48 - 43. Suppose -k*m = -5 - 20. Solve 3*o + 8 = -f + 6*f, -m*f + 16 = -o for f.
4
Suppose 7*h = h + 12. Suppose -2*o = -0*o + 3*t, -4*o + h*t + 32 = 0. Solve f + 8 = -5*r, 2*r = -o*f + 3*f + 2 for f.
2
Let q = 335 + -320. Solve 2*l - 2 = h + 8, h - q = -3*l for h.
0
Suppose -g - 10 = 3*a, g + 2*a = a. Suppose 0 = -g*m + 21 + 4. Suppose -2*x + 16 = 2*x + m*n, -3*x = -5*n - 12. Solve -4*i + 3*v = -3, 0 + x = -3*i - 4*v for i.
0
Suppose -1 = -5*l + 24, n - 3*l + 9 = 0. Let v be ((-4)/5)/((-2)/5). Suppose 5*h - n = v*h. Solve 5*a = 5*x - 17 - 28, 22 = -3*a + h*x for a.
-4
Suppose -87 = -5*h + 2*h. Suppose -260 = -7*b + 2*b. Suppose -3*n + b = 13. Solve w - 3*f = -0*f + n, -h = -5*w + 3*f for w.
4
Let i = 32 - 23. Let a be 1*i + 4 + -9. Solve a*n - 2*f - 9 = 11, -4*f = -4*n + 28 for n.
3
Suppose 5*w + 8 = 18. Solve -23 + 8 = -3*z - 3*b, 4 = -4*z + w*b for z.
1
Let w = -94 + 99. Suppose 3*p - w = 2*p - b, 3*b - 12 = 0. Solve 2*k - 8 = 0, -4*z - 4*k + 5 - p = 0 for z.
-3
Let b(u) = 8*u**2 + 69*u - 3. Let f be b(-9). Solve 8*a - 2*g = 4*a + f, -3*a = 5*g - 5 for a.
5
Let t = 14 + -25. Let v = 16 + t. Suppose -36 = -v*x + 2*x. Solve 0 = 2*c + 4*m - x, -c - 16 = -5*m + 6 for c.
-2
Let f be 42/6 - (-4)/(-2). Solve -4*w - 12 = -2*u - 0, -f*u = w + 14 for u.
-2
Let x be 4/(-7) + (-518)/(-49). Suppose -x*l = -64 - 16. Solve z + 2*v = l, 3*z + 24 = 3*v + 3 for z.
-2
Let g = -34 + 29. Let v(q) = -q**3 - 4*q**2 + 4*q - 4. Let m be v(g). Let r = m + 2. Solve 0 = -r*a - 0*l - 4*l + 3, 2*a + 4*l = -2 for a.
5
Let j be ((159/9)/(-1))/(1/(-3)). Let d = j - 43. Solve 5*r = l - 23, 2*r + d = l + 2 for r.
-5
Suppose 0*b - b - 9 = -3*r, -2*b = -4*r + 14. Suppose 5*j - r*x = 19, 2 = 2*j - 4*x - 12. Solve j*f = -4*t, -3*f + t = -t for f.
0
Let i = -104 + 106. Solve -3*b = 2*b + 5*t + 5, 3*b - i*t = 7 for b.
1
Suppose -4*z + 1 - 1 = 0. Solve z*r - 3*r = -5*m - 11, -r + 2*m = -4 for r.
2
Let m(g) = g**3 + g**2 + 3*g + 5. Let n be m(0). Solve 0*u + a = -5*u + 20, -u + 4 = -n*a for u.
4
Let p = -275 - -280. Solve 0 = -n - 3*n + p*g + 13, -3*n + 4*g + 11 = 0 for n.
-3
Suppose 0*v + r = 2*v - 10, 0 = -2*r. Suppose 5*g - 33 = -3*a - 0*g, 2*a - 27 = -5*g. Solve -4*s = -2*s + a, -t + v*s = -15 for t.
0
Let j(o) = -o**3 + 9*o**2 + 5. Let s be j(9). Suppose -4*c + 13 = s. Suppose -7*w - c = -8*w. Solve 8*i + 5*t + 3 = 4*i, 0 = -w*t - 6 for i.
3
Suppose 65 = 27*k - 16. Solve -5*p + 2*g = -1, 2*p - 4*g - 1 = -k*g for p.
-1
Suppose 6*u = 11*u + 10. Let q be (-37)/(-13) - u/13. Solve 0 = -3*a, 5 = -r - 2*a - q*a for r.
-5
Let s be (3/(-9))/(6/(-36)). Solve -4*k + s*g = -12, 8*g - 9 = -5*k + 9*g for k.
1
Let w(z) = -z - 7. Let i be w(5). Suppose -4*f + 80 = -4*a, -a - 11 - 19 = f. Let b be (i/10)/(10/a). Solve -4*o = b*r + r - 4, 4*o - 5 = -3*r for r.
-1
Let u = -637 + 641. Solve -6*x = -u*x + 10, -3*x - 11 = p for p.
4
Let z(o) = o + 9. Let s be z(-6). Suppose 7*x - 3*x - 4 = 0. Let p be ((-2)/x)/((-28)/42). Solve -s*i - p*l + 0*l = 0, -2*i = -3*l + 10 for i.
-2
Suppose g - 20 = -3*g, -5*g = 5*a - 45. Let o = 52 - 25. Let q = o + -11. Solve a*l + 12 = 3*t, -4*t + q = -0*l + l for l.
0
Suppose -31 = 7*s - 52. Solve 0 = 4*u + 20, -1 = l + s*l + u for l.
1
Suppose -2*i - 2*i + 20 = 0. Let m be 1*(-1 - -2) + 4. Suppose 0 = m*z - z - 40. Solve 3*u + i*a - 6 = -0*a, -5*u + 2*a = -z for u.
2
Let l be (8/(-24))/((-2)/(-654)*-1). Let a = 111 - l. Solve -3*d - 2*d = -4*z - 29, 0 = 2*d + a*z - 8 for d.
5
Let g be (24/16)/(((-3)/(-3))/2). Solve 3*v - 12 = 0, g*v - 8 = 2*a - 2 for a.
3
Let f be ((-300)/8)/(-5)*-2. Let s = -12 - f. Suppose -2*j - 5*u = -8, -s*j = 2*u + 3*u - 12. Solve -j*i + 4*q - 2 = -i, 12 = -5*i - 2*q for i.
-2
Let i = 11 - 57. Let b = i - -47. Solve 2*m + 8 = -2*g + 3*m, -2*m + b = -g for g.
-5
Let w(u) = u + 1. Let a = 20 - 19. Let h be w(a). Suppose -4*k + h = -3*k. Solve -5*f + 3*t + 0*t = -k, 4*f + 2*t + 16 = 0 for f.
-2
Suppose -7 - 13 = -4*i. Suppose h = 17 - i. Solve 3*a = 2*y - 0*a + h, 0 = -a + 2 for y.
-3
Suppose -2*c + 3 = -1. Suppose -38 = 6*l - 50. Solve 0 = -c*h + 8, -h - 5 = l*p - 5*p for p.
3
Let s be 5/(-25) + (-4)/(-20). Suppose c + 2 - 4 = s. Solve -5*r + 4 = -c*w, -5*r - 6 = -5*w - 1 for r.
2
Suppose 307 = 22*n + 21. Solve 4*m - 5*d - 14 = n, -5*m + 24 = -3*d for m.
3
Let x(p) = 3*p + 42. Let c be x(-13). Let h(f) = f**2 + 10*f + 13. Let o = 5 - 14. Let l be h(o). Solve -3*a - z = 18, l*a + 6 = a + c*z for a.
-5
Let f be (2 - 1) + (0 - -8). Suppose -252 = -8*x + 2*x. Let t = x + -31. Solve l = -3*i + t, l - 4*i = -2*i - f for l.
-1
Let c be 184/(-6) + -6*4/(-36). Let t = c + 32. Solve 4*q = -5*u - 17, 0 = 3*u - t*u + 3*q + 10 for u.
-1
Suppose -20 = -4*z - 2*y, 2*z + 2*y + 0*y = 12. Let d be (z + -4)/(-1 - 0). Suppose 5*r - 9 - 31 = d. Solve -v - 2 = -k - 6, -5*k = v + r for v.
2
Let f be 0/1 + (-4 - -7). Suppose f*o + 4 = 28. Suppose 2*q + o = 7*t - 3*t, -5*t - 5*q - 20 = 0. Solve t*k - 5*s = -3*k, -4*k + 5 = -5*s for k.
5
Let o(y) = y + 17. Let b be o(-9). Suppose r - 10 + b = 0. Solve -2*x - 16 - 2 = 4*v, -2*x - 12 = r*v for v.
-3
Let v = -213 + 219. Solve 0 = 3*a + 3*j - v, -3*j + 37 = -4*a + 2*j for a.
-3
Let b be (-2)/(-1)*-1 + 4. Let y be 11 + (4 - 0) + -1. Solve -b*l = 6*f - 4*f + y, -4 = f for l.
-3
Suppose 325*u - 327*u = 0. Solve -2*m - 5*a = -15, a + 0*a - 3 = u for m.
0
Let s = 2360 - 2325. Let k be 1 + (-4)/(-2)*1. Suppose 16 = k*p + p. Solve 3*x + 3*q = 2*q - 12, p*x = 5*q - s for x.
-5
Let u(f) = f**2 + 11*f + 18. Suppose 7*j + 63 = -0*j. Let r be u(j). Solve -d - 2*l + 1 = 2*d, r = -d - l for d.
1
Let p(r) = r**2 + 6*r + 3. Suppose -5*z - 25 = 5. Let u be p(z). Solve 4*h = 5*l + 23, 0 = h + u*l + 1 + 6 for h.
2
Let j(l) = l**3 + 10*l**2 - 6*l - 55. Let n be j(-10). Solve 4*u + n*h = -12, u - 5 + 15 = -3*h for u.
2
Suppose -45 + 6 = -13*p. Solve -v - 5*s + 6 = 1