16 for i.
-4
Let s(o) = 45*o + 280. Let n be s(-6). Let r be 647/n - (-36)/120. Solve -12*h + r = h for h.
5
Let b = 723851 - 723833. Let u be (1 - 0) + 1 + -2. Solve u = 4*t + 2*t + b for t.
-3
Let u(i) = -10*i. Suppose 0 = -g + 2*y + 6, 8*g + 2*y = 3*g - 6. Let n be u(g). Solve n*k - 8 = -2*k for k.
4
Let z(s) = 6*s**2 - 16*s + 3. Let m(h) = h**3 + 6*h**2 - 6*h + 10. Let f be m(-7). Let d be z(f). Solve 5*u = d - 4 for u.
1
Let d be (3/(-3) - 49/(-5))/(226/565). Solve d = 16*n + 6 for n.
1
Let w(i) = i**2 - 12*i + 13. Let n be w(10). Let b be (60/42)/((-1)/n). Suppose -9 = -13*s + b*s. Solve r + s*r = 0 for r.
0
Let t(c) = 84*c - 2399. Let o be t(43). Solve -7*g = -1220 + o for g.
1
Let b(q) = 4*q - 40. Let f(o) = 5*o - 49. Let m(c) = -6*b(c) + 5*f(c). Suppose 0 = -3*y - 3 + 27. Let i be m(y). Solve 3*u = -0 + i for u.
1
Let a(b) = -6*b**2 - 120*b + 7. Let o(x) = x**2 + 1. Let n(p) = a(p) + o(p). Let r be n(-24). Solve 0 = 5*h - r + 23 for h.
-3
Let c = -2517 + 2806. Solve 0 = -283*y + c*y + 24 for y.
-4
Suppose -2*k = -8*k + 216. Suppose -3*l + 6*l = -4*r + k, -5*l + 60 = 5*r. Solve 6 - l = -3*x for x.
2
Let t(i) = i**3 + 6*i**2 + 5*i. Let k be t(-5). Let w be 211*((-2)/(-13) - 168/78). Let s = w + 427. Solve s*n - 2 + 12 = k for n.
-2
Let z(y) be the second derivative of -y**3/2 - 43*y**2/2 - 10*y. Let h be z(-16). Solve 12 + 3 = -h*j for j.
-3
Let w(f) = 13*f + 59. Let k(q) = 7*q + 30. Let t(o) = 5*k(o) - 3*w(o). Let c be t(-7). Let l be (3/c)/(((-9)/(-6))/1). Solve -1 = l*n - 5 for n.
2
Let t be 7/112*8*-2 + 56. Solve -t = -25*f - 205 for f.
-6
Let o(r) = -r**3 - r**2 - r. Let n be (-16)/24 + (-78)/(-9). Suppose 6 + n = -7*x. Let z be o(x). Solve z*v = 4*v for v.
0
Let s(v) = -v - 9. Let t(w) be the first derivative of w**3/3 + 11*w**2/2 - 2*w - 25. Let z be t(-10). Let q be s(z). Solve 0 = -2*a + q*a + 5 for a.
-5
Suppose 0 = -4*y - 0*y + 4*w + 656, y - 5*w - 152 = 0. Solve -283 = 50*b + y for b.
-9
Suppose 5*u + 4*w = 359 + 1238, 4*w = -4*u + 1276. Let x = u + -313. Solve -7*s + x*s = 0 for s.
0
Suppose -56*r = -53*r - 42. Let i(h) = h**3 - 13*h**2 - 11*h - 27. Let x be i(r). Suppose x*s - 160 = 5*s. Solve 4 - s = 3*f for f.
-4
Let a(k) = 509*k - 5052. Let j be a(10). Solve j = 16*s - 42 for s.
5
Let y(s) = s**3 + 6*s**2 - 54*s + 40. Let o be y(7). Solve o = 9*t + 299 for t.
0
Let h = -220 + 280. Suppose -5*t + h = -4*b, t + 2*b - 28 = 6*b. Solve -t = y - 3 for y.
-5
Let x(n) be the first derivative of 26*n**2 + 164*n - 295. Let i be x(-3). Solve i = -48*d + 52*d for d.
2
Suppose 127*h = -14958 + 18935 + 19645. Solve 0 = 147*b - 54*b - h for b.
2
Let y(l) = -6*l - l**2 - l**2 + 9 + 1 + l**2. Let i(p) = 3*p**2 + 18*p - 29. Let k(m) = -3*i(m) - 8*y(m). Let g be k(-7). Solve g*a - 5*a = -25 for a.
5
Suppose 40 + 15 = 11*t. Let k be 1656/84 + 7/(245/10). Solve -5 = -t*j - k for j.
-3
Suppose -253*h + 250*h + 6 = 0. Suppose h*m = -5*g + 35, -m = -6*m + 3*g + 41. Solve 15*i - 20*i = -m for i.
2
Let s = -617 - -896. Suppose 199 - s = -5*d. Solve h - d = -3*h for h.
4
Suppose -37 = -4*f - 2*h + 15, 0 = 2*f + 4*h - 14. Let l = 140 - 38. Let g = 104 - l. Solve -g*q - f = q for q.
-5
Let y be ((-68)/(-24))/((-5)/(-90)). Suppose y*v = 47*v + 28. Solve -10 + v = g for g.
-3
Suppose 5*y - 19 = -3*h, 0*h + 12 = 2*y - h. Suppose -62 = y*m - 3*n, 5*m + 20 + 40 = 5*n. Let i be (m + 11)/((-4)/6). Solve 0 = -0*b + i*b + 12 for b.
-4
Let y = 0 + 2. Suppose 2*v = -2*x + 5*x - 11, 2*v - 13 = -5*x. Suppose x*u - r = -3 + 19, u + 4*r - 1 = 0. Solve p + u = y for p.
-3
Suppose 2*l = 6*l + 12, 0 = 3*s - 3*l - 15. Suppose -10*h + s = -28. Solve -h*z = -8*z + 20 for z.
4
Let t = -255 - -261. Let x be -6*(-3)/t + 6/(-6). Solve -j + 4 = -x*j for j.
-4
Suppose 0 = -4*f + c + 95, 0 = f + c + 4*c - 29. Let o = -4 + f. Solve 3*p - 8*p = o for p.
-4
Let d = -12 - -15. Suppose d*v = 115 + 278. Let l be 9/(315/10) - v/(-7). Solve 4*n + 1 = -l for n.
-5
Let b = 221 + -216. Let t(h) = -h**3 + 8*h**2 - 14*h. Let m be t(b). Solve m = -f + 2 for f.
-3
Suppose 0 = -36*s - 52 + 160. Solve 0 = 6*d + s - 15 for d.
2
Let m(v) = -v + 5. Let b be m(-7). Let x be -3 - ((-1)/(-4) - 183/b). Suppose -f + g = -5*f + 9, -g = -3*f + x. Solve 6*d = f*d - 3 for d.
-1
Let i = 4 - 2. Let v be (-27)/(-12) + -3 - 2/8. Let j be (-7 - v)/2 - (36 + -51). Solve 0 = i*k + 4 - j for k.
4
Let w be 6 - 8*(-3)/6. Suppose 9*g - 7*g = w. Suppose -4*s - 4*n = -7*s - 7, g*n - 20 = 0. Solve s*x = 2*x for x.
0
Suppose 38 = 3*k - n - 3*n, 5*k - 3*n - 45 = 0. Suppose -l = k*l - 63. Suppose -l*d = -13*d. Solve d = -y - 0*y for y.
0
Suppose -5*c + 50 = 5*t, -c + 3*t + 0 = -30. Let a be ((-216)/c)/(-3) + (-4)/(-20). Solve a*p = 7*p for p.
0
Let m = 1 + -1. Let z = -232 - -238. Let t be z/(-1)*((-70)/21)/2. Solve t = -m*f + 5*f for f.
2
Let z be 0 - (-18)/4 - 285/570. Let o be (-209)/(-9) - 12/54. Let j be o + (0 - -2) - 0. Solve 9*b = z*b + j for b.
5
Let q(u) = -u + 25. Let v be q(23). Suppose -12*m = -13*m + v. Let h = -398 - -398. Solve w + w + m = h for w.
-1
Let r(y) = -25*y - 83. Let z(m) = -9*m - 28. Let j be (-440)/(-100) + (-2)/5. Let c(v) = j*r(v) - 11*z(v). Let f be c(-26). Solve f*p - 4 = -2*p for p.
1
Let p be -147*(352/(-24) + 11). Solve 60*t = p - 119 for t.
7
Let b = 5531 + -5499. Solve b*q = 164 - 100 for q.
2
Suppose -o + 4*o - 9 = 0, -2*x = 4*o - 34. Suppose -i = x*i. Solve i = -2*a - 3*a + 15 for a.
3
Suppose 67*t + 159 = 4581. Solve -16*o + t = 6*o for o.
3
Let v = -8467 - -8498. Solve 9*m = -v + 4 for m.
-3
Suppose -125*g = -66*g - 66*g. Solve 25*f + 318 - 168 = g for f.
-6
Let i = 91 + -766. Let l = i - -677. Solve l*d + 48 = 42 for d.
-3
Let g = -623 + 677. Solve g - 50 = -4*u for u.
-1
Suppose 4*b = 10*b + 6*b. Suppose 0 = 5*y + 2*z + 3*z - 75, 3*y - 2*z - 70 = b. Solve y = 7*n - 3*n for n.
5
Let k(n) = 14 - 23 - 45 - 14 + 18*n - n**2 - 10. Let a be k(9). Solve f - a = 4*f for f.
-1
Suppose -34*t = -29*t + 3*b - 2190, 3*t = -b + 1318. Let m = -415 + t. Solve 6*h + 8 = m for h.
3
Suppose -5*a = 5*b - 90, -8*a + 104 = 716*b - 712*b. Solve 26*v - 72 = -b*v for v.
2
Let u be ((-75)/(-6))/(42/168). Solve 43*c + 14 = u*c for c.
2
Let x be 54 - (2 - 2 - 2). Suppose -254*b + 54 = -n - 256*b, 0 = 2*b. Let g = n + x. Solve 6 = -g*a - 4 for a.
-5
Suppose 75 = 5*x - 5*a, 2*x - 5*x + 5*a = -53. Solve 20*t - x = 49 for t.
3
Let g be (-48)/(-4) - (96 + -113). Solve 1 = 4*t + g for t.
-7
Let w be 18/(-7)*700/(-6). Let k = w + -296. Let i be (-2 + 2)*(-2)/4. Solve k*m + 20 + 0 = i for m.
-5
Suppose 7*h - 3*h - 2*h = 0. Suppose h = -2*z + 4*l + 20, -2*z = -z - 3*l - 12. Solve 2*m - z = -4 for m.
1
Let j(q) be the first derivative of 2*q**3/3 + 13*q**2/2 + 21*q - 109. Let z be j(-5). Solve -8*h + z*h = 0 for h.
0
Suppose 0 = -u - 5*q + 34, -9*u = -5*u + 4*q - 88. Suppose 0 = c + 3*a + 75 - u, 0 = -2*c + 4*a - 122. Let v = -59 - c. Solve v*m - 3 = m for m.
-3
Suppose 33*k = 31*k - h + 47, -180 = -5*k + 10*h. Solve 0 = -35*u - 44 - k for u.
-2
Let v(s) be the first derivative of -19 + 0*s**2 - 1/4*s**4 + s - 6*s**3. Let t be v(-18). Solve 0*b - b = -t for b.
1
Suppose -29*y + 1395 = 293. Suppose 4*b - 5*t - y = -43, b + 2*t = 15. Solve b*k - 5 = -0 for k.
1
Suppose -2*u = -0*u - 118. Let v = 31 - -26. Suppose 5*k - 2*n = v, 0 = 4*k + k - 4*n - u. Solve -4*z + 5 = -k for z.
4
Let i(k) be the third derivative of 1/8*k**4 + 0 + 0*k + k**3 + 10*k**2. Let v be i(-2). Solve -2*r = -v*r + 8 for r.
-4
Let f be (-1 + -33)/2 - 2. Let u = -38 - f. Let x be u/95*(-30)/2. Solve c + x*c = 0 for c.
0
Let x(y) = 2*y - 2. Let l be x(4). Let i be (7/(7/(-15)))/(1/27). Let m = i + 407. Solve -l*w = -m*w + 8 for w.
-2
Let b = -37 + 41. Suppose b*h = 9 - 45. Let f be ((-6)/h)/(10/45). Solve -f*g = 1 + 2 for g.
-1
Let b(a) = -2*a**3 + 51*a**2 - 33*a - 6. Let c be b(25). Let t = c - -214. Solve -5*n = -7*n + t for n.
4
Let w = -1446 + 1446. Solve w = 972*k - 964*k - 56 for k.
7
Let d(h) = 2*h**3 + 4*h**2 + 5*h + 5. Let c be d(-2). Let s(m) = m**2 + 4*m + 7. Let b be s(c). Suppose -b*q = -0*q - 36. Solve 4*i = i - q for i.
-1
Let k = -29260 + 29767. Solve 562 - k = -11*j for j.
-5
Let y = -12893 + 12916. Solve 13 = -y*q + 151 for q.
6
Let t(k) = -2*k**3 + 6*k**2 - 20. Let x be t(-6). Solve 0 = 3*h - 631 + x for h.
1
Let p(x) = 2*x*