. Let d = -15 - r. Solve -7 + 1 = -d*m for m.
2
Suppose -4*t - y + 52 = -45, 0 = -4*t + 4*y + 72. Let c = -20 + t. Suppose -c*k = k - 12. Solve -k*v = v for v.
0
Let q = -56 - -57. Suppose -3*v + 7 - q = 0. Solve -2*g - v*g = 16 for g.
-4
Suppose -11*u = -154 - 0. Suppose 0 = -9*h + 6*h + 27. Solve -u*k = -h*k - 10 for k.
2
Let j be -5*(8/4)/(-4)*2. Suppose 3*x = 6*x - j*a, 0 = -x - 4*a. Solve -y - 1 - 3 = x for y.
-4
Suppose 16*h - 9*h - 77 = 0. Let f(b) = b**2 - 12*b + 14. Let s be f(h). Solve -s*x = -0*x for x.
0
Suppose -i = 2*g + 2*i - 1, 0 = 2*g + 5*i + 9. Solve -3*m - 7 - g = 0 for m.
-5
Let w = 2 + 6. Let j = 23 - 8. Suppose -3*i - j = -51. Solve i + w = 5*n for n.
4
Let j(o) = -o**2 - 11*o + 12. Suppose 6*r - 2*r = -52. Let m be j(r). Let f = m - -19. Solve -2*p = -p - f for p.
5
Let u be (-2)/((-10)/135*3). Solve 0 = -5*o - 4 + u for o.
1
Let o(d) = d**2 - 2*d**2 + 13*d - 14 + 6. Let l be o(12). Suppose 5*w - 4*t - 46 = -0*w, 3*w + l*t - 34 = 0. Solve -2*u + w = -4*u for u.
-5
Suppose 2*i + 0 = -2*z - 16, -16 = z - i. Let n be ((-10)/(-15))/(z/(-9))*0. Solve 0 = -2*c - 4 - n for c.
-2
Suppose 0 = -2*q + q + 5. Suppose 1 = -0*h + h - o, 0 = -4*h + q*o + 1. Suppose l + l = h. Solve 0 = u + l*u + 15 for u.
-5
Suppose 15 = 5*z - 75. Solve z*b - 6 = 20*b for b.
-3
Let p be -5 + 2 - (-1 - 20/2). Solve -9*g + p + 37 = 0 for g.
5
Let k(p) be the first derivative of p**3/3 + 3*p**2/2 + 3*p - 10. Let o be k(-2). Solve -o + 11 = 2*y for y.
5
Let c(n) = -n**3 - 13*n**2 - 3*n + 4. Let k be c(-13). Let w = 52 - k. Solve 5*f - 1 - w = 0 for f.
2
Suppose -86*t = -82*t + 5*h - 48, -3*t + 36 = -h. Solve -91 = t*n - 31 for n.
-5
Let n = 63 + -59. Solve n*r = -3 + 11 for r.
2
Suppose -5*i + 4 + 9 = -3*m, -2*i = -3*m + 2. Solve -7 = -m*j + 1 for j.
2
Suppose 0 = -3*s - 488 - 115. Let p = s - -125. Let h = -53 - p. Solve 5*t - 8 + h = 0 for t.
-3
Suppose -48*i - 130 = -58*i. Solve 2*p - i = -23 for p.
-5
Let j be 20/25 + (-128)/10. Let z be (-2)/(2*(-4)/j). Let x = z + 7. Solve -h = x*h + 15 for h.
-3
Suppose 5*k - 15 = 0, -3*v - 4*k - 34 = -85. Solve v*m = 12*m - 5 for m.
-5
Suppose -4*v = -21 - 23. Let y be (-1)/((2/2)/(7 - v)). Solve -y = -4*m + 16 for m.
5
Suppose 2*k + 10 = -132. Let s = 45 + k. Let d = s + 27. Solve -p + d = -2 for p.
3
Let w(h) = 27*h - 68. Let d be w(3). Solve d*p - 44 = 2*p for p.
4
Suppose -15*o + 6*o = -279. Solve 0 = o*x - 35*x - 12 for x.
-3
Let f = 223 + -213. Solve t + 6 = f for t.
4
Let l be 14/7*(-2)/(-4) + 2. Suppose -2*c - 4*z + 8 = -3*z, -l*c - 3*z + 9 = 0. Solve 0 = y - c*y + 20 for y.
5
Let i be -2*(-4)/20*-25. Let l be -4 + 5/(i/(-14)). Solve -2*h - l*h = 0 for h.
0
Suppose -4*t + 0*t = -340. Suppose 5*z = -3*i + t, -2*i = -0*i + 3*z - 56. Solve 0 = s - 6*s - i for s.
-5
Suppose 4*m = -k + 5, 3*k - 2*m + 3 = 4. Let f be (1/(-1))/(-1*k/2). Solve -3*a = f*a + 20 for a.
-4
Suppose 0 = g + 3 - 5. Suppose -h + x - 2 = 0, 4*h - 28 = -4*x - x. Suppose -2*b = 3*i - 85, -i - 35 = -h*i - g*b. Solve -4*q + 9*q = i for q.
5
Suppose -8*l - 103 = -119. Suppose -5*b + 26 = 3*p, -3*b + 4*p = -2 - 2. Let w be ((-12)/(-9))/(b/6). Solve -l*x - w*x = -8 for x.
2
Suppose -126*a + 10 = -124*a. Solve -5*x - a = -6*x for x.
5
Let u(a) = -3*a**2 + 16*a + 3. Let r(w) = w**3 + 8*w**2 + 10*w - 7. Let j be r(-6). Let x be u(j). Suppose -3*i = -0*i - 60. Solve -3*n = i - x for n.
-4
Suppose 2*t + 33 + 83 = 4*k, -3*k + 61 = 5*t. Suppose 0 = -c - c + 4, 4*c = 2*n + 58. Let l = n + k. Solve -2*j + l = -2 for j.
2
Let x be 53/17 - (-24)/(-204). Solve x*j + 2 = -7 for j.
-3
Suppose 2*c + c = 0. Let d(y) = -2*y**3 + 2*y**2 + y. Let l be d(-1). Let z = l + 3. Solve c = -3*r + z + 3 for r.
3
Suppose z - 9 = 3. Suppose q + 4*q - 4*o = z, -2*q + o + 3 = 0. Solve q = 4*h - 0 + 12 for h.
-3
Let o(u) = u**2 + 2*u - 3. Let q be o(2). Let g be 20/q*2/4. Suppose -3*v - 3*y - 3 = g*y, -5 = -2*v - y. Solve 0 = v*t + 5 - 1 for t.
-1
Suppose 9 = -v + 1. Let d be (v - -3)*(6/(-5) + 0). Solve -l + d = -3*l for l.
-3
Suppose r - 2*t + 4*t = -2, -3*t = -2*r + 3. Suppose r = -5*u + 4*u + 7. Solve -5*f = -u*f + 10 for f.
5
Let j(k) = -k**2 - 7*k + 30. Let q be j(-10). Suppose x - 16 = -4*z + 2, -z + 5*x + 15 = q. Solve -z*l + 21 = 1 for l.
4
Let v = -12 + 20. Let d be (8/(-6))/(((-10)/(-3))/(-10)). Solve 0 = v*j - d*j + 12 for j.
-3
Let j(n) = n**2 - 2*n - 166. Let a be j(14). Solve a*p = 7*p for p.
0
Let q = 327 + -327. Solve q*c = 2*c + 2*c for c.
0
Let w(v) = v**2 - v + 1. Let r be w(-1). Suppose b - 8 = -5*n + 21, 0 = 2*b - r*n + 7. Solve -20 = -b*t - 0*t for t.
5
Let r = -85 + 71. Let w = 19 + r. Solve -w*n - 6 = -2*n for n.
-2
Let t be (18/(-12))/((-12)/40). Solve -t*u + 2*u = 0 for u.
0
Let x(k) = -76*k + 76*k + 5 + k**2. Let q be x(0). Let c = -3 - -5. Solve 0 = -c*w + q + 5 for w.
5
Suppose -l + 53 = 5*a - 49, -4*l - 72 = -4*a. Suppose -81 - 449 = 10*v. Let s = 59 + v. Solve s*i - 2*i - a = 0 for i.
5
Let f(b) = -3*b + 20. Let k be f(3). Solve k*q - 28 = -3*q for q.
2
Let b(m) = m**2 + 3*m - 20. Let c be b(-7). Suppose 0 = -4*z + 4 + c. Solve 2*g = g - z for g.
-3
Suppose 0 = -2*q + s - 304, -3*q - 458 = 3*s - 5*s. Let z be q/(-42) - 4/7. Solve -z*a + 3 + 0 = 0 for a.
1
Let s be 3/(216/66 - 3). Solve 0 = -4*r + s + 5 for r.
4
Suppose 70*a - 115 = 25. Solve -138*m + 136*m = -a for m.
1
Let t(s) = 2*s + 12. Let z be t(-5). Let o(r) = r**2 - 4. Let u be o(z). Solve 3*q + 2*q + 20 = u for q.
-4
Let j(b) = -2*b**3 + 15*b**2 + 17*b - 6. Let w(l) = -l**3 + 16*l**2 + 17*l - 5. Let v(f) = 2*j(f) - 3*w(f). Let h be v(-17). Solve 1 = 2*s - h for s.
2
Suppose 0 = -4*q - 8, 2*q + 73 = -4*m - 27. Let w = m + 24. Solve -a = -5 - w for a.
5
Let t(s) = -4 + 2 + s**2 + 7*s + 2*s**2 - 8 - s**3. Let l be t(4). Suppose -a - 4*a = 0. Solve a = -l*c + c - 1 for c.
-1
Suppose 0*r + 5*r - 20 = -5*d, -d + 4 = -r. Let t be (0 - (r - -1)) + 4. Suppose -3*b + 0*b + 18 = 0. Solve -t*l + 3 = b for l.
-1
Let m = 1421 + -1421. Solve -7*z + 29*z + 22 = m for z.
-1
Let n be 0/(100/(-15)*9/12). Solve 6*p - 4*p = n for p.
0
Suppose w - 361 + 353 = 0. Solve -13 + w = -d for d.
5
Let o = 18 + -14. Suppose o*s - 3*s = -6. Let v = -3 - s. Solve 0 + v = j for j.
3
Let p(f) = -f**2 - 9*f - 15. Let o be p(-5). Suppose o*w + 2*r - 19 = -0, 5*w + 4*r = 23. Solve 9 - w = 3*n for n.
2
Suppose 2*m + 4*q - 80 = 2*q, 0 = -4*q. Let n = -40 + m. Let b = -3 + 4. Solve u + n = -b for u.
-1
Suppose 5*x - 3*v - 9 = 6, -4*v - 20 = 3*x. Suppose -6 = -x*r - 3*r. Let m be 7 + ((-6)/(-16) - (-129)/(-24)). Solve -r*o = -m - 8 for o.
5
Let m = -10 + 10. Let y(t) = t**3 + 4*t**2 - 3*t - 3. Let g be y(-3). Let r = 359 + -354. Solve r*l - g = -m*l for l.
3
Let f = -214 + 223. Solve -3*l + 6 = -f for l.
5
Let b = -37 - -36. Let k = 5 + b. Solve k*q - 3 + 15 = 0 for q.
-3
Let p(f) = -f**3 - 19*f**2 - 39*f - 69. Let t be p(-17). Solve 3*v + v = -t for v.
-4
Suppose -4*o + 3 = 10*l - 7*l, 5*o = l + 18. Solve 12*v - o = 13*v for v.
-3
Suppose 5*m - 6*m - d + 9 = 0, -3*m - 2*d = -22. Solve m*f + 35 = 11*f for f.
5
Suppose -4 = 2*u - 0. Let y be u/(-4)*(-3 + 3). Suppose 8 = -3*n + 7*n. Solve y = 3*x - n*x for x.
0
Let l be 0 + 0 - 0/(-1). Let i be (-312)/(-18) - 2/6. Suppose 17 - i = -3*p. Solve y + l*y - 5 = p for y.
5
Let a be (-45)/(-10)*(-4)/(-3). Let g = -2 - -4. Suppose 5 = -w - 2*u + 1, -g*u - 14 = -4*w. Solve -w*q - a = q for q.
-2
Let v(r) = r - 3. Let b be v(5). Suppose -6 = 4*m - 6*m. Suppose 4*k - 2*h - 22 = 0, -12 = -m*k + h + 5. Solve -b = -q - k for q.
-4
Let l = -20 - -7. Suppose -4*b + b = -5*i + 59, 5*b - 4*i = -81. Let n = l - b. Solve -2*j + 1 + 7 = n for j.
4
Suppose -22 = -5*i - 3*a + 10, 0 = 4*i - a - 12. Suppose -l - 1 = -i. Solve o = -l*o for o.
0
Let b be (16/6)/(12/54). Let l = b - 10. Suppose 31 = 3*x - 0*x + y, -l*y + 17 = x. Solve -5*r + x = -16 for r.
5
Suppose -5*h - 68 = 2*l - 151, -3*h = l - 43. Solve 0 = -l*c + 17*c for c.
0
Let z(a) be the second derivative of a**4/6 + 11*a**3/6 + 9*a**2/2 - 16*a. Let o be z(-5). Solve 0 = o*x - 0*x + 12 for x.
-3
Let t(g) = -g + 24. Let y be t(16). Let k(u) = u**2 - 6*u + 9. Let j be k(y). Solve -j = 5*b - 5 for b.
-4
Suppose -2*o + 3*w + 23 = 0, 6*o = o - 4*w. Solve -o = 6*t + 2 for t.
-1
Let u be (-478)/(-15) + (-34)/(-255). Suppose -4*c + u = -0*c. Solve -5