a - 8 for x.
2
Suppose 53*t = 55*t - 4*u - 8, 5*t - 8 = 4*u. Solve -144*b + 147*b + 9 = t for b.
-3
Let b be (-3)/4*(-1340)/201. Solve -2*g - b*g - 14 = 0 for g.
-2
Let w(x) = 7*x + 3. Let u be w(6). Suppose l + 22 = u. Let q = -19 + l. Solve 4*t = 12 + q for t.
4
Let f = 156 - 150. Let i be (6 - f)*(-1)/(-2) - 0. Solve -3*m + 9 = -i for m.
3
Let o = -13956 + 13976. Solve o = -44*d + 54*d for d.
2
Let p = -75 - -96. Let a be (p - 20)/((-2)/(-10)). Solve 6*o = a*o - 4 for o.
-4
Let b(x) = -5*x - 4. Let o be b(-2). Let f be (-1 - 10/(-4)) + 184/16. Suppose -3*t + 3 = n, t - 6*t = -n - f. Solve -o*z = -t*z + 16 for z.
-4
Suppose 0 = 148*r - 153*r + 20. Suppose 4*t - 12 = 0, -r*x + 2*t + 325 = t. Suppose -4*p = -3*w - 65, -5*p - w = -5*w - x. Solve -4 + p = -5*s for s.
-2
Let y = 130 + -126. Let d be ((-4)/14)/(y + 171/(-42)). Solve 4*o + 0 + d = 0 for o.
-1
Let o = 3241 - 3238. Solve -13 = 8*s + o for s.
-2
Let d(s) = -8*s + 136. Let a be d(12). Solve 13*q = a*q - 162 for q.
6
Let q = 5179 - 5155. Solve q*o - 56 = 10*o for o.
4
Let x be (-14)/((-112)/360) - 5. Suppose 0 = 55*d - x*d - 30. Solve d*u = -2 + 4 for u.
1
Let d be 20 + -10*(39/(-10) - -4). Solve -d = 8*v - 75 for v.
7
Let k = 5 - 7. Let f be 84/1 - (-10)/k. Let u = f + -76. Solve l = u*l + 6 for l.
-3
Suppose -70*m + 2367 = -19*m - 4416. Solve -179*t + m = -160*t for t.
7
Let p be ((-50)/30)/(175/(-315)). Suppose 0 = 5*w - 2*w - 3. Suppose 3 = 2*a - w. Solve 0 = a*g - p*g for g.
0
Let p = 164 - 89. Let i be (-62)/(-10) + (-15)/p. Suppose -i*r + 9 + 33 = 0. Solve 4*h + r + 1 = 0 for h.
-2
Let k(a) = a**3 - 3*a**2 + 4*a + 2. Let d(t) = 2*t**2 - 5*t - 5. Let z be d(-1). Let l be k(z). Solve 7*n - 5*n = l for n.
3
Let b be ((-6 - 6) + -57)/(1/5). Let w = 346 + b. Solve 5 = 3*x - w for x.
2
Let r = -19143 - -19154. Solve -9*w = 11 - r for w.
0
Let l(i) = 2*i**2 - i - 1. Let o be l(-1). Suppose 4*h - 18 = -v - 2*v, -6 = -o*h - 3*v. Suppose 836*w = 834*w. Solve w = k + k + h for k.
-3
Let z(l) = l**2 + 33*l - 60. Let f(d) = -d**2 - d - 1. Let g(s) = -3*f(s) - z(s). Let m be g(13). Solve 13*y - m*y = -4 for y.
-2
Let r = -4 - -7. Suppose 8 = c - 4*b, 0 = -3*c + 5*c + 5*b - 29. Suppose 16 = 4*y - 4*w, 0 = -7*w + 3*w + c. Solve r - y = -4*a for a.
1
Suppose -4*p + 27*c - 31*c = -128, -3*p = -4*c - 68. Solve 116 = -y - p*y for y.
-4
Let n(m) = -15*m**2 + 14*m - 11. Let p be n(5). Let j = 317 + p. Solve h = 3 + j for h.
4
Suppose y + 3*h = 2*y + 12, 5*y - 10 = h. Suppose 82*v - 814 = -325*v. Solve 0 = y*g + v*g for g.
0
Let v(f) = f**3 - 7*f**2 - 7*f - 9. Suppose -45*c + 37*c = -64. Let m be v(c). Let w(r) = -2*r**2 - r + 2. Let q be w(m). Solve -3 - q = h for h.
-4
Suppose 3*n = 7*n - 8. Suppose 0*j = -3*i - 3*j - 30, 0 = i - n*j + 1. Let k(f) = -6*f - 40. Let w be k(i). Solve 3*c + w*c + 5 = 0 for c.
-1
Let r be -504*4/(-10)*-5*(-34)/136. Solve 22*b + r = -6*b for b.
-9
Let n(r) = -13*r**3 + 2*r**2 + 13*r - 13. Let p be n(-3). Solve p*g - 309*g = 16 for g.
2
Let z be ((-200)/(-20))/(25/185). Solve -19*a = -z*a - 220 for a.
-4
Let k = -3 - -7. Suppose 0 = -5*l - 0*l - 185. Let r = l - -61. Solve -8 = -k*w - r for w.
-4
Let w be 50/35 + 90/35. Solve -3*n - 6 = -w*n for n.
6
Let h(z) be the second derivative of -z**5/20 - z**4/4 - z**3/3 - 3*z**2 + 12*z. Let o be h(-3). Suppose 0 = 2*p - 4 - o. Solve 2*k + p*k = 0 for k.
0
Let r be (-10*3/(-60))/(1/14). Let v(c) = -c**3 + 11*c**2 - 27*c - 3. Let m be v(r). Suppose 20 = -5*u + 65. Solve u*y = m*y for y.
0
Let v(d) be the first derivative of 13*d**3/3 + d**2/2 + 2*d - 466. Let n be (-12)/15 + 2/(-10). Let l be v(n). Solve 5*g = -4 + l for g.
2
Let g = 245 + -253. Let h be 224/104 - g/(-52). Solve -h*j = -6*j + 4 for j.
1
Suppose -t - 2*t + 2*m = -64, -16 = -2*t - 4*m. Suppose -9*z + t = -9. Suppose -2*c = -1 - z. Solve c*q = 7*q for q.
0
Let p(h) = 4*h + 116. Let g be p(-28). Suppose -g = 2*d - 2*y, -2*y + 2 + 4 = 0. Solve d = -5*s - 19 for s.
-4
Let f(v) = v**3 - 21*v - 2. Let d be f(4). Let m be 4/d - -52*39/143. Solve -m*j = -17*j - 15 for j.
-5
Suppose 5*l = -4*a + 20 + 27, l - a - 4 = 0. Solve 2 = -l*d + 30 for d.
4
Suppose 84 = 2*m + 12*m - 168. Solve 0 = 3*o + 3*o - m for o.
3
Suppose -2*i = 302 - 26. Let j = 170 + i. Solve 0 = -2*b + 10*b + j for b.
-4
Let q(s) = s**3 - 16*s**2 + 42*s - 8. Let z be q(13). Solve -z = 13*n - 31 for n.
0
Let g be (-7725)/225 + 4/(-6). Let n be (-21)/g - 34/(-10). Solve n = 7*y - 3*y for y.
1
Suppose 0 = -118*g + 123*g + 65. Let f be 6 + g - (-38 + 1). Solve -f*w + 33*w = 0 for w.
0
Suppose 84 = 3*v - 4*x + 58, 5*x - 76 = -4*v. Solve -v = -u - 13 for u.
1
Suppose -565 = -5*b - 170. Solve 33*m - 244 = -b for m.
5
Suppose 4*r = 2*x - 0*x - 44, 0 = -3*r + 4*x - 38. Let a be 2/(-9) - r/45. Solve a = -0*h - 4*h + 6*h for h.
0
Let w be (-3 + 8)/((-2)/(-6)). Let p = w + -7. Suppose 601*a - 5 = 161*a - 5. Solve a*j = -2*j - p for j.
-4
Let l(c) = c**2 + 9*c + 18. Suppose 72 - 23 = -7*v. Let x be l(v). Let w be 3 - x/(4/2). Solve 0 = -d + w - 6 for d.
-5
Let j be -100 + 5/(15/(-6)). Let n = j - -152. Solve 4*z + n = 30 for z.
-5
Suppose 0 = -7*w - 221 + 60. Let s = -15 - w. Let r be (-3 + 1)/((-4)/s). Solve r*f = -f - 25 for f.
-5
Let p = 640 - 564. Let f = p + -62. Solve -6*n - 4 = f for n.
-3
Let j(a) be the third derivative of a**5/30 - a**4/6 - 2*a**3 - 242*a**2. Let s be j(-2). Solve v = -s + 3 for v.
-1
Suppose q = -4*g + 250, -28*q + 33*q - 5*g = 1200. Solve 18 = 251*m - q*m for m.
2
Let g = -443 + 439. Let k(y) = y**2 - y - 3. Let w be k(g). Solve 4*a - w = -1 for a.
4
Suppose -2*d = 14, d - 3*d - 252 = -2*s. Solve s = 13*o - 30*o for o.
-7
Let a(h) = -h**2 - 20*h - 39. Let r be a(-17). Solve 0 = 8*t + r*t + 60 for t.
-3
Suppose 0 = -2*t + 3*q - 8, 2*q + 18 = 3*t + 5*q. Let a be (t + -1 - -1) + 2. Solve -9*d + a*d - 15 = 0 for d.
-3
Let y(k) = -10*k**2 - k**3 + 0*k**3 + k**2 - 8*k + 14 + k. Let o be y(-8). Suppose o = -q - 2*s, -3*q = -0*q - s - 10. Solve q*w = -w - 15 for w.
-5
Let a = -317 - -330. Let d(p) = -5*p + 83. Let x be d(a). Solve 4*r - x = -2 for r.
4
Let w = 17819 + -17812. Solve 0 = b + w + 2 for b.
-9
Let y(f) = f**3 + 9*f**2 - 13*f - 20. Let r be y(-10). Let j be 6/4 + 5/r. Solve -9 = c + j*c for c.
-3
Suppose -10*j - o + 1439 + 82 = 0, 3*j - 2*o - 454 = 0. Solve 109*x = 90*x + j for x.
8
Let u be ((-108)/63)/(((-4)/14)/2). Suppose -7*q + 2 = -u. Suppose q*x - 6 = 0, m + x = 1 + 5. Solve -1 - 5 = -m*n for n.
2
Let s(m) = 6*m**2 - m. Let p be s(-1). Suppose 9 = p*c - 12. Solve -4 = -t - c*t for t.
1
Let h be (-279)/(-27) + (-2)/6. Let i be 5*h/(-75)*-3. Let k be -2 + i*(-34)/(-4). Solve 6*p = p - k for p.
-3
Let n = -27 - -86. Suppose 0 = 3*u - 46 - 131. Let z = u - n. Solve s = -2 - z for s.
-2
Let k(f) = 3*f**2 + 11. Let z be k(-3). Suppose -162 = -z*w + 20*w. Solve d - 5 = -w for d.
-4
Suppose -6*j - 5*j + 1584 = 0. Let s = 164 - j. Solve -o = -6*o + s for o.
4
Let r = -232 - -234. Let y be (-180)/(-10) + r/(-2 - -4). Solve -y*d - 20 = -14*d for d.
-4
Let j be 253/(-92) - (-10)/(-8). Let k be 6/j*(13/(-3) + 3). Solve -d + 0 = -k for d.
2
Let d = 25 + -37. Let c(u) = 9*u**2 - 9*u + 44. Let j(r) = -5*r**2 + 4*r - 22. Let m(l) = -6*c(l) - 11*j(l). Let k be m(d). Solve 4*a + 10 - k = 0 for a.
-2
Suppose 53*y - 47*y = -648. Let o = y - -131. Solve -7*k - 5 = o for k.
-4
Suppose a - 183 = -4*x, 0*a + 535 = 3*a + 5*x. Let c = -170 + a. Solve 0 = -2*j - c - 3 for j.
-4
Suppose 0 = -16*b + 36*b + 22*b + 18*b. Solve -10*i - 39 - 21 = b for i.
-6
Let d be 179 - (-8 + -4 + 5). Suppose -184*i - 6 = -d*i. Solve -i*v + 9 = -0 for v.
3
Let p = 26 - 54. Let b = 5073 + -5040. Let v = b + p. Solve 4 = -v*f + 4*f for f.
-4
Let r = 2563 + -2391. Solve r - 175 = 3*g for g.
-1
Let b be (18/27)/(3/477). Let q = b + -98. Solve q - 12 = 2*f for f.
-2
Suppose 3*k - 2*b = 5, -4*k + 7*k - 40 = -5*b. Suppose -k*q + 2*d = -24, 2 - 5 = -d. Let o be ((-4)/q)/((-5)/30). Solve -o*c + 5 = -11 for c.
4
Let t(c) = 6*c**2 - 35*c - 6. Let p be 4/(-7)*126/(-12). Let q be t(p). Let n be (-5)/(1*(-2 + 1)). Solve n*d = 5 - q for d.
1
Suppose -2*i + 5*l = -29, -2 = -3*l - 17. Let a = i + 0. Let b(c) = -c**2 + 683*c - 3390. Let x be b(5). Solve x = a*w - 2 + 8 for w.
-3
Let m(z) = -2*z**2 + 9*z + 104. Let k be m(6). Solve -8*l - k + 78 