k.
-2
Let g = -414 - -413. Let t be 55/22*(9 - g). Solve -8*m + t = -7 for m.
4
Let t(i) = 45*i**2 - 98*i + 26. Let l be t(3). Solve -102 = -l*q + 120*q for q.
6
Let i = 7611 - 7460. Solve -i*n = -170*n - 76 for n.
-4
Let k = 62 + -53. Let h be k/(126/(-8))*-7. Suppose -3*j = -4*w + 7 + 8, -10 = -3*w + 2*j. Solve -4*b = h - w for b.
-1
Suppose -8 = -3*h - 2. Suppose 1 - 3 = r - 4*s, 2*r + 2*s = 6. Suppose 4*v - 4 = 2*l, 3*v - 56 + 43 = -l. Solve h*f = l + r for f.
3
Let k(r) = 3*r - 35. Let d(c) = -c**3 + 7*c**2 - c - 7. Let g be d(7). Let s be k(g). Let t = 80 + s. Solve -t*y = y for y.
0
Let k = 51 + -63. Let y be (-1)/6*1*k. Solve p + y = -2 for p.
-4
Suppose -218 + 32 = -2*n. Let p = -65 + n. Let v = 30 - p. Solve -v*j + 2 = -4*j for j.
-1
Let f(x) = -x**3 - 17*x**2 - 42*x - 348. Let b be f(-16). Solve -4 + b = -32*i for i.
-2
Let f = 16408 - 16371. Solve -7*h - f = -23 for h.
-2
Suppose 5*j - 2*t - 171 = 0, 8 = 5*t - t. Suppose 0 = -5*b - 5*k + j, 0 = 3*b + 5*k - 5 - 26. Let p be (10*5/(-10))/((-14)/70). Solve 7*z = b*z - p for z.
-5
Suppose -8*l + 11*l - 9 = 0. Let m be (l/(-7))/((-3)/21). Let h be 9/((-36)/(-8))*m. Solve 0 = -2*a - 2 - h for a.
-4
Let j(v) = -v**2 + 11*v - 11. Let g be j(9). Solve -g*w + 8 - 22 = 0 for w.
-2
Let w be 43 - (7*(-6)/(-42) - (3 + 0)). Solve 11*o - w*o = 0 for o.
0
Let l be ((-38)/30 - (-4)/6)*-15. Let f be (-6)/l + -2 + 14/3. Suppose 3*t = -3*t + f*t. Solve -z + 2*z = t for z.
0
Suppose 0 = -8*c + 852 + 788. Let u = c + -190. Solve 0 = 5*g - u*g - 40 for g.
-4
Suppose 2*z = 3*z - 4. Let s be -1 - -3 - (2 - z). Suppose 136 = -5*f - 2*v + 128, -5*v = 20. Solve f = 2*a - 12 + s for a.
4
Let o be 39/((-2)/2 + 0). Let p = o + -8. Let r = p + 59. Solve 2*b + r = -2*b for b.
-3
Let t(x) = -2*x - 5. Let p be t(-5). Suppose 22*r - 422 = 18. Solve -p*c - r = -9*c for c.
5
Let w(y) = y**3 - 44*y**2 + 123*y + 10. Let g be (-1*0/(-4))/2 - -41. Let x be w(g). Solve -7*b + x*b = 9 for b.
3
Suppose -u - 3*o + 683 = 0, 6*o - 11*o = u - 685. Solve -4*j + 688 - u = 0 for j.
2
Suppose 5*m - 10 = 20. Suppose 45 = m*k - k. Suppose 2*x = 3*x. Solve -3*j - k = -x*j for j.
-3
Let a(x) be the first derivative of -3*x**2/2 + 12*x + 161. Let o be a(3). Solve 3*k - 6*k = -o for k.
1
Let z be 0*(-2 - (0 + 3/(-2))). Let m be z - (-7 - 2) - -3. Suppose v - 6*v + q + 18 = 0, q = 3*v - m. Solve v*p = -0*p for p.
0
Let h(o) = o - 8 + o**2 - 12 - 16 + 28. Let v be h(13). Suppose 0 = -v*p + 179*p. Solve p = -2*z + z - 1 for z.
-1
Let s(c) = 2*c - 15. Let r be s(33). Suppose r = 51*p - 34*p. Solve -p*h + 5 = -1 for h.
2
Let m = -818 - -826. Suppose 5*b + 5*z - 25 = 0, -6*z + 2*z = -20. Suppose b = -d - 3*d + m. Solve -4 = -2*f + d for f.
3
Let t(u) = -3*u + 24. Let i be t(-2). Solve i = -24*d + 14*d for d.
-3
Let b be (((-1341)/8)/3)/((-248)/1984). Solve -439*i = -b*i - 56 for i.
-7
Let m be (-25)/15*(-36)/20. Suppose -3*o + 5*p + 8 = o, 0 = 2*o + m*p - 4. Suppose -o*l + 3*a - 4 = -0, -a + 16 = 3*l. Solve l*c + 7 = 19 for c.
3
Let r be (1 + -1 + 5)*(1 + 0). Solve r*g - 2 = -32 for g.
-6
Suppose -o - 751 = -5*d + 369, 4*d = -o + 896. Solve -16*n = 16*n - d for n.
7
Let t = 244 + -300. Let g be (-9)/24 - 469/t. Solve 9*m + 1 = -g for m.
-1
Suppose 123*a + 4*a = 762. Solve a*i = -11*i + 85 for i.
5
Suppose -2*d = 3*a + 665, 0 = -9*a + 8*a + 5. Let q = d + 348. Solve -3*s + 23 = q for s.
5
Let w = 19411 + -18769. Solve 16*i = w - 738 for i.
-6
Let r(a) = -a**2 - 11*a - 11. Let v = 35 - 13. Suppose v*l = 9*l - 65. Let c be r(l). Solve 4*f - c - 1 = 0 for f.
5
Suppose 3*v = -2*a + 10, -v = 4*a - 41 + 11. Suppose a*i = -0*i. Solve -3*n + 0*n - 9 = i for n.
-3
Suppose 2726*i - 4031 = 2587*i. Solve -145 + i = -29*u for u.
4
Suppose 0 = 2*k + 3*n + 24, -6*n + 10*n = -4*k - 40. Let p be ((-18)/k - 26)*-1. Solve 0 = 6*o - p - 7 for o.
5
Let m = 19 - 9. Let p be -9 + (96/(-40) - (-4)/m). Let h be p/22 + 14/4. Solve 2*b = h*b - 3 for b.
3
Suppose 431*m - 427*m + 224 = 4*a, 0 = 4*a - m - 236. Solve 56*b - a*b - 32 = 0 for b.
-8
Let q = 3805 - 3787. Solve -41*o + 69 = -q*o for o.
3
Let b(h) = 3*h - 4 + 14 + 17. Let d = -24519 + 24510. Let a be b(d). Solve a = 4*t - 2*t + 4 for t.
-2
Let k = -708 - -713. Solve k*v = 163 - 188 for v.
-5
Let v = -985 - -999. Solve -20 - 8 = v*z for z.
-2
Let n(x) = 2*x**3 + 3*x**2 - 3*x + 2. Let q(l) = l**3 + 12*l**2 + 11*l + 2. Let u be q(-11). Let b be n(u). Suppose 0 = -6*m - 0 + b. Solve -6 = 5*z + m for z.
-2
Suppose -r + 3*r = 0. Suppose 0*k + 8*k = 32. Let x be 2/(-6)*18/(k - 6). Solve q + r*q - x = 0 for q.
3
Let n(p) be the third derivative of -p**4/6 + 73*p**3/3 - 52*p**2. Let o be n(34). Solve o = v - 6*v for v.
-2
Let i be ((-3)/4)/((-88)/(-1056)) + 9. Solve i = -10*r + 91 - 31 for r.
6
Let f = 20 + -4. Suppose -f = -3*s - 2*v, -12*s - v + 15 = -7*s. Let b be ((-57)/76)/(s/(-8)). Solve 10 = 5*g - b*g for g.
5
Let g(h) = -3*h + 22. Let d be g(4). Let v(a) = -13*a + 12 - 14*a + d*a**2 - a**3 + 17*a. Let n be v(9). Solve 0 = n*j - 0*j - 15 for j.
5
Let k(d) = -d + 1. Let w be k(5). Let o = w - -7. Let r be (-21 - -15)/(36/(-12)). Solve 0 = y + r + o for y.
-5
Let w = -5941 + 5951. Solve -w*m = 27*m for m.
0
Suppose 2*f + 5*h = 5 + 24, -15 = 5*f - 5*h. Suppose -f*i = -y, y = -2*i - i + 5. Let x(d) = 4*d - 3. Let k be x(y). Solve -11 = -3*l - k for l.
2
Let i(g) = 4*g**3 + 15*g**2 + 16*g + 92. Let l be i(-4). Suppose -3*m = -z + 6, 5*z + 2*m - 20 = 10. Solve -l = z*d + 18 for d.
-5
Let b = 14180 - 14020. Solve 0 = -12*v - 196 + b for v.
-3
Let i be (-2)/((-42)/104 - 20/(-130)). Let s be 31 - -2*(5 - i). Let k = -2 - -7. Solve 5*w + s - k = 0 for w.
-4
Let m(l) = -7*l - 12*l - 8*l - 5*l + 33*l + 16. Let k(a) = -2*a. Let o be k(6). Let c be m(o). Solve -7*b = -c*b - 6 for b.
2
Let h(i) = -i**3 + 5*i**2 + 4*i - 10. Let n be h(5). Let a(c) = c**2 - 11*c + 4. Let r be a(n). Let t be (0 - (-10)/r)/((-2)/30). Solve -2*d = 3*d - t for d.
5
Let o(r) = r**2 - r - 4. Let f be (-2)/(12/(-9)) + (-13)/2. Let q be o(f). Suppose 125 = q*a - 21*a. Solve z + a = -4*z for z.
-5
Suppose 0 = f + s - 4, s - 268 = 5*f - 336. Let l = 15 + -11. Solve 2*x = l - f for x.
-4
Let z(n) = -38*n + 877. Let j be z(23). Solve -j + 15 = 12*l for l.
1
Let g(o) = o**3 - 9*o**2 + 7*o + 22. Let q be g(8). Solve -q*h - 63 - 35 = 0 for h.
-7
Let v be (40/6)/((-2)/(-3)). Suppose -13 = 6*i - 5*i - 5*a, -2*i - 2*a = -v. Solve 3 = i*z + 3 for z.
0
Suppose -2*j = 5*r - 34, -21*j + 28 = -19*j + 4*r. Solve j*v - 4 + 18 = 0 for v.
-7
Let s = -3230 - -3238. Solve -7*u = -s*u for u.
0
Let f(s) = -128*s - 2628. Let k be f(-21). Solve -30*y = 90 + k for y.
-5
Suppose -5*m = -33*a + 38*a - 20, a - 52 = 5*m. Solve 4110*o - 4113*o = -a for o.
4
Suppose 184*l - 208 = 179*l - 68. Solve -l*g + 31*g = -3 for g.
-1
Let s be -257 + (-1 - -4) - 3 - -2. Let y = s - -259. Solve -y = k + k for k.
-2
Let h(b) = -b**2 - 7*b - 17. Let k be h(-5). Let n(y) = -2*y**2 - 14*y + 7. Let c be n(k). Solve c*j = j for j.
0
Let n be (-4)/(-14) - (-2338)/49. Suppose -n = 50*x - 54*x. Let t be 57/15 - 7/(-35). Solve -t*o + o = -x for o.
4
Let v(x) = 2*x**3 - 26*x**2 + 37*x - 140. Let f be v(12). Solve -16 = -f*b - 0 for b.
1
Let j = 10639 - 10506. Solve -j*x = -142*x - 18 for x.
-2
Let k be (-2)/(-14) + (-60)/(-21). Let d be (-4 - 2/(-2)) + k. Suppose d*c - 30 = -5*c. Solve -3*q + q = -c for q.
3
Suppose 3*x + 287 = -5*u - 33, 5*x - 92 = u. Let n = 67 + u. Let s(o) = o**2 - 3*o + 2. Let h be s(2). Solve -y + h - 3 = n for y.
-3
Suppose 3*y = -9*s + 6*s - 3, -2*y = -4*s + 20. Suppose 2*q + 21*x - 31 = 26*x, -3*q - s*x = 6. Solve q*c - 5 = 8*c for c.
-1
Let p(w) = 14*w**3 + w**2 - 4*w - 4. Let g be p(-2). Let k = g - -104. Suppose k = 3*y - 9, a + 5*y = -9 + 28. Solve 3 = -b + a for b.
1
Suppose 920 = -805*h + 809*h + 3*v, -h - 3*v + 230 = 0. Solve -70*w + h = -24*w for w.
5
Suppose -950*b + 951*b - 21 = 0. Solve b*r - 65*r = 264 for r.
-6
Suppose -36*b = -58*b + 27*b. Suppose 5*v = 3*y + 3, 2*v - 2*y + 11 = 3*v. Solve -v*j + 7*j = b for j.
0
Suppose -3*w = 5*f - 5 - 1, 155 = 20*w - 5*f. Suppose 2 = -3*d + n, 0 + 2 = -4*d + n. Solve w*v = -d - 7 for v.
-1
Suppose 55*f = 52*f + 18. Suppose 0 = f*t - 0*t + 72. Let n be (-69)/t + (-3)/4. Solve 5*z = -30 + n for z.
-5
Let q(x) be the first derivative of