2 = 13*w for w.
-2
Let z(w) = -63*w - 38. Let s be z(-13). Suppose s = -i + 12*i. Let u = -65 + i. Solve -b = -3 + u for b.
-3
Let q = 3 + 1. Let t(f) = f**2 + f + 1. Let w(g) = 4*g + 4. Let j(n) = 3*t(n) - w(n). Let u be j(-1). Solve -q*h = -u*h for h.
0
Let o(m) = -m**3. Let l(n) = -6*n**3 - 9*n**2 - 3*n + 14. Let h(t) = l(t) - 5*o(t). Let y be h(-6). Let r = y - -77. Solve p + 4 = -r for p.
-5
Suppose -4*u = -2*z + 262, -272*u = -z - 271*u + 140. Solve -145*g + z*g + 28 = 0 for g.
-7
Let d(u) = 107*u**3 - 5*u**2 + 2*u + 3. Let n be d(1). Solve 113*y + 30 = n*y for y.
-5
Suppose -20*f = -34*f + 25*f - 2024. Solve 0 = f*l - 178*l - 24 for l.
4
Let c = 24 + -23. Suppose -4 = -5*u + c. Let z be 3/u*2/2. Solve -z = -j - 0 for j.
3
Let s(r) be the third derivative of -r**6/120 + 7*r**5/60 + r**4/8 - r**3/6 - 18*r**2. Let c = -1 + 8. Let u be s(c). Solve 4*p = 9*p - u for p.
4
Suppose 4*t - 144 = 4*z, 5*t + 489 = -2*z + 606. Solve 0 = 7*x - 6 + t for x.
-3
Let v(j) = -j**3 + 4*j**2 + 6*j + 3. Let i be v(5). Suppose 4*k = -i*k + 324. Suppose 2*c - k = -17. Solve 9 = -c*d - 11 for d.
-4
Let q(u) = 2*u + 41. Suppose 2*n = -5*v + 8, 5*n - v + 25 = -9. Let j be (-370)/20 + n/(-4). Let h be q(j). Solve h - 23 = 4*l for l.
-4
Suppose 0 = -2*t - 13 + 19. Let u be 2/20 + (-22)/20 + 1. Solve u = 4*a - 9 - t for a.
3
Suppose 20 = 5*g, r - 5*g + 21 = -5. Let x(v) be the third derivative of v**5/60 + v**4/4 + v**3/3 + 184*v**2. Let w be x(r). Solve w = -3*y - 4 for y.
-2
Let g = -43991 + 44027. Solve 143*q = g*q + 214 for q.
2
Let c(u) = -326*u - 29. Let k be c(-2). Let g = k + -615. Solve g*y - 4*y = -16 for y.
-4
Let a = -21930 + 21944. Solve 24 = a*r - 32 for r.
4
Let x(j) = 4*j**2 - 175*j + 7. Let f be x(44). Solve 56*g + 25 = f*g for g.
-5
Let t = -8 - -12. Let l(q) = -11*q - 5. Let c be l(-23). Let n = c - 245. Solve 1 = -t*b - n for b.
-1
Let i = -347 + 356. Suppose -i*v + 42*v - 33 = 0. Let x = 0 - 0. Solve q + x - v = 0 for q.
1
Suppose -2*p = -3*i, 5*p + 2*i + 7 = 26. Suppose 66 = -p*j + 75. Suppose -8 = 3*d + m - 53, m + 67 = 4*d. Solve -j*t - 4 = -d for t.
4
Suppose 1 = -3*h + 10. Suppose -w = 2*g + w - 18, 0 = -3*g + w + 7. Suppose 4*d - 3*u = 44, -2*d = -g*d + 2*u + 24. Solve 15 = h*i - d*i for i.
-3
Suppose -2*w + 4*u + 22 = 0, 6*u - 19 = -5*w + 7*u. Solve 7*l = w*l for l.
0
Let g be ((-1)/3)/(2/(-12)). Let w = 5 - g. Suppose 0 = 6286*k - 3419*k. Solve k*z = -w*z + 3 for z.
1
Let a(r) = r**3 - 11*r**2 - 25*r - 9. Let k be a(13). Suppose -2*o - 2*t = -k*t, -2*t = 3*o. Solve o = x + 1 for x.
-1
Let k = 527 - 518. Suppose -k*j - 19 + 46 = 0. Solve -j*y - 16 = -1 for y.
-5
Suppose -88 = -15*l + 572. Solve -82 = l*u + 270 for u.
-8
Let q be (-63)/(-28) - 3/12. Suppose 64 = 3*m + t + 315, q*m - 2*t + 154 = 0. Let k = m - -88. Solve -k*j = -j for j.
0
Let s be (0 - -15)/5 - 3. Let g be -1 + s - -2*2. Suppose -18 + g = -5*c. Solve -3 = 2*k - c*k for k.
3
Let o = -62 - -62. Suppose o*j = -13*j + 65. Suppose -5*d + 40 = j*d. Solve -d*q = q - 15 for q.
3
Let f be (10/275*5)/(11/242). Solve n = 8 - f for n.
4
Let n(t) = t**3 + 5*t**2 + 4*t + 2. Let f be n(-3). Suppose 20 - f = q. Suppose 0 = q*v - 13*v + 1. Solve -5 = 3*k + v for k.
-2
Let r(l) = -3*l + 54*l + 17*l. Let x be r(1). Let f = x + -63. Solve -p = 3 - f for p.
2
Suppose -4*w + 64 = -12. Suppose -2*a = o + 3*o - 14, -4*a = -o - w. Let r be 2*((-4)/(-8))/1. Solve 3*q + a = -r for q.
-2
Suppose 48*w = -29*w - 67*w. Solve w = 40*l - 60*l + 100 for l.
5
Suppose -9317 + 9381 = 8*l. Solve -182 = 18*m + l*m for m.
-7
Let f(a) = -37*a - 1579. Let y be f(-56). Solve -112*r - y = 67 for r.
-5
Let u = 218 - 206. Suppose -2*y + u = 4*y. Solve -4*o = y + 2 for o.
-1
Let f(n) = n**3 + 14*n**2 + 12*n - 4. Let y be f(-13). Let v = 12 - y. Suppose 0 = 7*m - 6*m - v. Solve 0 = 4*w - 5*w - m for w.
-3
Let h(x) = -21*x + 994. Let y be h(46). Solve g + 28 = y for g.
0
Let l be (-3 - (-35)/14)*-18. Let u be -3 + l + 3 + -9. Solve u = -4*y - 0*y for y.
0
Suppose -11*m + 12*m + 22 = 5*y, -2*m + 5*y = 44. Let h = m + 22. Solve j + j + 6 = h for j.
-3
Let g = -28 + 42. Let l = g + -10. Let o = -218 - -233. Solve d - o = -l*d for d.
3
Let b = 7507 - 7274. Solve 210*a = b*a + 184 for a.
-8
Suppose -5*i + 4*n + 18 = -6*i, -2*i - 5*n = 21. Suppose 2*u + i = 2*l, 4*l - u + 6*u - 49 = 0. Solve l = k + 1 for k.
5
Let d be (-464)/(-80) + 12/(-15). Let t be -7 - (-5)/d - -6. Solve t = 3*j - 1 - 11 for j.
4
Let q = 3546 - 3518. Solve -24*l = 20 + q for l.
-2
Let m be 1 + -1*(-5 - -3). Suppose 0 = -5*w - l + 8, 24*w - 19*w - 2 = l. Solve w = -m*r - 5 for r.
-2
Let n(s) = -s**3 + 13*s**2 + 11*s + 54. Let u be n(14). Suppose -u = 15*q - 16*q. Solve -5 + 41 = q*r for r.
3
Let a(m) = 6 + 56*m**3 - 4*m - 5 + m**2 + 2 + m. Let c be a(1). Let t = -53 + c. Solve -2*j = -t*j - 4 for j.
-2
Let c be ((-2)/12)/(82/(-5412)). Solve c*p = 38 - 49 for p.
-1
Let w(q) = 21*q - 1 - 16*q - 24*q**3 + 22*q**3 - 3*q**2. Let x be w(-3). Solve x*z = 15*z for z.
0
Let f(c) = -c**3 + 34*c**2 - 31*c - 59. Let n be f(33). Suppose -9*z = n*z. Solve z*w - 5*w = -20 for w.
4
Suppose 0 = -51*a + 112*a - 305. Let q(j) = -j + 4. Let o be q(2). Suppose o*z + 0 = -b + 20, -z + 5*b - 12 = 0. Solve -3*c + z*c = a for c.
1
Suppose 22*s = -27 + 115. Let c(a) = -a + 9. Let h be c(6). Solve h*w = w - s for w.
-2
Let l be 9/(-6)*(-10)/3. Suppose l*x - 5 = 5. Suppose -x*o = -5*o + 9. Solve -22 = -o*c - 7 for c.
5
Suppose -39 = -4*p - 3*x, -3*p + 34 + 9 = 5*x. Suppose 6*m + 9*m = p*m. Solve 4*v - 8 = -m*v for v.
2
Let o(d) = 18*d - 210. Let n be o(22). Solve 30*g + n + 54 = 0 for g.
-8
Let c be (4 - 96/20)/(53/(-1325)). Solve -95*y - c = -91*y for y.
-5
Let a(y) = y**3 + 9*y**2 - 12*y - 13. Let o be a(-10). Let b be (-457)/(-3) + 3/(-9). Let k = b - 152. Solve -5*q + o + 3 = k for q.
2
Let c = -4 - -4. Let v be (-14)/21*(-3)/2 - c. Let b be (-112)/(-18) + v + 33/(-27). Solve 15 = -3*i + b*i for i.
5
Let j = 111 + -114. Let b be -1*((4 - 1) + j). Solve 0 = -y - b*y for y.
0
Let m(v) = v**2 + 3*v - 47. Let a be m(6). Solve -36 = -a*i - 8 for i.
4
Let m = 63 + -43. Let d(v) = -v**3 + 16*v**2 - 45*v - 150. Let r be d(10). Solve r = -7*c + 3*c - m for c.
-5
Let h = -7858 + 7994. Solve 69*x = h + 71 for x.
3
Suppose -c = -3*n + 123, 2*c + 0 + 74 = 2*n. Solve -n*w + 31 = 289 for w.
-6
Suppose -5*w = -24*f + 25*f - 276, 218 = 4*w - 2*f. Solve -33*l = w + 44 for l.
-3
Let r(s) = -s**2 + 9*s. Let h = -137 - -142. Let u be r(h). Let b be 2/(((-16)/u)/(-2)). Solve -b - 7 = -4*a for a.
3
Suppose 0 = 2*v + a - 196, 2*v + 2*v - 368 = 4*a. Let m be (v/(-160))/(2/(-30)). Solve 4*b = 7 + m for b.
4
Suppose 272 - 437 = 3*t. Let s = 64 + t. Solve 2*u = s*u - 14 for u.
2
Let k be ((-6)/4)/(19/(-76)). Let m be (3 - 19)/(k/9*-3). Suppose -2*j + 3 = -1. Solve m = j*w + 2*w for w.
2
Suppose 90 = -2*f - 4*l, -3*f - 6*l - 147 = -4*l. Let t = -17 + 71. Let p = t + f. Solve -3*c = -2*c + p for c.
-3
Suppose 4*l + 13*l - 45 = 2*l. Solve 43*h = 42*h + l for h.
3
Let z be ((-9)/3)/(2 - (-10)/(-4)). Suppose -6 - 18 = -z*m. Solve -m*w + 5*w - 4 = 0 for w.
4
Let d(z) = z**2 + z + 2. Let u(s) = -5*s**2 - 16*s + 10. Let m(t) = -6*d(t) - u(t). Let w be m(6). Solve 0 = w*r + 6 + 2 for r.
-4
Let r(h) = 2*h**2 - 11*h + 12. Let i be r(5). Suppose 5 = i*d - 9*d - 5*k, 0 = -3*d - k + 12. Solve 0 = d*m - 9 + 4 for m.
1
Suppose 4*c + 89 = -75. Let y = 40 + c. Let z be 7/14*(7 - y). Solve -w = z*w - 20 for w.
4
Suppose -6*r = -265 + 301. Let g be r/(-36) - 2622/(-36). Solve 98 - g = 5*p for p.
5
Suppose -2*r + 5*g = -897, 4*r - 5*g - 1070 - 719 = 0. Suppose 454*i - r*i = 96. Solve -3*u - i = -7*u for u.
3
Let x(f) = 27*f**3 + 2*f**2 + 2*f + 13. Let q be x(4). Suppose -7*l - q = -20*l. Let n = l - 132. Solve 6*o = n*o for o.
0
Let z be (-496 - -7)*(-2)/6. Let i = z + -158. Solve 0 = -i*r - 0*r for r.
0
Let v(w) = w**3 - 38*w**2 + 91*w - 624. Let c be v(36). Solve 9*u - 19*u + c = 0 for u.
6
Let t be (-6)/(-9) - 462/18. Let p = t - -16. Let g be (30/p)/(6/(-9)). Solve 10 = -g*n - 5 for n.
-3
Let f = 3174 - 3162. Solve 175 = -47*b + f*b for b.
-5
Suppose -5*z - 87 = -4*m, 3*m + 65 = -3*z - m. Let v(h) = -5*h**2 - 25*h + 51. Let k be v(2). Let i = k - z. Solve y + y - 4 = i for y.
2
Let o be ((-1)/(-4))/((-11)/88). Let w be