h.
5
Let m = -31 + 17. Let b be (-60)/m - 4/14. Solve 0 = 2*j - 3*j - b for j.
-4
Let p(d) = -d**3 - 7*d**2 - 6*d + 4. Let n be p(-6). Suppose 0 = -2*z - 5*o + 20, 2*o + 18 = 2*z - 2. Solve 0 = n*v + v + z for v.
-2
Let o = -2 + 2. Suppose -8*g + g + 14 = o. Solve -t + g*t + 3 = 0 for t.
-3
Suppose -133*m + 132*m = 0. Solve m = 8*f - 4*f for f.
0
Suppose 2*u = 16 - 10. Solve 3*y - 9 = u for y.
4
Let b(k) = k**3 - 9*k**2 + 8*k + 7. Let u(h) = -5*h**3 - 2*h**2. Let i be u(-2). Suppose -p + i = 3*p. Let w be b(p). Solve -w = 2*y + 1 for y.
-4
Let z(a) = 2*a - 6. Let h = -3 - -7. Let g be z(h). Solve -w = g*w + 3 for w.
-1
Suppose d + 10 = -4*q, q - 1 = -4*d + 2*d. Let a(m) = m**2 + 3*m + 1. Let u be a(q). Solve u = 3*x - 8 for x.
3
Let c = 399 - 588. Let l be c/(-36) - 3/(-4). Solve 0 = -5*t + 14 + l for t.
4
Let s(r) be the third derivative of -r**5/60 + 7*r**4/24 - 5*r**3/6 + 4*r**2. Let u be s(5). Solve 4*f + u = -7 for f.
-3
Let j(z) = -z + 1. Let t(v) = v - 9. Let w be t(5). Let g be j(w). Solve 3 + 12 = -g*f for f.
-3
Suppose -4*q = q - 35. Suppose -3*t + q*t = 32. Suppose z = -z + t. Solve -3*s - 5 = z for s.
-3
Let f(k) = 3*k + 2*k - 4*k + 7. Let r be (-1)/2 + 9/(-2). Let v be f(r). Solve -v*l - 15 = l for l.
-5
Suppose -4*q + 2*r + 10 = 5*r, 0 = 2*q - 5*r - 18. Solve 4*j = -0*j - q for j.
-1
Suppose -4*p = -2*p - 4. Let x = p - 0. Suppose -8 = -2*d - x*d. Solve 0*k - d = k for k.
-2
Let o be 2 + (-5 - -2)/3. Let n(i) = -5*i + 6*i + 2*i + 2*i. Let r be n(o). Solve 13 + 12 = -r*q for q.
-5
Suppose 5*b = 4*a + 28 - 3, -b = -a - 6. Let j be 17/a + (-4)/(-10). Let s be j/(-6)*-6*-1. Solve s*w + 4 = 5*w for w.
2
Let z = -29 + 16. Let f = -8 - z. Solve -f*l = -9 - 6 for l.
3
Suppose 0 = -2*z - 0*m + 2*m - 2, 4*z = m + 2. Let r be 5 + 6*z/(-2). Solve p = 2*p + r for p.
-2
Let h(k) = k**3 - 2*k**2 + k - 2. Let o be h(2). Suppose o = -v + 3*v - 6. Solve v*d + 0*d = -12 for d.
-4
Suppose 0 = r - 0*r - 5*g - 1, 5*g - 4 = -4*r. Let t = 1 - r. Suppose x + 4*x = 20. Solve t = x*l - 5*l + 2 for l.
2
Suppose 5*z - 20 = 3*g + 2*g, -3*g = 15. Let j be (z/(-2))/(1/10). Solve -j*q - 4 = 16 for q.
-4
Let q(s) = s**3 + 5*s**2 - 2*s - 3. Let h(x) = x**3 + x. Let v(j) = 2*h(j) - q(j). Let w be v(4). Solve -2*f - w = f for f.
-1
Let h = -6 - -12. Let o = -34 - -36. Suppose 0*c - h = -o*c. Solve 0 = 3*a - c + 6 for a.
-1
Let f(h) = -2*h + 3. Let m be f(8). Let l = m + 17. Solve 0 = -a + 6 - l for a.
2
Let a = -3 + 9. Let f(p) = p**2 - 6*p + 1. Let x be f(a). Let w be x*10*(-3)/(-6). Solve r = w*r - 16 for r.
4
Suppose -3*v = 2*c - 2, 2*v + 0*c - 5 = -5*c. Solve -a - 2 - 3 = v for a.
-5
Let l be (-3)/2*(9 - 11). Solve -l = 2*r + r for r.
-1
Suppose 3*j - o = 0, 0 = -3*o + o. Solve -3*h + j = 9 for h.
-3
Suppose -5*h + 4*x + 20 = 0, 2*h + h + 4*x - 12 = 0. Let j(k) = -k - 2. Let w be j(-5). Suppose r + 19 = h*a, -5*a + a - w*r + 23 = 0. Solve -a*i = 1 + 4 for i.
-1
Suppose 5 = -5*k + 5*l, l - 1 + 6 = 3*k. Let y be (-66)/(-6) - (2 + -2 - 0). Solve -2 + y = k*q for q.
3
Let p(m) = -m + 2 + 0*m + 2*m + 0. Let q be p(-2). Solve -x + 3 + 2 = q for x.
5
Let w(o) be the first derivative of o**4/24 - o**3 - o**2 - 2. Let h(i) be the second derivative of w(i). Let m be h(8). Solve -m*x = -3*x for x.
0
Suppose 0 = -2*x + 3*m + 36, 5*x + m = 3*m + 79. Suppose 0 = -3*p - 0*p + 9. Suppose y = 5, 2*c - p*y + 9 = -c. Solve s = -c*s + x for s.
5
Suppose -2*p = -5*p + 9. Suppose p*g = b + 2, 24 = 4*g - 2*g + 5*b. Let m be (g - -4)/(6/4). Solve -f - m = f for f.
-2
Suppose 4*t = 6 + 2. Suppose 0 = -5*y - 0*y. Suppose -c - 5*u - 10 = y, 2*u + t = 4*c + u. Solve c = m + 4*m for m.
0
Let g be 1 - (2 + -1 + 1). Let c = 3 + g. Suppose 0 = c*t - 4 - 2. Solve t*m - 3 = -0 for m.
1
Let f = -7 + 12. Solve -4*d = -7 - f for d.
3
Let c = 27 + -24. Let p be 2 - (0 + c) - -4. Solve f - p - 1 = 0 for f.
4
Let k = 86 + -84. Solve -k + 3 = z for z.
1
Let s be (144/(-28))/3*7. Let u = s + 15. Solve 15 = 2*w + u*w for w.
3
Suppose -20 = 5*a + 2*o + 3*o, -22 = -2*a + 4*o. Let k(m) = m - 2. Let f be k(4). Solve 3*b = -f - a for b.
-1
Suppose -r - 16 = 5*h, -13 - 10 = -2*r + h. Suppose i = -a + 1, 2*a + 3*a + i - 9 = 0. Solve -r = x + a*x for x.
-3
Suppose 5*p - t = 3*t + 31, -p = -2*t - 11. Solve -1 = p*f - 4 for f.
1
Let a(j) = 10*j**2 + j - 20. Let k(q) = 2*q**2 - 4. Let t(b) = -2*a(b) + 11*k(b). Let h be t(3). Let c be 52/16 - 2/h. Solve 0 = 2*n - c*n - 1 for n.
-1
Let j(z) = z**3 + z. Let b(h) = -h**3 + 6*h**2 + 5*h + 5. Let o(c) = -b(c) - 2*j(c). Let x be 24/(-5) - 1/5. Let p be o(x). Solve q = p*q for q.
0
Let x = 55 - 47. Solve r + x = -r for r.
-4
Suppose 4 = 5*s - 2*u, -3*u + 18 - 1 = 4*s. Solve 4 + s = -2*g for g.
-3
Suppose 4*w - 11 = 2*l + l, -5*l - 5*w + 40 = 0. Suppose -6 = -3*a + k + 2, -3*k = -l*a. Solve -11 = 5*r + a for r.
-3
Let d = -38 + 85. Suppose 81 = 5*g - 3*k, -2*g - d = -5*g + k. Let n be 4/(-2) + 2 + 5. Solve n*w = -0*w + g for w.
3
Suppose 10 = 3*k + 5*a, -k + 20 = 4*k + 5*a. Solve -p + 4 = -k*p for p.
-1
Let m(i) = 2*i + i - 6 - 2*i. Let r be m(5). Let t be r/3 + 4/12. Solve t = -y - y for y.
0
Suppose z + 5*i = -4*z, -5*z = -5*i. Suppose 0 = 5*d + 9 - 29. Solve z = k + d for k.
-4
Let k = -11 + 3. Let i be 12/(-16) + (-6)/k. Suppose -d = -i*d. Solve d = -2*t + 5*t - 9 for t.
3
Let u = 34 - 24. Let p(n) = -n + 13. Let m be p(u). Suppose -8 = 3*l + 4*c, 0*l + 2*l + 4*c + 8 = 0. Solve l = m*r - 4*r - 2 for r.
-2
Let o be 5 + (9/(-3))/(-3). Solve -3*t = o + 3 for t.
-3
Let z be (2/6)/((-2)/6). Let p = z - -3. Suppose -2*s = p*s. Solve -q - q + 2 = s for q.
1
Suppose 0 = -0*o - o + 4. Suppose 0 = g + o*g - 10. Suppose g = r - 0. Solve c - 6 = -r*c for c.
2
Let i be (2 - 3/3)*-4. Suppose -3*u = 5 + 4. Let h be i/3*(u + 0). Solve l = -h*l + 10 for l.
2
Suppose 4*p + k = -1, 5*p = 5*k + 5 - 0. Suppose -16 = -p*j - 2*j - 5*v, -j - v + 5 = 0. Solve 2*o = j*o + 1 for o.
-1
Let r be ((-12)/10)/(8/(-20)). Solve -5 = r*v + 1 for v.
-2
Suppose -5*d + 6 = -4*d. Let p(w) = 6*w**2 - 6 - w**3 + w - 1 + 3. Let f be p(d). Solve 7*l - f*l = 25 for l.
5
Let u = -2 - -4. Suppose 3*b - 5*g + 0*g - 4 = 0, 0 = b - 5*g + u. Solve -2*c - 7 = b for c.
-5
Let o be 48/8 + -1*3. Solve -o*n = 2*n - 5 for n.
1
Suppose -j + 2 = -3*j. Let x = 1 + j. Solve x*i + i = -3 for i.
-3
Let z = 16 + -16. Suppose z = -0*o - o + 6. Solve 3*w = o*w for w.
0
Let f(n) be the third derivative of -n**4/24 + n**3/6 + 5*n**2. Let y be f(1). Solve k + 1 = -y*k for k.
-1
Let w be (-1)/(18/4) + 611/117. Solve w*p = 2*p - 6 for p.
-2
Suppose -4*k + 9*l - 10*l = -10, -3*k - 4 = -5*l. Solve -k = -d + 3 for d.
5
Let v(n) = -n**3 + 5*n**2 + n - 5. Let f be 2 - 3 - -3 - -3. Let p be v(f). Let a = -5 + 7. Solve -a*z - 8 = -p for z.
-4
Suppose 4*l + 18 = 3*y, 0 = -4*y + l + 13 - 2. Suppose -t + y*t + 4 = 3*k, 2*k - 1 = t. Solve -2*i = k*i - 15 for i.
3
Suppose 0 = -4*d + 14 + 2. Solve 0 = -d*r - 0*r - 20 for r.
-5
Suppose -3*f - 82 = -2*w, 4*f = -f + 4*w - 134. Suppose -3*y = -a - 5*y - 18, -4*a - 3*y = 72. Let g = a - f. Solve 0*b - g = 4*b for b.
-3
Let o be 2/6 + 8/3. Let h be o/(-1)*(-6)/9. Suppose h*p + 0*p + 2*i = 34, -5*p + 71 = -2*i. Solve -5*f = -2*f + p for f.
-5
Suppose 5*f - 46 = 3*a, 33 = -4*a - f + 2*f. Let v(p) = -4 - 4*p**3 + 7*p**2 + 5*p**3 + p - 2*p. Let n be v(a). Solve 0 = -q - 6 + n for q.
-3
Suppose 2*x + h - 19 = -3*x, 3*x - 13 = -h. Solve x = 2*q - 3*q for q.
-3
Let w be 4*(-3 - -1 - -3). Solve -5*r - w - 1 = 0 for r.
-1
Let m(y) = y**2 - 3*y - 4. Let h be m(4). Solve h = 3*c - 7 + 1 for c.
2
Let v = -7 - -12. Solve n + v = -0*n for n.
-5
Suppose -r + 3*w = 6, 2*w = 5*r + 7*w - 30. Suppose 21 = r*d - 9. Solve y + d = -y for y.
-5
Let f(q) = -q. Let r be f(-3). Suppose 5*g - 2*x - 6 = 0, 9 + 1 = r*g + 2*x. Solve 4*y + 2 = -g for y.
-1
Suppose 3*k + 22 = 22. Solve -4*x + k*x - 4 = 0 for x.
-1
Let p be 6/5*(-35)/(-21). Suppose -2*r + 3*s + p = 0, -3*r - s - 4*s + 3 = 0. Solve 2*g = -11 + r for g.
-5
Let q be -1 + 0 + (1 - 1). Let j be q/((-2)/4)*1. Solve -6*y + j*y = 0 for y.
0
Let z = -2 + 7. Solve 3 + 2 = -z*j for j.
-1
Let h be (4/(-5))/(-4 - 118/(-30)). Solve -4*y - h - 4 = 0 for y.
-4
Suppose 0 = -4*s - 12 + 32. Solve s*m + 5 = 4*m for m.
-5
Let o(f) = -2*f + 4. Let s be 0 + -1 - (1 + -6). Let n be o(s). Let