for t.
-1
Let j(g) = -155*g - 1673. Let a be j(-11). Solve 0 = -2*l - a + 38 for l.
3
Let c = 85 + -76. Let k = c + -9. Suppose -3*d = -6*d + 12. Solve d*w + k*w = 0 for w.
0
Let d(z) = -2*z**3 + 51*z**2 + 134*z + 213. Let k be d(28). Solve 22*u + k = 13*u for u.
-5
Suppose 3*k = -2*s + 48, 0 = -5*s + 159 - 129. Solve -k*x - 40 = -112 for x.
6
Let x be -3*1 - (-4 - 1). Suppose -4*c + 23 = -5*t, 5*t = -x*c + t + 18. Solve -5*b - c*b = -6*b for b.
0
Let t(p) = -2*p**2 - 22*p - 17. Let h be t(-10). Suppose 4*y + 5*f = -2, -h*y = -5*f - 21 + 5. Let u be 3*-1*(y - 3). Solve c + u = -0 for c.
-3
Let f(o) = -o**3 - 5*o**2 + o + 7. Let s be f(-5). Suppose 5*a + 480 - 495 = 0. Suppose -w = 3*j - 25 - 2, a*w - s*j = 48. Solve 5*c - 3 = -w for c.
-3
Let r(v) = -v**2 + 76*v - 5. Let x be r(76). Suppose z - 7 = -2. Let i be (-6)/x*z/2. Solve i*w + w = 0 for w.
0
Let f(k) = 37*k**2 - 5*k + 4. Let y be f(1). Solve y*j - 3 = 35*j for j.
3
Suppose -3*r + 4*h + 717 = 0, -3*r - 4*h - 26 = -743. Suppose r = 8*g + 111. Suppose v + 2 - 9 = 0. Solve -3*t = -v*t - g for t.
-4
Let n(o) = 17*o - 307. Let u(l) = 1. Let k(z) = n(z) + 3*u(z). Let r be k(18). Solve -w - r = -4 for w.
2
Let y = -294 - -313. Solve y + 2 = -7*c for c.
-3
Let c(u) = -5*u**2 - u + 99. Let t be c(4). Solve -t*v - 142 + 142 = 0 for v.
0
Let p(c) be the third derivative of c**6/120 + c**5/30 + c**4/24 - 24*c**2. Let t be p(2). Solve -21*a = -t*a - 3 for a.
1
Let t(f) = -f**2 - f + 6. Let k be t(0). Suppose -137*v + 7*v = 6*v - 272. Solve -v = -k*u + 4*u for u.
1
Suppose 750 = 12*w - 4*i - 310, -5*w + 5*i + 465 = 0. Solve -w*x - 22 = -75*x for x.
-2
Let g(r) = -49*r - 2008. Let n be g(-42). Solve -212 + n = 27*i for i.
-6
Let i be 4/10 + (132/55)/(-6). Solve i = -3*o - 39 + 45 for o.
2
Let h be 4*((-2)/(-4))/((-3)/(-6)). Suppose 0 = -n + 4*p - 4, 4*p = -n - 0*n + h. Suppose 6*b + b = n. Solve 2*u = -b + 2 for u.
1
Let q = -5906 + 5925. Solve q = -z + 13 for z.
-6
Let y(c) = c**3 + 5*c**2 - 15*c - 3. Let i = 67 + -74. Let h be y(i). Solve -h*q - 9 = -q for q.
-3
Let v be (7 - 9)*(-6)/4. Let i = -18690 + 18710. Solve -8*x + i = -v*x for x.
4
Suppose 4*x - 7*x + 5*s = -70, 94 = 3*x + s. Solve x = -404*r + 398*r for r.
-5
Let z = -3899 - -3978. Solve z*q = 95*q + 80 for q.
-5
Let s(o) = o**3 - 46*o**2 + 248*o - 80. Let m be s(40). Solve 0 = -5*a - 220 + m for a.
4
Suppose 0 = 3*w + 2*r - 790, 8*r = 10*r - 10. Let i = 263 - w. Solve 0 = -2*d + 5 - i for d.
1
Let w(u) = 2*u - 1. Let j be w(2). Suppose 4*x + j - 11 = 0. Let b be ((-13)/(-26))/(x/12). Solve p = -b*p for p.
0
Let l(a) = 113*a + 3308. Let k be l(-29). Solve 4*b - 19 = -k for b.
-3
Let s be (-2)/(10/(-15)) - (-1 - 7/7). Suppose 5*x = -10, 3*m - 5*x = -2*m + 85. Solve s*l + m = 10 for l.
-1
Let b be (-14)/(-4) - 2/(-4). Let v = 102 - 215. Let w = 113 + v. Solve w = z + b*z - 20 for z.
4
Suppose l + 4*l + 21504 = 37*l. Solve 0 = -43*q - 41*q + l for q.
8
Let d(n) = -n**3 + 23*n**2 + 9. Suppose -z - 2 = 2*b - 31, -3*z + 60 = -3*b. Let x be d(z). Solve 0 = 3*f - x - 6 for f.
5
Let c be -6 - (-1)/((-7)/889). Let q = c - -135. Solve -7*r - 5 = -q*r for r.
-1
Suppose 0 = -5*b - 3 + 18, -138 = -3*x + 4*b. Let z be 50*(-6 - (-7 + 0)). Let t = x - z. Solve 0*s + s = t for s.
0
Let v be -1*8*(-9)/((-9)/(-4)). Suppose 3*g + c = v + 7, 5*c + 43 = 2*g. Solve 5*a - g = 11 for a.
5
Let q be 249/6 + (-3)/6. Suppose q*n - 228 = 38*n. Let h = n + -76. Solve -3*g - 12 + 3 = h for g.
-3
Suppose -y + 3*y - 9 = -l, 4*y = -4*l + 20. Suppose -10 = 3*h - 5*b + 3*b, -6 = y*h + b. Let m be (-1 - h) + 1 + 4 + 19. Solve 0 = 5*c - m for c.
5
Let t be (-44 + (-680)/(-16))/(0 + 6/(-568)). Solve t = 6*r + 106 for r.
6
Suppose -6*d + 25 = -d. Let t = 5443 + -5435. Solve d*s + t = s for s.
-2
Let n be -10 - 1164/(-120) - 2/((-60)/1359). Solve 64 = n*t - 53*t for t.
-8
Let v be (-75432)/(-5376) - (-2)/(-64). Solve 0 - 84 = -v*n for n.
6
Let k(w) = -972 + 40*w - 955 - 16*w + 1786. Let x be k(6). Solve -5 = 2*q + x for q.
-4
Suppose 17*h + 5*h - 1218 = -20*h. Solve -h*j - 178 = 25 for j.
-7
Let j = 21 - 15. Let o(z) = -6*z + 12. Let r be o(2). Solve -4*x + 10 + j = r for x.
4
Let w = -129 + 369. Let y = w - 232. Solve y*a = 9*a for a.
0
Let a = 10369 + -9248. Solve -9*g - 1184 = -a for g.
-7
Suppose -3*h + 5*q - 59 = 0, 0*q - 35 = 3*h + q. Let p = h + 43. Let t = p - 27. Solve -10 = t*a - a for a.
-5
Suppose -9*n + 5*r = -8*n - 16, 0 = 2*n + 2*r - 8. Solve -1 = -5*y + n*y for y.
-1
Suppose -3*q = -o - 79, 4*q = 4*o + 26 + 82. Solve 2*c = 14 - q for c.
-6
Let h = -16 - -23. Suppose 36 = 3*b + 5*f, 3*b + f + h = 31. Let x be 0*(2 + (-3 + 2)*1). Solve -b*u + 2*u + 25 = x for u.
5
Suppose -13*d - 3240 = -85*d. Solve d*i - 23*i + 66 = 0 for i.
-3
Let i = -217 - -215. Let r(d) = 5*d + 21. Let b be r(i). Solve -b*o = -2*o + 27 for o.
-3
Let n = 2 - 0. Suppose -4*g + 45*g = 82. Solve -g*j = n*j for j.
0
Suppose 6*o + 327 = 6*v - 3*v, -2*o = v - 137. Solve 84*u - v*u - 234 = 0 for u.
-6
Let a be (1000/(-150))/((-10)/24). Solve -138 = -22*g + a for g.
7
Suppose 2*w + 17 - 20 = -3. Solve w = -11*m + 2*m - 45 for m.
-5
Let l = -7 - -7. Suppose 0 = -3*i + 6*i - 15. Suppose -5*v = 3*b - 1 - 11, l = -5*v - i*b + 20. Solve -c - c = v for c.
0
Suppose 9*q - 3*o - o - 16 = 0, -q = 4*o - 24. Solve 10*k + q = -26 for k.
-3
Let b = -6413 + 6560. Solve b - 97 = 10*u for u.
5
Suppose -52*x = -40*x + 36*x - 1632. Solve -11*c + 12 = x for c.
-2
Let a(n) = -n**3 + 19*n**2 + 44*n - 41. Suppose -483 = 17*x - 40*x. Let h be a(x). Let t(q) = 3*q. Let r be t(1). Solve 4*o - r*o = h for o.
1
Suppose -6*i + 226 + 1034 = 0. Let o = i - 204. Solve o*y - 11*y = 5 for y.
-1
Let l be (-24)/(-15)*1*(-15)/(-2). Solve -l*n + 72 = 36 for n.
3
Suppose 0 = -v + 4, d - 272 = -16*v + 19*v. Let k be 6/(-8) - d/(-16). Solve 19*z - k*z + 4 = 0 for z.
-2
Let g be (4/8)/(1/2). Let y(u) = 6*u + 1. Let q be y(g). Let k be 59/19 - 32/304. Solve -i = -q + k for i.
4
Suppose -442 = -11*p + 2726. Let u be 8/(p/100) + 6/27. Solve -23*r = -24*r - u for r.
-3
Let r = 225 + -222. Suppose -i - r*i = 2*i. Solve -15*g + 16*g - 1 = i for g.
1
Suppose 4*d + 2*n - 12 = 26, 4*d + n = 35. Suppose -c + k = -0*k - d, -3*k - 18 = -2*c. Let b(z) = -10*z + 83. Let g be b(8). Solve -c + g = f for f.
-3
Let q be -9 + 5 + 2 + -1. Let t(y) be the second derivative of y**5/20 + y**4/6 - y**3/3 + 3*y**2/2 - 10*y. Let w be t(q). Solve w*l = -l + 3 for l.
3
Let a be -2*(4/1 - (-24)/(-3)). Suppose -5*n + 3*p + 45 = 0, 2*n - 9*p + a*p = 17. Solve -n + 4 = 2*j for j.
-1
Let b(z) = 2*z**2 - 243*z - 1554. Let m be b(128). Solve -m*u = -645 - 235 for u.
8
Suppose 4*b - 20 = 0, -4*b = -2*n - 64 + 48. Suppose -3*y = 4*k - 6*y - 23, 2*y + 20 = 5*k. Solve k = -4*i + n*i for i.
-1
Let u be 3 + (1 - 3)/((-8)/36). Let x = u + -33. Let n be (0 - 15/(-9))*x/(-7). Solve -n = 2*s + 3*s for s.
-1
Suppose -5*j + 397 = -j - 419. Solve 0 = -46*r - j - 72 for r.
-6
Let f be 24/15 + -2 - 246/(-15). Suppose -p + 16 = 4*t - 5*p, -4*p - f = 0. Solve t = -5*g - 1 + 16 for g.
3
Let q(w) = w**3 + 5*w**2 + 5*w + 18. Let n be q(-4). Suppose 0 = -4*t + 26 - n. Let f(z) = z**2 - 2*z - 3. Let p be f(3). Solve -t*v + 3 = -p for v.
1
Let t = -425 + 426. Let r be (4 - t)*(-4 - -3) + 3. Solve r = -2*y + 12 - 16 for y.
-2
Let b = 117 + -105. Suppose -4*f + 21 - 5 = -3*n, 3*f = 3*n + b. Solve -1 = w - n*w for w.
-1
Suppose 0 = 103*b - 99*b - 5*k - 93, 3*b - 68 = 4*k. Solve -b*g = -74*g + 126 for g.
3
Let k(a) = -2*a**3 + 13*a**2 + 14*a - 29. Let c = -119 + 126. Let v be k(c). Suppose -3 - 1 = -2*i. Solve 0 = -i*q - 2*q + v for q.
5
Suppose 125*l = 65*l + 71*l. Solve 0 = -u - l*u for u.
0
Let q(w) = 2*w**3 + 3*w**2 + 4*w + 4. Let l be q(-2). Let d be (-2)/l - 77/(-44). Solve -n = d*n for n.
0
Let y(f) = f**3 - 13*f**2 + 29*f + 16. Suppose -110 = -7*a - 4*a. Let v be y(a). Solve 5*k - 2*k = -v for k.
-2
Let c be (-6 - 405) + 2 + 0. Let p = c + 409. Solve p = 3*i - 40 + 31 for i.
3
Suppose -64*o - 5*p = -59*o - 310, -2*o + 3*p = -129. Solve -104 = o*g - 11*g for g.
-2
Suppose 0 = -11*u - 14*u + 100. Suppose -2*c - 10 = -2*t - 0*c, 2*t - 10 = -u*c. Solve 20 = -t*g + g for g.
-5
Let v = -26039 + 26042. Let p = 26 - 7. Solve -v*d = p - 4 for d.
-5
Let u(h) = h**3 + 30*h**2 + 82*h + 37. Let n be u(-27)