 + 6 = -3*l, 0*l = v*l + 10 for k.
0
Suppose 4*i - 2 - 2 = 0, -4*i = 3*s - 325. Let b = s + -105. Solve 16 = b*y + 3*g, 6*g - 2*g - 16 = 0 for y.
2
Suppose l - 6*l = -5*m, 0 = -l - 3*l. Solve 5*r = -0*r - u - 12, m = -r + 2*u - 9 for r.
-3
Let c be (-6*22/8)/(18/(-24)). Solve 6 = 2*z, -2*x + 2*z - c = 2*x for x.
-4
Suppose w - 4*i + 60 = 0, -5*w - 3*i = -2*w + 135. Let c = -40 - w. Solve 2*p + c = -2*v - 0*p, 12 = v - 3*p for v.
0
Suppose 45 = 5*y + 5*v, y - 35 = -4*y - 3*v. Suppose -5*n = -25, -4*f + n - 1 = -y. Solve 5*b + f*q - 18 = 0, 5*q + 21 = -2*b + 6*b for b.
4
Let q(g) be the third derivative of g**5/30 + 5*g**4/3 - 6*g**3 - 30*g**2 + 2. Let d be q(-21). Solve -2*o - 4*y = -16, 2*y - d - 10 = -5*o for o.
2
Suppose -6*m + 12 = -2*m. Let k(w) = w**2 - 10*w + 12. Let s be k(8). Let n be 10 + (-6 - s) - 4. Solve -a = 4*c - 3, m = 3*c - n*c - a for c.
2
Suppose 3*l - 2 - 1 = 0. Let g = -3 + 8. Suppose l + g = k. Solve -5*w = -3*y + 31, 0 = 3*w - y + k*y + 5 for w.
-5
Let v = -235 + 237. Solve -r + s = -0*r - v, 4*r + 2*s - 8 = 0 for r.
2
Let c(b) be the third derivative of -b**6/60 - 7*b**5/30 + 17*b**4/24 + 13*b**3/6 + 3*b**2. Let t be c(-8). Solve -5*g + 3*u = -0*g - 28, -g = t*u for g.
5
Let y = 178 - 174. Solve o + y*o + 25 = 0, 2*m = 2*o + 10 for m.
0
Suppose 2*i - 4 = 2. Suppose -v + 244 - 242 = 0. Solve 6 = -3*t + 2*h - i, h - v = -t for t.
-1
Let m be 2*(1 + 25/(-10)). Let h be (-2)/4*(-5 - m). Solve -w - h = -f - 7, 6 = -3*f for w.
4
Let t = 40 + -38. Suppose -5*b + 6 = -t*b. Solve 3*m = 2*z - 2*m + 6, -4*z - b*m - 12 = 0 for z.
-3
Let s = 5 + 0. Let o be (2 + -1 - 1)/2. Suppose o = -2*w + h + 45, 4*w = 4*h - 9*h + 97. Solve 8 + 7 = 5*t + s*l, w = 5*t - 3*l for t.
4
Suppose 28*r = 23*r. Let w be (3 + r - 2)*2. Suppose 22 = 3*q - q + 2*n, -q + w*n - 4 = 0. Solve 3*t + 10 = 4*f, t - 3*t + 2*f = q for t.
-2
Let k(a) = 5*a - 10. Suppose 7*g - 13 - 8 = 0. Let p be k(g). Solve -11 = -2*o - 5*u, o - p*u - 2 = -4*u for o.
3
Suppose -4*i = -i - 69. Let a = 27 - i. Solve m - 4*p = 25, -m + 40 = 3*m - a*p for m.
5
Let a be (-75)/21 - 12/28. Let h be (a/7)/((-10)/140). Let i = 8 - 3. Solve -2*l = i*j - 9, -3*j + j = 3*l - h for l.
2
Suppose 860*r - 838*r = 0. Solve 0 = 3*n - 5*s + 16, 3*n = 2*s - r - 10 for n.
-2
Suppose 0 = 8*p - 6 - 10. Suppose 5*u = -3*l + p*l + 12, u = 2*l + 9. Solve 3*b = u*y + 18, 7 = b + 5*y + 25 for b.
2
Let q(r) = -4*r - 8. Let u be q(-6). Solve -3*g - 5*x + u = 0, 2*g + 2 = 4*x - 2 for g.
2
Suppose 3 = -2*y - 3*d - 3, 3*y + 6 = -3*d. Suppose 9*g + 17*g = 52. Solve 6 = -i - g*i + 5*x, -x = y for i.
-2
Let w = -20 + 30. Let j be (-46)/(-10) - w/(-25). Solve 2*m - 5*x - 7 - 3 = 0, -3*x - 6 = -j*m for m.
0
Let o = -1204 - -1207. Solve -x - f + 4*f + 2 = 0, x = -o*f - 10 for x.
-4
Let i be 12*(2 - (-5)/4). Suppose 0*z - 2*z + 74 = 5*n, 12 = 3*n. Let r = i - z. Solve -2*p - r = -2*k, k = 4*k - 2*p - 17 for k.
5
Let u = 887 + -885. Solve u*x - c - 1 = -0, 5*c = 25 for x.
3
Suppose 3*d = 2*c + 2, 5*d + 6 = 2*c + 4*d. Let u = -7 - -12. Solve -5*f = 2*h + 28, 0 = -u*h - c*f + 10 - 50 for h.
-4
Let h be -1*(2 - 22/2). Suppose 0 = -v + 2*n - 7*n + 15, 2*n - 24 = -4*v. Solve -3 - h = -3*k, 4*u + 16 = v*k for u.
1
Suppose 23*u - 15*u = 32. Solve p = -4*x - 9, -u*p + 5*x - 7*x - 22 = 0 for p.
-5
Suppose 0*g + g - 3 = 0. Suppose 6*i - 9*i + 6 = 0, -2*a + 58 = 2*i. Suppose -g*x + 9 = -a. Solve -6*d + f - x = -d, 2*d = -f - 9 for d.
-3
Let n be 12*1/(12/9). Suppose -3*j = -n - 3. Suppose 0*c - l - 21 = -j*c, 0 = -2*c - 3*l - 7. Solve c*i + 16 = 0, -q - 20 = 5*i - 4 for q.
4
Let i be 3/(-3) - -1 - 0/12. Solve -4*m = -5*d, 4*m = -i*d - 2*d for m.
0
Suppose 0 = 5*u - 5, 3*h - 6*h + 2 = 2*u. Suppose 3*b + 0*b - 42 = h. Let o be 116/b - 10/35. Solve -t - 2*r + 4 = -0*t, -o = -4*r for t.
0
Suppose 4*y - 36 = -4*o, o - 6 = -2*y + 4. Let b(x) = 2*x - 1. Let n be b(o). Solve -3*d - i - 3*i - 15 = 0, -3*d = -i + n for d.
-5
Suppose 4*q - 197 = -189. Solve -5*r + 3 = u - 2, -q*u + 5*r = 20 for u.
-5
Let p(r) = r**3 + 6*r**2 - 3*r - 14. Suppose -23*t = -17*t + 36. Let d be p(t). Solve -2*w = -10, 20 = -d*c + c + w for c.
-5
Let d be (0 + 1)/(-1*3/(-9)). Suppose -2*z - 4 = d*i, 0*i + 16 = 3*z - i. Solve -3*o - f - 1 + 11 = 0, 0 = -z*o - 2*f + 10 for o.
5
Suppose 6 = -2*x, -v - v - 2*x + 24 = 0. Let t = v - 12. Suppose 0 = u - 0*u - 3. Solve -11 = -5*y + u*s - 2, y = s + t for y.
0
Suppose i = -i + 4*q + 106, 3*i - 4*q - 167 = 0. Let l = i + -33. Solve l = -4*z - 0*z + 4*p, p - 23 = 5*z for z.
-4
Suppose -y - 2*w - 2 = 0, 4*w + 16 = 4*y - 12. Suppose -12 + 13 = p. Solve 2*z = 2*x + 5 + p, -11 = 5*x - y*z for x.
1
Let l = -217 + 163. Let a = l + 57. Solve a = 5*n + z, 0*z + z = -3*n + 3 for n.
0
Suppose 5*k = -0*k. Suppose -4*a + a - 9 = k. Let n be (-1)/a*1*12. Solve -20 = 3*r + 2*r + 5*y, r = n*y - 9 for r.
-5
Let p = 6 - -41. Let i = 49 - p. Solve i*o - 5*g = 0, -2*g - g = -o for o.
0
Suppose -12*y + 94 - 34 = 0. Suppose i = -h + 7, 0*i + i = 5*h - y. Solve 0 = -3*t + r + 3*r - h, 5 = -5*t + 5*r for t.
-2
Suppose -5*s + 14 + 21 = 0. Let w = s + -2. Solve -w - 4 = -3*g, 3*o + g = 9 for o.
2
Let h = 10 - 10. Suppose -o = -28 + 11. Solve 0 = 3*q - 4*a + o - h, 3*a = 4*q + 11 for q.
1
Let d be (-4)/(-3) + (-154)/(-42). Suppose t + 3 = 4. Suppose 3*c - 3*f + 0*f = 15, -3*c + t = 4*f. Solve -4*x - 16 = 0, c*a - d*x = 24 - 7 for a.
-1
Let g = 30 + -112. Let x = g - -87. Solve -y + x*n = 8, y = -2*y + 5*n - 14 for y.
-3
Let f(q) = -3*q + 1 + q + 0*q + 2. Let g be f(0). Let n(z) = -z - 7. Let h be n(-7). Solve 2*t = 4*w - 18, -g*w = -2*t - h*t - 16 for w.
2
Let d be (6/(-4))/((-2)/20). Let w be (3/(-2))/(4/(-8)). Suppose 28*z - 227 = -87. Solve j = -z*o - j + d, 2*j - w = -o for o.
3
Let t(y) = 2*y**3 + 4*y**2 - 2*y + 1. Let c(w) = -2*w**3 - 3*w**2 + 2*w - 1. Let r(j) = -3*c(j) - 2*t(j). Let q be r(1). Solve -2*x = -3*a, q*a + 4*x = x for a.
0
Suppose k = 4*v - 74, k = 5*k - v + 221. Let h be k/(-3) + (2 - 1 - 2). Solve 0 = -3*i - 2*g - h, -2*i - 5 = -g - 4*g for i.
-5
Suppose 3*p + 1 = -5*g, 4*p = 11*g - 6*g + 57. Solve -p = 4*s - 3*i + 2, -3*s + 2*i - 8 = 0 for s.
-4
Suppose -5*j = 3*w - 6 + 3, -3 = 3*j - 3*w. Solve 0 = y - 5*i - 24 - 4, j = 2*y + 4*i + 14 for y.
3
Let j = -1286 - -1295. Solve q - j = 2*s, s - 2 + 17 = 4*q for q.
3
Suppose -4 = -2*v - 44. Let m = v + 25. Solve 5*b = -m*h + 50, b + 45 = 4*h + 6*b for h.
5
Suppose -22 + 209 = 11*i. Suppose 0 = 3*v - 4*v - 2. Let p = 1 - v. Solve -9 - 1 = -2*b, -4*b + i = -p*w for w.
1
Let d be (13/(455/10) - 0)*7. Suppose 5*p + 3*o = o + 21, -p - 5 = 5*o. Solve -2*n = -2*g - d, 5*n + p = g + 2*g for g.
-5
Suppose -10 = -g - y - 0, -2*y - 64 = -5*g. Suppose 7*r - 2 = g. Solve 3*j - 35 = 4*m, m + 10 = r*j - j for j.
5
Let o = -5 + -4. Let r = -6 - o. Solve 0 = -5*l - p - r, -3*p + 6 = l + 1 for l.
-1
Let f(l) be the first derivative of -l**4/4 + l**3/3 + 39*l + 2. Let c be f(0). Suppose 16 = 5*g - c. Solve 5*s - 31 = 4*h, g + 1 = -3*h for s.
3
Suppose -20*w - 10 = -70. Solve 0 = -c + 3*c + m - 8, -12 = -w*c + 3*m for c.
4
Let r = -9 + 13. Suppose -2*t - t - 43 = -5*g, -31 = -4*g - t. Let j(w) = w**2 - 7*w - 8. Let y be j(g). Solve 4*d - r = o, d - 4*o - 1 = -y*d for d.
1
Let o(y) = -3*y - 28. Let v be o(-11). Solve 5*n = -4*w - 20, v*w + 12 = -5*n - 8 for w.
0
Suppose -4*o + d + 11 = 0, -4*d + 7*d + 3 = 2*o. Solve 2*s = o*k + 2 + 8, -5*s = 2*k - 6 for k.
-2
Let h = 273 - 271. Solve -10 = h*i, m + 1 = -i - 7 for m.
-3
Suppose -3*p + 12 = -3*y, -3*p + 20 = -y + 2*y. Let k = p - 4. Let o be (-4 - (-3)/1) + k. Solve u + 2*r = -o, -4*r - 2 = -10 for u.
-5
Let p(s) = s**3 + 5*s**2 + 2*s - 3. Let o be p(-2). Solve 0 = -n - 4*x + 20, 0 = 2*n - o*x + 12 for n.
4
Let k = -1109 - -1112. Solve -5 = -2*n - 7, 3*q - 6 = k*n for q.
1
Suppose 6*u + 90 = -4*u. Let t be 106/6 + ((-60)/u)/(-10). Solve 0 = -4*i - 8*p + 3*p - 10, -5*i - t = 4*p for i.
-5
Let l = 10 + -4. Let x = -13 + 14. Suppose 0*a + x = a. Solve a = v - k, -3*v - l*k + k = -27 for v.
4
Suppose d - 6 = 3*d, 0 = p + d. Solve -4*f - 36 = -0*f - 4*m, 5*f + 13 = -p*m for f.
-5
Let x(s) = -s**3 + 2*s**2 + 11*s - 7. Let l be x(4). Suppose l*i + 3*k - 66 = 0, 3*i = 7*i + 5*k - 45. Solve 4*d = -3*u - 14 + 2, -3*u - i = 5*d for d.
-3
Let x = -1150 + 1156. Solve 