3 for h.
-4
Let l(a) = -a**2 + 32*a + 833. Let i be l(49). Solve -3*k - 4*m + 32 = i, -37 = 3*k - 6*k - 5*m for k.
4
Let b = -521 - -551. Suppose b*g - 74 = -14. Solve 2*n = -g*l - 18, -2*l + 17 = -2*n - 3*n for l.
-4
Let l(w) = -w**3 - 18*w**2 + 20*w + 6. Let j be l(-19). Let n = j + 22. Let g be ((-10)/(-15))/((-3 - -6)/n). Solve 3*u - q - g*q + 21 = 0, -8 = -4*q for u.
-5
Let k be (-192)/(-16) - (11 + 1). Solve 4 = 2*l - 3*f, 4*f - 4 = 5*l - k*f for l.
-4
Let i(y) = -54*y - 46. Let a be i(3). Let b = a - -215. Solve -28 = -2*p + 2*j - b*j, -4 = 3*p - 4*j for p.
4
Let t(a) = -a**3 + 16*a**2 - 21*a + 646. Let b be t(17). Solve b - 11 = -z + 3*x, x + 5 = 0 for z.
-4
Let l be (189/78)/(4/8) - 4/(-26). Solve l*j + 18 = -2*d, -3*j = 2*d + 18 - 8 for j.
-4
Let b = 14 + -15. Let v be (-3 - -3) + 2 + b. Suppose -4*t + 6 = -s, 3*t - 1 - v = 2*s. Solve 3*p - 5*q = 0, -q + t*q + 18 = -3*p for p.
-5
Suppose -6 = u - 6*m + 9*m, 0 = -5*u - 3*m - 6. Solve 2*k - f = -u + 3, 4*f + 12 = -4*k for k.
0
Let m(w) = w - 25. Let l be m(-12). Let v = -33 - l. Suppose 5*r + 8 - 33 = 0. Solve 5*k + i - 20 = 0, v*i - 10 = -5*k - r for k.
5
Let j be (1/3)/((-1)/(-6)). Suppose q - a + 4 = 0, 2*q + 511*a - 507*a - 16 = 0. Solve -2*v - j*v - 5*x + 15 = q, 5*x = -3*v + 10 for v.
5
Let c(o) be the second derivative of o**4/12 - o**3/6 - 5*o**2 + o. Let d = -195 - -200. Let j be c(d). Solve j = -y - 4*v, -4*y - 8 - 8 = 4*v for y.
-2
Let u(p) = -2*p**2 - 40*p + 14. Let z be u(-21). Let h be (-1 - 6)*-2*(-20)/z. Solve 2*f - 5*f = 5*y + h, 4*f + y + 19 = 0 for f.
-5
Suppose -8*q + 11*q = -15*q. Suppose s - 1 = q, 47*g + 7 = 50*g - 5*s. Solve -o = 2*u - 1 + 11, -g*o - 25 = 3*u for o.
-4
Let c = -16105 + 16107. Solve 4*s - 14 = -c*p, -89*p = -3*s - 94*p + 28 for s.
1
Let j be (-12)/(-2) + (-3 - 0). Let y(x) = 4*x - 8. Let h be y(j). Suppose -4*c = -5*g + 2, -g = c - 4*c + h. Solve g*u - 2*z + 1 = -1, 3*u = -5*z - 27 for u.
-4
Let m(k) = k**3 + 3*k**2 - 3*k + 20. Let n be m(0). Solve -4*h + 20 = -5*v, -8*v + h - n = -3*v for v.
-4
Suppose 19*v = 21*v - 4. Suppose -v*h + 8 = 2*h. Suppose -2 = -4*p - h. Solve -a - 27 = 5*o, p = o + 3*o - 4*a + 12 for o.
-5
Let u be (-3)/6 + (-7)/(-2). Suppose u*a = -a + 56. Let v be (-57)/(-21) - (-4)/a. Solve -6 = -l - 2*r + v, -l - 3*r + 14 = 0 for l.
-1
Let g(x) = -x**3 - 9*x**2 + 11*x + 13. Let q be g(-10). Suppose -9*j + q + 33 = 0. Solve 37 = -j*y + 5*o, 2*y - 8 = -2*y - 4*o for y.
-3
Let m = -26 + 34. Let z be 26/(-3 + 2 - -3). Suppose -m = -17*u + z*u. Solve 0 = g + 3*k + k + 6, -g = -u*k - 6 for g.
2
Let m(g) = 10*g - 7. Let u be m(1). Suppose -4 = -o + 5*n + 23, 3*o - u*n = 21. Solve 7 = o*a + 2*v - 3*v, -4*v = 12 for a.
2
Let k = 6 - 3. Let y(g) = -g**2 + 208*g - 610. Let x be y(205). Solve -5*c = 4*j + 6, k*j - 5*j + 12 = -x*c for j.
1
Let z = 52 + -49. Let s be z/1 - (6 + (-1 - 2)). Suppose s = -2*g - 1 + 9. Solve -4*h = 4*b - 2 - 14, 0 = -g*b + 4*h + 16 for b.
4
Suppose 3*f = 2*f + 2. Let g be (34*f)/(32/16). Let q be g/85*(-55)/(-2). Solve -n + 2*l = 3*n - 14, -2*l = -3*n + q for n.
3
Let l(z) = -z**2 + 20*z + 25. Let d be l(21). Suppose -d*p = 74 - 74. Solve p*h - 35 = -5*f - 2*h, 2*f - 5 = h for f.
5
Let v(p) = -p**2 + 32*p - 59. Let r(o) = -2*o**2 + 66*o - 120. Let n(w) = -6*r(w) + 13*v(w). Let d be n(17). Solve d*j = 2*j + 5*z - 9, 2*z - 12 = 5*j for j.
-2
Let u = 148 + -268. Let x = -116 - u. Suppose 3*z - 72 = -0*z - 3*b, 2*b = -4*z + 96. Solve 0 = -n + x*m - z, -2*m + 14 = -2*n + n for n.
-4
Let f(n) = -32*n - 112. Let d(x) = x - 2. Let q(i) = -3*d(i) - f(i). Let a be q(-4). Solve -l = -a*j + 7, 3*l + 13 = 4*j - 2 for j.
3
Suppose -35 = -n - 20. Solve 10 = -3*u + 2*r, 0*r - n = 4*u - r for u.
-4
Let g(f) = -f**2 + 3*f + 8*f + 0 + 2. Let i(m) = -m**3 - m**2 - 3*m + 11. Let k be i(0). Let c be g(k). Solve -14 = 3*a - d, a + d - c = -0*d for a.
-3
Let b(q) = -q**2 + q + 2. Let c be b(0). Let m be ((-6)/(-60)*-6)/(1/(-5)). Let n(o) = 40*o - 105. Let z be n(m). Solve 5*u + t - z = 0, 0 = -t + c*t for u.
3
Let n(r) = -r**3 + 2*r**2 + 3*r - 3. Let o be n(2). Let u be 44/14 - -5 - 4/28. Let j be 2/u + 0 + 33/12. Solve 3*w - g - j = 0, -9 = -o*w - 0*w - g for w.
2
Let s(j) = -j. Let h(f) = 7*f**3 + 2*f**2 + f. Let m be h(-1). Let t be s(m). Let y be ((-96)/(-10))/(t/20). Solve 3*v + 4 = -x - 3, y = 4*x - 3*v for x.
5
Let c(j) = -2*j**2 - j. Let m(y) = -7*y**2 + 7*y + 24. Let s(r) = 4*c(r) - m(r). Let v be s(-4). Solve -i - h + 8 = 2, 2*h = v*i for i.
2
Suppose -8*h + 8 = -6*h. Let d = -55 + 67. Suppose -d*x + 4*x + 32 = 0. Solve -16 = 4*a + h*v, -a + x*v - v + 16 = 0 for a.
1
Let k = 4175 + -4162. Solve -15 = -3*b, k = -30*j + 34*j + b for j.
2
Let b(k) = -82 - 8*k - 26 + 17. Let l be b(-12). Solve -5*j - l*d + 15 = -5, 4 = 2*d for j.
2
Let c = -252 - -412. Let j = c + -158. Let i(a) = a**3 + 4*a**2 - 8*a - 5. Let x be i(-5). Solve -5*f = -j*l + x, l = -f - l - 2 for f.
-2
Let z be (-11)/(-22)*(32 + -28). Solve t + 17 = -4*t + 3*o, 2*t + 10 = z*o for t.
-1
Suppose -339*m = -344*m + 240. Suppose 9*n - 60 = m. Solve 0 = -3*a - 3, 5*t = -a - n + 31 for t.
4
Suppose -6*q - 58 + 126 = 11*q. Solve 3*b = -6*p + p + 19, 0 = -p - q*b + 14 for p.
2
Let j(a) = -3*a + 22. Let t be j(4). Suppose 0 = -t*c + 15*c. Suppose 12 = x + 2*x. Solve 14 = -3*y + 6*y + u, -2*y - x*u + 6 = c for y.
5
Suppose 25*b - 5104 = 14*b. Let i = 467 - b. Solve -2*o = -5*t - 4 + i, 0 = -o + 3 for t.
1
Suppose 0 = 3*c - 0*c. Suppose c = y - 3. Let u(f) = 50*f - 3998. Let q be u(80). Solve -y*w - q = 5*g, 3*g - 4 = g for w.
-4
Let v = 9 + -5. Suppose v*d - 6 = 6. Suppose -5*p - 202*o = -193*o + 81, -2*o - 18 = 0. Solve p = -2*y + k + 3, y - d*k + 6 = -k for y.
4
Let s = -112 - -112. Let h be (14 - 8)*(1 - s). Solve c = -z + 4, 5*c + 2*z - h*z = 2 for c.
2
Suppose -229 = -10*r - 36*r - 45. Solve -5*c - a = -r, -4*a + 43 = -4*c + 27 for c.
0
Let d = 95 - 88. Suppose -6*g = -d - 11. Solve g*b = 4*c - 15, c - 3*b - 4 = 2 for c.
3
Let l(h) be the first derivative of 2*h**3/3 - 29*h**2 + 4*h + 175. Let z be l(29). Solve -z*x + 28 = 4*c, 0 = -5*c + 2*x + x + 3 for c.
3
Let x(f) = f**2 + 2*f - 8. Let w be x(-5). Let t = 14 - w. Suppose 4*h - 11 = -s - 0, 0 = -3*h - s + t. Solve -3*o - b - h = o, -5*o = 3*b + 5 for o.
-1
Let j be -2*5/(-3)*3/2. Suppose -5 = -j*a - y, -3*a + 25*y - 15 = 22*y. Solve 0 = 3*w - 6, a = -u + w - 0*w - 1 for u.
1
Let j be 0/(4 - (-1 + 4)) + 33. Suppose -47*h = -j*h - 42. Solve -6 = v + x, 0 = -3*x - h for v.
-5
Suppose -3*h = o - 131, -3*o + 8*o = 4*h - 181. Let w be ((-7)/((-56)/204))/((-78)/(-104)). Let b = h - w. Solve -c - b = 5*j, -3*j = 4*c - 0 + 23 for j.
-1
Let s(j) = -287*j - 2004. Let a be s(-7). Solve -2*u + a*n + 40 = 29, 16 = -2*u - 4*n for u.
-2
Let a(b) = -13*b + 5. Let x be a(0). Solve 0 = z - x*d - 6, 3 - 8 = 5*d for z.
1
Let g = -3868 - -3871. Solve h + 3*h + 5*l = 41, g*h - 5*l + 13 = 0 for h.
4
Let g(l) = -l**3 + 3*l**2 + 306*l - 27. Let f be g(19). Solve -5*i + a = -f, -3*i - 7*a = -3 + 4 for i.
2
Let w(d) = d**3 - 28*d**2 + 184*d - 42. Let v be w(18). Solve 0 = -x + j, -3*j - v = 4*x - j for x.
-5
Suppose -2*c + 28 = 4*y, -4*y = -5*c + 2*c - 48. Suppose -y*n + 8 = -10. Solve 0*d + n*d = 2*l + 6, 0 = -2*l + d - 2 for l.
1
Let f be (-6)/(-10)*(-35)/(-3)*85/119. Solve -2*q + 3*z - 24 = q, -f*z = -4*q - 37 for q.
-3
Suppose -40*d - 38*d = -2*d. Solve 0 = 4*i - 8, -5*t - 5*i - 20 + 5 = d for t.
-5
Suppose -131*g + 4 - 7 + 3 = 0. Solve 3*s = -9, 3*z + 2*s + 7 + 8 = g for z.
-3
Suppose -9 = 3*z, -4*i - 262 + 793 = -5*z. Suppose -23*c + 170 + i = 0. Solve 0*r + c = r - 5*n, 2*n + 8 = -r for r.
-2
Suppose -62 = -2*x + 216*m - 212*m, -3*x + 93 = -2*m. Solve q = -u + 3, -q + 11 = -x*u + 28*u for u.
-2
Let p(k) = 35*k**2 + 382*k - 28. Let z be p(-11). Solve -4*r - 5*f - 2 = -z, 0 = -5*r - 4*f - 3 for r.
-3
Let d be (-114)/(-8) - ((-50)/(-8) - (-60)/(-10)). Solve -9 = -c - 13, -5*y - d = c for y.
-2
Let c = 2087 - 2087. Solve -2*v + 0*h + 4*h = c, 0 = -3*v - 2*h for v.
0
Let y(t) = -t**3 - 2*t**2 + t. Let q be y(0). Suppose q*i = 31*i - 155. Solve -3*j - k - 12 = 0, -4*k = -3*j + i - 32 for j.
-5
Suppose 49 = -59*z + 108*z. Solve -4*t + 6*k - 7*k = 15, -z = -t - 5*k for t.
-4
Let x(o) = o + 5. Let r(z) = -z**3 - 8*z**2 - 14*z - 10. Let a be r(-