+ 3*k for k.
0
Let k(z) = z - 2. Let u(l) = -2*l + 2. Let j(w) = 3*k(w) + 2*u(w). Let q be j(-5). Solve 5*i = -q*i for i.
0
Let m(p) = 242*p - 1199. Let o be m(5). Solve o = -r + 13 for r.
2
Let n = -99 + 104. Suppose 0 = -2*s + n*y + 53, 27 = 3*s + y + 2*y. Suppose 5*k = -l + 3*l - s, -2*k = 2*l - 28. Solve 0 = 4*a + l - 0 for a.
-3
Let i be 1381 + (-4 - -11) + (-13)/(130/20). Solve -118*j + 324 = i for j.
-9
Let a be (-49)/441 - 70/18. Let k(x) = -x**3 - 6*x**2 - 4*x + 20. Let r be k(a). Solve 0 = r*z + z for z.
0
Let u(t) = 3*t**2 - 27*t + 71. Let i be u(4). Solve -2639 = -i*j - 2617 for j.
2
Let q(a) = a**2 - 3*a - 7. Suppose -16 - 4 = -4*z. Let c be q(z). Suppose -x + x = -c*x. Solve -l + 6 - 8 = x for l.
-2
Suppose -54 = 3*h - 6*h. Let k = 20 - h. Suppose 0 = -3*l + 11 - k. Solve 0*r = -l*r for r.
0
Let w = -42 + 48. Suppose 0 = 4*j - 4*c - 4, w*c = 5*j + 5*c - 5. Solve 0 = -h - j - 1 for h.
-2
Let k(q) = q**2 - 29*q - 5. Let g be k(29). Let s be (-4 - 1)/g*0/(-2). Solve s = -2*z + 3*z - 3 for z.
3
Let w(s) = s**2 + 21*s + 106. Let z be w(-14). Let j be 13/((-39)/15) + z. Solve 20*u = j*u + 68 for u.
4
Suppose 0 = -3*q + a - 2*a + 172, -2*q - 2*a = -108. Let f = q - 55. Let l(n) = n**3 + n - 1. Let z be l(1). Solve 5*b - f*b + z = 0 for b.
-1
Let i(n) be the first derivative of 2*n**3/3 + 7*n**2 + 2*n - 104. Let z be i(-7). Suppose 3*c - h = 2, 0 = 3*c - c - 5*h + 16. Solve 3*t - z = c*t for t.
2
Suppose 43*y + 522 = 40*y. Let c = -168 - y. Solve -q = -c*q + 15 for q.
3
Let h(g) = 20*g + 53. Let o be h(9). Suppose o + 250 = 23*t. Solve 0 = -22*w + t*w + 2 for w.
2
Let o = 38704 + -38701. Suppose 0 = -d - 3*d + 60. Solve 0*u - o*u = -d for u.
5
Let s = -1557 - -1559. Suppose 4*j = 5*g - 92, 0 = 5*g + j + 4*j - 110. Solve 6*k - s*k - g = 0 for k.
5
Suppose u - 1 = -0, l + 2 = -u. Let g(p) = -10*p - 27. Let x be g(l). Solve 4*a - x = 1 for a.
1
Let y(z) be the first derivative of -6*z**2 + 217*z + 206. Let o be y(16). Solve 4*g = -g - o for g.
-5
Suppose 0 = 3*y - 2*n + 38, 2*n = -5*y - 2*n - 56. Let f be (7/(-2) - 1)/(y/32). Let l be 51/f - (-4)/(64/12). Solve 7*q - 2 = l*q for q.
1
Let s(r) = r**2 - 231*r**3 - 29 + 450*r**3 + 7*r**2 + 5*r - 220*r**3 - r. Let z be s(8). Solve -8 = z*i + 1 for i.
-3
Let k be (-6)/(-30) - 1495/(-25). Suppose 53*z = 58*z - k. Solve -25*d - z = -22*d for d.
-4
Let z = 28 - 29. Let k be -2 + (-1 - z) + -45. Let y = k - -57. Solve -4*v - y = -9*v for v.
2
Let p(k) = -k**2 - 18*k - 20. Let n be p(-9). Let f = n - 59. Suppose f*v - 2 = 6. Solve v*z = 13 + 3 for z.
4
Let x = -15315 + 15330. Solve -x*n = -8*n + 21 for n.
-3
Let g = 11 - 15. Let d(c) = 7*c**2 - 7*c + 5. Let n(r) = 3*r**2 - 2*r + 2. Let b(u) = -2*d(u) + 5*n(u). Let q be b(g). Solve 4*o - 6 - 14 = q for o.
5
Let x = 17916 - 17744. Solve -x*i = -144*i + 56 for i.
-2
Let t = -4674 + 4689. Solve -t*s + 34 = 2*s for s.
2
Let c(x) = 5*x**3 + x**2. Suppose -5*t + 2 + 3 = 0. Let h be c(t). Let p be 3180/198 - (-44)/(-726). Solve 2*l = p - h for l.
5
Suppose 0 = -3*z - s - 0*s - 490, 332 = -2*z - 2*s. Let i = 167 + z. Let d = -2 + 4. Solve -d*n + i*n - 6 = 0 for n.
2
Let t be (-2 + 5 + -5)/(12/(-132)). Solve 0 = -15*q + t - 97 for q.
-5
Let m = 3523 + -3484. Solve 0 = 7*y + m - 18 for y.
-3
Let h = 168 - 159. Suppose 3*i + 0 = 3*w - h, w - 5 = 3*i. Solve -2 = -p + w*p for p.
-2
Let j be (-276)/(-230)*((-24)/(-9) - 1). Suppose 0 = -3*r + 22 - 76. Let b = -12 - r. Solve b*c - 20 = j*c for c.
5
Let w be (-270)/150 - (-158)/10. Solve w*z - 29 = -15 for z.
1
Suppose 6 = 62*k - 65*k. Let p be (-1 - 9/(-6))*(-44)/k. Let g be 2/p + (-240)/(-132). Solve g*l + l = 9 for l.
3
Suppose 0 = -4*t + 5*t - 5, 4*t - 16 = q. Let a be (-3)/(-60)*-15 + 206/8. Solve -k - a = q*k for k.
-5
Suppose 300*w = 291*w + 1044. Suppose 44 - w = -18*u. Solve -u*d + d = -12 for d.
4
Suppose -70 = -5*m + 4*t, 4*m - 2*t + 70 - 132 = 0. Solve 5 - 59 = m*a for a.
-3
Let t(l) = -l**2 - 57*l + 2119. Let j be t(25). Solve -j - 18 = -29*g for g.
3
Let p(t) = t**3 + 14*t**2 - 17*t - 25. Let c be p(-15). Let u(x) = 4 + 7*x - x - x + c*x**2 - 2. Let z be u(-1). Solve -g + 6 = z for g.
4
Let g be 185/(-10) + 4*3/24. Let j be (17/2)/(g/(-36)). Solve -j = 3*x - 32 for x.
5
Let a = -492 - -503. Let s be (-18)/(-21)*(a + 24). Solve 9*g + g - s = 0 for g.
3
Let u(j) = 27*j**2 + 25*j + 24. Let d be u(-1). Solve -19*v - 31 = d for v.
-3
Suppose 0 = -113*q + 5253 - 1863. Solve 26 + q = -14*b for b.
-4
Let d(f) = 67*f**3 - 71*f**2 + 139*f + 2. Let b be d(2). Solve -16*p + b = 468 for p.
4
Let k(a) = 3*a - 14. Let f(q) = -2*q**3 - 4*q**2 - q + 3. Let p be f(-2). Let l be k(p). Suppose -l = -10*v + 19. Solve -v*s = 3 + 1 for s.
-2
Let y = -360 + 402. Let k be (2/(-3))/(y/(-189)). Solve -k*o + 7 - 1 = 0 for o.
2
Let p = -5174 - -5195. Solve 22*g = p*g - 1 for g.
-1
Suppose 42*d - 38*d - 16 = 0. Suppose -d*i + l + 37 = 0, 14 = -i + 3*i - 2*l. Solve -4*k - 10 = i for k.
-5
Let p be 1/1 + 0 + 4. Suppose 2*w - 112 = -l, -18 = -w + l + 32. Suppose -o + w = p*o. Solve d - o = 4*d for d.
-3
Suppose 85*v + 12864 = 219*v. Solve -22*r + 80 = -v for r.
8
Let f = 6 - 4. Suppose h + f*h = 18. Let r be (107 - 23) + -37 - 43. Solve -h = 2*m + r for m.
-5
Suppose 97*a - 95*a = 10. Let y be a/35 - 91/(-49). Solve 6*l - y*l = 0 for l.
0
Suppose 149*k - 145*k = 80. Let m(v) = -2*v**3 + 39*v**2 + 18*v + 54. Let f be m(k). Solve f*x + 30 = 8*x for x.
-5
Suppose 3*f = f + 5*h + 19, -5*f - h = -7. Let l be (-1170)/(-144) + f/(-16). Let x(g) = -g**3 - 6*g**2 - 4*g + 7. Let b be x(-5). Solve l = 3*o + b for o.
2
Let j(n) = n**2 + n - 15. Let v be j(-5). Let c = -39 + 39. Suppose 2*i + 3*i + v*y - 10 = 0, c = -3*y - 3. Solve 0*s = -i*s + 9 for s.
3
Let r = 3 - -27. Suppose -r = -11*i + i. Suppose -5*m + i*l + 59 = 13, -30 = -4*m - l. Solve 28 = -5*p + m for p.
-4
Suppose 0 = -4*c + 5*m + 108, 10*m = -3*c + 5*m + 81. Suppose -5*u = -34*h + 29*h + 15, -u = 5*h - c. Solve 0 = y - u*y - 1 for y.
-1
Suppose -5 = -2*h - n, 0 = n + 2*n + 15. Let l = 340 + -348. Let z be ((-6)/(-3))/((-4)/l) + 2. Solve z = -h*i - 9 for i.
-3
Suppose -16 = -3*z + 4*g, -366*z + 364*z + g + 4 = 0. Solve z = -16*h + 9 + 71 for h.
5
Let k(z) = -z**3 + 4*z**2 + 32*z + 1. Let a be k(8). Suppose 5*m - 3*f - 10 = -a, m - 2*f + 1 = 0. Solve 0*c + 9 = m*c for c.
3
Suppose -133*g - 20 = -129*g. Let v be g*(4 - 22/5). Solve v = -3*s - 13 for s.
-5
Suppose 4*d - 81 = -11*s + 14*s, -2*s = -2*d + 40. Solve d = -6*t + 45 for t.
4
Let u be (-995)/(-35) - (-4)/7. Suppose 0 = -u*j + 20*j + 36. Solve -4 + 16 = -j*l for l.
-3
Suppose 28*i = -0*i + 1522 + 4190. Solve 0 = -2*b - 196 + i for b.
4
Let p = 346 + -337. Suppose -7*s = p*s - 64. Solve s*b + 9 = 1 for b.
-2
Suppose -m = -66 - 97. Let x = m - 149. Solve 4*j = x + 2 for j.
4
Let l be (0/(11 + 9 + -18))/5. Solve 105*v - 98*v - 42 = l for v.
6
Let s = 338 + -338. Suppose -5*k - 4 = 4*f - 9, 5*k + 5*f = s. Solve -k*g + 4*g = -3 for g.
3
Let m be 115/25 + 4/10. Suppose -4*n + 12 = 4*f, -11 = m*f - 3*n - 2. Let p be f*(4/24)/((-2)/6). Solve p = g - 0*g for g.
0
Suppose 0 = 16*p - 9*p + 42. Let d(t) = t**3 + 5*t**2 - 10*t - 19. Let v be d(p). Solve 9*x = v*x + 12 for x.
3
Let l be (-11)/(-7) + 9/21. Let u(x) = -115*x + 578. Let w be u(5). Solve l*t = w*t - 5 for t.
5
Let v = -3404 - -3425. Solve v*l = 40 + 65 for l.
5
Suppose -4*l = -5*n - 3 + 2, 0 = -2*n + 5*l - 14. Let f be -77 - 3/1 - -4. Let t be 10/35 - f/28. Solve -9 = -t*a + n for a.
4
Suppose -p - t + 5 + 16 = 0, 0 = 6*p - t - 77. Solve -44*u - p = -30*u for u.
-1
Let i be (-124085)/(-3237) - (0 + 8/6). Solve -40*c = -i*c + 6 for c.
-2
Let b(h) = 20*h + 26*h - h**2 + 3*h - 27*h - 6 - 8. Let l be b(21). Solve -l*z - 12 - 23 = 0 for z.
-5
Suppose -2*c + 7*c = -4*u + 2, -c = u. Solve c = -22*k - 42 for k.
-2
Let b be (-192)/(-16)*(-1)/(-3). Suppose b*s - 21 = a, -a + 3*s = 5*s + 51. Let h = a + 44. Solve -4 = h*v - 2*v for v.
-4
Suppose 30 = -112*h + 118*h. Let x(m) = m**2 + 28*m + 31. Let z be x(-27). Solve h*t - z*t = 3 for t.
3
Let t(a) = -a + 2. Let y be t(-1). Let o(h) = h**3 + 4*h**2 - 7*h - 10. Let s be o(-4). Suppose 0*i - 4*w - s = -2*i, w = 4*i - 8. Solve -2 - i = -y*c for c.
1
Suppose 47*y - 22 - 2 = 164. Solve 6 = y*g - 2 for g.
2
Let z be (49/(-28))/((-1)/4). Suppos