0 = 4*k - 28 + 12. Suppose 0 = 5*a + 3*t - 25 + 9, -2*a - k*t = -12. Suppose p = 3, -1 = -a*d + 3*p - 2*p. Solve -d*g = 2*g - 20 for g.
5
Suppose 2*z = 62*n - 61*n - 2, n = z + 2. Solve -11*v + 68 - 24 = z for v.
4
Let b(u) = -u**2 - 12*u - 30. Let h be -1 - 9/(-6)*30/(-9). Let j be b(h). Solve j*k - 3*k - 3 = 0 for k.
1
Let a = -13 + 49. Suppose j + a = 10*j. Solve 0 = -2*n - 14 + j for n.
-5
Suppose 0 = 233*q - 254*q + 672. Solve 21*h - 11 = -q for h.
-1
Let r be 16/(-10)*(-45)/18. Let c be (-6)/(-5)*(-25)/(-10). Let g be 19/c + (-4)/12. Solve g + r = 5*u for u.
2
Let y be (-282)/(-423)*(-18)/(0 + -2). Solve -3*n = 3*n + y for n.
-1
Suppose 3*l = i, 0 = 5*l - i - 0*i. Suppose 2*b = 3*s - l*s + 23, -41 = -4*b + s. Let d be 2/b + (-9)/45. Solve d = 5*h - h - 8 for h.
2
Let h(y) = y**3 + 8*y**2 - 8*y - 6. Let x be h(-9). Let t(p) = -p - 11. Let q be t(x). Solve -q*z = z + 5 for z.
-1
Let z be ((-900)/12)/5 - -22. Let f = -5 - -7. Solve z = j + f for j.
5
Suppose -293*k = -286*k - 14. Suppose 5 = 2*b - 5. Suppose 0 = -4*n - k*a + 4, b*n + 10 = -0*n + 5*a. Solve n*v + v = -3 for v.
-3
Let g be -2*(2 + (-1 - -9)). Let m = 2 - g. Let r be 4/(-14) + m/77. Solve -10 = 2*o - r*o for o.
-5
Let x be (-26 - -2) + 12 + 22. Solve -x*p + 20*p = -30 for p.
-3
Suppose 4*h + 0*h - 8 = 0. Let m be ((-5)/(-5))/((-2)/(-4)). Suppose -3*n = m*n. Solve n = -4*a + 2*a + h for a.
1
Let m(k) = k**3 + 3*k**2 + 3*k + 5. Suppose -v + 22 = -4*v + 4*y, -v + 14 = 4*y. Let s be m(v). Solve -c + 1 - s = 0 for c.
-2
Let z(b) = b + 4. Let h be z(-2). Let v(c) = -c + 16. Let p be v(-9). Let m be 0 + (-5)/(-1) + -2. Solve -h*o + p = m*o for o.
5
Suppose 5*v = v + 8. Suppose -6 = v*t - 4*t. Suppose -t = -2*z - 5*w, 5*z - 17 = -3*w - 0. Solve 0 = -4*s + z for s.
1
Let u(w) = w**2 + 20*w + 4. Let y be u(-20). Solve 0 = -5*a - y + 14 for a.
2
Suppose 133 = 3*i + 4*i. Suppose -16*l - 15 = -i*l. Solve l*j = -6 - 14 for j.
-4
Suppose 0 = -2*i + 5*y + 63, -4*y + 51 + 33 = 4*i. Suppose i = b + 16. Suppose -2*p - 2*p + b = 2*u, 4*u = 16. Solve -3 = x - p for x.
-3
Let r(y) = y - 10. Let w be r(5). Let j = 7 + w. Solve a + 4 = j for a.
-2
Suppose m + d - 51 = -4*m, 2*d + 48 = 5*m. Solve -b + 6*b = m for b.
2
Suppose -12 = -34*j + 30*j. Solve -j*w = -3 - 12 for w.
5
Suppose -1446 = 14*w - 1474. Solve -b + w*b = 1 for b.
1
Let m = -51 - -14. Let n = m - -26. Let q(v) = -v**3 - 10*v**2 + 11*v + 3. Let d be q(n). Solve 8*a - 5*a = d for a.
1
Suppose 23*p = 28*p - 30. Suppose -p*r = -5*r. Solve r = y - 6*y + 15 for y.
3
Let c(u) = 49*u - 727. Let v be c(15). Solve 19 = v*p - 13 for p.
4
Let h(y) = -3*y + 13. Let s be h(7). Let z be s/(-32) - (1 + (-6)/8). Solve z = 2*n - 0*n + 6 for n.
-3
Suppose s + 4*j = -10 - 86, 3*j = -5*s - 565. Let g = 131 + s. Solve m + 2*m + g = 0 for m.
-5
Suppose 16 + 25 = 3*k + 4*b, 5*b = 2*k + 11. Suppose -k*r + 8 = -3*r. Solve 3*i + r*i + 10 = 0 for i.
-2
Let p be (-67)/(-4) + 0 - (-13)/52. Solve -p = 7*k - 3 for k.
-2
Let o = 41 - 43. Let p = 6 - 0. Let k = o + p. Solve -k*t - 1 = 3 for t.
-1
Let w(p) = -p + 10. Let o be w(7). Suppose 0 = -o*a + a. Let z be 104/54 - (-88)/1188. Solve -z = -a*q - q for q.
2
Let s be (-6)/4*588/(-126). Solve -2*u - 15 = -s for u.
-4
Let y(j) = j**2 + 29*j + 48. Let r be y(-28). Solve -r = -7*b + 2*b for b.
4
Suppose 0 = -5*y + 8 + 2, 2*y = 5*f - 6. Suppose f = p + 2*p + d, d = -2*p. Suppose -p*a - 8*b - 21 = -3*b, 0 = -3*a + 4*b + 26. Solve -4*m - 18 + a = 0 for m.
-4
Suppose 2 = 3*z - 4. Let a be (3 + (-2 - 13))*z/(-4). Suppose -i - 3 = -6. Solve 18 - a = i*f for f.
4
Let d(x) = x**2 + 12*x - 10. Let t be d(-17). Suppose -13*p = 2*p - t. Solve -p*y = -y for y.
0
Suppose -3*b + 4*b - 21 = 0. Let v = b + -16. Suppose v = 2*h - 5. Solve 2*f - h = 5 for f.
5
Let r be (-6)/(-21) - (2 - (-54)/(-7)). Suppose -11*b = -r*b. Solve -z + b = -1 for z.
1
Suppose -13*f = -22 - 56. Solve 39 - 9 = f*w for w.
5
Suppose 60 = 5*t + 5*g, -2*t = -0*t + 3*g - 28. Let m = t + -3. Suppose p + 3 = -f + 9, -4*p - 56 = -4*f. Solve -f = -m*h - 5 for h.
1
Suppose 2*r - 12 = 2*n - 2*r, 4 = r. Let m be 18/6*(-1 + n). Solve -m*h - 3 = 3 for h.
-2
Let g = 12 - 9. Suppose -3*y = 6*y - 9. Solve -g*x - 4 = -y for x.
-1
Suppose 4*i + 10 = 5*i - 3*p, i - 4*p - 12 = 0. Solve -2*w = 6 - i for w.
-1
Let r(b) = b**2 + 4*b - 5. Let c be r(-5). Suppose -5*z + 0 + 10 = c. Solve n + 3 = z for n.
-1
Let r(d) be the second derivative of d**5/20 + 2*d**4/3 + 7*d**3/6 - 14*d. Let b be r(-7). Solve u + b = 1 for u.
1
Let a = -13 - -16. Let j = a - 3. Suppose j*m = -3*m. Solve -b = -m*b - 1 for b.
1
Let r = -16 - -18. Let d = 18 + 12. Suppose 0 = 4*s + s - d. Solve s + 2 = -r*z for z.
-4
Let x be (-3 - 0 - -3)/2. Let n(s) = 3*s + 4. Let f be n(x). Solve f*a = a for a.
0
Let b(y) = 10*y - 14. Let c be b(-4). Let w = 54 + c. Solve 4*n - 1 + 5 = w for n.
-1
Suppose -27*p = -18*p - 36. Solve -7*c - 31 = p for c.
-5
Let d be 96/18 + 5/(-15). Solve 18 = -d*q - 2 for q.
-4
Let l(d) = -d**2 + 41*d - 176. Let x be l(36). Solve -18 = -13*y + x*y for y.
2
Let s(z) be the third derivative of z**5/60 + z**4/24 - 2*z**3/3 - z**2. Let u be s(2). Solve j + 6 = -u*j for j.
-2
Let p(a) = -a**3 + 8*a**2 + a - 8. Let q(s) = 3*s**2 - 5*s + 6. Let u be q(2). Let c be p(u). Solve c = 4*h - 3*h for h.
0
Let t be ((-39)/208*-4)/((-1)/(-12)). Solve 5*f = -6 - t for f.
-3
Let t = 22 - 18. Suppose t*g = -j + 29, 10 = j + j. Solve 2*n = g*n for n.
0
Let h(q) = -q**3 - 7*q**2 - q - 5. Let o be h(-7). Solve 5 - 1 = -o*z for z.
-2
Suppose 6*k = -63 + 75. Solve -k*p = 13*p + 75 for p.
-5
Let i(y) = -2*y**3 - 3*y**2 + 3*y - 3. Let c(l) = 2*l**3 - 5*l - l**3 + 5*l. Let g(n) = 3*c(n) + i(n). Let p be g(3). Solve p = -2*q + 4*q for q.
3
Let y be -4 - (-11)/(22/24). Solve 2*i - 4 + y = 0 for i.
-2
Let x be (-14)/(-56)*(-12)/(-1). Solve 0 = 2*v - x + 1 for v.
1
Let f(y) = -14*y + 99. Let b be f(7). Solve -12*i - b + 49 = 0 for i.
4
Suppose -4*s - 3*z = -2, -5*z = 2*s - 1 - 7. Let q be 1*13 - s/((-4)/16). Solve 3*d + 3 = -q for d.
-4
Let r be 9/((-54)/(-60)) + (0 - -3). Solve 12 = r*z - 16*z for z.
-4
Let b(x) = x**2 - 10. Let f be b(-4). Solve -5 = -f*p + p for p.
1
Let m(q) = q**2 - 4*q. Let a be m(5). Solve -a*k - 3 + 28 = 0 for k.
5
Let u(r) = 2*r**2 + 46*r - 92. Let f be u(-25). Solve -2*c - 18 = -f for c.
-5
Let l be (288/12 - 22) + 10*1. Suppose -2*n - 3 = -3*n. Let q(c) = c**3 + 4*c**2 + 2*c. Let s be q(-3). Solve -n*m + l - s = 0 for m.
3
Let g(d) = -86*d - 56. Let r be g(-1). Solve -10*m = -4*m + r for m.
-5
Let s(a) = -a + 35. Let g be s(25). Let k be (1 + (-6)/g)/((-16)/(-40)). Solve -3 = 2*w - k for w.
-1
Let z(w) = 2*w + 24. Let a be z(-13). Let t be 10/(-45) + 40/18 + a. Solve t*y = -3*y for y.
0
Let o(f) = -2*f**2 + 5*f - 3. Let x be o(2). Let n be ((-3)/2)/(x/2) - -1. Suppose 15 = w + 2*w. Solve -t + w*t = n for t.
1
Let z = 18 + -7. Suppose 16*v - 15 = z*v. Solve -v*j = 6 + 9 for j.
-5
Suppose -5*i + 3*i = -l - 4, -5*l + 16 = -i. Suppose 0 = -2*a - a + 5*r - l, 3*a - 16 = -5*r. Solve a*g - 4 = g for g.
4
Suppose 70*o - 80*o + 30 = 0. Solve o*u + 1 = 13 for u.
4
Let h(m) = 2*m**2 - 21*m + 43. Let y be h(8). Solve -27 = -6*q - y*q for q.
3
Suppose 3*s - 8 = -2. Suppose s*o = -5 + 13. Solve c = -c + o for c.
2
Let v(c) = 2*c**3 + c**2 - c + 2. Let x be v(2). Suppose -2*t = -5*j + x, -4*j + t = -5*j - 3. Solve -j = l + l for l.
-1
Let g(l) = l**2 - 29*l + 144. Let s be g(23). Solve 7*p - 2 = s*p for p.
2
Let f(r) = 7*r - 318. Let t be f(54). Solve 58*q - t*q = -4 for q.
2
Suppose 0 = d - 4 - 1. Let x(r) = r**2 + 25. Let w be x(0). Suppose -5*y + w - d = 0. Solve -2 - y = 2*l for l.
-3
Let l be 30*(40/(-12))/5. Let z = l - -23. Suppose 20 = -3*q - q, h + 4*q + 20 = 0. Solve h = z*j + j for j.
0
Let w = 50 - 50. Let a = 12 + w. Solve 0 = 7*u - 3*u - a for u.
3
Let h = 24 - -7. Suppose 0 = -6*i - h + 91. Solve -2*y = 3*y + i for y.
-2
Let j(s) = -2*s**3 + 9*s**2 + 3*s + 12. Let g be j(5). Suppose m - g = -m. Let n be (1/1)/(1/4). Solve -m - n = -k for k.
5
Suppose 13*x - 251 = 672. Let q = x + -68. Solve 2*g = q + 1 for g.
2
Suppose d + 7 = 4*k, 10*k = 7*k + 4*d - 11. Suppose -4*a + 23 = -k*f, 0 = a - f - f - 2. Let t = 18 + -10. Solve -4*h = -t*h - a for h.
-2
Suppose 0 = 4*d - 4*z + 12, -3*d - 29 = 2*d + 2