= 2*k for k.
-5
Let z(a) be the first derivative of -a**3/3 + 13*a**2/2 - 26*a - 17. Let m be z(9). Solve 6*b + m = b for b.
-2
Let g be (25/(-10)*(-36)/(-5))/(-1). Solve -51*a = -g*a + 132 for a.
-4
Let z be ((6 - 7) + -4)*27/(-15). Solve s - z + 10 = 0 for s.
-1
Suppose 161 = 5*r - 5*q - 149, 2*q = 5*r - 334. Solve -r*m + 20 = -75*m for m.
-4
Let z = -34 - -40. Let i be (-7)/(-7)*(1 + z). Suppose n - 20 = -2*q - 3*q, -5*n = -3*q + 12. Solve 3*u = q - i for u.
-1
Let p be (-1)/((2/(-20))/((-8)/(-20))). Suppose 5*x - 72 = -p*v + 3*x, 4*v - 4*x - 96 = 0. Suppose 4*b = 0, 4*z - v = 5*b - b. Solve -z = -2*y + 5 for y.
5
Suppose 0 = b + 16 - 19. Suppose -5*y = b*v - 184, -2*v + 4*y + 81 = -y. Let p = v + -52. Solve 3 = q + p for q.
2
Let m = 8886 + -8861. Solve m*d = -96 - 29 for d.
-5
Let m = -5939 + 6004. Solve -6*b - m = -53 for b.
-2
Let z(m) = m**3 + 7*m**2 - 6*m + 6. Let w be z(-7). Let t = -233 + 235. Suppose -6*g + w = -t*g. Solve l = -2*l - g for l.
-4
Suppose -m - 205 = 25*y - 28*y, 5*y - 347 = m. Solve -y*x + 24 = -59*x for x.
2
Suppose -24*p = -25*p + 1. Let o be (p - -2)/(-6)*-2*0. Solve 1 + o = -z for z.
-1
Suppose -5*t + 5 + 25 = 0. Suppose -3*w + t = -3. Suppose 0 = 17*y - 13*y. Solve y = w*a + a - 20 for a.
5
Suppose -45 = 3*d - t, d = -0*t + t - 17. Suppose 6*z - 2 = 22. Let w be 2/z*(18 + d). Solve w = 2*s + 8 for s.
-3
Suppose 9*z - 11 - 1 = 5*z. Solve -z - 63 = -11*f for f.
6
Let z(j) = -j**3 + 8*j**2 - 9*j - 21. Let b be z(5). Suppose -18 + b = -w. Solve w*t = 5*t for t.
0
Let l(h) = 21*h + 89. Let f be l(-5). Let v(x) = 3*x + 50. Let c be v(f). Solve 4*i = c*i for i.
0
Let d(k) = k**3 + 15*k**2 - 22*k - 32. Let m be d(-16). Suppose -109 = -5*l + 4*z + 78, -2*z = 2*l - m. Suppose 2*g - l = -3. Solve 5*u + g = u for u.
-4
Let w be -2*3/6*-1. Let f(s) = 13*s - 13. Let i be f(11). Let h be ((-2)/((-6)/9))/(30/i). Solve w = -4*l + h for l.
3
Let p = 819 - 812. Solve p*v = 27*v + 80 for v.
-4
Suppose -5*h - 4*d = -10 - 15, 0 = 2*d. Suppose -h*v - 360 = -15*v. Solve 0 = k + 8*k - v for k.
4
Let n(l) be the third derivative of -l**4/8 + 9*l**3/2 + 169*l**2. Let p be n(5). Solve 3*d - p*d + 9 = 0 for d.
1
Let f(i) = 2*i**2. Let p be f(-2). Let a = -1964 + 1964. Suppose 3*h + p*h - 55 = a. Solve 5 = -0*j + h*j for j.
1
Let a(f) = -38*f - 13. Let y be a(-1). Suppose 47 = 11*i + y. Solve i*z - 6 = -z for z.
2
Let c be (46/(-56) + 16/28)*4. Let a be ((-3)/(-4))/((2/(-56))/c). Let m = 23 - a. Solve 2*b + m = -8 for b.
-5
Suppose -3*d + 22*f = 27*f - 363, -3*f - 18 = 0. Solve -d*m + 126*m = 35 for m.
-7
Suppose 2*f = 6*f. Let t be 7/(-5) + 1 - 20054/(-185). Let q be (t/198)/((-1)/(-11)). Solve 4*l - 2*l + q = f for l.
-3
Let n(y) be the third derivative of -y**4/24 + y**3/6 - 84*y**2. Let l be n(-4). Solve -l*o + 3 = -4*o for o.
3
Suppose 0 = 13*w + c - 2708, -4*w + 35*c = 31*c - 816. Solve w = -46*p - 22 for p.
-5
Suppose -99*b + 22319 = 43*b - 24683. Solve 71 + b = -67*a for a.
-6
Suppose -8*y = 39 + 41. Let x be (-62)/y + 5/(-25). Let r(d) = d**3 - 5*d**2 - 6*d. Let l be r(x). Solve 2*a + 2 = -l for a.
-1
Suppose 2*r = 3*c + 114, -44*r - 242 = -48*r - c. Solve -6*b + r = -16*b for b.
-6
Suppose 3*k - 35 = -2*k. Let x(q) = -q**3 - 10*q**2. Suppose 0 = -b - 2*b - 3, 5*d - 2*b + 48 = 0. Let g be x(d). Solve -3*m - 2 - k = g for m.
-3
Let b(f) = -4*f - 5. Let q = 17 + -21. Let w be q + -2 - (-4 - -1). Let t be b(w). Solve 0 = 4*l - 9 - t for l.
4
Suppose 216 = -14*x + 32*x. Suppose 2*b = 3*q + x, -5*q + 12 = -b - 8*q. Solve 2*d + 5*d = b for d.
0
Suppose -8*a - 96 = -7*a - 5*z, 384 = -4*a + 3*z. Suppose -3*l - 260 = 2*r + 20, 0 = -l - 3*r - 84. Let b = l - a. Solve 0 = -b*y + y for y.
0
Suppose -26*w + 100 = -6*w. Suppose -k - w*u = -7, u - 2*u + 49 = 3*k. Solve -2*n + k - 11 = 0 for n.
3
Let a = -31 + 17. Let u(d) = -2744 + d**3 - 142*d**2 + 2754 + 156*d**2. Let x be u(a). Solve 3*o + 2*o = -x for o.
-2
Let m(l) = 5*l**2 - l + 6. Let x be m(2). Let g(s) = s - 14. Let r be g(x). Solve -4*i - i = -r for i.
2
Let n be (-12)/(-5) + (-2)/(-15)*-3. Let v be 4 + -2 + (n - 1) + 3. Solve -d - d = v for d.
-3
Suppose 0 = 4*i + 4*x - 18 - 54, -36 = -2*i - 4*x. Let p(h) = h**2 - 33*h + 283. Let d be p(15). Solve d*n = i*n - 10 for n.
2
Suppose -5*u + 5*v = -70, -5*u - 4*v = 29 - 126. Let z = u + -15. Let q = 1029 - 1025. Solve -z = -2*n + q for n.
3
Suppose 3*p = -4*t + 42, 2*t - 36 = -4*p + 30. Solve p*n - 16 = 26*n for n.
-2
Let c(h) = 3*h**2 - 7*h + 8. Let b be c(5). Let y = -45 + b. Suppose -2 - 4 = -y*d. Solve 0 = -2*j - d - 0 for j.
-1
Let p be (2/4)/((-7)/(-56)). Suppose -2*c = 2*o, -2 = 2*o - p*c - 20. Suppose -3*v + o + 6 = 0. Solve v*t - 10 = 5 for t.
5
Let x = -4665 + 4678. Solve -x*w - 45 = 7 for w.
-4
Suppose -y - 9*y + 300 = 0. Let i be (-238)/(-8) - (-2)/8. Let a = y - i. Solve a*k - k + 3 = 0 for k.
3
Let s(t) = t**2 - 34*t - 124. Let b be s(-4). Solve -16*n + b*n = 0 for n.
0
Let x = 6732 - 6727. Solve -190*m + x = -185*m for m.
1
Let v = -186 + 190. Suppose -8*s = -3*d - 11*s + 63, -s - v = 0. Solve 13*h + d = 18*h for h.
5
Let o(n) = -4*n**3 - n**2 + 9*n + 18. Let r be o(-2). Solve 693*i = 686*i - r for i.
-4
Let n = 71 - 253. Let z = -177 - n. Solve -y + z = 4*y for y.
1
Let c = -4732 - -4732. Solve c = 11*w + 36 + 8 for w.
-4
Suppose -2*v = -3*a + 241, 4*a + 2*v - 350 = -10. Solve 93*r + 80 = a*r for r.
-8
Suppose a - 55 = -5*y, 4*y - 5*a - 49 = 2*y. Suppose -x = -2*b + 5, -1773 + 1803 = 5*b + x. Solve -13 = b*k + y for k.
-5
Let k = 5 - 1. Let w = -140 - -142. Suppose -2*l - 16 = -j, 4*l + 23 = w*j + 3*l. Solve -k*m + 6*m + j = 0 for m.
-5
Suppose -18*s - 2*s = -582 - 558. Solve -s*z = -42*z + 45 for z.
-3
Let f(u) = -u**3 - 7*u**2 - 3*u + 14. Let t be f(-7). Suppose 2 = -3*v + t. Solve -7*r = -v*r + 4 for r.
1
Let z = 308 + -268. Suppose 24*h = 160 - z. Solve -7 = 6*x + h for x.
-2
Let n = 821 + -506. Let v = -313 + n. Solve -v*d + 8 = 2*d for d.
2
Suppose 5*v - 706 = 2639. Let y = -613 + v. Solve -12*f + 8 = y for f.
-4
Let c = 14 + -13. Let r be 1/c*8/(-4) - -12. Let a = r + -1. Solve 2*w = -w - a for w.
-3
Let t = 134 + -126. Suppose -5*k - 3*x + t*x = -40, 3*k - x - 28 = 0. Solve k*p = 5*p + 15 for p.
3
Let w = -179 - -177. Let g be 2 + -2 - (w + 3 + -5). Solve 1 - g = p for p.
-3
Suppose 0 = -0*a + 2*a - 10. Suppose 0 = -3*o, 0 = a*z + 6*o - 7*o - 120. Suppose -13*x = -x - z. Solve 0 = -x*t + 6 - 2 for t.
2
Suppose -a = 4*f - 16, -f - 2*a - 2*a + 4 = 0. Let x be (2 - f)/(((-2)/3)/2). Solve 3 = 3*i - x for i.
3
Suppose -20*h = -249*h + 2519. Solve 11*n + 110 = -h*n for n.
-5
Let v(h) = h**2 + 2*h - 2. Let w be v(2). Let n(u) be the third derivative of u**4/24 + 4*u**3/3 - 13*u**2. Let a be n(-6). Solve -a*b = -4*b + w for b.
3
Let a = 786 + -714. Let d = 72 - a. Solve d = 4*p + 2 - 6 for p.
1
Let b = -46 - -59. Suppose 2*s + 168 = 72. Let y be 12/s + b/4. Solve y*z = 12 - 3 for z.
3
Suppose 0 = -4*s + 10 + 10. Let v be (3 - s/4) + 1/4. Suppose -y + v*y = 3. Solve 13 + y = -4*g for g.
-4
Suppose -32 = 153*b - 154*b + 4*s, -b + 5*s = -35. Solve 32 = -6*f + b for f.
-2
Let r be 4/(-6) + 35/3. Suppose 2*s + 18 = 8*s. Suppose 3*d = z + r, d + 3 = s*z + 20. Solve -2*j + 4 + d = 0 for j.
3
Suppose -9642 = -78*q + 12864 + 5028. Solve 0 = 46*r + 15 + q for r.
-8
Suppose -48*g + 5488 - 1046 = 26. Solve -13*s - g + 105 = 0 for s.
1
Suppose -19*j + 9 = -219. Solve -j*a = -68 + 20 for a.
4
Suppose -3*y = 14 - 20. Let d be 15/y*12/15. Suppose 11*m = d*m + 30. Solve 0 = -h + m*h - 25 for h.
5
Suppose 112*r + 81*r - 46*r - 1764 = 0. Solve 36 = -4*n + r for n.
-6
Let n = 3 + 0. Suppose -l - 4*k = 2 + 2, k + 1 = 2*l. Suppose 2*w = n*t + 6, w - 4*t - 3 = -l. Solve w*z - 1 = 2*z for z.
1
Let s = -13575 + 13612. Solve s*w - 100*w + 126 = 0 for w.
2
Suppose -11*h = -20*h - 82 + 352. Solve -h = -40*i + 35*i for i.
6
Let h be (-1 + 3)/((-1)/(-2)). Suppose 4*o + l = -4*l + 142, 25 = o - 4*l. Let q be ((-48)/(-32))/(-1 + o/30). Solve -h*s + s + q = 0 for s.
5
Let h = -206 + 76. Let f be ((-52)/h)/((-2)/(-50)). Suppose 5*r + m + 15 = 10, 2*m + f = 3*r. Solve r = -0*d + d + 3 for d.
-3
Suppose -5*x = -4*q + 121, -4*q = -6*q - x + 43. Let o = 56 - 53. Solve 0 = o*s - q + 18 for s.
2
Let b be 9/(-2)*284/(-213). Solve 22*h - 28 = -b*h for h.
1
Suppos