 3*x = -174. Suppose -d*t + 4*t + c = 0. Solve -5*k - 6 = t for k.
-4
Let p be 5 - (32/(-15) + 16/120). Let h = -5 + 25. Let r = h + -7. Solve 5*k + p = -r for k.
-4
Let y be 2*20/(-8) - -2. Let x be (-92)/(-8) + y/6. Let k(i) = i - 5. Let s be k(x). Solve -f - 1 = -s for f.
5
Suppose 3*n - 2*j + 21 = 0, -n + 4*j = 3*n + 28. Let c be -5*(n + 3 - -2). Solve 5 = 3*h - c for h.
5
Suppose 0 = d + 22 - 26. Solve d*i - 27 = -11 for i.
4
Let s(o) = -13*o + 10. Let w be s(0). Solve w*k = 7*k + 12 for k.
4
Let l(x) = -9*x - 35. Let y be l(-5). Let s(v) = -1 - 6 + v + 0*v. Let q be s(y). Solve 2*i - q = -i for i.
1
Let w be ((40/30)/(-1))/((-4)/174). Solve -8*u + w = 18 for u.
5
Let c be ((-6)/(-8))/(81/540). Solve 0 = -c*o + 7 - 17 for o.
-2
Let c = -6 + 9. Suppose c*a - 9 = -0*a. Suppose 5*r = -4*l - 0*r, -4*r = -4*l. Solve s - 1 + a = l for s.
-2
Let s be (-182)/(-35) - 2/10. Let h(z) = 37 + 6*z - 52 - 2*z. Let d be h(s). Solve 11 = 4*w - d for w.
4
Suppose -6*l + 391 = -359. Suppose -w - w + 82 = -u, -3*w = -2*u - l. Suppose 23 = -2*r + w. Solve -4*t = -r - 0 for t.
2
Let b(m) = m**2 - 5*m - 10. Let x(o) = -o. Let l(n) = -b(n) + 6*x(n). Let h be l(-3). Solve -4*c + h + 12 = 0 for c.
4
Suppose -l + 2*y - 6 = 0, -2*l - 3*y + 14 + 9 = 0. Solve 8*m = -12 + l for m.
-1
Suppose -5*k - 155 = -10*k. Let d = -28 + k. Solve 0 = m - 1 - d for m.
4
Let q(h) = -h**2 - 9*h - 4. Let g be q(-8). Let s = 2 - 11. Let v be s/(1/8*-6). Solve -v = g*u - u for u.
-4
Let h = -1941 - -1952. Solve 11*y + 22 = -h*y for y.
-1
Suppose 3*m + 5*x = -39, -4*m + 4*x = 15 + 5. Let j be (m + 16)*((-3)/2)/(-3). Solve -j = 3*k - 1 for k.
-1
Let c(d) = 2*d**2 - 4*d + 5. Let z = 7 + -3. Let l be c(z). Suppose 2*f = 5*w - l, -f - 6 = -w - 3. Solve -5*b = -f*b - 6 for b.
2
Let t = 4 - 1. Suppose -81 = -s - 77. Suppose -2*u - s*z = -14, -u + 0*z = 5*z - 10. Solve 2 = t*w + u for w.
-1
Let r = -3 - -2. Let l = r + 5. Suppose -5*h = 2*p - 19, -9 + 6 = 3*p - 3*h. Solve 0 = p*z + l for z.
-2
Let h = -6 - -8. Let u(a) = -2*a**2 - 71*a - 99. Let q be u(-34). Let z(t) = t + 4. Let w be z(3). Solve q*d = h + w for d.
3
Let b = -901 + 906. Solve 0 = -5*p + 25 - b for p.
4
Let c be (-4)/((-8)/4) - 2. Suppose c = -5*z - 5, -l = -5*l - z + 23. Let h be 3/2*(-20)/(-6). Solve y - l*y = h for y.
-1
Suppose 0 = i + i - 6. Let o = 3302 - 3292. Solve -1 = -i*q - o for q.
-3
Let o be (8/6)/((-2)/(-3)). Let g(u) = 8*u + 246. Let z be g(-30). Solve 2 = -o*s - z for s.
-4
Suppose 4*p - 25 = 4*s - p, 3*p = -4*s + 15. Solve s = 11*u - 9*u - 6 for u.
3
Suppose -n + 30 = 4*n. Suppose 0 = 2*b + n, 14 = -5*t - 4*b - 3. Let p be (t - -2) + (-6)/(-2). Solve -c = -0*c + p for c.
-4
Suppose m = -11*m - 24. Let w be (m + 0)*6/(-3). Solve -w*y - 4 = -3*y for y.
-4
Suppose 8*l - 1614 = -1574. Solve -45 = -l*o - 4*o for o.
5
Let m(s) = s + 1. Let w be m(3). Let o(h) = -5 - 2*h + w*h - 5 + 2. Let v be o(7). Solve -q = 2*q + v for q.
-2
Suppose 5 = 13*t - 34. Solve t*c - 1 = -7 for c.
-2
Let y be (-8)/22*(-29 - -18). Solve -4*n - 4 - y = 0 for n.
-2
Suppose -3*x + 21 = 2*k, -3*x + 31 = 2*x + 2*k. Solve 2*w - 3 = x*w for w.
-1
Suppose 0 = -43*j - 2*j. Solve 7*p + j - 7 = 0 for p.
1
Let v = -85 + 59. Let w be v/(-8) - (-6)/48*6. Solve -3*c - w = c for c.
-1
Let t(l) = l**2 - 14*l. Let h be t(0). Solve i - 2*i + 2 = h for i.
2
Let p(f) = -2*f - 4. Let b be p(-3). Let k be 6/(-9)*(b - 5). Solve k = -3*u + 2*u for u.
-2
Let q(l) = l**2 - 9*l - 34. Let a be q(12). Solve -a*d = 7 - 1 for d.
-3
Suppose -2*u - 4*p = -4*u - 12, 4*u - p - 4 = 0. Suppose -4*d + 11 = -1. Suppose 1 - d = -t. Solve -b + u + t = 0 for b.
4
Let q(d) = d**2 - 3. Let u be q(-3). Suppose 3 = -3*w - 23*j + 27*j, -2*j + 18 = 4*w. Solve 3*f - w = u for f.
3
Suppose 35*l - 58*l + 2415 = 0. Solve 0 = -l*r + 109*r - 12 for r.
3
Let n = -27 + 27. Suppose -3*u - 4*m + 75 = -n*m, -4*u + 3*m + 100 = 0. Solve 7*o - 2*o = u for o.
5
Let h(c) be the second derivative of c**5/20 - c**4/3 - c**3/3 + 6*c. Let t be h(5). Solve -r + t = 2*r for r.
5
Let s(t) = -t**3 - 13*t**2 - 12*t + 16. Let i be s(-12). Suppose -10*o = -6*o - i. Solve -1 = r + o for r.
-5
Suppose 4*c - n + 11 = 24, 5*c = -n + 14. Solve -4*b = -c*b + 1 for b.
-1
Suppose -202 + 22 = -36*r. Solve 0 - 15 = -r*u for u.
3
Suppose a = 3*a. Let z = 22 - 22. Let k be 0 + (-3 - -6) + z. Solve -k = i - a for i.
-3
Let k be (-2)/(-9) - 100/(-36). Let l be k*(0 - 12/(-9)). Suppose -m = -l*m + 9. Solve 0 = w - 1 + m for w.
-2
Suppose 3*a = -5*i + 69, -5*a = 5*i - 142 + 77. Let u be (18/15)/((-3)/(-10)). Suppose 0 = 3*p - u*p. Solve 0 = -5*k - p*k + i for k.
3
Let a be 46/12 + -4 - (-26)/12. Let h(d) = 4*d + 12. Let g be h(a). Solve 4*q = -q - g for q.
-4
Let r(b) = 86*b + 96. Let o be r(-1). Solve 0 = 9*i - 1 + o for i.
-1
Suppose -h + 5*m = 6, h + 22 = m + 8. Let p be (153/(-34))/((-6)/h). Let s be p*(-1 + (-3)/(-4)). Solve q = -s*q - 4 for q.
-1
Suppose -10*h = 2 - 22. Solve 0 = -h*p + 1 + 9 for p.
5
Let k(z) = -9*z - 4. Let x be k(-1). Suppose 0 = 4*o + 5 - x. Solve 0 = -o*y + 2*y for y.
0
Let f(y) = -y - 14. Let g be f(12). Let u = g - -36. Solve -2 - u = -4*p for p.
3
Suppose -4*o - 6 = -3*r, 5*r = -3*o + 1 + 9. Suppose 5*l = 5*m - o*m - 30, 2*m - l - 12 = 0. Suppose 5*h = m + 14. Solve 0 = h*y + y - 5 for y.
1
Let z be -1 - ((-3)/3 + (-144)/2). Suppose -8*d + 288 + z = 0. Solve 20 - d = -5*k for k.
5
Suppose 2*p - 5*v = 5, 2*p - v = 10 + 7. Solve 1 = -p*s + 1 for s.
0
Suppose -5*b - 5 = -0*b. Let n be (b + 0)*1 + 6. Let p = 16 + -14. Solve n*a = p*a for a.
0
Suppose 107*f - 457 = 613. Solve f*m = 6*m + 8 for m.
2
Let d(l) = -l**3 - 3*l**2 + 7*l + 5. Suppose 7 = -2*o - 1. Let j be d(o). Let v = j + 12. Solve -v*z + 0*z = -20 for z.
4
Let b be (-2)/6 + (-8)/(-24). Solve b = -4*w - w + 5 for w.
1
Let a = 32 + -4. Let t be (-6)/(-4) - a/(-8). Solve 1 - t = 4*l for l.
-1
Suppose 0 = 4*z - 106 - 118. Suppose 2*v + 38 = -4*t, 0 = 3*t - 0*v - 4*v + z. Let x be ((-3)/t + 0)*20. Solve -x*s = -10*s - 10 for s.
-2
Let q be (-1064)/(-24) - (-4)/6. Let o be (-40)/(-18) + (-10)/q. Suppose -4*k = o*s - 2, -2*k + k = -s + 4. Solve -s*u = -u + 4 for u.
-2
Suppose r = 5*n - 13, -r + 41 = -2*n + 39. Solve -4*x + x = -r for x.
4
Suppose 0 = 7*n + 21 - 91. Let m = n - 7. Let p(s) = 8*s**2 - 1. Let u be p(-1). Solve -m - u = -5*l for l.
2
Suppose -5*z + 10*z - 10 = 0. Suppose 20*k = 15*k + 20. Solve -z*l = -2 - k for l.
3
Let z(r) = 17 - 21 + 13 - 2*r. Let k be z(0). Solve 0 = 5*t - k - 16 for t.
5
Suppose 6 = w + 3*a - 14, 10 = 4*w - 2*a. Suppose 3*y - 5*x = -29, -3*y + w*x = x + 34. Let z be (-4)/y + (-12)/54. Solve m + z*m = -5 for m.
-5
Let m(a) be the third derivative of -a**7/5040 + a**6/80 + a**5/15 - 3*a**2. Let o(i) be the third derivative of m(i). Let f be o(9). Solve 4*l - 3*l = f for l.
0
Let f be (14/21)/((-2)/(-6)). Suppose 3*y + 8 = -y, x + 2*y = f. Suppose -x*t = -3*t - 9. Solve -t*z = z - 16 for z.
4
Suppose 4386*q = 4393*q - 63. Solve 0 = q*h - 8*h for h.
0
Suppose -4*n + 28 = -20. Let y be (-7 + 2)/(-30) - (-1)/(-6). Solve y*x - n = -4*x for x.
3
Let w = 16 + -12. Suppose 2*z = 2*x + 4, 2*z - w = -z + 5*x. Let h be z/18 + (-46)/(-12). Solve -14 = h*k - 2 for k.
-3
Let p be ((-48)/(-30))/(4/(-10)). Let x be 1 - (2 + p/(0 - -4)). Solve -4*o + 3 + 9 = x for o.
3
Let x be (-30)/(-5) - (4 + -2). Suppose -x*m + 25 = -3*m. Solve f = -4*f + m for f.
5
Let z be ((-3)/6*0)/1. Suppose 2*x = 4*o + 2, 20 = 5*o - z*o. Suppose -x*t + 4*t = 0. Solve -d + 1 - 4 = t for d.
-3
Suppose 6*x - 25 = -3*y + x, -x = 4*y - 5. Solve y = 14*g - 11*g - 15 for g.
5
Suppose 4*k - 2*s = 3*s + 308, -160 = -2*k + 4*s. Suppose 4*q - 5*r - 96 = -3*r, 3*q = 4*r + k. Solve -q = 5*u - 4 for u.
-4
Let i = 817 - 813. Let s(f) = f**2 - f + 5. Let b be s(0). Suppose -2*n - n = b*z + 10, -4*n = z + 2. Solve n = i*o + 4 + 4 for o.
-2
Suppose 0 = -4*c - 5*g + 28, -g + 0*g = -4*c + 4. Let w be 1/c*24/3. Solve w*b - 3 = -7 for b.
-1
Suppose 2*c = 4*i + 4, 0*i + 3 = -c + 3*i. Solve -13*o + c*o - 5 = 0 for o.
-5
Let y be 25 + -13 + -17 - (-2 - 7). Solve -4*n - 16 = y for n.
-5
Let l = 134 + -132. Solve 3 + 3 = -l*q for q.
-3
Let x be (-3)/12 + 17/4. Suppose -8*c + 12 + x = 0. Solve -3 = r - c for r.
-1
Let g(h) = 2*h**3 - 21*h**2 - 11*h + 6. Let z be g(11). Solve -z*d