*s - 4*o + 26 = -3*s for s.
3
Suppose 2*d + m = -4*m + 6, 0 = 5*m. Let w(s) = -s**2 - 4*s + 3. Let k be w(-4). Let b(o) = -o + 5. Let z be b(k). Solve j = -4*a - j + z, a = -4*j - d for a.
1
Suppose -9 = 5*y + 6, y = -3*p + 9. Suppose -2*v + v + 4*f + 5 = 0, -4*v + 80 = -p*f. Solve -3*i + 15 = d, 4*d = 4*i - 9*i + v for d.
0
Let q = -141 - -146. Solve q*d + 3*b = b, -d = b - 3 for d.
-2
Suppose -15*p + 12*p + 96 = 0. Solve 7*x + 3 = 5*x - h, 0 = -3*x + 4*h - p for x.
-4
Let x = -2 - -2. Suppose x = 4*z - 6 - 2. Solve 0 = 4*u + z*y + 22, 4*y - 8 + 37 = -3*u for u.
-3
Let x be (-1 - 5)*11/(-3). Let q = x - 15. Suppose -2*h + 13 = -1. Solve -u = 3*z - q, -2*u - 20 = -3*z - h for u.
-2
Suppose 21 = 3*c - 3*o, c + 4 + 9 = -4*o. Suppose 2*a + 4*b = 62, -c*a + 36 = 3*b - 42. Solve 0*v - 3*z + 18 = -3*v, 4*z + a = -5*v for v.
-5
Suppose 2*l = -l + 60. Let k(a) be the first derivative of -a**4/2 - 7*a**3 - 9*a**2/2 + 12*a - 26. Let u be k(-10). Solve -4*c + u*x - l = x, c = -x for c.
-4
Suppose -6*b + 6*b = 25*b. Let l(x) = -2*x - 9. Suppose -k + 2 = 9. Let c be l(k). Solve 5*j - 1 = -3*s, b*j + j - c*s + 11 = 0 for j.
-1
Let i = -560 - -564. Let d = -7 - -8. Solve -i*b - j = 16, 2*j - 4 = -b - d for b.
-5
Let j be -2 + 12 - (2 - -2). Let g be j/21 + (2 - 76/(-28)). Solve -g*r = 0, r + 4*r = b + 1 for b.
-1
Let r(d) = -47*d - 269. Let m be r(-6). Solve i = -w - 2, -3*w + 9 = -4*i - m for w.
2
Let f(k) = -k**3 + 15*k**2 + 15*k + 18. Suppose 0 = 2*o - 7*o + 80. Let u be f(o). Solve 2*w - 4*s = -6, -u*w + 18 = -3*s + 7*s for w.
3
Let z = -45 + 16. Let n = -27 - z. Suppose 8 = 3*t + n. Solve 3*c + 2*f = -2*c - 16, -4*f = t*c + 16 for c.
-2
Suppose -6*v = -18 - 96. Let r be 4/(-18) - 184/(-18). Solve 4*q = 2*c + r, q - 6 = 5*c + v for c.
-5
Let u be 1/5*-2 - 481/(-65). Suppose 0 = -u*m + 6*m. Solve 4*n - w = m, -5*w = 2*n + n for n.
0
Let y(r) be the first derivative of -r**3/3 + 5*r**2/2 + 13*r + 24. Let l be y(6). Solve -l = 4*w - 3*i, w + i - 3*i = 2 for w.
-4
Let b be 1 + 2 + 0 + -3. Suppose b*t + 4*t = 20. Suppose -g + j = -6*g + 12, 0 = -3*g - j + 8. Solve t*o = 2*z - 3 - 1, -g*z + 2*o = 2 for z.
-3
Let f be 9/(18/10) + -3. Solve 0 = 2*g - 3*q - 1, -2*g = f*q - 7 + 1 for g.
2
Let x = 4 - 2. Let r be (-1 - -1)/(-9*14/63). Let o be (-11)/(-2) - (-1)/2. Solve r = -q + o*q - x*z, 4*q + 5*z = 0 for q.
0
Suppose 19*g + 30 = 29*g. Solve 5*n - 2*f + 9 = -9, 0 = -4*n + g*f - 20 for n.
-2
Let c = -10 + -8. Let w = -14 - c. Suppose 20 = w*j + j. Solve -4*h + 7*h + 12 = 0, -j*v - 16 = 4*h for v.
0
Let m(b) = -b - 5. Let v be m(-6). Solve -2*x - 9 = -5*a - v, -4*x + 4*a - 4 = 0 for x.
1
Let p be (-2 - -3)*(8 - (5 + 0)). Suppose 4 = -0*j + 2*j. Solve p*u + 4*w = -2*u, j*w = 4*u + 26 for u.
-4
Let s(q) = -5*q**2 + 10 - 12 + 5*q + 4*q**2. Let n be s(3). Let o be n/((-16)/(-4))*5. Solve k - 9 = 3*i, 4*i - 5*i + k - o = 0 for i.
-2
Let s(v) = v**3 - 8*v**2 + 22*v - 52. Let q be s(6). Solve -q = -t - 10, 0 = 5*a + 4*t + 3 for a.
1
Let u be -2 + (-26)/(-12) - (-92)/24. Suppose 5*b - 4*b = 5. Solve f + 17 = 2*f + 3*n, 0 = -b*f - u*n + 30 for f.
2
Suppose 17 + 39 = -7*u. Suppose -2*d = 3*n - 4*n - 13, 5*d - 15 = -n. Let t = d - u. Solve -2*r - 2*m + t = 0, 18 = 6*r - r - m for r.
4
Let k(d) = -d**3 + 5*d**2 - 2*d - 5. Let u be k(4). Solve 0 = -5*f + u*c - 4, -5*f + 5 + 15 = 5*c for f.
1
Let o = 1318 + -1314. Solve -o*s = -x - 5, -6*x + x - 2*s - 3 = 0 for x.
-1
Let g be 686/30 + ((-102)/(-90) - 1). Suppose -z + g = 3*b, 4*b - 4*z - 12 = 3*b. Solve -5*n + q - b = 0, 0*q + 10 = 2*n + 4*q for n.
-1
Let n(a) be the first derivative of -a**4/4 + 12*a - 10. Let f be n(0). Let r(u) = 4*u. Let s be r(1). Solve v = -3*o - o - f, 2*v - s = -o for v.
4
Let n(v) = 2*v**3 - 4*v**2 - 5*v - 7. Let m be n(3). Let t(k) = -k**3 - 6*k**2 - 8*k + 5. Let i be t(m). Solve -3*z + i*a + 5 = -z, -z = -5*a - 5 for z.
0
Let a(k) = 6*k - 4. Suppose 3 = 6*i - 5*i. Let y be a(i). Solve 2*c + t + 6 = c, 5*c = -t - y for c.
-2
Suppose 0 = 4*j + 2*r - 12, 0 = 8*j - 7*j - 5*r - 14. Solve -2*z = 2*w + 14, -4*z - 31 = j*w + z for w.
-4
Let c be (-2)/(-6) - (-50)/30. Let s be (0 - c) + 6 - 1. Solve -3*p = -s*r - 3, 2*r + 3*r + 14 = 2*p for r.
-4
Let l(p) = -4*p - 120. Let y be l(-30). Solve y = m - f - 9, 3*m - 5*f + 0 = 37 for m.
4
Let d = 3 - 4. Let m be -3*d*(-3)/(-9). Suppose -g = -2 - m. Solve -t - u + 5*u = g, -2*t - 2*u = -14 for t.
5
Suppose u + 36 = -4*g, 10*g = -5*u + 12*g - 92. Let w be (12/u)/(2 + 33/(-15)). Solve -3*k - 2*j - 1 = 0, 1 = -w*k - 4*j + 8 for k.
-3
Let c = -7 - -23. Suppose 0 = 4*m + 11 - 47. Let k be (-18)/(-4)*6/m. Solve -u = k*u + 3*h + 3, -2*h = -2*u + c for u.
3
Suppose -587 = 8*b - 675. Solve -3*c - 4*n + b = -6, 5*c = n - 10 for c.
-1
Let w(j) be the second derivative of j**3/2 - 11*j**2/2 - 12*j. Let k be w(7). Solve -3*g = -5*n + k, n = 2*g + 2*n + 11 for g.
-5
Let p(t) = -14*t**2 - 57*t + 1. Let q be p(-4). Solve 0 = 5*a - x - 25 + 8, -x - q = -a for a.
3
Suppose -8 = 2*z + 6*z. Let x be -2 + z + -3 + 9. Solve -x*b - 1 = -5*b + 3*t, -3*b + 27 = 4*t for b.
5
Let c = -221 - -226. Solve -2*s + t + 5 = 0, -2*s + 4*t = s + c for s.
5
Suppose 2*t - 6 + 2 = 4*d, 3*t - 5*d = 8. Solve -4*x = 3*y + 8, 3*x + y + 4*y = -t for x.
-2
Let r = 30 + -7. Let h(n) = n**3 + 9*n**2 + 9*n + 8. Let p be h(-8). Suppose o = -p*o. Solve 5*j - 4*f + 15 + 17 = 0, 2*j - 5*f + r = o for j.
-4
Let v = -53 + 57. Suppose 4*u - 8 = 5*b, -4*u + 8 = b - v*b. Suppose 0*n + n = 0. Solve -4*d - 15 = -z - n*z, -d + 2*z + 5 = b for d.
-5
Suppose -6*q = 32 + 178. Let d = 19 + q. Let c be (d/(-6))/((-6)/(-9)). Solve 0 = 5*k + 5*v - 15, -6 + 19 = c*k + 5*v for k.
2
Suppose -3*q = 3 - 21. Suppose 0 = 2*o + 5*u - 44, 3*u + 1 = 13. Let x = -8 + o. Solve 0*j - 3*w - 14 = 2*j, x*j = 5*w - q for j.
-4
Let d(l) = -2*l**3. Let r = 12 - 10. Suppose 0 = -z - r*z - 3. Let a be d(z). Solve k = 2*x + 7, -k - a = -0*k + x for k.
1
Suppose 0 = 4*t - 2*a - 22 - 10, -24 = -2*t + 5*a. Let v = 104 + -102. Solve -v*m + 6 = 0, t = r - 3*r - m for r.
-5
Suppose 4*i + 60 - 300 = 0. Let h be -3*1*i/(-36). Let u be -1 + (0 - 0 - -6). Solve -u*m + 4 = -z - 3, 0 = -h*z - m - 9 for z.
-2
Let f(n) = -n**3 - 41*n**2 - 42*n - 73. Let i be f(-40). Solve -k + i = 2*t, 5*k = 3*t - 0*t - 30 for k.
-3
Let b = 326 - 316. Solve -4*h = 5*z - 29, -5*z - b*h = -11*h - 24 for z.
5
Suppose -3*b + 3*i = -6*b - 165, 4 = i. Let y = b - -73. Solve -12 = -4*o, 0*h - 4*h = -2*o - y for h.
5
Suppose -k - 6 = -s - 7, -4 = 2*s - 4*k. Let d(x) = 3*x - 7. Let v be d(5). Suppose s = -a - a + v. Solve 0 = -a*i + 4*t + 12, 0 = 4*i + 2*t + 4 + 14 for i.
-2
Suppose 5*u + 28 = -2*k, 2*u - 6*u - 3*k - 21 = 0. Suppose -2*a + 0*a = -20. Let z = a + u. Solve z*t = -3*i + 7, -2*t = 3*i + t - 9 for i.
5
Suppose -28*f = -38*f + 20. Solve 2*b + 4*c = -f*b, -5*c = -15 for b.
-3
Let y = -801 + 803. Solve -m + 3*n + 3 = -4*m, -y*m + 3*n = -13 for m.
2
Suppose 8 = -7*a + 15*a. Suppose -l + 17 = 5*k, -2*k + 5*l - a = -6*k. Solve 4*d + 3*j = 3*d - 14, -j - 12 = k*d for d.
-2
Let s = 232 + -229. Solve 0 = s*x + 2*l - 5 - 3, x - 4*l = 12 for x.
4
Let c = -50 - -48. Let x = 8 - c. Solve -2*n - 6*f + f = x, 4*f - 20 = 4*n for n.
-5
Let v(g) = 2*g**2 - 34*g + 108. Let k be v(13). Solve 3*s = 2*j + j - 6, 2*j = 4*s + k for j.
2
Let g be (4/3)/((-500)/(-1125)). Solve g*i = 2*r - 0*i - 19, -4*i - 2 = 2*r for r.
5
Suppose 410 = 14*f - 9*f. Let h = f + -77. Solve -q - 4 = 2*l - 3*l, 0 = h*q for l.
4
Suppose 21 = 4*n + 1, 4*q + n - 5 = 0. Solve q = 2*l + 5*a - a + 8, 0 = 5*l + a - 16 for l.
4
Let q be -1*5 - (6 - -19). Let j be ((-8)/(-12))/((-2)/q). Solve -j - 16 = -2*m - 4*y, -m - 17 = -4*y for m.
3
Let w(p) be the second derivative of p**4/4 + p**3/2 + p**2 + 31*p. Let f be w(-2). Solve -t = 2*a - f, -2*a + 23 = -4*t + a for t.
-2
Let x = 11 - 8. Let l be 2/(-2)*(-36)/(7 - x). Solve -5*w - b - l = 0, 3*w - 5*b + 9 = -2 for w.
-2
Let f = -255 - -259. Solve 5*k = -5*v + 40, -2*k - k + 4*v - f = 0 for k.
4
Let q be (-4)/8 - (-27)/6. Let w be ((-1)/2)/(1/(-90)). Suppose -o + 13 = -4*f + 3*f, -4*o = 2*f - 22. Solve -q*a + 10 = 2*x, -4*x - w = 3*a - o*a for x.
-5
Suppose 115*u - 114*u = 3. Solve -20 = 4*y - o - u*o, -2*y = -4*o + 12 for y.
-4
Let z = 0 + 5. Let m(n) = n**3 + 7*n**2 - 120*n + 2. Let