= 3*d + 4*i for d.
4
Suppose 0 = -7*j + 3*j + 12. Suppose -2*o = z - o, 4*o = -j*z. Solve 0 = -k + r + 4*r + 2, z = 3*k - 2*r - 6 for k.
2
Suppose -2 = p - 4. Suppose 2*n - 4 = p. Solve 4*h = 4*u + 38 - 2, n*h - 31 = 4*u for u.
-4
Let x(j) be the third derivative of -j**4/6 + j**3/3 + 2*j**2. Let l be x(-6). Solve l = 2*w - 4*q, q + 2 = -3 for w.
3
Let r = 41 - 14. Solve -2*l - l = 3*j + r, 0 = -4*l + 2*j - 6 for l.
-4
Let f(z) = -80*z**3 + z. Let w be f(-1). Suppose 0 = -5*i - 19 + w. Solve -d + 0 = 5, -2*n = -2*d - i for n.
1
Suppose 0 = 2*a - 7*a - 10. Let f be 0/(0 + 2) - a. Suppose 3 = -f*w + 11. Solve -5*l = -5, o + w*l = -0*o + 1 for o.
-3
Suppose 3*k - 4 - 2 = 0. Suppose -3*x - 15 = -2*c, -3*c = -c - 2*x - 12. Let t = 11 + c. Solve k*w = -w + 6, 3*l - t = -w for l.
4
Let p(c) = 6*c - c**2 - 5*c - 6*c - 7 - 3*c. Let j be p(-6). Solve -h - 4 = -m, m - h = h + j for m.
3
Let w = -10 - -14. Solve -w*n + 5*b = -5, -2*n - b - 5 = -4 for n.
0
Suppose 0 = 3*r - 10 + 1. Suppose 0*s + r*s - 6 = 0. Solve -3*w + 5*u = -s*w - 17, w + 3*u + 15 = 0 for w.
-3
Let i be 3/4 + (-3)/4 + 3. Solve u + u + 17 = -i*d, -4*u - 3*d - 19 = 0 for u.
-1
Suppose 5*b + i = 0, 25*b - 20*b + 5*i = 0. Solve -t - 1 = 0, g - 1 = 4*t - b for g.
-3
Suppose -2*m - 68 = -6*m. Solve 3*d = -3*i - d + 27, 4*i - d - m = 0 for i.
5
Suppose -23 = -5*m - 4*j, -2*m - 5*j = -3*j - 10. Suppose -c - 3*z = -45, -10 = -m*z + 5. Solve -w = -4*d + 2 + 13, -w + c = 5*d for w.
5
Let t(a) = 15*a + 1. Let u be t(4). Let k = -73 + 88. Suppose 4*i - k - u = 0. Solve o - 4*n + i = -0*o, -4*n + 1 = 5*o for o.
-3
Let t(z) = -z**3 - 7*z**2 - 12*z - 4. Let f be t(-5). Solve c + 4*x - 3 = 0, -f*c + 6 = -4*c + x for c.
3
Suppose l - 2*t - 6 = -3*t, -l - 3*t + 14 = 0. Let r = 15 - 12. Solve r*x - 3*y + 25 = 2*y, 10 = l*y for x.
0
Suppose k - 3 = -0*k. Solve -3*w + 0*w - p = 0, -4*p = k*w + 9 for w.
1
Suppose v - 6 = -2*v. Suppose v*d = 3*d - 4. Solve x + 2*c = -2*c - 16, -d*x + 4*c + 36 = 0 for x.
4
Suppose -5*z + 4*a = 25, 0*a - a = -2*z - 10. Let u be (-6)/(-2) + z + -8. Let k be u/45 + 40/18. Solve k*o + d = -2 + 11, o - 3*d + 6 = 0 for o.
3
Let d be 2/(-9) + 280/126. Solve -2*i - 1 = -5*p, 4 = 4*p + d*i + 14 for p.
-1
Let w(v) = -v + 19. Let p be w(14). Solve 5*u - m = -2*m, 0 = 4*u - p*m - 29 for u.
1
Let d be 30/(-4)*(-6)/5. Solve 3*j = m + d, 1 = 6*j - j + 3*m for j.
2
Let r(y) = 12*y - 5. Let n be r(8). Let b = -63 + n. Solve 3*c - v - 4 = -12, 3*c = -4*v - b for c.
-4
Suppose p = w + 1 - 7, -2*p + 4*w - 14 = 0. Let h(d) = -d**3 - 5*d**2 - 3*d. Let z be h(-4). Let i = z - p. Solve -2*m = s + 8 - i, 0 = 5*m - s + 28 for m.
-5
Suppose 0 = -2*h + 4 + 4. Let p(r) = 2*r + 11. Let s be p(0). Solve s = -h*v + 5*m, 2*v + m = -4*m + 17 for v.
1
Let i = -8 - -10. Solve 5*n - i*n + 24 = -3*c, 32 = -3*c - 5*n for c.
-4
Let p = -12 + 12. Suppose 4*k = -p*k. Solve 5*n = t + t, -2*t - 3*n = k for t.
0
Let f be 3*(-6)/(-18) - -1. Solve 0*j - f*j = -2*i + 8, 2*i + 12 = -3*j for j.
-4
Let h = 9 + -5. Suppose -19 = -4*s + 5*a + 9, -2*s - 2*a = h. Let f(i) = i - 1. Let w be f(4). Solve 3*r + 18 = -w*z, 0*r - s*r = 6 for z.
-3
Suppose -11 = -3*p + 1. Suppose 4*x + 6 = -3*u - p, -5*u + 2*x = -18. Solve -5*t - u*b + 8 = 0, -5*t + 4*b + 4 + 10 = 0 for t.
2
Let c(l) = -l**2 - 5*l - 1. Let y(j) = -4*j**2 - 20*j - 5. Let z(v) = -9*c(v) + 2*y(v). Let i be z(-6). Solve -i*k + 2*x = -33, -5*x = 6*k - 2*k for k.
5
Suppose -v - v = 12. Let s(x) = -2*x + 1. Let g be s(v). Solve 0 = -0*q + 2*q + 5*c - 11, 4*q + c = g for q.
3
Let s be 4/(-2) - 25/(-5) - -2. Solve -2*h = 3*h - 5*v + 40, s = v for h.
-3
Let p be (-30)/(-14) - 5/35. Suppose 3 = -3*f + 15. Suppose 12 = f*u - h, u + 0 = 5*h + 22. Solve p*s + 2*b = -u, -5*s + 2*b = 4 - 20 for s.
2
Let n(k) = -k + 17. Let p be n(-5). Solve 2*q + j = 4, -6*j = -4*q - j + p for q.
3
Suppose o = -5*w - 11, -o + 3*w - 3 = 6*w. Let y be 102/o + 3/(-9). Solve -3*m - 4*z = -9 - 2, 2*m + y = z for m.
-3
Let w be 1 + 2 + (4 - 3). Suppose 4*q + 8 = -0*q - 4*z, -18 = -q + w*z. Suppose -5*p = -3*p. Solve t - 2*c = -p*c + 6, -q*t = -c - 3 for t.
0
Suppose 2*w - 21 = -1. Suppose 0 = -5*f - 0*f + w. Solve -f*j + 6 = 0, 5*v - 1 - 23 = -3*j for v.
3
Let o = -3 + -5. Let j = 11 - o. Solve 2*q - 2 = -2*h, 3*h - j = -2*h + 2*q for h.
3
Suppose 21 = 4*l + 1. Suppose -q = -2*g + 2, -2*g + 3 = -l*g. Let u be 1/2*q - -5. Solve -6 = -5*j + u*m, 2*m + 5 - 1 = 3*j for j.
0
Let a(v) = -4*v - 4. Let w be a(-2). Suppose -2*k = -2, 3*l - w*k + 12 = 7*l. Solve -4*r + 4*f = 0, -l*r - 11 + 2 = f for r.
-3
Let x = 3 + 1. Solve 3 = 2*j + j, x*j = 2*w for w.
2
Let w = 32 + -30. Solve w*m - 7 = l, 2 = -2*l - 0 for m.
3
Let g(d) = 2*d**2 - 3*d - 2. Let w be g(-1). Solve 0 = 3*c - w*i - 3, 2 + 2 = 4*c + i for c.
1
Suppose -5*m + 10 = -10*m. Let u(z) = -z**3 + 2*z**2 + 2*z - 2. Let x be u(2). Let l = m + x. Solve 2*h - 4*p - 8 = l, 2*p = -2*p for h.
4
Suppose 5*m = 2*a - 26, 3*m - 10 = -a - a. Solve a = 4*x + n, 0*n = -2*x - 4*n + 18 for x.
1
Let o(n) = n**3 - 11*n**2 + 8*n + 4. Let m be o(10). Let k = m + 10. Let a = -2 - k. Solve -4*c = a*r - 40, -r - 4*c = -5*r for r.
5
Let x = 7 - -13. Let d = x + -10. Solve -3*s = -4*t - 8, -4*t - t - d = -5*s for t.
-2
Let b(p) = p**3 + 4*p**2 + 2*p. Let x be b(-3). Let r = -31 + 34. Solve x = a - 4*i, 0 - r = -a + 3*i for a.
3
Suppose 3 = -3*u - 3, 0 = -k + 3*u + 14. Solve 7 = 4*z + p - k, -4*z = -4*p for z.
3
Let u(k) = k**2 - 4*k + 2. Let g(b) = b**2 - 3*b + 1. Let p(l) = -4*g(l) + 3*u(l). Let t be p(0). Solve h = 3*q - 9, -t*h + 2 = -2*q + 8 for h.
0
Suppose 3*g - 5*k - 52 - 19 = 0, -4*g + 56 = 3*k. Solve -4*f - 4*l - 20 = 0, 0 = -4*f + l - 3 - g for f.
-5
Let i = -4 + 3. Let k be 7/(-4) + 2/(-8). Let r be i + k/(-2) + 15. Solve -r = -w + 5*o, 4*w - 2*w - 3 = o for w.
0
Suppose 4*h = l - 42, l - 5*h + 3*h - 34 = 0. Solve t - l = -5*d - t, -2*t = -d - 2 for d.
4
Let u(w) = -3*w - 2*w + 4 + 6*w. Let j be u(-4). Solve l - 13 = 4*c, 3*c - 4*l + 6 + 7 = j for c.
-3
Let n be 130/(-39)*6/(-5). Solve n*p + 5*z + 0*z = -14, -2*z = 5*p + 9 for p.
-1
Let t = -7 + 12. Suppose -5*m = -4*m - t. Let q = m + -3. Solve 3*x = -n + 16, -q*n + 7*n - 28 = -2*x for n.
4
Let g = -63 - -83. Solve -4*x + 0 = -g, 0 = -5*q + 3*x + 5 for q.
4
Let v(g) = -g**2 - 5*g - 4. Let u be v(-5). Let b be (3 - 57/12)*u. Let n(c) = c - 3. Let h be n(b). Solve 2*w - w = 3*f - 3, -h*w + 4 = 4*f for f.
1
Let i be (12 - 8)*(-26)/(-4). Solve -15 = -l - 3*p, 10 = -4*p + i for l.
3
Suppose -14 + 2 = -3*t. Solve 0*i = -3*m - i + 14, -m - t*i + 12 = 0 for m.
4
Let j = 5 - 3. Let k = 15 - 13. Solve -k*c - 18 = -j*r, -3*r + 2 = -3*c + 5*c for r.
4
Let y = -51 + 56. Solve y*f - 33 = 2*p, -2*p - p = -f + 17 for p.
-4
Suppose o + 15 = 5*w - 3*o, -o = -3*w + 9. Let v be 1 + w + 2/(-2). Suppose 0 = -0*d + 3*d. Solve -t + 2 = l, 2*l + d*l - 5 = -v*t for l.
1
Suppose -3*k + 0*k + 15 = -2*f, 20 = 4*k - 3*f. Solve -z - 3*w - 19 = z, 0 = k*z - w + 5 for z.
-2
Suppose 2*s - 8 + 30 = 0. Let u = 13 + s. Solve 10 = 3*o + b, -7 = -u*o - 0*b - b for o.
3
Suppose -21*r + 45 = 3. Solve -5*v + v - 2*y = 22, 0 = -2*v - r*y - 14 for v.
-4
Let b = -2 - -8. Solve 0 = i - 5*n - 2 - 4, 3*n = -b for i.
-4
Suppose -4*h - 2 = 2*s - 10, -8 = s - 4*h. Solve -3*r + c + 5 = 0, 3*r = 2*c + 7 - s for r.
1
Suppose n + 4 = 2*n. Solve 0 = -n*y, 2*v = 3*v + 3*y for v.
0
Suppose 2 = 5*m - 18. Solve -3*z = m*h - 7*h - 9, 0 = 3*h + 3*z + 15 for h.
-4
Let k(r) = 2*r**2 - 10*r + 3. Let y be k(5). Solve 3*p - 4*f + 13 = 3, 9 = -y*p + 3*f for p.
-2
Let n = 15 + -12. Suppose 2*v - n*o + 1 + 8 = 0, -5*v - 3*o = -9. Solve v = -h + 4*h + 9, -3*t = 5*h + 9 for t.
2
Suppose -4*a + 0*i = -i - 18, -4*i - 12 = -4*a. Suppose 9 = a*k - 6. Solve -c - j = -k, 3*c - 3 = 4*c - 5*j for c.
2
Suppose i = 3*c + 10, -5*c - 1 = 4. Suppose 2 = x - 2. Solve -2*o = 5*a + i, 3*o - x*a = 2*o + 3 for o.
-1
Suppose -8*j + 25 = -3*j. Solve 0*s + j*i + 17 = 2*s, 2*s = -5*i - 33 for s.
-4
Let v be 4*(-3)/(-24)*4. Solve v*j + 1 = 5, 5*p = -5*j for p.
-2
Let r be (-3)/(-2)*(-2)/(-3). Let c be (-3 + r)/(5/(-10)). Solve -2*s + 4*l + 2 = -0*s, -c*s + 3*l + 9 = 0 for s.
3
Let s = 7 + -7. Solve 3*c + 3*w + 18 = 0, s = -5*c + 4*c + w + 2 for c.
-2
Let v(m) = -m + 4. Let y be v(3). Let f(w) = w**3 - w. Let j be 