= -h*b for b.
0
Suppose -5*b = b. Solve r = -b*r for r.
0
Suppose d - 11 = a, -2*d + 14 = 3*a - 13. Let z = d + -9. Solve -z*r + 0 = -15 for r.
5
Let p(k) = k**2 + 4*k + 5. Let r be p(-4). Solve -r + 1 = d for d.
-4
Suppose -a + 5*z = a - 26, -3*a - 5*z - 11 = 0. Solve 8*p - a*p = 0 for p.
0
Let b = -2 - -5. Let x = 1 - 3. Let n be (-7)/(-2 - x/2). Solve -g = b - n for g.
4
Let c be (0/4)/(1 + 1). Solve 5*t - t - 4 = c for t.
1
Suppose -3*f - 2 = 4. Let z = f + 5. Let y be z/(-1)*6/(-9). Solve -y*g = -3*g for g.
0
Let c = 46 + -30. Solve t = -3*t - c for t.
-4
Let s be (135/21 - 3)*7. Suppose 0 = -r - 2*d, r = -5*d - 0*d - 12. Suppose -g = -s + r. Solve -o + g = 3*o for o.
4
Let o be (-7)/(1/1*-1). Let d be 1 + (-2 - o/(-1)). Solve 0 = 3*q - 0*q - d for q.
2
Suppose 4*a + 1 = 5. Solve -a = 4*u + 3 for u.
-1
Suppose 0 = -3*s + 5*m - 0*m + 10, -3*s - 4*m = 8. Let b be ((-25)/(-20))/((-1)/(-4)). Suppose 2*f + 8 = 0, b*x + 2 - 40 = 2*f. Solve 5*w - x - 9 = s for w.
3
Let h(f) = -13 - 7*f**2 + 33 - 19 + f**3. Suppose g + 3*g = -20, -3*x = 5*g + 4. Let r be h(x). Solve 0 = 4*z - 11 - r for z.
3
Let p(d) = d**3 - 10*d**2 + 8*d + 11. Let l be p(9). Let c be (-2)/(-8) + 21/12. Let u(h) = 4*h. Let y be u(c). Solve 2*k + l*k = -y for k.
-2
Let g be (-2)/4 - (-27)/2. Let q be (0 + 9/(-1))*-1. Let l = g - q. Solve -3*c + c = -l for c.
2
Let l be (-36)/(-10) + 4/10. Let y = l + -1. Solve -u = -2*u + y for u.
3
Let m be 2/((-2)/(-12)*4). Suppose 0 = -s - 1 + 5. Suppose -5*x + m*w = -0*w - 9, 0 = 2*w - s. Solve -7*v + x*v - 16 = 0 for v.
-4
Let f = -1 + 29. Solve 13 = 5*q + f for q.
-3
Suppose 14*r = 23*r - 27. Solve -15 = -r*a + 8*a for a.
-3
Suppose 0 = -4*w + 2*z + z + 19, 2*z + 10 = 0. Let k = 5 - w. Suppose -4*h = -0 - k. Solve y + 4 = h for y.
-3
Suppose 0*r - 3*r + 13 = j, 0 = 3*r - 2*j - 1. Suppose 5*i - 32 = -3*n, 7 = 5*i - 4*n + 3. Suppose 2*p - 4 = -y, i = y + 5*p + 9. Solve 0 = -h + r*h + y for h.
-5
Suppose m - 6 - 1 = -5*j, -3*m = 2*j - 34. Let r = m + -5. Solve 2*x = -3 - r for x.
-5
Suppose 51*l - 46*l - 10 = 0. Solve -2*h - l = -10 for h.
4
Let n(o) = o**3 + 8*o**2 + 11*o - 2. Let w be n(-6). Suppose 5*z = -2*u + 19, -2*u = 5*z + 3*u - 25. Solve -w = c + z*c for c.
-1
Let f(b) = -b. Let a be f(-3). Suppose a*g + 3 = 0, -4*c + 0*c = g - 59. Suppose -3*z - c = -6*z. Solve 26 = z*w + 6 for w.
4
Let s(c) be the second derivative of c**5/20 + 7*c**4/12 - c**3/3 - 2*c**2 + 3*c. Let r be s(-7). Solve 5*o - 30 + r = 0 for o.
4
Let q(c) = 4*c**2 - 4*c - 1. Let u be q(3). Suppose g - 4*w - 12 = -3*g, -5*g + u = -3*w. Let f = 11 - g. Solve -k = f*k - 15 for k.
3
Let r be 1*(2 + -2 + 0). Let o = r + -3. Let w be -2 - ((-1 - -2) + o). Solve 3*c = -w*c for c.
0
Suppose 3*c = 3*i - 15, 2*i - 10 = -i - 2*c. Suppose i*n + n = 10. Solve d - 2*d - n = 0 for d.
-2
Let b(a) be the second derivative of -a**5/20 + a**4/3 + a**2 + 3*a. Let t be b(4). Let x = 15 - 10. Solve t*q = x*q for q.
0
Let r(i) = 4*i**2 + 2*i - 1. Suppose 4 = 2*h + 3*h - d, -d + 1 = 0. Let g be r(h). Solve 0 = -g*z + 22 - 7 for z.
3
Suppose -2*l + 5*z + 9 = -4*l, 0 = l + 2*z + 3. Solve 5*x - 17 = l for x.
4
Let j be (9 - 0)/(1 + 0). Suppose 3*p = -0*p + j. Solve 0 = -p*k - 5 - 1 for k.
-2
Let q = -4 - -2. Let i = q - -4. Solve 0 = -2*z - i*z - 16 for z.
-4
Let q = -121 - -123. Solve q = 2*i - 2 for i.
2
Let s be (-1 - -3)*(-3)/(-2). Let j = 99 + -51. Suppose 2*b - j = -2*b. Solve -s*k - b = k for k.
-3
Let k(w) = -w**2 + 11*w + 30. Let g be k(13). Solve 2*v + g + 4 = 0 for v.
-4
Suppose 2*i = -5*j + 9, -3*j - 65 = 5*i - 8*j. Let m be ((-8)/10)/(i/20). Suppose 0*x = m*x - 8. Solve -x = d - 2*d for d.
4
Let h(l) = -l**2 + 7*l - 6. Let d be h(4). Solve -2 = -2*z - d for z.
-2
Let f(z) = -z**2 + 8*z - 5. Let s be f(6). Suppose -5*w = 3*x - 19, -x - 2*x = -w - s. Let j(c) = 22*c - 218. Let g be j(10). Solve -v + x = g*v for v.
1
Suppose -6 + 16 = 2*t. Suppose t*d = 41 + 9. Solve 6*y + d = y for y.
-2
Suppose 5*q - k = 18 + 10, -3*q - k + 12 = 0. Solve 2*i = -1 - q for i.
-3
Let i = -38 + 38. Solve i = a - 4*a - 15 for a.
-5
Let c(m) = -4*m - 4. Let d be c(-2). Solve -3*b + b + d = 0 for b.
2
Let t = 22 + -19. Solve h + 0 = -t for h.
-3
Let j(o) be the first derivative of -o**3/3 - o**2 - 3. Let r be j(-2). Solve 4*f - 8 = -r*f for f.
2
Let j(m) = m**3 - 5*m**2 + 3*m + 3. Let y be j(5). Solve y = -5*i - 7 for i.
-5
Suppose -o = -0*o - 23. Let u = o + -19. Solve s + u*s = 15 for s.
3
Let u be (-3 - -2) + 3 + 6. Suppose u*l = 5*l + 15. Solve 0 = m - l*m for m.
0
Suppose -7 = -5*v - 2. Solve 2*m + 1 = -v for m.
-1
Let v be 1/4 - (-872)/(-32). Let p = v + 42. Solve 2*j + j = p for j.
5
Let p = -6 - -11. Solve 0 = 2*h - h - p for h.
5
Let f(z) = z**2 + 6. Let w(j) = j**2 - 12*j - 13. Let h be w(13). Let g be f(h). Solve g = -4*s - 2 for s.
-2
Let h(y) = y + 3 + y - y**3 + 2*y**2 + 0*y**3. Let b be h(3). Suppose b = 3*x + 2*a - 7, x = -5*a - 2 + 13. Solve 13 = -4*l + x for l.
-3
Let c be 2/(-5) + (-85)/(-25). Suppose 0 = x - 4*w - 32 - c, 0 = -4*w - 20. Solve -4*m + 3 = x for m.
-3
Suppose -2*u + 0*u = 4*z + 6, -5*u + 3*z = -24. Suppose -2*f - 6 = 0, -u*j + 0*f - f = 0. Solve r - j = -0*r for r.
1
Suppose n + 0 + 1 = 0. Let p be n/((5/8)/(-5)). Suppose -x = -6 - p. Solve -x = 2*b - 4 for b.
-5
Let s be (-6)/(-27) - (-352)/36. Solve -2*z = -0*z - s for z.
5
Suppose 5*v - 2*o = 15, -v - 5*o - 24 = -0*v. Let s be (v + 2)*(-1 - -4). Let t = s + -3. Solve -3*d + 0*d = -t for d.
2
Suppose -q + 99 - 96 = 0. Solve -q*r = 4 + 2 for r.
-2
Let h(u) = u**2 + 8*u + 3. Let y be h(-8). Suppose -6*g = -y*g. Solve g = -5*m - 8 - 2 for m.
-2
Suppose -4 = -3*r + 2. Solve -5*u - r = 23 for u.
-5
Let k(m) = -m**2 + 7*m - 6. Let x be k(5). Solve -x*v + 9 = -v for v.
3
Let m(n) be the first derivative of -n**4/4 + n**3/3 - n - 6. Let g be m(-1). Solve -3*y = 2 + g for y.
-1
Let x(y) = -y**3 + 5*y**2 + 2. Let u be x(5). Let n = 68 + -52. Solve u*b - n = -2*b for b.
4
Let f = -2 + 11. Let q be 2/(-4)*(1 + f). Let d be q/10*(-8 - 0). Solve -p = -d*p - 12 for p.
-4
Let m = -1 - -5. Let o be 2/m + 87/6. Solve 4*f - o = 5 for f.
5
Let q = 6 + -6. Let r = 3 + q. Solve 0 = 2*a + r*a + 10 for a.
-2
Let i(m) = 1 - m**2 + 2 - m**3 - 3*m**2 + 2*m**3 - 6*m. Let p be i(5). Let u be 0*3*p/(-6). Solve 4*h + u = 16 for h.
4
Let h be (-1)/((-5)/(-3) + -2). Solve q + 6 = h*q for q.
3
Let s be 119/(-34)*(-24)/7. Solve 0 = 2*n + 2 - s for n.
5
Suppose -4*u + 30 = u. Solve 0 + u = 3*t for t.
2
Let x = 119 + -116. Solve -20 = -7*h + x*h for h.
5
Suppose -7*l + 2*l - w = 5, -5*l - 5*w - 25 = 0. Suppose l = 4*c + 9 - 33. Solve 2*x = c*x + 16 for x.
-4
Suppose 12 = 2*i - 3*x, 2*i + 20 - 4 = -4*x. Suppose i*m + 4*m - 24 = 0. Solve -3*q + 0 = -m for q.
2
Suppose w + 6 = -2*w. Let d = 6 - w. Let k be 2/d - (-47)/4. Solve -k = 4*r + 8 for r.
-5
Let j = 1 + 2. Let k be 3 + (j/1)/(-3). Let d be 301/14 + 1/2. Solve 0 = -4*y - k + d for y.
5
Let g(p) be the first derivative of -p**2/2 - 2*p - 2. Let a be g(-5). Let l be 10/a - 3/9. Solve -3*c + 6 + l = 0 for c.
3
Let f(b) = b**2 - b - 2. Suppose -2*c - 4 = -0*c. Let n be f(c). Solve 0*d - d = n for d.
-4
Suppose 22*a - 25*a = -30. Solve -a + 2 = -4*p for p.
2
Let a(d) be the second derivative of 0*d**2 - 3*d + 0 + 1/4*d**4 - 1/6*d**3. Let o be a(1). Solve -w + o*w = 5 for w.
5
Let s = 2 - -5. Suppose -5*n - 2 = -s. Suppose 0 = -0*d + d - n. Solve -3 + d = -b for b.
2
Suppose -p + 10 = 15, -4*p = 3*b + 17. Solve -3*s - 2 = b for s.
-1
Let k be -1*1*(-9 - -3). Suppose 0 = -5*h - k + 86. Solve 0 = 7*s - 3*s - h for s.
4
Let x be 87/9 + (-10)/6. Solve -d - x = -3*d for d.
4
Let q(n) = n**3 + n**2 + 3. Let m be q(0). Let d = 7 - m. Suppose 58 + 2 = 4*i. Solve i = w - d*w for w.
-5
Suppose -5 = 2*m - 3*m. Solve m*n = -0*n + 15 for n.
3
Let h = 26 - 21. Solve 2*z + 3*z + h = 0 for z.
-1
Suppose 0 = 3*c - 0*c + 9, i - c = 5. Suppose -25 - i = -3*k. Solve -5*x - 1 - k = 0 for x.
-2
Let i(a) = a**3 - 4*a**2 + a + 4. Let q be i(4). Let b(c) = -c**3 + 8*c**2 + c - 6. Let d be b(q). Solve d*f = -0 - 2 for f.
-1
Let w(u) = -u**2 + 7*u + 3. Let j be w(7). Suppose -6*q = -3*q - j. Solve -i + 3 = q for i.
2
Suppose -3*o = 2*d - d - 24, 0 = d - 4*o + 4. Solve -2*w = -6*w + d for w.
3
Suppose -t + 0*t - 5*m - 24 = 0, 2*m + 1