 Solve w*k = 2*k for k.
0
Suppose 10*j = 8*j. Solve j*u + 2*u - 10 = 0 for u.
5
Suppose -4*r - 7 = -3*n + 8, 13 = 4*n - 3*r. Let u be n/2*(11 - 7). Solve 2*a = -u*a + 8 for a.
2
Let a(h) = -h**2 - 8*h + 3. Let k be a(-8). Suppose 5*x - k*f = 1, -f = 1 - 4. Solve -6 = 4*i - x*i for i.
-3
Suppose 0 = -g + 4 - 0. Solve 3 = -g*r - 5 for r.
-2
Suppose 4*r - 8 = t, 0 = 2*t - 2*r + 6*r - 8. Suppose -2*s + t + 6 = 0. Solve -s*x + 0 = -15 for x.
5
Suppose j = -2*j - 3. Let f be (11 - 0) + j + 0. Suppose -2*z = -3*u - 5*z + 18, -4*z = -3*u - f. Solve -s = u*s + 6 for s.
-2
Let r be (0 + 6)*(-5)/(-10). Suppose -4*q + 8 = 0, r*t + 2*q = 6*q - 2. Solve -m + t = 6 for m.
-4
Let u(b) be the third derivative of -b**4/24 + 4*b**3/3 + b**2. Let s be u(-8). Solve 4*y = -0*y + s for y.
4
Let f be (4/12)/(3/72). Suppose 0 = 2*z - f. Solve 9*v - z*v = 15 for v.
3
Suppose u - 3*u = -4. Solve -5 = u*l - 3*l for l.
5
Suppose 2*w = 5*w - 12. Let u be 0 + (-3 - -27)/4. Solve u*j = w*j for j.
0
Suppose -1 - 3 = -2*c. Suppose c = 6*x - 4*x. Solve 0 = m - 5 + x for m.
4
Let n = 14 - 12. Suppose 20 = 2*m + n*t, 16 = m - t - t. Solve -4*c + 0 - m = 0 for c.
-3
Let l be (13/(-4))/((-1)/4). Suppose 4*x - x - l = -2*d, 0 = 2*d + 2*x - 10. Let v be d + (-4)/(-1) + -2. Solve v = -4*w + 2*w for w.
-2
Suppose -5*n = -5*r + 1 + 24, 4*r = 3*n + 17. Solve r*x - 2 = 2 for x.
2
Let l(d) = -7*d + 3*d**3 + 9 - 4*d**3 + d**3 - d**3 - 9*d**2. Let p be l(-8). Solve p = -3*y - 11 for y.
-4
Let k = 17 + -23. Let n = k - -12. Solve n = -2*g - 0*g for g.
-3
Suppose -32 = -2*l + 8. Let a = l - 17. Solve -a*g = g + 16 for g.
-4
Let s be 8/(-32) - 34/(-8). Suppose 5*c = -5*t, 33 = s*t - 5*c - 3. Let o be 1 - (t + -3)*-9. Solve 0 = -0*j + 5*j + o for j.
-2
Suppose -3*w + 2*u - 3 = u, 2*w - 9 = -3*u. Solve b - 5 = -w*b for b.
5
Suppose 3 = 5*k - 3*d - 57, -4*k + 46 = -2*d. Let n be 2/k - (-40)/(-18). Let m(p) = p**3 + 4*p**2 + 4*p + 2. Let w be m(n). Solve 2*q - w = -0 for q.
1
Let d be (1 - (-152)/10) + 5/(-25). Solve 4*k - d = -0 for k.
4
Let j = 4 + -1. Solve u + j = -1 for u.
-4
Let b be (51/(-15) - -3)/(1/(-10)). Solve 0 = -a + b - 6 for a.
-2
Let m = -86 + 88. Solve 2*f = -m*f - 8 for f.
-2
Let g be (-3 + (3 - 6))/(-2). Solve -2*h - 5 = g*h for h.
-1
Suppose -2*k = -0*k + 18. Let b be k/(-2)*(-16)/(-12). Solve 5*w - 2*w = b for w.
2
Let x be 7 + -9 - (-10)/2. Solve 2*k + 5 = -x for k.
-4
Suppose -12 + 2 = -2*z. Solve -z*t = -0 + 5 for t.
-1
Let r be ((-2)/3)/((-2)/(-3)). Let i(z) = -4*z - 1. Let p be i(r). Solve -2*b + b = p for b.
-3
Suppose -80 = -3*k - 2*k. Suppose 4*b - k = -2*o - 2*o, -2*o = 4*b - 10. Solve -o*r = -r for r.
0
Let u be (-6)/15 - (-6)/15. Let i be (u*(-1)/(-2))/2. Suppose 3*s + i*s = 0. Solve -16 = -s*n + 4*n for n.
-4
Let q be (-14)/(-4) - 1/2. Let s(m) = -m**3 - 4*m**2 - m - 2. Let t be 2/4 - 90/20. Let c be s(t). Solve q*y = y + c for y.
1
Let f = 4 + -2. Suppose 4*q - 4 = -2*k, 4*q = -2 - f. Let u(l) = -l**3 - l**2 - 2*l - 2. Let r be u(-1). Solve r = m + k*m - 15 for m.
3
Let q(p) = -p**3 + 12*p**2 - p - 5. Let d be q(12). Let y = d + 26. Solve -4*o + y = 25 for o.
-4
Suppose 14 - 62 = -4*k - 4*d, 2*d + 36 = 4*k. Suppose 5*y - 2*b = 6, 6*y - 3*y = -2*b + k. Solve 0 = 3*w - y - 4 for w.
2
Let v(d) = -2*d - 9. Let k be v(-12). Let g be 1/((-10)/12 - -1). Suppose 2*m - g = 8. Solve k = -2*t + m*t for t.
3
Let w = 5 + 3. Solve -2*u - w = -0 for u.
-4
Suppose 38 = 3*g - 10. Let v = g + -15. Solve v = -5*m + 6 for m.
1
Let j = 3 + -3. Suppose z + 5 = -j*z. Let x = z - -11. Solve 2*b = x*b for b.
0
Suppose 0 = -5*s - n - 2, -4*n + n - 6 = 2*s. Suppose -2*f + 0*z - z + 17 = s, -z - 1 = -f. Solve x - f + 1 = 0 for x.
5
Let m be 2/4 - (-98)/(-4). Let y be 6/m + 81/4. Solve -r = 4*r - y for r.
4
Suppose -3*b = o + 2 + 4, -2*o - 4*b - 8 = 0. Solve o = 2*l - 13 + 3 for l.
5
Let i = -5 + 7. Solve 2*g = 8 + i for g.
5
Suppose -3*w + 5*z + 38 = -18, -8 = 2*z. Solve -w = -5*d - 32 for d.
-4
Suppose -2*l - 2*o + 32 = 0, 26 = l + 4*o - o. Suppose -l = -5*u - 2*f, 2*u - 3*u + 5 = -f. Solve 6*h + 3 = u*h for h.
-1
Suppose 0 = 4*l + 3*r - 24, -5*l - 4*r + r = -27. Suppose -n + 3*n + 4*s = 10, -5*n + 25 = l*s. Solve 0 = -n*x - 2 - 8 for x.
-2
Let x = 166 - 166. Solve g + 1 + x = 0 for g.
-1
Suppose 2*i - 3 = 15. Let v = 16 - i. Solve v*s - 6 = 4*s for s.
2
Let r(n) = 4*n**2 + 3*n + 2. Let k be r(-1). Let u(g) = 3*g. Let o be u(k). Solve 6 = 5*l - o for l.
3
Let s = -189 - -204. Solve 3*m = s - 9 for m.
2
Suppose -3*z = 4 - 16. Solve 0 = -z*h - 12 + 4 for h.
-2
Suppose -3*x - 4*m - 434 = -8*x, 260 = 3*x - 2*m. Let q be x/18 - (-14)/63. Solve q*k - k = 16 for k.
4
Let j(u) = u**3 + u**2 - u - 1. Let f be j(-1). Let n be (-1)/2*f - -2. Solve 0 = -3*i + 11 - n for i.
3
Let c(a) = -a**3 + 3*a**2 - a + 2. Suppose 0*z - 21 = -3*z - 3*s, -2*z = 5*s - 29. Let h be c(z). Solve 6*g - 2*g = -h for g.
-1
Let x be -15 + 2 - (-2)/1. Let b = -8 - x. Solve b = -j - 0 for j.
-3
Suppose 5*b = 3*b + 6. Solve b*d + 4 - 1 = 0 for d.
-1
Let d = -10 - -11. Solve -2*q + q = d for q.
-1
Suppose -3*g + 6 = 3*k, 4*k + 4 = -3*g + 12. Solve -k*b - b = 9 for b.
-3
Suppose 0*l + 4*l - 8 = 0. Let a(p) = 7*p. Let w be a(l). Suppose -7*d + 10 = -4*d + t, 5*d = -t + w. Solve 0*n = d*n + 6 for n.
-3
Let t(r) = r**2 - 5*r + 12. Let s be t(3). Solve -5*j + s*j = 4 for j.
4
Let c(v) = 1 + 1 + 0*v**3 + 3*v**3 - 4*v**3 - 7*v**2. Let d be c(-7). Solve d*w = 2 + 8 for w.
5
Let q(a) = -a**3 + 1 - 2 + 2*a + 2*a**3 + 0*a**2 - 2*a**2. Let u be q(1). Suppose -2*w = 4*c - 14, -2 = c - w - 4. Solve c*v - 6*v + 6 = u for v.
2
Let i(x) = 6*x**2. Let k be i(1). Let m = -2 + k. Solve -m*b + 12 = -b for b.
4
Let v be (6/(-1 - 1))/(-1). Suppose 12 = 5*j - v. Solve -2 = 5*c - j*c for c.
-1
Let x be (8/(-24))/((-2)/(-18)). Let w be (-72)/27*x/2. Solve w + 2 = -2*r for r.
-3
Let x(l) = -7*l + 21. Let o(d) = d - 1. Let j(a) = 6*o(a) + x(a). Let b be j(11). Solve b*v = -v for v.
0
Suppose -5*x - 27 = -4*y, 8 = 3*y + x + 2. Let i = -16 + 10. Let p = -4 - i. Solve p*w + y = 7 for w.
2
Let p(b) = 2*b**2 + 3*b + 1. Let t be p(-3). Suppose s = -2*s. Solve 5*z - t - 10 = s for z.
4
Suppose 28 = -3*k - 20. Let c be ((-3)/4)/(4/k). Solve 3*z - 4*z = -c for z.
3
Let l = 4 + 1. Let u(v) = 2*v - 6. Let i be u(l). Solve 0 = -2*h - i + 2 for h.
-1
Let s = -2 + 6. Solve 0*v = -s*v for v.
0
Let g = 7 - -1. Solve -4*q + 0*q + g = 0 for q.
2
Let i = 13 + -46. Let k = -23 - i. Suppose -4*f - 2 + k = 0. Solve y - f = -y for y.
1
Suppose 7*r = -0*r + 28. Solve -2*y - r + 2 = 0 for y.
-1
Suppose n - 2*t - 11 = 0, 3*n - 4 = n - 2*t. Suppose 0 = -n*g - w + 30, 2*g - 15 = 4*g - 5*w. Solve 0 = -g*p - 3 - 2 for p.
-1
Suppose 0 = 5*z - 1 - 9. Let g be 3*((-10)/6 + z). Let t(c) = -c + 1. Let u be t(g). Solve -b + 4*b - 12 = u for b.
4
Let r be ((-5)/(-15))/((-2)/(-12)). Suppose 0 = 5*g + q - 15, -3*g - r*q = -q - 11. Solve -v + g = -2*v for v.
-2
Let s be 3 + 3*(-1)/(-3). Solve s*b - b + 6 = 0 for b.
-2
Suppose -12*w = -15*w + 12. Solve w*u - 3 = 5*u for u.
-3
Let f(x) = -x - 1. Let z be f(-3). Let k be (z - (-22)/(-4))*-2. Solve -3*r - 8 = k for r.
-5
Suppose -25 = -8*g + 23. Solve 5*r - 21 = -g for r.
3
Suppose 0 = -0*o - 3*o + 12. Suppose -f + 15 = 4*k, -o*f - 3*k + 6 = -2. Let t be f/(-2) + (-1)/2. Solve u = -t*u for u.
0
Suppose 0*q + 18 = 4*v + 5*q, 3*v - 3*q = 0. Solve 0*j = -v*j for j.
0
Let l = 81 + -58. Solve 5*w = l + 2 for w.
5
Let w = 124 - 90. Solve w - 9 = -5*r for r.
-5
Suppose 10*c - 6 = 9*c. Solve -w - 20 = -c*w for w.
4
Let v = 53 - 34. Suppose -4*d + v = -29. Solve 0 = -5*a + d - 2 for a.
2
Suppose -5*x + 2*x + 8 = -2*a, 0 = -3*a - 3*x - 12. Let w(i) = i**2 - 4*i - 5. Let o be w(a). Solve 5*n = -2 + o for n.
5
Let j = -2 - -43. Let z = j + -63. Let w = -5 - z. Solve 4*o + 1 = w for o.
4
Let w(a) = a + 8. Let p be w(-6). Suppose -4 = -c - 4*o, -p*o + 12 = 3*c - o. Suppose 11 - 3 = c*x. Solve 8 = -x*u - 2 for u.
-5
Let t = 192 - 131. Let j be (-6)/30 - t/(-5). Suppose -3*x = -j - 12. Solve -x*q = -4*q - 4 for q.
1
Suppose -4*u + 3*i + 16 = 0, -18 = -5*u + 2*i - 5. Solve 2*y = -u - 1 for y.
-1
Let o = -4 - -3. Let n = o - -5. Let j be ((-10)/n)/((-4)/8). Solve 18 = -j*g - 7 for g.
-5
Let h be 20/(-12) + 2 - (-25)/15. Solve 2*s = -h*s + 8 for s.
2
Let w(n) = -