 = -2*m - m + 2*y - 21, -3*m + 5*y = 21. Let r be ((-42)/(-49))/((-1)/m). Solve -r*k + 25 = -k for k.
5
Let z(x) = 2*x - 20. Let l be z(12). Solve -29 + 9 = -l*c for c.
5
Let u(k) be the second derivative of k**4/12 - 5*k**3/6 + 3*k**2/2 + 2*k. Let v be u(5). Suppose -2*m - 5 = -v*m. Solve h + m = -0*h for h.
-5
Let k(z) = 9*z - 14. Let r be k(2). Solve 35 = r*m + 15 for m.
5
Let r = -71 - -73. Solve -1 + 9 = -r*s for s.
-4
Let r be (-2)/(-3) + (-4)/(-3). Suppose -f + 10 = -r*a, 5*f - 4*a = 46 - 2. Solve -c - f = c for c.
-4
Let b(w) = -w**2 - w + 3. Let l be b(0). Suppose -2*q = 3*h + 2, 5*q + 6*h = h. Suppose -q*j = -j - l. Solve 0*z - j = 3*z for z.
-1
Let j(g) = g**3 - 3*g - 2. Let f be j(-2). Let i = 5 + f. Solve 2*q + i = 3*q for q.
1
Let v(r) = r**3 + 6*r**2 - 2*r - 9. Let j be v(-6). Suppose -j*k = 3*n - 12, -2*k - k = 2*n - 10. Solve n*f - f = -1 for f.
-1
Let m = -20 + 36. Suppose -3*q + 8 = -5*u - 17, 2*u - m = -4*q. Let n = 74 - 61. Solve -q + n = -2*f for f.
-4
Let c be (-1 + 1)*2*(-2)/(-4). Solve -2 = -x - c for x.
2
Let l be 6/33 - (-2)/(-11). Solve l*r = -5*r + 5 for r.
1
Let q(m) = -m**3 + 6*m**2 + 7*m + 5. Let h be q(7). Solve -h*s + 2*s = 15 for s.
-5
Let l(c) = -2*c. Let w be l(-1). Suppose 3*u = 15*m - 11*m - 18, -5*m + 9 = 3*u. Solve 1 + m = -w*y for y.
-2
Let o(d) = -d**2 - 6*d - 5. Let i be o(-4). Suppose i*r = z + 6, -z + 2*r - 18 = -5*z. Suppose z*h = -h. Solve h = y - 1 for y.
1
Let s(b) = b - 3. Let x be s(11). Suppose 3*t + 60 = x*t. Solve -k - t = 3*k for k.
-3
Let b(o) = 11*o + 6. Let l(c) = 4*c + 2. Let n(i) = -6*b(i) + 17*l(i). Let d be n(2). Solve 0 = d*j - 0 + 2 for j.
-1
Let o be (-44)/(-6) + 4/(-12). Let i(k) = k**2 - 7*k + 5. Let y be i(o). Solve 3*s - y*s - 2 = 0 for s.
-1
Suppose 4*o + 3*h - 17 = 0, -3 = 3*o - 4*h - 22. Solve m = o*m + 16 for m.
-4
Let q(n) = -n**2 + 4*n**3 + n**3 + n + 2*n**3. Let z be q(1). Solve 0 = m - z + 2 for m.
5
Let n = -10 - -17. Let c(p) = -p + 8. Let b be c(n). Solve -2*o - b - 5 = 0 for o.
-3
Let s = 5 + -9. Let k be (s - 2)*(-2)/6. Solve -p = -0 + k for p.
-2
Suppose 4*h = 4*d - 72, -2*d + 3*h - 2 = -3*d. Let z = 5 - 0. Solve -6 = -z*p + d for p.
4
Let u = -12 - -16. Suppose o - 20 = 4*o + 5*h, h = -4*o - u. Solve o*f + 2*f - 4 = 0 for f.
2
Suppose -3*p = -4*a - 2, -2*a = p - 3 - 1. Solve p*k + k - 6 = 0 for k.
2
Let m(x) = 2*x**2 - 2*x. Let r be m(2). Let b(c) = -c**2 + 6*c - 2. Let w be b(5). Suppose -w*i + 5*i = 0. Solve i = -h - r*h for h.
0
Let t be ((-1)/(1/(-4)))/1. Suppose 3*d - t = d. Suppose -4*c + c = -45. Solve -d*m = -5*m + c for m.
5
Let u(p) = p**3 - 3*p + 2. Let q be u(-2). Let o = -1 + 1. Solve q = -3*k + 12 - o for k.
4
Let r(u) = -u**2 - 9*u + 4. Let n be r(-10). Let q = 9 + n. Solve 16 = a + q*a for a.
4
Let j = -13 - -9. Let o = 2 + j. Let v = -1 - o. Solve 4*k = v + 7 for k.
2
Let y(z) be the second derivative of z**3/3 - 2*z. Let c be y(2). Suppose 5*t - 3*m - 12 = 2*t, 0 = -3*t - m - c. Solve t = g - 4 for g.
4
Let d(y) = -y - 1. Let x(z) = z**2 - 9*z + 8. Let h(a) = -2*d(a) + x(a). Let p be h(6). Solve 5 = p*k - 5*k for k.
-5
Let n be (13/(-4) - -2)/((-10)/40). Solve -2*u + n = -u for u.
5
Suppose -4*z = z. Solve 0 = -4*h - z*h + 12 for h.
3
Suppose -16*a = -20*a + 12. Solve -a*b + 3 = -0*b for b.
1
Suppose 2*u = -2*u. Suppose -10 = 5*x + 5*y, u = 2*x - 7*x - 4*y - 5. Suppose 0 = -b - x*b + 16. Solve -3*v + v = -b for v.
2
Suppose 3 = 2*z - z. Suppose d = -z*t + 3*d + 217, t + 3*d = 54. Suppose 2*x - t = 5*h, 4*h + 130 = 5*x - 0*h. Solve 3 = 5*n - x for n.
5
Suppose c - 5*h = 18 - 4, 0 = 2*c + h - 6. Solve -p = c*p + 15 for p.
-3
Let p = 19 + -10. Let t = 3 + -1. Suppose -5 = -5*r + w, -r - t = w - p. Solve -6*k + r*k = 0 for k.
0
Let n = 5 + -1. Let p be n/(-3)*(-135)/18. Suppose -3*j - w + 18 = 7, 0 = -4*j + w + p. Solve 0*y = -y + j for y.
3
Suppose 3*l - 2 = -2. Suppose 20 = 3*t + 2*t. Let b = t + l. Solve u + b = 5 for u.
1
Let b(p) = p**2 - p. Let s be b(2). Let w = -572 - -578. Solve -w + 14 = s*g for g.
4
Let j be 3/15 - (-9)/5. Solve -j*o = o - 15 for o.
5
Let a(l) = 3*l**2 - 6*l - 6. Let i be a(5). Let z = i + -23. Suppose 0*b = 4*b - z. Solve -8 = -3*g + b for g.
4
Suppose 2*a - 2*k = -6, -5*k + 15 = a + a. Suppose 3*j - 2*q = 3*q + 1, 2*q - 6 = -2*j. Solve a = j*x - 5*x - 3 for x.
-1
Suppose 4 = 3*j - 5. Let z = j + -1. Solve -2*n = -n + z for n.
-2
Let d(l) = -l - 6. Let w be d(-9). Solve -2*f = -w*f for f.
0
Suppose 2*p = -3*a - 2 + 7, 5*p = -3*a + 17. Suppose 3*v + 3 + 0 = 0, p*q + v = 63. Solve -1 + q = -3*l for l.
-5
Suppose -8*r = -10*r. Solve n = -r*n for n.
0
Let i = 18 + -14. Solve 0*o + i = -2*o for o.
-2
Let k(w) = w**2 + 9*w + 5. Let l be k(-9). Suppose 0 = 5*u - 5, 3*d - 3*u + 8*u = l. Solve 0 = -d*h - h + 2 for h.
2
Suppose 4*a + 22 = 3*h, a - 2*a = h + 2. Solve i + h + 1 = 0 for i.
-3
Suppose 0 = 3*z - 3*h - 9, 2*z - 3*z = 2*h - 12. Let y = -4 + z. Solve 0 = -0*v - y*v + 2 for v.
1
Let o be (1 - (3 + -3)) + 3 + -2. Solve -b - o*b - 15 = 0 for b.
-5
Let q(v) = 7*v - 10*v - 10*v + 12 - 13. Let c be q(-1). Solve d = 4*d - c for d.
4
Let z(n) = n**3 - 4*n**2 + 5. Let j be z(4). Let a = j + 0. Let m = 3 + 2. Solve a = 2*h - m for h.
5
Let o(r) = -r**2 + 8*r - 7. Let t be o(6). Solve t*a = 7 - 2 for a.
1
Let z = 7 - 7. Let w = 2 + z. Solve -w*x = -x for x.
0
Let z = 2 - -19. Suppose -16 = -5*d + 3*t + 7, 4*d - 5*t = z. Suppose 25 = v - d*l, 0*l = -5*l - 25. Solve -4*a + 13 = v for a.
2
Let b(f) = -3*f. Let u be b(-4). Let m(z) = z**3 + 9*z**2 + 9*z + 11. Let h be m(-8). Solve h*p - u = -p for p.
3
Let x be 149/(-5) - (-11)/(-55). Let l be (-2)/10 + (-366)/x. Solve -l = -3*i - 0*i for i.
4
Suppose 9*u = 2*p + 4*u - 24, 2*p + 3*u - 8 = 0. Suppose -10*h + 22 = -18. Solve h*s + p = -13 for s.
-5
Suppose 2*c = -3*p, c + 2 = -2*p + 3. Let t be (-2)/3 - 4/(-6). Let h be t*(0 + (-1)/(-2)). Solve h = -p*j + 1 - 3 for j.
-1
Let d(w) = 3*w - 11. Let h be -4*((3 - 8) + 3). Let v be d(h). Solve 4*c + v + 3 = 0 for c.
-4
Let p(m) = -m**2 - 6*m + 10. Let u be p(-7). Solve w - u*w = 0 for w.
0
Let k be ((-8)/(-12))/(4/18). Suppose 2*v = 6*v. Solve -j - k*j + 4 = v for j.
1
Let h = 12 + -9. Solve -h*l - l = -20 for l.
5
Suppose 0 = -5*c - 1 - 4, 5*c + 13 = 4*f. Suppose -w - f*h + 36 = -6*h, -5*w - 2*h = -70. Suppose -2*v + 5 = 3*v. Solve w = 3*r + v for r.
5
Let n(x) = x**2 - 3*x - 4. Let b be n(4). Suppose d - 2*c - 3*c - 20 = b, 2*c = -5*d - 8. Solve k + d*k = 1 for k.
1
Let m(v) = -3*v - 30. Let p be m(-11). Solve p*i - 15 = -6 for i.
3
Let s = 51 - 47. Solve 2 = 2*o - s for o.
3
Let d = -77 + 79. Solve -d - 3 = -k for k.
5
Let d be 2 + -4 - (-2 + -3). Suppose -4*a + 4 = 2*c, 4*c + 0*a = 5*a + 34. Solve -5*y + d*y = c for y.
-3
Let j(m) = m**3 - 6*m**2 - 5*m - 4. Let z be j(7). Solve -z = -c + 3*c for c.
-5
Let h = -76 + 54. Let s be 4/h - 52/(-44). Solve j + 0 = s for j.
1
Let d be (3/2)/((-2)/(-4)). Suppose -d*f = f, -3*x + 3 = 2*f. Let v be (-8)/(-60)*5 - 10/15. Solve v*z - z = -x for z.
1
Let b(l) = -17*l - 3*l**2 + 0*l + 5*l**2 + 1 + 11. Let d be b(8). Solve -s - 2 = -d for s.
2
Let v = 20 - 18. Solve v - 5 = f for f.
-3
Let r = -2 + 2. Suppose -3*o + 11 - 2 = r. Let z be -2 - 0 - 8/(-2). Solve z*i + o = 1 for i.
-1
Let v(n) = -2*n - 10. Let j be v(-10). Suppose -5*r - j = -85. Let d = 5 + -5. Solve 0 = -3*p - d*p + r for p.
5
Suppose 5*w - 2*g = -25, 0*w - 5 = w - 5*g. Let s = 0 + w. Let z = -3 - s. Solve -4*d - z = 6 for d.
-2
Let k be (-69)/(-15) + (-4)/(-10). Let j = 39 - 19. Suppose -k*f + 1 = -2*d - 24, 4*f = j. Solve 4*m - 12 + 0 = d for m.
3
Let t(q) = -q + 9. Let c be t(9). Suppose k - d - 3*d - 11 = c, 0 = 4*d + 8. Solve -3*a - k - 3 = 0 for a.
-2
Suppose 0*d = 4*d - 16. Suppose -v = -3*t - 0*v - 1, -5*v + 5 = 4*t. Suppose d + t = 2*y. Solve -q = y*q + 12 for q.
-4
Let k be ((-4)/(-26) - 63/156)*0. Solve -2*q + 0*q - 2 = k for q.
-1
Suppose -6*f - s = -f - 15, 4*s + 28 = 2*f. Solve -3 = f*v + 13 for v.
-4
Let j(u) = -3*u + 2. Let f be j(-2). Let m(v) = v - 1. Let d be m(-4). Let n(y) = -y**3 - 6*y**2 - 4*y + 7. Let z be n(d). Solve -z*r - f = -4*r for r.
4
Let f = 16 + -14. Suppose 20 = j + j + 2*i, f*i = -3*j + 25. Solve -b - 4*b = j for b.
-1
Suppose -19 = -3*t - a, -3*t - 2*a = -4*t - 3. Solve 0*l - t = -l for l.
5
Let 