6)*(-30)/4. Let l be -24*(w/6 - 2). Solve l + 12 = k*b for b.
4
Suppose 4*d = -5*v + 1 + 11, -4*d = 2*v. Let g(k) = -k**3 + 7*k**2 - 7*k. Let n be g(v). Solve -6*f = -f + n for f.
-4
Let d = -982 - -984. Solve 15*m - 17*m = d for m.
-1
Let v be -3 + 1 - 40*1. Let x = -41 - v. Solve x - 3 = -2*i for i.
1
Let v be 2*(4 + (-4 - -1)). Suppose 5*w = v*q + 5 + 10, 9 = 4*q + 3*w. Let z = 5 - q. Solve -3*j = -2*j + z for j.
-5
Suppose 8 = 5*a - 3*q - 4, -3*a = -5*q - 20. Suppose 0 = -a*y + y - 16. Suppose -2*w - 12 - 8 = -4*j, 0 = -4*j + w + y. Solve -b + 2 = j for b.
-1
Let y = -7 - -15. Let z be y/6*(2 - -7). Let a = -4 - -6. Solve -k = a*k + z for k.
-4
Let v(g) = 2*g + 5. Let y be v(1). Let b(k) = k**3 - 5*k**2 - 15*k + 10. Let s be b(y). Solve 0*x + s*x + 15 = 0 for x.
-5
Let i be 12/7*(-98)/(-28). Solve 3*m + 0 = -i for m.
-2
Suppose -12*g - 36 = -9*g. Let v = 13 + g. Solve -v = -w - 5 for w.
-4
Suppose 3*r = -3*r + 18. Suppose p - 3*h = 0, p = r*p + 2*h. Solve p = -2*o + 6*o + 12 for o.
-3
Suppose 144 + 171 = -7*t. Let p = 50 + t. Solve 3*d + p = 2*d for d.
-5
Let r(g) = -7*g - 57. Let q be 0 - (3 - -4) - 2. Let v be r(q). Solve -2*c = -0 - v for c.
3
Suppose 0 = 4*z + 2*x, 23*x = -4*z + 22*x. Solve -c + z - 2 = 0 for c.
-2
Let i(y) = y**2 + 2*y - 2. Let w be i(-4). Let j be -3 - w*(-1)/2. Solve b - 3 + 8 = j for b.
-5
Suppose -2*z + 5*o + 5 + 9 = 0, 0 = -2*z + 4*o + 14. Suppose -z*i = -i - 24. Solve -s = -i*s for s.
0
Suppose -5*q = 6*q - 22. Solve q*n + 4 = -0 for n.
-2
Let x be -3*(-5)/(-6)*-2. Suppose 0 = -x*o + 205 - 25. Suppose 0 = -0*p - 2*p + o. Solve p = -5*r - 2 for r.
-4
Let i(y) = y**2 + 6*y - 4. Let o be i(-4). Let p = o + 14. Suppose p*t + 2*t = 3*j - 37, -t = 4*j - 62. Solve j = -0*f + 5*f for f.
3
Let k(y) = 6*y - 26. Let t be k(4). Let n be (t + 1 - -5) + -1 + 1. Solve 0 = -4*z - 0*z + n for z.
1
Let t = 15 - 11. Suppose -6*s + t*s = -10. Let n(c) = -c**3 + 19*c + 45. Let u be n(-2). Solve u = -s*r - 0*r for r.
-3
Let u = -25 + 25. Suppose p + 4*r + 16 + 0 = 0, 3*r + 12 = u. Let j be p*-1*4/12. Solve 0 = -j*k - k for k.
0
Let w be ((-6 + 9)*-1)/(6/8). Let r be 28/35 + w/5. Solve 3*k + 4 + 8 = r for k.
-4
Let x be 25/7 + (-15)/(-35). Suppose -3*y = -y - 4*p + 10, 5*y + x*p - 45 = 0. Solve -15 = 5*n - y for n.
-2
Let w(h) = 15*h**2 - 15*h - 17. Let u be w(-1). Solve 3*d - u - 2 = 0 for d.
5
Suppose z = 4*z + 24. Let d be 1 + z/20*-10. Solve r - d = -1 for r.
4
Suppose -58*d + 706 = -2484. Solve -4*o = 63 - d for o.
-2
Let y = -228 + 223. Let n(r) be the first derivative of r**3/3 + 3*r**2/2 - 10*r - 1. Let u be n(y). Solve 3*c - 1 - 14 = u for c.
5
Let s be (4 - (-10)/8)*8/3. Let n = 19 - s. Solve -n*a - 24 = 1 for a.
-5
Suppose -v = 3*c - 30, 0*v - 20 = -2*c + 5*v. Suppose 2*w - s = 4*s + 18, w - 5*s = 14. Suppose 4*m - 2*m = -2*b - 8, -w = b. Solve m = -8*a + 3*a - c for a.
-2
Let l be (-7)/((-7)/6) + -6. Solve 22*w - 25*w + 15 = l for w.
5
Let z be -1 - -1 - (-1 - 8). Suppose -209*n + 227*n = 144. Solve -n*j = -z*j for j.
0
Let w(l) = -2*l + 5. Let p be w(-6). Suppose -x - 4*g = 2*x + p, -4*g = 20. Suppose -2*o + 1 = t - o, o = t + x. Solve -5*n + 14 + 11 = t for n.
5
Suppose -22*d - 42 = -28*d. Solve 2*k - d*k - 15 = 0 for k.
-3
Suppose b + 4*b = 65. Let n = b + -11. Solve n*v = v for v.
0
Let d(n) = -8*n + 53. Let t be d(6). Let k be (8/t + -2)*-10. Solve 0 = o + k*o + 20 for o.
-4
Suppose -m - 2*m = -9. Let g be (6/(-15))/(-1)*5. Let j = m + g. Solve 0*q = -q + j for q.
5
Suppose -5*y + 132 = 2*j, -435 = -4*j - 5*y - 151. Suppose 0*a = -2*a - 4*c - j, -2*c = -3*a - 122. Let r = -35 - a. Solve 0*q = q + r for q.
-5
Let r(f) = f**3 + 15*f**2 - 6*f - 72. Let l be r(-15). Solve 7*p + 3 = -l for p.
-3
Let m be 24/9*18/12. Suppose -i = -m*h + 14, -2*i + 30 = 4*h + 10. Solve 0*a = -a - h for a.
-4
Let t(a) = -a - 8. Let r be t(-4). Let n be (-2)/r - 10/(-4). Suppose -2*q = n*q. Solve q = -2*k - 8 - 2 for k.
-5
Let x = 8 - 6. Let v(w) = -w**3 - 29*w**2 - 78*w + 6. Let d be v(-26). Solve -4*q - x - d = 0 for q.
-2
Let p be -1 - -3 - (-8)/(-4). Suppose 0 = -3*l - 2*q + 12, -2*l - 2*q - q + 13 = p. Suppose 2*o - 14 = -12*o. Solve l*s = -o + 11 for s.
5
Let a(g) = -127*g**3 + g**2 + g + 1. Let v be a(-1). Let r = v - 122. Let j(s) = -2*s - 5. Let p be j(-4). Solve -b = -p*b - r for b.
-3
Let b be (-48)/(-10) - (-3)/15. Suppose -2*o + 12 = -b*o. Let k be ((-8)/(-6))/(o/(-6)). Solve -r + 3*r = k for r.
1
Let z(y) = 2*y + 5. Let l be z(4). Let r be (-5)/(-10) + l/2. Solve -u - 2 = -r for u.
5
Suppose -3*s - 5*z + 39 = 0, -s + z - 3 + 24 = 0. Let x be 0*((-4)/s)/(8/(-12)). Solve 0 = -x*r - r + 4 for r.
4
Let q(f) = 2*f. Let d be q(3). Suppose 0 - d = -c. Solve 5*p - 1 = -c for p.
-1
Suppose -4*d - 2*l - 24 = 108, -2*d - 68 = 2*l. Let z be ((-72)/d)/(2/16). Suppose 2*p + 2*x = z, -2*p + 4*x - 1 = 5. Solve -4*w = -p*w for w.
0
Suppose -j = 3*r - 0*j - 13, 17 = 4*r + j. Suppose -20 = -r*f, 5*o - 15 = -2*f + f. Let v be (-1 + 2 - o)*-3. Solve v*m = -0*m for m.
0
Let r(q) = -q + 13 - 3*q**3 + 4*q**3 + 5*q**3 - 5*q**3 - 10*q**2. Let d be r(10). Suppose 0 = -d*w + 3 - 0. Solve 3 = 4*f - w for f.
1
Let w(p) = -p**3 - 20*p**2 - 38*p + 15. Let l be w(-18). Solve 13*j + 1 = -l for j.
-4
Suppose 27*p - 28*p - 7 = 0. Let j be (-33)/p - ((-18)/21)/3. Solve 2*k - j = -3*k for k.
1
Let c(m) = m**2 + 10*m + 3. Suppose 2*j + 26 = 2*a, 4*j + j + 4*a + 38 = 0. Let i be c(j). Suppose 11 = k + 2*w, i*k + 3*w - 9 = 30. Solve 4*y - k = 1 for y.
4
Let t be (-2)/2*(-38 - -31). Solve -4*v = t*v - 33 for v.
3
Let b be (-24)/(-96)*(-5 + 5). Solve -18*v - 49 + 31 = b for v.
-1
Let j = 96 + -100. Let a(h) = 2*h**3 + 7*h**2 - 9*h. Let f be a(j). Solve 3*y + y + f = 0 for y.
-5
Let d(o) = -o**2 + 8*o. Let c be d(7). Let x(p) = -p**2 + 10*p - 11. Let z be x(c). Solve -3*t = -5*t + z for t.
5
Let r(o) = -o**2 + 17*o + 4. Let j = -8 - -25. Let k be r(j). Solve 0*d + k = 2*d for d.
2
Suppose 0 = -3*j + 3 + 9. Let m be ((-15)/j)/(3/(-8)). Let a = 12 - m. Solve 3*r - a*r = 4 for r.
4
Let l be (2 + 3)*-4*(-12)/48. Solve 11*k = -l - 17 for k.
-2
Suppose 5*d = -5*m + 20, -1 = -2*m - 3. Suppose 3*l = 5*z - 11, -5*l - 5*z + 13 = -22. Let o be 7/(-21) - (-22)/l. Solve -d*p = -o + 2 for p.
1
Let v be 78/65*(-10)/(-6). Solve 0 + 8 = -v*b for b.
-4
Suppose -3*p + l + 2*l - 18 = 0, 0 = -2*p - 5*l + 23. Let r(f) = 4*f**2. Let n be r(p). Let y = 8 - n. Solve -4 = y*q - 2*q for q.
-2
Let z(u) be the first derivative of -u**3/3 - 3*u**2 + 2*u + 2. Suppose 26 = -5*l - 4. Let v be z(l). Solve 0 = -v*a - 8 for a.
-4
Let f(j) = -j**2 - 6*j + 3. Let x be f(-3). Solve -27 - 21 = x*g for g.
-4
Let z(v) = v**2 + 16*v + 30. Let f be z(-14). Solve -3*x = f*x for x.
0
Let h be (0 - -1)*-3*(-8)/(-6). Let t be 10/(-15)*(h - 2). Solve -m + t = 3*m for m.
1
Let l = -51 - -56. Solve -d + 2*d = l for d.
5
Let f = 0 - -3. Suppose -l = f*l. Suppose -2*c - 2*d + 8 = l, -3*c + 8*d - 3*d = 20. Solve c = -3*o - o - 16 for o.
-4
Let q(y) = 4*y + 9. Let c be q(-1). Let v = 0 + 1. Solve -c*d = 4 + v for d.
-1
Let k(q) = q**3 - 19*q**2 - 44*q + 44. Let b be k(21). Suppose g - i = -3*g + 13, -2*g = 5*i - 1. Solve g*n - 5 = -b*n for n.
1
Let x = -74 + 132. Let v = x - 53. Let z be ((-2)/(-1) - -1) + 2. Solve z*l - 10 = v for l.
3
Let i = -116 + 60. Let o = 56 + i. Solve o = -2*q - 3*q for q.
0
Let d = 5 - 3. Suppose 4*l + 4*s = -12, -2*s - 20 = d*s. Suppose q - 12 = l. Solve -1 - q = 3*a for a.
-5
Suppose 544*f - 555*f + 165 = 0. Solve -18*y = -f*y - 6 for y.
2
Suppose -2*o = -0*o. Suppose -h + o*h = -3*p + 38, 4 = -2*h. Suppose -24*a = -20*a. Solve -d - 2*d + p = a for d.
4
Suppose 0 = -5*o + o - 92. Let k = 27 + o. Solve -k*m - 4 - 12 = 0 for m.
-4
Suppose -82*k + 742 = -242. Solve 6*y = -k + 36 for y.
4
Suppose -4*u + 5*u + 313 = 3*n, 2*u = 10. Let k = n - 104. Solve -k - 2 = -2*b for b.
2
Let d(t) = -t**2 - t + 1. Let k(u) = -5*u**2 + 8*u + 28. Let o(h) = 6*d(h) - k(h). Let n be o(-12). Solve n*s = -s for s.
0
Let r(z) be the first derivative of -z**3/3 - 7*z**2 + 21*z - 30. Let b be r(-15). Solve 3*s = b*s + 3 for s.
-1
Let y(t) = t**3 + 32*t**2 - 67*t + 62. Let d be y(-34). Solve -d = 13*n - 6*n for n.
-4
Let x be 1 + -1 + (2 - (5 + -4)). Suppose 8 = 3*t + t. Solve -t + x = -v for v.
1
Let a = 258 + -171. Let