 k - 3 for b.
5
Let v(a) = -a**3 - 17*a**2 - 6*a - 24. Let n be v(-17). Let m = n - 82. Let b(q) = -2*q**2 - 8*q + 2. Let u be b(m). Solve 3 = -y + u*y for y.
3
Let d be ((-12)/18)/((-2)/3). Let u(i) be the third derivative of i**4/24 + 2*i**3/3 - 15*i**2 - 2*i. Let q be u(d). Solve q*l - 4*l = -3 for l.
-3
Let b be 0 + 23*(5 + -4). Let h be ((-50)/8)/(b/(-92)). Solve 3*v - h = -19 for v.
2
Let s = -20002 + 20098. Solve 59*b + s = -22 for b.
-2
Let i = 2403 + -2399. Let s(g) = -6*g + 8. Let t(h) = -7*h + 9. Let v(k) = 5*s(k) - 4*t(k). Let l be v(-6). Solve -i = 4*x - l for x.
3
Let q = -14726 + 14838. Solve -29*a - q = 62 for a.
-6
Suppose 0 = -36*c - 229 - 23. Let j(i) = -19*i - 133. Let p be j(c). Solve 4*g = -p*g - 4 for g.
-1
Let d(h) = h**3 - h**2 - h - 2. Let l be d(2). Let x be (-3)/(-7) + 220/140. Suppose k + 2*k = -x*g + 23, 3*g - 2*k = 15. Solve l = g*c - 3*c - 16 for c.
4
Let h(k) = 1938*k + k**3 - 8*k**2 - 1959*k + 10 + 0*k**3. Let f be h(10). Solve f*m = 3*m + 15 for m.
-5
Suppose 4*x + 5 = 17. Let o = -127 + 131. Solve -o*a - 3 = -x*a for a.
-3
Let j = -4261 + 4284. Solve -j*f - 72 = -5*f for f.
-4
Suppose -2*t = 4*a - 7*t - 32, 0 = 2*t + 8. Let g be -4 - 4*(a - 4). Solve 5*z - 20 = -g*z for z.
4
Let t be -8 - -19 - (1 + -17)/4. Suppose 51 = 6*c + t. Solve -c*h + 7*h = 0 for h.
0
Let l = 842 - 758. Suppose d - 3*k = l - 90, 8 = -2*d + 5*k. Solve -2*z - 4 = -d for z.
1
Suppose -19*q + 17*q = -41*q + 78. Solve q*i - 4*i - 10*i = 0 for i.
0
Let t = 509 + -509. Suppose t = 31*l - 35*l - 4*p + 64, -3*p = -9. Solve 9*m - l*m + 8 = 0 for m.
2
Suppose 0 = 23*a - 22*a. Suppose a*h - 3*h + 3*j = 45, 3*h + 46 = 4*j. Let t be 60/140 - (-6)/h. Solve t = -4*k + 10 - 26 for k.
-4
Suppose -2*n + 68 = -g, 161 = 5*n + 41*g - 45*g. Solve 100 = -12*a + n*a for a.
4
Let n(i) = -12*i - 735. Let x(g) = 2*g + 105. Let j(c) = -2*n(c) - 15*x(c). Let z be j(-18). Solve 0 = -z*b + 7*b + 8 for b.
-2
Suppose -4*w + 1267 = -3*n + w, 2*n + 5*w = -803. Let h = 437 + n. Solve -6*t + h + 7 = 0 for t.
5
Let q(a) = -a**2 - 2*a. Let i be q(-2). Suppose -5912 = -580*k - 898*k. Solve i = k*g + g - 0*g for g.
0
Suppose 8*i - 39*i + 1770 = -741. Solve i = -4*n + 101 for n.
5
Suppose 2*w + o + 32 = 9*o, 0 = -4*w - 4*o + 16. Solve w = 317*s - 322*s - 20 for s.
-4
Suppose -233 = -4*q + 255. Let p = -122 + q. Let z = 3 + -3. Solve -j + z - 2 = p for j.
-2
Let i(v) = v**3 - 15*v**2 + 3*v + 75. Let h be i(16). Solve 7*o = -344 + h for o.
5
Suppose -r + 245 = 5*a, -1 = 5*a - 6. Suppose -3*k + r = 9*k. Solve t - k = -3*t for t.
5
Let t(f) = -f**3 - 6*f**2 - 5*f. Suppose 5*r - 28 = 2. Let a be r/2 + (-72)/9. Let x be t(a). Solve -3 + x = h for h.
-3
Let i(l) = l**3 - 7*l**2 - 10*l + 9. Let k be i(7). Let j be (-47 - -3)/((-10)/15). Let w = j + k. Solve -w*f = -f for f.
0
Let l be (3/(-2))/((-2)/5 - 33/30). Let r(n) = 2*n**2 - 3*n. Let w be r(2). Solve -w = -o - l for o.
1
Let m(d) = d**3 - 14*d**2. Let b be m(14). Suppose b = 4*j - 6*j. Suppose j = n - 0 - 3. Solve -4 + 1 = n*k for k.
-1
Let p = 19 + -8. Suppose 216*j = 2410 - 250. Solve -p*v - j = -6*v for v.
-2
Suppose 248*w + 2151 - 2151 = 0. Solve w = -96*v + 79*v + 17 for v.
1
Let o(w) = 57*w + 3. Let m be o(1). Let p be m/35*(-3)/((-30)/35). Solve 0 = 9*b - 6*b + p for b.
-2
Suppose 55*a - 64*a = -18. Let u be 18/(a + (-6)/12). Solve -5*h + 7 = u for h.
-1
Let d be (-1 - (-52)/(-28)) + 3/(-21). Let j be 5 - ((-8)/d)/(24/36). Solve -3 = -4*p + j for p.
1
Suppose 2*i - 3 + 11 = -2*g, 3*g - 18 = 3*i. Let r = 99 + -101. Let y be r + 1 - (-5 + 6 - 9). Solve -4*t + g = -y for t.
2
Let s(b) = 25*b - 67. Let h be s(3). Suppose -5*m + h*k = 4*k - 57, 5*k + 16 = 2*m. Solve 9*v = m*v + 4 for v.
-1
Let a(r) = -8*r + 140. Let y be a(11). Suppose -u - y = -55. Solve 0 = -u*w + 12 - 27 for w.
-5
Suppose 21 = -11*n - 89. Let w be n/65 + (-10)/(-65). Solve r + 2*r = w for r.
0
Let o = -196 + 167. Let r be 10*1 - (-29 - o). Solve 3*l = l - r for l.
-5
Let r = -7076 - -7085. Solve 38*v - r = -47 for v.
-1
Let y = 195 + -188. Suppose -4*h - v + 5 = 0, y*v - 5*v = -5*h + 4. Solve h*j - 5 = -3*j for j.
1
Let m(d) = 122*d - 13406. Let z be m(110). Solve -70 = z*u - 0*u for u.
-5
Let w be 245/(-85) + (-4)/34. Let q(v) = 2*v**2 + 14*v - 23. Let y(h) = h**2 + h - 1. Let o(g) = w*y(g) + q(g). Let p be o(6). Solve -p = n - 5 for n.
-5
Let s = 262 - 50. Let u = 217 - s. Solve -z = 3 - u for z.
2
Let x be (-1)/(38/(-6) - -3 - -3). Suppose 3*t = 6, 3*t = 26*g - 28*g + 18. Solve 0*u - g = x*u for u.
-2
Let v be -4 + 3 - (-11 + (-39 - -5)). Solve 11*b + 0*b + v = 0 for b.
-4
Suppose 13 = -10*c + 53. Suppose q = p + 14 - 2, -c*p - 38 = -3*q. Suppose q = 2*u + 2*g, 3*u - 3 = 2*u - 2*g. Solve 5*l - u*l = -8 for l.
4
Suppose -6*k + 3 = -3. Let n be k/(-2) - 258/12. Let h = -18 - n. Solve 0 = -h*p + 12 - 0 for p.
3
Let t(u) = -u + 11. Let f be (1/3)/((-17)/(-153)). Let p be t(f). Solve 2*l - p*l + 30 = 0 for l.
5
Let y be ((-12)/15)/(6/55)*-3. Solve -8*x + y = 22 for x.
0
Let b be (-1)/(-2) + (18018/(-36))/(-13). Solve b*q - 14 = 53*q for q.
-1
Suppose -4*j + 1 = 2*q + 3, 40 = 5*q + j. Let f = -11 + q. Let z = 1 - f. Solve 0*d - 3*d - z = 0 for d.
-1
Let k(o) = -3*o**3 - 9*o**2 + 13*o + 80. Let x be k(-7). Suppose -x + 581 = 2*h. Solve h*c = 4 - 10 for c.
-3
Let n be (-4)/22 - (-1)/(33/72). Suppose -2*k = 4*m - 10, -4*m = -5*k - 19 + n. Let a be (-6)/(-21) - 216/(-28). Solve a - m = -5*r for r.
-1
Suppose -7*y - 2676 + 2900 = 0. Let a(d) = -d**3 - 4*d**2 - d + 2. Let u be a(-5). Let l = u - y. Solve l = -c - c for c.
0
Suppose -126*p = 87*p - 5325. Solve -p*f - 14*f = 78 for f.
-2
Let v(k) = 10*k**2 - 50*k - 6 + 9 - 6*k**2 - 2*k**2. Let l be v(25). Solve 31 = 7*c + l for c.
4
Let o(d) = -d**2 - d + 48. Let c be o(6). Solve 420*q = 419*q + c for q.
6
Let k(c) = 172*c + 1728. Let f be k(-10). Solve -18*d = -f + 26 for d.
-1
Let n(v) = -9*v**3 - 88*v**2 + 13*v + 16. Let b be n(-10). Solve -65*o = -b*o + 126 for o.
6
Let q(r) be the first derivative of r**4/4 + 2*r**3 - 5*r**2/2 - 19*r + 112. Let d be q(-6). Solve 0 = 5*n - d + 1 for n.
2
Let v(f) = 17*f + 1092. Let r be v(-50). Solve 12*s + 302 = r for s.
-5
Let d(j) = -j**2 + 26*j - 153. Let n be d(9). Solve n = 15*f + 83 + 7 for f.
-6
Let u be (1394/2)/(-5 - -4). Let v = u + 715. Solve -3*f - 6*f = v for f.
-2
Let s be 0/(-1)*11/(-33). Let h be s/((-2 - 2)/4). Suppose -5*x = n - h*n - 40, -5*x - 5*n = -20. Solve -g = 2*g - x for g.
3
Let t(b) = b**3 + 37*b**2 - 37*b + 53. Let o be ((-68)/68)/((-2)/(-76)). Let d be t(o). Solve 0*m - d = -3*m for m.
5
Let v be (7*(-247)/(-1001))/((-3)/(-33)). Solve 16*z = -v*z - 70 for z.
-2
Let i(c) = 2*c**2 + c - 2. Let q be i(-2). Suppose -5*y = y - q*y. Solve y = -2*t + 3*t for t.
0
Suppose 0 = -12*f + 1315 - 331. Solve -f*y - 95 = -13 for y.
-1
Suppose -8*w - 8 = -9*w. Let c(q) = 2*q - 12. Let p be c(w). Let l = 19 - 14. Solve p*d - 13 = -l for d.
2
Let t(o) = -3*o**3 - 3*o - 3*o - 1 + 2*o**3 + 5 - 5*o**2. Let m be t(-3). Let c be 12 + (0 - (4 + -2)). Solve 3*l + c - m = 0 for l.
-2
Suppose -2*z + 2*x = 230, -3*z + 2*x = 165 + 185. Let o be (-4)/(-6) - (-32)/(-12) - z. Let b = 122 - o. Solve y - 5 = -b for y.
1
Suppose 7140 = -c + 15*c. Let w be (-18)/(-5)*c/153. Solve 14*z = 11*z + w for z.
4
Let z(j) = -j**3 - 7*j**2 + 8*j. Let q be z(-8). Suppose -3*f - 985 = -994, 0 = -4*s - 3*f + 49. Solve s*p + 2 + 8 = q for p.
-1
Suppose -23*q - 33*q = 50*q - 1696. Solve 70*j - q*j - 324 = 0 for j.
6
Suppose 6*k = 7*k + 3*m + 311, -969 = 3*k - 3*m. Let j be (-3)/(24/k*4). Solve 0 = j*a - 5*a for a.
0
Suppose 5293*q + 5148 = 5345*q. Solve -91*a = -q*a + 24 for a.
3
Let c = -6539 + 7265. Solve -734*k = -c*k - 56 for k.
7
Suppose -3*r = 5*i - 136, 0 = -4*r - 4*i + 165 - 5. Solve 11*u + r = 98 for u.
6
Let n(z) = z**3 - 13*z**2 - 11*z + 25. Let l be n(14). Let p = 71 - l. Solve -p*j = -2*j for j.
0
Let b be 202*(2 + 15/(-10)). Let u = -100 + b. Suppose -l - u = -2*l - s, s + 3 = l. Solve l + 0 = 2*d for d.
1
Let g = 15 - 18. Let f be 15/6 - g/6. Let y(l) = 65*l - 45. Let u be y(1). Solve -u + 5 = -f*q for q.
5
Let i = 908 - 891. Solve -10*b = -i + 57 for b.
-4
Suppose 25*j - 29*j - 8 = 4*o, -j + 2 = 2*o. Let x = 14 + 2. Suppose v + x = -4*g, -2*v + 3*g = -19 - 4. Solve -v*u + o = -5*u