 = -3*s + 3*a + 3, 5*a = -5*s + 2*a + 13 for s.
2
Let v = 3601 + -3596. Solve -3*c + 4*c = -2*o - 10, 0 = -v*o - 15 for c.
-4
Let x(k) = k**2 + 15*k + 38. Let a be x(-14). Suppose 4*z = -12 + a. Solve -l - 11 + z = 2*u, -2*l + u + 4 = 0 for l.
0
Let b(q) = q**2 - 12*q + 38. Let l be b(13). Let t = l + -34. Suppose -t*m + 22*m - 15 = 0. Solve 2*y - m*i + 5*i - 2 = 0, 5*y = i - 7 for y.
-1
Let h be -1 + 0 + (14/(-6))/((-49)/84). Solve 0 = -y + z + 2*z - 4, 0 = y + h*z - 14 for y.
5
Let h be ((-13)/(-2))/(24/16 - 1). Let o = -11 + h. Solve 3*q - 5*j - 4 = 0, 5*q = o*q - 2*j + 11 for q.
3
Let w(j) = -4*j**2 + 45*j - 7. Let y be w(11). Solve 5*t - 18 = -y*h, t + 4 = 4*t - h for t.
2
Let s(p) = 125*p + 379. Let t be s(-3). Solve -40*l + 38*l = -4*o + 14, t*l + 12 = 0 for o.
2
Let n = -40 + 48. Suppose -4*t + 5*o + 12 = 0, 4*t + 5*o + n = 20. Solve m = 4*m - 3*q - 9, -t*q = 3*m + 9 for m.
0
Suppose -12681 = 6*u - 12723. Solve 5*x = m, 4*m = -u*x + 6*x for m.
0
Suppose 887 - 75 + 502 = 219*g. Solve 5*d - 3*s = g*d - 15, -s - 9 = 5*d for d.
-3
Let y(s) = 2*s**3 + 10*s**2 + 9*s + 19. Let j be y(-7). Let d be (-2)/15 + (-32)/j. Solve 0 = -4*z - d*z + 3*u - 17, 5*z = -4*u + 2 for z.
-2
Let c(u) = -6*u**2 - 4*u + 11. Let s be c(2). Let x be (0 - (-18)/s)/((-78)/910). Solve p - 3*q = x, p = -3*p - 5*q - 45 for p.
-5
Suppose 4*f + 13*g - 54 = 11*g, 2*f - 4*g = 52. Suppose 32 = a + f. Solve -4*l = -4*t + a, -2*t - l + 2 = -0*t for t.
2
Suppose 5*x + 5*g + 175 = 0, -x = -2*x - 3*g - 45. Let b be 4/x + 2548/210. Solve 3*j = 5*h - 2 + 3, 2*j + 3*h + b = 0 for j.
-3
Suppose 4 + 2 = 3*h. Suppose -h = -3*l + 10. Solve 0 = -0*o - l*o - w - 1, -2*o - w = 1 for o.
0
Let s(m) be the third derivative of 11*m**4/24 + 27*m**3/2 - 14*m**2 - m. Let t be s(-7). Solve x + 0 = -3*a + 4, t*x = -5*a - 5 for x.
-5
Let m be 52/4 - (15 - 8 - -1). Solve -m*k - 2*w - 7 - 13 = 0, -4*k = 5*w + 33 for k.
-2
Let h(b) = 6*b**2 + 16*b. Let l be h(-3). Let r be ((73 - 0) + -2)/(5 - l). Let f = r + 73. Solve 0 = 5*w - f*s + 27, 3*w - s + 11 = -5*s for w.
-5
Suppose -a - v = -4*v, 5*v - 5 = 0. Suppose j + 5 = -i + a*i, 5*i = 3*j + 13. Solve 0 = -i*s - 4, 5*o - 4*s - 6 = 7 for o.
1
Suppose 2*b - 9 = -3*j, 2*j + 26 = 2*b + 22. Suppose 9*m - 24 = b. Solve 2 = 3*w + 4*i, -5*i = -4*w - m*i + 10 for w.
2
Suppose 37 = 10*o - 43. Let v = -3 + o. Solve 3*w - 2*p + 10 = -w, 0 = -3*w + v*p - 11 for w.
-2
Let w(b) be the first derivative of -b**3/3 + 9*b**2/2 + 42. Let d be w(9). Solve 7 = -4*t - 3*i, 5*t - 3*i + i + 3 = d for t.
-1
Let d be (112/32)/((-42)/(-24)). Solve 11 = 2*x - 5*q + 9, -d*x + 2 = -2*q for x.
1
Let q be 6*((-16)/36)/4*-3. Solve 7*k - 5 = 3*w + q*k, 0 = -w - 4*k + 21 for w.
5
Let x(j) = -j**3 + 2*j**2 - j. Let o = 214 - 124. Let m = -89 + o. Let l be x(m). Solve 0 = 4*v + 2*i + 10, l = -8*i + 3*i + 15 for v.
-4
Let l(p) = 10*p - 48. Let a be l(5). Suppose t - 2*t + 2 = 0. Suppose t*j - 3*j = -z + 7, a*z + 2*j = -2. Solve h - r = z, -5*h - 2*r = -14 - 15 for h.
5
Let y(w) = w**3 + 10*w**2 + w + 5. Let t(j) = j**3 + j. Let o(u) = 2*t(u) - y(u). Suppose 4*b - 36 = 4. Let q be o(b). Solve -4 = f, q*f = -2*m - 1 - 9 for m.
5
Let m(d) = d + 1. Let z be m(-1). Suppose 2*n + 3 + 3 = z, -2*n = 2*l + 66. Let p be 1 - 12/10*l/12. Solve -p*c - 12 = 5*h, -2*h = 3*h for c.
-3
Suppose -9*i + 14*i = -5*q - 5, 5*i - 5*q = 25. Let z(s) = s**3 + 3*s**2 - 5*s - 2. Let x be z(-4). Solve -i*p = 4*b + 6, -4*b - x*p - 31 = -5*p for b.
-4
Let v(s) = -3*s**3 + 7*s**2 + 27*s + 20. Let a be v(-1). Let d be 18 - (-4)/6*-3. Solve -2*l + a*l + 4*m - 4 = 0, -5*l - 2*m = d for l.
-4
Let y = 11762 + -11762. Solve -103*d + 100*d = y, -d = -3*i + 3 for i.
1
Let k = 10633 + -10631. Suppose 3*d + 5 = 5*z - 13, -4*z - d + 11 = 0. Solve 40 = -5*x + 2*h + 13, 0 = -k*x + z*h - 13 for x.
-5
Let j be -3 + 0 - -3 - -2. Suppose -j*p - 14 - 20 = 4*m, 44 = -2*p - 2*m. Let w = 54 + p. Solve -5*h = -3*c - w + 2, 3*c = 2*h - 10 for h.
5
Suppose 77*m = 82 + 226. Solve 7 - 8 = z - 5*b, 0 = m*z + b + 4 for z.
-1
Let q = -9921 + 9921. Let i be (4/6)/(6/117). Suppose 5*c - i*c = q. Solve -5*k = -3*r + 25, c = 4*r + 4*k - 4 - 8 for r.
5
Let m(j) = -2*j**2 + 26*j - 72. Let c be m(9). Solve c = l + 1, 4*l = -2*f - 0*l + 2 for f.
3
Let s(p) = p**3 - 10*p**2 + 14*p + 21. Suppose -66 = -4*d - 34. Let f be s(d). Solve 2*g - o - 1 = 0, -o = -4*g + f - 2 for g.
1
Let b(w) = 3*w + 29. Let i be b(0). Suppose 8 = -2*q - 5*a + i, -2*q + 9 = a. Solve -2 = q*m + s, -2*m + 2*s - 20 = -2*s for m.
-2
Let w = 88 + -104. Let f(j) = -j - 14. Let p be f(w). Suppose -p*b - b + 15 = 0. Solve k - 7 = 5*d, -16 + b = 3*d - 4*k for d.
-1
Let d be (-248)/62 - 27/(-6)*2. Solve -3*g + 0*m = -2*m + 19, -33 = d*g - 4*m for g.
-5
Suppose -3*r - 10 + 31 = 0. Let z be (-8)/28 - (-44)/r. Suppose 5*h = -15, -3*j - h + 3*h + z = 0. Solve 4*v - 4*t - 24 = j, 3*v - 4*v = -2*t - 7 for v.
5
Let b = 1605 + -995. Let d = -610 + b. Solve -5*a - i - 10 + 7 = 0, d = -5*a - 4*i - 12 for a.
0
Suppose -25 = -i - 4*y - 8, 5*i - 5*y = 10. Solve 0 = i*t - 6*t + 3*p - 1, 4*t - 2*p = 16 for t.
5
Suppose 0 = -3044*f + 3273*f - 916. Solve f*j + 2*x = 14, 0 = 6*j - 5*j + 4*x + 7 for j.
5
Suppose -2*y - 84 = -6*y. Solve -3*i = -3*c + y, -i - i = 5*c for c.
2
Let d = -8 + 15. Let r = 15 - d. Suppose 0 = -31*u + 28*u - 3*t + 21, 0 = -3*u + 2*t - 4. Solve 0 = x + 3*w + 2, x - u*w - r = -0 for x.
4
Let p = 1429 + -2015. Let d = -555 - p. Solve 4*b - 2*b = 5*m - 21, -3*b - 5*m = -d for b.
2
Let x be (-9)/(-21) - 33/77. Let a = 5 + -3. Suppose a*h - 5*h + 21 = x. Solve z - 2*r = -h*r - 7, z - 2 = 4*r for z.
-2
Suppose -1890 = 22*z - 2198. Solve -j + 4*t = -3, -5*t = -3*j - 5 + z for j.
3
Let n(p) = -2*p**2 + 19*p + 9. Let x be n(6). Suppose -6*y - x + 63 = 0. Solve -y*r = -h - 1, 0 = -3*h + r + 2 for h.
1
Suppose 4*q - 2354 + 285 = -5*g, -g = 2*q - 415. Let m = g - 411. Solve 3*u - 10 = 2*c, -10 = -m*u - 4*c + 2 for u.
4
Let p(x) = 3*x**2 - 9*x - 17. Let t be p(5). Solve -3*q - 4*f = -t - 14, -4*q = 5*f - 35 for q.
5
Let r = 108 + -104. Suppose 0 = r*l + 2*b - 11 - 7, -4 = -2*l + 4*b. Solve -5*n + o + 4 = 0, 4*n - n + o + l = 0 for n.
0
Suppose 2*c + 3*c = -3*f + 629, f - 3*c - 205 = 0. Suppose -t - f = -5*t. Let r = t - 37. Solve 3*l + 23 = -4*h, -5*h - l + 6*l + r = 0 for h.
-2
Let p = 1497 + -1497. Solve p = -5*w - 4*f + 6 + 16, -2*f = -6 for w.
2
Let q be (-2)/(-5) + 51/85. Suppose p + 54 = f, p - 5 = -q. Let n = -41 + f. Solve 0 = 4*v - 5*t + 19 + 21, -n = v - 3*t for v.
-5
Suppose 17 - 97 = 4*i. Let h = i + 31. Let l = h - 3. Solve -16 = -2*z - 4*t, -3*z - 2*t + 20 = -l*z for z.
-2
Let c be 1/5 + 792/40. Let v(z) = 16*z + 10*z - 24*z - 38. Let u be v(c). Solve -r - x = -2, -2*r = -4*x + 18 + u for r.
-2
Let u(q) = -q**3 + 7*q**2 - 6*q + 8. Let d be u(4). Let p = 26 - d. Let g = p - -8. Solve g*s = h + 10, -3*h = -4*h + s - 5 for h.
0
Suppose 6*q = -38*q + 1584. Suppose -5 = q*v - 37*v. Solve 3*n = -3*w - 21, -3*n - v*w - 29 = -0*w for n.
-3
Let p be -7 - 2/(-3 + 124/44). Solve 4*s = 5*q + 2*s - 8, p*s = 4 for q.
2
Let g(m) be the third derivative of 35*m**4/24 + 70*m**3/3 - 6*m**2 + m. Let d be g(-4). Solve -f + 2*y = 12, -5*f - 3*y - 4 - 4 = d for f.
-4
Let b(y) = 32*y - 61. Let q be b(2). Let o be -4*3/(-10 + q - -3). Solve l + m = -m - 9, 3*l = o*m for l.
-3
Let v be -82*(1/2)/(12 - 11). Let r = -35 - v. Suppose -r*l - 25 = -11*l. Solve 2*u - 23 = 5*f, 4*f - l*u + 19 = -4*u for f.
-5
Let l(w) = -w**2 - 6*w + 3. Let y be l(-5). Let o(t) = 6*t - 32. Let x be o(10). Suppose -x = -2*b - 24. Solve -u - u = b*g + y, g + 4 = -2*u for g.
-4
Suppose 0 = -3*n - 31 + 49. Suppose -3*y - 15 = -n*y. Solve -28 = -y*q - 3*p, q - 18 = -2*q - 3*p for q.
5
Suppose 2*s = -5*s + 74 - 18. Solve 3*a + 19*y - 21*y = -4, 3*a - 5*y - s = 0 for a.
-4
Let k(v) = v**3 + 18*v**2 + 96*v + 144. Let z be k(-7). Solve 4*p - 4*b = -4, -10*p = -z*p + 2*b - 1 for p.
-1
Let k(a) = 2*a**2 - 32*a - 204. Let v be k(-5). Solve 3*m + w - 1 = 0, -2*w = m - v*m + 20 for m.
2
Suppose -2*d - 4 = -6*d - 4*g, g = 1. Let t(o) = -o**3 + 3*o + 2. Let a be t(d). Solve -a*q - 16 = 4*z, q = 4*z + 6*q + 22 for z.
-3
Let w(c) = -4*c**2 - 12*c - 24. Let y be w(12). Let p = y - -1173. Suppose 0 = -8*h - 5*h + p. Solve -12 = m - 2*x, -2*x + 7*x = 4*