a - k + 3. Suppose p = -a*p. Let l be g(p). Solve 0 - l = -z for z.
2
Let f(d) = -d**3 + 11*d**2 - 10*d + 2. Let x be f(10). Let u be 2 + (-4)/(-2*1). Suppose -u*t = -3*t - x. Solve t*w = -2*w - 12 for w.
-3
Suppose -3*p - 11 = 3*f + 1, -8 = 2*p + 3*f. Let r be -4*p/8*2. Solve r = -u + 2 for u.
-2
Suppose -62*k = -64*k + 4. Solve 4 = 2*n + k*n for n.
1
Suppose 2*l = -0*l + 28. Suppose -8 = 3*s - 5*s - 2*m, -3*s = m - l. Solve 0 = -s*d - 24 + 4 for d.
-4
Let b be 2/(-12) - (-26)/12. Suppose b*u = 3*u - 3. Solve 0 = -u*x - x + 20 for x.
5
Suppose s + 5 = 4*z + 27, -2*s + 2*z = -14. Suppose 0*a - 10 = -5*a. Solve 0 = -a*d + d + s for d.
2
Suppose -m + 8 = 1. Suppose r + m = 3*j - 4*r, -6 = 3*r. Let l be (j - -1) + (-4)/(-2). Solve l*x = x for x.
0
Let b = 12 - 7. Suppose -2*r + 2*v = v + 5, b = 5*v. Let k be (-8)/r + 0 + 1. Solve -15 = -k*m + 10 for m.
5
Let p(a) = -14*a**3 - a**2 + a + 1. Let k be p(-1). Let h = k - 7. Solve -h*s = -s + 5 for s.
-1
Let m be (7 + -5)*4 - -3. Solve -14 = -5*x + m for x.
5
Let h = 15 - 6. Solve -3*p = -0*p + h for p.
-3
Suppose 0*f - m + 11 = -2*f, -m = 4*f + 13. Let g be f/(-10) - 4/10. Solve 3*l + 3 = -g for l.
-1
Let s(u) = -u**3 + 6*u**2 + 8*u - 3. Let d be s(7). Let b(n) = -2*n - 34. Let g be b(-18). Solve -6 = g*h + d for h.
-5
Let r = -4 - -6. Suppose 4*c - 28 = -2*m, 0 = 3*c + r*m - m - 19. Solve 15 = 2*n - c*n for n.
-5
Suppose -2*n + 8*l - 4*l + 20 = 0, -2*n = 2*l + 10. Solve n = -4*b + 6*b for b.
0
Let p be ((-10)/(-5))/((-1)/(-2)). Solve 4 = p*f - 16 for f.
5
Let z be (4 + (2 - 5))*-7*-1. Solve -3*d + z = -5 for d.
4
Let x(o) = 5*o - 15. Let u be x(4). Solve 2*p = u*p - 3 for p.
1
Let c(u) = 2*u + 2. Let q be c(2). Let o be (q/(-5))/((-12)/40). Let f(v) = v**2 - 3*v - 2. Let z be f(4). Solve -z = 3*h + o for h.
-2
Suppose 4*b = 3*r - 25, -2*r = b - 4*b - 18. Solve r*v + 2*v - 5 = 0 for v.
1
Let q(y) = -y - 17. Let h be q(-17). Solve h = -0*m - 2*m + 6 for m.
3
Suppose -7*d + 2*d = -100. Solve 0 = -6*x + 2*x - d for x.
-5
Let g(f) = 8*f**3 + f - 2. Let h be g(1). Suppose 6*a = h*a. Solve 0 = -2*j - a - 4 for j.
-2
Let x be -3*10/5*(-3)/6. Solve s - 4*s - x = 0 for s.
-1
Let w(a) = a**2 + 3*a + 5. Let f be w(-2). Suppose -3*r - 7 = -55. Suppose -f*v = v - r. Solve 11 = v*p - 5 for p.
4
Let b = 4 - 2. Suppose b*w + 3 = 3*w, 0 = -4*a - 4*w + 20. Solve 0 = g + a*g + 6 for g.
-2
Let v = 19 - 11. Let q(n) = -n**3 - 5*n**2 + 8*n + 8. Let y be q(-6). Let z = v + y. Solve -z*b = b - 15 for b.
3
Suppose 0 = -5*p + 4 + 11. Solve p*f = -9 - 3 for f.
-4
Suppose 4*m + 0*m = 76. Let d = m - 15. Solve -2 = -2*q + d for q.
3
Suppose -h - 74 - 114 = 3*r, -h - 316 = 5*r. Let m = r + 89. Suppose 0 = -4*k + l - 6*l - m, -5*l - 25 = -3*k. Solve 2*v = -k*v for v.
0
Suppose -4*z + 12 = -z. Suppose -2*x = b + 1, -4*x + x - z = 2*b. Solve 0 = -g - x*g + 12 for g.
4
Let t(h) be the third derivative of -h**6/120 - h**5/12 - h**4/8 + 2*h**3/3 - h**2. Let y be t(-4). Solve -b = -y*b - 4 for b.
4
Suppose -6 = -4*y + 6. Solve s = -y - 2 for s.
-5
Suppose 64*z = 59*z. Solve -l + 0*l = z for l.
0
Let s(o) = o**2 - 2. Let p be s(2). Solve 3 = -5*f - p for f.
-1
Suppose 0 = -0*d - 2*d + 8. Solve -3*c - 2 = d for c.
-2
Suppose -44 = -q + 4*a, 0*a + 4*a - 28 = -2*q. Suppose 6*m + q = 2*m. Let h be m/(-4) - 6/(-12). Solve h = -2*k - 2 for k.
-2
Suppose 13*t = 15*t. Solve t = -4*v - 0*v - 8 for v.
-2
Let w be (8/12)/(6/99). Solve w + 1 = 3*g for g.
4
Let x(z) = z**2 - 2*z. Let g be x(0). Solve 0 = 2*h - g*h for h.
0
Let i(b) = -b**3 + 8*b + 2. Let l be i(-3). Solve -4*u + 17 = l for u.
3
Let t be (-4 + (-84)/(-16))*-4. Let m(a) be the first derivative of -a**4/4 - 5*a**3/3 - a**2/2 + a + 1. Let y be m(t). Solve y*u - u = 10 for u.
2
Let t = 8 - 6. Let c be ((-21)/(-14))/(1/t). Solve c*l - 15 + 6 = 0 for l.
3
Let s(l) = 49*l - 6. Let c(j) = -16*j + 2. Let v(r) = -7*c(r) - 2*s(r). Let n be v(1). Solve 0 = q + 2*q + n for q.
-4
Let u be 137/9 + (-6)/27. Suppose i - 4*i - 2*z + 4 = 0, 5*i - 6 = -3*z. Let a = -4 + 7. Solve -a*d = -i*d + u for d.
-5
Let i(k) = 1 - 2 - 5 - 2*k. Let p be i(-6). Suppose -p*y = -3*y. Solve 3*a + a - 4 = y for a.
1
Let n(o) = -o**2 - 10*o + 11. Let a be n(-10). Suppose 5*c = -l - 0*l + a, 0 = -3*c - 4*l - 7. Let f(r) = -2*r + 2. Let x be f(-2). Solve q = c*q - x for q.
3
Suppose 0*l = l. Suppose -4*k = 4*b - 28, 0*b + 4*k = 4*b - 12. Solve -b = c - l*c for c.
-5
Suppose 0 = 3*r - 4*n - 1 - 4, 5*n = -2*r + 11. Let y be 2/5*(7 + -2). Solve r*h + 8 = y for h.
-2
Let u(f) = 2*f - 1. Let l be u(3). Let c = l + 0. Suppose -3 + c = 2*p. Solve 3 + p = -4*v for v.
-1
Let q(b) = -b**3 - b**2 - 15. Let g be q(0). Let o be (8/(-12))/(2/g). Suppose -f + 4*v + 21 = 0, -o = 4*v + 11. Solve -f = -h + 6*h for h.
-1
Suppose 4 = 11*m - 10*m. Let s = -3 + 9. Let z = s + -3. Solve 3*n = m*n + z for n.
-3
Suppose 10 + 6 = -p - 4*m, -16 = 3*p + 4*m. Let o(l) = l**3 - 5*l**2 - 43*l + 226. Let s be o(6). Let i = 7 + -4. Solve p = -i*y + s*y for y.
0
Let f = 4 + -8. Let n = 6 + f. Solve z - n = -3 for z.
-1
Let o = 85 - 83. Solve o*b + 8 = 2 for b.
-3
Let n be 3*-1*(-15 - -14). Solve -n = 3*z + 6 for z.
-3
Suppose -8*z = -3*z - 15. Solve z*j = -j + 4 for j.
1
Suppose 6*k - 8 = 2*k. Solve -1 = k*f - 7 for f.
3
Let s = -15 + 9. Let h(t) = -t**3 - 7*t**2 - 7*t - 4. Let g be h(s). Let x be 6/8 + (-3)/(-12). Solve -3*q = x + g for q.
-1
Suppose -2*k = -0*k - 22. Suppose 5*y = -1 + k. Let d = y + -2. Solve d = 5*t + 27 - 7 for t.
-4
Let v(b) = 3*b. Let p = 5 + -4. Let q be v(p). Solve -2*k - q*k + 5 = 0 for k.
1
Let g(j) = -2*j + 3. Let h be g(2). Let i be 2 - (h + 2 + -3). Let m = i + -4. Solve m*w = -2*w for w.
0
Let m be 8 + (0 + -1 - 1). Suppose -2 = 4*c + m. Let n be 204/10 + c/5. Solve 4*b - 4 = -n for b.
-4
Let l = 47 - 41. Solve 3*f - l = -0*f for f.
2
Let k(y) = -y**3 + 6*y**2 + 8*y - 5. Let n be k(7). Suppose -2 = n*g - 2*s, 0 = -g - 3*g + 2*s + 4. Let i be g + 0 - (4 - 1). Solve i = 4*z - 12 - 4 for z.
4
Suppose -2*x + 1 = -9. Solve -4*s + 9*s = x for s.
1
Suppose 3*u + 2*u - 25 = 4*q, -4*u = -3*q - 21. Solve u = -3*g - 6 for g.
-5
Let r = 31 + -20. Solve -4*f = -r - 1 for f.
3
Let t(f) = -f**3 + 3*f**2 + f - 2. Let x be t(3). Let b = 11 + -8. Suppose 5*y + 2 = -5*i - b, 2*y + 2 = -4*i. Solve i = 4*a + 13 - x for a.
-3
Let f be (9/(-15))/((-2)/10). Let t be -15*(12/(-5) + 2). Suppose 2*g + g = t. Solve -f*d + g = 8 for d.
-2
Let h(i) = -2*i - 5. Suppose 3*c - 3*f + 2 = 2*f, 4*c - f + 14 = 0. Let r be h(c). Solve -r*n - 4 = -n for n.
-2
Suppose i = 2*p + 23, -i - 4*p = i - 14. Suppose -2*o + 2*x + 6 = 0, 14 = 3*o + 2*x - 0. Suppose -o*a - a = -i. Solve -a = 3*n - 2*n for n.
-3
Suppose 5*r - 4*r + 4*x - 11 = 0, 0 = 5*r - 2*x - 77. Solve -s - 2*s - r = 0 for s.
-5
Let d(z) = 3*z + 3. Let s be d(-3). Let b = 8 + s. Solve b*m = 3 + 7 for m.
5
Let u = 10 + -8. Solve -7*b = -u*b for b.
0
Suppose 3*z = 5*d - 17, 7*d - 4*d + z - 13 = 0. Let q(i) = 3*i**3 - i**2 - 2*i + 2. Let u be q(1). Suppose -u*n + d = -0. Solve -2*f = n*f + 20 for f.
-5
Suppose -2 = 4*c + 2, 19 = 3*i - 4*c. Suppose i = a - u - 2*u, 0 = -2*a + 3*u + 1. Let v be (a/(-1) - 2) + 0. Solve -v*w - 3*w = -25 for w.
5
Suppose -14 = -5*z + 3*d, -3*d = -2*z - 2 + 4. Solve z*u + u - 15 = 0 for u.
3
Let k = -4 - -8. Solve 6*s - k*s = -10 for s.
-5
Let a = -115 + 115. Suppose -4 = 2*x - 4*q, -16 = -2*x - 2*x - 4*q. Suppose -2*l - 4 = -4*g, -4*g = -2*g - 6. Solve a*p - l = x*p for p.
-2
Let i = 44 + -38. Solve -i = -3*f + f for f.
3
Let d be 147/105 + 4/(-10). Solve -5 = -2*y - d for y.
2
Let o(a) = -a - 2. Let i be o(-4). Suppose -2*p + 3 = -5. Suppose -u - 4*h + 16 = 0, -u + p = -3*h + 2. Solve 0*w = i*w - u for w.
4
Let a(k) = k**2 - 9*k + 9. Let n be a(7). Let v = n - -8. Solve v = -3*i - 0 for i.
-1
Let f(r) = r - 2. Let b be f(6). Suppose 0 = -5*m + 74 + 26. Let g be m/(-12)*(-18)/5. Solve -g*u + b*u = -8 for u.
4
Suppose -4*r + 0*r = 8. Let u be (3 + -9 + 0)/r. Let i be (1 - -1) + -1 + -1. Solve -3*n + i + u = 0 for n.
1
Let v(h) = h - 6. Let z be v(6). Solve z*k + 2*k + 10 = 0 for k.
-5
Suppose q - 36 = -2*q. Solve 5*n + 13 = -q for n.
-5
Let j be 2 + -1 - 4 - -13. Solve 10 = -5*g - j for g.
-4
Suppose 0 = -w + 3 - 11. Suppose -4*j = 7 + 9. Let p be w*(-2 - 6/j). Solve -p*v + 3 = -