Let m be ((-9)/((-36)/(-40)))/a. Solve -m*s - 3 = 2 for s.
-1
Suppose 0 = 3*k - 8 + 8. Solve -2*i - i - 15 = k for i.
-5
Suppose -5*f + 33 = 3*l + 1, 0 = f - 4*l + 12. Suppose 2*h - 5 = j, 0*j + 2*h = -5*j + 23. Solve -f*d + 1 = -j for d.
1
Suppose 2*y - 75 = -3*y. Let n be (0 - 0) + 11 + -5. Solve n*g = g - y for g.
-3
Suppose 0 = 5*u - 6 - 4. Suppose -8 = y - 4*j, -3*j - 3 = -y - 9. Suppose y*c = u*c. Solve -n + 6 - 2 = c for n.
4
Let j = 29 - 17. Let r(b) = -b**2 - 6*b - 3. Let u be r(-2). Suppose u + 10 = 3*x. Solve x*y - 2*y + j = 0 for y.
-4
Let z be (-14 - -3 - 0)/(-1). Let q = -3 + z. Solve -2*a + q - 2 = 0 for a.
3
Let m(s) = -s**2 - 29*s - 51. Let h be m(-27). Solve -2 = a - h for a.
1
Suppose i - 25 = -4*i. Suppose -i*y = -8 - 17. Solve -y = -3*b - 2 for b.
1
Let a(g) = -g + 7. Let h be a(-7). Let d be (-4)/h + (-10)/(-35). Let l be ((1 - d) + 1)*2. Solve u - l = -u for u.
2
Let t(k) = 6. Let p(f) = -1. Let j(x) = 5*p(x) + t(x). Let g(c) = 2*c + 5. Let v(u) = g(u) - 5*j(u). Let i be v(5). Solve 4*z - i = 2*z for z.
5
Let j(y) = 7*y + 5. Let h be j(5). Let g be h/6 - (-4)/(-6). Solve 4*d + 2 = g for d.
1
Let d(z) = -5 - 2*z**2 + z**2 + 5*z**2 - 5*z**2. Let v be d(0). Let t be (12/5)/(-4)*v. Solve -t*x + 15 = -0 for x.
5
Suppose -6*c - 25 = -7*c. Solve 0 = -z + 6*z + c for z.
-5
Let t be 0 + -2 + 4/1. Solve r - 3 = t*r for r.
-3
Suppose 0 = 2*m + 1 - 17. Let b be (1 - 26/m)*4. Let h be (-3)/b - (-88)/6. Solve -a + h = -6*a for a.
-3
Let r = 60 + -40. Solve 5*v = v + r for v.
5
Suppose -4*k = -0*h + h - 10, 2*k - 4 = 0. Let p be -6 - 1/(h - 1). Let d be p*2/(-7)*1. Solve d*j + 5 = 7*j for j.
1
Let u be (1/(-3) - -2)/(4/12). Solve 3 + 17 = -u*w for w.
-4
Let z be (1/3)/((-2)/(-18)). Let o(c) = -c**3 - 8*c**2 - 7*c + 8. Let u be o(-7). Solve -y - u = -z for y.
-5
Suppose 5*q - 3*q + 3*w = -9, 0 = 5*q - 3*w - 9. Suppose c = 4*p - 2*c - 3, q = -3*p + 2*c + 3. Solve -p = -t - 7 for t.
-4
Suppose 0 = 5*p + 1 + 4. Let h be 32/12 - (-2)/6. Let v be ((-43 + -2)/h)/p. Solve 2*g - 5*g - v = 0 for g.
-5
Suppose j + 3*z - 6 = 0, 2*j - 4*z = 7*j - 19. Solve -10 = j*u - 1 for u.
-3
Suppose -65*q = -63*q - 30. Solve 4*z = -z - q for z.
-3
Suppose -27 = 2*h - 11*h. Solve h*y - 12 = -y for y.
3
Let b be (-10)/(-1 + (-2)/(-6)). Let o(y) = 3*y**2 + 1. Let n be o(1). Suppose -3*p + 2*z + 7 = 0, -4*p - 3*z = p - 37. Solve b + p = -n*j for j.
-5
Let a be (-1 + 6 - -2) + -1. Solve 0 = a*h + 3 + 3 for h.
-1
Let r = -8 + 8. Solve 3*q - 3 = -r*q for q.
1
Let b(q) = -q**3 - 8*q**2 + 4. Let o be b(-8). Solve 0*n = -o*n - 4 for n.
-1
Let y be -2 + 3/1 + 1. Suppose 0 = -2*n - 0 + 6. Solve -v - y = -n for v.
1
Suppose 4*m + f - 2*f = -1, 3*m - 3*f + 3 = 0. Suppose m*g = -g + 2. Let c(k) = k**3 - 3*k**2 + 3. Let n be c(3). Solve -g*p - n*p = -15 for p.
3
Suppose 7 + 6 = 5*r - 3*a, -5*a = -3*r - 5. Suppose -3*d - 8*v = -4*v - 7, -26 = 2*d - r*v. Let k be (5 + -6)*(1 + d). Solve -u + 2*u = k for u.
2
Let n be 7*(0 + 2 + -3). Let o = n - -8. Suppose -3*c + 2*j = -3 + o, 4*j = 5*c - 2. Solve 0*d = c*d for d.
0
Let y(x) = x**2 + 1. Let t be y(1). Let f = 14 - t. Solve -4*r = 4 - f for r.
2
Suppose 0 = -2*l - 0*l + 5*u + 27, -4*u = -3*l + 44. Let b = l + -10. Solve 0 = 5*d + 31 - b for d.
-5
Let b(q) = -2*q**2 + 7*q + 5. Let n be b(4). Solve -2*o - 7 = -n for o.
-3
Let a be ((-12)/(-9))/(8/12). Solve 3*c = 4 + a for c.
2
Let b(o) = -o**3 + 7*o**2 - 6*o + 7. Let i be b(6). Suppose -i = -5*k + 3. Solve -5*q + 15 = -k*q for q.
5
Suppose 0 = -4*g + m + 45, 3*m + 62 - 7 = 4*g. Let u be (-2 + -2)*g/(-8). Solve 0 = -u*i - 0*i for i.
0
Suppose 0 = 3*j - 13 + 4. Let k be 2/(j + (-57)/21). Solve -k = -2*b - 3 for b.
2
Let l be ((-13)/3)/((-6)/18). Let v = l + -11. Solve 0 = v*k - 0*k for k.
0
Suppose 5*a - 10 = -0*a. Suppose -4*p + 10 - a = 0. Suppose -4 + 6 = -3*t - 2*x, p = -t - x. Solve 0 = t*g + 2*g + 4 for g.
-1
Let n be 34/6 + 3/9. Let l = n + -10. Let c be ((-9)/(-6))/((-3)/l). Solve -u = c*u + 12 for u.
-4
Suppose -3*j - 4*j = -j. Solve j*d = -2*d - 4 for d.
-2
Suppose -5*i = -5*t - 85, -3*t - 2*t = 2*i - 6. Let c(l) = -l**2 + 14*l + 2. Let b be c(i). Solve -3*n + 6*n + b = 0 for n.
-5
Let h be (-4)/(-10) - 18/45. Let c be 4/4 - (h - 0). Solve -3*l - c = 8 for l.
-3
Suppose s + 5 = -0*s - 5*c, 0 = -2*s - 2*c + 6. Suppose -4*i = -3*i. Solve o = -i*o + s for o.
5
Let q = -13 + 18. Solve 22 = q*h - 3 for h.
5
Let a(o) = o**2 + 6*o + 2. Let y be a(-6). Solve y*c + c + 3 = 0 for c.
-1
Let a = 25 + -22. Solve 4*i + a = 11 for i.
2
Suppose -21*t + 18*t + 9 = 0. Solve -4*b + t*b = -1 for b.
1
Suppose -2*h = -3*b - 19, 4*h - 2*b = 25 + 9. Solve t - 4 = -h for t.
-4
Suppose 1 = -2*d + 9. Suppose g - 4 = -2*j, -d*g + 36 = 4*j - j. Solve -2*i - i = g for i.
-4
Suppose 144 = 5*q + 14. Suppose -c + n = 4*c - 10, 0 = -2*c - 4*n + q. Solve -c = 4*h + 1 for h.
-1
Let q = 114 - 113. Solve 2*d = 3 - q for d.
1
Let q = -6 - -13. Let a(z) = -z + 7. Let j be a(q). Solve o + 1 = -j*o for o.
-1
Suppose 12 = -7*r + 33. Solve -2*n - r*n - 20 = 0 for n.
-4
Suppose -2 - 2 = -s. Suppose 7*t - 12 = 4*t. Let u be 0/1 - -2*1. Solve t + s = u*z for z.
4
Suppose 8 = -t + 15. Solve -t*h = -10*h - 6 for h.
-2
Let y(o) be the second derivative of o**5/20 - o**4/6 - o**3/2 + 2*o**2 - 3*o. Let c be (2 - (-1)/(-1))*3. Let u be y(c). Solve 0 = 2*r - u - 0 for r.
2
Let n be -6 + 3 - 3*-1. Let y = 8 - 5. Solve -4*t + y*t - 4 = n for t.
-4
Suppose g + t = -1, 3*g + g + 19 = t. Let z = 0 - g. Let r = 9 - z. Solve 5*j + r - 25 = 0 for j.
4
Suppose -2*c - 3*v = 0, 0 = -2*v - v + 12. Let n be (-24)/(-9) + (-2)/c. Solve 0*w = n*w - 9 for w.
3
Suppose -4*p + p - 30 = -5*d, p - 2*d = -10. Let w be 1 + 2 - 2 - p. Suppose 4*j + 9 = -4*s + 37, s = -2*j + w. Solve -2 = 4*t - s*t for t.
-2
Let d(v) = -4*v - 1. Suppose -5*u + l - 2 = 7, -4*l - 12 = 4*u. Let a(f) = -f**3 - f**2 + 4*f + 3. Let g be a(u). Let j be d(g). Solve -j*m = -6*m for m.
0
Let h(f) = -f. Let t = 13 + -5. Let l = -9 + t. Let x be h(l). Solve -x = -p + 1 for p.
2
Suppose -n = -0*n + 7. Let s(f) = f + 17. Let t be s(-8). Let x = t + n. Solve c + x = -c for c.
-1
Suppose -3*z + 5*s = 13, -3 = -z - z + s. Suppose 0 = 3*m + z - 10. Suppose m*b = -2*b. Solve b = -2*c - 0*c + 6 for c.
3
Let j be 2/(-4)*(2 + -2). Solve a - 5 = -j for a.
5
Suppose 6*v + 9 = m + 8*v, 3*v = -3*m + 21. Solve 0 = -4*a + 3*a + m for a.
5
Let j(t) = -2*t + 4. Let n be j(-4). Suppose 2*i = 6*i + n. Let c be (6/(-15))/(i/15). Solve -c*k + 3 = 1 for k.
1
Let c = -67 - -71. Solve c*g - 1 = -21 for g.
-5
Let k = -2 + 2. Suppose -l + 3*p - 1 = 0, -12 - 1 = -4*l - 5*p. Solve -2*v = -k*v + l for v.
-1
Let w = 28 + -24. Solve w*o = -0 - 4 for o.
-1
Let q(d) = d**3 + 8*d**2 + d + 10. Let f be q(-8). Let j = -3 + f. Let b be 5 - -2*j/(-2). Solve -b*v + 5*v = 5 for v.
-5
Let v be (35/(-10) + 3)*-2. Solve v = 2*s + 3 for s.
-1
Suppose -5*c + 6*c = 3. Solve 8 = -c*z + 2 for z.
-2
Let k(n) = n + 7. Let u be k(-7). Suppose -p - 2 + 3 = u. Solve -2*d - p = -5 for d.
2
Let j = -1 + 4. Let l be ((-12)/8)/((-9)/12). Suppose 0 = j*o + l*o. Solve u - 2*u = o for u.
0
Let d = -29 - -34. Solve -2*g - d = 3*g for g.
-1
Let q(d) = d**3 + 2*d**2 - 5*d - 2. Let t be q(-3). Suppose -t*s - 2*o = -4, 0*o = 5*s - o - 19. Solve 4*y - s + 11 = 0 for y.
-2
Let u = -62 + 63. Solve 3*m + u + 5 = 0 for m.
-2
Let z be -1 - (-3 + 1 + -2). Let x(j) = 6*j**2 - j**z - 4 + 3 - 8 + 2*j. Let o be x(6). Solve o*w = -2*w - 15 for w.
-3
Let u be 2*1*-16*(-9)/36. Solve 0 = 3*h - 5*h + u for h.
4
Let d(u) = -u**3 - 4*u**2 - 3*u - 1. Let q be d(-2). Let k = q - -12. Let o = k + -7. Solve o*j = -j for j.
0
Suppose 3*i = 4*i - 6. Suppose 0*f + i = -3*f. Let c = f - -2. Solve c = q + 3 for q.
-3
Let d(l) = 3*l**3 + 5*l**2 + 5. Let q(r) = 4*r**3 + 6*r**2 - r + 6. Let a(b) = -3*d(b) + 2*q(b). Let h be a(-3). Solve 9 + 0 = -h*z for z.
-3
Suppose 2*p - 4*p + 56 = 0. Let j = 40 - p. Suppose s - 2 = f + 1, -4*f = 5*s + j. Solve 10 = -s*l + 5*l for l.
2
Let r(x) = x**3 + 6*x**2 - 3. Let h be r(-6). Let p(l) = l**2 + 3*l + 3. Let m be p(h). Suppose -15 = -m*k, 5*k = 4*i + 3*k - 14. Solve -4*t - 2 = -i for t.
1
Suppose -3*p + 2 = m, -p = 5*m - 4*m. Solve -r = 2 + p for r.
-3
Suppose 0*o + 4*o - 2 = -t, 6 = -4*o - 5*t. Solve 5*q = -19 - o for q.
-4
Sup