 for i.
0
Suppose -a = -4*l - 21, 3*l = 9 - 21. Suppose o - 55 = -a*s - o, s + 2*o - 19 = 0. Solve 0 = u + 2*t + s, -u = t + 4*t + 18 for u.
-3
Let v be (4 - -2) + (-2 - 2). Let a be -3 + -3 + v + 4. Solve a = 4*j - 2*j - u + 2, -2*j + 6 = -3*u for j.
-3
Let u(h) = -h**3 - 2*h**2 - 3. Let f be u(-2). Let d be f*4/24*-10. Solve -p = d*b + p + 21, -b - 3*p = 12 for b.
-3
Suppose -15 = 2*x - 37. Let t be x/6 + 1/6. Solve t*g + 12 = g - 4*c, c = 5*g - 24 for g.
4
Suppose 0 = 3*f + 2*f - 10, -4*f = 5*r - 28. Solve r*m - 5*o - 18 = 0, 3*m - o - 4*o = 16 for m.
2
Let y = 10 + -5. Suppose -y*t + 10 = -5. Let q be (-4)/(-5) + -1 + 2052/285. Solve 0 = b - 3*r + 5, -6*r + q*r + t = -2*b for b.
-2
Let x be 0*(-2)/(-8)*2. Let r be 10/40 + 14/8. Let g be ((-5)/(-2))/(r/4). Solve 5*a + 10 = x, 2*a - a = -g*n + 8 for n.
2
Suppose 0 = -5*z - 536 + 141. Let b = 81 + z. Solve b*q = -o + 6, 18 = 5*q - 7 for o.
-4
Let n(t) = 0*t + t**3 - 2*t**2 - 2 - 2*t + 4. Let s be n(3). Let c = -3512 - -3519. Solve -4*h - 18 = -s*f - c, 21 = -5*h - f for h.
-4
Let w = -3278 + 3281. Solve -4*c = 3*r - c + w, -5*c + 15 = 0 for r.
-4
Suppose 0 = -15*b + 19 + 11. Suppose 0 = 3*w - 3*l + 6, b*w - 3*l + 6*l = 21. Solve -v = -5*c + 27, w*c - 5*c = 5*v for v.
-2
Suppose -4*z + 17 = -7. Suppose 3*x = -s + 2, 3*s + 0*x + 2*x - z = 0. Solve 0 = s*g + 2*g + c - 8, 3*g - 23 = -5*c for g.
1
Let s(v) = -v**2 - 7*v - 7. Let i be s(-5). Let m = -587 - -593. Solve -i = -2*a + 3*g + m, a + 3 = -g for a.
0
Let i = -78 + 80. Solve -3*g + 3*y + i = 2*y, -2*g = 5*y - 24 for g.
2
Let n be 6/(-12)*(-9 - -5). Solve -2*z - 1 = -q + 3*z, -n*z + 1 = q for q.
1
Let m be 6/5*(-10)/(-4). Let n(o) = o**3 - 2*o**2 + o - 5. Let b be n(3). Let l = 9 - b. Solve -m*p + 3*s = 0, 0*p - p = l*s + 12 for p.
-4
Suppose -5*c + 7 = -3*q - 0*c, 0 = -3*c + 15. Let i be 2/7 + (-8)/28. Suppose i*s = -s. Solve 0 = 2*l - q, n + 2*l = 11 - s for n.
5
Let m(w) be the third derivative of -w**6/120 + 2*w**5/15 - 7*w**4/24 + 7*w**3/6 + 29*w**2. Let i be m(7). Solve l = 4*z - 10, -5*z + 2*l + i = -7 for z.
2
Let y be (1 - 2)*6/(-3). Suppose 4 = y*s - s. Suppose 0 = -0*f - s*f + 72. Solve -4*d + 2*w + f + 0 = 0, -d + 3*w = -2 for d.
5
Let i(o) = -o**2 + 10*o + 3. Let t be i(10). Suppose -5*c - 10 = -t*m - 3*c, 0 = -4*m - c - 5. Solve m*p + 13 = -2*b + 3*p, 3*p = -2*b + 5 for b.
-2
Suppose 2*o = 3*t - 36, 4*t - 28 = -4*o + 5*o. Let f = 16 + o. Let n be 18/f*16/24. Solve -2*b = 3*k - 1, b + 3*b + n*k - 5 = 0 for b.
2
Suppose 13 = -3*o - 2*u, 25*u - 29*u = 20. Let v = -100 + -5. Let g be o/7 - 855/v. Solve -4*w + 5*m - 17 = 0, -3*w - 3 = -2*m + g for w.
-3
Suppose -90 = 3*d - 105. Solve 5*o + 3*v + d - 10 = 0, 2*o - 6 = -2*v for o.
-2
Suppose -215 = 5*t + 3*z + 2*z, 144 = -4*t + 3*z. Let w be (4/3)/1 + (-26)/t. Let x be 22/4 + (-6)/4. Solve 3*l = 3*h - w*l - 6, -x*l = 12 for h.
-3
Let m(q) = -q**2 + 17*q - 11. Let h(w) = -w**3 + 6*w**2 - 2*w - 8. Let r be h(4). Let f be m(r). Solve -o + 3*n - 6 - 1 = 0, -f*n + 15 = -5*o for o.
-1
Suppose -2 = -n + 3. Let f be 56/(-20)*n/(-1). Suppose -5*y = 2*y - f. Solve 0 = 4*j + 3*o - 4, -2*j = -6*j + y*o + 4 for j.
1
Suppose 0 = 2*d + 5*u - 5, -2*d - 3*u = -2*u - 9. Suppose -3*x - 2*x + 12 = 4*t, 3*t - 9 = -d*x. Solve -1 = -n + l - 6*l, 3*n + 3*l - 3 = x for n.
1
Suppose -10*k + 40*k = 2*k. Solve 4*t - l + 13 = 0, k = -3*t - 0*t - 4*l + 14 for t.
-2
Suppose 0 = 2*j - j - q + 1, -j + 19 = 3*q. Solve -s - 5*n + 13 = -15, j*n = -5*s + 35 for s.
3
Let n = -26 - -30. Suppose -r - 4*r + 3*a + 40 = 0, -5*r - n*a + 5 = 0. Let b(o) = o**3 + 9*o**2. Let s be b(-9). Solve -j - 10 = -5*i, -r*i + 10 + s = 0 for j.
0
Let q(p) be the third derivative of 5*p**6/24 - p**5/30 + p**4/12 - p**3/6 - 5*p**2. Let l be q(1). Let r = l + -20. Solve 0*m - 5 = m, b - r*m - 21 = 0 for b.
1
Let g be 6/(-39) - 102/13. Let j be 75/30*g/(-5). Suppose 0 = -b - 4*v + 7, -1 = -2*b - v + 6. Solve 0*m = -k - m + j, b*k = 5*m - 12 for k.
1
Let y = -2106 - -2111. Solve -3*u + 21 = 3*i, -y*u + 7 + 26 = 4*i for i.
2
Let k(i) = -i**2 - 5*i - 2. Let l be k(-3). Let b be (2/5)/(5/725). Let v = b - 56. Solve -3*g = y + v*y, 0 = g + 3*y - l for g.
-2
Suppose x - 2*z = -5*z - 11, x = 5*z + 21. Suppose 1 = u - x. Suppose 0 = 3*k - 5*c + 3, -3*k - 14 = -5*k - u*c. Solve -21 = -l - 5*s - 6, 10 = k*l - 5*s for l.
5
Let s be ((-8)/(-5))/(6/15). Let f be -3 + 0/(2 - 1) + 7. Suppose -j - j - 3 = -3*l, 4*j = s*l - f. Solve 5 = -3*v + 4*v - o, j = o + 1 for v.
4
Let u = -611 - -611. Solve 4*g + 4*s - 12 = 12, u = 5*g + 2*s - 15 for g.
1
Suppose 3*m - 28 = 5*v, -2*v = -0*v + 4. Let f be (m/4)/((-36)/(-48)). Solve 2*h + 3*q = -f, -8 + 2 = -h + 2*q for h.
2
Let j = -168 - -176. Let g be (-145)/(-45) + (-4)/18. Solve j*l - g*p = 3*l, -4*p = -l - 17 for l.
3
Let p = 1853 + -1848. Solve 4*b + p = 3*t - 5, 0 = -5*t + 3*b + 13 for t.
2
Let t be (-13)/(-5) - (-10)/25. Suppose -7 + 27 = 5*l. Solve 5*c + 0*c + 19 = t*q, 5*c - l*q = -22 for c.
-2
Let q = -14 + 19. Suppose 2*l - 20 = 5*c - 3*l, 3*l = -5*c + 12. Suppose c*a = 4*a + a. Solve a*d - 10 = 2*w + 2*d, 3*w + q*d = -21 for w.
-2
Let v be 6/(-21) - (-7632)/252. Solve 4*r - 5*f - 35 = 0, -4*r + r + 5*f = -v for r.
5
Let m = 1595 + -1593. Solve -6*r - 16 = -2*r, -2*y = r - m for y.
3
Let h(i) = 3*i**2 - i. Let r be h(-1). Solve -r*k = o + 6, 5*o - 3*k - 14 = o for o.
2
Let f = -1 - -5. Let z(c) = -c**2 + 3*c - 1. Let s be z(2). Let k be s/(-2) - 2/(-4). Solve k = -5*x - f*o - o, x + 6 = -4*o for x.
2
Suppose -5*p = p. Let h be 4 + 2 + p + -3. Solve -3*t = 5*w - 15, -2*t - w + h*w = -10 for t.
5
Let t be ((-4 - 0) + -25)*-1. Solve 3*w - 5*i + t = -w, -3*w = -2*i + 13 for w.
-1
Suppose 6*n + 14*n - 260 = 0. Solve -y = 3*r - 5, -4*y + 4*r - n = y for y.
-1
Suppose -3*k + 38 = 4*y, -9*y + 15 = k - 10*y. Solve 0*t - 5*t + 17 = 4*u, -3*u - 5*t = -k for u.
3
Let b(v) = -v**2 - 9*v - 13. Let d be b(-6). Suppose 9 = d*m - 6. Let r be -14*(44/(-8) + m). Solve u = -0*u - 2*w - 5, -5*w = -5*u + r for u.
3
Suppose 3*i + 165 = 18*i. Solve -2*x = g + i, 3*x + 7 = -4*g - 12 for g.
-1
Suppose -u + 48 = -t + 4*t, 0 = 4*u - 3*t - 132. Let f = 52 - u. Solve -5*m + 25 = 5*j, f + 4 = 4*m - 5*j for m.
5
Let t = -17 - -18. Let j(i) = 5*i - t + 10 - 4*i. Let a be j(-5). Solve 2*u - 5*f = a, -u - 2*f - 5 = 2 for u.
-3
Suppose 0 = d - 2 - 2. Suppose 0 = 8*z - d*z - 12. Solve 0 = 2*i, -z*s - 3*i + 7 = 1 for s.
2
Suppose -10 = -5*a - z + 2, -4*z = 12. Solve 2*s + 15 = -4*k + 5*s, 0 = a*k - 2*s + 11 for k.
-3
Suppose -5*i = 38 - 53. Suppose 0 = -c + 2*n + 6, c - n - 10 = i*n. Solve -q - 4 = -c*q, j = -q + 3 for j.
-1
Let u = -1355 + 1360. Solve 0 = 2*z + r - 3, -u*z - 3*r = -r - 10 for z.
4
Suppose 0 = 42*d - 50*d + 40. Solve -j + 21 = 4*m, -13*j + 8*j - d*m = -45 for j.
5
Suppose -a + 3 = -1. Let i be ((-69)/(-15))/((-3)/(-15)). Suppose -a*u = 3 - i. Solve 4*z + 4*j = 16, 5*z + u*j - 11 = 3*j for z.
1
Let z be 1 + 22*(-6)/(-33). Let k(j) = -2*j**2 + 2 + 0*j**2 - j**3 + 3*j**3. Let o be k(2). Solve -3*a + 2*p + o = 0, 0*a + z*p = -5*a for a.
2
Let f be 20/90 - (-1138)/(-18). Let m be (0 + -4)*f/(-12). Let x be (-56)/m - 1/(-3). Solve 0*y = -3*q + 5*y + 4, 8 = -q - x*y for q.
-2
Let p(c) = -c**2 - c + 2. Let r be p(-2). Solve -3*b - 3*n = 15, 4 + r = -2*n for b.
-3
Let f be (-1)/(-4)*14*20/35. Solve -f = 2*a, 0 = -4*x - 3*a - a for x.
1
Let p(d) = 3*d + 2 + d**3 - 2*d**2 + 8*d**2 + 0 - 3*d**2. Let s be p(-2). Suppose s*u = 3*u - 12. Solve u*q = 3*a - 0 - 3, -5*q - a = -1 for q.
0
Let y be (-23)/4 - (-1)/(-4). Let o(j) = -j - 4. Let h be o(y). Suppose -4*z + 18 = h. Solve 5*a + 2 = z*d + 1, 4*a - 4*d = -4 for a.
3
Let r(y) = -27*y + 1. Let j be r(-1). Let z = 261 + -253. Suppose -4*a + z*a = j. Solve a = -n - v, 0 = -5*n + 2*v + 1 - 8 for n.
-3
Let y = -1485 - -1485. Solve j - 4*z = 15, y*j + 4*z = -3*j - 19 for j.
-1
Let r = -532 + 553. Let p = 0 - 2. Let w be 1 + 1 + p/(-2). Solve -w*t = -4*u + r, -u + t - 3*t = 3 for u.
3
Suppose -3*r - 15 = -q, -3*q - 12*r + 5 = -11*r. Let f = 13 + -7. Suppose -2*y = -f*y + 44. Solve -a - 2*l + 12 = 0, -a - q + y = l for a.
4
Let s(f) = f**2 + 1. Let p(i) = 6*i**2 - i + 3. Let l(z) = p(z) - 5*s(z). Let c be l(3). Solve u + a - c = -a, -5*u + 5*a = 25 for u.
-2
Let b(c) = 4*c - 16. Let z(u) = -u**2 - 1