x = 5 - 3. Suppose 3*i = 3*c - 24, 4*c + x*i = 22 + 4. Solve -5*g - 3*d + 13 = 0, g - 2*d = -c*d + 7 for g.
2
Suppose -h + 11 = 4*s, -2*h + 5*s - 3*s = 8. Let r = 5 + h. Suppose 4*x = 6*x - 8. Solve 0 = -t + z + x, 2*t + z = -z + r for t.
3
Let g = 683 + -678. Solve -g*u + 3*r - 11 = -1, 4*r = 20 for u.
1
Suppose 12*f = 7*f - 45. Let p(x) = -x**3 - 9*x**2 - 3*x + 8. Let w be p(f). Solve 2*c + c + w = -5*t, -2*c = 2*t + 18 for t.
-4
Suppose 0 = -3*r - 4*o + 24, -r = -6*r + 2*o + 14. Solve 3*d = g - r*g + 18, 0 = 4*d - 3*g - 3 for d.
3
Suppose -3*m - 5*f = -1, 4*m + 4*f = m + 2. Let s(q) = -6*q - 1. Let x be s(8). Let v = 49 + x. Solve -4*j + 2*h - 4 = h, v = -2*j + 3*h - m for j.
-1
Let i(j) = j**2 + 3*j - 8. Let g be i(5). Suppose 0 = 3*d - 3*n - 24, -4*d + g = 4*n + n. Solve 0 = -5*s - 5*t - 20, -d = 3*s + 5*t + 14 for s.
1
Let j(r) be the first derivative of -r**2 - 20*r - 3. Let c be j(-11). Solve 0 = 2*u + 10, c*y - 13 = 5*u + 14 for y.
1
Suppose -45*x + 70 + 155 = 0. Solve -5 = x*l - y - 0, y - 5 = -2*l for l.
0
Let l = -1778 + 1785. Suppose -9 = -5*j + f, j - 1 = -f + 2*f. Solve -3*u - k + j*k - 5 = 0, 5*u + l = 2*k for u.
-3
Suppose 2*h - 8 = 4*p, -5*h + p + 2 = -0*h. Suppose -6*z + h*z = 0. Let f(g) = -g + 9. Let s be f(7). Solve n - 2*o = 0, -s*n + 3*o = -z*o - 1 for n.
2
Let v = 104 + -98. Suppose -56 = -v*r - 8*r. Solve 40 = 5*q + r*u, u + 1 - 2 = q for q.
4
Let n(y) = -y - 2. Let p be n(-16). Suppose -21 = -p*a + 49. Solve -5*f - j = -0*f - 14, 0 = a*f - 2*j - 17 for f.
3
Let t(g) = -17 - 8 + 45 + 8*g. Let l be t(-2). Solve -6*y - 16 = -l*n - 3*y, 4*y + 15 = -n for n.
1
Let w(f) = -4*f. Let u be (-2)/3*(-3)/(-2). Let b be w(u). Suppose 0 = -p - 0 + 3. Solve -5*k = b*z + 2, -p*k + 0*k = 2*z + 2 for k.
-2
Let r = -48 + 45. Let l be 11 + -8 - (r + (0 - -1)). Solve -2*i = -l*j - 7*i - 40, 0 = -3*j + 3*i for j.
-4
Let f = 141 + -138. Solve -2*d - 19 = f*a, 3*a = -0*a + d - 13 for a.
-5
Let i(w) = 3*w - 39. Let c be 2 + ((-318)/(-30) - 2/(-5)). Let t be i(c). Solve -4*p = 2*q - 5 + 23, t = -3*p - 15 for q.
1
Let s = -270 + 277. Solve -4*l + s = 3*g, 3*g - 6*l = -3*l + 21 for g.
5
Suppose 27*f - 58 = -4. Let j(c) = c**2 - 5*c + 2. Let d be j(5). Suppose -6 = -d*k - k. Solve k*y - 3*g = g - 22, 2 = f*y + 2*g for y.
-3
Let i(d) = 2*d - 4. Let x be i(-4). Suppose 4*s - 10*s = 216. Let m be (1/1)/(x/s). Solve j + 9 = y + m, 3*y - 12 = 0 for j.
-2
Let t be (11 - (-4)/(-1)) + (-56)/8. Solve t*q = -3*j - 3*q - 6, -2*j + 3*q = -11 for j.
1
Let b = -25 - -57. Suppose 8*j - 24*j + b = 0. Solve m + 3 - j = w, 0 = -m + 3 for w.
4
Let a be 10/(-20) - (-10)/4. Let s(l) be the first derivative of -l**4/4 + l**3 - 2*l + 17. Let j be s(a). Solve -4 + 1 = y - j*k, y = -2*k - 7 for y.
-5
Suppose 0 = 5*q + 49 - 64. Solve a - 8 = -5*s, -s = -4*s - q*a for s.
2
Let v = -29 - -20. Let l be ((-3)/v - 1)*-30. Let k be (12/(-8))/((-3)/4). Solve -k*x - 5*j = -l, -8 = -7*j + 3*j for x.
5
Suppose 13 = -13*d + 143. Solve d = -2*r + 5*f, -3*f + 8 = -r + f for r.
0
Suppose 5*b = 20*g - 18*g - 15, -24 = -5*g - b. Solve -4 = c - 2, g*c = -3*o - 16 for o.
-2
Let m(f) be the third derivative of -f**6/60 - f**4/12 - f**3/6 + 3*f**2. Let u be m(-1). Let h = -12 - -18. Solve 5*y = -u*l + h, 2*y = 3*l + 3*y - 6 for l.
2
Let n(v) = -36*v - 68. Let c be n(-2). Solve -1 = -j - c*g, j = -2*g - 0*g - 1 for j.
-3
Let x(f) = f**3 - 3*f**2 + 9*f. Let d = 68 - 65. Let c be x(d). Solve -b + c = -5*z, 31 = -5*z - 0*z + 3*b for z.
-5
Let z be -6 + 0 - ((-15)/3 - 4). Let a be -1 + 1 + 2*1. Solve 2*u = 3*l - 19, a*u + 2*l - 11 = z*u for u.
-5
Let z(s) = s**2 - 2*s - 2. Let p be z(7). Suppose p + 35 = 4*i. Suppose 3*f = i + 13. Solve -5*d - 27 = -2*y + 4*y, 5*y + d + f = 0 for y.
-1
Suppose 2*c - 2*v + 34 = 0, 2*c - 49 = 5*c - v. Let q be (-36)/c + (-30)/(-8) + -3. Solve 0 = -q*k + h + 13, 0 = -k - 0*k + h + 5 for k.
4
Let a(t) = -t**3 + t**2 + 4*t - 1. Let g be a(-3). Suppose 0 = 10*f - g*f + 65. Solve r + f*x + 17 = 0, r + 5*x = -r - 14 for r.
3
Let w = -12 - -21. Solve 0 = -5*v - r - w, 4*r = -v - 19 + 2 for v.
-1
Let x = -2702 + 2706. Solve -2*n + x = 0, -3 = 5*h + n + 10 for h.
-3
Suppose 0*o + 5*o - 5*x = 5, 0 = -4*o + 5*x + 1. Solve 0 = o*y - 2*u - 16, -3*y + 4*u + 10 = -7 for y.
3
Suppose 11*r + 6 = 5*r. Let w be 33/5 - (r + (-56)/(-35)). Solve u = 2*z + 4*u - w, 2*u = 2*z + 4 for z.
0
Let b = -38 - -41. Suppose b*m + 4*m = 0. Solve -4*n - 4 = -c - 0, -c + 5*n + 4 = m for c.
4
Let g be (-2)/5 + (-216)/(-40). Suppose -g*b - 7 = -o, 2*o + 2*b = -2 - 8. Let x(m) = -m + 6. Let k be x(o). Solve 3*a - v = v + 10, k = a + 5*v for a.
4
Let a(k) = -17*k - 136. Let x be a(-8). Solve 5*p + 3*o + 4 = x, -2*o = -p + 3*p for p.
-2
Suppose 6*m - 14*m = -48. Suppose -7*z + 2 = -m*z. Solve -2*h - 2 = 0, y + 4 = z*y - 2*h for y.
2
Let x = -100 + 145. Let k = -40 + x. Solve 0*v + v = h + 5, 0 = -h + 2*v - k for h.
-5
Let j be (-35)/(-10)*20/7. Let g = j - 11. Let a be (-360)/(-6)*g/(-3). Solve 4*u + a = 0, -4*u = -5*v - u - 10 for v.
-5
Let j = 6 - 3. Let l be 0 + -43 + (-1)/1. Let y = l + 46. Solve 0*r = j*i - y*r - 17, -4*i - 3*r + 17 = 0 for i.
5
Suppose 0 = 13*j - 28*j. Solve 4*f - 16 = j, -2*f + 17 = 3*k + 3*f for k.
-1
Suppose -6*v = 6*v - 96. Let k be (-112)/(-36) - 2/18. Solve 5*x + p = -18 - v, -4*p = -k*x - 11 for x.
-5
Suppose -5*v + 16 = -3*c - 0*v, -3*c = 3*v. Let b be c - (1/3)/((-7)/84). Solve 5 + 7 = b*i + 4*w, -5*i = 5*w - 20 for i.
2
Let p = -2 - -4. Let u(z) be the first derivative of -z**4/4 + 4*z**3/3 + 9*z - 23. Let v be u(4). Solve -p*a = l - 2 - v, 3*l - a = 5 for l.
3
Let h = 15 + -12. Suppose -3*x = -h*d - 7*x, -3 = x. Solve 2*j + 4*b + 0 = 2, -5 = -3*j - d*b for j.
3
Let x(u) = 4*u + 36. Let q be x(-9). Suppose 27*d - 30*d + 12 = q. Solve 0*b - 5*b - 3*j = 22, -d*j = 16 for b.
-2
Suppose 0 = -4*v - 140 + 160. Solve 5*z - 27 = -2*q, 2*z + z - 10 = v*q for z.
5
Let s = 622 + -620. Solve s*x - 21 + 5 = -3*n, 0 = -x + 5*n - 5 for x.
5
Suppose 3*b = 4*v + b + 18, -v = 2*b + 17. Let q(n) = 3*n + 26. Let p be q(v). Solve 4 = k, -6*o + 3*o + 23 = p*k for o.
1
Suppose -5*v - 4*u - 10 = -0*v, -3*v - 3*u - 6 = 0. Let o(y) = -5*y - 5. Let a be o(v). Solve -4*q + 5*p = -18 - 7, 0 = a*p + 25 for q.
0
Let w be (-4)/10 + 180/75. Solve 4*z = 2*z + 3*u - 5, 0 = 2*u + w for z.
-4
Let m = -721 - -723. Solve 0 = -2*n + 2, 3*u = -m*n - 2*n + 16 for u.
4
Let t be 5/3 + 10/(-6). Suppose t = -15*v + 223 + 212. Solve -n = f - 1, 2*f + 3 - v = 4*n for f.
5
Let h(k) be the second derivative of k**4/6 + 4*k**3 + 2*k**2 - k. Let l be h(-12). Suppose 2*t - 4 = -0. Solve -l*j - t*y + 32 = 6, 4*j + 5*y = 35 for j.
5
Let s be 0/(-1) + 1 + 0. Let r(l) = -l**2 + 101*l - 567. Let w be r(95). Solve w*a - 4*v = 16, 2*a - s = -v - 5 for a.
0
Let t = 39 - 37. Suppose 2*w - 6 = -t. Let y(s) = -5*s - 5. Let h be y(-4). Solve -5*z - 8*d = -3*d + h, -w*z + 5*d + 15 = 0 for z.
0
Let t = 73 + -32. Let q = t + -27. Suppose -5 = -2*h - 3, 5*i + 4*h = q. Solve d - 2*g = -3*d - 10, -3*d - i*g = 4 for d.
-2
Let l(c) = c**3 - 3*c**2 - 2*c - 2. Let u be l(5). Suppose 26*i = 24*i + u. Solve -2*y - 2*s + 18 = -6*y, -5*y = s + i for y.
-4
Suppose 0 = 5*k - 2 - 18. Let x(f) = 4 + f**2 + 3*f - k*f - 1. Let l be x(0). Solve q + l*a = -9, 0 = 2*q - 2*a + 4*a + 10 for q.
-3
Suppose 37*d = 35*d + 46. Solve -d + 4 = -r - 4*h, 0 = 3*h - 15 for r.
-1
Suppose -24*r + 188 = 44. Solve 10*t - r*t = 4*u - 20, 25 = -t + 5*u for t.
0
Let w = -295 - -298. Solve -w*a - 5*r = 20 - 0, 5*r = -5*a - 20 for a.
0
Suppose 10 = -2*f - 5*j + 39, 65 = 5*f + 5*j. Solve f = -5*d - 4*l + l, -2*l = 8 for d.
0
Suppose 53 = -27*s + 107. Solve -3*z + 3*m = s*m - 9, -5*z = -m - 15 for z.
3
Suppose -3*j - w = -169, -2*j = -0*j - 5*w - 90. Let y = j - 50. Let d = -2 + 6. Solve y*f = 2*n - 3*n - 18, d*n + 21 = -3*f for n.
-3
Let u = 563 + -560. Suppose 2*c = -2 + 10. Solve i - 3 = c*t, t + t + u*i = 9 for t.
0
Let h(d) = 6*d - 2. Let o be h(1). Suppose 1 + 8 = t + q, o*t - q = 16. Solve 2*y + 10 = 4*c, -y + t*c - 6 = -5*y for y.
-1
Suppose 4*w + 2*p = 138, 5*w - 171 = -4*p + 2*p. Suppose w = -2*t + 7*t + 2*d, 4*d = -4*t + 36. Solve 4*j + 5*b - 14 = 7, -t*b + 25 = 0 for j.
-1
Suppose 4*u + 12 = 3*s, -2*u + 5 - 11 = 4*s. Solve 3*n - 12 = -3*o, 0*o - o + 3*n = s for o.