z + 2 = 0 for h.
-1
Suppose 0 = -2*v + 7*v + 15. Let u = 0 - v. Solve u*k + 1 = -2 for k.
-1
Let u(l) = -l**3 + 7*l**2 - 5*l - 1. Let q be u(6). Let k be (-1 + -2)*(4 - 5). Suppose q*y - k - 12 = 0. Solve 0 = -y*j - 3 - 3 for j.
-2
Suppose -2*d - f - 10 = 4*f, 0 = -2*d + 4*f + 8. Suppose d = 3*c - 2*o - 1, 4 = 2*o - 4. Let u(a) = -a + 1. Let l be u(-1). Solve -k - c = -l*k for k.
3
Let j(s) = s**3 - s**2 - s + 1. Let d(k) = 5*k**3 - k**2 - 5*k + 4. Let m(b) = d(b) - 6*j(b). Let l be m(5). Let i = 6 + -4. Solve -i*g - 1 + l = 0 for g.
1
Let b(j) = j**3 + 12*j**2 + 12*j + 13. Let f be b(-11). Solve k + f*k = -3 for k.
-1
Let p(x) = x + 8. Suppose -m - 25 = 4*m. Let r be p(m). Solve -d - r = -2 for d.
-1
Let q be ((6/4)/(-1))/((-2)/20). Solve 6*r = r + q for r.
3
Let m = -35 + 39. Solve j = -m - 1 for j.
-5
Let d = -4 + 7. Suppose 0*b - d*b = 0. Solve -5*q + 10 + 5 = b for q.
3
Let k be 22/8 + 6/24. Suppose -3*o - 3 = -4*x, 0*x + 3*x - 6 = o. Solve o*y = 18 - k for y.
5
Let o be 272/80 - (-4)/(-10). Solve -x = -o*x for x.
0
Let o be 2/8 - 11/(-4). Let r(b) = -b**2 - 6*b - 4. Let k be r(-5). Let t be -1 - -1*(k - -3). Solve -o*w + t = -0*w for w.
1
Let m(l) be the first derivative of 8*l - 5/3*l**3 - 1 - 1/4*l**4 + 3*l**2. Let h be m(-6). Solve -w - 3 = -h for w.
5
Suppose -14*q + 13*q + 3 = 0. Solve q*p + 1 + 2 = 0 for p.
-1
Let k(f) be the first derivative of -f**4/4 + 10*f**3/3 + 2*f + 5. Let c be k(10). Solve 1 + c = y for y.
3
Let l = -15 + 20. Solve -10 = l*v - 0 for v.
-2
Let y = -23 - -32. Suppose -5*v = -3*r - y, v - 11 = 2*r - 4*v. Solve r*p + 16 = -2*p for p.
-4
Suppose 2*g = 5*s - 19 - 0, g + 2*s - 4 = 0. Let w = g - -5. Solve 0 = c + w*c - 16 for c.
4
Let s(z) = z**3 + z**2 - z + 1. Suppose -6*f = -3*f - 12. Suppose 3*h = f*j + 15, -2*j + 8*h - 4*h = 20. Let q be s(j). Solve -q = -a - 5 for a.
-4
Let j be 4*(4/(-8))/(-1). Solve j*h + 8 = 2 for h.
-3
Let t = 7 - 4. Let m be (-8)/44 - 2/(-11). Suppose -s - 12 = -5*y + t*s, m = -4*y + s + 3. Solve 3*f - f = y for f.
0
Let o = 3 - 0. Let a(d) = 4*d + 10*d**2 + 0*d**2 - 10*d**2 - 4*d**2 + d**3. Let y be a(o). Solve r = -y*r for r.
0
Suppose t + 4 = 5*b, 5*t + 2*b + 9 = 97. Suppose -6 - 17 = -3*l + 5*y, 0 = -2*l + 4*y + t. Solve l = -4*p - 14 for p.
-5
Suppose 4*y - 10 = 2*y. Let p = 2 - y. Let z(o) = -o**3 - 3*o**2. Let f be z(p). Solve 5*c + f*c = -15 for c.
-3
Suppose 0 = -10*x + 4*x + 24. Solve x*b - 20 + 4 = 0 for b.
4
Let m = 40 - 28. Let j be (182/39)/(4/(-6)). Let p = j + m. Solve 0 = -3*o - p - 4 for o.
-3
Suppose -4*u = -3*y - y + 52, u + 25 = 2*y. Suppose -4*d - y = -3*q, d + 2 = -1. Let s = 9 + -2. Solve -2*h + s*h = q for h.
0
Let w(v) = v**2 - 10*v + 11. Let q be w(9). Let x be (8/q + -1)*1. Let y(f) = f + 1. Let t be y(x). Solve -t - 6 = 2*r for r.
-5
Suppose -2*i + 12 = -7*z + 4*z, -z = i + 4. Let o = 5 + z. Suppose 7 = 2*s + o. Solve 0 = s*j - 0 - 3 for j.
1
Suppose -91 = -2*h - 83. Solve h + 6 = -5*a for a.
-2
Suppose -3*a = 5*d - 11, 2*d - 3*a - 6 - 11 = 0. Solve 4 = -d*h - 0 for h.
-1
Let f be 2/(-9) - ((-56)/9 - 0). Solve -8*c - f = -6*c for c.
-3
Let c be (-1)/(1 + (-4 - -2)). Suppose -h = -0*h - c. Solve -5*p - 6 = -h for p.
-1
Suppose -60 = -3*v + 4*d, 2*d - 1 = 3*v - 55. Solve 4*g + 0*g = -v for g.
-4
Let n be (-2)/6*9/3. Let i be -2 + 1 + n + 4. Solve i*q = q - 4 for q.
-4
Suppose -7 = -5*v + 3. Solve 3*w + 13 = -v for w.
-5
Suppose -2*o + 10 = 0, -4*t + 4*o - 8 = 4. Suppose m + 26 = t*m. Let d be (-4)/(-14) - m/(-7). Solve -3*j = j + d for j.
-1
Suppose 0 = -v - 3*v + 8. Suppose l = r + v - 7, 4*r - 20 = -l. Solve 5*n + 30 = r for n.
-5
Suppose -9*o + 3 = -6*o. Solve 3 = 4*v - o for v.
1
Let j(f) = -f + 5. Let z be j(4). Let h be 1*-3 + z + 2. Solve h*r = -r - 5 for r.
-5
Let j(p) = p**2 - p - 2. Let v be j(2). Suppose 3*g - 3*a + v*a - 15 = 0, 0 = 2*g - 5*a - 16. Let h = 3 - g. Solve -4*u = -h*u for u.
0
Suppose g - d - 9 = -0*d, 2*g + 17 = -5*d. Let u(x) = -x**2 + 7*x - 5. Let o be u(g). Suppose -87 + o = -5*b. Solve -b = -2*i - 2*i for i.
4
Suppose -3 - 6 = -3*b, -4*b + 68 = -2*y. Let h be (-1 - -3) + y/(-4). Solve 5*f + h = 2*f for f.
-3
Let n(x) = 0 - 4 + 3*x + 0 - 5*x. Let f be n(-3). Solve v + 5 = f*v for v.
5
Let a(z) be the first derivative of z**3/3 - z**2/2 - 3*z - 5. Let s be a(-2). Solve -6 = -3*y - s for y.
1
Let b(r) = -r**2 + 8*r - 7. Let v be b(6). Let d be (-4)/16 + 42/8. Solve d = v*a - 0 for a.
1
Suppose -5*x = -0*w - 4*w + 47, -3*w + 5*x = -39. Solve 0*h - 2*h - w = 0 for h.
-4
Suppose 0*t + 2*t - 8 = 0, -5*t = -3*p - 2. Suppose -h + 4 = -g, g + 2*h - 20 = -3*h. Let b be -1*(-2 + 1)*2. Solve g = b*k - p + 16 for k.
-5
Suppose 3*u = 3*f + 9, 3*u - 3*f = -u + 9. Solve 0 = -u*d - d for d.
0
Let x(a) = a**2 - 5*a - 1. Let m be x(4). Let y = m - -5. Solve -3 = -y*z + z for z.
-3
Let g = 16 - 14. Let c be 36/42*7/g. Solve -c*o + 2*o - 4 = 0 for o.
-4
Let c(j) = 4*j**2 + 4*j + 2. Let w be c(-2). Suppose i - 3 = -0. Let x be 0/(2/6*i). Solve 2*h + w = -x for h.
-5
Suppose 39 = 4*u - u. Suppose -1 + u = 3*q. Solve q*h = h + 15 for h.
5
Let s = -58 + 60. Solve s*x - x = 1 for x.
1
Let x = -9 - -14. Let j be (-20)/x*5/(-4). Suppose 4*l = -j*w + 17, 4*l + 4*w = l + 13. Solve l*g + 20 = -g for g.
-5
Suppose 33 = 2*i - 5*w, 0*w + 3*w + 31 = 4*i. Suppose 3*a - 5*a + 20 = 4*k, -i*a = -k - 22. Solve a = 4*h - h for h.
2
Suppose j + 33 = 4*o, 2*o - 12 = -2*j - 2*j. Solve -5*s = -s + o for s.
-2
Let x(f) = -f**3 + 4*f**2 + 2*f - 10. Let l be x(3). Let h(k) = -2*k - 5. Let r be h(-4). Solve -2*z + l*z = r for z.
1
Let x(q) = -2*q - 1. Let m be x(-3). Let w = 12 - m. Suppose 0 = v + l - 1, v - 3*l = -8*l - w. Solve -8 + 2 = v*s for s.
-2
Suppose -6 = -4*b + 10. Solve 3 = b*n - 1 for n.
1
Let s = 3 - 3. Let c = 5 - s. Suppose -2*m + c - 1 = 0. Solve -2*y = -4*y - m for y.
-1
Let f = 9 - 7. Solve 0 = z - f*z - 5 for z.
-5
Suppose 0 = 5*d - d + 64. Let c = d + 24. Suppose 2 + 2 = k. Solve 0 = k*z - 2*z + c for z.
-4
Suppose 0 = -s + 6*s - 25. Suppose -s*k = -5*f + 65, -5*k + 2*f - 6*f = 74. Let a be 64/28 + 4/k. Solve -5*c = -a*c + 12 for c.
-4
Let k(z) be the first derivative of -z**2/2 + 7*z + 2. Let o be k(0). Let m = o - 7. Solve -5*i + 4*i - 3 = m for i.
-3
Let u(a) = -4*a - 1. Let l be u(-1). Suppose 0 = 34*z - 33*z. Solve 2*k + l + 7 = z for k.
-5
Suppose -2*o - 1 = -11. Let p be (o + -5)*(1 + 0). Let l = p + 3. Solve 4*b + l + 13 = 0 for b.
-4
Let m = 11 - 6. Let w be 1*-3 + 1 + 0. Let c = w + m. Solve 2*t - c = t for t.
3
Let k be (-10)/(-4)*8/5. Suppose -3 - 5 = -k*q. Suppose -v - 10 = -q*v. Solve 3*l - v = l for l.
5
Let r be ((-20)/(-5))/((-2)/(-6)). Let d be (-4)/(-6) - (-136)/r. Solve 0 = 3*b + b + d for b.
-3
Let u(i) = i**2 - 3*i. Let m be u(-3). Let a = m - 6. Solve -a = 5*k - k for k.
-3
Let w be (0/3)/(5 + -2). Suppose -b + w = -3. Solve -b*c + 0*c = -9 for c.
3
Let a(n) = -n**3 - 10*n**2 + 11*n + 2. Let i be a(-11). Let y be (4/(-14))/(i/(-14)). Suppose -y = g - 2*g. Solve -g*q + q = -2 for q.
2
Let m = -1 - -6. Let b be (-2)/(-5) - 32/m. Let u be 58/7 + b/21. Solve -u + 23 = -3*r for r.
-5
Let p be (7/(-2) - -2)*-2. Let j be 9*(-7)/((-42)/4). Solve -h = j - p for h.
-3
Suppose 2*r - 2*y - 21 = 3*y, -3*r + y + 12 = 0. Solve -r*d - 10 = -d for d.
-5
Let y be ((44/(-10))/((-2)/10))/2. Solve 2 - y = -3*v for v.
3
Let c be (12/(-2))/3 - -4. Suppose 0 = 4*v - 2*w - c, -25 + 6 = -2*v - 5*w. Solve 0*f = v*f + 10 for f.
-5
Let v = -2 + 7. Let q(y) = 7 + y**3 + 2*y**2 + 6*y**2 + 7*y - 7. Let m be q(-7). Solve 3*z + v + 7 = m for z.
-4
Let j be (-6)/1*(-32)/48. Suppose 5*v - 2*v = 24. Solve -v = 4*c + j for c.
-3
Let r be (4 + 2)/(6/4). Suppose 7*s = 10 + r. Solve -2*q = -0*q + s for q.
-1
Let l = -2 + 4. Let r be (0 - 12)/(36/96*-4). Solve 0*a = -l*a + r for a.
4
Let q = 2 + 0. Let c be -2 - -1*(21 - q). Let t = 13 - 8. Solve -3*g - c = -t for g.
-4
Let k(r) = -7*r + 3. Let w(f) = -6*f + 4. Let n(c) = -5*k(c) + 6*w(c). Let t be n(7). Solve 3 + 1 = -t*i for i.
-2
Let o be 2*1 + 0 + 6. Suppose -4*h - 2 = v, 3*v = -2*v - 3*h + 75. Let p = v - o. Solve -5*b = 10 + p for b.
-4
Let w(m) = -4*m - 2. Let f be w(-2). Solve -c + 4 = f for c.
-2
Suppose -2 = -3*a + 10. Suppose 0 = a*j - 0*j - 4. Solve 2*r = r - j for r.
-1
Let w be 6 - -10*1*(-4)/10. Solve w*v =