k - 4 = -m*k for k.
2
Suppose 4*o + 3*i + i + 92 = 0, i + 95 = -4*o. Let l = -20 - o. Solve l*n + n = -5 for n.
-1
Let h = 4 - 9. Let j(y) = -y - 5. Let p be j(h). Solve 3*r - 2*r = p for r.
0
Suppose 2*f + 9 = 3*t - 9, 0 = -3*t - 5*f - 3. Solve 2*x - t = -2 for x.
1
Let d(n) = 2*n. Let t be d(2). Let m(q) = 2*q - 3. Let a be m(t). Solve 3*p + a - 14 = 0 for p.
3
Let b(o) = o**3 - 3*o**2 - 2*o - 5. Let c be b(4). Solve -7*k - 4 = -c*k for k.
-1
Suppose a - 11 = 4*n, -2*a - 2*a + 3*n + 18 = 0. Solve a*q + 1 = -8 for q.
-3
Let w = -9 + 14. Let v = w + -1. Let b be (-6)/(-21) + (-40)/(-7). Solve v*f - 4 = b*f for f.
-2
Suppose -3*c = -4 - 5. Suppose -j + c = 3*m - m, 0 = 2*j + 10. Solve i - 10 = -m*i for i.
2
Suppose m + m + 24 = -2*z, 29 = -2*m - 3*z. Let r = m - -14. Solve -x - r = -2 for x.
-5
Let f be 26/5 - (-11)/(-55). Suppose 8*m = 3*m + 80. Solve m = -o + f*o for o.
4
Let v(o) = 1 + 0*o + 12 - o. Let i be 6/(-9) + (-64)/(-6). Let a be v(i). Solve 0 = -a*n + 6 for n.
2
Suppose -4*a = 3*w - 7, 19 = 5*w + a + 2*a. Solve -w*s + 4 = -6 for s.
2
Suppose 5*s - 14 = -5*j + 16, 0 = 2*s + 3*j - 16. Let n be (-74)/(-3) - s/(-6). Suppose -n = -3*a + 20. Solve 0 = -2*i - i + a for i.
5
Let d = 5 - 9. Let m = 9 + d. Suppose 4*i = -3*h + 2*h + m, -5*h = 15. Solve 3*z = -i + 8 for z.
2
Let u be 3/((-6)/4) - -4. Let b(t) = -t**2 + 10*t - 3. Let n(m) = -2*m**2 + 19*m - 6. Let q(h) = 11*b(h) - 6*n(h). Let j be q(3). Solve -u*d + j*d = -8 for d.
4
Let y(p) = -p**3 - 8*p**2 + 8*p - 10. Let l be y(-9). Let c be 4 + l + -3 - 0. Solve 2*f + 3*f = c for f.
0
Let b be (-5 + 3 - 9)*-2. Let q = b - 20. Suppose 15 = 5*w - j, 2*w + 3*j - 2*j = 13. Solve -w = -2*p - q for p.
1
Let g = 25 + -25. Suppose -2*i + 1 = -9. Solve i*n = -g*n - 20 for n.
-4
Let v be (6/21 + 0)/((-4)/(-28)). Solve -u + 6 = v*u for u.
2
Suppose 0*r = -2*r. Suppose -s = 3*s. Let g = s - -1. Solve r*j = j + g for j.
-1
Let z(w) = 2*w - 6. Let x = -2 - -8. Let g be z(x). Solve -c - c = -g for c.
3
Let z = 3 - 2. Let k(o) = 5*o**3 - 2*o + 1. Let d be k(z). Let s be -2 + d + 0 + 0. Solve b - 5 = s*b for b.
-5
Let l = -2 - -4. Let z = 4 + -2. Let w be 95/15 + z/(-6). Solve 0*g - l*g = w for g.
-3
Let h(k) = k**3 + 9*k**2 + 8*k + 8. Let u be h(-8). Solve 4*r + 8 = -u for r.
-4
Suppose 3*a + 0*a - 2*h - 11 = 0, -5*a - 3*h + 12 = 0. Solve a*z - 2 = z for z.
1
Let r(i) = -i**3 - 3*i**2 - i. Let t be r(-3). Suppose h - 11 = -3*d - 0*d, 3*h = -t*d + 21. Suppose -d = -j - 0. Solve g - 9 = -j*g for g.
3
Let f be (-4)/10 - 48/(-20). Solve -n + f*n = 1 for n.
1
Suppose 9*t - 4*t - 30 = 0. Solve 0 = -j + t*j for j.
0
Let l = 8 + -8. Solve l*w = w + 5 for w.
-5
Suppose 0 = -3*v - 4*r - 4, v + 4*r + 17 = 5. Let h be (-38)/(-9) + v/(-18). Solve -5 = -h*a - 1 for a.
1
Suppose 0 = -8*w + 6*w + 6. Suppose -l + 2*f = 3, l - 4*l = w*f - 9. Solve z + 4 = l for z.
-3
Suppose -4*m = -5*b - 0 + 23, 0 = 5*b + 5*m - 5. Let i be 11 - (-1 + 2 - -3). Solve 2*g = -b + i for g.
2
Suppose -23*s = -13*s. Let v = -2 + 4. Solve s = -0*l + l - v for l.
2
Suppose -5*a + 0 = -25. Let m = a - 1. Solve m*q = -q - 25 for q.
-5
Let c(x) = x**2 - 2*x + 1. Let w be c(2). Let g(s) = s**2 - 28*s + 162. Let y be g(20). Solve -w = q - y for q.
1
Suppose -z + 29 = 5*c - 0*z, -2*c + 26 = 4*z. Let j(k) = -k + 5. Let h be j(c). Let r = 5 + h. Solve 5*w = 5 + r for w.
2
Suppose 9 = 4*g - 3. Solve -2*l - g - 1 = 0 for l.
-2
Let d be -2*(-2)/12*9. Let r be (10/(-6))/(-5)*12. Suppose -4*n = -0*n. Solve n = y + d*y - r for y.
1
Let g be 2/2*(-3)/(-1). Let v = -8 + 8. Suppose 5*l - 5*c - 5 = v, 0*c - 2 = l - 4*c. Solve 0 = g*x - l + 5 for x.
-1
Suppose 2*k - 14 = -5*k. Solve f + k*f = 6 for f.
2
Let v = 8 - 19. Let h(q) = 8 + q + 13*q - 3*q + q**2. Let o be h(v). Solve -3*u + o + 1 = 0 for u.
3
Let j = 2 + -2. Let r = 16 + -13. Let q(w) = w + 9. Let i be q(-7). Solve -t + r + i = j for t.
5
Let c(y) be the third derivative of 13*y**5/30 - y**4/12 + y**3/6 + 4*y**2. Let l be c(1). Solve -3*p + l = -8*p for p.
-5
Let x = 33 + -18. Solve -3*m + x = 2*m for m.
3
Let x = 14 + -9. Suppose 6*u = -5*b + 4*u + 16, 5*u = 5*b + x. Solve -2 - b = k for k.
-4
Let o(f) = -f**3 - 11*f**2 + 12*f + 3. Let d be o(-12). Let j = 2 - -2. Let t = j - d. Solve 4 = b - t for b.
5
Let f(r) = r**3 - 6*r**2 + 2*r - 6. Suppose v + 2*q = 6*v - 22, 2*v + 3*q = 24. Let w be f(v). Solve 0 = -2*k + w*k + 20 for k.
-5
Suppose -7 - 6 = -q. Let o be (-1 - 0) + 3/1. Solve 3*x = -q - o for x.
-5
Let n(s) = -2*s**2 + 42*s + 50. Let t be n(22). Solve 4*k - t - 6 = 0 for k.
3
Suppose 2*t + t - 5*w + 6 = 0, -5*w = -5*t. Suppose 0 = 3*u - 7*u. Suppose u = 2*h - 13 - 9. Solve h = 2*s + t for s.
4
Suppose -3*l = 9 - 24. Suppose -4 = -o - 2*c - 1, -2*o - c = -3. Let x = 3 - o. Solve 0 = l*y - x*y + 6 for y.
-2
Let t(o) = -o**3 - 5*o**2 + 7*o - 8. Let x be t(-6). Let r = x - -23. Solve 0 = -5*y - r - 16 for y.
-5
Let v(u) = u - 4. Let n be v(4). Let s be (-34)/(-10) - (-2)/(-5). Suppose -s*d + 7 - 1 = n. Solve d = -o - o for o.
-1
Let x be (-6)/(-15) + (-16)/(-10). Suppose x*y = -2*y. Solve y = -4*p - 11 - 1 for p.
-3
Let a(v) = -v**2 + 6*v. Let c be a(3). Let r(u) = 8*u - 3. Let l be r(2). Let s = l - c. Solve 0 = x + s*x + 25 for x.
-5
Suppose 0 = 5*a - 0*a - 50. Let d = -8 + a. Solve -d*f - 3*f = 0 for f.
0
Let y(q) = q**2 + q + 3. Let c(k) = k**3 - 4*k**2 + k - 1. Let p be c(4). Let a be y(p). Suppose -9 = 4*o - 25. Solve -b - a = o*b for b.
-3
Let s(b) = -b - 3. Let v be s(0). Let o(u) = -u**2 - 6*u - 3. Let f be o(v). Let y be (-4)/(-20) - (-24)/5. Solve 19 + f = -y*r for r.
-5
Let q = -88 + 91. Solve -8 = y + q*y for y.
-2
Let k be 10/14 - 8/(-28). Suppose 0 = 2*l - 0*l + 4*z, 2*l + 3*z - k = 0. Solve 0 = -3*c + 2*c - l for c.
-2
Suppose 0 = 4*c + 2*l + 2*l, -3*l = 5*c. Solve c = -3*d - d for d.
0
Suppose 5*i - z = 4, -3*i = 3*z - 5 - 1. Let h(w) = 1 - 2 + 2 - w. Let c be h(i). Solve c = -4*u - 4 for u.
-1
Let a be (0 + -1)/(4/(-12)). Suppose 5*r - 16 = 3*v, a*v + 5*r = -0*r + 34. Solve d = -v*d for d.
0
Let l be (-2)/(-9) - 250/(-90). Solve -2*u - l = -u for u.
-3
Suppose h = -1 + 9. Solve m + h = 3*m for m.
4
Suppose -2*i + 6 = -0*i. Let p be (12/7)/(2/14). Let f = -7 + p. Solve -4*j - i = f for j.
-2
Suppose 3*w + 28 + 2 = 0. Let n be (-16)/(-40) - 6/w. Solve 9 = 2*d - n for d.
5
Let s(x) = -x + x - 1 - 3 + x. Let r be s(6). Solve r*v - 4*v = 6 for v.
-3
Suppose 2*y = -0*y. Suppose y = -h + 4*w, -2*h = -5*w + w. Let f = 0 + 4. Solve -a - f = -h*a for a.
-4
Let n(f) = -2*f**2 - 7*f - 6. Let b be n(-4). Let t(x) be the first derivative of -x**3/3 - 5*x**2 + 3*x + 1. Let m be t(b). Solve 2 = m*g + 14 for g.
-4
Let l(v) = v + 12. Let g be l(-10). Solve 2*m - 20 = -g*m for m.
5
Suppose 37 = -7*r + 2*r - 3*t, 5*t + 35 = -5*r. Let j = r + 8. Solve 0 = a - 1 - j for a.
1
Suppose 0 = -5*k - 2 + 27. Suppose 2*v + k*z = 17, 5*v - 4*z - 18 = 8. Let b be (-93)/(-9) - 2/v. Solve -f - b = 4*f for f.
-2
Let y(c) = 6*c**2 - 4*c + 4. Let o be y(2). Solve -2*i + 7*i - o = 0 for i.
4
Let u be (-4)/(-2)*(-90)/(-4). Let q be 1 - 2*u/(-6). Solve -q = -2*j - 2*j for j.
4
Suppose -2*w + 8 = -2*r, -2*w - 3*w + 4*r + 23 = 0. Solve -2*d + w*d + 5 = 0 for d.
-1
Let w(d) = -d**3 + 5*d**2 + 2*d - 1. Let a be w(5). Solve -3*m + 0 = a for m.
-3
Let x(i) be the third derivative of -i**6/120 - i**5/5 - 5*i**4/12 + 7*i**3/3 + i**2. Let u be x(-11). Solve u*g + g - 12 = 0 for g.
3
Let a(t) = -3*t + 44. Let l be a(14). Solve -2 = -l*c + 2 for c.
2
Suppose -p + 3 = 2*p. Let q = p - 1. Solve 2*f + 2*f = q for f.
0
Suppose 0*x - l - 1 = -2*x, 3*l = 3. Let f be x/2 + 1/(-2). Let b be (-2)/((0 - 2) + f). Solve -n = -6 + b for n.
5
Let m(r) = r - 2. Let o be m(3). Suppose -18 = -2*v + 2*g, -4*g + 2 = v + 18. Suppose -v*b + 4 = -7*x + 3*x, -5*x = 2*b - 23. Solve -w - x = o for w.
-4
Let t(m) = -2*m**2 + 13*m - 7. Let a be t(5). Solve -4*q + 0*q = -a for q.
2
Suppose -7*l + 2*l + 40 = 0. Let s be l/(-6)*(-9)/6. Solve 3*b + s*b - 25 = 0 for b.
5
Let h = -14 + 14. Solve h = -3*p + p - 2 for p.
-1
Let p be 296/(-40) + 7 - 4/(-10). Solve p = 4*w + w - 25 for w.
5
Suppose 15*t - 29 = 1. Solve d = 3*d - t for d.
1
Suppose a = 5*a - 64. Let u be 60/a - (-2)/8. Suppose 4*p = u + 8. Solve 8 + 1 = p*b for b.
3
Suppose -12*h = -8*h - 20. Solve 1