18 for i.
-5
Let i(m) = 47*m + 284. Let j be i(-6). Solve -j*b - 4*a + a + 17 = 0, -10 = -b - 2*a for b.
4
Suppose -2*t = 0, -t - 3 = -4*o + 3*o. Suppose -z + 4*k = -o, -3*z - k - 1 + 10 = 0. Solve 3*j - 12 = -z*l, -2*j + 18 = j + 5*l for j.
1
Suppose 20*y = -28*y + 144. Solve -3 = 4*l - 0*l - y*d, l - 13 = -2*d for l.
3
Let o(i) = -2*i**2 - 11*i + 11. Let d = -44 + 38. Let b be o(d). Solve b*k + 0*a + 19 = a, -5*a = -20 for k.
-3
Let p(h) = h**2 + 6*h - 4. Let c be p(-7). Suppose c*f + 0*w - 4*w + 65 = 0, 5*w = -2*f - 51. Let y = f - -28. Solve -5*z + 3 = -3*n - 0, -z = 5*n + y for n.
-1
Suppose -7*k = 233 - 324. Solve -3*p + 6*r + 11 = 2*r, 5*p - k = 4*r for p.
1
Let d(g) = g**3 - 8*g**2 + 12*g - 32. Let u be d(7). Suppose 0*b = 5*b + 2*m - 48, u*m + 13 = b. Solve 3*r = -3*p, 4*p + b = p - r for p.
-5
Let l be (-1 + -6)/((-4)/(-4)). Let i be (-9 - l) + 4/2. Solve -2*s = -5*m - 0*s, i = 5*m + 2*s for m.
0
Let d(u) be the third derivative of u**4/24 - u**3/3 - 22*u**2. Let o be d(6). Solve 2*y - 4*z = 8, o*z = -2*y + 6*y - 12 for y.
2
Let d be 0*(80/30)/8. Solve -5*w - 4 + d = 2*l, l = -2 for w.
0
Let a = 18 + -36. Let i = a - -31. Solve 3*u - 3*p = 0, -3*u + 15 = 4*p - i for u.
4
Suppose -2*v + 8 = 7*y - 4*y, -5*y + 8 = -2*v. Solve 0 = 2*z - 4*z - y, 2*z - 18 = 5*l for l.
-4
Let f be (2 - (-7 - -3)) + -3. Let x(v) = 0*v + 8*v + 7*v - v**f + 3 - 14*v**2. Let w be x(-15). Solve -5*h + 20 = -2*z, -4*h - w*z = h + 5 for h.
2
Let u(s) = -s**3 + 8*s**2 - 13*s + 104. Let o be u(8). Solve -4*y - 23 = r, -8*y + 5*y + 5*r = o for y.
-5
Let i(r) = -3*r + 15. Let x = 38 + -33. Let q be i(x). Solve 0 = f + 3*p, -2*f + 3*p + 2*p = q for f.
0
Let x be (-6)/4 - (-18)/4. Solve -x*k + 4*q - 25 = 0, -1 = -q + 3 for k.
-3
Let o = 29 + -24. Suppose o = 5*z - 5. Let h = 6 - 2. Solve 0 = -s + y - 3, h*s - z*s + 4*y + 6 = 0 for s.
-3
Let d(x) = x + 8 - 1 + 0*x. Let c = 3 + -3. Let w be d(c). Solve l - i = 5*l + w, -4*i + 35 = -5*l for l.
-3
Let r = 46 - 81. Let o = 39 + r. Solve -5*s + 3 = -3*y + 23, -y - s = o for y.
0
Let x be (-15)/(-160)*8 - 1/(-4). Solve -c + 2*c + t = -x, -15 = -c - 5*t for c.
-5
Let c(m) = -m**3 + 4*m**2 + 5*m + 2. Suppose -u = -5 - 0. Let w be c(u). Let p = 5 - -1. Solve 0 = w*f + 4*s - 6, p*f - 4*s = 2*f for f.
1
Let d(a) = a**2 + 4*a - 8. Let m be d(2). Suppose 3 = g + 5*t - 1, -g = 2*t - m. Solve 5*w - 3*s - 10 = -4*s, -w + g*s = -2 for w.
2
Let g(n) be the second derivative of n**4/12 - n**3/3 + 3*n**2/2 - 3*n. Let w be g(0). Let p be 7/(14/6) - w. Solve -r = -p*r + 5*v + 13, -5*v = 3*r + 9 for r.
2
Let v(c) = -3*c - 33. Let j be v(-11). Suppose 3*y - 5 - 7 = j. Solve 3*d = -5*p - 16, d + 3 + 7 = -y*p for d.
-2
Let k(n) = n**3 + 4*n**2 + 4*n + 2. Let q = 28 - 27. Suppose 0 = o + 1 + q. Let h be k(o). Solve 0*y - 7 = -3*y - 2*m, h*y - 10 = -4*m for y.
1
Suppose -2*c + 3*c - 5 = 0. Suppose 0*v - 4*v = c*g - 19, 2 = 2*v. Suppose -5*f + 12 = -3, 3*f - 17 = -h. Solve -4*s + g = -5, 0 = -4*y + 2*s - h for y.
-1
Suppose 3*a = 15 - 3. Let x(b) = -b**3 + 5*b**2 - 2*b - 4. Let n be x(a). Solve -z + c + n*c + 1 = 0, 3*z + 13 = -c for z.
-4
Suppose h + 14 = 2*t + t, 2*t + 4*h = -14. Let x = 12 - 10. Solve 2*a + 3 - x = -t*g, 4*g - 6 = a for a.
-2
Suppose 0 = -o + 24. Suppose 2*z - o = -6. Suppose 0 = 4*p - z*p. Solve 5*x = w + 2*x - 4, p = -5*x - 5 for w.
1
Suppose -33 = -5*q + 2*q. Suppose -6*o + q*o = 20. Solve 4*t = o*r, 1 = -2*t - 7 for r.
-4
Let h = -1153 - -1159. Solve y = 2*n + h - 0, -12 = 3*n for y.
-2
Suppose 24 - 4 = 5*b. Let r(g) = -g**3 + 3*g**2 + 5*g - 4. Let v be r(b). Suppose p = -v*p. Solve 2 = 2*j - 2*i, -3*j - 3*i - 2*i - 29 = p for j.
-3
Suppose -5*k = -11*k + 30. Let l(c) = -c**2 + 8*c - 4 + c**2 + c**2. Let b be l(-9). Solve f + k*j = -4*f + 5, -b*j = -4*f + 22 for f.
3
Suppose 0 = -5*d + t + 5, 4*d - t - 8 = -4. Let w be (-2 - -6) + 0 + -2. Suppose -w*j = 8, 2*v + 5*j = 3*j + 10. Solve -3*i + v = o, 2*i - 5 - d = -o for i.
3
Suppose 4*s - 32 = -4*s. Solve 4*c - s*m = -0*m - 4, -m = 3*c - 17 for c.
4
Let u be 1/(4 - (-21)/(-6)). Let k(q) = q**3 - 3*q**2 + 2*q. Let l be k(u). Solve 3*t + 2*g - 6 = l, t + g + 6 = 3*g for t.
0
Let c(z) = z**2 - 4*z + 3. Let u be c(5). Solve 0 = -a + 2*s - u, 5*s - 10 = 0 for a.
-4
Suppose 0 = 10*j - 181 - 139. Solve -4*t - j = -4*o, -4*t - 12 = 2*o + t for o.
4
Let k = -169 + 174. Let r be (-2 + 2/4)*-2. Solve 3*h - 2*b + k = 0, 23 = 3*h + 2*b + r*b for h.
1
Suppose -29 + 10 = -o. Suppose 3*n + 2*z - o = 0, -5*z + 5 = -2*n + n. Solve y + n*u + 17 = -3, u + 23 = -4*y for y.
-5
Let z(f) = f**3 - 11*f**2 + 2*f - 18. Let w be z(11). Let v be 4 - (4 - (3 + 84/w)). Solve -t - 3*t - 2*u = v, -2*u - 4 = -t for t.
-4
Suppose 11*w = 35*w - 720. Solve 0 = 4*o - 4*d + w - 2, -4 = -2*d for o.
-5
Suppose -8*i + 10*i + 157 = 5*u, 2*u - 64 = 2*i. Solve -8 = v - p, -7*v - u = -2*v - 2*p for v.
-5
Let j(q) = q**3 - 11*q**2 - 12*q + 2. Let h be j(12). Suppose 0 = -h*b + 5 + 5. Solve -b*z - 4*v = -12, -4*v = -9 - 3 for z.
0
Suppose -3*z + 2*s - 45 = 0, 37 = 5*z - 2*s + 112. Let o = z + 21. Solve n + 2*n + h + 12 = 0, o = -n - h for n.
-3
Let x(z) = z**3 - 29*z**2 - 59*z - 90. Let w be x(31). Solve 23 = -w*i - 2*i + l, -3*l = 3*i + 21 for i.
-5
Let p(r) = -21 + 37 - 5*r - 22. Let c be p(-2). Solve -4*g - 11 + 31 = -4*n, -4*g - c*n = -20 for g.
5
Suppose -z - 4*j - 82 = 0, 3*z + 2*j + 258 = -z. Let b = z - -63. Solve -2*g + b = 5*w, g - 2*w = 2*g for g.
-2
Let y = 44 - 41. Let g(c) be the second derivative of -c**5/20 + c**4/3 - c**3/2 + c. Let m be g(y). Solve 2*j = 3*a + 2, 2*j = 5*a + 2 - m for j.
1
Let t = -3 + 43. Let o = 49 - t. Solve 5*s = 5*c + 15, 3*s = 4*s + 5*c - o for s.
4
Let r = -41 - -68. Suppose 5*b - 15 = -0*b. Let u = 3126 + -3122. Solve b*h - u*p + 18 = h, -r = 5*h - p for h.
-5
Let q be 5 + (0 - (3 - -6 - 6)). Solve 3*v - q*y + 3*y = -5, 2*y + 10 = 2*v for v.
0
Suppose 0 = -5*d - 4*z + 4, -1 = -3*d - 2*z + 3. Solve 0 = -d*n - 4*t - 0*t + 32, 5*n + 2*t - 31 = 0 for n.
5
Suppose -1 = 45*d - 181. Solve -7*y - 2*c - 8 = -10*y, -4 = d*c for y.
2
Let y = -286 + 291. Solve 3*l - y*f + 6 = 0, 12 = 4*f - 0*f for l.
3
Let v = 8 - 5. Suppose 2*y + 13 = 5*t, -79 = 3*t - 3*y - 85. Solve v*c - 11 = -a + 4, -3*a + t*c - 15 = 0 for a.
0
Suppose -3*r + 16 = 10. Suppose 0 = r*z - 2*c, -15 = -2*z + 4*z - 5*c. Solve -z*v - 5*p - 35 = 0, 4*v - p + 18 = 5 for v.
-4
Let z = 8 + -4. Suppose 0*k + z*k = 28. Let r(p) = -p + 12. Let s be r(k). Solve 3*o = -3*b - 3, s*b - 8 - 14 = 4*o for b.
2
Let a be (-1)/4 - 1/(-4). Solve -5*g + 15 = -3*n + 2*n, -g - 2*n - 8 = a for g.
2
Suppose 2*k - 14 = -0*k. Suppose 3*v = -2*v + 25. Let o = k - v. Solve -3*z - 2*p = -22, z = 2*z - o*p + 6 for z.
4
Let b = 168 + -308. Let f be ((-2)/(-5))/((-7)/b). Suppose -4*p - f + 22 = 2*i, 2*p - 4 = -4*i. Solve -6*r + 3*s = -2*r - 3, -3 = -5*r + p*s for r.
3
Let x = 393 + -385. Solve 4*u = 3*y - 2, 4*u - x = -4*y + 2*y for u.
1
Let o be (4 + -4)*1*(-2)/4. Solve k + 4*k + 5*z - 5 = o, k + 4*z = -8 for k.
4
Let q(w) = -8*w + 9. Let l be q(-4). Let o be l/3 - 2/3. Solve 0*t - 5*t - a = 1, 4*a - o = -3*t for t.
-1
Let y = 120 + -35. Suppose 3*s - y = -4*n, 0 = -n - 3 + 7. Solve 8*v - s = -4*j + 3*v, -j + 17 = 5*v for j.
2
Let j = 100 - 96. Solve -f = -5*g - 22, -j*g - 1 = 5*f + 5 for f.
2
Let z be (16 - 11)/(-1 - -2 - 0). Solve z*x - 3 + 8 = 4*u, -4*u + 29 = 3*x for u.
5
Let z be (-2)/(-10) - 200/(-250). Solve k - v = -z, 0*k - 4*v - 5 = -k for k.
-3
Let p(n) = 64*n + 69. Let t be p(-1). Solve t*g - 3*g = m - 12, 0 = 2*g + 3*m + 4 for g.
-5
Suppose 5*m = 4*t + 64, 3*m + 4*t + 0*t - 64 = 0. Let a = -16 + m. Solve -f + 3*k - 4 = a, 5*f - 40 = -3*k - 6 for f.
5
Let u = 5 - 3. Let w = 0 + u. Let z = -381 + 382. Solve 4*r + z = a + 2, -2*a = w*r + 2 for a.
-1
Let r(i) = -i**3 + i**2 - 5*i - 7. Let a be r(-3). Suppose 3*q + 16 = -5*k, -3*q + 5*k + a = 10. Solve 3*s = -5*p - 0 - 4, -q*s = -5*p - 16 for p.
-2
Let i = 389 + -379. Solve -t - i = 5*n, -4*n + 3*t - 2*t - 17 = 0 for n.
-3
Suppose 0 = -l - 5*y + 4*y, 4*y = -16. Solve -l*f - 5*r - 3 = -38, 0 = -4*r + 12 for f.
5
Let g(y) = y**2 + 22*y - 101. Let r be g(-26). Solve 20 = 5*u, -r*u + 2*u = t - 5 for t.
1
Suppose n = 5*n - 16. Let g(d) = 41*d**2 + 821*d + 23. Let a be g(-20). Solve n = -c - 2*h, a*h +