olve 0*k + m*k = 0 for k.
0
Suppose 6*q = -2*b + q + 4, 2*b + 4*q = 4. Suppose -2*x + 5 = -b*z + 17, -5*x - 5 = 0. Solve v = z*v - 16 for v.
4
Let k = -7 - -22. Solve 0 = f + 4*f + k for f.
-3
Let h be (-92)/(-16)*(4 + 0). Suppose i - 2*i = -h. Let y = i + -11. Solve 7*b + y = 4*b for b.
-4
Suppose 4 = 2*k, -4*k + k = -4*n - 10. Let z be (20/(-35))/(n/7). Let o = -3 + 6. Solve 2*r - z = o*r for r.
-4
Suppose 2*b - 5*b = 9. Let c = 7 + b. Solve 5 = -c*s + 3*s for s.
-5
Suppose j - 6*t + 12 = -t, j = -4*t + 15. Solve -j*u = -1 - 5 for u.
2
Let u(d) = d**3 - 7*d**2 - 8*d - 3. Let y be u(8). Let g be -2 - (y + 2/(-2)). Suppose -w = -g*w. Solve w = -f - 5 + 2 for f.
-3
Let c(f) = f - 1. Let m be c(-5). Let b(a) be the third derivative of -a**5/60 - a**4/3 - 7*a**3/6 + 2*a**2. Let r be b(m). Solve -r*y + 17 = -3 for y.
4
Let t(x) = -4*x + 2. Let j(m) = -6*m + 3. Let g(a) = -5*j(a) + 7*t(a). Let b be g(-3). Let i = 9 + b. Solve i*h - 2 + 6 = 0 for h.
-2
Let g(l) = -l - l + 1 + 11*l**2 - 10*l**2. Let k be g(2). Solve c + 3 = k for c.
-2
Suppose 2*f = -3*n - n + 4, -3*f = 6. Let l = -19 + 31. Let p = l + -8. Solve -n*s + p = -0 for s.
2
Let x be (2/3)/((-1)/(-6)). Suppose x*k - 2*k - 2 = 0. Solve -2 = -b - k for b.
1
Let q be (-2 - 2*-1)*-1. Suppose h + 2*j - 4*j + 28 = 0, q = h + j + 31. Let c be h*1/((-10)/4). Solve c = v - 4*v for v.
-4
Let x(l) = l + 6. Let d be x(-6). Let j = 5 - 3. Solve d = -v + j for v.
2
Let a(j) = 4*j - 2. Let b be a(3). Let d be 8/10*(-15)/(-6). Solve d*y = -3*y - b for y.
-2
Suppose 3*x + 0*x - 60 = 0. Solve c = -3*c + x for c.
5
Suppose -v + 0*v = -1. Solve -v = -q - 0*q for q.
1
Suppose 6*w - 5*q - 17 = 3*w, -3*w = -2*q - 5. Let v be w/2 - (-143)/22. Solve v = -4*k + 14 for k.
2
Let r be (-36)/(-10) + -4 + (-37)/(-5). Solve -3*g + 20 = -r*g for g.
-5
Let p = -3 + 9. Let j = 8 - p. Suppose -5*a + 0*o + 2*o = -32, 0 = 5*a - 3*o - 33. Solve -4 = -j*c + a for c.
5
Let o = 24 + -16. Suppose 1 + 4 = x. Suppose 3*g + 4 = x*g. Solve -g*n = -2 + o for n.
-3
Let s be (-4)/(-10) - 234/(-65). Solve -s*a = 5 + 7 for a.
-3
Let n be ((-4)/(-6))/(6/27). Solve n*p = -17 + 2 for p.
-5
Suppose -6*z + 3*z + 12 = 0. Solve z*t - 5*t = 2 for t.
-2
Let w = 40 + -22. Let n = w + -18. Solve -p = -n*p + 5 for p.
-5
Suppose 2*u - 3*u + z - 2 = 0, -z + 22 = -5*u. Let r be u/((8/10)/(-4)). Solve -g = -6*g - r for g.
-5
Let w(y) = y - 44. Let u be w(0). Let h be u/(-28) - (-6)/14. Solve 0 = h*o - 4 for o.
2
Suppose -4*r + 12 = -r. Suppose 0*l = 4*n - 4*l - 12, l - 27 = -r*n. Let s be (-4)/(-6) - (-8)/n. Solve -s*j - j - 3 = 0 for j.
-1
Suppose 5*p - 5 - 1 = 2*f, 3*p = f + 3. Solve -5*n - 20 = -p*n for n.
-4
Let x(w) = -w**2 + 6*w + 41. Let b be x(10). Solve -2*o - b + 5 = 0 for o.
2
Let k be 6/9 - 8/3. Let h be k/(-1) + -5 + 3. Let t be -1 - ((-3)/3 - h). Solve 3*a + 2*a = t for a.
0
Suppose -2*j = 4 - 2. Let l be 0 + -1 + j + 2. Solve -d = -l*d for d.
0
Let c(g) = g**3 + 6*g**2 - g + 8. Let b be c(-6). Suppose -6 = -0*r - r. Solve -b = 5*z + r for z.
-4
Let x = 97 + -74. Solve -5*o + 3 - x = 0 for o.
-4
Let v(r) = r**2 - 7*r + 9. Let u be v(6). Solve 5 = 4*s - u for s.
2
Let v(c) = -c**3 + 10*c**2 - 8*c - 9. Let b be v(9). Solve -2*p + p = b for p.
0
Suppose 2*r = 6*r. Suppose 7 = 5*f + d, -2*f - 17 = -3*f + 5*d. Solve r = -3*q - f - 13 for q.
-5
Suppose -p + 12 = 3*p. Suppose -p*l - l = 0. Suppose 0 = -0*z + 2*z - 8. Solve -z*o + l*o = 0 for o.
0
Suppose 16*y = 21*y - 40. Solve -2 + y = -3*r for r.
-2
Let y(n) = n**2 - 9*n + 17. Let k be y(7). Solve 3*d + k = 2*d for d.
-3
Suppose 5*l + 3*v = l + 5, 6 = 5*l + 4*v. Suppose q + 12 = 3*q - 4*u, u + 3 = l*q. Solve q*n + 3 = n for n.
3
Suppose 0 = -5*x + 4*x + 1. Let r be x/(-4) + 20/16. Solve -r = -2*p + 3*p for p.
-1
Let t(u) = 2*u**2 - 18*u + 18. Let p be t(8). Solve 0 = -z + 2 + p for z.
4
Suppose -5*r = -r - 12. Let o = -2 + 2. Let v = 10 + -10. Solve o = r*b - v*b - 9 for b.
3
Let p = -5 - -11. Solve p*z = z - 25 for z.
-5
Suppose 0 = 4*l + t, -3*t - t = -3*l. Let p be 4/10 + (-32)/(-20). Suppose p*u - u = 2. Solve -u = s - l for s.
-2
Let k = -172 + 177. Solve 0*x - k*x = 15 for x.
-3
Let q be ((-6)/4 - -4)*12/5. Solve q*m = 11*m + 15 for m.
-3
Suppose 0 = -q + 3*k - 15, k - 5 = -3*q - 0*k. Solve q = 5*x - 2 - 18 for x.
4
Suppose 3 - 15 = -4*t. Solve 2*p = -1 + t for p.
1
Let h = -5 + 5. Solve h*g = -5*g - 25 for g.
-5
Let n(y) = 4*y - 7. Let r be n(3). Solve 40 = r*u + 15 for u.
5
Let v = 3 - 2. Let r(l) = -l**2 - 6*l - 3. Suppose 5*d + 31 + 2 = -4*y, 5*d = 3*y - 19. Let q be r(d). Solve 0 = q*i - i - v for i.
1
Let n(r) = r**2 - 4. Let o be n(5). Solve 0 = 5*q + 4 + o for q.
-5
Suppose -5*o + 6*o + 4*m = 0, 0 = -2*o - 3*m. Solve o = -3*t + 1 - 16 for t.
-5
Suppose -7*h + 72 = -3*h. Let v = h - 18. Suppose 4 = q + 3. Solve -b + v*b + q = 0 for b.
1
Let u be -2 - (-8)/(3 - 1). Suppose 0 = -3*c + 2*c + 4*v - u, -c - v = -3. Let p be 0/((-5)/(5/c)). Solve -2*m + p*m - 10 = 0 for m.
-5
Let j be (2 + 31)*(-4)/(-6). Let x be (j/55)/(1/5). Solve -x*f - 1 - 1 = 0 for f.
-1
Suppose 4*w - 2*n - 9 - 7 = 0, 3*w + 5*n = -1. Suppose -5*p + 3 + 7 = 0. Solve -j = -p + w for j.
-1
Suppose -2*k - 103 = -5*j - 33, 3*j - 42 = -4*k. Solve -6 - j = 4*u for u.
-5
Let h(m) = m**2 - 7*m + 5. Suppose 2*v = -5*k + 19, -k - 3 = -v + 3*k. Let r be h(v). Solve -2*n - 3*n = r for n.
-1
Suppose 0 = -2*w + 14 - 6. Solve w*u + 9 = u for u.
-3
Suppose -3*t = -5*b + 71, -4*b = 2*t - 25 - 23. Let x(d) = -d**3 + d**2 - d + 18. Let y be x(0). Let w be b/2 - y/(-12). Solve u = 5*u - w for u.
2
Let g be (-62)/(-22) - 36/(-198). Solve 0 = -g*v + 6 + 9 for v.
5
Let z = 11 + 1. Let s be (2 + -1 - 3) + z. Solve 0 = -5*a - s - 10 for a.
-4
Suppose -5*d + 3*d = -8. Solve -4 = 2*u + d for u.
-4
Suppose 3*x - 4 = 14. Suppose 0 = 3*i - 2*q - 12, -3*q + 6 = 2*i - 2. Let y(d) = 3*d + 8. Let b be y(-2). Solve x = -i*g + b for g.
-1
Suppose v - 11 = 3*q, 5*q - 3*v + 31 - 6 = 0. Suppose -3 = -f + 3*d, 2*f - 4*f - 4 = -4*d. Let y = q - f. Solve 3*x = -2*x + y for x.
2
Let u be 6/(-10)*(-35)/7. Suppose u*z = -2*x + 8, -4*z + 2*x = -2*x + 16. Solve z = -t - 2*t - 9 for t.
-3
Suppose -2*j = j - 3*v, -2*j - 3*v + 10 = 0. Solve 0 = -0*f - j*f + 2 for f.
1
Let l(t) = -t**2 - t + 2. Let j be 12 + -1 - (-1)/1. Suppose 5*b + z = -j, 10 = -5*b - 4*z - 8. Let r be l(b). Solve r*v = 2*v + 6 for v.
-3
Let a(h) = -2*h + 1. Let r be a(-2). Let j = -5 + r. Solve j = 2*l - 0*l + 8 for l.
-4
Let u(y) = y - 6. Let s(c) = c**3 - 6*c**2 + 6*c + 3. Let x be s(5). Let d be u(x). Let b be 1*-2 + 12/d. Solve -n = -0*n + b for n.
-4
Suppose -9 = -12*x + 9*x. Solve x*a = -0 + 3 for a.
1
Let r be 1 + 1 + 0 - -3. Let i(c) = c**3 + 7*c**2 + 6*c + 5. Let w be i(-6). Suppose -r*p - w*o = -50, 2*o + o - 45 = -4*p. Solve 0 = -5*k + p for k.
3
Suppose -3*o = 1 - 10. Suppose -o*v = 3*i - 15, i = 4*v - 9 - 1. Solve -v*n = -4*n for n.
0
Suppose 2 = 2*j - 6. Suppose -5*q + 3*q + 5*x = -20, 0 = 3*q + j*x + 16. Suppose 5*k + 5*g = 25, -5*k + q = g - 13. Solve -k*a - 8 = -0*a for a.
-4
Suppose 20 = 4*b + 2*z - 0*z, -b = z - 5. Solve 8 + 17 = -b*j for j.
-5
Let i(k) = -k**3 - k**2 + 2*k + 3. Let w be i(-2). Solve 8 = z + w*z for z.
2
Suppose -14*v - 1 = -15*v. Let y be v*-5*33/(-55). Solve -y = 2*a - a for a.
-3
Suppose 14*y = 11*y. Solve y = -2*b - 3*b - 10 for b.
-2
Suppose -2*b - 2*v = -6*v - 14, -5*v - 10 = 5*b. Solve -b = -2*z + 7 for z.
4
Suppose -2*u - 2*d = 8, u + 0*u - 8 = 5*d. Let z = u - -8. Solve 0 = -3*f + 21 - z for f.
5
Suppose -6*o = -5*o. Solve o = 6*v - 2*v for v.
0
Suppose f - 1 = 3. Suppose 0 = u + 4*b + b - 26, -f*b = -3*u - 17. Suppose -u = -4*q + 3*q. Solve -y - 4 = -q for y.
-3
Let u(g) = 2*g**2 + 4*g + 10. Let z be u(5). Suppose -4*x - z = -9*x. Solve 0 = -0*y + 4*y + x for y.
-4
Suppose -2*v + 4*p - 4 = v, 4*v + p = 1. Suppose v = -19*w + 24*w - 30. Solve -w = -2*k - 0 for k.
3
Let c = -75 + 75. Solve c*i = -3*i - 6 for i.
-2
Let f(w) be the third derivative of -w**5/60 - w**4/6 + 5*w**3/6 - w**2. Let o be f(-5). Let n be -1*o/(-3 + 0). Solve 3*b + 11 + 1 = n for b.
-4
Suppose -q + 6 = 3. Solve 4*n - q*n - 5 = 0 for n.
5
Let a(b) = 3*b + 15. Let m be a(-5). Solve -4*d + 5 + 7 = m for d.
3
Let y = 23 - 12. Let g = -3 + -3. Let d = 11 + g. Solve -9 = d*q + y for q.
