 - 2*m - 5 - 3*m. Let s be 1*3/(15/(-40)). Let r be b(s). Solve r - 5 = h for h.
-2
Suppose -3*b + 8 = -2*v, -5*v + 0*v = -4*b + 13. Solve -8 = -b*p - 2 for p.
3
Let a be ((-9)/(-15))/((-1)/5). Let l = a - -6. Solve 2*v = v + l for v.
3
Let o be (-1)/(2/(-10)) + 5 + -4. Solve 0 = -o*t + 4*t - 10 for t.
-5
Let v be 1*-3*2/(-6). Let y = 1 + v. Solve 0*i - y*i - 4 = 0 for i.
-2
Let i = 59 + -59. Solve i = -0*r - 4*r for r.
0
Let y(b) be the second derivative of -b**5/20 + 3*b**4/4 - 4*b**3/3 + 7*b**2/2 - b. Let r be y(8). Let c = r + -4. Solve -d = -0*d + c for d.
-3
Suppose 4*s + 3*n = 23, -4 = -2*n - 2*n. Suppose -j - o = 0, -5*o - 21 = -s*j - 1. Solve -j*p - 3 - 1 = 0 for p.
-2
Suppose 0 = 4*u - u - 6. Solve u*b + 2*b - 4 = 0 for b.
1
Suppose 5*g + 5*s = 40, -5*s + 0*s = -4*g - 13. Solve 2 = g*o - 1 for o.
1
Let o = 10 + -6. Solve 2*h = o + 4 for h.
4
Let z(m) = -m**3 + m**2 + m + 22. Let d be z(0). Let k = d - 16. Suppose -4*a = -k*a. Solve a = -v - 2*v for v.
0
Let g be 9/(-3) + 6 + 4. Solve -4*c - 5 - g = 0 for c.
-3
Suppose -2*m + 3*r = 5, m = -m + 5*r - 15. Solve 25 = m*h - 0*h for h.
5
Let s(d) = d**3 + 3*d**2 - 1. Let o be s(-2). Solve o*w + 1 = -11 for w.
-4
Let s(l) = l**3 + 4*l**2 - 2*l - 3. Let y be s(-4). Solve -y*p - 8 = -p for p.
-2
Let x(j) be the second derivative of j**4/12 - j**3 - 2*j. Let l = -23 + 30. Let q be x(l). Solve 0 = 3*b - q*b + 20 for b.
5
Let o be 3*(6/(-9) + 1). Let p = -1 + o. Solve 5*q - 6*q = p for q.
0
Suppose 4 - 34 = -5*d. Solve d*q = q - 20 for q.
-4
Suppose -12*i = -18*i + 42. Solve 13 = -5*d - i for d.
-4
Suppose 2*p - 3 = 3. Solve -p*s = -0*s for s.
0
Suppose -29*w + 15 = -24*w. Solve -w*m + 2 = -m for m.
1
Let k be 5/15 + (-76)/(-6). Let s = -10 + k. Solve s = -2*x + 13 for x.
5
Let b = -38 - -15. Let a = b - -26. Solve 4*x = 3*x - a for x.
-3
Let a = 23 + -21. Solve 5*n = a + 3 for n.
1
Suppose -7*o = -12*o. Solve x + o = -3 for x.
-3
Suppose -b + 80 = b - 4*t, 0 = -2*b + 3*t + 75. Suppose 0 = 4*w + w - b. Suppose 21 - 5 = 2*p. Solve -2*x + w*x = -p for x.
-2
Let l be (-2)/3 + (-263)/(-3). Suppose v - 11 = -2*s + 16, -4*v - l = -5*s. Solve -2*j - 3*j - s = 0 for j.
-3
Let m be 1/(9/6)*6. Suppose -m*j = -3*j. Let t = 2 - j. Solve t = -3*c + 11 for c.
3
Suppose 11 = 5*j - 4. Suppose 0 = -j*i + 5*i + 2*b + 2, 0 = -i - 3*b - 9. Suppose -i*c = -2*c - 20. Solve -4*a = a - c for a.
4
Suppose 0*s = -3*s + 18. Let l(n) = 4*n + 2. Let j be l(s). Solve -6 + j = -4*h for h.
-5
Let r = 7 + -5. Suppose r*h + 5 = h. Let g = -4 - h. Solve g + 3 = 4*i for i.
1
Let o = -11 + 12. Let f be (-1)/(o*3/(-9)). Solve 0 = -5*s + f*s - 2 for s.
-1
Let n(w) be the first derivative of 2*w**3/3 + w**2 - w - 1. Suppose -4*y + 0 = 8. Let o be n(y). Solve 0 = -o*i - 18 + 6 for i.
-4
Let j(q) = -q**3 - 6*q**2 - 6*q - 5. Let p(n) = n**3 + n**2 - 5. Let x be p(0). Let v be j(x). Suppose v = -4*t + 21 - 1. Solve t*d - 2 = -27 for d.
-5
Let p be (1/1)/(2/8). Suppose 3*v - 4 + 1 = p*k, -k - 12 = -3*v. Solve -v - 5 = 5*i for i.
-2
Suppose -3*q = -4*y + 4, -1 = -2*y - 4*q + 23. Solve 0 = 4*x + 12 - y for x.
-2
Suppose -4*n - 4 = 0, -7*n + 2*n = 2*m + 1. Suppose 4*f = 2*f + 4*j, 2*f - 10 = -j. Suppose -1 = b - f. Solve c = b*c + m for c.
-1
Suppose 5*q - 17 = -2*l, 4 = l - q + 13. Let n be 1 + 10 - l/2. Let y = n - 9. Solve 11 = -3*i - y for i.
-5
Let c be 16 + -2 + 1 + 1. Let l be (-20)/2 - (-7)/(-7). Let y = l + c. Solve 0*u - y*u = 20 for u.
-4
Let y be 49/7*24/14. Let m(o) = o**3 + 5*o**2 + 4*o + 3. Let d be m(-4). Solve d*z - y = 6*z for z.
-4
Let m(b) = -b**3 - 9*b**2 - 8*b + 4. Let n be m(-8). Solve 3 = n*r + 11 for r.
-2
Let o be (-6)/33 + (-2)/(-11). Let y(d) = d**3 - 2*d**2 + 3*d + 2. Let w be y(3). Solve o = -4*i - i + w for i.
4
Suppose 3*q = 2*z - z + 9, -2*z = -q + 3. Suppose z = 5*a + 5*n + 40, -2*a + n = 1 - 0. Let s be 20/a*(-6)/4. Solve 2*o = -0*o - s for o.
-5
Suppose -2*u - 14 = 4*s, 0*u + 4*s = -3*u - 11. Solve 4 - 16 = -u*w for w.
4
Let k be (-3)/(-3) + 0 + 2. Suppose -2*m = 2*b + 14, b + k = -3*m - 6. Let n be (-4)/1*3/b. Solve n*f = 4*f - 4 for f.
2
Suppose 0 = -u + 5*u - b - 48, 0 = b. Let t = 21 + -14. Let c = u - t. Solve -c*j + 36 = 11 for j.
5
Let u(c) = -c**2 - 13*c - 9. Let x be u(-12). Let z be x/6 - (-9)/6. Solve -13 = z*g - 3 for g.
-5
Suppose -11*c + 7*c + 36 = 0. Solve -2*m - c = m for m.
-3
Suppose 3*v + 2*r - 13 = 0, -6*r + 4*r = -5*v + 11. Suppose v*g = 6*g - 21. Solve 0 = -3*w - g - 2 for w.
-3
Let d = 30 - 28. Solve d + 8 = -2*n for n.
-5
Suppose -4*c = -10 + 2. Suppose -4 = c*s - 2*w, 0 = -2*s - w + 8 - 0. Let x be s + -3 + 15/3. Solve 3*n - 1 = -x for n.
-1
Let v = -15 + 5. Let m = 10 + v. Solve m = -4*d + 2*d + 2 for d.
1
Let j(p) be the second derivative of p**3/6 + 3*p. Let i be j(-4). Let w(q) = -q + 2. Let z be w(i). Solve -2*f = f - z for f.
2
Let z(y) = -2*y**2 - 23*y - 4. Let x be z(-11). Solve 3*p - x = 2 for p.
3
Let s be (1 - (-4 + 0)) + 29. Solve 5*i = -s + 9 for i.
-5
Suppose -5*f + k = -24, 3*f - 12 = -3*k + 6*k. Solve 1 + 4 = -f*n for n.
-1
Suppose s - 2*s + 3 = 0. Let d = 4 - s. Suppose -2*t + 4*t = 4. Solve 3*b = -t - d for b.
-1
Suppose 0 + 16 = 4*h. Suppose q = 2*q - 5. Suppose -h*x - q*d = -33, 0 = -5*d + 26 - 1. Solve 0 = -x*w - 8 - 0 for w.
-4
Suppose -t + 2*t = -8. Let z = 10 + t. Solve -2*h = z*h - 4 for h.
1
Suppose s - 2 = 0, 3*v + 10 = 2*v + 5*s. Suppose v*l = 2*l - 14. Suppose 0*j - 3*j = 12, -3*p + 5*j = -35. Solve -p*t = l + 3 for t.
-2
Suppose -u + 1 = -z - 2, 0 = -5*u. Let w be (-18)/4 - (-3)/(-6). Let a = z - w. Solve 0 = -m + 1 + a for m.
3
Let b(j) = j**3 + 6*j**2 - 6*j + 9. Let t = 17 - 12. Suppose -4*i = 3*f + 31, -t*i + 3*f - 4 = 28. Let y be b(i). Solve 0 = -0*q + y*q + 10 for q.
-5
Suppose -3*o + 23 = -5*p - 1, 0 = o + 5*p + 12. Let n be (-2)/(o*1/(-6)). Solve 1 = n*i - 3*i for i.
1
Suppose -v = -6*v - 5. Let h be 2/4*(3 - v). Solve h*w - 7*w = 10 for w.
-2
Let n = -1 + 3. Suppose 0 = -6*c - c + 28. Solve -n*w - 2 = -c*w for w.
1
Suppose -5 = -5*l + 4*i - 0, 0 = l + 4*i - 1. Let o(g) = -g**3 - 6 + 3 + 4*g**2 + l + g. Let f be o(3). Solve -k - f = -3*k for k.
5
Let x = -1 - 5. Let t be x/(0 - (-1 - -3)). Suppose -3*n = -2*n. Solve n = -0*c + t*c - 15 for c.
5
Let v(n) = 2*n**2 + 5*n + 4. Let k(d) = -d**2 + 1. Let g(p) = 3*k(p) + v(p). Let t be g(6). Solve -2*x - 11 = -t for x.
-5
Suppose 0 = 5*l - 9 - 6. Solve 3 = l*v - 0*v for v.
1
Let r = 2 + 2. Let u be -20*(3 - 13/r). Suppose 5*p = 4*w - 23, -3*w - 11 = -w + u*p. Solve b + w = 5 for b.
3
Suppose 2*w = w. Solve q = -w*q - 5 for q.
-5
Let w = -263 + 266. Suppose 4*n = 0, 4*x = -0*x + 5*n + 8. Solve 4*m - w*m = x for m.
2
Suppose 3*p - 15 = r, -4*r + 0 - 5 = -p. Let s be (2 + r)*44/8. Suppose -2*f + 8 = 4*i, 1 = -5*i + s. Solve 0*j - j - 4 = f for j.
-4
Suppose -23 = -4*h + a, -18 = -3*h + 5*a - 5. Suppose 2*i + 0*d - 2*d = 4, 2*i - 3*d - h = 0. Solve -k - 1 + 4 = i for k.
3
Suppose -3*h - 7*h = 0. Solve -2*l + h = -8 for l.
4
Let i = 8 - 7. Solve t - i + 4 = 0 for t.
-3
Let u = -66 + 69. Solve -u = -k - 1 for k.
2
Let b(p) = -3*p + 4. Let f be b(-4). Suppose -2*v - 2*v + 4 = 3*y, 2*v + f = 3*y. Solve 0 = y*d + d - 15 for d.
3
Let n = 17 + 3. Let v be 10/(-6)*3 - 4. Let k = -6 - v. Solve 2*j = -k*j - n for j.
-4
Suppose d + 4*v - 2 = 0, -d = -2*v - v - 2. Suppose 0*a - 4*a - 24 = 0. Let b = a + 10. Solve -d*s - b = -3*s for s.
4
Let x be (2 + -1 + 0)*3. Solve -7*l + x*l = -12 for l.
3
Let i = 1 - -4. Let x be 84/22 - (-8)/44. Solve x = i*d - d for d.
1
Suppose 0 = -4*u + 3*i + 9, 4*u + 3*i - 8*i = 15. Let j be 1/2*u/3. Solve 0 = 2*d - j*d + 4 for d.
-2
Suppose 0 = -2*q + 11 + 13. Solve 0 = -0*o + 3*o + q for o.
-4
Let a(k) = -k - 7. Let s be a(-9). Solve 7 = s*g + 1 for g.
3
Let u be (-1)/4 - 34/(-8). Let c(w) = 4*w. Let n be c(5). Suppose 0 = -2*k - 3*k + n. Solve u*p + k = -16 for p.
-5
Let a = 19 - 11. Let x(o) = -o**2 + 7*o + 9. Let p be x(a). Let l = p - -1. Solve -l*u = -5*u - 12 for u.
-4
Let x = -9 + 13. Let g be (-14)/(-10) + 12/(-30). Let m = 14 - g. Solve x*d - 3 = m for d.
4
Suppose -4*z = 6 - 2. Let r be (2/z)/((-5)/10). Solve -r*w + w = 9 for w.
-3
Suppose -2*u - 4 = -u, -5*i + 46 = -4*u. Let n(b) = -b + 9. Let m be n(i). Solve 0 = m*c + 2*c - 25 for c.
5
Suppose 3*s - 35 = -4*s. Solve -s*u