 h.
0
Suppose -4 = -f + 1. Suppose 2 = -f*h + 32. Solve -p = p - h for p.
3
Let t(d) be the first derivative of -d**3/3 + d**2/2 - d + 1. Let x be t(2). Let b be (-35)/(-14) + x/(-2). Solve b = -3*j - j for j.
-1
Let f be 2 - 2*9/(-6). Solve f*n + 8 = -12 for n.
-4
Let o = -57 + 59. Solve 0 = y + o*y - 15 for y.
5
Suppose 0 = -7*i + 2*i + 5. Solve -2*c - 1 - i = 0 for c.
-1
Let w(s) = -s**2 - 8*s + 2. Let b be w(-8). Let o(x) = 5*x**2 + b - 2 + x - 1. Let q be o(1). Solve 10*d = q*d + 20 for d.
4
Let c(v) = v + 3. Let w be c(-6). Let q(o) = o + 3. Let y be q(w). Solve 5*s - 17 - 3 = y for s.
4
Let x(z) = -z**3 + 6*z**2 + 8*z - 4. Let i be x(7). Solve 0 = i*h + 2 + 7 for h.
-3
Let b = 2 + -2. Suppose 0 = -b*g + g - 19. Solve 1 = 4*j - g for j.
5
Suppose 0 = -5*o - 3 + 23. Suppose -8 = b - 3*b + 4*f, 4*f = -o*b + 28. Suppose 0 = -4*p + 7*p - b. Solve -x = p*x for x.
0
Suppose p + p = 0. Suppose -5*s + p*s = 25. Let c = -3 - s. Solve c*z - 4 = 6 for z.
5
Suppose 15 = -0*k + 5*k. Let g(j) = 5*j**2 - 2*j. Let o be g(2). Let t = -8 + o. Solve k*y + t = 7*y for y.
2
Let n = -16 + 19. Solve -n*j = j + 16 for j.
-4
Suppose -79 - 25 = -13*f. Solve 5*h + f = 3 for h.
-1
Suppose c = 3*w, 3*c + 5*w - 9 - 5 = 0. Solve -c*s + s - 4 = 0 for s.
-2
Let b(d) = -11*d + 7. Let u(f) = 56*f - 36. Let a(t) = -16*b(t) - 3*u(t). Let m be a(3). Solve 2*v = -2*v + m for v.
5
Let m = 0 - -3. Let b = -63 + 68. Solve -m*a - 2 = -b*a for a.
1
Suppose 0*c + 4*c = 24. Let s be (-12)/(-16) + c/(-8). Solve -3 = j - s*j for j.
-3
Let k = 238 + -235. Let x = -2 + 4. Solve f = k*f + x for f.
-1
Let v(n) = -6*n**2 + 3*n**2 - 3*n**2 + n**3 + 1 + 6 - 8*n. Let k be v(7). Solve 9 = -k*c + 3*c for c.
3
Let p(o) = o**2 - 7*o + 8. Let c be p(6). Let x = -8 + 14. Let t = 9 - x. Solve 0 = c*j + j - t for j.
1
Suppose -6 - 2 = 2*j + 3*s, -5*s = -j + 22. Suppose j*x - 2 = 0, 0*o - 2*o = -4*x. Solve 8 + 2 = -o*c for c.
-5
Suppose 4*q + 2*l = 24, -9 = -4*q + l + 9. Let a = -2 - 1. Let d = -3 - a. Solve -q = -5*f - d*f for f.
1
Suppose 6*b + 2 = 7*b. Solve -x + 4 = b for x.
2
Let o = 0 - -4. Suppose -m = -2*q + 4, 2*q + 5*m - o = -0*q. Suppose -6 = -2*t - t - 5*i, -6 = -3*t + 5*i. Solve t*f = -0*f + q for f.
1
Suppose -5*h - 2*z + 4 = 24, 4*h = -z - 16. Let c = -4 - h. Solve 3*x - 9 + c = 0 for x.
3
Let o be ((-52)/117)/(2/(-9)). Suppose -5 = 2*t - 13. Solve t*d + 10 = o*d for d.
-5
Suppose -4*t + 5 = -3*i, i - 7 = -3*t + 13. Suppose c = 2*c - t. Solve -c*f + f - 4 = 0 for f.
-1
Suppose -6*n - 9 = -7*n. Let a = n - 1. Suppose -4*p - a = -u - 0, 5*u - 24 = 4*p. Solve u*f = f for f.
0
Let q(c) = -c**3 - 8*c**2 - 6*c + 3. Let m be q(-7). Let s = 0 - m. Suppose 12 = 3*z - z - 2*w, -z + 2*w = -7. Solve -3*v + z*v = -s for v.
-2
Suppose 0 = 2*x + 5*a - 2 + 3, -1 = a. Suppose x*t = -t. Let b = 3 + t. Solve 3*c - 9 = b for c.
4
Let m = -10 + 11. Solve -z - 3 = m for z.
-4
Let g be 2/(1*1/3). Solve -3*n = -0 + g for n.
-2
Suppose -5*q - 7 = -2. Let l = q + 6. Suppose -2*o + 7 = -l. Solve g + o = 1 for g.
-5
Let b be (0 + -2)/(-2) + 3. Solve -b*k = -6 + 22 for k.
-4
Suppose -4*z + 3*v + 36 = 0, 3*z + 6*v - 56 = v. Solve 16*o = z*o + 8 for o.
2
Let f = 59 - 57. Solve -f*n + 3 = 13 for n.
-5
Suppose 5*z + 36 = 3*z. Let c be (17/(-3))/(6/z). Solve -5*h = c - 42 for h.
5
Suppose -12*u + 9*u = 0. Solve 0*s - 5*s + 10 = u for s.
2
Let u be 3/6 - (-1)/2. Suppose 3*p = 5 + u. Solve 0*z - p*z = 0 for z.
0
Suppose -9*t = -8*t - 6. Let z(f) = f**2 - 4*f - 6. Let g be z(t). Solve 3*o = 21 - g for o.
5
Let c(h) = 2*h**2 + 3*h + 3. Let b be c(-2). Suppose -4*q + 2*z - 7 = -1, -4*q = -3*z + 11. Solve -b*j - q - 9 = 0 for j.
-2
Suppose 5*m + 0 = -3*c - 9, 5*c = -2*m - 15. Let w(k) = k**2 - 6*k + 3. Let d be w(6). Solve n + d = -m for n.
-3
Let o(t) = 3 + 7 - t - 1. Let p be o(7). Let w be (-1 - -3)/p*1. Solve w = -z - 0*z for z.
-1
Suppose -3*u + a = -2*a + 12, 0 = -3*u - a + 8. Solve 4 = -j - u for j.
-5
Suppose -4*p + 25 = p. Solve -2*v - p = 3*v for v.
-1
Let g(k) be the third derivative of 5*k**4/24 + k**3/3 + 2*k**2. Let m be g(2). Solve -z - m = 3*z for z.
-3
Let f be (-126)/(-114) + 2/(-19). Suppose -2*n + 2*k + 16 = -6, -5*n - k = -49. Solve -f + n = 3*u for u.
3
Let o = 7 + 3. Let n = -5 + o. Let c be 10/(-4)*(-4)/n. Solve -c*h + 3 = 9 for h.
-3
Suppose 0 = -6*i + 8*i. Solve 0 = -i*w - 2*w for w.
0
Suppose -21 = -2*w - c + 9, -5*w + 5*c + 75 = 0. Solve -w + 3 = -3*d for d.
4
Let f(c) = -c**3 - 5*c**2 + 5*c - 2. Let k be f(-6). Suppose 0 = -k*j - j. Suppose j = -2*y + 4 - 0. Solve 0*d = -d - y for d.
-2
Let r(k) = -2*k**2. Let f(x) = x - 1. Let u(o) = 3*f(o) - r(o). Let v be u(3). Suppose 2*g - 2*y - 17 = -g, 3*y = 4*g - v. Solve 1 - 7 = -g*z for z.
2
Suppose -5 = -5*n + 10. Suppose n = 2*y - 15. Solve 5*j + y = 2*j for j.
-3
Let f(x) = -x**2 - 7*x + 2. Let m be f(-6). Let r(c) = -c**2 - 11*c. Let i be r(-11). Suppose i = -3*v + v + m. Solve 15 = -a + v*a for a.
5
Let k be ((-8)/10)/(10/(-50)). Let f be (-11)/(-2) + (-2)/k. Solve -2*j + 3 = -f for j.
4
Let s = 53 + -53. Solve 0*y - 2*y - 8 = s for y.
-4
Suppose -2*x + 0 = 3*z + 1, -4*z = 2*x. Let y = z + 4. Suppose -b + y*b - 16 = 0. Solve 0 = b*s - 3*s - 2 for s.
2
Let q = -15 + 17. Let h(v) = -v**3 - 5*v**2 - 5*v - 1. Let u be h(-4). Solve -q*i - 1 - u = 0 for i.
-2
Suppose 2*d = -3*y - 3*d + 11, 2*d = 4*y - 6. Solve -y = -m - 4 for m.
-2
Let d(j) = -2*j - 30. Let l be d(-9). Suppose -2*z - i - 2 = -22, -2*i - 10 = -z. Let n be z*3/l*-2. Solve n*v - v = 0 for v.
0
Let a = -285 - -287. Let i be 2/8 + (-6)/(-8). Solve a*f - i = f for f.
1
Let i(y) = -3*y + 14. Let p(h) = -4*h + 21. Let z(j) = -7*i(j) + 5*p(j). Let g be ((-84)/(-54))/((-4)/6)*3. Let q be z(g). Solve q = r - 3*r for r.
0
Suppose -19 = -3*g - 3*w + 2, 4 = 4*g - 2*w. Solve -7 = -2*m + g for m.
5
Suppose 6*u = -h + 4*u, -3*h - 3*u - 6 = 0. Let o(v) = -v - 4. Let d be o(h). Solve -i - 3*i - 4 = d for i.
-1
Let b be 1 - 0*(0 - 1). Let m be ((-6)/4)/((-15)/20). Suppose -b = m*l - 9. Solve 0 = l*x - 25 + 9 for x.
4
Suppose -w = 4*w, -4*r = 3*w. Suppose r = -6*k + 173 - 23. Solve k = 2*p + 3*p for p.
5
Let n(u) = u + 8. Let g be n(-8). Suppose -5*o - m + 13 = g, 5*o + 1 = o + 3*m. Suppose 6*q = o*q + 16. Solve 0 - 16 = q*d for d.
-4
Let g(p) = -p**2 - 4*p - 3. Let n be g(-4). Let i be (-2)/3 + (-29)/n. Solve 0 = 6*q - 3*q + i for q.
-3
Suppose -3*x + i = 3*i - 6, 5*i - 15 = -x. Solve x = o - 4*o for o.
0
Let p(w) = 2*w - 1. Let b(d) = -d. Let q(h) = 5*b(h) + 2*p(h). Let l be q(-5). Solve 2*o = l - 13 for o.
-5
Let s(i) = 2*i + 9. Let p(l) = l + 4. Let z(o) = -5*p(o) + 2*s(o). Let b be z(-8). Solve -b = -3*t + 6 for t.
4
Suppose 2*u - 28 = -5*j, -u - 12 = -2*j - 2*u. Let i = j - -6. Solve -4*a = a - i for a.
2
Suppose 4*y = 16, -3*l - 2*y + 36 = 10. Solve 10 = 4*m - l for m.
4
Let g = -8 - -1. Let n = g + 4. Let l = n - -5. Solve 3*k + l = k for k.
-1
Let d(j) = j**2 - j - 9. Let t be d(-3). Suppose 0*f = -5*f. Solve t = 3*y - f*y for y.
1
Let q(c) = -c. Let r be q(-4). Let i = 3 - -6. Let v be 28 - ((-26)/(-8) + (-7)/28). Solve -v = -i*k + r*k for k.
5
Let b be 8/(-10)*(23 - 3)*-1. Solve 4*w = 4 - b for w.
-3
Let q(z) = -2*z + 30. Let i be q(11). Solve 5*y = i*y - 6 for y.
2
Let s(f) = f - 12. Let x be s(17). Suppose 0*o = -5*o + w + 13, 2*w = -2*o - 2. Let p be (-12)/x*(-10)/o. Solve -p = 4*k - 4 for k.
-2
Let k = 20 - 12. Let q be (-2)/(-6)*(3 + 3). Suppose 0 = -3*l + l, -q*l = -2*w + k. Solve w*d - 6 = 2*d for d.
3
Let x be (-2 - 0)*-3 + -3. Suppose g - 1 = 5*y - 17, -x*y + 4*g - 4 = 0. Solve 6*u - 8 = y*u for u.
4
Let y be (3/(-2))/((-24)/32). Solve -y*r = 2*r for r.
0
Suppose -5*i - 4*b - 8 = 0, -3*i + 6*i - 3*b = 6. Solve i = -3*f - f for f.
0
Suppose -5*y = -15 - 0. Suppose 9*h - 8 = 10. Solve -h*t = t + y for t.
-1
Let n be (-85)/17*(-4)/10. Solve u + n*u - 6 = 0 for u.
2
Let a(s) = s**3 - 8*s**2 - 9*s. Let t be a(9). Solve t*c - 3*c = -6 for c.
2
Let y be -1*(-1 - 2) - 1. Suppose 0 = -3*j + y*j. Solve j = -0*n - n + 1 for n.
1
Suppose -5*f = -4*b - 2*f + 23, 3*f + 13 = -b. Suppose -2*h - 15 = -5*z - h, b*z - 24 = 4*h. Suppose u + 3*u = 0. Solve z*d + u*d + 8 = 0 for d.
-4
Let o(r) = -2*r. Let i = 0 + -2. Let x(q) = -q**2 - q. Let k be x(i). Let u be o(k). Solve 2*a = a + u for a.
4
Suppose -2 