Solve -2*k - w*k = 12 for k.
-3
Suppose 4*q = -1 + 17. Solve -2*k + q = -6*k for k.
-1
Let t be 3/((3*3/9)/2). Solve -t = -4*z - 2 for z.
1
Let s(b) = b**2 - b + 4. Let l be s(4). Let c be (8/l)/((-2)/(-20)). Solve 3 = -4*r - c for r.
-2
Let x(n) = n**3 - 4*n**2 + 3*n - 5. Let g be x(4). Solve 0 = -3*y + 5 + g for y.
4
Suppose 0 = -3*o + 2*o + 6. Let y(p) = 2*p - 4 + p - 4*p. Let j be y(-6). Solve -j = -4*z - o for z.
-1
Let q = 2 + -11. Let t = 13 + q. Let p = t - -11. Solve -2*v - p = v for v.
-5
Let s(x) be the third derivative of -x**2 + 5/24*x**4 + 0*x**3 + 0 + 0*x. Let b be s(2). Solve 0 = 4*a + a - b for a.
2
Let m be ((-15)/6 - -2)*-32. Suppose m = 5*t - 14. Solve -2*j = -0*j + t for j.
-3
Suppose 5*i - 6 - 4 = 0. Let m = 4 - i. Solve m*b = -b for b.
0
Suppose z - 7*z = -24. Suppose 4*j - z = 4. Solve -o = o + j for o.
-1
Suppose 11*x = 8*x + 6. Solve -2*p = x*p for p.
0
Suppose -5*i + 21 = -4*f, -2*i = -4*i + 10. Let j be -5 + 1 + f - -8. Solve -40 + 15 = j*m for m.
-5
Let c = 13 + -23. Let b = c + 10. Solve -4 = -4*i - b for i.
1
Let s be -5 + (11 - (0 + 1)). Solve b = s*b - 12 for b.
3
Let o(f) = -f**2 + 5*f - 3. Let u be o(2). Suppose 4*i - 5*a + u*a - 4 = 0, 4*a - 18 = -5*i. Suppose -j = -i*j. Solve -2*g - 3*g = j for g.
0
Suppose -4*w = -5*w - 3. Let f be (3 - w)/((-15)/(-10)). Solve n = f*n for n.
0
Let a(b) = -b - 19. Let w be a(-19). Solve 0 = -n - w + 3 for n.
3
Suppose 0 = -3*d + 5*a + 6, 5*d + 5*a = 3*a + 10. Suppose -5*t + d = 2*h, -3*h = -t - 2 - 1. Solve t*w = w for w.
0
Let g(c) = c**2 + 2*c + 1. Let m be g(-1). Suppose 4*t + 24 = -4*d, 2*d + 2*t = d - 8. Let s(r) = -r + 2. Let i be s(d). Solve -2*o - o + i = m for o.
2
Let k be (-5)/2*-2*2/5. Solve 0*o + 6 = k*o for o.
3
Suppose -l = -4*l + 3*p - 15, p - 5 = -3*l. Let w(n) = 3*n + 3. Let m be w(l). Solve -o - m = -4*o for o.
1
Let b = 68 - 64. Solve 3*w = -w - b for w.
-1
Suppose -s = -2*m - 11, -4*s + 3*m = -2*s - 19. Solve 0 = -26*c + 21*c - s for c.
-1
Let s be (-2)/(6/(-3))*-3. Let x(o) = -o - 1. Let g be x(s). Solve -g - 1 = -3*q for q.
1
Let b be (-6)/8*(-48 - 0). Let u be (-4)/(-18) + 352/b. Let s be (-4)/10 + 4/u. Solve -3*g + 6*g + 12 = s for g.
-4
Suppose -p + 74 - 7 = 3*h, 4*p - 38 = -2*h. Suppose 0 = -147*z + 156*z - 45. Solve -2 = z*l + h for l.
-5
Let a = -13 - -17. Solve -a*r + 6 = -14 for r.
5
Let f(b) = -b**3 - 4*b**2 + b + 5. Let k be f(-4). Suppose -2*g = 4*a - 16, -4*a = 2*g + a - 19. Solve -g = t + k for t.
-3
Let j = -16 + 26. Suppose 0 = 5*w - 0 - j. Suppose -r = -4*r + 30. Solve w*n + 3*n = -r for n.
-2
Let i = 22 + -20. Solve m = -i*m for m.
0
Let f = 21 - 19. Solve 5*o - 3 = f for o.
1
Let u = -1 + 0. Let q be (0 - 1)/(u/2). Solve 2 + 6 = q*h for h.
4
Let k = 10 - 5. Suppose -k*m - 5*g - 6 = -26, g = 4*m - 16. Solve 0 = 3*f - m*f + 1 for f.
1
Suppose 0 = -6*r + 5*r + 2. Let g be 9 + -8 + 0 + -1. Solve -r*n - n = g for n.
0
Suppose 5*k = 3*k + 8. Let d be 10/(-5)*(-2)/(-1). Let b = 6 + d. Solve -b*q = -2 - k for q.
3
Let m(r) = r**2 - 5*r + 5. Let l be m(5). Suppose -4*h + 2*h - s = -27, -4*s + 24 = h. Solve -l*i = -2*i - h for i.
4
Let d be 4/4*(-30)/(-6). Solve 0*u - d*u = 15 for u.
-3
Let x = -20 + 21. Suppose r + 4*m = 2, -5*r + 7 + 3 = -3*m. Suppose w = 4*p + 4 - x, 6 = r*w + 4*p. Solve -w*z = -7*z - 12 for z.
-3
Suppose a = -3 + 2, 5*a + 15 = n. Let d be -2 - n/(-3)*3. Solve -d = -6*x + 4*x for x.
4
Let w = 119 - 112. Solve -w*f + 10 = -9*f for f.
-5
Suppose -2*z - 4*y - 7 = -3*z, y = -3*z - 5. Let l be (20/(-4))/(0 + z). Suppose 7 = 3*t - 2*d, -3*d = -l*t + 6 + 6. Solve -10 = -t*v + v for v.
5
Suppose 0 = 2*i + 6, -4*i - 5 = -4*p - 9*i. Suppose 0 = -p*w + 3*m + 40, -5*w - m = -2*w - 10. Solve -2*g - w = -g for g.
-5
Let q(p) = p**3 - 3*p**2 - 3*p - 4. Let y be q(4). Solve y*t - 5*t - 15 = 0 for t.
-3
Let y = -2 - -5. Let z = 29 + -29. Suppose z*v = 3*v. Solve v = -k - y*k - 20 for k.
-5
Suppose -4*w - w + 40 = 0. Suppose 0 = -0*p - 2*p - w. Let c = 7 + p. Solve c*u - 8 = -2 for u.
2
Suppose 16 = -a + 5*j, 2*a + 5*j + 2 = 5*a. Let p be a/12*4 - -1. Solve -p*q + 2 = 10 for q.
-2
Let p be 11/((-44)/(-24))*(-4)/(-3). Solve -p = 2*c - 18 for c.
5
Let k = 2 - -1. Solve k*g - 2 = 4 for g.
2
Suppose -20 = -0*t - t. Solve -3*f - t = 2*f for f.
-4
Let k = -15 - -8. Let z = 6 + k. Let i be (-3 - z)/(1 - 2). Solve -i*n + 5 = -3*n for n.
-5
Suppose 2*q = -5*t + 18, 3 = t + q - 3. Suppose 0 = -2*a - t*a + 116. Suppose 23 = 4*g - a. Solve 1 = 4*x + g for x.
-3
Suppose -3*v - 3 + 18 = 3*u, 2 = 4*u - 2*v. Solve n + u = -0 for n.
-2
Suppose 0*j + 3*j + 5*q = 22, -q + 10 = 2*j. Let s(z) = -z**3 - 7*z**2 - z - 2. Let i be s(-7). Solve 15 = -j*n - i for n.
-5
Let f be (54/(-6))/(1/(-1)). Solve f - 29 = -5*m for m.
4
Let g(v) = v + 7. Let c be g(7). Let y = c + -7. Solve -y*l + 4*l = 6 for l.
-2
Let s = -11 - -17. Let h be (1 + 8)*2/s. Solve 2*p + 15 = -h*p for p.
-3
Suppose -2*n - 315 = -5*n. Let y be 1/4 - n/(-12). Let z = 11 - 7. Solve -z*i + y = -i for i.
3
Let n = 6 - -17. Suppose -3*l + 2*p = -31, -5*l = -p - 17 - n. Solve l*j - 2*j = 15 for j.
3
Let v be ((-1 + 0)/4)/((-23)/460). Solve 14 + 6 = -v*g for g.
-4
Let p = 1 + 4. Let m = -4 - -8. Suppose l - 77 - 88 = -5*w, -165 = -5*w + m*l. Solve -p*x - 8 + w = 0 for x.
5
Let g = 92 + -86. Solve 5*n = g - 1 for n.
1
Suppose 5*a - 30 = -5*v, 3*a + a - 17 = 3*v. Suppose d - a*d = -32. Solve 0 = 3*q + d - 2 for q.
-2
Let v be (-10)/(-5) + -6 + 0. Let r(q) = -3*q**2 + 2*q + 1. Let j be r(-1). Let t = j - v. Solve -3*a + 7*a + 4 = t for a.
-1
Let a be (-6)/10 + 0 + 3/5. Let s(j) = -j + 2. Let z be (-3)/(-6)*(1 + -1). Let f be s(z). Solve a*w + 2*w = -f for w.
-1
Suppose 0 = -0*n + 2*n - 8. Let j = -162 - -164. Solve j*y - n = 2 for y.
3
Let h = -31 + 38. Solve -5*n - 3 - h = 0 for n.
-2
Let x = -63 - -66. Solve -u = -x*u for u.
0
Let i be 52/14 + 2/7. Suppose 1 = l, 0*l - 2*l = -i*p - 2. Solve 4*u + p = 4 for u.
1
Let j(c) = 4*c - 2. Let t be (2 - 1) + (0 - -1). Let u be j(t). Solve 10 = -q + u*q for q.
2
Let b(o) = -o**3 + 2*o**2. Let g be b(2). Suppose 5*z - 16 - 109 = 0. Solve 5*w + z = -g*w for w.
-5
Let l(o) = o + 1. Let v(c) be the first derivative of -c**3/3 - c**2 - 2*c + 4. Let h(k) = -4*l(k) + v(k). Let d be h(-4). Solve q = d - 5 for q.
-3
Suppose -l + 5*i = 4*i - 2, -4*i - 8 = 0. Suppose -3*n = -10 - 8. Suppose l*x + 3*x + n = -2*q, -2*x = q + 3. Solve x = -w - 2*w - 15 for w.
-5
Let i be 8 + (1 - 0 - 1). Suppose -6*q + 3*q = -15. Suppose 2*g + y - q = 0, -3*g + 5*g = 3*y + 17. Solve 0 = g*b - 8 - i for b.
4
Suppose -5*d - 4*t + 24 = 0, -4*t + 6 + 2 = d. Solve -d*p - 2 = 10 for p.
-3
Suppose -6 = 2*u - 8. Solve -3*r + 7 - u = 0 for r.
2
Let d(g) = -2*g**2 + 20*g - 13. Let y be d(9). Solve 11 + 14 = -y*b for b.
-5
Let i be (2/(-6))/(7/(-21)). Solve -i = -2*r - 9 for r.
-4
Suppose -5*t = -12 - 3. Let c(d) = -d**3 + 2*d**2 - 1 - t*d - 3 + 8*d. Let h be c(3). Solve p + 1 = h*p for p.
1
Let u = 4 - 6. Suppose -4*y + 12 = -a, 2*y - 12 = -2*y - 3*a. Let f be (y + 0 + u)*2. Solve -3*m + f*m = 5 for m.
-5
Suppose 5*x = 4*x. Suppose n + 9 + 0 = x. Let d = -2 - n. Solve d*s = 4*s + 12 for s.
4
Let g = -4 - -5. Solve -c - 3 = -g for c.
-2
Suppose -5 = -3*w + 7. Solve -2*y + w = -0 for y.
2
Let o(j) = j**3 - 4*j**2 - 4*j - 1. Let v be o(5). Solve v - 19 = 3*p for p.
-5
Suppose 6 + 4 = 2*x + j, 5*x = -3*j + 27. Suppose x*m + m - 4*d = 0, -d = -5*m + 16. Solve -m*k = -2*k for k.
0
Suppose 0*j - 8 = -4*j. Let f = -2 + j. Solve f = -2*w + 6 for w.
3
Suppose 0*o + 16 = 8*o. Solve 3 = -o*j - 7 for j.
-5
Let d be (-1)/(-3)*18/1. Suppose z = 4*z - d. Solve -2*c = z*c - 8 for c.
2
Let b(w) = 4*w**2 + w - 1. Let q be b(1). Solve -q*i = -23 + 3 for i.
5
Let x = -4 + 12. Let v be (4/8)/(1/x). Let c be (v/3)/((-10)/(-15)). Solve c*n = n for n.
0
Suppose c - 3 + 2 = 0, c - 7 = -b. Let r be 69/21 + b/(-21). Solve 0 = r*s - 4*s + 3 for s.
3
Let h(u) = -3*u + 1. Let f be h(-1). Let c be 3 + (3 - 6) + f. Solve c*k + 5 - 1 = 0 for k.
-1
Let m(y) = y**2 - y + 2. Let r(l) = -3 - 3 + 0 + l. Let x be r(6). Let t be m(x). Solve 0 = -t*o + 4*o + 10 for o.
-5
Let b = -4 + 7. Let c = b - 0. Solve 2*g + 5 = c*g for g.
5
Suppose -15*p + 16*p = 3. Solve -13 = 5*w - p for w.
-2
Let g = 2 + -1. Let p be (-5)/(10/(-6)) + g. Solve -2 = -2*x