. Solve d*k - 1 = w for k.
3
Let t be ((-24)/(-28))/(1/7). Let h be ((-3)/t)/((-2)/32). Solve 5*o = o + h for o.
2
Suppose p + 4*p = 15. Suppose 3*r - 11 - 26 = -4*t, p*r - 53 = 4*t. Solve 0 = -0*s + 5*s + r for s.
-3
Let d be (-1)/((2 + -4)/2). Let s = d - -3. Let q = s + -2. Solve h = q*h for h.
0
Suppose 0 = -2*q - 5 + 7. Solve 5*t + q + 4 = 0 for t.
-1
Suppose -3*w - 9 = 0, 0 = 4*l + w - 2*w - 3. Solve l*d + 4*d - 8 = 0 for d.
2
Let x = 4 + -2. Let l(c) = -c. Let u be l(0). Suppose -g + 2*q + 5 = -7, -5*g + 60 = -3*q. Solve -x*i - i - g = u for i.
-4
Suppose -w + c = -16, 3*c - 10 = -2*c. Let b = -17 + w. Solve -b - 4 = o for o.
-5
Let p(b) = b**2 + 9*b - 10. Let i be p(-10). Solve -3*t + 2*t + 1 = i for t.
1
Suppose 2*b - 4 = -3*l - 2, -4*l - 2*b + 2 = 0. Solve -d - 2 - 2 = l for d.
-4
Let o(p) = -p**3 + 11*p**2 - p + 14. Let f = -13 + 24. Let u be o(f). Solve 0*k + u*k = 9 for k.
3
Let m(v) = v + 6. Let j be m(-8). Suppose -2*d - 1 = g, -3*g + 3*d + 12 = -3. Let x = j + g. Solve -x - 2 = -u for u.
3
Let q(t) = -4 - t**2 + 4*t + 2*t + 2*t**2. Let y be q(-8). Solve y = -3*s - 0 for s.
-4
Suppose -4*n = -5*w + 19, 2*w - 5*w = -2*n - 11. Solve z - w*z = 0 for z.
0
Suppose -3*j = 9 - 0, -r - 10 = 4*j. Solve 3 = -g - r for g.
-5
Let y = -25 - -38. Let r = -11 + y. Solve r - 1 = q for q.
1
Let w be ((10/(-25))/((-3)/30))/2. Solve -a = -3*a + w for a.
1
Let k = 47 - 45. Suppose -5*u + 0*u = 2*d, -3*d = -15. Let m be -1 - (0 + u - 2). Solve -m*h + 1 + k = 0 for h.
1
Let g = -4 - -4. Suppose g = 3*j - 1 - 17. Let d be ((-4)/j)/((-4)/12). Solve -d*s = 2*s for s.
0
Let s = 30 + -28. Solve -3*n = s*n for n.
0
Let v be 3/(-2*3/(-4)). Solve 2*r = -v*r - 20 for r.
-5
Let r(v) = 2*v**2 + 2*v + 1. Let f be 0 - 2 - (0 + 0). Let b be r(f). Suppose 3*s - 16 = s + b*q, 3*s - 4*q = 17. Solve -2 = s*w - w for w.
-1
Let x = 10 + 24. Let u = x + -18. Solve u = -5*h + 41 for h.
5
Let u(h) = -6*h + 3. Let p(j) = 19*j - 10. Let b(w) = -2*p(w) - 7*u(w). Let l be b(-3). Let o = l + 21. Solve z = -z - o for z.
-4
Suppose 0*c + 5*c - 2*q - 28 = 0, 5*q + 24 = c. Solve d + c*d - 15 = 0 for d.
3
Suppose 0*o + 3*o = 0. Solve o = -f - 0 - 1 for f.
-1
Suppose -2*k - 3*k - 20 = 0. Let p(b) = -b - 1. Let r(d) = -1. Let s(t) = -p(t) - 4*r(t). Let w be s(k). Solve 3*q = 2*q + w for q.
1
Suppose -f + 4 = 4*q - 16, 0 = -4*f + 3*q + 4. Let r be 2 + -1 + f + -1. Solve r*z - 2 = 6 for z.
2
Suppose -3*o - 2 = -3*u + 4, -2*o = -3*u + 6. Solve 0 = -0*i - u*i + 4 for i.
2
Suppose -5*k + 35 - 20 = 0. Solve -2*u - k = -u for u.
-3
Let h(n) = -5*n - 70. Let b be h(-14). Solve 2*x + 0*x + 2 = b for x.
-1
Suppose -u = -4*z + 4, -u - 3*z + 10 = -0*z. Let o be (-2)/u*(1 - 3). Solve o + 7 = 4*t for t.
2
Let m = 7 + -3. Let j = -9 - -8. Let p = m + j. Solve 2*s - s = p for s.
3
Let s(i) = -i**2 + 8*i - 3. Let b be s(3). Let f be b/(-10)*(-30)/9. Let x be (9/(-2) + -2 + 6)*-4. Solve 2*a + x = f*a for a.
1
Suppose 3*s = 9, 2*o - 7*o - 3*s + 69 = 0. Suppose -y = 5*t - 16, o = 2*t - 0*y - y. Solve -2*m - 8 = -t*m for m.
4
Let u = -3 + 1. Let w be 23 - (-3 - (-4 + u)). Solve w = -5*v - 0 for v.
-4
Let r(o) = o**2 - o - 7. Let g be r(5). Suppose -3*x = 1 - g. Solve 0*p + 16 = -x*p for p.
-4
Suppose -3*h = -h + 4. Let v be 3 + -4 + (-4)/h. Solve -o - v = 2 for o.
-3
Let c(w) = w + 16. Let y be c(-12). Solve 5*j - 2 = y*j for j.
2
Suppose -2*g - 11 = 5*a - g, -3*a - 4*g - 10 = 0. Let i be (-22)/(-8) + a/(-8). Let y be -5*i*3/(-15). Solve 0 = y*l + 2 - 14 for l.
4
Let z = -9 - -12. Solve -15 = -z*y - 0*y for y.
5
Let z(l) = -l**2 - 12*l - 12. Let q be z(-8). Suppose 4*b + q = 6*b. Solve 3*r - 2 - b = 0 for r.
4
Suppose -10 = 17*x - 44. Suppose -24 = h - 5*h. Solve 0 = -h*l + x*l for l.
0
Suppose 5*a + 0*n + 5*n - 35 = 0, -4*n = 3*a - 25. Let d be (30/1)/a - -2. Solve -5*w = -w + d for w.
-3
Suppose 37*i - 12 = 33*i. Solve -2*u = i - 1 for u.
-1
Suppose -t + 7 = -2*q + 4*q, 2*q - 4 = 2*t. Solve 8*b - 5 = q*b for b.
1
Let v(o) be the first derivative of 2*o**3/3 + 15*o**2/2 - 4*o - 2. Let l be v(-8). Solve 0*b - b = l for b.
-4
Let q be (-200)/(-24) + (-2)/(-3). Suppose q - 7 = i. Solve i*n = -n for n.
0
Let g = 30 - 18. Solve -v + 5*v = -g for v.
-3
Suppose 0 = d - h - 2, -4*h - 2 = -2*d - d. Suppose -o + 2*o = 2. Suppose -b + 3*p + p = -12, 5*b + o*p + d = 0. Solve b = -t - 4*t for t.
0
Suppose -4*b = -5*b. Solve -3*s + b*s = 9 for s.
-3
Let k(h) = -7*h - 6. Let z(t) = t**3 + 5*t**2 - 6*t - 7. Let u be z(-6). Let d be k(u). Suppose 0 = -5*j - n + 33, 5*j - d = 3*n + n. Solve -2*l = -j*l for l.
0
Suppose -t = -0 + 4. Let w = t + 8. Suppose -5*s + 21 = -w. Solve g = s*g - 8 for g.
2
Let v be 0 - 1 - (2 - 2). Let d = v + 11. Solve 0 = -3*b - d + 1 for b.
-3
Suppose -6*m - 25 = -43. Solve -1 = 2*z - m for z.
1
Suppose 0 = x - 0*x - 7. Let j = x + -4. Solve -n + j*n = 4 for n.
2
Let d = 8 + -8. Solve d*v - 12 = 4*v for v.
-3
Suppose -f - 4*f + 15 = 0, 4*r - 2*f = 2. Solve -15 = -r*l - l for l.
5
Let p(x) = -3*x - 6. Let k be p(-3). Let q(z) = -z**3 - 6*z**2 - z - 4. Let b be q(-6). Suppose b*c = -2*c + 16. Solve -1 - k = c*t for t.
-1
Suppose -14 = 2*g - 0*g. Let n = g + 6. Let u be n/3*18/(-2). Solve -u*w + 4 - 1 = 0 for w.
1
Let t = -4 - -7. Let v be (-2 - -5)*(-2 + t). Suppose v*i - 20 + 5 = 0. Solve 0*o + o = i for o.
5
Suppose -5*a + 3 = -4*z + 1, -a + z = 0. Solve 0 = 6*v - a*v for v.
0
Let u = -15 + 8. Let w = 13 + u. Let y = 8 - w. Solve -7 = y*p + 1 for p.
-4
Suppose 1 = 2*o - 3*y, 0 = 4*o - 0*y + y - 37. Solve -6*d + 8*d + o = 0 for d.
-4
Let d(x) = -9*x + 8. Let q be d(4). Let w be 6/21 - 132/q. Solve w = -5*u + 25 for u.
4
Let i = 25 - 16. Solve -6 = -5*o + i for o.
3
Suppose -8 = 6*b - 2*b. Let k be 1/(b/(-4) - 0). Let m(i) = 3*i + 2. Let d be m(k). Solve v - d = -3*v for v.
2
Suppose 4*u - 70 = 30. Solve u = -4*z - z for z.
-5
Suppose -6*v + 3 = -3*v. Let b be 3/3 - (-3 + v). Let f be 2*b + 1 + -2. Solve f - 2 = -d for d.
-3
Let g = -36 + 25. Let n = 23 + g. Let y(p) = p**2 + p - 1. Let i be y(2). Solve i*s - n - 3 = 0 for s.
3
Let d = 31 - 43. Let n(p) = -p**3 - 13*p**2 - 13*p - 12. Let x be n(d). Solve -5*s = -x - 20 for s.
4
Let r = 58 - 58. Solve r + 3 = -o for o.
-3
Suppose -10 = -3*h + 38. Solve 0*l + h = -4*l for l.
-4
Suppose 5 = 5*y + 5*i, 0 = 4*y - 2*y - 4*i - 2. Suppose -y - 1 = -x. Suppose 4*d = 3*d + 10. Solve -3*b + d = x*b for b.
2
Let n(t) = -4*t - 2. Let v(o) = -9*o - 5. Let a(k) = 5*n(k) - 2*v(k). Let d be a(-2). Suppose d*g - 12 = g. Solve 0 = -3*q - g + 7 for q.
1
Suppose -4*f + 24 = 4*i - 4, 2*i = -f + 12. Solve -2*a = f*a for a.
0
Suppose -c - 5*c = -30. Solve 0*a + c = a for a.
5
Let j(z) = -z**3 + 12*z**2 + 13*z - 16. Let a be j(13). Let i = -16 - a. Solve -d = -i*d - 4 for d.
4
Let d = -72 + 76. Solve d*t = -9 - 3 for t.
-3
Let n be -4*(-5)/(-50)*-10. Solve -n = -0*t - t for t.
4
Suppose 0*o + 9 = o - 5*v, -4*o - v = -15. Suppose 3*a = -o*y + 43 - 9, a = 4*y + 6. Solve -3*n - 2*n + a = 0 for n.
2
Let u = 9 + -6. Solve -u*b + 5*b = 0 for b.
0
Suppose 4*a + 11 + 9 = 0. Let s = a + 8. Solve -4 = s*l + l for l.
-1
Let c be 1/1 + (-3 - -2). Solve q + c = -3 for q.
-3
Let h(f) = 3*f**2. Let r be h(-3). Let x = 25 + 29. Suppose 5*j = x - 19. Solve -r + j = -5*s for s.
4
Suppose 2 = -5*o - 4*k, 5*o + 4*k - 2*k = 4. Solve 3*h + 4 + o = 0 for h.
-2
Suppose -28 = -2*z + 4*k, -88 = -4*z - z + 4*k. Suppose h - 6*h + z = 0. Suppose -m + h = -0. Solve -l + m*l = -6 for l.
-2
Let x(w) = -w**3 - 3*w**2 + 10*w + 4. Let v be x(-5). Solve v + 16 = 5*p for p.
4
Let a(i) = -5*i - 85. Let p be a(-17). Solve p = -4*q + 6 + 6 for q.
3
Let n be (-4 + 2)*(1 + -3). Let f = 5 - n. Solve 9 = -2*c + f for c.
-4
Let b = -17 + 21. Let g be 200/32 + (-1)/b. Solve 0 = -i + 3 - g for i.
-3
Let v = 85 + -83. Solve v*z - 8 = -2*z for z.
2
Let u(m) be the third derivative of m**4/24 - 5*m**3/3 + 2*m**2. Let p be u(13). Solve -i = p*i - 12 for i.
3
Suppose -88 = -3*a + 44. Suppose -5*w + 6 + a = 0. Suppose 3*s + 2*l = 2, -2*s + 0*s - 2*l = 0. Solve -4*y = -w - s for y.
3
Let t(d) = -9*d - 6. Let c(l) = -26*l - 2 - 7 - 8. Let u(i) = 3*c(i) - 8*t(i). Let f be u(-3). Solve -f = -o + 4*o for o.
-5
Let i(s) = s**3 + 3*s**2 - 3. Let z(v) = -v - 1. Let b(o) = i(o) - z(o). Let f be b(-2). Suppose f = -h - 2*h + 9. 