 for h.
0
Suppose -3*t - 8 = -4*d + t, 0 = -2*d - 4*t - 8. Solve d = 48*q - 58 + 10 for q.
1
Suppose -4*p = -k + 8, 5*k = 75*p - 73*p + 40. Solve 0 = -3*r - k*r + 44 for r.
4
Let g(l) be the third derivative of -5*l**4/24 - 29*l**3/6 + 78*l**2. Let m be g(-6). Solve 3*j = 2 + m for j.
1
Suppose 1275 = 5*o + 2*a, 3*o + 221 = 3*a + 965. Suppose -254*k = -o*k - 3. Solve -2*w + k = -7 for w.
5
Let s = -9 + 11. Suppose -r + 16 = 2*q + s*q, -17 = -q + 3*r. Let a = 774 - 767. Solve -a*v + q*v + 10 = 0 for v.
5
Let p = -26 + 39. Let r = -4808 + 4811. Solve -p = r*o - 1 for o.
-4
Suppose 3*x + 4*d - 7 - 12 = 0, -2*x + 3*d - 10 = 0. Suppose 2*g - 2*y = -3*g - 4, 0 = -4*g - 4*y + 8. Let f be ((0 + 0)/2)/(g + x). Solve 12 = -4*v - f for v.
-3
Suppose -5*k - 55 = -t, -k = -6*t + 9*t - 117. Solve -34*n + 26*n - t = 0 for n.
-5
Let s(n) = 5*n + 11. Let z be s(-1). Solve z*f + 390 - 378 = 0 for f.
-2
Suppose -8*r + 11*r + p = 24, -2*r - 4*p - 4 = 0. Solve 68*a - r*a = 0 for a.
0
Suppose 20 = -5*t, -5*k + t = -2*t - 3172. Suppose 7*f + 604 = k. Solve 0 = -9*q + f - 40 for q.
-4
Let u(v) = -v**3 - 4*v**2 + 10*v - 8. Let j be 66 + -66 - (-1 + 7). Let s be u(j). Solve -s*p + 14 = 2 for p.
3
Let g(o) = -4*o**2 + 120*o + 3. Let z be g(30). Suppose -z = 21*i - 66. Solve -q + 2*q = -i for q.
-3
Let q = 9362 - 9362. Solve q = -50*f - 24 - 126 for f.
-3
Suppose -32 = -2*g - 356. Let i be 10 + g/45 + (-4)/10. Solve i*t - 3*t - 15 = 0 for t.
5
Let d = 19 + -12. Suppose 2*t - 36 = 2*l, 0*l = -4*t + 2*l + 70. Suppose t = -9*h + 35. Solve d = -h*c - 1 for c.
-4
Suppose -2*q - 4*n = -262, 0*n + 5*n = q - 131. Let h = q - 118. Solve 5*i + h = -12 for i.
-5
Let l(h) = -h**3 + 30*h**2 - 27*h - 50. Let p be l(29). Let a = 2 - -28. Solve -a = 2*y - p*y for y.
5
Suppose 7 = 3*g - x, 4*g - x - 3 - 7 = 0. Suppose 5*h + 20 = -s - 2*s, 3*s - g*h = -36. Let b be s/4*(0 + -2). Solve b*k = -0*k + 25 for k.
5
Let o be 72/(-132)*11 + (0 + 0 - -103). Solve 4*y - 105 = -o for y.
2
Suppose 2*k = 1 + 7. Let c(z) = 2*z - 22. Let h be c(13). Let f be 0/5*(1 + (-6)/h). Solve f*i - 20 = k*i for i.
-5
Suppose 3*x + 15 = -4*i + 20, -5*i + 6 = 4*x. Suppose i*g + 5*g = g. Solve g = -6*t + 8*t + 4 for t.
-2
Let r be -5*((-237)/15 - 1). Suppose r = 11*t + 3*t. Suppose 4*c - 2 - t = 0. Solve 2*w = -c*w + 20 for w.
5
Let p(g) = g**2 + 9*g + 16. Let k be p(-8). Let z be (3 - (-4)/12)/(k/60). Solve 5*m = -0*m + z for m.
5
Let d = 708 + -696. Suppose 13*n - d = 14. Solve -4*l + 3*l = n for l.
-2
Suppose 2*j = 3*d - 4, -3*d + 2*j + 7 = 3*j. Suppose -d*x + 0*x = 3*x. Let r be 2*-2 + (-4 - -8). Solve r = -w - x*w for w.
0
Suppose 2*h - 5*a = 332, 0 = 4*h - a - 481 - 165. Suppose 153*y - h = 130*y. Solve -9*q + y*q + 8 = 0 for q.
4
Let d(c) = c**3 - 18*c**2 - 12*c + 36. Let v be d(19). Solve -28 = -v*y + 162*y for y.
4
Let q be 6/(-51) + 21249/(-153). Let f = -129 - q. Solve 0*o = -f*o - 3*o for o.
0
Let n = -996774 - -996789. Suppose w - 6 = -2*w. Let f = 3 + -3. Solve f = -p - w*p + n for p.
5
Let p(v) = -2*v**2 + 35. Let s be p(0). Let r = -33 + s. Let l be r/(-4)*(-12)/1. Solve 3*i + l = -6 for i.
-4
Let n(m) = 18*m - 139. Let r be n(8). Let b = 58 + -55. Solve 8*q - r = b*q for q.
1
Suppose 50 = 18*z - 14*z - o, 28 = 2*z - 2*o. Suppose 0 = 120*p - 126*p + z. Solve 2*h - 6 = p for h.
4
Let r(s) = s - 3. Let v be r(3). Let h = -360 + 357. Let d be (-4)/6 - 2/h. Solve v = -d*l + 2*l + 6 for l.
-3
Let w(a) = -a**2 - 40*a - 37. Let y be w(-31). Let m = y - 234. Solve m*u + 4 = 4*u for u.
-1
Suppose 3*w = t + 6 - 3, -4*w + 5*t - 7 = 0. Suppose 0 = 4*p - 2*k - k - 14, -4*p + 12 = -w*k. Let u(n) = -5*n - 3. Let s be u(-3). Solve -p*g + s = g for g.
4
Let g be (0 - 6/1) + 188/47. Let s be (-168)/(-10 + 6)*g/(-6). Solve -7*k + 7 + s = 0 for k.
3
Let z(g) = g**3 - 18*g**2 + 8*g + 153. Let r be z(17). Solve r = 4*o - 6 - 18 for o.
6
Let x(b) = 4*b**2 + 6*b - 2. Let o be x(-6). Solve 96*h - o*h + 20 = 0 for h.
2
Suppose 0 = 3*a - 4*c - 4, -3*c - 12 + 2 = -4*a. Let z be (14/420*0)/7. Suppose 0 = -2*l + 4*l - 6. Solve -b - l*b + a = z for b.
1
Let c be (-108)/54*2*-1. Suppose c*a + 2*m - 14 = 0, 3*a - 2*m = -7*m + 7. Solve a*x = x for x.
0
Suppose -895*r + 414 = -889*r. Solve r = -5*j + 79 for j.
2
Let q = -81 + 83. Suppose -23 = -2*h - 3*z, 3*h - 7*z = -3*z + 77. Solve h - 25 = -q*o for o.
3
Let b be 4/22 + 3 + (-105)/33. Suppose -5*k = 4*g + 3, b = -2*k - 0 - 6. Let t = g + -1. Solve 2*p + t*p + 12 = 0 for p.
-3
Suppose -5*d - 3*q - 842 = 0, 3*d - 3*q - 2*q + 478 = 0. Let m = d + 201. Solve l = -6*l + m for l.
5
Suppose 0 = -3*d - 3, -d + 1934 = -2*t + 1951. Solve 26 = t*y + 82 for y.
-7
Let a = 34 - 1. Suppose -a*c - 20 = -37*c. Solve -c*p - 23 = -3 for p.
-4
Let n be 245/60 + (-41)/492. Solve 33*g = 31*g + n for g.
2
Suppose 37*d + 231 - 453 = 0. Solve -13 = -19*b + d for b.
1
Let x(u) = -u**3 + 19*u**2 - 9*u - 50. Let l be x(7). Suppose q - l + 426 = 0. Solve -q*g = -45*g + 4 for g.
-1
Let o = 20 - 17. Suppose o*t - 2*t - 9 = 0. Suppose 7*b = 23 - t. Solve -z - b = -0*z for z.
-2
Let h(v) = 3*v**3 - 6*v**2 - 3*v - 12. Let x be h(-4). Let s = x - -293. Solve -s*j - 12 = j for j.
-2
Let f(j) = j**2 + j + 2. Let x be f(-1). Suppose -2*h + x*d + 22 = 0, 4*h - 2*d = -4*d + 26. Solve h*a = 2*a - 30 for a.
-5
Let a(d) be the second derivative of 0 + 7/6*d**4 - 17/3*d**3 + 25*d - 11*d**2 + 1/20*d**5. Let f be a(-16). Solve 2*t - f = -3*t for t.
2
Suppose 5*t + 12 = 5*x - 18, 2*x = 5*t + 15. Let j be 0 + 4 - (x + -5). Solve -10 = 3*w - j for w.
-2
Suppose 27*y = 43*y - 13*y - 225. Solve 50*u - 65*u = y for u.
-5
Let k(i) be the first derivative of -i**4/4 - 4*i**3 + 6*i**2 - 11*i + 7. Let s be k(-13). Suppose 3*u = s*u + 2. Solve 2 = u*d - 8 for d.
5
Let a(d) = 3*d**2 + 5*d - 51. Let i be a(4). Solve -32 = 7*h + i for h.
-7
Let t = -18 + 22. Let z(s) = 5*s + 2. Let g be z(t). Let f = 25 - g. Solve -4*x = -x - f for x.
1
Let o(g) = g - 2. Suppose q - 5*q + 20 = 0. Suppose 30 = q*w + 4*p - 5*p, 0 = -3*w + 5*p - 4. Let n be o(w). Solve 0 = -2*c - n - 1 for c.
-3
Suppose 6*g + 214 = 2*w + 10*g, 5*g - 1755 = -15*w. Solve -3*t + w - 128 = 0 for t.
-3
Let s(m) = -11*m**3 - 59*m**2 - 218*m - 9. Let l be s(-4). Solve 191 = -72*c + l for c.
6
Let t be ((-936)/45)/(2/10). Let g = t + 114. Solve v = -v + g for v.
5
Let f be (-12 - -54) + 0/(-6 + 0) + -6. Solve -40 = 44*z - f*z for z.
-5
Let t = -15179 + 15181. Solve t*a - 661 = -667 for a.
-3
Let f = -214 + 216. Let h be 2*(f + (-2 - -5)). Suppose 5*w = w + 20. Solve -w*k - h = -3*k for k.
-5
Suppose -10*h = -5*h + 2*p - 431, 4*p = h - 117. Solve 0 = h*c - 69*c + 80 for c.
-4
Let s(j) = j**2 + 22*j - 22. Let u be s(-23). Let k be (-10)/5 + 20 - (u - -2). Suppose 0 = -5*x + k*x. Solve x = -2*z - 2*z - 16 for z.
-4
Let n = 13 - -29. Let u = n - 40. Let j be 0/((-2)/u)*(-14)/14. Solve j = 3*t - t - 6 for t.
3
Suppose -10 = 9*m + 107. Let a(y) = -y**2 - 15*y - 14. Let x be a(m). Solve 2*u + x = -4*u for u.
-2
Suppose 2*n - 11*p - 21 = -10*p, 0 = -2*n + 2*p + 16. Solve -9*b + n = 4 for b.
1
Suppose -56*d + 61*d = 6*g - 7966, 4*g + 2*d - 5300 = 0. Solve -3*j + g - 1344 = 0 for j.
-6
Let o = 26604 + -26334. Solve -o + 223 = -47*q for q.
1
Let b(h) be the third derivative of h**5/60 + 5*h**4/12 - 14*h**3 + 8*h**2. Let o be b(6). Solve 5*y = -y + o for y.
2
Let b be (-11174)/(-37)*(-2 + 3). Solve b*a = 305*a - 18 for a.
6
Suppose 4*y = -3*j - 1038, -4*y + 5*j = -3*y + 248. Let m = -257 - y. Solve 2 - m = -g for g.
-1
Let t be -83*3*49/(-21). Let q = t - 566. Solve -15 - q = 6*s for s.
-5
Let o be ((-460)/(-40) - 9)*34. Solve 10 - o = -15*j for j.
5
Let w(c) = 12 + 40422*c + c**2 - 40399*c + 123. Let d be w(-11). Solve 0 = -q - d*q for q.
0
Let v(f) = -f**2 + 8*f - 9. Let q be v(3). Let j(g) = g**2 + 8*g - 9. Let t be j(-9). Suppose t = -q*x + x + 25. Solve -x*d - 3 = -4*d for d.
-3
Let m = -476 - -478. Suppose -2*g + 20 = 4*d, 3*g + 0*g + m = 2*d. Solve d*r = -3*r + 21 for r.
3
Suppose -n = -2*o + 10, -11*n = o - 7*n - 5. Suppose o*b + 233 = 253. Solve 5*d + 45 = -b*d for d.
-5
Let k = 496 - 326. Let b = -168 + k. Solve -r = -b*r for r.
0
Let a(o) = o**2 - 1389*o - 11166. Let y be a(-8). Solve -15*k - y - 110 = 0 for k.
-8
Let h(j) = j**3 - 6*j**2 + j - 7. Let y be h(5). Let o be (-2)/9 - 19