12*s + 89. Let p = 376 - 369. Let u be q(p). Solve 3*w - 2 = -u for w.
-1
Let d be 0 + (-165)/9*(-12)/10. Suppose 32 - d = 5*x. Solve l + x = 7 for l.
5
Suppose 0 = -5*f + 7*f + 72. Let r be -6*(-5 + f/(-8)). Solve 4*s + 1 + r = 0 for s.
-1
Suppose -n + 2*r + 5 + 2 = 0, 2*n = 5*r + 18. Let p be (5 - 9)*((-3 - n) + -5). Solve 7*i - p = -0 for i.
4
Let n(k) = 3*k**2 - 9*k - 2. Let t be n(9). Suppose 0*g - t = -8*g. Suppose -2*y + 0*u - 8 = 3*u, -5*u - g = 0. Solve -l = -2*l - y for l.
-2
Suppose 2*n = -198 - 14. Let s = -99 - n. Solve -s*o = -9*o + 4 for o.
2
Suppose 18*x = 26*x + 53*x. Solve x = -27*u + 4*u + 138 for u.
6
Suppose 3*f + 27 = -2*z - 0*z, 3*z + 43 = -5*f. Let d = z - -56. Suppose 3*w + 5 - d = 0. Solve 3*r = -0*r + w for r.
5
Suppose 2*k - 305 = -3*b + 655, 3*k + 3*b - 1431 = 0. Solve k - 441 = 5*p for p.
6
Let z be ((-12)/(3 + 3))/((-4)/(-10)). Let o(c) = -2*c**3 - 9*c**2 + 5*c + 3. Let d be o(z). Solve 5 = -t + d for t.
-2
Suppose 2 = -0*j - 2*j. Let n be 4 + j - (0 + 0). Let x = 137 - 134. Solve n*t = -0 - x for t.
-1
Let y(n) = -10*n**3 - 2*n. Let i be y(-1). Suppose 4*z + 3*a = -9, z + 11*a - i*a = 3. Solve z = 6*c - c for c.
0
Suppose -6 = -2*i - 2. Let q = -5139 + 5143. Solve i*n + q = -0 for n.
-2
Let o = 473 - 477. Let u be -8 - (4 + -2)*o. Solve 4*k - 4*k + 5*k = u for k.
0
Let x be (-42)/18*-81 + -3. Solve 193*m = x*m + 42 for m.
6
Let r be 92/6*4/(-16)*-6. Suppose -29 = -r*h + 132. Solve 0 = -6*x - h + 1 for x.
-1
Let r(v) = -3*v - 49. Let f be r(-23). Suppose 0 = f*q - 17 - 3. Solve q - 3 = y for y.
-2
Let j(m) = -m**3 + 8*m**2 + 2*m - 1. Let p be j(8). Let u be -3*(4 + p/9). Let z = u - -17. Solve z = 2*v + 4 for v.
-2
Let v = 4507 + -4490. Solve 18*s - 6 = v*s for s.
6
Suppose -7*f + 3*j - 66 = -11*f, 5*j - 80 = -5*f. Solve f*v + 3*v - 105 = 0 for v.
5
Suppose -135 = 586*g - 601*g + 3915. Solve -18*m = -270 + g for m.
0
Let q be (-3 - (-648)/28)*(-1 - -8). Solve 42 = -q*p + 134*p for p.
-6
Suppose -4*d - 2*f + 146 = 0, 5*d - 2880*f = -2884*f + 169. Solve 22*g = -d*g for g.
0
Let q(l) = l**3 - 5*l + 266 - 262 + l + 3*l**2. Let j be q(-4). Solve -11 + 27 = -j*r for r.
-4
Let v(i) = 6*i**2 + i. Suppose 2*t - 5*t - 3 = 0. Let w be v(t). Let b(l) = -l**3 - 4*l**2 + 5*l + 10. Let m be b(-5). Solve w*j = -0 + m for j.
2
Let d be (-17 - (-22 + 5))*2/(-4). Solve d*o = 7*o + 35 for o.
-5
Let l = 45 - 18. Suppose -23*z = -l*z + 12. Solve -12 = z*r - 0*r for r.
-4
Let s = 2652 - 2624. Solve 6*t = -s + 10 for t.
-3
Let j = 422 - 365. Suppose i - 163 = -5*u, -4*u + 4*i + 84 + 32 = 0. Solve 0 = -5*d - u + j for d.
5
Let v(o) = o**3 + 4*o**2 + 3. Let p be v(-2). Suppose 4*w + p*w = 165. Solve 0 = -w*k + 10*k + 4 for k.
4
Suppose 0 = s + 13*s + 252. Let l be 408/216 - 2/s. Solve -l*x - 5 = -x for x.
-5
Suppose 2 - 12 = -5*x. Let p = -205 + 163. Let j be (-2 + (-12)/(-7))/(p/294). Solve -x*b - j = -b for b.
-2
Suppose -3*b + 11 = -5*i, 3*b - 6 = b + 2*i. Suppose -5*z = -2*q - 53, 2*z = -4*q - b*z - 36. Let c be (-4)/6*(q - -5). Solve c*n = n for n.
0
Suppose -1256 = -15*z + 1354. Let r = z - 174. Solve 4*a - 5 - 3 = r for a.
2
Suppose -2*d = 5*x - 53, 35 = -18*x + 23*x. Let c = 8 + -5. Solve -c + d = 2*u for u.
3
Suppose -6*l + 2*j + 15 = -5*l, 0 = 2*l - 2*j - 26. Let y be 10*-1*13/(-13). Solve -l*a = -a + y for a.
-1
Let f = 139 - 413. Let g = -257 - f. Solve 8*n + 7 = -g for n.
-3
Let m be 8 - ((-82563)/1044 + (3/(-3))/(-12)). Solve -91*c + m*c = 24 for c.
-6
Let r be (-78 - -65)*1/(-1). Solve r*l + 55 = -10 for l.
-5
Let f = 6 + -2. Let x = 14 + -10. Suppose 0 = -3*h - x*b - 6, b = f*h - b - 14. Solve -3*y = -h*y - 3 for y.
3
Let n(q) = -2*q**3 + 85*q**2 + 29*q + 789. Let r be n(43). Solve 3*d + 190 - r = 0 for d.
-1
Let m = 329 - 296. Suppose 0 = -16*z + m*z - 697. Solve 9*v - z = -5 for v.
4
Let r = -16 + 34. Let x be 6/(-54) + 290/r. Solve x = -5*m + 1 for m.
-3
Let g be 25*((-336)/(-90) + -4)*-3. Suppose -26*q + 16*q = -g. Solve -q*v - 7 = -9 for v.
1
Suppose 0 = 11*g - 8*g + 3. Let w be (g + 3)*-2 + 1 + 5. Solve a = 8*a + w*a for a.
0
Let m = -1 - -7. Suppose -4*y = 2*p - 18, m*y = y - 5*p + 20. Suppose 0 = -a - y*a + 2*a. Solve a = -d + 4 - 6 for d.
-2
Let s = 8889 + -8864. Solve 18*b - s*b - 35 = 0 for b.
-5
Suppose 3*h - 80 = h. Suppose -l + 11*l = h. Suppose -13*m = -l*m - 36. Solve -5*j = -m - 11 for j.
3
Suppose -44*l = 146*l + 60 - 440. Solve l*d = 48 - 54 for d.
-3
Let d = -11 - -16. Let o = -23922 + 23925. Solve 0 = o*c - 2 + d for c.
-1
Suppose 7*q = 6*q - 16. Let c be ((1 + -2)*q)/(16/56). Suppose 14 = 2*b + 3*h, 0 = -5*b + 2*h + h + c. Solve -s - b = -11 for s.
1
Let z = 55 + -47. Let a be z/(-2) - 126/(-14). Suppose a = 2*b - 2*j - 5, b + 5*j - 11 = 0. Solve -b = 2*o + o for o.
-2
Let k(x) = -21*x**3 + x**2 + 20*x**3 + 17*x + 0*x**2 - 14. Let a be k(4). Solve 0 = a*f - 11 + 11 for f.
0
Let h be 80/18 + 56/(-126). Solve -57 + 53 = h*b for b.
-1
Suppose 35 = 28*h - 21. Let b be 3/((-6)/(-8)*4 - 2). Let p(y) = 3*y - 6. Let l be p(b). Solve l*u + h*u = 10 for u.
2
Let f(c) = -157*c + 13880. Let n be f(88). Solve -n = -8*j + 16*j for j.
-8
Let b be 2*-1 + 3*4. Suppose -d - 2*v = 235, 19*d - 241 = 20*d - v. Let l = -234 - d. Solve -l*i + 0 = -b for i.
2
Let s be 0/(-3) + -5 + (12 - (8 - 5)). Solve 4*o - 12 = s for o.
4
Let o(q) be the first derivative of -q**3 + 11*q**2/2 + 31*q - 300. Let y be o(5). Solve 2*f + 5 = y for f.
3
Let b = -221 - -84. Let a = 143 + b. Let h = a + -1. Solve -10*g - h = -5*g for g.
-1
Suppose -21*u + 17*u - 5*o = 1350, 2*u + 688 = 4*o. Let g = u - -340. Solve g = -4*h + 3*h for h.
0
Let i(j) = -3*j**3 + 5*j**2 - 2*j + 6. Let a be i(4). Let w = 3339 - 3449. Let q = w - a. Solve -4 = -q*l + 2*l for l.
2
Suppose -756 = -8*l + 2*l. Suppose l - 106 = i. Solve -5*y = -y - i for y.
5
Suppose p + 19 = 3*p - 5*k, -34 = -5*p - k. Suppose 3*t = -5*w + 47 - p, -w = 3*t - 32. Suppose -25 + 75 = t*c. Solve -13*n = -8*n + c for n.
-1
Let y = -3 + 0. Let i = 0 - y. Let b be 6 + -15*(-20)/(-50). Solve i*m + b*m = 0 for m.
0
Let b = 87 + 171. Let i = -244 + b. Solve -i = -5*v - 4 for v.
2
Suppose 3*w = -0*k - 3*k + 117, 39 = w - k. Let o = 81 - w. Let m = 54 - o. Solve 0 = -0*i - 4*i - m for i.
-3
Let a(m) be the third derivative of m**4/12 + m**3/3 - m**2. Let c be a(4). Let o be (-4620)/693*18/(-8). Solve o + c = -5*t for t.
-5
Let r be 2 + 16/(-10) + (-1018)/(-5). Let m(f) = -200 - 3*f**2 + 5*f**2 + r - 7*f - 3*f**2. Let d be m(-7). Solve d*w + 11 + 1 = 0 for w.
-3
Let t(h) = -h**3 - 55*h**2 - 374*h + 144. Let p be t(-47). Solve -52*l - 12 = -p*l for l.
-6
Let x = 74 + -86. Let d be ((-20)/x - 2)*237. Let o = d - -83. Solve 5*n + 4 = o*n for n.
-4
Let v = -3212 + 3216. Solve v*n - 13 = -25 for n.
-3
Let n = -1299 - -1303. Solve n*d = -121 + 137 for d.
4
Suppose -4*c + 1426 = c - 4*y, 3*c + y = 842. Solve -c*r = -271*r + 11 for r.
-1
Let m be (124/(-31))/(1/(-76)) - 10/(-2). Solve 22*v = -m + 177 for v.
-6
Let c(x) = -138*x + 3174. Let v be c(23). Let j(a) = -a + 5. Let n be j(3). Solve v*z - z - n = 0 for z.
-2
Let v(z) = -35*z + 58. Let f be v(-13). Let q = f - 511. Solve -q = -4*y + 2 for y.
1
Suppose 12*m + 35 = 83. Suppose 0 = -3*r + 4*f - 3*f + 22, f + m = 0. Solve r*h - 4*h = 10 for h.
5
Let r(t) = t**3 - 22*t**2 + 22*t - 19. Let f be r(21). Suppose -5*z = 2*x + 15, f*z - 14 = 2*x - 34. Suppose 38*a - 33*a = x. Solve 0 = -q - a - 1 for q.
-2
Suppose 0 = -3*m - x + 214, 3*m + 41*x - 208 = 37*x. Solve -m - 6 = 39*j for j.
-2
Let v be (179 + -1 + -1)*4. Let y = v + -698. Solve 6*d = y*d + 8 for d.
-2
Let a(w) = -w - 1. Let f(x) = -2*x - 58. Let m(j) = 3*a(j) + f(j). Let s = -315 + 302. Let c be m(s). Solve 5*g - g + c = 0 for g.
-1
Let l(m) = -336*m - 11411. Let a be l(-35). Solve 0 = -a*t + 322*t - 135 for t.
-5
Let g(f) = -f**3 + 4*f**2 + 5*f. Let m be g(5). Suppose 4*v + 2*c - 1 - 17 = m, -19 = -2*v - 3*c. Solve 0 = 4*t - v*t - 0*t for t.
0
Suppose -2*z + 4*j = -12, -4*j + 4 + 32 = 2*z. Solve -43*o = -40*o - z for o.
4
Let r(a) = 2*a**2 - 13*a + 16. Let p be r(5). Let s be (-18)/42 - p/((-14)/286). Let w be (-1 + 1)*(-3)/(-6). Solve -4*i - s = -w*i for i.
-5
Let w(d) = 6*d**2 - 11*d - 2. Let l be w(2). Suppose l*h = -x + 3*h - 11, -x - 3*h + 13 = 0. Solve -o + 4 - x = 0 for o.
3
Let h(z) = z**3 +