Solve s = 6*t + 24 for t.
1
Let o be -2 + (-248)/(-56) + 8/14. Solve 0 = -o*i - 4*i + 28 for i.
4
Suppose 0 = -2*l - 2*l. Let b = l + 4. Solve -9 = b*f - f for f.
-3
Let k(r) = r**3 - 14*r**2 + 14*r - 11. Let u be k(13). Suppose -t + u = -0. Suppose 2*h + 16 = 2*w, -w + t*h + 0*h = -12. Solve y + w = -1 for y.
-5
Suppose -5*a - 6 = i, -18*i + 4*a = -23*i + 12. Solve 0 = -i*l + 16 for l.
4
Let c(q) = -q**2 - 10*q - 11. Let b be c(-6). Let r = -10 + b. Suppose 5*a - r*u + 8*u = -5, -4*u = -a + 14. Solve a*h + 4 - 2 = 0 for h.
-1
Suppose -4*b - 4*q + 12 = -3*q, -3*b - 3*q = -9. Suppose -b*o + 13 = z, 0 = z + 2*z + o - 7. Let d(r) = 4*r**2 - r. Let s be d(z). Solve s + 0 = 3*m for m.
1
Let z(y) be the third derivative of -y**5/60 + y**4/12 + 5*y**3/6 - 12*y**2. Let l be z(3). Solve -l = -b - b for b.
1
Let s(j) = -2*j**3 + 4*j + 4 - 4*j**3 + 5*j**3 - j**2 - 2*j**2. Suppose -4*l - 51 + 35 = 0. Let k be s(l). Solve -5*o - k = 16 for o.
-4
Let l(c) = 7*c + 16. Let x be l(-7). Let j = -29 - x. Solve -j*a = -0*a - 20 for a.
5
Let d(t) = -t**2 - 38*t - 113. Let y be d(-6). Solve 0 = 7*b + 86 - y for b.
-1
Let u be 22/10 - 1/5. Suppose 10 = -5*y - c - 56, -3*y = -u*c + 37. Let s = 20 + y. Solve -5*v = -s - 18 for v.
5
Let j(q) = -3*q - 56. Let g be j(-20). Solve -g = -4*x + 4 for x.
2
Suppose 0 = -3*y - 7 - 5. Let z = y - -30. Let b be z/10 - (-6)/(-10). Solve -b*k = 3*k + 5 for k.
-1
Let b be (-384)/(-9) + 14/42. Solve b*l = 52*l - 9 for l.
1
Let k = 13 - 14. Let y be (k + -1)*(-15)/10. Let r(v) = -v + 1. Let l be r(-6). Solve 4*n + l = y for n.
-1
Let p = -36 - -58. Let r be (2 - p/8)*-4. Solve r*x + 6 = x for x.
-3
Suppose -s - 22 = 2*r - 0*s, 0 = 2*r - 5*s + 10. Let w(j) = j + 13. Let y be w(r). Suppose -y*f - 8 = -14. Solve -12 = -2*g - f*g for g.
3
Suppose 2 - 17 = -5*p. Let x be 2*p*(-20)/(-6). Solve -x = -m - 3*m for m.
5
Let y(t) = -2*t**3 - t**2 - 15*t - 14. Let j be y(-1). Solve 1 - j = v for v.
-1
Let t(x) = 4*x**2 - 4*x - 147. Let z be t(-7). Solve -z*d = -83*d - 12 for d.
-2
Let r = -75 - -76. Solve -18 + r = 17*o for o.
-1
Let p be 2*(75/2)/1. Suppose 0 = -0*v + 5*v - p. Let m = 16 - v. Solve 0 = -x + m for x.
1
Suppose -10*x + 11*x - 10 = 0. Solve 13 - x = -3*o for o.
-1
Let i be (-58)/(-8)*(-6 + 2). Let o = i + 21. Let b be ((-14)/o + -2)*-4. Solve b = 2*x + 3 for x.
-1
Suppose 5*u - 49 = 2*j, -2*u = -3*j - 0*u - 46. Let t = j + 18. Let b be ((-1)/3)/(t/(-54)). Solve -15 = b*z - 8*z for z.
3
Let j be -27 + (15/(-5) - -4). Let o = 26 + j. Solve -6 = 2*c - o*c for c.
-3
Let f be (-1)/((-1)/(-2)) - -24. Let u = 22 - f. Solve -2*y + 1 - 5 = u for y.
-2
Let m(u) = 4*u**2 - u - 2. Let o be m(-1). Let c be (o/(-6))/((-10)/40). Solve 2*i + c*i = 0 for i.
0
Let k be 3/(-4)*56/(-21). Suppose 0 = -2*t - 4*w + 16, k*t = 3*w + w. Suppose 12 = t*l - h, -4*l = -2*l - 3*h + 4. Solve -l*o - 12 = -7*o for o.
4
Let b = -574 - -578. Solve -b*d + 6*d = 0 for d.
0
Suppose -3*n + 0*y = y + 1, -3*y + 17 = -n. Let j be 0/(4/n + 0). Solve 0 = q - j*q for q.
0
Suppose -20 = 34*r - 39*r. Suppose 0 = r*k + 2*k - 342. Suppose 8*p + 17 = k. Solve -5*q - p - 15 = 0 for q.
-4
Suppose 2*g + 8*y - 7*y - 10 = 0, 2*g + 14 = 5*y. Solve -g*b - b = -16 for b.
4
Suppose 27 = i + 25, 5*t = 3*i + 4. Solve 6*m - 16 = t for m.
3
Let q(m) = -3*m - 1. Let j be q(-3). Suppose -2*i - j = -12. Solve -3*b - i - 13 = 0 for b.
-5
Let i be ((-8)/4 - 4)*64/(-6). Let o = 69 - i. Solve 0 = o*m - 0*m + 5 for m.
-1
Let m(r) = -r**3 + 15*r**2 - 13*r - 10. Let c be m(14). Suppose c*t - 7 - 5 = 4*j, -4*t + 3*j = -11. Let o be 60/15 - 4/2. Solve o + t = f for f.
4
Suppose 0 = -5*b + 5*w, 3*b = -7*w + 2*w + 40. Solve b*v + 4 + 1 = 0 for v.
-1
Let w be -1 - (-28)/4 - 2. Suppose -3*k - w*o - 9 + 35 = 0, 3*k - 4*o + 14 = 0. Suppose -k*p + 5 = a + 3, 2*a + 10 = 3*p. Solve -n = -p*n for n.
0
Let x(k) = 19*k + 61. Let n be x(-3). Solve -5*g = -n*g - 5 for g.
5
Let q = -8 - -13. Let t = 104 + -104. Let j be t/((-5)/15*-3). Solve i - 1 + q = j for i.
-4
Let f(v) = v - 3. Let l be 6*(3/3)/(-1). Let c = l + 14. Let j be f(c). Solve -13 = 2*y - j for y.
-4
Suppose -g + 12 = -3*v - 2, 0 = 5*v + 5*g + 50. Let t be (-146)/v + 8/12. Suppose -2*h + 2 - 14 = -2*k, 5*k + 5*h = 10. Solve -q + t = k*q for q.
5
Suppose -7*g = -2*g + 1360. Let f be g/(-60)*3 - 15/25. Solve f = 5*y + 33 for y.
-4
Let b(z) = -14*z - 6. Let i(t) = -5*t - 2. Let h(a) = 4*b(a) - 11*i(a). Let d be (6/(-9))/((-1)/(-3)). Let x be h(d). Solve x = -5*g + 2*g - 9 for g.
-3
Let b(m) = -7*m - 55. Let n be b(-10). Solve -n*r = -16*r for r.
0
Suppose -r = 2*r - 39. Let i be (-38)/(-9) + -4 + (-8)/36. Solve -2*o - r + 5 = i for o.
-4
Let g = 36 + -11. Let h be 10/g*5 - 4. Let u be (h - -14)/(9 + -7). Solve u*o = 2*o for o.
0
Let z be -2*(-2)/(-4) - -1. Suppose z*t - 16 = 4*t, -4*t = -2*q + 18. Solve -3 = 2*w - q for w.
-1
Suppose 0 = -3*p - h - 2*h + 15, -3*p = 5*h - 19. Suppose -4*w + 1 = -p. Suppose d - 5 = -w. Solve -4 = d*y - 3*y for y.
-4
Let g be 4*6/72*30. Solve 3*c - g*c + 28 = 0 for c.
4
Suppose 4*l - 2*b = 174, l - b - 41 = -0*b. Solve 41*f - l*f = 0 for f.
0
Let y be (-4)/6 - 282/(-18). Let o be (2 + -1)/(5/y). Suppose 0*r = o*f - 2*r - 8, 4*r = 8. Solve 0*j + f = -4*j for j.
-1
Let k = 6 + -6. Suppose s = -3*h + 13, -3*s = -3*h + 2*s + 25. Solve i = -h - k for i.
-5
Let g(o) = -3*o**3 - o**2 - 2*o - 2. Let a be 10/(-9) + 5/45. Let x be g(a). Solve 0 = -x*k - 4 for k.
-2
Let h(c) = 138*c + 801. Let a be h(-5). Solve 2*q - 101 = -a for q.
-5
Let h(x) = 5*x**2 + 9*x + 10. Let n be h(-1). Solve -n*p + 30 = -12*p for p.
-5
Let v be -3 + (6/(-4))/((-33)/242). Let r be (5 - (v + -4))*10. Solve -3*z - r = -z for z.
-5
Suppose 3*s + 4 - 22 = 0. Suppose 3*n - s = -0. Solve -n*p + 7 = -1 for p.
4
Suppose 3*x - 6*x = -15. Suppose -x*t + 4*o = -20, 2*o = -5*t + 4*o + 20. Solve -t*n = -9*n + 15 for n.
3
Let p(h) = 5*h**2 - 54*h - 7. Let m be p(11). Solve -m*u - 12 + 0 = 0 for u.
-3
Suppose 2*v - 2*n = 0, -n = -5*v - 2*n - 24. Let i(x) = x + 6. Let c be i(v). Solve 0*y - 8 = -c*y for y.
4
Suppose -t - 2 = 4*p, -6*p + 3*p + 1 = 2*t. Solve t - 7 = o for o.
-5
Let m = -23 - -43. Let q be 5/(-15) + (m/3)/2. Let a be (-2)/(-8) - 23/(-4). Solve -3*i + q = -a for i.
3
Suppose 2*p + 5*l = -25, 0 = -4*p - 22*l + 24*l + 10. Solve p = 11*w - 10*w - 4 for w.
4
Let v be ((-546)/5)/(-3) + (-45)/(-75). Solve 2*a - 45 + v = 0 for a.
4
Suppose -4*u = 3*x - 14, -12*x = -8*x - 3*u - 2. Solve 6*n - 4*n = -x for n.
-1
Let g(f) = -8*f**3 - f**2 - 14*f - 13. Let h be g(-1). Solve 0 = 5*c - 13*c + h for c.
1
Let m(v) = v**2 - 5*v - 5. Let z(b) = b**2 - 8*b + 8. Suppose -a = -2*a - 3*x - 1, 5*a - 55 = 5*x. Let h be z(a). Let t be m(h). Solve t + 1 = -5*l for l.
-4
Let u = 11 + -9. Suppose -u*d = -7*d + 5. Let w = 6 - d. Solve -w*v - 7 = -2 for v.
-1
Suppose 0 = -4*g + 2*n + 58, 0 = 4*n - 7*n - 15. Solve -9*u = 3 - g for u.
1
Let n = 16 + -2. Suppose 5*v + 4 - n = -5*i, -2*i - 3 = -5*v. Suppose 5*w + 2*m + v = 0, -2*w - 7 = -3*w + 2*m. Solve 0 = -3*o - w - 2 for o.
-1
Let t(n) = n**2 - 5*n + 9. Let u be t(4). Suppose 5*w = u*y + 6*w, -8 = -3*y + w. Solve y = -h + 3 for h.
2
Suppose 58*z - 135 = 13*z. Solve z = 3*i - 2*i for i.
3
Suppose -7*o - 638 = -3228. Solve o - 362 = -2*l for l.
-4
Let y(p) = -p + 19. Suppose 0 = 4*b - 2*b - 28. Let n be y(b). Let z = 6 - n. Solve -3 = 2*l + z for l.
-2
Suppose 4*a = w + 20, 0 = -a + 4*w + 14 + 6. Solve -3*z = -5*z - a for z.
-2
Let j(c) = -c**3 - 7*c**2 + 10*c + 20. Let n be j(-8). Solve 0 = n*g + 3 + 1 for g.
-1
Let w(m) = -m - 8. Let l be w(-12). Let g be (-3)/l - 516/(-48). Suppose -4*o - 2*s + 32 = 0, 6*o - g = o + 5*s. Solve 4*f + o = -6 for f.
-3
Let h = -1773 + 1789. Solve -8 = 4*w - h for w.
2
Let h = 94 - 87. Suppose -t = -9*t + h*t. Solve -15 = -t*l - 3*l for l.
5
Suppose 0 = -20*x + 15*x + 5. Let v be 2/1 - (-1 - x). Suppose -4*u + 17 + 15 = -v*b, -4*b = -3*u + 27. Solve u*p - 15 = -0 for p.
3
Suppose -6*x = -17 - 7. Suppose -3*f - 3 = -x*f. Solve f*v + 5 = 2*v for v.
-5
Suppose -25*u = -28*u. Solve u*x + 5*x + 10 = 0 for x.
-2
Let p(k) = 4 - 5 + 0 - 2 - 2*k. Let x be p(-2). Suppose 4*c + x = 9. Solve -2*j - c*j = 0 for j.
0
Let w = 145 + -131. Solve -17*o + 12 = -w*o for o.
4
Suppose 593*m = 590*m + 9. Solve -n = m*n + n for n