e d = 20*m + 15 for m.
2
Let t be (6/21)/(-1) - 32/(-14). Let a be -166*t/(-3) + 4/3. Let q = -110 + a. Solve -q*f - 16 = 2*f for f.
-4
Let t(a) be the third derivative of a**4/8 - 13*a**3/6 - a**2. Let g be -14 + 3 + 22 + 5/(-1). Let b be t(g). Solve 0*h = -b*h for h.
0
Let l = 2811 + -2382. Solve l = 8*s + 429 for s.
0
Let j(u) = 8*u**2 - 16*u - 64. Let d be j(-5). Suppose 4*m - 22*m + d = 0. Solve 0 = -p + 7*p + m for p.
-2
Let b = 8 + 34. Solve 49 = a + b for a.
7
Suppose 40*w + 180 = 45*w. Solve w*n - 32*n = -20 for n.
-5
Let h be (-9 - 3)*(-18)/216. Solve h = -26*k - 129 for k.
-5
Suppose 22 - 2 = 4*s. Suppose 3*t - s*t - 5*y = 25, 20 = 5*t - 4*y. Suppose -65*w - 1692 = -607*w + 9148. Solve -z - 4*z - w = t for z.
-4
Let j(u) = 5*u**2 + 8*u + 2. Suppose -4*z = -4 - 4, -3*z = -3*r - 12. Let x be j(r). Solve -15 = x*m - m for m.
-3
Let m = 57 + -57. Let q(k) = -k**2 - k + 2. Let x be q(m). Suppose -a - 16 = -4*j + x*a, -20 = -5*j + 2*a. Solve -j*v + 11 + 9 = 0 for v.
5
Suppose -4*c + 1233 = -i + 394, -3*i = 21. Solve 6*u - c = -250 for u.
-7
Suppose 2*o + 63 = 9*o. Let m be 1*-7 + (-8 - -9) + o. Solve 0 = -m*k + 9 - 0 for k.
3
Let a(u) = -u**3 - 9*u**2 - 18*u + 4. Let k be a(-6). Suppose -2*d - 2 = 2*g, g + 3*d = k*g - 9. Solve -3 + g = 2*t for t.
-1
Suppose 17*o - 3*o - 56 = 0. Suppose 0 = -c - o*d + 1, 2*c - 4*d - 19 = -c. Solve -c*h = -0*h for h.
0
Let k be -4 + (-8 - -14) + 2*2. Let j be 2*(15/k + 0). Suppose -f - 6 = -2*f + j*o, 2*f - o = 12. Solve -f*p + 2*p = -8 for p.
2
Suppose -130 = -4*b + 2*t - 0*t, -169 = -5*b - 4*t. Suppose -b*d + 36*d - 12 = 0. Suppose q + 25 = 5*w - q, -4*w + d*q = -32. Solve w*u + 20 = -u for u.
-5
Let p be (230/35 + -7)*-21. Suppose s = -p*s + 30. Solve -4*k = s*k + 14 for k.
-2
Let v = 241039 - 241028. Let t be ((-2)/(1*-2))/(-1). Let d be (4*1)/(t - -3). Solve 3 = -d*j + v for j.
4
Let w(q) = q**2 + 4*q + 1. Let c be w(-6). Let h(t) = -t**2 - 24*t + 51. Let l be h(-26). Let z = 2 - l. Solve 0 = -z*u + 4 - c for u.
-3
Suppose -23 - 13 = 12*m. Let z be (0/8)/(5*m/(-5)). Solve 0 = -z*x - 0*x + 7*x for x.
0
Let g = 11948 + -11555. Solve -417 = 6*a - g for a.
-4
Suppose -4*c + 4*s - 16 = 0, 2*c + s - 4 = c. Solve k - 3*k + 6*k = c for k.
0
Let n(f) = 17*f - 1035. Let j be n(62). Solve c - 24 + j = 0 for c.
5
Suppose 0 = -5*d + 5, -5*f + d + 19 = 5*d. Suppose f*k - 13 = 5. Suppose -3*h + a + 12 = 0, 27 - 3 = 4*h - 4*a. Solve 0 = -c + h - k for c.
-3
Let i = 169 + -175. Let b(u) = 20*u + 120. Let x be b(i). Solve x = -14*k + 13*k + 4 for k.
4
Let x be 333 + (49/14)/(-7)*6. Solve x*g - 334*g = 8 for g.
-2
Let g(v) = v**3 - 5*v**2 + 7*v - 7. Let s be 12/3 - (-2)/(-3)*3. Suppose s*k = -3*q - 0*k + 22, -q - 3*k = -19. Let c be g(q). Solve t = c*t for t.
0
Let u be 9 + (-10 - 3) + 4. Solve u = -108*z + 112*z + 16 for z.
-4
Let k(d) = -d - 5. Let m be k(-7). Suppose 5*r + 40 = 5*w, -4*w + 1 = 3*r - 2*w. Let l be 30/25 - r - (-4)/5. Solve l*j = m*j + 3 for j.
1
Let b be 1 + (0 - 1 - -3). Suppose 3*k + 23 + 32 = -5*d, -d + 5*k - 11 = 0. Let s = d - -13. Solve 0 = -s*i + 5*i + b for i.
-1
Suppose 16*l - 219 = 325. Suppose 0 = -l*p + 38*p - 24. Solve 3*y = -0 + p for y.
2
Suppose 0 = -4*s - 48 - 32. Let b = 35 + s. Suppose 5*n = -b, -3*f - f = 4*n. Solve 2*r - 3 = f for r.
3
Let i = 2 + 0. Suppose -i*f = 4*f - 12. Let j be -2*(-13)/10 - 54/(-135). Solve f*d - 25 = -j*d for d.
5
Let y(v) be the third derivative of v**4/12 + 2*v**3 - 4*v**2. Let x be y(-5). Suppose -x*m - 14 = -2*w, -w - 3*m - 5 = -0. Solve w*p - 16 = -0*p for p.
4
Suppose 121625 - 193488 = -115*f + 245652. Solve f*o = 2762*o for o.
0
Suppose 2*a = 3*c - 5, -4*c + 9*c = -4*a - 43. Let t be (-23)/a + (-2)/7. Suppose -t*l = -8*l + 35. Solve 15 = -l*b + 4*b for b.
-5
Suppose -2*j + 0*j - 4 = -4*p, -2*j - 4*p = -12. Suppose -5*q + 0*i + 153 = -2*i, -4*q + 122 = -j*i. Solve q = -u + 26 for u.
-5
Let a(n) = 45*n - 85. Let x be a(2). Suppose 3*s = 4*s - 38. Suppose -w + x = -4*c + s, -3*w = 15. Solve 9 = 4*m - c*m for m.
-3
Suppose 5*n = 7*n - 4*f - 594, 0 = 3*n - 4*f - 889. Let h = n - 276. Solve 14*u - h*u = -15 for u.
3
Let h(r) = -r + 23. Let b be (-70)/(-2) - (2 - 3). Let k = b - 16. Let g be h(k). Solve x = g*x + 2 for x.
-1
Let p = 2696 + -2679. Solve -6*t - p = -23*t for t.
1
Let y be (14/(38 + -24))/(1/8). Solve -456 + 440 = y*u for u.
-2
Let i = -21212 - -21245. Solve -i*o - 20 = -86 for o.
2
Suppose -33*f + 11448 - 2274 = 0. Solve f = -47*q - 145 for q.
-9
Let u(s) = -s**2 - 20*s - 84. Let l be u(-6). Let w be l + (-6)/14 - (-855)/133. Solve w + 0 = 6*x for x.
1
Let o(w) = -8*w**2 + 50*w - 11. Let k be o(6). Let g be ((-21)/(-7))/((4 - k)/3). Solve 0 = -2*d - g*d + 25 for d.
5
Let b be 16/104 + 2 + (-37)/(-13). Suppose 10 = 3*a + b*x, -3 = -2*a + 2*x - 7. Solve 9*r - 11*r = a for r.
0
Suppose 0 = -148*i + 154*i - 12. Suppose 0 = i*s - 2*l - 8, 4*s - 3*l - 6 = 13. Solve -s*j = -12*j - 10 for j.
-2
Suppose -127*o + 69*o + 69*o = 462. Solve -o*g = -54*g for g.
0
Let m = 18397 + -18384. Solve -m*s = 24 + 15 for s.
-3
Let j be (-44)/6 + (-64)/(-48). Let n = j - -18. Let o(i) = -4*i + 71. Let d be o(17). Solve -n = 6*z - d*z for z.
-4
Let c be ((-1314)/3)/(2 + -4). Let w be 4/(-10) + c/(-15). Let t = w - -20. Solve -s + 0 = -t for s.
5
Suppose 4*k + 14 = 6. Let j be (-1)/(-3) - k/(-6). Let n be (-2)/1*(2 - (-25)/(-10))*2. Solve n*q + 4 = -j*q for q.
-2
Let r(t) = -3*t**3 - t**2 + 2*t + 19. Let a(h) = -2*h**3 + h**2 + h + 20. Let m(s) = 5*a(s) - 4*r(s). Let u be m(-5). Solve 0 = 5*x + 4 - u for x.
2
Let s be ((-8)/(-1 + 2))/((-120)/30). Solve -s = 23*t - 25*t for t.
1
Let y(t) = -14*t + 5*t**3 - 11*t - 2 - 10*t**2 + 9*t - 7*t**3. Let q be y(-2). Solve 5*m - q = 3*m for m.
3
Suppose -34*c = 3*c - 111. Let g be 2*(-3)/3 + 2. Let n be 0 + (0 - -6 - 3). Solve n = -g*k + c*k for k.
1
Let x be ((-12 - -9) + (-21 - -20))*(-655)/4. Solve 669*l - x*l - 56 = 0 for l.
4
Let p be 10*2*((-171)/(-18) - 5). Let q be (-1)/9 - (-550)/p. Solve 0 = 3*y - q*y + 9 for y.
3
Suppose 7*d - 811 + 132 = 0. Suppose -7*k + d = 41. Solve -20 = -k*g + 3*g for g.
4
Suppose 0 = 3*a + d - 14, -3*a + 4*a - 10 = 5*d. Suppose -o - 20 = -a*l, 2*l - 2*o = -0*o. Solve 4*v - 5*v + l = 0 for v.
5
Let x be -332 + 325 + (10 + 0 - 0). Solve 40 = -x*l + 11*l for l.
5
Let g(z) = -340*z - 3003. Let m be g(-9). Solve 75 = -m*v + 18 for v.
-1
Let i(x) = 15*x. Let o be i(2). Let l = -277100 + 277100. Solve l = o*c - 25*c - 10 for c.
2
Let p be (-26)/(-12) + 2/(-4) + (-292)/(-219). Solve -74 = p*l - 59 for l.
-5
Suppose -7*q - 2561 = 2*i, -3*q - 3*i + 2*i = 1097. Let k = q - -370. Solve 0 = y + 2 + k for y.
-5
Suppose 0 = -k + 25*k - 1464. Suppose 15*m = k*m - 322. Solve 2*x = m*x - 20 for x.
4
Let b(s) = -s**3 - 21*s**2 + 2*s + 44. Suppose -13*h - 126 = -7*h. Let y be b(h). Solve -2*o - 2 - y = 0 for o.
-2
Suppose -36*z = 3*m - 38*z - 17, 0 = -2*m + 2*z + 14. Suppose 5*c - 16 = m*a, -a + 4 = -c + 8. Solve c*t - 4 = -10 for t.
-3
Suppose 4*u - 3*p = 3672, 0 = 4*u + 389*p - 390*p - 3680. Solve -925*c - 20 = -u*c for c.
-5
Let n be (96/(-10))/(26/360 + (-20)/90). Solve 0 = 23*u - n*u + 123 for u.
3
Let f = 51 - 31. Let p = -14 + f. Let a = -250758 - -250758. Solve -p*b + 2*b + 4 = a for b.
1
Suppose -8*p = -3*p + 20, 3*r + 25 = 5*p. Let k = 24 + r. Let n = k - 9. Solve h = 4 - n for h.
4
Let t = -603 + 213. Let g = -385 - t. Let o(d) = -d**2 - 4*d + 3. Let q be o(-4). Solve -q = -i - g for i.
-2
Let t = 117 + -88. Suppose -5*k + t + 36 = 0. Suppose -10 = -2*g - w + 1, -3*w = g - k. Solve -5*c + g + 6 = 0 for c.
2
Suppose 11*u = 10*u. Suppose 0 = 3*i - 0*i - 393. Let l = i + -126. Solve -y = -u*y + l for y.
-5
Suppose 2*z = -4*c, -6 = -z + 3*c - 2*c. Suppose -z*n + 20 = 4*a, -5*n = 13*a - 18*a - 35. Solve -3*p = -5*p + n for p.
3
Let s(w) = -w + 1. Let r be (-1 - 1)*(9 + -7). Let z be s(r). Let g be z/((-3)/18*-5). Solve -g*u = -u for u.
0
Suppose 0 = p - 4*p. Suppose 4*g + 50 = 1134. Let z = 286 - g. Solve -5*q = -p - z for q.
3
Suppose -4*z - 3*x - 57 = 0, 0 = 2*z - 12*x + 13*x + 29. Let c(i) = -i**3 - 16*i**2 + i + 244. Let w be c(z). Solve 0 = 4*f - w + 4 for f.
0
Let h = -707 + 717. Suppose h + 18 = 14*a. Let m = -5 - -9. Solve -o - a = -m for o.
2
Let r(z) be the third derivative of -z**6/120 + 7*z**5