- 6 = 0 for f.
-3
Let z be ((-39)/104)/((-1)/40). Suppose -3*s + 13 = w, 1 = 3*s - w - w. Solve z*l - s = 14*l for l.
3
Suppose -7*u + 3*u - 4 = 5*l, -12 = 2*u + 5*l. Let q be 70/21*(-6)/(-5). Suppose -2*p - p - 7 = -2*c, 0 = q*c + p - 7. Solve c*y + 0*y = u for y.
2
Let a(u) = u**3 + 29*u**2 - 62*u + 2. Let x be (-3)/21 - (-216)/(-7). Let g be a(x). Solve 2*f + 20 = -g*f for f.
-5
Let f = 10859 - 10777. Solve -34 + f = -8*d for d.
-6
Let c(s) = 4*s**2 + 102*s. Let h be c(-26). Let i be (-1)/(h/(-372)) + 14/(-91). Solve 0 = -i*y + y + 6 for y.
1
Let u = -10559 + 10864. Solve 310*m - 10 = u*m for m.
2
Suppose -2*z + 5*z - 114 = 5*m, -3*z - 6 = 0. Let a be (-3 - -2)/(-3*(-4)/m). Solve -7*g + a*g = 0 for g.
0
Let z be (-26)/40 + (-3)/(-12) - 3772/(-205). Solve z*v - 20*v = 12 for v.
-6
Let v(c) = 11*c**2 + 53*c - 4. Let f be (-22)/(-33)*(-15)/2. Let u be v(f). Solve 4*x = x - u for x.
-2
Suppose -3*y + 6*t - 4*t = -37, -2*y + t = -25. Suppose -x = -2*n - y, -5*x + 8*n = 7*n - 29. Solve 4*i - x = -13 for i.
-2
Let p(s) = 7*s**2 - 25*s + 36. Let w be p(3). Solve 22 - w = c for c.
-2
Let x = 151 - 151. Suppose 65*w - 68*w + 15 = x. Solve -21 = -w*n - 6 for n.
3
Let l be ((-7)/(-2))/(8/16). Solve 23 + 12 = l*j for j.
5
Let i(l) = 18*l - 56. Let c be i(3). Let f be (-125)/15 + 8 + c/(-6). Solve f = -15*w - 4 + 49 for w.
3
Let k = 2608 - 2565. Solve -13*l - 35 - k = 0 for l.
-6
Let k(j) = 5*j**2 - j. Let t be k(-7). Let d = -244 + t. Solve -d + 23 = -3*p for p.
-5
Suppose 0 = 4*w + 16, -319*w = 2*y - 317*w - 76. Solve -24*n = y + 54 for n.
-4
Let c be (-10)/(-4) + 2/4. Suppose -37 = -10*u + 3. Suppose 5*a - 7*a = -u. Solve a*j - c*j + 4 = 0 for j.
4
Suppose -80*c + 82*c = 5*v + 160, -v + 73 = c. Solve -c + 111 = 4*m for m.
9
Let n be (-30 + 25 - -5)*(-2)/4. Solve n = -18*x + 463 - 445 for x.
1
Let q = -224 - -221. Let j be (-4)/(-1) + 1*(q + 3). Solve -3 = j*v + 1 for v.
-1
Let a = 526 + -519. Solve a*c = 45 - 3 for c.
6
Suppose 27*k + 51 = 3*t + 26*k, 5*k - 51 = -3*t. Solve 2*m + 15*m - t = 0 for m.
1
Let r be (18/21)/((-24)/(-784)). Solve -6 = 27*n - r*n for n.
6
Suppose 5*j - 3*z = -2 + 22, 3*j = -4*z + 12. Let u(q) = q**3 - 5*q**2 + 6*q - 6. Let b be u(j). Solve -16 = b*o - 8 for o.
-4
Suppose -4 = -2*s + 6. Let v be (1 - (-5 - 2)) + (s - 3). Solve 0 = 4*a - v + 2 for a.
2
Let t(g) = -13*g - 24. Let h(z) = 3*z + 6. Let k(d) = -18*h(d) - 4*t(d). Suppose -5*l + 4*p = -p + 55, 5*l + 51 = 4*p. Let r be k(l). Solve 0 = -r*w - w for w.
0
Let q be (-1 + (-1)/(-5))/(118/(-885)). Let s be (-2)/((-3)/(-48)*-2). Suppose s*i - 11*i = 0. Solve i*b - q = -3*b for b.
2
Let r = 4 + -22. Let w = r - -18. Suppose -42 = -5*g - 17. Solve g*h + 5 = -w for h.
-1
Suppose 4*y + 2*t - 20 = -0*t, 0 = -y - 5*t + 5. Suppose 6*j - 3*j = -4*u + 3, -2 = y*u - 2*j. Suppose u = 9*b - 5*b - 28. Solve -b*q = -2*q - 10 for q.
2
Let z(t) = -2*t**2 - 45*t - 132. Let s be z(-17). Solve -18*d = -37 + s for d.
-1
Let u(f) = f**3 - 4*f**2 - 14*f + 19. Let s be u(7). Let a = 76 - s. Solve a = -y - 3*y for y.
-2
Let j = 563 - 574. Let k be (-1*13)/((-161)/14 - j). Solve 25*f = k*f - 1 for f.
1
Let r = 130 - 121. Solve r*t - 4*t + 30 = 0 for t.
-6
Let q(m) = 2*m**2 - 109*m + 260. Let a be q(52). Solve a = -3*n - 6*n - 27 for n.
-3
Let t(j) = j**2 - 67*j + 576. Let l be t(10). Solve 6*y - 5*y = l*y for y.
0
Suppose -3*t + 7*t + 441 = 5*r, -3*t - 264 = -3*r. Suppose 210 = 11*x + r. Solve -3*p + x*p = 32 for p.
4
Let k = -16268 - -16306. Solve k*q - 46*q = 32 for q.
-4
Let z(x) = -5*x - 8*x - 14*x + 16 + 23*x. Let m be z(6). Let u = 11 - m. Solve 3 = 4*l + u for l.
-4
Let f(m) be the first derivative of -m**3/3 + 26*m - 138. Let s be f(-5). Solve -s = -5*v + 9 for v.
2
Let l = -113 + 116. Suppose 3*c + 4*p + 4 = 2*p, l*c + 4*p + 14 = 0. Let r = -9 + 12. Solve r*w = w + c for w.
1
Suppose l + 5*p - 258 = -0*l, -5*l - 4*p + 1311 = 0. Let c = l + -256. Solve c*a - 8 = 5*a for a.
4
Suppose p = 2*p - 1. Let u(t) = -4*t**2 + 565*t - 8554. Let q be u(124). Solve 0 = -3*b - q - p for b.
-1
Suppose x + 12 = -4*j, 5*x + j - 38 = 16. Solve x*l = 32 + 28 for l.
5
Let w = -1399 + 1406. Solve -2*h - w = -9 for h.
1
Let b be 24/(-1 + (-7)/(-4)). Let j = 36 - b. Suppose -r + 7 = j*h, 0*r = -2*h + 3*r + 7. Solve h*a - 6 = -a for a.
2
Let s = -1723 - -1782. Solve 38*n = 93 + s for n.
4
Let j(s) = -3*s + 41. Let x be j(6). Suppose 2*d - 9 = -y, x*y = 4*d + 22*y - 9. Solve d*r - 8*r = 0 for r.
0
Let i = 273 + -255. Suppose 0 = -i*c - 2*c + 80. Solve c*v = 6*v for v.
0
Let p(s) = 6*s**2 - 7*s - 7. Let q = -5 + 4. Let x be p(q). Solve -9*r - 12 = -x*r for r.
-4
Let t be (-12)/(-78) - 54/13. Let k be 0/(4*t/(-16)). Suppose 4*j + 0*j = k. Solve 4*p - 18 + 6 = j for p.
3
Suppose 4*x - 4*t - 24 = -0*x, -12 = -4*x - 2*t. Let k = 9496 - 9490. Solve -x*i - k = 14 for i.
-5
Let m = 3231 - 3229. Solve 18*l - m*l = -13*l for l.
0
Let p = -960 - -1356. Let n be (4/22)/(18/p). Solve 9*s - n*s + 25 = 0 for s.
-5
Let l be 33/(1287/1014)*((-1)/2 - -1). Solve 0 = -14*k + l + 29 for k.
3
Suppose -f + 6 + 3 = 0. Suppose 0 = -z + 1, 0 = 29*j - 27*j - 3*z - 5. Suppose -f = -j*q + 3. Solve 0*t = -q*t for t.
0
Let b be (-1)/(-7) - (-7174)/1477. Solve -b*f = 2*f + 21 for f.
-3
Suppose z + 19*i - 29 = 17*i, -3*z = 5*i - 82. Solve 11*q + 8 - z = 0 for q.
1
Let u be (1 - 8) + (-59)/(-59). Let k(v) = 6*v + 41. Let i be k(u). Let r be (1 + -1)/(-2) - 0. Solve r = 4*t - i + 13 for t.
-2
Let u(o) = -7*o**2 + 1. Let h be u(3). Let t = 3297 + -3355. Let a = t - h. Solve -2*b + 8 = a for b.
2
Suppose 191*x - 194*x + 116 = 4*p, 3*p = -5*x + 76. Solve -9*z + p = -z for z.
4
Let r be 114/38*16/3. Suppose -36*c = -124 + r. Solve 9*a + c*a - 60 = 0 for a.
5
Suppose 4*j + 7 = 87. Let z be -3*(0 + 1)*-4. Suppose z*m - 16 = j. Solve -4*g + m = -g for g.
1
Let m = 175 - 156. Suppose -20*r = -m*r. Solve r = 5*u - 0 - 15 for u.
3
Let x be 24/13 + 4/4 + 16/104. Solve -20 = -13*v + x*v for v.
2
Suppose -11 = -m - 3*j, 5*j - 7 = -0*m + 4*m. Let z(n) = -4178*n + 87748. Let w be z(21). Solve 0 = -4*b + m + w for b.
3
Let g = -9 + -27. Let m be ((-3)/(-6))/((-6)/g). Let u be m/2*(-24)/(-9). Solve -2*f = -u*f for f.
0
Suppose 0 = 13*t - 8*t - 4*v - 24, 2*v = -5*t + 18. Solve 3*k = -k + t for k.
1
Let d(n) be the second derivative of 2*n**3/3 + 47*n**2/2 + 15*n. Let o be d(-11). Suppose 5*s - 17 = -u, s + 4*s - 29 = o*u. Solve -s*x + 2 + 2 = 0 for x.
1
Let a = -4290 + 4290. Solve -16*c - 2*c = a for c.
0
Suppose -4*z = -4*l, 0 = 4*z + 4*l - 3*l. Suppose -33*x - 152 = -548. Solve 4*q + z*q + x = 0 for q.
-3
Suppose 5*r - 4*b = -b - 25, 2*b = 0. Let n(o) = o + 1. Let i(s) = -4*s - 8. Let v(u) = i(u) + 3*n(u). Let t be v(r). Solve t*f - 2 = -f for f.
2
Let z(k) be the first derivative of -k**2/2 - 5. Let f = -142 + 137. Let r be z(f). Solve 0 = 4*w - r*w - 1 for w.
-1
Let w(k) be the second derivative of k**5/20 - 7*k**4/6 + 2*k**3 + 9*k**2 + 1949*k. Suppose 0 = 3*v - 5*v + 26. Let m be w(v). Solve -16 = m*i - i for i.
-4
Suppose -19*x - 11*x + 4290 = 25*x. Solve -64*a + x*a = 98 for a.
7
Suppose 5*t - 55 = -55. Let s(u) = -u**2 + 7*u - 8. Let l be s(4). Let v(d) = 6*d - 22. Let m be v(l). Solve m = 2*h - t for h.
1
Suppose 0 = -4*l - 7*x + 5*x + 50, 2*x + 10 = 0. Let c be l/(-2)*(-8)/6. Solve -3*n - 5 = c for n.
-5
Let l = -2 - -4. Let g be 0 + 0/5 - 0/l. Suppose 8*q - 8 = 6*q. Solve -s + g = -q for s.
4
Suppose -3*v + 20 = v. Suppose 40 = v*i + 5*z, -2*i + 2*z - 4 = -i. Suppose -27 + 19 = -i*c. Solve c*m = -m for m.
0
Suppose -4*v - 5*p + 3835 = 0, -3*v = 4*p - 3413 + 537. Let s be v/520 + 2/13. Solve 3*l = 2*l + s for l.
2
Suppose 235750 = -113*l + 318*l. Solve -1155*i + 25 = -l*i for i.
5
Suppose -9 = -3*x - 3*h, -x + 4*h = h + 1. Suppose -4*t + y = -9, -10 + 2 = 2*t + x*y. Suppose 2157*g - 376 = 2063*g. Solve -t - g = -w for w.
5
Let s(l) = -3*l - 42. Let z be s(-15). Let x be z/7 + 224/49. Solve -x*k = 3 + 22 for k.
-5
Suppose 0 = -6*f + 7 + 47. Solve 7*h = -f + 37 for h.
4
Let t = 105 - 193. Let v = t - -90. Suppose 0 = -9*j + 10*j - v. Solve -k - 3 = -j*k for k.
3
Let r(y) = 2*y - 14. Let q be r(9). Let p = 2106 + -2087. Solve 1 + p = -q*o for o.
-5
Let i = 105 - 103. Let g = 1 + -140. Let q = 144 + g. Solve -d = -q + i for d.
3
Let n = 504 - 503. Let q be (