)*18*(-81)/(-72). Let y = 110 - u. Solve 5*p = -27 + y for p.
-5
Let b(y) = 15*y - 195. Let g be b(14). Solve 0 = -7*v + 2*v - g for v.
-3
Suppose -4*d = -0*d - 300. Suppose 4*s - d = -59. Solve -1 = s*m - 9 for m.
2
Suppose 0 = -k + 1 + 4. Let w(f) = f**2 + 6*f - 11. Let n be w(-8). Suppose k*y = 4*s - 18, s - n*s = 4*y. Solve -2*b = -b + s for b.
-2
Suppose -3*a + 862 = 856. Solve 0 = 16*b + a - 18 for b.
1
Let h = -2 + 4. Let b be ((4 - h) + 6)/2. Suppose -2*d - 2*m = m - 15, 5*d - 4*m = 49. Solve u - d = b*u for u.
-3
Suppose -56 = 3*i + 4*i. Let d = -13 - i. Let z = -1 - d. Solve 20 = b + z*b for b.
4
Let c be 48/(-36) + -8*(-4)/24. Solve -13*t + 16*t = c for t.
0
Let b(i) = 69*i + 424. Let h be b(-6). Solve 83*a + h = 88*a for a.
2
Suppose 5*p = 3*t + 1, -22*t + 24*t = -4*p + 14. Let i = 7 - 1. Let w(d) = -d**2 + 8*d - 7. Let s be w(i). Solve -p*x + 3*x = -s for x.
-5
Suppose 3*z + y - 9 = 4*y, 5*y = -z - 15. Let w be 67/(z + 0 + 1). Suppose -5*r - 3*j + w = 0, 0 = -3*r + 3*j - 6*j + 45. Solve 0 = -r*a + 6*a for a.
0
Suppose -3 = -3*t + 3. Suppose -34*z = -35*z + 7. Let n(m) = 14*m - 95. Let a be n(z). Solve -a = t*p + 1 for p.
-2
Let w = 24 + -20. Solve -33 = w*i - 13 for i.
-5
Let p(s) = s**2 - 10*s + 28. Let h be p(6). Suppose -4*x = -20 + h. Solve 3*z = -1 + x for z.
1
Let m = -15 - -23. Let g = m + -8. Solve 3*i + g = -3 for i.
-1
Suppose 4*i - 5*m - 32 = -11, -3*i = -2*m - 14. Solve -34 + 34 = -i*j for j.
0
Suppose 0 = 3*z - 15, f - 7 = -0*f - 2*z. Let w be (-2 - -3) + f + 2. Suppose w = -6*r + 3 + 9. Solve -3 = c + r*c for c.
-1
Let c be (-4 - -2)/((-5)/(10 + -5)). Solve 0 = c*p - 0 - 10 for p.
5
Let y(n) be the third derivative of n**5/60 - n**4/6 - 5*n**3/6 + 13*n**2. Let p(q) = -2*q + 13. Let m be p(4). Let a be y(m). Solve 3 = -3*u - a for u.
-1
Suppose -4*w + 16 = 2*f, -2*w + 62*f + 48 = 58*f. Let g be ((-5)/(-2))/(-1)*-2. Solve -g*o = -3*o - w for o.
4
Let v = -34 - -36. Suppose 0 = 3*q - 5*c + 9, 2*q = c + v*c - 5. Solve 5*g = q*g + 12 for g.
4
Let i be (28 - (-7 + 9)) + -6. Solve 0 = 283*q - 287*q - i for q.
-5
Let x be (24/(-56))/((-6)/28). Solve x*j = 6*j + 12 for j.
-3
Let n(i) = 2*i - 5. Let b = 16 + -24. Let f be n(b). Let z = 23 + f. Solve 0 = -z*s - 0*s + 8 for s.
4
Suppose -4*u + 2*m - 96 = -0*u, -u + 5*m = 6. Let b = -21 - u. Solve 0 = -0*f + b*f for f.
0
Let f = -11 - -14. Suppose -5*a + 16 = s, 2 = -f*s + 4*a + 12. Solve 4*y - 6 - s = 0 for y.
3
Let u = 4 - 1. Let c be 2 + (-1)/(-3)*3 - u. Solve 0*k + 4*k + 20 = c for k.
-5
Let s = 177 + -167. Solve 13*n - s*n = 9 for n.
3
Let t(s) be the third derivative of s**5/60 - s**4/12 - s**3/6 - 23*s**2 + 1. Let b be t(3). Solve 0 = -c - b for c.
-2
Let k = -8 - 2. Let i = k - -7. Let u be i - -1 - -5 - -2. Solve -8 = u*p - p for p.
-2
Let q = 1702 + -1671. Solve f - q = -34 for f.
-3
Let r be 0*(-1 - -2)/(-2). Let k(c) = -c**3 + 3 + 2*c**2 - 11*c**2 + c + 8*c**2. Let y be k(r). Solve 0 = x - y*x - 8 for x.
-4
Let o be (-1 - 0)*4*(-6)/8. Suppose -5*w = -o*q - 0*w + 3, -q + 1 = 4*w. Solve 0 = -5*v + 4 + q for v.
1
Suppose -37 = -5*v + 2*d, -3*v - d = -5*v + 15. Suppose -v*y = 15 - 43. Solve 0 = y*b + b - 25 for b.
5
Let b be (-192)/(-32) - (1 - (-1 - 1)). Solve -b*k = -0*k - 6 for k.
2
Let d be 3/(-21) + (-452)/(-28). Let h = 20 - d. Solve h*m + 4 + 8 = 0 for m.
-3
Suppose 0 = -4*o + 18 + 22. Let f = -226 + 228. Solve 3*y + o + f = 0 for y.
-4
Suppose 0 = -h + q - 5*q + 6, -3*h + q + 18 = 0. Solve -8*l + 28 = h*l for l.
2
Let i be 216/(-180)*(-8 + -2). Solve 9 = -3*l + i for l.
1
Suppose 0*n = 4*h - 2*n - 14, 4*h - 4*n - 20 = 0. Let c = 22 + -35. Let j = c + 14. Solve h*w = w - j for w.
-1
Suppose -2*g = -j - 4 - 0, -g + 16 = -4*j. Solve m - 19 + 14 = g for m.
5
Suppose 0 = -a - 0*a + 4*j + 7, 3*j = 3*a - 3. Let x be a*(21/(-4) + (-1)/(-4)). Solve 15 + 10 = -x*f for f.
-5
Let j(o) = 2 + 2 - 1 - 2 + o**2. Let w be j(1). Suppose -3*c - w*c = 0. Solve c = -q + 6*q for q.
0
Suppose 5*g - 4 = -2*n + 2, -2*n = -g - 6. Let p(j) = 19*j + 24. Let y be p(-5). Let b = -68 - y. Solve 0*w + b = n*w for w.
1
Let m(w) = -w + 4. Let c be m(12). Let o = c - -14. Solve -o = -3*q - 0*q for q.
2
Let c(t) = t**3 + 10*t**2 + 8*t - 18. Let g be c(-9). Let q = -7 - g. Solve 2*k = 2 + q for k.
2
Suppose 16*d + 80 = 240. Solve -9*u + 4 = -d*u for u.
-4
Suppose 0 = 5*o + 5*a - 45, -o + 112 = 4*a + 94. Solve o*m + 0*m + 30 = 0 for m.
-5
Let s = 538 - 527. Solve -g = -14 + s for g.
3
Let m = 2 - 1. Let g(q) = 10*q**3 + 2*q**2 - q. Let s be g(m). Suppose 13*u - s*u - 6 = 0. Solve -u*c = -c - 10 for c.
5
Let z be (-3)/(1 - (-2 + 4)). Suppose z*c - 5*t = 75, 4*c + 0*t + t = 100. Let v = -13 - -18. Solve -v*r + 0 = c for r.
-5
Suppose -4*l = 3*z + 1 + 2, -2*z - 2 = -2*l. Let f be -2 + 192/(l - -3). Let y be (-4)/(-22) - f/(-22). Solve 2*r = y*r for r.
0
Let t = 6 + -3. Let u = 2864 + -2853. Solve -2*q - u = -t for q.
-4
Let y be 20/(-5)*(-7)/2. Let u = y - 12. Let r be (-1)/6*u*-9. Solve 2*t + r - 5 = 0 for t.
1
Let s = 23 - 19. Suppose 11 = p + 5. Solve -s*z + 6 = -p for z.
3
Let z(w) = -w + 1. Let l(g) = 13*g - 2. Let p(y) = -l(y) - 4*z(y). Let r be p(-1). Solve 1 = -4*u - r for u.
-2
Suppose 2892 - 3243 = -13*m. Solve 0 = 8*o + o + m for o.
-3
Let x(o) = 2*o + 18. Let n be x(-7). Solve n*c + 9 = -3 for c.
-3
Let z be (6 - (14 - 6)) + 2. Solve z = -7*p - 0 - 14 for p.
-2
Let c(m) = 2*m**3 + 11*m**2 - 6*m - 29. Let l be c(-5). Solve l*b - 2 = 24*b for b.
1
Let f = 86 + -83. Solve -4*x + f = -13 for x.
4
Let b be ((-17)/(-102)*-45)/(3/(-8)). Solve 5*g + 30 = b*g for g.
2
Let p = 1 - -3. Let j = 50 + -51. Let k be j - 1/(3/(-24)). Solve k = p*f - 1 for f.
2
Let y(q) = -q**3 - q**2 + 3*q + 1. Let s(c) = 2*c**3 + 3*c**2 - 5*c - 1. Let a(f) = 3*s(f) + 5*y(f). Let k be a(-4). Solve 3*p = -k*p for p.
0
Suppose 11 = -2*x - 9. Let j be x/5 + (3 - -1). Let y(z) = -z**2 - 2*z + 2. Let n be y(0). Solve n = j*t - t for t.
2
Let q = -39 + 23. Let z = q - -16. Solve 0*j - 2*j + 10 = z for j.
5
Suppose 0 = -3*a + 4*l - 342, 22 = -3*a - 5*l - 347. Let m = -114 - a. Solve -3 = m*k + 9 for k.
-3
Let a = 784 - 781. Suppose -x + 17 = 3*d, -2*d = 2*d - x - 18. Solve a*s = d*s for s.
0
Let z = 36 - 6. Suppose -3*i + z = 2*i. Solve -4*n + i = -6*n for n.
-3
Let o = 7 + 1. Suppose -3*w = -o*w. Suppose 3*g = 7*z - 4*z - 9, 5*g - 25 = w. Solve 0 = -3*j + j + z for j.
4
Suppose 0 = 41*x - 52*x. Solve 133*f - 138*f + 25 = x for f.
5
Let j(n) = 4*n + 35. Let a be j(-7). Suppose -z = -a*z + 48. Solve -d = 3*d + z for d.
-2
Let t be (0 - 3) + -2 + 4. Let u be t/(-4)*-343*4. Let g be u/(-42) + 1/(-6). Solve 0 = 2*o - g for o.
4
Let v = 243 + -228. Solve -2*x - v = x for x.
-5
Suppose 0 = 2*t + 3*k - 25, 4*t + 5*k = 7*k + 10. Solve -t*h + 21 - 6 = 0 for h.
3
Let g = 1168 + -1166. Solve -g = 3*u + 13 for u.
-5
Suppose 2*u = -0*u + 4. Let q = -36 + 42. Solve 4*c = u - q for c.
-1
Let h(b) = b**2 + 2*b + 1. Let p be h(-3). Let w(f) = f**3 - 6*f**2 - 7*f - 8. Let v be w(7). Let z = 18 + v. Solve z = -p*d - d for d.
-2
Let i(j) = -j**2 - 16*j + 37. Let p be i(-18). Suppose -7*w - p = -15. Solve w*d = 4*d for d.
0
Suppose -4*x = -0*x. Suppose -3*f + 6 = -x*f. Let p be (8/(-8))/(f/(-6)). Solve b = -p*b for b.
0
Let i = 149 - 136. Solve -2 = -11*p + i*p for p.
-1
Suppose -3*l - 18 - 60 = 0. Suppose 0 = 3*a - 3*r + 7 - 79, -4*a - 5*r = -141. Let v = a + l. Solve -9 = -0*n - v*n for n.
3
Suppose p = 3*r - 3*p + 12, p = -3*r + 3. Solve r = w - 4*w - 12 for w.
-4
Let g(y) = -2*y - 9. Let u be g(-4). Let q be 17/34 + (-10)/(-4) + u. Solve -3*k - q = 4 for k.
-2
Let r = -38 - 35. Let i = 74 + r. Solve m - 5 + i = 0 for m.
4
Let s = 250 - 240. Solve 2 = 2*c + s for c.
-4
Let o(s) be the third derivative of s**6/120 - s**5/30 + s**4/12 - s**3/3 + 20*s**2. Let m be o(2). Solve -g = m*g - 3 for g.
1
Let u be (-26)/(-5) - 4/20. Suppose 0 = 4*i - 5*h - 25, h + h = -u*i - 10. Suppose 3*k - 5*k = -3*l - 6, -5*l + 15 = 5*k. Solve m + 3 + l = i for m.
-3
Suppose 5*n = -5*q - 8 - 2, 5*q - 2 = -2*n. Solve q*u = -3 + 5 for u.
1
Let p(z) = z + z - 2 + z**3 + 2*z - 2*z + 5*z**2. Let s be p(-3). Suppose a - s = -a. Solve -7 - a = 4*n for n.
-3
Suppose -60*r + 5831 = -6889. Solve 213*t - r*t = 0 for t.
0
Let b = 8 - 8. Suppose b*d - 16 = 2*d. Let m = 8 + d. Solv