ve 0 = 4*x + 2 - 14, 3*o + 4*x - t = 0 for o.
4
Let s = -4 - 0. Let f be 1 - 1 - (1 + s). Solve 15 = -3*o, f*a = -0*a + 2*o - 2 for a.
-4
Let j be ((-1)/(-1))/(1/2). Suppose -2*o - 1 = s, -2*o + s + 11 = o. Solve -j = -o*t + l, t + 5*l = 2*t - 1 for t.
1
Suppose 3*x = -2*p + 41, -6 = 4*x - 4*p - 74. Suppose 5*w + 2*h - x = 0, 2*h = -5*w - 3*h + 15. Solve 7 = -0*u + 4*u - r, w*r - 3 = 4*u for u.
3
Let d = 8 - 7. Solve -3*n = -4*j + 4, n + j = 2*n + d for n.
0
Suppose -12 = 3*q - 3. Let m = -2 + 2. Let r be m - 3*4/q. Solve -t - r*w = -6*t, 4*t + w - 21 = 0 for t.
4
Suppose g - 7 = -5*u + u, -3*g + 7 = -2*u. Let w be g - 0*3/9. Solve 0 = -2*v - 4, o - w*o = 5*v + 10 for o.
0
Suppose 5*s - 2*q = -1 + 8, -4*q + 10 = -2*s. Suppose s*n = -n. Solve 0 = -4*f + 4*x - 8, n*f - 4*f + 2*x = 0 for f.
2
Suppose 2*t = -4*b - 18, t = 4*b + 7 + 2. Let i be (-2)/(2*1/b). Let a = -2 - -4. Solve 6*q + i*d + 11 = a*q, 3*q - d = -5 for q.
-2
Let a(i) = -25*i + 3. Let w be a(2). Let u = w + 73. Solve 4*t + u = -2*l, 4*l - 2*t = -4*t - 28 for l.
-5
Suppose 2*f - 3 = -0*q + 5*q, 0 = -f + 5*q - 1. Solve -4*g - 4*b - f = 16, -4*g + 4*b = 4 for g.
-3
Suppose l = -4*n - 6, 3*n + 2*n + 15 = -5*l. Let z = 2 - l. Solve 4*t + 0 = 4*d + z, 4*t - 22 = -5*d for d.
2
Suppose -3*k - 3*k + 18 = 0. Solve 0 = -k*l + 2*s + 2 - 5, 5*l - 20 = -5*s for l.
1
Suppose 9 = 5*z - 11. Let j(y) = y**2 + 11*y + 12. Let o be j(-10). Suppose o*p + 4 = z*p. Solve p*c + 1 = 3*c - 3*s, -3*c + s - 5 = 0 for c.
-2
Let d(c) = -2*c**3 - 3*c - 2. Let h be d(-2). Suppose g = 6*g - h. Solve -2*p - 1 = -5*y - 4, 0 = 5*y + g*p - 21 for y.
1
Let g be 156/(-27) - (-12)/(-54). Let s be ((-7)/21)/(2/g). Solve -5*p = 4*x - 25, -p = 2*x - 4 - s for x.
0
Let h(x) = x. Let f be h(5). Suppose -4*u + 7*u - 67 = -f*d, -30 = -2*d - 2*u. Let o = d + -7. Solve r - 5*c = o*r + 23, 0 = -r - 3*c - 13 for r.
-1
Let t(b) = b**2 + 2*b - 4. Let p be t(4). Solve p = -5*v, -12 = -2*n + 3*v + 6 for n.
3
Let p(n) = n - 3. Let g be p(4). Let s(t) = -t. Let m be s(-5). Let q = m - g. Solve -c = 3*c + 16, q*c = 4*x - 36 for x.
5
Suppose 0 = y + 2. Let q(v) = -2*v - 10. Let n be q(-7). Let l = n + y. Solve -23 = 5*p + 3*w, w = l*p - 3*w + 4 for p.
-4
Suppose 5*z = 5*u + 420, 0*z + u = -2*z + 174. Suppose -20 = -5*b, -4*m = -2*m - 2*b - z. Let p = m + -32. Solve -f = -3*j - p, 0*j = 3*f + j - 5 for f.
3
Let c = 15 + -11. Suppose -16 = -4*a + c*h, 4 - 12 = -a + 3*h. Solve 0 = -4*p + a*o + 4, 3*p = 2*o + 1 + 3 for p.
0
Suppose 5*i - 2 - 8 = 0. Suppose q = 5*q - 324. Suppose 8*l = 11*l - q. Solve -2*j = i*b - 14, j = b - 6*b + l for b.
5
Suppose 0 = 21*v - 26*v + 15. Solve -i = -2*o - 7, -v*o - 20 = o for i.
-3
Let z(p) be the first derivative of p**2/2 + 5*p + 2. Let c(v) = v**2 + 8*v - 13. Let o be c(-9). Let u be z(o). Solve -2*l - 5*w - 3 = 0, -2 = 3*w + u for l.
1
Let k = -4 - -8. Suppose -2*z + 30 = -0*z + k*n, -30 = -5*z + 5*n. Suppose y = -0*y + 11. Solve -a + y = q + q, -3*q = -a - z for q.
4
Let m = -6 - -27. Suppose 3*w + m = -3. Let r = w + 13. Solve 4*y + 4*a = 1 - r, 0 = y + 5*a - 3 for y.
-2
Let c(j) = 3*j - 20. Let f be c(8). Solve -4*u + 3*w = -0*u - 28, 4*u = -f*w for u.
4
Let c = 5 + 0. Suppose -3*i - 2*u + 7 + 0 = 0, -2*i + 7 = -u. Let l be 3/(-1 + 10/4). Solve c*f + 13 = 2*o, l*o = 5*o - i*f - 6 for o.
-1
Let f be ((-3)/(-1) - 3) + 3. Suppose 0 = 3*k - 4*k + 1. Let r = f - k. Solve 5*j - 4*p + 17 = 0, 3 + 2 = j + r*p for j.
-1
Let m(u) = u**3 - 11*u**2 - 11*u - 10. Let s be m(12). Let c = -60 - -222. Let i be c/21 + s/7. Solve -q - 4*q = -2*k + 15, 0 = 2*k + 2*q - i for k.
5
Let l = -16 + 36. Suppose 5*g = g + l. Suppose -40 + g = -5*p. Solve 5*m - p = i, -3*i = 4*m - 2 + 4 for m.
1
Suppose 2*w = -0*w + 12. Suppose -k + 12 = 2*j - w*j, -3*j - 14 = -2*k. Solve -1 = -n - u - k, -2*n - 5*u = 21 for n.
2
Suppose 2*o = -0*o + 4. Suppose 7*c + 15 = o*c, a + 4*c = -13. Let r be (-3 + 3)*a/3. Solve 0 = 2*i + 4*f + 18, -2*f + 7*f + 10 = r for i.
-5
Let u = -30 + 35. Solve -5*p - 6 = -4*p + 2*v, -u*v - 18 = 4*p for p.
-2
Let n(c) = 22*c**2 + 3*c + 2. Let h be n(-2). Let o = h + -58. Suppose 5*s - 53 = -4*i, i + 6 = -2*s + o. Solve 3*y - 4*u + s*u + 34 = 0, -25 = 5*u for y.
-3
Let o(c) = 3 + 0*c + 2*c + c. Let j be o(-3). Let v be ((-12)/10)/(j/15). Solve a = 4*a - v*u, -a + 8 = u for a.
4
Let z be 0*(0 + -2 + 1). Suppose 0 = -d + 4*v - 2, 3*v + 6 = -z*d + 2*d. Solve -16 = 3*o + k, 2*k - d*k - 9 = o for o.
-5
Let o(t) = t**3 - 17*t**2 - 19*t + 27. Let d be o(18). Solve 0 = 2*r + 5*g - 21, -2*r + d = g - 0 for r.
3
Let v(d) be the third derivative of d**5/60 - d**4/8 + d**2. Let t be v(7). Solve 0 = h - 4*h - 4*u - t, -3*h + 2*u = 4 for h.
-4
Suppose 0 = -i + 2*l, -5*i - 3*l = -i - 22. Solve h - 18 = 4*u - i, h = -5*u - 22 for u.
-4
Suppose 62 = 4*s + 2*d, -4*s - d = -2*d - 47. Let j be s/26 - (-5)/2. Solve -h + 4*t = 18, h = -t + 2*t - j for h.
2
Let n = 1 - -1. Suppose 3*p = -n*p. Let k be (-6)/21 - 4/(-14). Solve 3*f = -p*m + m + 13, k = -4*f + 4*m + 28 for f.
3
Let t = 2 - -8. Suppose -2*a + 4 + 26 = 2*w, 0 = 5*w - 2*a - 61. Suppose -5*p + 2*q = -p - t, 4*q + w = p. Solve 0*j - p = -j - n, -4*j + 5*n + 31 = 0 for j.
4
Suppose 0*d = -2*d + 14. Suppose -d = -4*r + 1. Solve -f + 4 = -5*t - 3, 3*f = -r*t - 13 for f.
-3
Suppose 0 = -m + 4*m + 4*k - 32, 3*k = m - 28. Let g = 23 - m. Let h = 33 + -3. Solve 4*q + q = 3*v + h, q + g = -2*v for q.
3
Let y(d) = 25*d**3 + d. Let t be y(1). Solve 4*r + 14 = -2*q, -6*q + q - r - t = 0 for q.
-5
Let n = -32 + 50. Solve 5*d + p - n = 0, -3*d - 5*p = -p - 21 for d.
3
Let x be (-8)/(-3)*(5 - -1). Suppose -2*b = -0*b - x. Solve g - 4*k = 3*g - b, -2*g - 7 = -k for g.
-2
Suppose 0*p = -2*p + 5*p. Solve -3*c + p*u = -u + 3, 11 = 2*c - 5*u for c.
-2
Let l be ((-3)/(-6))/(2/4). Let n be 42/24 + l/4. Solve 0*p = -4*p - n*a + 2, -13 = p + 5*a for p.
2
Suppose 0 = -5*r + 4 + 16. Solve 0*v + 2*v - r*d = 18, -5*d = 2*v + 9 for v.
3
Suppose u = 3*c - 14, 22 = 2*c - 4*u - 4. Let j(y) = 3*y + y + 5 - 5*y**c - 5*y**2 + 6*y**3. Let i be j(4). Solve 2*s + i*l = 12, -s - 3*l - 3 = -5*l for s.
1
Let p = -25 - -27. Solve 2*y + 2 = -p*m, 2*y = -m + 2*m + 10 for m.
-4
Let w be 4/14*1*(12 + -5). Let s = -1 - 3. Let t(o) = o**2 + 3*o. Let p be t(s). Solve 3*h = 4*k, w*h + 9*k = p*k + 23 for h.
4
Let p be (30/75)/(2/10). Solve 3*a - 3*w + 6 = 0, -p*a + w - 6 = -2*w for a.
0
Suppose 4*x = -x - 25. Let p(l) = l**2 - 7. Let u be p(x). Solve -h + 1 - 2 = 3*a, -4*h = -2*a + u for a.
1
Let u = -7 - -9. Suppose 6*x = u*x + 84. Solve -2*l = 4*v + 6, 2*l - l = 4*v + x for l.
5
Let s(b) = b - 1. Let g be s(3). Solve 3*h = -3*w - 12, -2*h - 4 = -g*w - 0*h for w.
-1
Let j = -106 + 106. Solve -2*r - 9 = w - j*w, 0 = 4*r + w + 13 for r.
-2
Let y be (-6)/4*(-3 - 3). Solve s = -4*d - y, 2*d + s + 0 + 3 = 0 for d.
-3
Suppose 5*l + 20 = 5*g, 3*g = 5*l - 0*l + 16. Solve g*j - v + 1 = 12, -j + 3*v = -13 for j.
4
Suppose 2*x + 4*z = 2*z - 10, 4*z - 22 = 3*x. Let r(t) = -t - 1. Let n be r(x). Solve 0 = n*a - 2*w + 3, -4*w + 17 = -3*a + w for a.
1
Suppose 0 = -0*g - 2*g + 6, g + 1 = 2*c. Suppose 4*i - 10 = 10. Let k = 9 - i. Solve 0 = -k*x + 2*d - 8, 0*x + 2*x - 4*d = c for x.
-3
Let q(s) = s**2 - 5*s - 4. Let t be q(6). Let h be (-1)/4 - (-33)/(-12). Let p be 1 + 0 + (h - -11). Solve 0 = -4*c + p*c - t*u + 10, 25 = -5*u for c.
-4
Let i(t) = t**2 + 7*t - 4. Let j = -15 - -1. Let l = 6 + j. Let z be i(l). Solve q - 5*b + b = z, 5*b + 22 = -3*q for q.
-4
Let u(b) = 9*b**2 - 2*b + 1. Let z be u(1). Let t be (22/8)/(2/z). Solve -2*h = 6, -2*r + 0*r + t = -h for r.
4
Let u = 20 + -17. Solve -w + 2*j = 0, u*w + 2*j = j - 7 for w.
-2
Let f be (0/1)/(-2 + 0). Let w(h) = -h**3 - 5*h**2 - 4*h + 3. Let b be w(-4). Solve 0 = -2*s + z + b - f, 5 = z for s.
4
Let w(u) = -4*u + 2*u + u - 5. Let o be w(-5). Solve 0*z + 3*z + t + 3 = o, 5*z + 6 = -2*t for z.
0
Let w be 3 + (-3 - 3)/(-6). Solve -2*p + 2 = v, 5*v = 2*v - w*p for v.
-4
Let z(g) = 4*g. Let o be z(3). Let q = 14 - 9. Suppose -3*r - q*s = -5, 5*r + 3 = s + 2*s. Solve -2*c - 5*j + o = -r*j, j = -c + 3 for c.
1
Suppose 2*a = -3*a - 4*o + 10, -15 = -5*a - 3*o. Suppose 0 = -z - 3 + 8, -5*z = -3*j + 14. Let s = a + j. Solve 3*v - 11 = -5*p + s, -23 = -p - 4*v for p.
3
Let s(n) = -3*n - 2. Let h be 