+ 146 - u for y.
3
Suppose 6*v + 9 = -21. Let l be -3 - (2 + v) - (2 + -12). Solve -3*t + l*t - 14 = 0 for t.
2
Suppose 5*n - 50 = 124*m - 119*m, -m - 37 = -4*n. Solve 23 = n*k + 14 for k.
1
Let w(m) = -2*m + 25. Let a be w(10). Let f be 3 - 1*(-37 + a)/2. Solve 0 = 5*n - 1 - f for n.
4
Suppose -3*m - 20 = -w, -4*w - 4*m = -19 - 109. Solve w - 11 = -3*o for o.
-6
Let d(s) = s**3 - 2*s - 1. Let r be d(2). Let i be (80/25)/((-16)/(-60)). Solve 3*p + r + i = 0 for p.
-5
Suppose 0 = 1903*l - 1908*l + 220. Solve -4 = -12*f + l for f.
4
Let n(j) = -j**2 - 4*j + 5. Let y be n(-5). Let d(q) = 387*q - 9. Let g be d(-1). Let t = -394 - g. Solve 0 = -y*f + t*f for f.
0
Let d(j) = -j**2 - 6*j - 27. Let k be d(-6). Let r = 29 + k. Suppose -2*c = 0, -2*y - r*c = 2*y. Solve 3*q + 23 - 8 = y for q.
-5
Let z = -44 - -61. Let a(p) = 13*p + 6 - p**2 + z + 0*p**2 - 11. Let i be a(13). Solve -5*h = -8*h - i for h.
-4
Let u(k) = 13*k + 54. Suppose -3*i + 2*i = 5*p + 36, 8 = 2*i. Let j be u(p). Let z be ((-4)/6)/(3 + j/15). Solve r + z*r = 0 for r.
0
Let z(c) = -c**2 + 45*c + 69. Let u be z(46). Let x(b) = -b**2 + 21*b + 51. Let w be x(u). Solve 10*m - w*m = 20 for m.
4
Let b = -58 - -68. Suppose b*l - 4 - 186 = 0. Solve l*f - 22*f - 12 = 0 for f.
-4
Suppose o - 37 = -2*l + 4, -50 = -2*l - 4*o. Solve -6 - 51 = l*d for d.
-3
Let p(x) = x**3 - 3*x**2 + 87*x - 425. Let a be p(5). Solve 15*b = a*b + 270 for b.
-6
Let p = -280 - -284. Let z be ((-42)/p)/3*40/(-35). Solve 0 = z*m + m - 5 for m.
1
Suppose -15*k = -294 + 4614. Let q = 292 + k. Solve q*i + 3 = -1 for i.
-1
Suppose -2*d + 4*l = -15 + 3, 3*d = 4*l + 12. Let n = -909 - -911. Let s(g) = g + 5. Let b be s(-3). Solve -b*z = -d*z + n for z.
-1
Suppose 0 = 2*k - 8 - 0. Suppose -k - 10 = -7*f. Suppose -2*z + 3*z = -4, -j + 19 = -3*z. Solve -f*v = -j*v - 5 for v.
-1
Let x = 13303 - 13232. Solve 30 = x*r - 56*r for r.
2
Suppose 0 = 10*f - 13*f + 6. Let z(v) = 2 - 4*v**2 + v**f + 369*v - 354*v. Let q be z(5). Solve -1 = -q*g + 1 for g.
1
Suppose 0 = 2*r + 2*x - 56, -5*x + 56 = 15*r - 13*r. Suppose 0 = 40*c - 38*c - r. Solve 0*b + c = 7*b for b.
2
Let p(a) = -4*a**3 + 21*a**2 - 3*a + 9. Let k be p(5). Solve -k*n + 29*n + 60 = 0 for n.
-6
Let g be (1/(-2))/(8/(-82)) + 15/(-120). Solve 12*t = g*t + 7 for t.
1
Let s be (1 - -2) + 3*-1. Suppose -t - 4 = -5*u + 1, 4*t - 3*u = 14. Solve s = t*p - 2 - 3 for p.
1
Let b(w) = 31*w**3 + 43*w**2 + 74*w + 111. Let f(o) = 11*o**3 + 14*o**2 + 25*o + 37. Let m(n) = -6*b(n) + 17*f(n). Let c be m(21). Solve 10 - c = 5*r for r.
1
Let p(h) = h**3 - 9*h**2 - h + 12. Let g be p(9). Let x be 80/32 - (-4)/(-8). Let q be (2 - 2 - (3 + -16)) + x. Solve -g*w + q = 2*w for w.
3
Suppose u - 3*o - 6 = 16, 5*o + 18 = -3*u. Suppose 4*s = 8*s. Solve -5*n - 21 - u = s for n.
-5
Let c = -701 + 706. Suppose c*r = 115 - 70. Solve -r*f = -5*f - 12 for f.
3
Let s be (-321932)/(-123) - 2 - (-2)/3. Solve 2612 = 2*q + s for q.
-2
Let j = 323 - -586. Solve 4*o - j + 889 = 0 for o.
5
Let k(c) = -7*c**2 + 52*c - 6. Let l be k(6). Solve 0 = 44*h - 17*h - l for h.
2
Let g(z) = -z**3 - 6*z**2 - 4*z + 3. Let t be g(-5). Let q be ((-2)/t)/(6 - 5). Suppose 0 = -4*r + 17 - q. Solve m = -0 - r for m.
-4
Let h(m) = m**2 + 113*m + 2798. Let d be h(-77). Solve 12*v - 69*v = d*v for v.
0
Let y = -2 - -5. Let s be 0 + (12/(-114) - (-1602)/57). Suppose -39*x + 32*x = -s. Solve -o + y = x for o.
-1
Let j(v) = 49*v**2 + 340*v + 12. Let x be j(-7). Let d(q) = q**2 + 5. Let h be d(5). Solve x*y = h*y - 6 for y.
-2
Let i(v) = 58*v**2 - 1045*v + 21. Let w be i(18). Solve w*q - 14 = -32 for q.
-6
Let o be (-39)/33 - (-26)/143 - -3. Let m be (-1)/(-2) - 39/(-6). Suppose -20 = -m*k + o*k. Solve 0 = -k*v + 2*v for v.
0
Let f(g) = 3*g**3 + 18*g**2 + 2*g + 12. Let v be f(-6). Solve v = 7*m - 24 - 4 for m.
4
Let d = 4682 - 4680. Let z = 9 + -5. Let t = -2 + z. Solve -j - t = d for j.
-4
Let v(b) = -b**3 + b**2 + 3*b + 13. Let m be v(0). Let f(i) = -4*i + 37. Let z be f(m). Let r be 101/5 + 3/z. Solve -n = 3*n - r for n.
5
Let v = 4085 - 4061. Solve 12*o = 36*o - v for o.
1
Let j(r) = r**2 + 4*r - 5. Let q = -189 + 190. Let i be j(q). Solve -f + 0*f = i for f.
0
Suppose -32*m + 35*m + 5*l - 394 = 0, 378 = 3*m - 3*l. Solve -m = 110*h - 126*h for h.
8
Suppose 433 = n - 24. Let r = -452 + n. Solve 5*c - r = -15 for c.
-2
Suppose 5*g - 5 = -4*x, 0 = -5*x + 4*x - 5*g - 10. Suppose x*h - 44 = -4*m, 3*h + 6 = 4*m + 58. Solve 0 = -5*n - n + h for n.
2
Let n(k) = k**2 - 19*k + 56. Let y be n(14). Let l = 13 + y. Let f be -6*(-5 - l)/12. Solve -4*d + f*d = 0 for d.
0
Let z = 52 + -41. Suppose 0 = -5*i - 1 + z. Suppose -2*o = -3*o + 3*v + 19, -i*v + 2 = 3*o. Solve 1 = -o*l + 3*l for l.
-1
Suppose 0 = z - 14*z - 1053. Suppose -2*v = -0*v - 10, -4*h + 377 = v. Let t = h + z. Solve t - 4 = -2*m for m.
-4
Let v(l) = -5*l - 22. Let w be v(-5). Suppose 3*c + 5 = 5*o + 23, 0 = w*o. Suppose 5 = x - c. Solve -3*y = -1 - x for y.
4
Let r = 94 - 72. Let a(p) = p**2 - 24*p + 46. Let g be a(r). Let c be (-2 + 3/g)*(-2)/1. Solve c - 4 = v for v.
-3
Let z = 6441 - 5746. Solve 704*f = z*f - 9 for f.
-1
Let m = 18 + -3. Let l(u) be the third derivative of -u**6/120 + u**5/15 - u**4/4 + 13*u**3/6 - 35*u**2. Let s be l(3). Solve -s*f - m = -f for f.
-5
Let a = 2031 + -1948. Solve 3*m + 107 = a for m.
-8
Suppose -2*i - 3*o = -62, 12*i - 4*o = 9*i + 76. Solve -25*q + 172 = -i for q.
8
Let l be (-297)/(-33) - (-54)/3. Solve 258 = l*n + 16*n for n.
6
Let f(m) = 15*m**3 + 1. Let u be f(1). Suppose -n = 3*n - u. Suppose -37 = -5*k + n*v, -k + 6*v - v = -20. Solve 4*c = -c + k for c.
1
Let v(k) = -34*k**2 - 75*k + 4. Let w be v(-2). Solve 32*f = 14*f + w for f.
1
Let p be (24 + -24)*2/2. Let x(h) = -h**3 - h**2 - h. Let l be x(-2). Solve p = -5*v - l - 4 for v.
-2
Let o be (-3)/(-1) + (15/5)/3. Suppose -2*h + 18 = f - 6*h, f - o = -3*h. Let j be (2 - 1)*(f - 5). Solve j*s = -4 + 14 for s.
2
Suppose -83 = -5*g + 12*m, -9*g = -4*g - 3*m - 47. Solve -32 - 10 = -g*s for s.
6
Let n be (-44)/(-3)*((-3)/2 - -3). Suppose y = 2*y - n. Let d be 33/y + 1/2. Solve d*r - 2 = -10 for r.
-4
Let d(a) = -7*a - 4. Let i be d(-3). Suppose 16*m = 6*m + 170. Let s = i - m. Solve -v + s = -5 for v.
5
Let j(l) = l + 64. Let x be j(17). Suppose 18*n + h = 20*n - 37, -4*n - 5*h + x = 0. Solve 16*a - 15 = n*a for a.
-5
Let r = -24 - -27. Suppose 0 = -r*y - 2*q - 140, -5*y - 93 = -4*q + 111. Let g = y + 52. Solve 5*l = 3 - g for l.
-1
Let g(u) = 2*u**3 + 68*u**2 - 15*u - 411. Let h be g(-34). Solve -38*w = -5*w + h for w.
-3
Suppose -5*w - 1 = -6. Let d(r) = 11*r**3 - r + 1. Let n be d(w). Suppose i = n*i. Solve -2*v - v = i for v.
0
Suppose -20 = 3*s - 4*p, -3804*s + 3808*s + 5*p = 56. Let r(h) = 4*h. Let o be r(3). Solve -4*x + o = s for x.
2
Let j(p) = -p**3 - 28*p**2 + 2*p - 30. Let c be j(-28). Let h = 87 + c. Solve 0 = -3*a + h - 16 for a.
-5
Suppose 0 = -10*u - 107 + 467. Suppose -2*v - u*f + 34*f = -6, 3*v + 5*f + 1 = 0. Solve -v*h = -2*h for h.
0
Let f(p) = -p**3 + 4*p**2 + 7*p - 3. Let j be f(5). Suppose 2*c + 5*d - j = -c, -2*c = 3*d - 5. Let l be (12/(-18))/(c/(-18)). Solve -10 + 1 = l*q for q.
-3
Suppose 3*l - 36 = -4*p, 28 = 6*p - 4*p - l. Suppose 6*b - 115 = b. Suppose h - 4*a + b = p, 3*a = -2*h + 11. Solve 3*o + h = -5 for o.
-2
Let g(k) = 27*k - k**3 - 402 + 197 + 3*k**2 + 8*k**2 + 196. Suppose -4*f + 54 = 2. Let n be g(f). Solve 3*t - n = 2 for t.
2
Let l = 37 + -32. Suppose 0*u - u - 5 = 0, q - l*u = 25. Solve v + q = -2 for v.
-2
Let u(b) = b**2 - 98*b - 720. Let w be u(-7). Solve 35*s = -w*s + 100 for s.
2
Let a(f) = 22*f - 43. Let v be a(6). Let q = 96 - v. Solve q*b = 3*b + 8 for b.
2
Suppose -5*r - 3*n = -85, -2*r + 10 + 10 = 4*n. Let f be -1 - (r/5 - 7). Let i be f*(-2 + (6 - 2)). Solve 0 = -0*b - i*b + 8 for b.
2
Let t = -85 + 97. Let d be -1*20*(-3)/t - 3. Solve 3 - 9 = -d*l for l.
3
Let w = -63 + 66. Suppose -4*f + 3 + 13 = 2*b, -3*b + w*f + 6 = 0. Suppose b*i - m = 12, 0 = -4*i + 2*m - 4*m + 12. Solve i*g - 7 = 2 for g.
3
Let i(o) = -o**3 - 23*o**2 + o + 25. Let v be i(-23). Suppose -19*a + v = 2. Let p be (13 - 13)/(1 - 0). Solve -g + 3 + p = a for g.
3
Let c be 6 + (3 - (2 + 0)). Suppose 0 = c*q - 24*q + 51. Solve k = q*k for k.
0
Let k(x) = x**3 - x**2 + 2*x - 3. Let 