 2*z + 1 = s, 5*z = -s + j*z + 5 for s.
3
Let x(k) = k**3 - 5*k**2 - 2*k - 1. Let t(f) = f + 1. Let h(y) = -5*t(y) - x(y). Let w be h(4). Solve 0*l - 4*l + 3*v + 4 = 0, w = -v - 4 for l.
-2
Let x = -23 - -26. Solve 2*r - x*y = y - 6, 5*r = -2*y - 3 for r.
-1
Let c(j) = -2*j. Suppose 2*h = 4*h + 2. Let m be c(h). Suppose -g - l = -6, -5*l - 10 = -m*g - g. Solve g*w + 7 = 2*w - d, 3*d = -5*w - 5 for w.
-4
Let y(q) = -q**2 + 7*q + 1. Let v be y(4). Solve n + 22 = -5*u, -3*u = 4*n + v + 7 for n.
-2
Let d be (5/(-3))/(1/(-3)). Let t = 7 + 1. Let r = t - 2. Solve -d*s - r*z = -2*z + 3, -z - 3 = 2*s for s.
-3
Suppose 5*s - 1 = 9. Suppose s*l = l + 2. Let p = -8 - -11. Solve -p*b + l*b + 2 = 0, 2*c + 5*b = 8 for c.
-1
Suppose 4*n = -11*n. Solve -2*b = r - 3*b - 2, -4*b + 4 = n for r.
3
Suppose -3 = -3*r + 15. Let q = 86 - 59. Suppose r*v - q = 3*v. Solve -3*m = -2*p + 5*p + v, -9 = 3*m - 2*p for m.
-3
Let k(z) = -5*z + 19. Let f be k(3). Solve -2*u - 2*n = -14, -f*n - 4 = -5*u + 4 for u.
4
Suppose -34 = -7*j + 5*j. Solve -4*w = -3*f - j, -w - f = -6*f - 17 for w.
2
Suppose a - 4*a = -15. Suppose 4 = -2*p + 4*p. Suppose 4*l - p*x - 32 = -5*x, -40 = -4*l - 5*x. Solve 8*b = a*q + 3*b + 35, -23 = l*q - b for q.
-4
Let s(c) = c**2 + 2*c - 1. Let o be s(-2). Let q = -4 + 9. Let i = o + q. Solve -t = i*t + 15, 5*t = -2*p - 15 for p.
0
Let d be 3/(-3)*1 - -3. Solve 5*k = -h - 17, d*h - k = h + 7 for h.
3
Suppose -y = -4*q + 15, 0 = -0*y - 5*y - 5*q + 25. Suppose 15 = 4*x - y. Let a be 0/(-4*(-12)/16). Solve -3*m - 5 = k, -3*m + 7*m + x*k - 4 = a for m.
-3
Let b(f) be the second derivative of -f**3/6 + 7*f**2/2 + f. Let q be b(5). Solve 4*d = q*t + 8 - 32, -t = 2*d + 8 for d.
-5
Let q be 32/40*(0 + 5). Let i(h) = h**3 - 3*h**2 - 3*h - 3. Let x be i(q). Solve 5*o = -2*t - x, 2*o + 0*o - 3*t = 11 for o.
1
Let m be (-32)/(-18) + 22/99. Suppose -2*l - 3*c + 0*c + 38 = 0, -c = -m. Solve -l = -4*n - 4*f, -2*n + 7 = -n + 4*f for n.
3
Let y(c) = -c - 4. Let l be y(-6). Solve 0*w = 5*t - l*w - 12, 2*t = w + 5 for t.
2
Suppose -r - 16 = 3*m + 3*r, -r - 4 = 0. Solve -4*i + 18 = -2*f - 8*i, m = -3*f - 4*i - 23 for f.
-5
Let r(j) = j - 1. Let i be r(6). Let k = 8 - i. Solve 3*q + 3 = -3*t - k, -2*q - 4 = t for t.
0
Let v = 3 + -1. Suppose -v + 4 = k. Solve 3*l - 2*c + 0*c + k = 0, 4*c = 5*l + 4 for l.
0
Let j(z) = -5*z**2 - z - 2. Let t be j(2). Let y be (-1)/(-3) + t/(-9). Let m be 10/3 + 6/(-18). Solve 6*x - y*x = -3*o - m, -28 = 4*o - 4*x for o.
-4
Let o be ((-100)/(-30))/(4/6). Solve 0*z = -3*z, o*f + 3*z = 20 for f.
4
Let t = -42 + 50. Solve -2*h - 4 = -j, -2*h - t = -4*j + 2*h for j.
0
Suppose -5*y = 2*y. Solve 4*a + 5*n = -27, a + 5*n + y*n + 18 = 0 for a.
-3
Let v(t) = -4*t + 3*t**2 + t**2 + 4*t - t + 2 - t**3. Let h be v(4). Let m = h + 6. Solve 10 = -3*z - 0*z - p, -3*p = -m*z + 4 for z.
-2
Let t(j) = -2*j**3 + 4*j**2 - 3*j + 2. Let h be t(2). Let c be (h/(-5))/(14/35). Solve 15 = 3*a - p, -4*p = 3*a - c*p - 15 for a.
5
Let a be (9/18)/(-2*2/(-32)). Solve 0*v = -5*k + a*v - 5, 0 = -5*k + 3*v for k.
3
Let w = 57 - 57. Solve -4*k + 2*m + 3*m = 21, -5*m + 5 = w for k.
-4
Let x be 8/(-2)*(9 - 10). Suppose 2*s = 2*h + x, 0*h - 4*s + 12 = -2*h. Solve t - 3*p = 0, 4*t + h*p = t - 11 for t.
-3
Suppose 0 = -4*m + 7 + 9. Suppose m*z = -h - 304, 0 = 2*z - 3*h - 0*h + 152. Let c = -50 - z. Solve 2*x + c = -3*x - 4*f, f + 2 = x for x.
-2
Let x be ((-4)/(-4) + -1)/(-1). Solve -3*c + 3*h - 24 = x, 3*c - 5*h + 7 = -25 for c.
-4
Let t(k) = k**3 + 7*k**2 - 10*k - 12. Let l be t(-8). Solve -4*b + 7 = -4*n - 9, -5*n - l = -b for b.
4
Let x(t) = t**3 - 4*t**2 - t - 3. Let c be x(4). Let i be 1/((-2)/(-2))*-11. Let k = c - i. Solve 4*l = -4*j + k, -l - j = 4*j - 17 for l.
-3
Let m be -22*((-2)/4 + 0). Suppose -w + 5*w - 28 = 0. Solve -m = 5*b - v + w, 3*b + 12 = v for b.
-3
Let c(k) = -k**3 - 4*k**2. Let f be c(-4). Solve -5*s - 15 = f, j - s = 4*j + 3 for j.
0
Suppose -7*i + 186 - 74 = 0. Suppose i*u = 15*u + 19. Solve -2*q = 8, 5*j - 4*q - 2 - u = 0 for j.
1
Let f(r) = -r**2 - 10*r. Let y be f(-9). Solve 6*a = 2*a - 12, -3*g + a = y for g.
-4
Let b be 1/6 - (-5)/(-30). Suppose 2*n + b*n = 20. Solve -2*a + 2*m + m - 11 = 0, -n = 3*a + 2*m for a.
-4
Suppose 0 = -4*o - o. Suppose s - 5*s - w + 1 = o, -s - 3*w - 8 = 0. Solve 29 = 5*v + x + 2*x, -4*v = -5*x - s for v.
4
Let h = 26 + -23. Suppose 0 = -h*r + 22 - 10. Solve 3*j - 17 = -2*m, r + 20 = -m + 5*j for m.
1
Let c be 32 - -1 - (0 + 1). Let m be (-3 - -6) + -2 + 5. Let b = -3 + m. Solve -b*s + 2*k = 20, -3*s = -k - 4*k + c for s.
-4
Let s(t) = 2*t - 15. Suppose 0 = -l - 3 + 13. Let y be s(l). Solve 3*i + 4*k = -25, -12 = y*i - k - 1 for i.
-3
Let s = 2 - -2. Suppose -6*z = -3*z + 2*g - 26, -3*z + 6 = -3*g. Solve 0 = q - 3*t - 2, -z = -s*t - 2 for q.
5
Suppose -7*u + 3*u = -2*n + 10, -3*n - 4*u + 15 = 0. Solve -5*o = -5*y + 45, 0 = -3*o + 7*o - n*y + 41 for o.
-4
Let m be ((-10)/(-6))/(1/3). Let r = m + -3. Solve -4*g = 5*x - r*g + 11, 9 = -3*g for x.
-1
Let d = -72 - -76. Solve -x + 2 = q - 2, d*x = 4*q - 8 for x.
1
Let t be 2/(7/(-5) + 1). Let s = 5 + t. Suppose 2*o - 9 = -d, -o - 4*o - 3*d = -22. Solve -2*j + 4*k - 12 = s, 9 + 3 = -o*j + k for j.
-2
Let b = 112 + -110. Solve 13 = 2*h - 5*s, -b*s - 10 = h + s for h.
-1
Let b = -17 + 27. Solve -4*d + b = v, -4*v - 14 = d - 3*d for v.
-2
Suppose 7*u + 10 = 3*r + 2*u, u = 5*r - 24. Suppose r*g + 3 = 8. Solve 2*f + 8 = -5*h - g, h + f = 0 for h.
-3
Suppose 7*p + 5*m = 2*p + 130, 5*m = 0. Solve 3*n - 5 = -4*k + 2, -2*n = -5*k + p for k.
4
Let p(f) = -3*f**3 - f**2 - f. Let q be p(-1). Solve -2*m + q*y = y + 12, -2*m = 3*y + 7 for m.
-5
Suppose 0 = -0*z + z - 2. Suppose t - 2*t + z = 0. Suppose -w = 5*v + 10, -2*w - w - t*v - 4 = 0. Solve -5*l + 15 = w, -2*l + 13 = -5*j - 6*l for j.
-5
Let w = -25 + 27. Solve 0 = n + 2*a - a + w, -3 = a for n.
1
Let w(k) = k**2 - 2*k - 1. Let o = -2 + -1. Let y be w(o). Let t = y - 9. Solve 0 = h + t*z + 12, h - 5*z - 24 = -2*h for h.
3
Let u be (3 + -1)*(18 - 12). Suppose 0 = k + k - 4. Solve -k*f = -c - 6*f + 17, 4*f = u for c.
5
Let f = 11 + 3. Suppose -b - f = -4*k, -b - 3 = -2*k + 3. Solve 15 = 4*d - 5*u, -b*d - 2*d + 25 = 5*u for d.
5
Suppose 4*q + v - 5 = 0, -q - 3*q - 2*v + 10 = 0. Solve q*r - 10 = 3*r - 4*b, -2*b = 2*r + 2 for r.
-2
Let n = -21 - -38. Let j = n - 12. Solve 4*y - 5*u = -37 + j, -8 = 4*y + u for y.
-3
Let r(v) be the first derivative of v**4/4 - 8*v**3/3 + 3*v**2 + 10*v + 3. Let n be r(7). Solve 5*b + 17 = -0*u + u, 0 = n*u - 5*b - 21 for u.
2
Suppose 0*h - 3*p + 25 = h, -2*h + 38 = 3*p. Suppose 2*x + 3 + 5 = w, -5*x - h = w. Solve -3*i + 2*b + 15 = 0, -3*i + w*b + b = -18 for i.
3
Let r(b) = b + 7. Let f be r(-7). Suppose 0 = -2*k - f*k + 26. Solve -n + 5*t = -k, 0 = -4*n + n - 3*t + 3 for n.
3
Suppose -4*n + 0 = -4. Let t be n/((-3)/9) - -11. Solve -j - 2*b - 23 = 3*b, 0 = -2*b - t for j.
-3
Let j be (-3)/6*-2 + 4. Suppose 19 = 5*p - 3*n, -2*n - 3 = -j*p + 18. Suppose 59 = 4*a - 5*x, 0 = -2*x + x + p. Solve 4*i - 2*o - a = -i, 17 = 5*i - 4*o for i.
5
Let z(o) = 4*o**3 + o**2 - 2*o + 1. Suppose 1 = -4*v + 5. Let f be z(v). Solve 4*k + 18 = f*t + 2, 1 = -t for k.
-5
Let l(u) = 3*u - 19. Let q be l(8). Solve -3*o + q*s = 1 - 9, 2*o - 8 = 4*s for o.
-4
Suppose 5*o - o - 60 = 0. Suppose -2*j + 0 = -4. Let f(u) = -u**3 - 4*u**2 - 2*u - 5. Let y be f(-4). Solve -j*v = 2*p, -y*p = -v - v - o for p.
3
Let j = 9 + -3. Solve 2*o = 4*n + 12 + j, 0 = -5*o + 3*n + 17 for o.
1
Let k(i) = -i**2 + 13*i + 6. Suppose -5*a + 51 = 1. Let t be k(a). Let n = 8 + -6. Solve -b = -4*d + 4*b - t, n*d - 3*b = -20 for d.
-4
Let u be -3*(1 + 12/9). Let s = 12 + u. Let x be ((-32)/20)/((-2)/s). Solve 25 = -5*o, 11 = -5*t - o - x for t.
-2
Let s(y) = -y**3 - 9*y**2 - 4*y + 9. Let v be s(-9). Solve 3*a + v = 5*m - a, 0 = -3*m - 3*a for m.
5
Let c = -6 + 9. Let i = c + -6. Let r be 1/i - (-39)/9. Solve -5*t + 33 = 2*l, -r*l + 11 = 4*t - 25 for l.
4
Suppose -6 = -2*p - 3*p - d, 2*p + 8 = -3*d. Let w(m) = -3*m + 34. Let l be w(8). Solve 0 - l = 5*v, -p*a = -2*v - 2 for a.
-1
Let q(x) = x + 11. Let i be q(-7). Suppose 4*l + 2*w + 13 = 43, 3*w = 9. Let g be 1*l + (-2)/1. Solve i*c - g = 0, 6*c = -5*b + c for b.
-1
Let k be (4/1)/((-8)/(-4)). Solve r + 3 = -u - 