l = -2*f for f.
4
Let t be 12 + -4*(-3 + 9)/2 + 6. Solve -t = -69*p + 67*p for p.
3
Suppose -t + 216*k = 211*k - 1441, -4*k = -16. Solve 3*s = 1467 - t for s.
2
Let a = 498 + -337. Let t be (6 - a)/(-5)*1*2. Solve -22 = 8*h - t for h.
5
Let r = 539 + -530. Let f be (-2)/4 + (-90)/12. Let v = 14 + f. Solve -5*h + v = -r for h.
3
Suppose -6*z = -12*z + 48. Let f(t) = -t**3 + 8*t**2 + 2*t - 11. Let m be f(z). Solve m = -4*w + 1 for w.
-1
Suppose -1 = -n + 5. Suppose 0 = n*y - 8*y + 4. Suppose -q = q - y. Solve q = g + 2 for g.
-1
Suppose 11*q = 4*z + 6*q - 229, -3*q = 2*z - 87. Suppose 0 = -57*h + z*h. Solve -3*b + 13 - 7 = h for b.
2
Let m(h) = 2*h**2 - 9*h - 45. Let g be m(8). Solve -g*w + 294 = -53*w for w.
-7
Let y be ((-360)/63)/(4/(-14)). Let g be (932/(-18) - (-2)/(-9))/(-2). Suppose 0 = -3*w - f + 2*f + 14, 3*f = 5*w - g. Solve -w*h + y = -9*h for h.
-4
Suppose -18*i = -29*i + 462. Suppose 0 = -5*w - 2*m + i, 2*m = 2*w + w - 38. Solve w*o + 20 = 6*o for o.
-5
Suppose 4*p - 8 = 0, n + 71 + 16 = -4*p. Let s be (-2394)/n - 6/5. Solve -5*l - l - s = 0 for l.
-4
Let l(j) = j**2 - 3*j - 41. Let q be l(-11). Solve q = 23*o + 44 for o.
3
Suppose 4*j + 3*u = 21, j + 6 = 3*u - 0. Suppose j*m + 2 - 14 = 0. Let i = 1 - 1. Solve i = -m*a + a - 3 for a.
-1
Suppose 171*h - 148*h = 1886. Solve 13*d + 17 = h for d.
5
Let h be 24 + -6*6/(-6). Suppose -94 = -37*z + 54. Solve -z*o = 2*o - h for o.
5
Let z be ((-12)/(-15))/(4/20). Let s be 10/z*80/50. Solve s*t - 25 + 9 = 0 for t.
4
Let n = 10427 - 10292. Solve -n = 31*u + 82 for u.
-7
Suppose 2*d - 4*o = 454, -1145 = -622*d + 617*d + 5*o. Solve -11*q = 165 - d for q.
6
Let y = -13477 - -13599. Solve -20*a - 38 = y for a.
-8
Suppose 0 = -2*d - 4*i + 40, -68 = 2*d - 5*d + 2*i. Suppose -d*r + 35*r - 78 = 0. Solve r*g = 11*g + 20 for g.
-4
Let m(o) = -6*o**2 - 264*o + 75. Let f be m(-44). Solve -7*j + f = 103 for j.
-4
Let a be 4/34 + (44082/(-153) - 7). Let d = a + 315. Let v be (10/(-6))/(2/(-6)). Solve -d = -b + v*b for b.
-5
Let h(d) = 3 + 16 + d - 22. Let b be h(5). Let i = 1 + -1. Solve -v = b - i for v.
-2
Suppose -94*i + 6*l = -93*i + 19, 0 = i - 2*l + 3. Suppose 5*g - 29 = 1. Solve -i = b - g for b.
1
Suppose 206 = 16*q + 40*q + 47*q. Solve -q*u = -31 + 37 for u.
-3
Let o(l) = 3*l**2 - 275*l - 343. Let j be o(93). Solve -j = s - 31 for s.
2
Let y(o) = o**3 + 31*o**2 - 59*o + 231. Let z be y(-33). Solve s - 21 + 23 = z for s.
-2
Suppose 3*h + 5 + 7 = 0. Suppose 205*v - 203*v + 2*c = -10, v - 3*c + 1 = 0. Let a = v - h. Solve -2*d - 2*d + 16 = a for d.
4
Let k(z) = -2*z**3 + 28*z**2 + 21. Let d be k(14). Let n be d/27 - (-2)/9. Suppose -3*b + 8 = q, 3*b - 3 = q + n. Solve -b*x + 8 + 2 = 0 for x.
5
Let r = 0 - 0. Let v(z) = 5*z**3 + 55*z**2 - 4*z - 44. Let m be v(-11). Let y be (1/2)/((-4)/(-32)). Solve m*c - y*c - 20 = r for c.
-5
Let q(c) = -2*c**3 - 166*c**2 - 3*c - 246. Let u be q(-83). Solve u*y + 5 = -1 for y.
-2
Let i be (-2)/8*-6*2. Suppose i*u = -u. Suppose 0 = -s + 5*b - 9907 + 9897, 2*s + 2 = 4*b. Solve u = 2*x - 3 + s for x.
-1
Let f(r) = r**2 - 51*r - 23. Let z be f(52). Let i(d) = -d**2 + 7*d - 10. Let v be i(3). Solve -v*p = -35 + z for p.
3
Let v be (-84)/(-1386) + (-201280)/(-330). Solve -12*j - 514 = -v for j.
8
Let i = -30 + 67. Let l = i - 32. Suppose -l = -4*t + 15, -2*o = 4*t - 46. Solve -3*b + o = -2 for b.
5
Suppose 0 = j + m - 53, 1 = -m - 3. Solve 0 = -52*k + j*k - 40 for k.
8
Suppose 0 = -l + 140 - 6. Let w = l + -131. Solve -g - 4 = w*g for g.
-1
Suppose -4 = -m + v - 0, 0 = 2*v - 2. Let s(f) = -2*f**3 + 14*f**2 - 10*f - 18. Let c be s(9). Let u = c + 439. Solve -8 = m*k + u for k.
-3
Let w(r) = 4*r - 12. Let t be w(8). Suppose 73*a = -43*a + 145*a. Suppose -5*v + 12 = 3*q, -2*v + 4*v = -2*q + 8. Solve v = -a*o + 5*o - t for o.
4
Suppose -u - 4*j = -18, 3*u + 23*j - 98 = 22*j. Solve -u + 126 = -23*o for o.
-4
Let n(u) = 84*u - 2. Let h be n(1). Let l = h + -78. Solve l*b = -b + 25 for b.
5
Let g(l) be the first derivative of l**4/4 - 14*l**3/3 + 13*l**2/2 + 15*l - 113. Let h be g(13). Let w = -7 + 10. Solve h = w*r - 0 for r.
5
Let f = 932 - 928. Solve -f*x + 103 - 123 = 0 for x.
-5
Let o = 282 + -287. Let v be (o - (-28)/6)/((-2)/180). Solve -12*k = -6*k + v for k.
-5
Let i = -21 - -37. Suppose 2*m - i = -2*m. Let s be (6 - 5) + -1 + m. Solve k - s = -k for k.
2
Let x = -67 - -75. Let u be x - 5 - 12/(-3). Suppose 0*g = -3*n - g + 10, -5*g + 11 = 2*n. Solve 2*b + n = -u for b.
-5
Let s = -1181 + 1437. Solve -265*a = -s*a for a.
0
Suppose -4*d - 2*n + 886 = 0, 2*d - 3*d = -2*n - 229. Let k = d + -218. Solve -3*x = -k*x for x.
0
Let n(w) = -2*w**2 + 22*w - 16. Let m be n(19). Let k = 330 + m. Solve 0*t - 2*t = k for t.
-5
Let h = -3 + 6. Let t be 6 + (-7 - (14 + -28)). Solve -4*a + h = -t for a.
4
Let q = 41 + -55. Let f = 19 + q. Let w be (-1)/f - (-4)/20. Solve w*r = -r - 4 for r.
-4
Suppose -3*x - 15779 = -41*x + 21271. Solve 0 = x*o - 979*o - 8 for o.
-2
Suppose -20*g - 3 = -23*g. Suppose -2*w + g = -k, 2*k + 4*w + 8 = 6*k. Solve 0 = h - k for h.
5
Let n = -104 + 110. Let l be n/(-15) - 172/40*2. Let y(t) = -2*t**2 - 22*t - 26. Let o be y(l). Solve -o = 3*m - 8*m for m.
2
Let n(v) = -2*v - 37. Let t(p) = p - 25. Let f be t(5). Let y be n(f). Suppose 0*d - y = -d. Solve -4*w = -w - d for w.
1
Let l(i) be the third derivative of 0*i + 0 + 1/4*i**4 - 7/6*i**3 + 9*i**2. Let t be l(2). Solve t*f + 5 = -0 for f.
-1
Suppose 198*s - 75*s = 99*s + 144. Solve -264*a + 265*a = -s for a.
-6
Suppose c = -3*q - 31 + 37, 0 = 3*c - q + 2. Suppose c = -71*i + 59*i + 252. Solve -2*m - 5*m - i = 0 for m.
-3
Suppose 23 = 11*f - 43. Suppose -f = -t - 0*t. Solve -5*q = -t*q + 4 for q.
4
Let d(m) = 70*m + 128. Let j be d(-2). Let p be (-658)/(-56) + j + (-42)/(-8). Solve -4*n = p + 7 for n.
-3
Let f be (-1)/((-5)/(-20) + (-209)/532). Solve -f*m + 3649 = 3663 for m.
-2
Let v = 3873 + -3847. Solve 18 = -11*k - v for k.
-4
Suppose 0 = a + 7*h - 6*h - 7, 0 = 2*a + 3*h - 15. Suppose 2291*f = 2289*f + a. Solve -3*x - f - 9 = 0 for x.
-4
Suppose 40 = 1260*w - 1256*w. Let g be w + 4*4/4. Solve -8*z + g + 10 = 0 for z.
3
Suppose 18*i + 12 - 48 = 0. Let d be (-6)/(-4)*i + (-5 - -6). Solve 0*g = -d*g - 20 for g.
-5
Suppose o + o = -6, -2*o - 33 = -3*q. Suppose 4*a + 8*v - 13*v = q, 0 = -4*a + 4*v + 8. Solve -15*d + a = -16*d for d.
-1
Let l(s) = 38 + 3*s + s**2 - 12*s - 12*s. Let n be l(19). Suppose 0 = -9*g - n*g + 45. Solve g*z + 1 + 9 = 0 for z.
-2
Suppose 30 - 12 = 6*t. Suppose -t*x + 50 = 2*k, 5*k = x + 2*k - 35. Solve 22*s - x = 26*s for s.
-5
Let w be (-21)/(-9)*(18/(-3) + 3) - -74. Solve -15*z + w = 82 for z.
-1
Let y = 3347 - 3323. Solve -y*b + 53*b = 29 for b.
1
Let f(m) = m**2 + 25*m + 102. Suppose 0 = 2*s + 6, -3*n - 2*s = 2*n + 106. Let o be f(n). Solve -o = w - 4 for w.
2
Let n(o) = o**2 - 10*o - 37. Let c be n(13). Let t(a) be the third derivative of -a**5/60 + a**4/12 + a**3/2 + 7*a**2. Let s be t(c). Solve -s*l = -l - 2 for l.
1
Let x(l) = -28*l - 66. Let n be x(-12). Suppose 0 = 133*z - 135*z - n. Let p = -135 - z. Solve p*y + 3*y = -6 for y.
-2
Suppose -5*w = -19*w - 27*w - 25*w. Solve w = -35*t + 57*t + 88 for t.
-4
Let v = -50 - -114. Let w be ((-816)/v)/((-6)/16). Let y = -25 + w. Solve -1 - y = 2*k for k.
-5
Let p be 203 + -11 + -9 + 11. Solve 3*c + p = 209 for c.
5
Let q = 13069 - 12957. Solve -72*l = -q + 400 for l.
-4
Let h(k) = 5*k**2 + 53*k - 79. Let w be h(-12). Let t be 20/6*6/5. Let q be t + -2 - 0 - -13. Solve -q = -w*x - 0*x for x.
3
Let s(b) = 3*b**2 - 23*b + 15. Suppose -6*p + 4*p = -6. Let v(g) = 2*g**2 - 11*g + 8. Let o(z) = p*s(z) - 5*v(z). Let i be o(-14). Solve -2*j + i*j = 3 for j.
1
Let q be 29 + -13 - 7 - -21. Solve 4*r + 54 = q for r.
-6
Let f(o) = o**2 + 44 - 25 + o - 24. Let a be f(3). Solve -a*y + 3*y - 8 = 0 for y.
-2
Suppose 6*j = -101 - 73. Let r = -28 - j. Solve g = -r - 2 for g.
-3
Let t(v) = v**2 + 6*v + 2. Let z be t(-6). Suppose -4*n + 2*b = -146, z*n = -3*n - 2*b + 178. Let x be (-118)/(-8) - (-9)/n. Solve 4*m - x = -m for m.
3
Suppose 2*v - 60 = -4*v. Let m = 15 - v. Let x(d) = 2*d - 10. Let r be x(7). Solve -m*j + r = 29 for j.
-5
Suppose 0*f = -f + 8. Suppose 6*w - 8*w = 2, 3*w + 9 = 2*p. Solve -1 = -p*a + f for a.
3
Suppose 3*t + 5 = 44. Suppose