t - 2*v + 15, -t - 6 = -2*v for t.
-4
Suppose -3*x - 4*x + 5*x = 0. Let z be (-12)/78*(3 + -16 + x). Solve -2*v + z*g = 1 + 7, 0 = -3*v - g for v.
-1
Let l = 539 + -534. Solve y = l*m + 10, 0 = 2*y - 7*y + 5*m + 10 for y.
0
Suppose 6*j - 122 = 10. Suppose -j*b = -24*b - 68. Let g be (b/14 - (-27)/63) + 6. Solve -3*t + 15 = 2*l - 2, -4 = 2*l - g*t for l.
4
Suppose 2*g - 20 = 35*g - 152. Solve 2*b + 3*z = -24 + 22, -4*b + g*z - 24 = 0 for b.
-4
Let f(p) = -4*p**2 - 180*p - 45. Let d be f(-44). Solve 0 = 5*q + d*t - 126*t + 35, -3*t - 26 = 4*q for q.
-5
Let r be (0*(-11)/(-88))/((1 - 4) + 2). Solve 4*b + 16 = r, b - 1 = k - 2 for k.
-3
Let j(x) be the third derivative of x**6/120 - x**5/15 - 5*x**4/24 + 3*x**2 + 9*x. Let c be j(5). Solve c = 5*l + 2*o + 31, 9*o = -3*l + 4*o - 30 for l.
-5
Let c = -197 - -205. Suppose -5*r + 4*r = -c. Solve 2*d = 0, -2*u - 2 = -4*d + r for u.
-5
Let o be ((-1)/(-2))/(2/8). Let u = 5417 + -5416. Solve -3*r + 3*h - u = 5, 5*h = o*r + 7 for r.
-1
Suppose -62 = -4*f + 162. Suppose 0 = 3*k + k, -4 = -i + k. Suppose 0 = i*z - f + 4. Solve z = -3*o - 4*a, -4*a + 2*a = -4*o + 12 for o.
1
Suppose -5*x - 5 = 0, -4*x = 2*q - 7*q - 36. Let a = q + 10. Let f be ((-27)/(-6))/(a/4). Solve 0 = -5*y + 2*p - f, -2*y - 4*p = -0 - 6 for y.
-1
Let h(i) = i**3 - 4*i**2 + i + 4. Let j be 2/17 + (-312)/51. Let f be (-4)/(-2) + j/(-6)*2. Let s be h(f). Solve -2*r - 2*r - s = 2*t, -2*t - 2*r - 6 = 0 for t.
-2
Let w = -3985 - -3989. Solve -2*y + k + 10 = -2, w*k + 36 = 5*y for y.
4
Suppose 181*a = 208*a - 54. Solve -5*b = 9*m - 4*m - 20, 2*b = 3*m - a for b.
2
Let a = -75 + 77. Let t(h) = 2*h - 23. Let v(z) = z + 1. Let d(r) = a*v(r) + t(r). Let c be d(6). Solve 2*x = -5*s + 18, c*s - 4*x + 24 = 7*s for s.
2
Let p be 56/98 + 1/(-14) + (-12)/(-8). Solve -p*z - 9 = 4*t + 1, 0 = 3*z - 4*t + 15 for z.
-5
Let d be (15/(-35))/(1/(-7)). Solve 8 = -4*h - 2*b, 4*b = h + d*b + 5 for h.
-3
Let v be (3 + -3 + -28)*(43 + -44). Solve h = -5*n - v, 10 = 5*h - 10*h + n for h.
-3
Let l(h) = -h**3 + 14*h**2 - 13*h + 35. Let u be l(12). Suppose -u + 314 = 21*b. Solve 3*s - 3 = -q + b, -2*s = 3*q - 9 for q.
1
Let j be 2/2 + -3 - -227. Suppose 5*y - j = 5*p, y + 3*p + 37 = 2*y. Suppose 0 = -4*w + y + 11. Solve -3*h = -w, 4*l + 4*h + 0 = 16 for l.
-1
Suppose -3*d - 4*m = -6*d + 16, 4*d - 5*m - 20 = 0. Solve -7*j - p = -3*j + 13, -4*j + 2*p - 10 = d for j.
-3
Let z = -2842 + 2844. Solve 0 = -2*j - z*g - 26 + 10, 28 = -4*j - 3*g for j.
-4
Suppose -5*v = -3*v. Let l be 33/(-22)*2/(-6)*v. Suppose 4*z - 8*z + 160 = l. Solve -4*n = -0*j + 4*j + z, 0 = 4*j - 2*n + 10 for j.
-5
Let p(s) = -6*s**3 + 6*s**2 + s + 12. Let u(g) = 5*g**3 - 7*g**2 - 12. Let n(j) = 3*p(j) + 4*u(j). Let o be n(5). Solve -2*c - 3 = x, -o*x - x = 4*c + 8 for c.
-1
Let h be (-70)/(-24) - (-43)/516. Solve 0 = -4*y + 2*a - 8, -8 + h = 5*y - 5*a for y.
-3
Suppose 4 = 18*a - 16*a. Suppose -w - a = -0*h - 2*h, -5*w - 2 = -2*h. Suppose -l + m + 8 = w, 5*l + 5*m - 2 = 8. Solve 10 = 2*x - 4*b, l*b = x + 4*b - 5 for x.
5
Suppose -2*r - a + 29 = 4*a, 3*a = -2*r + 19. Let u = -75 + 84. Let p be (1/2)/((-14)/(-84)). Solve -r*d = -p*f - u, -4*d = -d for f.
-3
Let b = -26 - -417. Let g = 393 - b. Solve 4*m = -4*r - m + 7, 2*r - g*m - 8 = 0 for r.
3
Suppose -4*h = -h - 9. Let n(z) = z**3 + 23*z**2 - 34*z + 14. Let l be n(-25). Let b = -375 - l. Solve b = -s + 2*g + h, 0 = -4*g + 12 for s.
-2
Suppose 5*l = -4*k + 785, 5*l - 780 = -2*k - k. Let a = l + -140. Solve -5 = -4*c + w - 16, 2*c = 3*w - a for c.
-2
Let f = -2591 - -2596. Let n(h) be the first derivative of h**3/3 - 4*h**2 + 16*h + 1. Let g be n(f). Solve 5*i = -2*q + 25, q - 4*i + g = -19 for q.
0
Let o(y) = -y**2 - 29*y - 114. Let b be o(-27). Let n be 35/28*b/(-25). Solve n*l - 4 = 4*h, -h = l - 2 - 4 for h.
2
Suppose -132 = -4*g + q, 0*g + g + 5*q - 12 = 0. Suppose 0 = -6*c - 2*c + g. Solve 0 = 3*r + 2*u - 18, r - 4 = -3*r + c*u for r.
4
Let n(k) = -9*k**2 + 70*k - 96. Let u be n(6). Solve 8 = -4*j + 8*j, f + 3*j - 1 = u for f.
-5
Let b = 107 + -103. Suppose -b*r + 0*r = -16. Solve r*l = 5*w - 0*w, l = -4*w for w.
0
Let m(t) = -597*t - 4174. Let b be m(-7). Let r = 4 - 2. Solve 2*u + x = -2, -b*x + 16 = -5*u - r*x for u.
-2
Suppose 0 = -17*o + 201 - 201. Solve 5*q - 6 - 13 = -2*d, q - 5*d + 7 = o for q.
3
Suppose -261 = -5*x - v - 1101, -3*v - 15 = 0. Let h = 169 + x. Solve -4*l - 20 = h*w - w, -l = 2*w + 5 for l.
-5
Let z be 1/9*18*2. Solve -3*m - 4*h = 10, z*h = 5*m - 0*m - 26 for m.
2
Suppose 4*q + 8 = 0, 4*h - 5*q = 2*h + 16. Let u(y) = -7*y. Let d be u(-4). Suppose -32*r + d*r + 8 = 0. Solve o + h*o + 5*w - r = 0, 0 = 5*o + 5*w for o.
-2
Let l = 18 + -7. Suppose -l = -3*x - 2*k, 0 = 2*x - 0*x - 3*k - 3. Solve -14 = j - x*v, 0 = j + v - 0*v + 2 for j.
-5
Let q = 2359 - 1601. Let c = q - 735. Solve 4*l + l + 4*r - 13 = 0, r + c = 4*l for l.
5
Suppose -3*k = -5*r, 20 = 6*r - r + k. Solve 4 = -3*w - b, 5*b = -w + r*b + 2 for w.
-2
Let u(l) = l**3 - 2*l**2 - 6*l + 7. Let y(v) = 7*v + 57. Let m be y(-8). Let g be u(m). Solve 5*n - 4*w = -6, -3*n - 7 = -g*n + w for n.
-2
Let u = -4362 + 4366. Solve 0 = -u*y - 4*g + 8, -5*y - 23 = 4*g - 28 for y.
-3
Suppose -2*j + 0*j - 4*v + 226 = 0, -5*v - 610 = -5*j. Let u = j - 107. Solve -2*h - 3*h - 6 = -y, -4*h = -5*y - u for h.
-2
Let m = 1494 - 1484. Solve k - 4*w = -k - m, k = -5*w + 2 for k.
-3
Suppose 4*j = 8, 8*b - 4*b + 5*j = 22. Suppose -b*a + 6 = -9. Solve 3*o + o - 45 = -5*t, 4*o + 5 = a*t for t.
5
Let u(p) = -7*p + 238. Let i be u(11). Let h = i - 146. Solve 5*g - h = -2*a, -g + 2*a - 3 = -18 for g.
5
Let g(d) = -d**3 + 33*d**2 - 37*d + 159. Let v be g(32). Let a be (11 - 10)*(1 + -1)/v. Solve 0 = 5*p + 5, -4 = -h + 3*p - a for h.
1
Suppose 11*x + 38*x - 49 = 0. Solve -y + 11 = 4*w, x = 35*y - 32*y - 4*w for y.
3
Let m be (-2*6/(-12))/(1/46). Let q = -112 + m. Let j = -61 - q. Solve -3*t - o - 11 = -j*t, 0 = -5*t - 2*o + 14 for t.
4
Suppose -49*n - 71 + 169 = 0. Suppose 0*c - 5 = 5*c. Let g = 4 + c. Solve 2*y = g*t + n, -y + 3*t - t = 0 for y.
4
Let f(u) = 10*u**3 + u - 2. Let c be f(1). Suppose -7*s - 10 = -c*s. Suppose -3 = -2*a + s*l, -3*a + 11 + 2 = l. Solve -2*i - 3*i = -3*g - 21, 8 = -a*g for i.
3
Suppose -2*h - 3*h + 5 = 0. Let n be (21 - 20) + (h - 0). Suppose -t = 4*r + 13, -n*t - 1 = -0*t + 3*r. Solve -3*b + t = -3*i - 11, 0 = 2*i + 2*b for i.
-3
Let d = -82 - -126. Suppose -k + d = 42. Suppose k*b + 3*f + 4 = -8, 0 = 4*b + 2*f + 8. Solve 5*g - 4*p - 12 = g, b = -2*g - 3*p + 11 for g.
4
Suppose -5*k + 24 + 36 = 0. Let n(m) = 35*m - 14. Let x be n(8). Suppose -x = -c - 263. Solve -c*b - j - k = -4*j, -7 = b - 4*j for b.
-3
Suppose -1332 = -2*p - 10*p. Let t = p + -107. Suppose 19*k = t*k. Solve 12 = u + 5*c, k*c + 16 = 5*u + 3*c for u.
2
Suppose -17*v + 192 = -9*v. Suppose -5*u - 11 + 41 = d, -v = -4*u + 3*d. Solve -4*h - 3 = a, 3*h - 4*a + u = -6*a for h.
0
Suppose -23*r + 41 + 39 = -3*r. Solve -r*g + 24 = q - 5*q, 20 = 4*g for q.
-1
Let q = -31 - -46. Suppose 3*h - 11 = -2. Let w = 590 - 589. Solve 5*f - 4*y = y + q, -h*f - w = 2*y for f.
1
Let a be 8/(-40) + (-65)/25*-2. Solve -10*q + 25 = -5*h - a*q, 1 = h + q for h.
-2
Let v be (-15)/(-6)*732/(-10). Let j = v - -183. Solve g - t - 10 = -g, j = -2*g - 4*t + 10 for g.
5
Suppose 0 = 2*y + 10, -5*y - 78 = -2*o + 81. Let s = -64 + o. Solve 0 = j + 3*h + 11, -3*h = -s*j + 5 + 22 for j.
4
Let f be ((-4)/3)/(1/(-3)). Let j be 0/4 + 2/1. Suppose -u - j*u + 64 = -2*o, 0 = -2*o - 10. Solve u = 4*a - 5*p, 6*a - f*p = 3*a + 14 for a.
2
Let y = 6057 - 6057. Solve 2*n = -0*b + 4*b + 18, 4*n + 4*b = y for n.
3
Suppose 131*d - 810 = 33*d - 320. Solve 5*g - d*o + 18 = 4*g, 3*g + 2*o - 14 = 0 for g.
2
Suppose -2*y = 31 - 35. Solve -4*k + 22 = -y*a, -3*k = -18 + 6 for a.
-3
Let m(q) = -20*q + 16 + 9 - 64. Let i be m(-2). Solve 5*u = 4*z + 40, 2*z - 7 = -4*u - i for u.
4
Let u(q) = q**2 + 9*q + 16. Let n be u(-7). Let i be (n/4)/(7/(-280)*-4). Solve -i*k - 5*a - 49 = -14, 0 = 4*k + 3*a + 25 for k.
-4
Suppose 2*q = -24 - 44. Let g = q + 60. Suppose 14 - g = -4*n. Solve 2*c - n*i = -23, -c - 2*i = -11 + 5 for c.
-4
Suppose -v + 3*v - 5*r = 0, 4*v + r = 0. Suppose v = 5*o - 3*z - 34, 2*o - 9*z - 25 = -4*z. Solve 0 = o*c - l - 4, -2*c = -4*c - l + 3 for c.
1
S