 -k for h.
-5
Let k = -1698 - -1808. Solve 112 = -b + k for b.
-2
Let u(h) be the third derivative of -h**4/24 + h**3/6 - 2*h**2. Suppose 3*z = -g - 12, -8 = -0*z + 2*z + g. Let x be u(z). Solve 0 - 20 = x*i for i.
-4
Let f be (-94)/(-10) + (-2)/5. Suppose f = 3*d + 3. Let n(j) = -2*j**2 - 6*j + 140. Let o be n(-10). Solve o = d*v + v + 15 for v.
-5
Let i = -334 - -365. Solve 0 = -4*g - i + 39 for g.
2
Let l(j) = -j**2 + 6*j + 32. Let n be l(15). Let t = n - -107. Solve v - 5 = -t for v.
1
Let i be (-418)/(-99) + (-4)/18. Let u = -13 + 10. Let x = u + 7. Solve -4*r = x + i for r.
-2
Let s be (((-25)/(-2))/5)/(10/24). Solve -18 = s*x - 0*x for x.
-3
Suppose -n = -4*b + 91, 4*b - 9*n + 4*n = 103. Solve b = -10*h - 18 for h.
-4
Let s(w) = -w**3 - w**2. Let f be s(-2). Suppose -2*p + 3*x = 3*p, -3*p = f*x - 29. Solve j - p*j = 0 for j.
0
Let q(t) = -t**2 + 4*t + 8. Let j be q(5). Solve 3 = -j*c - 0*c for c.
-1
Let v be 0 - 1 - (3 + -51). Suppose 0 = -5*s - l + v, -s = -0*s + 3*l - 1. Solve 0 = x + x - s for x.
5
Let f(v) = -2*v + 0 - 2 + 3*v. Let q be f(8). Suppose t = q*t - 80. Solve -2*j = 2*j - t for j.
4
Suppose -4 = -8*r + 6*r. Suppose n + 4*n - 13 = r*z, 0 = n - 4*z - 17. Solve 0*w = -w - n for w.
-1
Let d be (-120)/(-48)*((-12)/10 - -2). Let b be (-6 + -6)*(d + (-21)/9). Solve 0 = 3*j - 2 - b for j.
2
Let d(z) = -2*z + 13. Suppose -6*t = -4*t - 10. Let v be d(t). Solve c + 1 = -v for c.
-4
Let s(p) = -p**2 + 15*p - 35. Let f be s(10). Suppose 2*j = j + 3*b + f, -5*j + 2*b = -36. Solve 9*v - 15 = j*v for v.
5
Suppose -5*r + 42 = -38. Solve u = 5*u - r for u.
4
Suppose 0 = -3*u - 3*s + 45, -u + s = 4*s - 11. Suppose -16*w = -u*w. Solve h + w = -2 for h.
-2
Let t = 18 - 8. Suppose -6*a + 4*a = -t. Solve -a*c = -c + 12 for c.
-3
Suppose -2*u + 4*u = -7*u. Suppose u = -23*f + 22*f + 12. Solve -3*r = -f - 3 for r.
5
Let i(p) = -p**3 + p - 12. Let x be i(0). Let l be (1 + -10)*4/x. Suppose -w - l*w = -24. Solve -w - 9 = -3*h for h.
5
Suppose -5*s = z - 18, 5*s = 2*z + 2*s + 16. Let h(k) = 2*k + 1. Let f be h(z). Let n be ((-8)/f)/(6/9). Solve i + 1 = -n for i.
-5
Let k be -1 + (-3)/(-12) + 309/12. Solve -29*l + k*l + 4 = 0 for l.
1
Suppose -3*y + 4*b = -b - 172, 2*b - 88 = -2*y. Solve 0 = -k + 45 - y for k.
-4
Let d be 20/(-4) + 12 - (1 + 0). Solve -d*y = 2*y - 0*y for y.
0
Let l(z) = -z**3 + 9*z**2 - 7*z - 11. Let h be l(8). Suppose o = 3*o + 6. Let u = h - o. Solve u*f = -5*f - 15 for f.
-3
Let l be (0/(-3 - -7))/((-8)/(-4)). Solve l = z + 3*z - 20 for z.
5
Let q(x) = x + 11. Let n be q(-8). Suppose -1 + 3 = n*g - 2*v, g - v - 1 = 0. Let j be g + 3/(12/16). Solve -j*o + 25 = o for o.
5
Suppose -2*f - 2*f + 4*d + 4 = 0, 0 = -3*d + 3. Solve -4 = -f*v + 3*v for v.
-4
Suppose -2*i - 7 = 3*b + 4, 0 = -5*b + 5*i + 15. Let l(f) = -2*f**3 - f**2 - 3*f - 1. Let t be l(b). Solve h = -t*h for h.
0
Let p(v) = -4*v + 16. Let n be p(7). Let a = n + -1. Let f = -10 - a. Solve f*l = 5*l + 10 for l.
-5
Let j be (6/(-8))/(9/180). Let q be 7 - 20/j*-3. Suppose 25 = q*o + 2*o. Solve 7*i = 2*i - o for i.
-1
Let r(g) = 2*g**2 + 26*g + 4. Let t be r(-13). Suppose t*y + 22 = 15*y. Solve 6 = y*c + 2 for c.
2
Let h be -21*(-8)/(-12)*2. Let a be 4/h + (-492)/(-14). Let o = a - 32. Solve t + 1 = -o for t.
-4
Suppose -4*p + 2*g + 2*g + 4 = 0, 22 = 4*p + 5*g. Solve p*j - 28 = -4*j for j.
4
Let m = -528 + 528. Let j(b) = 6*b**2 + 2*b + 1. Let n be j(-1). Suppose -n*v + 5*i + 28 = 3, i + 3 = 0. Solve m = 2*p - 0*p + v for p.
-1
Let n be (-2)/(-1 - -5)*0. Let c be ((-80)/(-20))/(4 + -3). Solve n = -5*a + c*a + 2 for a.
2
Suppose -3 = 6*j - 9*j. Solve p + j - 3 = 0 for p.
2
Suppose 0*j = 4*j - 12. Let t(v) = -v**2 + 9*v + 4. Let d be t(8). Let h be (18/(-15))/(d/(-30)). Solve h*a = -9 + j for a.
-2
Let w(x) = x**2 + 3*x - 58. Let i be w(7). Solve i*u - 8*u - 12 = 0 for u.
3
Suppose 3*c = -3*w + c + 38, -22 = -2*w - 3*c. Suppose 6 = w*j - 13*j. Suppose 0 = 4*o - h + 1, -o + 5*h = 5. Solve 2*m - 4*m - j = o for m.
-3
Suppose 51*c - 56 = 49*c. Suppose 3*w = 9, -4 - c = -4*a - 4*w. Solve -k - 12 = -a*k for k.
3
Let l(v) = -2*v**2 + 16*v - 10. Let p be l(7). Solve -p*z = -9*z for z.
0
Let a = 275 - 275. Solve a*y + 6 = 3*y for y.
2
Let x = 81 + 9. Let h be (-15)/x + (-26)/(-12). Solve 3*u + h + 7 = 0 for u.
-3
Let b(x) be the first derivative of -x**4/4 + x**3 + 5*x**2/2 - 2*x - 24. Let m be b(4). Solve m*n = 7*n for n.
0
Let a be 1*(-76)/(-8) + 1/2. Let i be a/(-3)*(-3)/2. Solve 3*f + 2*f + i = 0 for f.
-1
Let k(o) = -o**3 + 12*o**2 + 12*o + 15. Let a be 104/(-20)*(-20)/8. Let z be k(a). Suppose -z - 4 = -2*j. Solve 2*s + s - j = 0 for s.
1
Let c = 2192 + -2187. Let t be 66/14 + 2/7. Solve -c*w + 10 + t = 0 for w.
3
Let k = 149 - 149. Suppose k*j = 13*j - 117. Solve -5*s + 1 + j = 0 for s.
2
Let l(r) = -r + 17. Let g be l(14). Suppose v = -g*v. Solve -s + 2 - 6 = v for s.
-4
Let k = -1166 + 1206. Solve 44*y = 34*y - k for y.
-4
Let m = 95 - 84. Solve 3 - m = -4*w for w.
2
Let u = 155 + -95. Let r be (u/18)/((24/(-9))/(-4)). Solve 11 = r*c - 9 for c.
4
Let z be (-60)/35*(-84)/24. Solve -4 = -z*x - 10 for x.
-1
Suppose 193 = -8*k + 233. Solve -k*c - 39 = -14 for c.
-5
Let c(t) = 3*t - 10. Let i(d) = -d**2 + 10*d - 21. Let p be i(5). Let h be c(p). Solve -6 + 2 = h*u for u.
-2
Suppose -3*v + 39 = -5*i, -43 = -5*v + 5*i + 12. Let m = 16 - 13. Solve -h + v = -m*h for h.
-4
Suppose 0 = 3*a - 0*a. Suppose 0 = -5*d + 3*t + 280, 0 = 3*d - 0*d + t - 182. Let n = -57 + d. Solve a*k - n = k for k.
-2
Let b(c) = -3*c - 89. Let r be b(-31). Solve -l = r*l + l for l.
0
Let o(c) be the second derivative of 7*c**4/12 - c**3/6 - c**2/2 + 24*c. Let y be o(-1). Solve 3*i = 5 + y for i.
4
Suppose -2*l = -8, -m - 56 = -4*m + l. Let c be (-1 + 6)*(-12)/m. Let i be -1 + (-10)/c*3. Solve -5*j = i + 1 for j.
-2
Let k be (3 + -1)/((-2)/3). Let m be 9*k/(-9)*1. Solve 0 - m = l for l.
-3
Let o(h) = h**3 + 3*h**2 - h - 1. Let w be o(-3). Let y = w + -2. Suppose -2*b + 22 = -5*a, 105*b - 109*b - 16 = 5*a. Solve 2*j - j + b = y for j.
-1
Let w = 6 + -4. Suppose 4*i + 0*j + 2*j - 34 = 0, -i = -2*j - 1. Suppose -i*t + w*t = -15. Solve -t*p - p - 8 = 0 for p.
-2
Let k(v) = v**3 + 5*v**2 - v - 5. Let b be k(-4). Let q = -126 + 128. Solve -q*f - 3*f = b for f.
-3
Suppose -15*v - 12*v = -30*v. Let z be ((-2)/4)/((-3)/12). Suppose -4*s + 2*l + 4 = 0, 0*s = -3*s + 2*l + z. Solve -s*x + x = v for x.
0
Let x = 162 + -162. Solve x = -g - 3*g - 8 for g.
-2
Let g be (9/3 - 3)/(18/(-9)). Solve g = 8*s - 7*s for s.
0
Let l(p) be the third derivative of -5*p**4/12 - 7*p**3/6 + 16*p**2. Let r be l(-1). Solve 0 + 3 = -r*s for s.
-1
Let q(x) = -x**3 - 15*x**2 + 34*x + 13. Let z be q(-17). Solve z*g = 12*g for g.
0
Suppose 0 = -3*c + 19 + 8. Suppose 0 = i + m - 7, -3*m + 22 = 5*i - c. Solve 2 = i*d + 12 for d.
-2
Let f = -277 - -282. Solve -f*c + 20 = -c for c.
5
Let d(x) = -2*x**2 + 12*x + 3. Let l be d(6). Suppose 2*b = -2*s, 4 = -s - l*b - 0*b. Solve -q = -s*q - 2 for q.
-2
Let w = 11 - 8. Let a = 29 - 27. Solve w*z - a = 4 for z.
2
Suppose -3*d - 164 = -4*d - 4*b, 5*d = -2*b + 856. Let a be (-2)/(-9) - d/(-36). Suppose 99 = 5*k + f, 5*f = -4*k + 4*f + 80. Solve a*g - k = 1 for g.
4
Let a be 1 + (12 - (-1)/(-1)). Solve 4 + a = 4*u for u.
4
Suppose 0 = -3*x - 2*p + 13, -x - 8*p - 3 = -11*p. Solve -x*a = 6*a - 18 for a.
2
Suppose 0 = 8*g - 4*g - 16. Suppose 4*q + g*q = 24. Solve 16 = -q*d - d for d.
-4
Suppose 4*u - c = 29, 2*c = -5*u - c + 15. Suppose u*j - 18 = 3*j. Let i be (-3)/j - (-62)/4. Solve 0 = -q - 4*q + i for q.
3
Let w = -9 - -15. Suppose j = w*j. Suppose -18 = -5*o - g - 2*g, j = o + 5*g + 14. Solve r = o*r + 25 for r.
-5
Let y(i) = -7*i - 126. Let c be y(-18). Let s(t) = 5*t. Let u be s(1). Solve c = d - u*d + 12 for d.
3
Let h = -2637 + 2653. Solve -21*g = -h*g + 15 for g.
-3
Suppose -13*g + 9*g + 12 = 0. Suppose -3*a = 2*f - 3, -5*a + 1 = f + g. Solve 0 = 2*h + f*h - 5 for h.
1
Let d be 18*(-5)/((-15)/(-4))*2. Let t = -43 - d. Let o = 10 + -3. Solve -o*g + t = -2*g for g.
1
Suppose -5*b = b + 2*b. Solve -5*k + 16 - 41 = b for k.
-5
Let j be -4 - (-7 - -4) - -4. Let l be 4/14*63/j. Solve l + 0 = -2*q for q.
-3
Let q = 668 + -652. Solve -2*m = 6*m - q for m.
2
Let r(f) = -11*f - 214. Let g be r(-20). Solve 2*h = 