ve -o + 4*g - g = 0, 3 = b*g for o.
3
Let s be (-680)/(-110) - 2/11. Suppose 10*c = s*c. Solve b + 2*b = -3*l - 6, c = b - 3 for l.
-5
Suppose -t - 15 = -4*t. Suppose -5*k + 2*r = -16, -6*k - 2*r = -4*k + 2. Solve 15 = t*d, -d + 23 = k*m + 2*m for m.
5
Suppose 3*y = -2*s + 4, -215 = s + 4*y - 212. Solve s*a + 17 = 3*w + 7, -2 = 2*w + a for w.
0
Let n be (0 + -3)/((-57)/76). Let l(u) = -2*u + 15. Let d be l(5). Solve 29 = d*c + 3*w, n*c - 6*w = -w + 1 for c.
4
Let k = -743 - -743. Solve -3*d - 4*g + 8 = k, 3*d - 4*d + 4*g + 8 = 0 for d.
4
Suppose 2*c - 3 - 3 = 0. Let u be 1*-4*(-4 + c). Solve r = u*l + 18, -26 + 4 = 5*l - r for l.
-4
Suppose 0*c + 2 = 4*q + 5*c, 4 = -2*q - 5*c. Suppose -2*y + 3*o + 19 = -0*y, y + 5*o = q. Solve 0 = 5*h - a + 24, -y = -h + 2*h + 3*a for h.
-5
Let h = -976 - -981. Solve h*c = 5*g + 5, 4*g - 3 + 16 = -5*c for g.
-2
Let x be 514/14 - 8/(-28). Let m = x - 33. Solve -m*i - 11 = 2*g + 3, 10 = -5*i - 5*g for i.
-5
Let h(v) = v**2 - 7*v + 8. Let l be h(6). Let q = 1009 - 984. Solve -3*d + i + 27 = 9, -q = -l*d + 5*i for d.
5
Let u(w) = w**2 + 33*w + 184. Let d be u(-6). Solve 5*y - d = -3*a, -a - 9 = 5*y - 33 for y.
5
Let k = -498 + 502. Solve -3*x - 13 = 5*j, k*x = -7*j + 8*j - 2 for x.
-1
Suppose 2 = -d, -2*d = 5*j + 3*d + 85. Let g = 15 + j. Suppose -4*h = 5*r - 17, -r - 2*h - 3 + 10 = g. Solve 17 = f - 4*b, -3*b = -f - r + 14 for f.
1
Let y = 14 + -14. Suppose y = g - 4*g + 30. Suppose 2*n + g = 5*n + t, 4*n - 4*t = 8. Solve 2*l + d - 6 = 0, n*l - d + 1 = -0 for l.
1
Let a(n) = n**3 - 2*n**2 - 2*n + 2. Let j be a(2). Let u be (32/j)/(-6 + 4). Let p be (-24)/((-4)/(u/3)). Solve o + 4*q + 21 = 0, 0 = 4*o - 3*o + 3*q + p for o.
-1
Suppose -t - 20 = -5*w, t = -4*t + 5*w. Suppose 1 - 15 = -t*a + 3*c, 8 = 4*c. Suppose -j + a = 2. Solve -2*n + 30 = -5*b, j = -4*b - 14 for n.
5
Let f be 63/42 + (-2)/((-12)/51). Solve -2*q = 5*d - 19, 3*d - 1 - f = -q for q.
2
Let q(k) = k**3 - 4*k**2 + 2*k - 27. Let w be q(5). Solve -6*g + g + 7 = t, 2*t + w = g for g.
2
Suppose 0 = -2415*w + 2426*w - 77. Solve -y - s = 8, 6*y + s = w*y for y.
-4
Let t be ((-100)/(-15))/(-10)*3/2. Let v be t/(-2) - (-84)/8. Solve -y = y + 3*n - v, 0 = n - 1 for y.
4
Suppose 3*c = -0*c + 24. Let w = -1977 - -1977. Solve 3*z = w, -2*z - 3*z + c = -2*p for p.
-4
Suppose 5*w = k + 8 + 5, 0 = 4*w + 5*k - 22. Let p(j) = 6*j**2 - j + 6*j**2 - 17*j**2 + j**w + 5. Let n be p(5). Solve -4*g = -u - u - 6, -2*g + 4 = n for u.
1
Let n(u) = -5*u - 91. Let f be n(-19). Solve -5*k - 5 = b, -f*b - 5*k = b + 25 for b.
-5
Let j = -355 - -359. Solve -10 = -2*z + 3*c, -j = 2*z - 2*c - 10 for z.
-1
Let l = 1128 + -1124. Solve 4*z = -l*g + 3*z + 17, 0 = g - 3*z - 14 for g.
5
Let d(u) = u**2 - 4*u + 8. Let x be d(4). Suppose -51 = -x*i + 29. Solve -5*f - i = 0, 2*g = -f - 2*f - 12 for g.
-3
Let q(d) = -d**3 - 9*d**2 - 2*d - 17. Let o be q(-9). Let v = 1 + o. Solve 3*z - 2*m = -z + 22, 2*z - v*m - 16 = 0 for z.
3
Suppose -69*y + 256 + 89 = 0. Solve -5*g = y*i + 10, -4*g - i - 14 = i for g.
-5
Suppose -o + 6 = 5*f - 18, -o + f = 0. Let y = 31 + -28. Solve -14 = -q + l - 3*l, -y*l + 31 = o*q for q.
4
Suppose 5*s = 5*x, -3*s + 2*x + 4 = -3*x. Let d = s + 15. Suppose 0 = 4*w - 0*w - 20. Solve -5*v + 4*t = -d, 0 = -3*v - w*t + 41 - 11 for v.
5
Let t = 178 - 167. Solve -3*c - 2*f + 14 = 0, -c - 3*f = c - t for c.
4
Let n be (-8)/60 - (1 - 231/45). Solve -k = 3*k - 4*b + n, -5*b = 4*k + 40 for k.
-5
Let o be (-6)/2 - (-8)/(24/15). Let y be -3 + o/(-2) - (-8 + 1). Solve -i + 3*m = 9, 2*i + y*m = i + 3 for i.
-3
Suppose -15*v - 4 = 4*b - 19*v, 2*b - 5*v + 11 = 0. Solve -o - 11 = -3*o - 3*f, o - f + b = 0 for o.
1
Let a be -19*(-1 + -5 + 5). Suppose a*n - 35 = 12*n. Solve 0 = 5*i + 3*c - 0*c + 12, -2*c - 8 = -n*i for i.
0
Suppose -5*s = 4*c + 10, 4*c + 4 + 24 = 4*s. Solve -p = -s*l - 3, l - 16 = p + 3*p for p.
-5
Suppose 4*o = o + 21. Let n = o + -4. Suppose n*g + 5*f + 11 = g, -3*g + 2*f + 12 = 0. Solve -4*u + 4*k = 0, -4*u - g*k - k = 21 for u.
-3
Suppose 5*b - 5*r + 380 = 0, 0*b + r + 398 = -5*b. Let p = -78 - b. Solve 14 = -3*v + 5*l, -5*l - p + 6 = 0 for v.
-3
Suppose 3*j - 141 = -3*y, -9*y + 3*j = -4*y - 195. Suppose -w + y = 2*w. Let m be (w/(-6) - -3)*3. Solve 5*i - r = 1, 0 + m = -5*i - 2*r for i.
0
Let d = -5 + 8. Let b(w) be the third derivative of w**4/6 - 7*w**3/2 + 37*w**2. Let h be b(6). Solve -5*k - 17 = g, 0 = -d*g + g - h*k - 13 for g.
-2
Let q = 14 - 11. Let o be q - 1 - 17 - -2. Let s = -13 - o. Solve -t - 36 = -5*b + 3*t, 4*b - t - 20 = s for b.
4
Suppose 5*p - 5 = -q + 8*p, 0 = 5*q + 3*p - 7. Solve 5*u + 36 + 1 = -4*k, 0 = q*k - 3*u - 9 for k.
-3
Let y(z) = -6*z - 31. Let w be y(-8). Let a be -14 + (-2)/4*2. Let o = a + w. Solve o*x + 10 = 4*c - 2, -1 = 3*c + x for c.
1
Let r = -5562 - -5565. Suppose 3*v + 4*p = 31, 0*v = 2*v + 5*p - 30. Let x be ((-4)/v)/(1/(-5)). Solve 18 = 5*f + 3*c - 7, x*f = c + r for f.
2
Suppose 8*n - 6*n + 26 = 0. Let s = 16 + n. Solve -2*x - s*q + 3 = 0, 0 = 2*x - 3*q + 12 + 3 for x.
-3
Let k = 110 - 101. Suppose -y - k = -4*u, u + 4*y = -y - 3. Solve 0 = -2*m + 4, u*j + 5*m - 6 = 12 for j.
4
Let z be 2/(-5) - 6/(-15). Let x = 16 - 22. Let t(f) = -f**3 - 4*f**2 + 7*f - 8. Let j be t(x). Solve 3 = a - z*a, 5*q - a = j for q.
5
Let o = 182 + -178. Solve -a - 3*y - 12 = 3, 32 = -o*a - 5*y for a.
-3
Suppose 13 + 2 = 3*x. Suppose 0 = -j + 6*j - 75. Suppose -j = s - 4*s. Solve 3*g + 4*w = 3*w + 7, x*g + s*w = -5 for g.
4
Suppose 3*r + 5*s = 34, -3*r - 3*s + 6*s = 6. Suppose 5*w - 25 = -2*y, r*y = -2*w + w + 18. Solve y*d - 34 + 14 = 5*c, 4*c = -16 for d.
0
Let w = 6 + -3. Let j = -16 - -18. Let l be 9*(-1)/(-1 - j). Solve 2*r + 10 = 2*a, w*a - l = r + 4 for r.
-4
Let o be 24/(-9)*18/(-4). Let d be 3/4 - (-3)/o. Suppose 7*s = 8*s - h - d, 35 = 5*s + 5*h. Solve -3*b - s*z + 3 - 2 = 0, -z - 1 = 2*b for b.
-1
Let v(s) = s + 3. Let w be v(-1). Let u = -1 + 1. Suppose u*x = -x. Solve c - 3 + w = 2*m, x = -2*m for c.
1
Let o be 3*(2 + -3) + 10. Suppose o*t + 3 = 8*t. Suppose t*r = 6*r - 15. Solve -10 = 2*b + 3*b - 2*d, -2*b + r*d - 25 = 0 for b.
0
Let x(q) = -q**2 + 6. Let n be x(0). Let p(f) = f**2 - 5*f - 3. Let c be p(n). Solve 5 = 2*l + c*j, j = -l + 2*j + 5 for l.
4
Let n = 514 - 512. Solve 8*m - 6*m - 6 = l, l - n = 0 for m.
4
Suppose -27*k = -23*k - 20. Solve 0 = -5*c + 2*a - k, -3*c + 3*a - 5 + 2 = 0 for c.
-1
Let x be (1 - 1)*-1*(-13)/52. Solve -4*v - 17 = m, x*v - 3*m = -3*v - 24 for v.
-5
Let u(o) be the second derivative of o**4/3 - o**3/6 - o**2/2 - 3*o. Let l be u(1). Solve -2*s + 0*q - l = -2*q, 5*q - 20 = 0 for s.
3
Let h = 11 - 36. Let c = h - -27. Solve 2*q = k - 2*k, 3*k = -c*q for k.
0
Suppose -2*a = a + 45. Let n = 21 + a. Let j be (n + -2)*(2 - 0). Solve -2*o - j = 4*f, -4*f - 4*o - 4 = -0*o for f.
-3
Suppose c + 5 = 9. Let j be (2 + 2)*5/(5/c). Solve -3*o - 4*l = 14 - 2, 4*o = l - j for o.
-4
Let f(w) = w**2 - 4*w - 3. Let m be f(5). Let c be 1/m + 70/(-4). Let n = c + 18. Solve -4*d + 13 = t - 4, n = -d + 5*t for d.
4
Let l = 8 - 10. Let m be l*(1/2)/(-1). Suppose m = -4*f + 21. Solve h + 6 = 2*h + y, -h = f*y - 18 for h.
3
Let t(o) = -o - 1 - 2 - 2 - 4. Let m be t(-11). Solve -m*g + y = -1 + 6, 0 = -3*g + 4*y - 15 for g.
-1
Let a(h) be the third derivative of -h**5/60 - 13*h**4/24 + 3*h**3 - 11*h**2. Let n be a(-14). Solve 3*p + n*j - j - 3 = 0, 5*p + 7 = j for p.
-1
Suppose -4*o + 21 = 2*w - 15, 0 = 2*o - 10. Suppose -7 = w*m - 47. Solve 0 = v - d + 2*d - 6, -m*v + 2*d - 5 = 0 for v.
1
Let k = 260 - 241. Let r be 2 + (-8*1)/4. Solve 2*y + 5*s - k = 0, -y - 3*y + s + 5 = r for y.
2
Let y be -7 - (-225)/33 - (-290)/22. Solve z + 4*u = y, z - 5*u + 35 = 6*z for z.
5
Let k = 7 + -2. Let b(m) = -m**2 - 2*m + 9. Let r be b(-4). Solve 3*w - k*x - 2 = 2*w, w - 2*x = -r for w.
-3
Let k = -2032 - -2033. Solve 4*w + x = k - 0, -3 = 2*w - 3*x for w.
0
Let a(p) = 2*p**2 - 57*p - 90. Let g be a(30). Suppose -3*t + 4*t - 2 = 0. Let u be -5 + 7 + 0/2. Solve -6*c = -u*c + k - 3, g = 4*c + 2*k - t for c.
1
Let d be ((-28)/(-10))/(154/220). Solve -d*f + 3*m + 4 = 0, -23 = -4*m - 7 for f.
4
Suppose 4*f - 13*d + 20 = -8*d, -12 = -f - 3*d. Solve f = 3*c - 15, 3*h - c = 3*c - 26 for h.
-2
Let l = -27 + 28. Let r be (-2 - 0)/(l/(-4)). Suppose -r = -x