 Solve 0*s - s + b = h for s.
1
Suppose 2*m - m = 2. Let b be -2 - (-3)/((-6)/8). Let h be m/(-6) + (-26)/b. Solve -r - 12 = -h*r for r.
4
Let x be ((-15)/20)/(1/(-4)). Suppose 2*z = -x*f + 9, -5*f + 1 - 5 = -3*z. Suppose 0 = -z*r - r + 12. Solve 2*v = -v + r for v.
1
Suppose 0 = s + 8 - 4, 2*n + 2*s + 4 = 0. Solve 0 + n = w for w.
2
Suppose k = 4*k - 9. Suppose -21 = -3*s - 5*n, 4*s = 2*s - k*n + 13. Suppose 4*u - s = 5*x, -2*u + x = -0*u - 4. Solve -4 = -j - u*j for j.
1
Suppose 15 = 4*d - 13. Let n(u) = u + 13. Let c be n(-8). Let t = d - c. Solve -t*y = 9 + 1 for y.
-5
Suppose -4*i - 3*v = -13, 1 = -0*i + i + 3*v. Suppose -5*t - 13 - 2 = 0, -3*t = -i*o + 17. Let a be (0 + 0 - -1) + -1. Solve a*k + o = 2*k for k.
1
Let i(q) = q**3 + 5*q**2 - 7*q - 5. Let r be i(-6). Let k = 4 - -5. Suppose k*p = 4*p - 2*u + 19, -5*p = -u - 28. Solve -3*f - p = r for f.
-2
Let f(h) = h. Suppose -3*u + 0*u = -6. Let z be f(u). Solve 0 = -2*i - z*i for i.
0
Suppose -5*u = -n - n + 94, u - 3*n + 24 = 0. Let t = -9 - u. Let p = 28 + -28. Solve m - 4*m + t = p for m.
3
Suppose -2*b = -5*v + 15, -4*v = -3*v - 4*b + 15. Solve w - 8 = v*w for w.
-2
Suppose -x + 4*n + 20 = -2*x, -4*x = -2*n - 10. Solve 5*v - 29 + 9 = x for v.
4
Let a = 46 - 30. Solve -5*u - a = -u for u.
-4
Suppose -5*t + 8*t + 12 = 3*g, 0 = -2*t + 4*g - 18. Solve 6 = 5*h + t for h.
1
Suppose 0 = -5*f + 4*f + 5. Suppose -2*t = -3*m - 6*t + 20, -2*m - 25 = -5*t. Solve -l + f*l + 12 = m for l.
-3
Suppose -z + 4 = -0*z. Solve -z*h = -8 - 12 for h.
5
Suppose -1 + 6 = o + w, 0 = -4*o + 2*w + 26. Solve -o*y + 6 = -3*y for y.
2
Let x(a) = a**2 - 13*a + 14. Let i be x(12). Solve -2*b = i*b - 16 for b.
4
Suppose -3*q = 2*k + 11, 3 = 4*k - 0*q + q. Let c = 16 + -22. Let b be (-3)/(c/4) - k. Solve b = 5*f - 0 - 20 for f.
4
Let t be (0 + -2)*(4 - -4). Let q be 12/(-8)*t/6. Suppose 2*z - 3*z = 0. Solve m = -z*m - q for m.
-4
Suppose 2*g - 71 = -13. Let s = g + -17. Solve s = -4*n - 0 for n.
-3
Let j be (-4)/(-18) - 176/(-18). Solve g + 4*g = -j for g.
-2
Let g be 1/(4/2 + -1). Let p = 8 - g. Solve 5 = -3*q - p for q.
-4
Suppose 29 - 104 = -5*i. Solve 5*n - i = 10 for n.
5
Suppose 0 = -o + 6*o. Solve o = -k - 4*k for k.
0
Let o(z) = z**2 - 6*z - 5. Let b be o(7). Suppose b = c - 0*c. Suppose -3*d - 16 = -5*i + 5, c*i - 8 = d. Solve 1 = -i*r + 10 for r.
3
Let b(a) = a**3 - 3*a**2 - 2*a - 2. Let k be b(4). Let f be (6/(-4))/(k/(-8)). Solve -5*m + f*m = -6 for m.
2
Let x be (-6)/2 - (-1 + -7). Let n = 28 - 27. Solve 0 = -2*s - n - x for s.
-3
Let c = -8 - -8. Suppose c = m + m. Solve -2*y + 4*y = m for y.
0
Let o(l) = -l**2 + 17*l + 41. Let y be o(19). Solve 0*h + y*h - 3 = 0 for h.
1
Let m = 1 + -1. Suppose 0 = -3*h - g + 10, m = -h - 4*g + g + 14. Let v be h*((-5)/2)/(-5). Solve -s = -4 - v for s.
5
Let o be (-4)/(-14) + 11/(154/(-4)). Solve o = h - 2*h + 4 for h.
4
Let z(v) = v**2 - v + 3. Let o be z(0). Solve -o*f + 0*f = 6 for f.
-2
Let m = 77 - 52. Solve l = 6*l - m for l.
5
Let c(m) = -19*m**3 - 1. Let h be c(1). Let s be (24/h)/(2/(-10)). Let o be -3*(10/(-6) + 0). Solve o*n - s = -1 for n.
1
Let s be 6*((-15)/(-6) - 2). Let w be 1/(-2) + s/6. Solve 2*f + 3*f + 25 = w for f.
-5
Let p be 1/((9/(-24))/3). Let n be (-2)/(-6) - p/12. Let j = n - -1. Solve 4*x - j = 6 for x.
2
Let r(x) = x**3 + x + 4. Let p be r(0). Let l be (2/p*0)/1. Solve 0*i + 3*i + 6 = l for i.
-2
Let q = -16 + 19. Solve 3*h + 0*h - q = 0 for h.
1
Suppose -3*r + 6 = -r. Suppose 3 = -r*m, 6*d - 4*m = d + 4. Solve d = 3*j - 1 - 8 for j.
3
Suppose 53 = 4*l - 7. Suppose 3*o - 5*u = -4, 0 - 6 = 2*o - 5*u. Solve -o*b - b = -l for b.
5
Let h(l) = -l**2 + 8*l + 13. Let f be ((-12)/(-8))/(1/6). Let o be h(f). Solve -s + o*s = 0 for s.
0
Let n = 4 - -1. Suppose -2*x = -n*g - 26, -10 = -2*x - 0*g + g. Solve -h + 4 = x for h.
1
Let i = 14 + -14. Solve 25 = -i*y - 5*y for y.
-5
Let l be 2/(-17) + (-522)/(-102) + -4. Solve 0 - l = -r for r.
1
Let j(m) = 3*m**2 - 14*m - 5. Let c be j(5). Solve c = -i - 0*i + 1 for i.
1
Let n be (-30)/4*(-12)/18. Suppose -n*u + 10 = -5. Solve 3 - 18 = u*o for o.
-5
Suppose -28 = -6*b + 20. Solve b = 2*a - 0*a for a.
4
Let d be ((-5)/1)/((-2)/6). Suppose -62 = -2*s + 2*j, 0 = -0*s - 2*s + 3*j + 66. Let t = s - d. Solve 5*z = z + t for z.
3
Let y be (-25)/(-9) - 6/(-27). Solve 0*s + y*s + 3 = 0 for s.
-1
Let l(i) = i + 27. Let j be l(-22). Solve j*c = c for c.
0
Let t(l) = l - 9. Let c be t(7). Let h be (-1)/c + 1/(-2). Let u(a) = -a**2 - 5*a + 3. Let f be u(-5). Solve -f*b - b - 20 = h for b.
-5
Let x(y) = -4 + 7*y + 3 + 2. Let m be x(1). Suppose 2*w - 4*g = -m, -g - g = w - 12. Solve w*a = 7*a + 12 for a.
-4
Let w(m) = -m + 1. Suppose -5*p + 3*i = 4*i - 13, -4*p + 4*i = -20. Suppose 0*v = -4*b + 4*v + 8, 7 = 4*b - p*v. Let a be w(b). Solve a = -4*j + j + 3 for j.
1
Let l = 1 - 2. Suppose 4*n - 2 = 6*n. Let p = l - n. Solve 2*g - 4 + 2 = p for g.
1
Let p(a) = -a + 1. Let l be p(-4). Suppose 0 = l*i + 4*n + 19, n - 5 = -4*i + 6*i. Let r be (i + 4)*(2 + 0). Solve 0 = r*v + v for v.
0
Suppose 0*n = -3*d + 5*n + 26, -d - 2 = n. Suppose 55 = 3*r - 5*y, -4*y - 22 = -2. Let v = r - 5. Solve v*w + 3 = -d for w.
-1
Let h = 48 + -39. Solve -6 - h = 3*q for q.
-5
Let w(s) = s - 4. Let c be w(7). Suppose 0*l - i = -3*l + 3, i = c. Solve -l = -4*f - 18 for f.
-4
Let j be (-1 - 5)/(0 - 1). Let z be j/(-21) + (-2)/(-7). Suppose l + 3*l - 12 = z. Solve -l = -m - 6 for m.
-3
Let p = -34 + 34. Suppose 0 = 3*h - 3*c, h + 3*c + 28 = -3*h. Let k = 9 + h. Solve -k = u - p*u for u.
-5
Suppose 0 = -v + 3 - 0. Suppose v = t, -5*t - 7 = -5*j - 2. Solve 2*k = -2 + j for k.
1
Let j = -22 - -24. Suppose -5*b + 4 = -j*x, 48 = 4*x - 0*x + 4*b. Solve -w = -5*w - x for w.
-2
Suppose -2*g = g + 63. Let l = -15 - g. Solve 4 = -l*i + 2*i for i.
-1
Let x = 49 + -41. Solve x = 2*g - 0 for g.
4
Suppose -5 - 25 = -10*m. Solve 1 = 2*q - m for q.
2
Let m = 6 + -8. Let k(a) = -a**2 - 2*a + 2. Let v be k(m). Let f be 4/(-4) + 14/v. Solve 4*b = -f - 6 for b.
-3
Let r(w) = -w**3 - 7*w**2 - 9*w - 15. Let f be r(-6). Solve f*p = -4 + 10 for p.
2
Let n = 9 + -3. Let s be 6*((-4)/n)/(-1). Solve s*g - 9 = -29 for g.
-5
Let z(q) = q**3 - 3*q**2 - 5*q. Let d be z(5). Suppose -5*r = -0*r - d. Solve -3*y = -2 + r for y.
-1
Let w(k) = k + 2. Let q be -3 + 2*12/8. Let m be w(q). Solve -m*f + 2 - 10 = 0 for f.
-4
Let v = 9 - 7. Solve 0 = -g - 0*g + v for g.
2
Let c be (-4)/(-14) + (-231)/(-49). Solve 3*g + 10 = c*g for g.
5
Let c(y) = -y**3 - 4*y**2 - y + 3. Let o be c(-4). Solve -o = 4*m + 5 for m.
-3
Let z(d) = -d - 10. Let c be z(0). Let b be 9*(c/(-3) + -3). Solve b*g = g for g.
0
Suppose -6*j + 11*j - 15 = 0. Solve 0*s - 3*s = -j for s.
1
Let z = 11 - 7. Let k be (-2)/z - 10/(-4). Solve 3*y + k*y + 5 = 0 for y.
-1
Suppose l + l = 6. Solve q - l*q = -2 for q.
1
Let t = 42 - 40. Solve t*l + 5 = -3*l for l.
-1
Let d = 34 + -24. Solve 5*m = -0*m + d for m.
2
Suppose 5*q - 20 = -0. Solve -q = -b - 3 for b.
1
Let z(d) be the second derivative of d**4/4 - d. Let r be z(1). Suppose 3*g - 6 = m + 18, 2*m + 27 = 3*g. Solve -r = 2*s - g for s.
2
Let w = 46 - 34. Solve 3*l - w + 3 = 0 for l.
3
Suppose -9*n = -31 - 14. Solve -n*s + 0*s = 0 for s.
0
Let m(b) = -3*b + 1. Suppose -2 = 5*r - 27. Let d be m(r). Let z be d/(-3) - (-2)/6. Solve z = -n + 2 for n.
-3
Let k(c) = 25*c**3 - 2*c**2 - 2*c - 1. Let s be k(-1). Let o be s/10 - 8/20. Let h be 1/(o - -2) - -1. Solve h*r - 10 = 5*r for r.
-2
Suppose 0 = 9*j - 8 - 10. Solve 6 = -0*t - j*t for t.
-3
Let z(t) = 14*t**2 - 1. Let k be z(-1). Solve 7 = 4*l - k for l.
5
Suppose -t + 10 = -2*t. Let a = -14 - t. Let j = 1 - a. Solve j*w = w + 4 for w.
1
Let c(p) = -p - 3. Let d be c(-7). Let w(v) be the first derivative of -v**4/4 + 4*v**3/3 + 3*v + 6. Let t be w(d). Solve -15 = -8*q + t*q for q.
3
Let w(x) = x**2 - 22*x + 21. Let s be w(21). Solve -3*u - u + 20 = s for u.
5
Let g be -3 + 2*-1*-1. Let s be (-1)/2*6/g. Suppose 58 = 2*y + 8. Solve s*k - y = 8*k for k.
-5
Suppose -q - 1 = p - 7, -5*q + 3*p - 2 = 0. Suppose -3 = -x - 5. Let s be -4*x*(-3)/(-12). Solve -q = 2*h + s for h.
-2
Let k(s) = -s**2 - 6*s - 1. Let y be k(-5). Suppose 0 = -y*g - 4*x + 52, 0*g - g - 2*x = -11. Solve 4*p - g - 1 = 0 for p.
4
Let n = 18 - 15. Suppose -2*i - n - 7