6 for i.
3
Let z = -11126 - -11136. Let a(v) = v**2 - 5*v + 3. Let g be a(5). Solve z*m = 7*m + g for m.
1
Suppose -2*t - 4 = 4*b - 6, -3*t - 2 = b. Let r(j) = 7 + b + 16*j**2 - 6 - 3*j. Let d be r(1). Solve -5*s + d = -2*s for s.
5
Let z(j) = j**2 + 11*j - 10. Let x be z(-12). Suppose -4*m = -4*d - 3*m + 49, x*d - 3*m = 37. Let v = d + -6. Solve 2*l + v = 13 for l.
4
Suppose 3*b + 2*b = 0. Suppose 7*v - 10*v = b. Solve v*g = g for g.
0
Let l be (-556)/(-14) - 2/(-7). Let c = -225 - -228. Suppose x + l = c*x. Solve -x = -3*k - k for k.
5
Let v = 88 - 42. Solve -v + 55 = -3*l for l.
-3
Let l be ((-58)/(-87))/(4/(-294)). Let d = l + 54. Solve -2*z + d*z = -3 for z.
-1
Let j be -2 - (-2)/3*6. Solve -10*u + j = -12*u for u.
-1
Let m(y) = y**3 + 17*y**2 + 5. Let p be m(-17). Solve 0 = p*g - 7*g + 2 for g.
1
Suppose -3*g = -g - 6. Let h be (-5)/5 + (g - 2). Solve h = 3*o - 0*o - 3 for o.
1
Suppose 0 = -3*k + 2*u + 3*u + 24, -5*k - 5*u = 0. Let y(g) = -3*g - 4. Let z be y(-4). Let r be (-3)/((-12)/z) + k. Solve -r*p + 0 = -5 for p.
1
Let q = -52 + 56. Suppose q*p - 5 = 3. Solve 4*f - p*f - 10 = 0 for f.
5
Suppose 3 = -0*o + o. Let r = -93 - -95. Suppose 5*t + o*f = 15, -r*t + 7*f + 6 = 3*f. Solve p - t*p + 2 = 0 for p.
1
Suppose 2*j - 2*t - 2 = -2*j, -t = 1. Solve j = 17*u - 9*u + 24 for u.
-3
Suppose -28 = -0*i - 3*i - l, -22 = -3*i + 5*l. Let y = i + -9. Solve -5 = -m - y for m.
5
Suppose 7*t = 11*t + 36. Let i be 0*(t/(-3) - 2). Suppose -17*s + 13*s + 20 = i. Solve -c = 2 - s for c.
3
Let b(x) = 2*x**3 - 49*x**2 - 25*x + 30. Let r be b(25). Suppose -v - 2*m + 17 = 0, -2*m + 3*m + 14 = v. Let y = v + -10. Solve -r = y*n - 5 for n.
-5
Suppose -15 = -3*d + 3. Suppose -3*j + 2*t + d = 0, -j - 2*t = -5*j + 10. Solve j = w + w for w.
2
Let m = -265 + 270. Solve -7*w = -m*w + 8 for w.
-4
Let o = 303 - 299. Solve -8*q = -o*q + 8 for q.
-2
Suppose 5*y - 9*y = -4*k + 56, -5*k = -2*y - 61. Solve -5*p + 14 = -k for p.
5
Suppose -56*x + 55*x + 17 = 0. Solve -19*n + 2 = -x*n for n.
1
Suppose -3*k - 4*r + 855 = 2*k, 2*k - 344 = -2*r. Let g = 170 - k. Solve -d = -g*d for d.
0
Let n be (3483/(-86))/(-1*(-2)/(-4)). Solve -n*x - 30 = -75*x for x.
-5
Let i(z) be the second derivative of -z**3/3 + 13*z**2/2 + 12*z. Let v be i(5). Solve 0 = -m - v*m - 16 for m.
-4
Let q = 14 + -7. Suppose -4 = 9*n - q*n. Let u be 3/(-9)*(-10 + n). Solve -u*t = -t for t.
0
Let u be (-6 + 92/14)/((-4)/(-14)). Solve u*m + 10 = -3*m for m.
-2
Suppose 3*a = 2*a + 2. Let m be -4*(-4)/(-48)*-3. Solve -a*n + m = -1 for n.
1
Let g be -39*((-20)/(-6) + -4). Suppose 0*a + 2*m = -3*a + 28, g = a + 4*m. Solve -3*h + a = -9 for h.
5
Let a = -62 + 64. Let t be (9/12)/(a*3/24). Solve 2*i = -t - 5 for i.
-4
Let k = 5 + -1. Solve t = k*t for t.
0
Let p be 2 + (2 - 0) + -1. Let v(c) = 2*c**2 - c - 19. Let r(t) = -t**2 + 1. Let d(k) = r(k) + v(k). Let y be d(5). Solve 4*w = p*w + y for w.
2
Let w be (-111)/(-2) - (252/8)/21. Solve i - 57 = -w for i.
3
Let j be (-2)/(-7) - (1287/(-77) + -1). Solve -7 = 5*y + j for y.
-5
Let d be 9/(36/(-8)) + 27/3. Suppose -3*n - n = -d*n. Suppose 0 = 2*y + 2 - 20. Solve 2*o - 5*o + y = n for o.
3
Let h = -67 - -70. Solve 3*f - h - 9 = 0 for f.
4
Let p be -1 + 8/6*-6 + -1. Let r be (p/(-4))/(1/2). Solve 3*d = 2*d - r for d.
-5
Suppose -20*k + 2*x - 23 = -25*k, x = -3*k + 13. Solve -25*w - k = -24*w for w.
-3
Suppose -w = 5*v + 1, 9 = 4*v - 2*w + 7. Solve v = -4*y + 94 - 90 for y.
1
Let d be 2 - 3/3 - (-18 + -1). Suppose -12 = -3*u + 3. Suppose 2*z - 8 + d = 3*m, u*m = z + 20. Solve 1 = m*x - 19 for x.
5
Suppose -20*b + 9 = -17*b. Suppose b*r - 4*u = 17, 6*r - 4*r = u + 8. Solve r*x + 2*x + 5 = 0 for x.
-1
Let b be 0/(28/(-9 - -2)). Solve 12*u - 6 - 18 = b for u.
2
Suppose -14*r - 8*r = -44. Suppose -3*f + 3*j + 45 = -0*j, -2 = j. Solve 5 = -r*h + f for h.
4
Suppose 0 = 2*x + 6, -2 = 5*n - x - 15. Suppose 5*v - n*a = 21, -2*v + 3*a + 2*a + 21 = 0. Suppose 0 = -b + v*b - 8. Solve -b*u = -3*u - 5 for u.
5
Suppose v - 9 = -2*w - 0, -3*v + 26 = 5*w. Solve 16 = -v*z + 44 for z.
4
Let q = 15 - 12. Let v = q - -5. Suppose 11*w - 7*w - v = 0. Solve 3 + w = 5*l for l.
1
Suppose -288*j = -296*j. Solve 6*v + 9 + 21 = j for v.
-5
Let x be (2/(-6))/((-3)/9). Let u(a) = -a - 8. Let y(n) = n**3 + n**2 - 4*n - 5. Let d be y(-3). Let r be u(d). Solve t - x = r for t.
4
Suppose 230*f - 193*f = 1591. Solve -6*j = f - 19 for j.
-4
Let a be (-4)/18 - (-3178)/126. Suppose 0*t + a = 5*t. Suppose -1 = 2*p - t. Solve -5*b = -p*b + 3 for b.
-1
Let g(n) = -n**2 - 43*n + 304. Let k be g(6). Solve 10 = -k*t + 12*t for t.
5
Let r be 4 + (-30 - (0 - 3)). Let t(x) = -x**2 - 22*x + 43. Let p be t(r). Solve 0*b + p = 4*b for b.
5
Let r be 36/24*10/(-45)*-15. Solve -3 = r*b + 7 for b.
-2
Let k(r) = r + 11. Let a be k(-6). Let x = -7 + a. Let q be (-8)/16 - 7/x. Solve 11 = -q*g - 1 for g.
-4
Let u be (-3)/(63/(-174)) - (-16)/(-56). Suppose 8*i = u + 8. Solve 4 - i = c for c.
2
Suppose -3*j - 4*g = -68, 4*g + 5 = 5*g. Solve 17*s = j*s for s.
0
Suppose 43 = 8*l + 11. Let a be ((-10)/(-3))/((30/(-9))/(-5)). Solve w - a = -l for w.
1
Let k be (-11 - (-168)/16)/(1/(-60)). Solve -26*z = -k*z + 16 for z.
4
Let y = -9 + 9. Suppose y*f - 36 = -2*f. Solve -f = -2*x - 8 for x.
5
Let y be ((-5)/(-10))/(0 - (-2)/12). Let x(u) = 2*u**3 + 7*u - 5*u**2 + u**3 + 6 - 4*u**3. Let n be x(-6). Solve n = y*v - 2 - 1 for v.
1
Let i(m) = -m**3 + 6*m**2 + 26*m + 15. Let v be i(9). Solve -v*t = -7*t for t.
0
Let z(k) = 8*k + 56. Let b be z(-5). Solve -2*j = -b + 18 for j.
-1
Suppose -6*h + 24*h - 216 = 0. Solve 4*p - h = -4 for p.
2
Let f(c) = 2*c**3 - 10*c**2 - 16*c + 18. Let n(l) = 3*l**3 - 15*l**2 - 24*l + 27. Let g(a) = 7*f(a) - 5*n(a). Let d be g(6). Solve -3*x + 0 + d = 0 for x.
1
Suppose -1 + 7 = 3*d, -12 = -3*t + 3*d. Let g(r) = -r. Let k = -2 + -1. Let x be g(k). Solve -c - t = -x*c for c.
3
Suppose -2 = 2*a + c + c, 5*a - 13 = c. Solve a*w = 9 + 1 for w.
5
Let b = 422 - 416. Solve 0 = m + b - 7 for m.
1
Let v = -51 - -54. Suppose -10 = -3*j + j. Suppose -h + 5*h + j*l = -3, -2*h - v*l = 3. Solve 0 = h*o - 5*o + 2 for o.
1
Let b = -728 + 730. Solve -b*y + 2 = 8 for y.
-3
Let n = -28 - -30. Let b be (2/(-6))/(n/(-36)). Solve -b = 4*k + 6 for k.
-3
Suppose 0 = 3*f - 2*a - 47, -6*a + 7*a + 4 = 0. Solve 5*l = 3 - f for l.
-2
Let b be 5*(0 - 333/(-15)). Let k be 4/26 + b/39. Suppose 3*t - 4*t = -k. Solve 12 = 3*c + t for c.
3
Suppose -5*v + 3*x - 8*x - 55 = 0, 5*v = 3*x - 39. Let g = -30 + 39. Let c = g + v. Solve 6*s - s = c for s.
0
Suppose 0*f + 13*l + 145 = 5*f, -3*l = -3*f + 63. Solve -9*c - 125 = f*c for c.
-5
Suppose 8*s - 10*s = -20. Let y(x) = 6*x - 55. Let r be y(s). Solve 4*i = r*i for i.
0
Let u(z) = 43*z**2 - z - 1. Let i be u(-1). Let p = i - 38. Solve -p*v + 0*v = 20 for v.
-4
Suppose -3*z + 5*k - 238 = 0, -2*z - 221 = -3*k - 61. Let d = z - -89. Solve -t + 0 = -d for t.
3
Let j = 1 + 14. Let g = j + -12. Solve g*v - v - 2 = 0 for v.
1
Let s(j) = -5*j + 28. Let d(q) = -2*q + 14. Let t(l) = -13*d(l) + 6*s(l). Let f be t(-4). Solve 3*c = f*c - 4 for c.
-4
Let s be (2 - 0)*(35/5)/(-14). Let j be 1*s - (-2)/(14/7). Solve -4 = -o - j for o.
4
Let w(j) = -j - 16. Let n be w(-16). Solve 4*t = -n*t + 20 for t.
5
Let v(u) = u**2 + 36*u + 189. Let y be v(-30). Solve y*r + 5 = 8*r for r.
-5
Let z = -1047 + 1051. Solve -2*v - 12 = -z for v.
-4
Let c(r) = -r + 4. Let k be c(2). Suppose -k*n + 0*n + 5*x = -11, 5*n - 4*x = 19. Suppose -h = n*h - 8. Solve 0 = 5*g - h*g for g.
0
Suppose -3*g - z + 53 = 0, -4*g + z + 0*z = -73. Let y = g + -14. Solve y*t - 11 - 1 = 0 for t.
3
Suppose 5*m + 9 = 49. Solve q + m = -q for q.
-4
Let u = -1736 - -1741. Solve t + 2*t = -u*t for t.
0
Let p(s) = -s**3 + 5*s**2 + 7*s - 2. Suppose 0*w = 2*w - 10. Suppose 3*b = -3*u - 0*b + 3, -b = -w*u + 35. Let r be p(u). Solve 1 = t - r for t.
5
Let g be (-3 - -3 - 0) + -17. Let w(i) = -i - 14. Let b be w(g). Solve 2*r = b*r + 4 for r.
-4
Let w be (-1)/(((-5)/2)/5). Solve -r - w*r + 15 = 0 for r.
5
Let f = -308 - -309. Solve f - 11 = 2*j for j.
-5
Let j = 732 + -701. Solve -j + 35 = -y for y.
-4
Suppose 18*s - 1 = 53. Solve 8*u - s*u - 5 = 0 for u.
1
Suppose -7*c = -3*c + 8. Let f be 2/9 + c/9. Let n(a) = -a**2 - a + 6. Let l be n(f). Solve l*b = 2*b for