 + 17 = 0, -2*a + 4*k + z = a for a.
5
Let d = -7 + 7. Suppose -3*g + 12 + d = 0. Solve -o = i + g*o + 8, 6 = 5*i + 2*o for i.
2
Let l(w) be the first derivative of w**3/3 - 3*w**2/2 - 4. Let b be l(3). Solve -2*p - 3*m + 4*m + 11 = b, -2*p - 4*m = 14 for p.
3
Suppose 0 = -5*a + 4*a. Suppose y = -4*y - j + 23, -y + 5*j + 15 = a. Suppose 0 = y*d - 10 - 15. Solve n - 1 = k, -6*n + d*n = -4*k - 10 for n.
-2
Let k be 8/(-10)*(-4 + -1 + 0). Solve -k*u - 4*c = 4, -4*u + 5*c = 3*c + 22 for u.
-4
Let q = 0 - 0. Suppose -5*n + 25 = -q. Suppose -j = -s + 1, -n*s + 3*j + 3 = -4. Solve -s*h - 2*p + 6 = 0, 5*p = -3*h + 4 + 3 for h.
4
Let z(c) = 2*c**2 + 46*c - 48. Let o be z(-24). Solve -4*p + h - 5 = -o*h, 2*p = h - 1 for p.
-2
Suppose 10 + 25 = 7*g. Solve 3*o - 2 = g*j, 3*j + 0*j = o + 2 for j.
2
Let r = 78 + -65. Solve z - d = d - 12, -r = 4*z - d for z.
-2
Let w(x) = x**3 - 4*x**2 - 4*x - 3. Let z be w(5). Solve z*d + 3*d = g + 6, 4 = g for d.
2
Let f(y) = -y**2 + 2*y + 1. Let v be f(-3). Let a = -9 - v. Solve b = 4*n + 17, 0*b + 22 = n + a*b for n.
-3
Let h = 13 - 8. Solve 8 = 2*r - 3*j - 2, -10 = h*j for r.
2
Let x(v) = v + 7. Let r(f) = 3*f + 3. Let y be r(2). Let i be x(y). Solve 4*u + 3*s - 27 = 0, -5*s + i = u - 4*u for u.
3
Suppose 0 = -4*t + 131 + 109. Suppose 2*k - 60 = -u, 0*u + t = 2*k + 2*u. Solve 5*r + 5 = -2*g - g, -2*g + 5*r + k = 0 for g.
5
Let l be -3 - -6 - (5 - 5). Solve 2*h + 4*x = 16, -l*h + h = 2*x - 10 for h.
2
Let d be 87*(2 - 10/6). Solve -b = c + 2*c - 4, -d = -3*c + 4*b for c.
3
Suppose -5*j + 26 = -p, -p + 2*p + 21 = 4*j. Solve 3*k = 2*q + 4, 11 = q - 0*q + j*k for q.
1
Let p = 18 + -16. Solve -p*w = 4*x + x - 23, 0 = -4*x + w + 21 for x.
5
Let a = -3 + 5. Let g = -4 - -9. Let v(o) = -o + 5. Let x be v(g). Solve 6 = 4*l + 5*k - 2, x = a*k for l.
2
Let a be (1 - -4) + (-1 - 1). Let f be (-100)/(-6)*(-12)/(-10)*1. Solve a*p + 4*s = p - f, 10 = 2*p - 2*s for p.
0
Suppose -3*l + 5*t + 1 + 0 = 0, -3 = -3*t. Suppose -2*y + 2 - 16 = -4*r, r + y - l = 0. Solve -r*u = -9, -h + 9 = -6*h + 3*u for h.
0
Let x(v) = -v**3 + 9*v**2 - v + 9. Let f be x(9). Suppose -2*c + f = -6. Solve -b = -c*d + 2*b - 3, 11 = -2*d - b for d.
-4
Let v(n) = -94*n**3 - 6*n**2 + n + 95*n**3 - 2 + 0*n. Let x be v(6). Solve -2*c = 2*a, 7 - 2 = -x*a - 3*c for a.
-5
Let f be 185/6 + (-11)/(-66). Suppose -3*z + f = 2*h, 3*z + 0*h - 16 = h. Solve 0 = -4*u + 5*o - 10, -3*u + o - 20 = -z for u.
-5
Let r(s) = -3*s**3 - s**3 - s**3 + s**3 - 1 + s**2. Let u be r(-1). Suppose 3*a = a. Solve -5*m + m = -u*c + 20, 4*c + 3*m + 8 = a for c.
1
Suppose -4 = w + 5*s + 19, -5*w + 30 = -4*s. Solve w*q + u = -2*u + 4, -4*q - 5*u + 8 = 0 for q.
2
Let w(p) = p**3 + 7*p**2 + 6*p + 3. Let c(n) = -7*n**3 + 2*n**2 - n. Let a be c(1). Let o be w(a). Solve -i + 23 = 2*i - 4*r, -o*i + 5*r + 28 = 0 for i.
1
Suppose -5*u - 6*l + 3*l = -44, 4 = -2*l. Solve 4*y + y - u = 5*k, -6 = -3*y for k.
0
Let r = -68 - -73. Let y = 14 - 10. Solve c = 5*j - 20, y*c - 2*c - 20 = -r*j for c.
0
Suppose a + 13 = -4*q, -4*q = 21 - 9. Let y be 5 - (-1 - a) - 2. Let m be (-2)/6 - (-32)/6. Solve -4*t + y*k = m*k + 6, -4*t - 3*k = 9 for t.
0
Let n(i) = -2*i - 1. Let o(k) = k**2 - 5*k + 3. Let j be o(3). Let y be n(j). Let a = 9 - y. Solve -2*w = -4*t - 18, 2*t - t - a*w = -8 for t.
-4
Suppose 8*p - 5*p - 12 = 0. Solve 10 = -4*n - 3*b + 5*b, -35 = 3*n + p*b for n.
-5
Suppose -6*p + 32 = -2*p + 4*l, 1 = 2*p - l. Solve -g + 0 = -5*k - 6, 0 = -p*g - 4*k - 20 for g.
-4
Suppose 38 = 4*d + 14. Suppose 0*n + n - 53 = -5*v, -5*v + 2*n = -59. Let p = v - d. Solve -2*h - 2*h = c - 22, -5*h = p*c - 35 for h.
5
Suppose -4*h = 4*s - 48, 5*s = -4*h + 103 - 44. Let a = 18 - s. Suppose 1 - a = -w. Solve -4*j = 2*z + 2, j = 3*z - w + 2 for j.
-1
Let y(u) = u + 14. Let o be y(-11). Solve 4*h = 3*h - o*p + 13, -2*h - 2*p + 10 = 0 for h.
1
Let d = 11 + -5. Suppose -21 = -5*o + k, 5*o - d*k = -k + 5. Suppose j - 10 - 2 = 0. Solve 0*g - 2*m + j = 4*g, -4*g + o*m = 2 for g.
2
Let h(q) be the first derivative of -q**4/4 - 8*q**3/3 + q**2/2 + 10*q + 3. Let s be h(-8). Solve -n - 3 - 5 = s*p, n + 17 = -5*p for p.
-3
Let b = 6 + -9. Suppose 4*n + 10 = 2*q, 5*n - 8 + 1 = -4*q. Let h be 3/b + q + 1. Solve z - 2*z = 4*k - 7, h*k - 8 = 2*z for k.
2
Let g be (63/7)/((-6)/4). Let c = 14 + g. Suppose 2*o - 2*p = c, 2*o - 4*p = -5*p + 8. Solve o*x = -2*z + 8, -z + 0*x = -2*x for z.
2
Suppose 3*a + 2*j = 8, 0*a - 3*a + 33 = -3*j. Solve -4*c + 4 = 4*y, -2*y - 6*c + 3*c + a = 0 for y.
-3
Suppose 14 = -w - 4*j, 0*j + 40 = 5*w - 2*j. Suppose 9*z = 4*z + 45. Let x = z - w. Solve 11 + 11 = 3*g - 2*d, x*g = 4*d + 32 for g.
4
Let a(w) = w**2 - 6*w + 3. Let y be a(6). Solve 0 = v + 2*r + 5, 5*r - 2 = -y*v - 16 for v.
-3
Let t = 8 + -23. Let m = -12 - t. Solve 3 = -2*c + x, -2*c + 3*c + x = m for c.
0
Suppose -2*c + x = -3*x - 32, 2*x = -2*c + 2. Suppose -c = -o - o. Solve i - a - 8 = 0, a - 8 = -o*i - 0*a for i.
4
Suppose -10 = -a - a + 2*w, 3*w = -5*a + 1. Let q = 7 - a. Solve 2*n = 3*l - q*l + 12, 5*n - 4*l = -6 for n.
2
Let v = -5 - 1. Let b be (-5)/2*v/5. Solve 0*q + b*i + 17 = -q, -3*q - 26 = 4*i for q.
-2
Let a(g) be the third derivative of -g**4/12 - 7*g**3/6 + g**2. Suppose -7 = -3*r - 22. Let v be a(r). Solve v*x = -12 - 0, t = -3*x - 13 for t.
-1
Let i be ((-6)/(-8))/(4/32). Suppose -i*a = -5*a - 4. Solve 16 = -3*x + a, 2*o - 5*x - 14 = 0 for o.
-3
Let w(j) = j**3 - j**2 - 2*j + 3. Let q = 6 + -4. Let y be w(q). Let p be (-2)/3 + (-22)/(-6). Solve m = -k - 6, 4*k + y = p*m - 14 for m.
-1
Suppose -3*q - 2*q = 10, 0 = -4*t + 5*q + 22. Solve -2*d - 2*p + 7 = -p, 0 = 3*d - t*p + 3 for d.
2
Suppose g - 7 = -2*j, 3*g + j = 5 + 1. Let l be 9/6 - g/(-2). Solve 6*w = 4*w - 2*v - 4, 3*w = l*v - 6 for w.
-2
Suppose d - 2*v = 2, -2*v + 7 = 4*d - 11. Suppose -j + 20 = d*j. Solve 1 = q - 0, j*g - 5*q + 17 = 0 for g.
-3
Suppose -5*c - 3*k + 2 = -8, -4*c = k - 8. Suppose 1 = c*d - 5. Solve -d*z + 3 = -0, -5 = -5*u + 5*z for u.
2
Let k(d) = 2*d - 3. Let g be k(3). Suppose 0 = -4*f - 4, 3 = g*n - f + 2. Suppose n = -0*l - 4*l + 16. Solve -l*p - 4*w + 8 = p, 5*p - 3*w = -6 for p.
0
Let w be 3*8 + 9 + -7. Let b = -21 + w. Solve 5*a + 5 = -4*h - 1, -5*h + 15 = -b*a for h.
1
Let j be (4 + -8)/(-2 - 0). Solve 0 = j*q - 5*n + 14, -5*q + 7 = n - 12 for q.
3
Let z be 7 + -11 + (27 - 3). Suppose -2*d + 4 + 4 = 0. Suppose 10 = i + 5*g, 2*i - g = 3*g + 6. Solve i*a - 11 = -d*y, 5 = -3*y + 3*a + z for y.
4
Let s(q) = q + 11. Let o be s(-10). Let p = o - -3. Solve 2*n + 6 = p*c, -c + 30 = 2*n + 4*c for n.
5
Let s be (-2 - -3) + 1 - -1. Solve 0 = s*z - 4 - 8, 2*r - 22 = -5*z for r.
1
Let c(p) = p**3 - 4*p**2 + p - 2. Suppose -j = 2*i - 10, 4 = 4*i - 4*j - 4. Let r be c(i). Solve -3*q - 1 = -3*s + s, -r*q + 4 = s for q.
1
Let w(c) = c**2 - 7*c - 3. Let r(y) be the first derivative of y**2 + 2*y - 4. Let a be r(3). Let v be w(a). Solve -3*q + v = -2*j, 8 - 27 = 4*j + 3*q for j.
-4
Let v = -2 + 5. Suppose v*l - 6 = 3. Suppose -40 = k - 6*k. Solve 5*x = -2*c - 9, -l*x + 3 = -k*x - 4*c for x.
-3
Let m be (-2 + 1)/(3/48). Let z(j) = -j**3 + 7*j**2 - 6*j - 8. Let b be z(6). Let p be 12/m + (-22)/b. Solve 0 = -0*t + 3*t - g - 13, t - p = -2*g for t.
4
Suppose 0 = -4*u - 3*z + 18, 0 = -2*u + u + 2*z - 1. Solve 4*w - 16 = -n, -u = -2*n - w + 8 for n.
4
Let b be 32/10 - 13/65. Solve -g = -b, 5*p + 2*g + g - 34 = 0 for p.
5
Let u(i) = i**2 - 2*i + 5. Let r be u(6). Solve -k + 0 = 2*l + 3, 5*k = 4*l - r for k.
-5
Let t = 7 + -4. Let b(v) = v - 1. Let u be b(t). Solve -4 = 3*z + u*x, 3*z + 4*x - 5 = -1 for z.
-4
Let c be 4/(-22) + 9708/33. Suppose -9*j + 6*j = -c. Suppose -2*y - j = -5*k, 2*k + 5*y - 25 = k. Solve 3*z = 2*t - 0*t - 20, 0 = 5*z + k for t.
4
Let z(u) = u**2 - 6*u + 3. Let o be z(6). Solve -8*f + 3*f + 24 = -2*t, 22 = -5*t + o*f for t.
-2
Let p = -4 + 15. Suppose -2*a + p - 3 = 0. Solve 0*s = s - a*m - 12, -5*s - 2*m - 28 = 0 for s.
-4
Suppose 3*d - 2*a = -6*a - 20, -5*d - 4*a - 20 = 0. Suppose d = -3*p + 2*p. Solve -h + p*h = -2*c - 1, 2*c + 5*h = 29 for c.
2
Let j = 44 + -42. Let f = 0 + 3. Suppose 12 = f*s, s = -n + 3*s. Solve -z + n = -2*z - 2*m, 0 = m + j for z.
-4
Let d = 71 + -66. Solve 0 = 2*c - 2*s + 7 - 3, -d*s + 10 = 0 for c.
0
Let j(t) = -t. Let u be j(-3). Let k =