3*k. Let a(l) = -2*l**3 + 19*l**2 - 7*l - 13. Let b be a(r). Solve -x = 3*x - b*x for x.
0
Suppose 3*a = 9, -2*a = 3*l + 4 - 22. Let c = 1 - -2. Let x = c + -1. Solve l = -x*d - 6 for d.
-5
Suppose -3*h - 294 + 258 = 0. Let f be ((-15)/(-45))/((-4)/h). Solve -7 = 6*i - f for i.
-1
Suppose -2*g + 539 = -4*l + 387, 0 = -4*g - l + 340. Solve -6*t + 20*t - g = 0 for t.
6
Let l(u) = u**2 - 51*u - 1687. Let p be l(74). Suppose 4 + 5 = 3*y. Suppose -m + 2*v = 0, 2*m + 0*m = -y*v. Solve -5*g + m*g = p for g.
-3
Suppose -3*j + 5*j = 6. Suppose t - w - 2 = w, -j*t + 13 = w. Suppose -2*p - 10 + 0 = -4*c, t*p = -4. Solve 4*h = c*h for h.
0
Let s(q) = 10*q**3 - 55*q**2 + 5*q + 113. Let g(a) = -2*a**3 + 11*a**2 - a - 22. Let x(i) = 11*g(i) + 2*s(i). Let o be x(5). Solve 0 = o*z - 5*z for z.
0
Let m(i) = 6*i + 73. Let s be m(-12). Let l(b) = 9 + 9*b - s - 11. Let r be l(1). Solve 2*y + 4 = -r for y.
-5
Let q = 44 + -39. Suppose -q*y = 5*u - 40, 0 = -5*u - 3*y + 25 + 17. Solve 13*o - u*o = 0 for o.
0
Let u(c) be the first derivative of -5*c**2/2 + 139*c - 232. Let t be u(22). Solve 0 = 34*v - t*v for v.
0
Let k = -25469 + 25524. Solve k*o - 58*o + 12 = 0 for o.
4
Suppose -9*w + 13 = -122. Suppose w*a = -57 + 237. Solve -7*p + 4*p - a = 0 for p.
-4
Suppose -3*p = 3*a - 132, 115 = 2*p - a + 39. Let t be p/(-16)*(-24)/10. Solve 3*m - t*m - 9 = 0 for m.
-3
Suppose -n - 2*y + 75 = 0, -484 + 258 = -3*n - 5*y. Solve 0 = -72*r + n*r + 10 for r.
-2
Let g be -2*(-4)/(-28) + 150/35. Let p be -2 - (g - 7 - (-1 - -52)). Suppose p = 7*f + 10. Solve -y - f = y for y.
-3
Let p be 125*(-7)/((-105)/9). Let q = 128 - p. Let k = q + -38. Solve -s = 4*s + k for s.
-3
Let l be (-14)/12 + 1 - (-450)/108. Suppose -5*j + 56 = 5*y + 16, -2*j + l = -y. Suppose -10 = -j*k - 2*a, -2*a + 5 = 2*k + 3. Solve 0 = -k*x + 2*x - 10 for x.
-5
Suppose -5*u = 5*p - 75, -154*p + u + 21 = -153*p. Solve 106*x = 100*x + p for x.
3
Let g(r) = -r**3 + 2*r**2 - 6. Let h be g(3). Let l be 10*((-63)/h - 4). Suppose -f = f - i + l, f = 2*i - 4. Solve -3*c + 2*c = f for c.
0
Let d be (13 - 21)*(4 - (-3 + 5 + 3)). Solve -32 = -3*s - d for s.
8
Suppose 22*m = 18*m - 196. Let h = -47 - m. Let v = 337 + -331. Solve v = -h*s + 4 for s.
-1
Let y(p) = -5*p**2 + 11*p + 22. Let k(h) = -4*h**2 + 12*h + 20. Let i(s) = 3*k(s) - 2*y(s). Let q be i(8). Solve q = 4*r + 4 + 16 for r.
-5
Suppose 46 + 66 = 14*j. Suppose 0 = -j*l + 69 + 27. Solve -m + 4*m + l = 0 for m.
-4
Suppose -9*z + 8*z = -21. Let m be 6/14 - (-138)/z. Let s(n) = n**3 - 8*n**2 + 9*n - 10. Let t be s(m). Solve t*j = 7 + 13 for j.
5
Let d = 10171 - 10160. Solve 0 = -13*i + d*i - 6 for i.
-3
Suppose -127*y - 358 = -3025. Solve -y = 22*z - 87 for z.
3
Suppose 31 = 8*o + 31. Suppose 20*h - 17*h - 21 = o. Solve 0 = h*k + 10 + 18 for k.
-4
Let o(b) = -20*b**3 + b**2 + 2*b - 3. Let q be o(1). Let u be (-196)/q + (-4 - (-105)/25). Solve 11*m = u*m - 1 for m.
-1
Suppose -15*k = -14*k - 27. Let a = -17 - k. Let d = -44 - a. Solve d = t + 2 + 3 for t.
-5
Suppose 5*h + 54 - 74 = 0. Let s be (14 + -18)*(-2)/h. Solve -w + 15 = s*w for w.
5
Suppose -2*r - 3*t = 376 - 480, 3*r - 4*t = 122. Solve 0 = -8*y + r - 94 for y.
-6
Suppose 3*i + 55 = -5*l - 56, -5*l = -5*i + 135. Let q be (-3)/(-4) + 6/l*3. Solve -3*d + 6 = -q*d for d.
2
Let y = 31 + -36. Let t be y + 37*(7 - 6). Solve t*n - 34*n - 8 = 0 for n.
-4
Suppose 0 = 3*i + o - 8, 4*i = 7*i - 4*o - 13. Let t(x) = 11*x + 22. Let z be t(-2). Solve i*j - 3 = -z for j.
1
Suppose 4*l - 5*t - 101 = 0, 4*t + 31 = l - 8. Solve -24*c - 5 = -l*c for c.
-1
Let k(f) = -64*f - 92. Let c be k(-3). Solve -5*o + 65 = c for o.
-7
Let t(w) = w**2 - 7*w + 1. Let m be t(7). Let s(k) be the third derivative of k**6/30 - k**5/30 + k**3/6 - 19*k**2. Let x be s(m). Solve 2 + x = -h for h.
-5
Let v(z) = -2*z**3 + 23*z**2 - 13*z + 27. Let l be v(11). Suppose 0 = l*d - 25, 0 = 2*g + 4*d - 10 - 14. Suppose -1 = -2*w + 1. Solve w = -g*r - 5 for r.
-3
Suppose 0*f - 5*f + 19 = -2*k, -2*f = 5*k + 4. Suppose -f*g + 6*g + g = 0. Solve -4*d + g = 8 for d.
-2
Let j = -5133 - -5144. Solve -5 = 8*x + j for x.
-2
Let v = 91 + -91. Suppose v = 5*k - 7 + 157. Let i(l) = l**3 + 31*l**2 + 32*l + 64. Let q be i(k). Solve -g - 15 = -q*g for g.
5
Let g(m) = -3*m - 38. Let d be g(-16). Solve d = -22*x - 34 for x.
-2
Let k(g) = -g**3 - g**2 - g + 16. Let i be k(0). Suppose 4*d - 64 = -3*r - r, -2*d + i = -2*r. Suppose 26*m + 13*m = 0. Solve 4*w = -m*w + d for w.
3
Let a be (-9)/21 - (-72)/21. Suppose -3*z + 23 = b, 3*z + a*b + 2 = 23. Solve -14*w - z = -10*w for w.
-2
Let g be (6 + 2)/(-4)*130/4. Let a = g - -66. Let b be -2 + 1 + 0 + a. Solve 0 = -5*s - b*s + 20 for s.
4
Let u = -5905 + 5934. Solve -u*v - 50 = 8 for v.
-2
Suppose -2*o + 3*v + 69 - 29 = 0, 0 = -o + 3*v + 26. Let j be 4/o + 47/7 + -3. Solve 4*r + j = -8 for r.
-3
Let g(w) = 17*w - 116. Let d be g(7). Suppose -b - b = 6, d*b + 18 = 3*h. Suppose -8 = -3*n - 4*o, -4*o - 23 = -5*n - o. Solve -h*v + v = n for v.
-2
Suppose m + 2 = f + 2*m, 0 = -2*m + 4. Suppose -3*o + 12 = -f*o. Suppose -9*s + 10 = o*y - 4*s, 0 = -3*y + 3*s - 6. Solve y = -n + 3*n - 6 for n.
3
Let g be ((-18)/39)/3 + (-2241)/(-117). Let c(j) = j + 12. Let w be c(-8). Solve w*z - 3 = -g for z.
-4
Let p = 424 + -417. Solve -2616 = -p*o - 2637 for o.
-3
Let b = 485 - 490. Let h be 1/(-5) + ((-153)/(-15) - b). Solve 2*g + g = h for g.
5
Let j = -3502 - -3540. Solve 22*t = -50 - j for t.
-4
Suppose 159*o + 9 = 162*o. Suppose 0 = -o*w + 9*w. Solve -5*q + w - 10 = 0 for q.
-2
Suppose 0 = 4*d - 5*c - 29, 5*c = -14 - 11. Let b be ((-24)/30 - (-38)/10)*d. Solve -3*x = -b + 9 for x.
-2
Let j be (2/(-6))/((-2)/60). Let b = -8 + j. Let l = 247 + -233. Solve l = 4*k - b for k.
4
Let n be 30/(-5) + 0 + 5. Let v be (1 - n) + (1 - 0). Let z be 5 + 3 + 12/v. Solve z*h = 14*h for h.
0
Let x(s) = s**3 + s**2 + 2*s + 1. Let d be x(-1). Let p be (d/(-2))/((-2)/(-12)). Suppose 2*y - p = -4*f + 1, f - 2*y - 6 = 0. Solve f*z - 4*z = 0 for z.
0
Suppose -3 = 3*r, -3*n + 3*r + 0*r = -18. Suppose -2*a + 6 = 4*c, 4*a - 6 = 2*a + n*c. Let j be 2 + (-3)/(3/(-5)). Solve j*z - a*z = 4 for z.
1
Let a(d) = -d + 2. Suppose 0*h + 111 = -3*h. Let f = h - -38. Let v be a(f). Solve 0 = -3*b - 2 - v for b.
-1
Let h be -5*(-21)/(-35) + 12. Solve 0 = h*w + 36 + 9 for w.
-5
Suppose -2*a + 122 = 4*m - 130, a = -3*m + 120. Solve 156 = -6*s + a for s.
-3
Let i = -15573 + 15593. Solve -i*n + 27 - 167 = 0 for n.
-7
Let n(y) = -58*y + 1108. Let d be n(18). Solve d*b - 84 = 50*b for b.
6
Suppose 0 = -76*y + 8*y + 87448. Solve y*s + 24 = 1290*s for s.
6
Let c be 100973/148 + 17/(-4). Solve -6*f - c = -654 for f.
-4
Let c = -88 - -169. Let l = c + -62. Solve l - 4 = 5*m for m.
3
Suppose -2*b - 2 = -0*b. Let s(z) = 4*z**2 + 6*z + 5. Let q be s(b). Let k = -71 + 73. Solve -q = -v - k for v.
1
Let f be 174/145 + (-7)/(35/(-74)). Solve 13*b = -f*b - 87 for b.
-3
Suppose 17 = 14*u - 4*m + 5, 0 = -4*u - 2*m - 6. Solve u = -163*l + 170*l - 7 for l.
1
Let g be -13 - -10 - (0 - (-1 + 4)). Let a(r) be the first derivative of -r**4/4 + 4*r**3/3 + 3*r**2 - 3*r - 11. Let p be a(5). Solve -p*y + y = g for y.
0
Suppose -5859 = -16*s - 5635. Solve -11*m = -s*m - 3 for m.
-1
Let p(f) = 17*f**2 + f. Let m be p(1). Suppose 11*k - 100 = 7*k. Let d = k - m. Solve 4*z - d = -3 for z.
1
Let t = -43 + 40. Let n(l) = l**3 + 2*l**2 - 2*l + 7. Let x be n(t). Let v be (-10)/12*-4 + x/6. Solve -v - 5 = -3*q for q.
3
Let w(p) = 29*p + 207. Let o be w(5). Let a = o - 340. Solve -12*x = -15*x - a for x.
-4
Let r(w) = -w**2 - 13*w + 9. Suppose -10*y = 3*y - 6*y. Let p be r(y). Solve -4*o = 13 - p for o.
-1
Suppose -11*c = 3*u - 15*c + 20, -3*u = -c + 5. Solve 9*f - 159 + 195 = u for f.
-4
Let u be (-3 - -1)*(5271/2)/(-7). Let g = -751 + u. Solve -40*q + 41*q + g = 0 for q.
-2
Let k(f) = -5*f**3 + 24*f**2 + 25. Suppose -4*x = -3*r - 14, 112 = -5*r + 122. Let c be k(x). Solve -3*t - 11 + 23 = c for t.
4
Let n = -35 - -40. Suppose -x - s + 3 = 0, -n*s - 9 = 2*x - 24. Let v be 1/(-4)*x*(-2)/4. Solve d = -v*d - 1 for d.
-1
Let j(g) = g**3 + 48*g**2 + 90*g - 96. Let r be j(-46). Let q be (-2)/3 - r*(-11)/(-12). Solve 4*s - q = 13 for s.
4
Suppose -3*m + q = -150, -4*m + 15*q + 200 = 13*q. Suppose 54*g - m*g = 24. Solve 0 = -3*x 