 4*o + 2 + 7 = 0, -3*o = -3*b + 9 for b.
3
Let o be (4/2)/((-10)/(-20)). Solve 4*w + 6 + 0 = 2*t, o*w = 4*t for w.
-3
Suppose -22*c - 63 = -25*c. Solve 1 - 5 = b - 2*k, 0 = 3*b + 5*k - c for b.
2
Suppose 0 = -4*s - 2*v - 6, 12 = -4*s + 7*s - 4*v. Suppose s = 3*m + 3*o, 0 = 5*m + o - 20. Solve 2*d = -2*q + 4, 2*d + m*q - 6 = 7 for d.
-1
Suppose 0 = 64*m - 19*m. Solve -2 = y - p + 4, m = 4*y + 4*p + 8 for y.
-4
Suppose 0 = 4*l - 36 + 20. Let y be (20/(-3))/(l/(-12)). Let a be y - 16 - (0 + -1). Solve 0 = -2*f - 5*v + 23, a*v - 26 = -1 for f.
-1
Suppose 4*v - 365 = 3*w, 120 = 2*w - 3*w + 3*v. Let n = 123 + w. Suppose 0*k + k = -5*u + 8, -2 = 4*u + 5*k. Solve 3*m - 2*l + 16 = n, l - u + 1 = -2*m for m.
-2
Let t be 10/25*(-1 - -6) - -3. Solve t*w + 4*m + 37 = 0, 0 = 2*m + 6 - 0 for w.
-5
Suppose 0*x + 10 = x. Suppose -2*s + x = v - 0*v, s = 5*v - 17. Let o(z) = z + 16. Let w be o(-7). Solve -3*m = -m - i - w, 0 = s*m - i - 12 for m.
3
Suppose 2*p - 6 = -2*i, 0 = -2*p - i + 2 + 4. Solve p*n - 9 = 0, -n + 6 = 4*o - 3*o for o.
3
Let p be ((-10)/(-30))/((-1)/(-27)). Solve -19 = 3*c + 4*h - 2*h, 2*h = -c - p for c.
-5
Let c(h) = 2*h - 3. Let f be c(-4). Let l = f - -13. Suppose 3 = p, -l*p + 2 = -w - p. Solve -w - 1 = -m, x + 3*m = 4 for x.
-2
Suppose -3*c + 0 = 45. Let n be (-6)/c - 16/(-10). Let z be (-126)/(-28) + n/(-4). Solve -x - 3*x + 5*j = -30, 0 = 2*x + z*j - 2 for x.
5
Suppose -4 = 2*o - 4*o. Suppose o*a - 3*x - 1 = -8, -4*x + 8 = -3*a. Solve -z - 7 - a = 4*k, -5*z = k - 21 for k.
-4
Let l = -780 + 782. Solve -2*p + 4 = -4*x, -4 = l*p + x + 7 for p.
-4
Let g be (12/54 - 396/(-405))/((-2)/(-10)). Let i = 1 + 10. Let l = i - 7. Solve -x = -l*m + 12, -18 = -3*m + g*x - 3*x for m.
2
Let n(l) = -l**3 + 22*l**2 - 21*l + 48. Let p be n(21). Let r = -46 + p. Solve w - f = 0, -4*w + f + r*f + 1 = 0 for w.
1
Let c be 4/7 + 630/441. Solve c = -3*i - b, -i = 4*i + b + 6 for i.
-2
Let i = 288 + -283. Solve i*q + 2*z + 25 = 0, 2*q + 4*z = -2*q - 32 for q.
-3
Let d(z) = -97*z + 390. Let m be d(4). Let w(y) = y**2 - y - 2. Let v be w(3). Solve v*b - 11 - 20 = -5*n, -m*b = 2*n - 14 for b.
4
Let s(q) = 46*q + 971. Let v be s(-21). Solve 4*h + 30 = 6*h + 5*r, 5 = -3*h + v*r for h.
5
Suppose -s + 0*s - s = 0. Suppose s*h = -4*h + 12. Solve j = -4*a + h, 5*a + 8 + 7 = 5*j for j.
3
Let n = 14 - 17. Let b(i) = 3*i + 12. Let c be b(n). Let o be 1*(5 - c)*2. Solve 5*m = -3*d, -d - 13 = o*m + 4*d for m.
3
Let b = 37 + -37. Suppose 4*z - 8 = -b. Solve -5*w + z*t = 18, 0 = t + 4 - 3 for w.
-4
Let f = -230 - -235. Solve j = 4*o + 3, 3*j + o + 6 = f*j for j.
3
Suppose 0 - 4 = c, q + 14 = -3*c. Let p be 1/q + (-5 - 57/(-6)). Solve 18 = -3*s + h, 2*s + p*h + 0*h - 2 = 0 for s.
-5
Let v = -419 + 444. Solve -3*i + 0*i - v = 4*x, -5*x - 11 = -3*i for x.
-4
Let u(b) = b**3 - 21*b**2 - 2*b + 42. Let f be u(21). Let k(d) = -3*d**3 + 33*d**2 - 2*d + 25. Let m be k(11). Solve f*o - 2*h = -m*o + 5, 2*o - 15 = -h for o.
5
Let v(d) = -2*d + 0*d - 4 + 3*d. Let w(m) = -m + 1. Let l be w(-6). Let s be v(l). Solve -7 = 3*c + 4*o, o + 3*o = -c + s for c.
-5
Let z(q) = -76*q - 377. Let t be z(-5). Solve 0 = 5*p - 3*i + t, -2*p = 3*i - 2*i - 1 for p.
0
Let d(s) = -16 + 7*s**2 - 484*s**3 + s**2 - 2*s + 485*s**3. Let i be d(-8). Solve -5*b - 5*f - 15 = i, 0*f = 3*f + 3 for b.
-2
Suppose 2*v + 12 = c, -2*v - 2*c - 12 = -7*c. Let l be 0 + 5 - (-3 - v). Solve -t - l*g - 16 = 3*t, 0 = 3*g + 6 for t.
-3
Let g = 11 + -7. Suppose -5*l = 3*z - 22, 2*l + l = g*z + 19. Solve -s - 1 = -4, -l*s + 30 = 5*c for c.
3
Let l = 31 + -24. Suppose -2*m - l = -27. Solve y - 4*i + 10 = 0, -2*y + 0*i + 3*i = m for y.
-2
Let w be (1/3)/((-3)/(-36)). Let s(y) = -y**2 + 23*y - 107. Let p be s(7). Solve -w*v + 2*b = 13 - 3, -v = b - p for v.
0
Let z(d) = 2*d**3 - d - 3. Let n be z(-3). Let q = n + 61. Solve -m - 3*i = -3*m + 9, -i = -2*m + q for m.
3
Let x(l) = l**2 + 8*l. Let s be x(-8). Let j be s - 0 - (12 - 35). Suppose 9*c = 4*c + 20. Solve z = c*h - 10, 3*h + 4*z - j = -2*h for h.
3
Suppose -26 + 7 = z - 4*k, z + 14 = 3*k. Let b be 4 - (z + 3 + -5). Solve 13 = -2*m + b, 4*j + 3*m + 8 = 0 for j.
1
Let a(y) = -y**2 - 2*y. Let x be a(0). Let z be (2 - x)*-2 + 8. Suppose -2*h + 24 = -0*h. Solve -3*i = 3*c - h, 4*i - i - z*c - 12 = 0 for i.
4
Let d = -75 + 69. Let m = d - -10. Solve -3*h + 5 = -m*y, -3*h + y + 2 = 3 for h.
-1
Let d = -385 + 392. Solve -4*o + d*o + 27 = -3*k, -4*o = k + 21 for k.
-5
Let z(s) = 2*s**3 + 2*s**2 - 5*s - 6. Let k be z(-4). Let m = k - -88. Solve -2*v + v + 5*n = 12, 3*v - m = n for v.
3
Let g(z) be the third derivative of -5*z**4/24 - 5*z**3 + 7*z**2. Let t be g(-14). Solve 3*m + t = -5*h, 0 = 4*m - 3*h + 4 + 1 for m.
-5
Suppose -15 = -4*i + u, 4*i = -u - 3*u. Suppose -2*l + 1 = -i. Suppose -15*p = -9*p - 24. Solve -1 = p*d + 2*a + 3*a, 0 = l*d - 3*a - 5 for d.
1
Let b = 1230 - 1225. Suppose 2*k + 5*a = -20, -6*a + a = 4*k + 20. Solve 5*w + 2 - 12 = k, 18 = 2*f + b*w for f.
4
Let s be 69/2 - (-5)/10. Suppose -8*g + s = -g. Solve g*x - 20 = 0, 0 = 4*y - x + 3*x - 28 for y.
5
Let c = -1579 + 1585. Solve -4*p - 2*a - 8 = 0, 7*p - 3*p = -a - c for p.
-1
Let s = -485 - -488. Solve g - 16 = -2*g + 2*j, 2*j = -s*g + 8 for g.
4
Let g be (-1312)/(-82) + -2*4. Solve -4*o - 3*z = 2*z + 31, 4*z + g = o for o.
-4
Let a = -66 + 31. Let f = a + 47. Solve 3*u = 5*r - 2, 4*r + f = -0*u - u for u.
-4
Suppose 0 = n - 2*c - 8, -4*n + 5*c = 3*c - 26. Let s be (-2)/4*(-12 + n). Solve 3*y + 7 = -2*t - 0*y, -2*y - s = 3*t for t.
1
Suppose 5*m + 4*y + 3 = 34, 5*m - 23 = -2*y. Solve 3*v + o - 13 = 0, 3*o + m - 10 = -v for v.
4
Let j(k) be the second derivative of -k**5/20 + 19*k**4/12 - 12*k. Let i be j(19). Solve i = -p - 2*w - 2*w - 3, 4*p + 12 = 3*w for p.
-3
Let t(p) = 3*p + 14. Let j be t(0). Suppose -6 = -g - r, g + j = -2*g + 5*r. Solve 5*f = 0, g*f - f = -5*q - 20 for q.
-4
Suppose 0*c + c - 21 = -4*g, 10 = -2*c + 5*g. Suppose 5*h + 4 = 5*k + 9, 4*k - 20 = -4*h. Solve -4*l = -c*n - 11, l - n - h = -0*n for l.
4
Let o = 285 - 260. Solve c - 3*a = -0*c - 11, -5*c - 5*a = -o for c.
1
Let c = -79688 + 79688. Let r(w) = 2*w + 1. Let g be r(4). Suppose -n + 2 = -3*j + 3, -4*n + 10 = 2*j. Solve 4*k - 2*x + 24 = c, -g = 5*k + n*x + 3 for k.
-4
Suppose -1238 = -41*n - 254. Solve -k = q - 7, 3*q + 2*k - n = -2*k for q.
4
Suppose 2*g - 2*w - 8 = 0, 2*g - 32*w + 28*w = 16. Solve 3*r + 2*f = g, f = -5*r + 4*f for r.
0
Let y be 1/3 + 209/(-33). Suppose -5*w - 2*f = -2*w + 8, 4*f + 16 = -5*w. Let l be 3*((-8)/y - w). Solve 0 = -l*d + 20, -5*x + 4 + 26 = 4*d for x.
2
Let l be (-17 - -50 - 24)/(3*1). Solve -l*i - 22 = -5*a, 4*a - 7*i + 9*i = 0 for a.
2
Suppose 4*f - 17 = 18*z - 23*z, -2*f - 4 = 0. Solve n - a - 4*a = 9, -z = 5*a for n.
4
Suppose 5*v = 4 - 14. Let w(r) = r**2 - 3*r - 5. Let f be w(v). Solve 0 = -h - f*d - 8, -2*h = h - d + 8 for h.
-3
Suppose 5*q = -5*m - 10, -m = -4*q + 2*q + 11. Let b be 1/((-1)/q)*28/(-21). Solve -h - b*o + 3 = 0, 3*h = -5*o + 1 + 1 for h.
-1
Let t = 513 - 509. Solve 0 = -y - t*k - 12, 20 = -6*k + k for y.
4
Let i = -788 + 790. Solve 3*s = 3*t - 18, -t + i = 4*s + 1 for t.
5
Let h(d) = -2*d**2 + 18*d + 3. Let r = 11 - 5. Suppose 27 = r*s - 3*s. Let u be h(s). Solve 3*v - 2*v - 15 = 5*a, -a = -v + u for a.
-3
Let w(q) = 6*q**2 - 2*q. Let l be w(1). Suppose 5*n = 3*m + 5, 0 = n + l*m - m - 19. Solve -c + 9 = n*z, z - 3*c = -8*c - 12 for z.
3
Let t = 43 - 71. Let n be ((168/(-49))/4)/(6/t). Solve 3*o - 4*o - 3*i = -14, -n*o + 2*i - 14 = 0 for o.
-1
Let j = -1293 - -1296. Solve 0 = -c - f + j, 2*c - f + 12 = 3 for c.
-2
Let s(r) = -r**3 + 13*r**2 + 29*r + 18. Let d be s(15). Let m = 30 + -10. Solve 0 = 4*k - 5*b - 11 - 9, 5*b = d*k - m for k.
0
Let z = 1 - -2. Suppose 0 = 5*q - 5*b - 0*b + 15, -3*q = b - z. Suppose 32 = g - q*g. Solve -y - 5*n = 24, -3*y + 0*y = 5*n + g for y.
-4
Suppose k + u - 25 = -3*k, -2*k - 10 = -4*u. Solve -2*d = s + 3*d, 0 = k*d for s.
0
Let p be 28/1 - (2 - 1). Suppose 3*x + p = -0*x. Let n = x - -12. Solve c + 3*u = -0*u - 8, -3*c - n*u - 18 = 0 for c.
-5
Let d = 11 + -7. Let f(w) be the first derivative of w**2 + 33*w - 14. Let g be f(-14). Solve -2*s - d = 0, -3*l + g*s + 16 = 3 for l.
1
Let i be 3/2 + (-2)/(-4). Solve i*n + 3*z + 7 + 7 = 0, -z - 10 = 2*n for n