Solve -3*a + 3*i - i = -14, -u = -5*a + 2*i for a.
2
Suppose -5*r + r = -4. Suppose -s + 4 = r. Solve -l = m - 0*m + 5, -s*m - 3 = -l for l.
-3
Let r(u) = -u**3 - 3*u**2 + 2*u - 5. Let g be r(-4). Suppose -g*w = w. Let k(s) = 8*s - 1. Let p be k(1). Solve -5*b = 2*i - 5, w = 4*i + 4*b - 23 + p for i.
5
Let r be (-6)/(-39) - 111/(-39). Let t = r + -1. Solve -4*y = -3*o + 13, -t*o - y + 2*y + 2 = 0 for o.
-1
Let o(z) = -z + 6. Let l be o(5). Solve 0 = -u - y - 1 - l, -4*u - 23 = -y for u.
-5
Suppose -6 = -7*q + 4*q. Let t(k) = -3 + 5*k**q - 3*k**2 + 0. Let y be t(3). Solve 0 = -4*c, 3*h = 8*h - c - y for h.
3
Let x be (-1)/(3/(-12) - 0). Suppose l = 1 + x. Suppose -21 = -4*b - l. Solve -4*j - b = -4*p, -4*p + p + 11 = -j for p.
5
Let k = 12 - -13. Let u = -10 + 25. Let n = 4 - 1. Solve -n*f = -3*d + u, -5 + k = -4*f - 2*d for f.
-5
Let v = 39 - -54. Let d be (-6)/14 - v/(-21). Solve 5*z + 8 = -d*b, 4*z = -2*b - 0*z - 10 for b.
3
Suppose -51*t + 50*t = -2. Solve -2*f + 14 = -2*q - 0*f, -2 = -q - t*f for q.
-4
Suppose p + u = -p + 15, 3*p = 5*u - 10. Solve p*g = 3*d - 3 + 34, -5*d = -3*g + 25 for d.
-2
Let a(w) = w**3 - 6*w**2 + 5*w - 4. Let z be a(5). Let d = z + 11. Let u = d + -6. Solve v = -2*g + 3, -3*v + 3*g = u - 10 for v.
3
Suppose -2 = -2*t + 4. Solve -5*d - 5*n = -t*d - 23, -4*d - 4*n + 28 = 0 for d.
4
Let z = 24 + -21. Let y be (z/2)/((-3)/(-18)). Solve -5*u + 0*u = 3*a - 10, -u - 2*a + y = 0 for u.
-1
Let t(a) = -3*a - 1. Let w = 0 - -3. Suppose -3*z + 6*z = -w. Let h be t(z). Solve -o + m = -1, h*o = -3*o - 5*m + 25 for o.
3
Suppose -4 = u - 3*u. Suppose -2*p + 76 = 5*j + 18, -u*j = p - 24. Solve 3*x - x = -i - j, i - 10 = 3*x for i.
-2
Let n(j) = j**3 + 8*j**2 + 4*j - 12. Let s be n(-7). Let m(l) = -l**3 + 8*l**2 + 10*l - 6. Let f be m(s). Solve f = -a + 5*o - 27, -4*a = -o + 25 for a.
-5
Suppose 4*n - 11 = -2*a + 9, -3*a - 4*n = -38. Let d be 112/18 - 4/a. Solve 5*r - 8 = -3*f, -d*f - 2*r - 12 = -f for f.
-4
Let h(n) = 3*n**2 + 13*n - 13. Let s be h(-6). Solve 21 = -y - 4*z, 0*y - s = y + 3*z for y.
-5
Let m = 7 - 2. Let k(v) = -9*v + 3 - 1 - m + 4*v. Let a be k(-2). Solve x + a = -l, 0 = 3*l + 2*l - 5*x + 5 for l.
-4
Let k(v) = v + 5. Let o be k(-3). Solve -z - 8 = -4*r, -4*r + 5*z - 6 = o for r.
3
Suppose 5*z - 21 = -1. Suppose 4*t - 3*t - 5*d = 7, -z*t - 4*d + 4 = 0. Solve t*c = -l + 3, 0 = 2*l - 0 + 2 for c.
2
Suppose -2*s = -5*i - 26, 0 = 3*s + i - 10 - 12. Suppose -d = -3*d + s. Solve 3*u + 22 = -d*j, 3*u - 2*j = 5*u + 12 for u.
-2
Suppose -4*c = -5*v - 28, 2*v = -c - 2*c - 25. Let b = 12 + v. Solve b*f + 15 = -2*q + q, -2*q - 3*f = 15 for q.
-3
Let i be 4/6 + 104/24. Solve -i*b + 4*g - 29 = 0, 2*b + g = -2*b - 19 for b.
-5
Suppose -4 + 9 = -5*b. Let q = 5 + b. Solve 3*g + 23 = 4*u, 0*u - q*u - 3*g - 7 = 0 for u.
2
Let c be (-32)/(-20) - 2/(-5). Suppose 0 = -5*k - c*v + 14 + 21, 4*v - 10 = 2*k. Let z = 8 - k. Solve 15 = -z*i, 0 = -5*w - 2*i - 0*i - 35 for w.
-5
Suppose l - 2 = 5*t, -3 = -4*t + 2*l - 7. Let p be ((-2)/(-4))/((-3)/(-18)). Solve 5*h - 10 = t, h - p = 3*v - 4 for v.
1
Let q(j) = j**3 + j**2 + 2. Let i be q(0). Suppose i*f - 13 = -3*m, 4*m + 4*f = 32 - 8. Let d be 2/(m + -1 + 2). Solve 5*x + d - 3 = 4*r, x + r = -5 for x.
-2
Let x = 7 - 8. Let a be x*2*(1 - 2). Solve 4*z + a*s = -z + 3, z = -2*s + 7 for z.
-1
Let h = 49 - 30. Suppose -4*t - 3 = -h. Solve 2 = -3*k - 10, -t*w = 4*k + 4 for w.
3
Let r(m) = -m**2 + 7*m + 10. Let s be r(8). Suppose 0 = 3*j + 5*w - 125, w + 171 = 5*j - 0*w. Solve j = -5*t + 5*f, -s*t - 23 = -6*f + f for t.
-4
Suppose 4*h = 2*n + 38, 0*h - 4*h + 5*n + 41 = 0. Let v(o) = -7 - 1 - 1 - o**2 - 8*o. Let g be v(-6). Solve 5*l + g*r - r = -18, -2*l = -r + h for l.
-4
Let s be ((-15)/(-5) - 1) + 2. Suppose 0 = 5*k - 2*t + 44, -35 = 2*k - 0*t + 5*t. Let n be (-46)/k - 4/(-10). Solve s*u - n*w - 14 = 0, 4 = 4*w + 12 for u.
1
Let m = -10 - -17. Suppose -j = u - m, 4 - 2 = 2*j - 4*u. Solve j*c + 2*d + 2 + 3 = 0, -4*c - 1 = d for c.
1
Suppose 2*d - 3 - 1 = 0. Suppose d*j = 4*j. Solve q + 2*s = 4, j*q + 4*s = 2*q + 8 for q.
0
Suppose 0*t + 4*x = 3*t - 218, 5*x + 217 = 3*t. Let n be t/14 - 4/14. Solve -n*s = 3*u + 22, 2*s + 5*u = -4 - 1 for s.
-5
Suppose 5*r - 61 = 4. Solve 3*d + 1 - r = 0, 2*v = 3*d - 22 for v.
-5
Let o(i) = 3 - 6*i + 5 - 5 + 9*i. Let w be o(0). Solve -5*m + w*v - 1 = -0, -4*m + 1 = -3*v for m.
-2
Let f(d) = -d**2 - 9*d - 6. Let a be f(-8). Solve 4*m - 5 = 5*m, -t - a*m = 13 for t.
-3
Suppose -15 = g - 0*g - 4*k, -5*k + 45 = 4*g. Solve o + 2 = 2*o, 0 = g*i - o + 12 for i.
-2
Suppose 45 = o + 2*o. Suppose 0 = m + k + 3*k + o, 0 = -3*m + k + 7. Solve 0*z = -z - u + m, -4*z = -4*u - 36 for z.
5
Let i(m) = m**3 + 9*m**2 + 14*m + 10. Let y be (-14)/8*(-12)/(-3). Let g be i(y). Solve -z + n = -4*n + g, 0 = -n + 3 for z.
5
Let q(k) = -5*k - 42. Let t be q(-11). Solve -2*z + 4 = -4*s, 0*s = 4*z - 3*s - t for z.
4
Let c = -11 + 13. Solve -6 - 2 = c*v, a - v = 3 for a.
-1
Suppose 0 = -j - 2*m + 22, -7*m + 4*m + 57 = 3*j. Solve 3*b - 3 = 2*o, 0 = -4*o - 2*b - j + 2 for o.
-3
Let d(u) = u - 2. Suppose 2*r = 3*r - 6. Let i be d(r). Solve -4*o + 2*j = -i, 3*o - 2 = 6*o + j for o.
0
Let u(k) = k**2 + 2*k - 1. Let y = -5 - -4. Let t be y/(9/(-3) - -2). Let a be u(t). Solve 0 = m + a, -3*m - 7 = 4*x + 3 for x.
-1
Suppose 0 = -m - 2*h + 19, -m + 53 = 2*m + 5*h. Suppose 2*q - 6 = 0, z - 2*q = -0*q + 26. Solve -n = g + g + m, 4*g + 4*n = -z for g.
-3
Suppose 2*l + 10 = -3*l. Let p be (-12)/(-6) - (-4)/l. Solve p = 5*n + x - 5*x - 25, 2*n + x = -3 for n.
1
Let j(d) = d**2 + 10*d + 10. Let i be j(-10). Suppose 4*r - i = -r. Suppose 3*y + r*g = g + 12, y + 9 = 4*g. Solve c - 4 = a - 5, y*a - 5*c = 3 for a.
1
Let l(z) = 3*z - 3. Let d be l(2). Suppose d*w - 157 = -52. Suppose -5*m + 3 = -2*q - 4, -5*m + w = 5*q. Solve -5*i - 2*a = -8, -q*a = 2*i + 3*i - 6 for i.
2
Let m = -4 - -6. Suppose 0 = -m*s + 4*s. Solve s = -4*n - 4*w - 24, 2*n - 6 = -0*n + 4*w for n.
-3
Suppose 0 = 5*v - g - 55, -35 = -5*v + 2*v + g. Suppose -3*a + v = -5*a, 0 = 5*y + 3*a. Solve 5*z - 2*z + 12 = 0, 3*f - y*z + 3 = 0 for f.
-5
Suppose 1 + 4 = b. Solve -5*y = k + 2, -2*y - 3*y = -b*k + 20 for k.
3
Suppose 3*u - 2*p - 40 = 0, 5*p - 1 = 19. Let c = u - 10. Solve -3*f + c = -4*r + 5*r, 0 = -5*f + 5*r - 10 for f.
1
Suppose -325 = -16*n + 251. Solve -5*o + 7 = 2*p + n, 4*o + 5*p + 30 = 0 for o.
-5
Suppose -2*p - 34 = -54. Solve -w = k + 1, 3*k + w + p = -k for k.
-3
Let r = 12 - 8. Suppose 0*g = -2*g + 6. Suppose 3*x + g = 5*m, -3*m - 4*x = 1 + 3. Solve m = -3*i + r*o - 2*o + 10, 0 = 2*i - 3*o - 5 for i.
4
Suppose 36 = 12*l - 9*l. Solve -5*f = -5*a + l - 2, f - 2 = 5*a for a.
-1
Let c = -49 - -89. Solve 0 = 5*t + 4*n - c, 2*t + 0*n + n = 13 for t.
4
Suppose 0 = -3*w + 2 + 7. Suppose 0 = -t + 1 - 2. Let r be (-2)/t + -3 - -3. Solve r*l = -j - 3*j + 10, w*j - 6 = -2*l for j.
4
Let b(w) = 4*w - 17. Let r be b(5). Suppose 1 = z - 2. Let t be (z/3 - 1) + r. Solve -d + 0*d = 3*g - 1, -5 = -t*g + d for g.
1
Suppose -u - s = -0*s - 6, -26 = -5*u - 4*s. Suppose -u*m - 3*m = -5. Let z be (1 - 0) + (m - 2). Solve z = d + d - 4, 0 = 2*q + d - 6 for q.
2
Let k(x) = -4*x + 2. Let t be k(-2). Let q = t + -6. Suppose 10 = 4*v - 2*m, -4*v - 5*m = 30 - 5. Solve 5*d + q*z + 12 = 0, v = 7*d - 3*d + z + 14 for d.
-4
Let w = 1 - 8. Let x(z) = -z**3 - 8*z**2 - 7*z + 2. Let s be x(w). Suppose s*c + 5 = 11. Solve c*u = k + k - 12, -4*k = -2*u - 16 for k.
3
Let t(j) = -j + 20. Let z be t(6). Solve 0 = 2*m - 4*m - 5*s - 11, -2*s - z = -4*m for m.
2
Let y(o) be the third derivative of -o**6/120 + 11*o**5/60 + 13*o**4/24 - 3*o**3/2 - 3*o**2. Let q be y(12). Solve -p = 2*b - 2 + 7, 0 = 3*b - 2*p - q for b.
-1
Let m(u) = u**2 + 2*u + 13. Let f be m(0). Solve -5*n - 15 = 4*d + f, 2*d = 5*n + 16 for d.
-2
Suppose -6 = 2*i, -2*i = -5*g + 3*g + 24. Solve -4*p - 15 = -3*j, 0 = 5*j - p + 1 - g for j.
1
Let x = 14 + -5. Suppose p + x = 4*r - 3, -2*r = -4*p - 6. Solve -14 = 5*g - w, p = -2*g - 4*w + 7 + 5 for g.
-2
Suppose -3*g - 24 = -3*t, -4*t = g + 2*g + 10. Let h be 2/6*-2*g. Solve 3*z = h*u - 13, 2*z + 20 = 5*u - 3*z for u.
1
Let j be (9/(-5) + 1)*-5. Suppose 2*q - 19 = -3*q - 2*v, -3*v + 6 = 0. Solve 5*a - 3*y - 25 = -2*y, q*a - 32 = j*y for a.
4
Let m(y) = -2*y - 8. L