= -4 for h.
2
Suppose 20*v = 27210 - 26330. Solve 80*c = 91*c + v for c.
-4
Let v(w) = 4*w + 3 + 0 - 3 - w**3 - 3 - 4*w**2. Let n be v(-5). Solve -n*s = -13 + 7 for s.
3
Let c be (-1339)/(-309) + (-368)/(-3). Solve -40*a - 7 = -c for a.
3
Suppose 14 = u + 2*d, -38 = -3*u - 0*u - 5*d. Suppose -a - u*a = 4*a. Solve 2*n + a*n - 8 = 0 for n.
4
Let d = 68 - 62. Suppose 0 = 3*u - 5*s + 87, 5*s - 13 + 71 = -2*u. Let h = u + 31. Solve h*w - 20 = d*w for w.
-5
Let n be 5/((-250)/(-360))*20/(-6). Let u(g) = g**2 + 25*g + 24. Let i be u(n). Let h = 3 + 0. Solve i = -h*x + 8 + 1 for x.
3
Let m(w) = 4*w + 10. Let p be m(-10). Let y(f) = -7*f + 18. Let i be y(-2). Let b = i + p. Solve -x - b = -3 for x.
1
Let g(p) = -9*p - 34. Let d be g(-6). Suppose -41*a = -37*a - d. Solve 15*b = a*b + 10 for b.
1
Let s be 9/3*24/18. Suppose 4*b = -4*m - m + 21, 29 = 5*m - 4*b. Solve s*n + m = 13 for n.
2
Let f be (3/(-4))/((-1)/(-52)). Let s = f - -74. Let n = -32 + s. Solve -15 + n = 3*y for y.
-4
Suppose 0 = 3*c - 12 + 3. Let q be (5 + c)*1 - (0 + 0). Suppose 10*h - 12*h + q = 0. Solve h = 2*s - 4 for s.
4
Let l be ((-20)/(-25))/(2/30). Suppose 0 = 4*v + s - 12, -v - 3*v - 4*s = -l. Let r = -543 - -547. Solve r*y - v = 1 for y.
1
Suppose 0 = 5*i + 22 + 3, 4*i + 17 = -r. Let m(k) = -k**3 + 8*k**2 - 2*k + 10. Let c be m(8). Let v be (-8)/6*c/4. Solve q - v = -r for q.
-1
Let f = 61 - 59. Suppose -5*p - 4*o + 31 = 10, -f*o = -2*p - 6. Suppose 0 = 6*y - 1 + p. Solve 4*v + y = 12 for v.
3
Suppose -41*j = -45*j - 2*u + 868, -4*j = -2*u - 844. Solve j*s = 219*s + 20 for s.
-4
Let x be (6 + 10 + -6)*(-18)/(-4). Suppose 5*c - 15 = 0, 8*c - 3*c = 5*f + x. Let k be (15 - -2) + 2/f*0. Solve 0 = -5*r + k + 8 for r.
5
Suppose 6*q - 46 = 56. Suppose 10 = -2*g, -5*g - 44 = -i - q. Solve -f = i*f + 9 for f.
-3
Let i(y) = -140*y - 506. Let s be i(-4). Solve 20*f + 7*f = -s for f.
-2
Let x be 12/(-33)*13871/(-194). Solve x + 74 = -50*g for g.
-2
Let q = 11541 - 8734. Solve -q = 4*b - 2779 for b.
-7
Suppose c + j = -441, -10*j - 887 = 2*c - 7*j. Let l = c + 454. Solve l = -3*m + 6 for m.
-4
Let t be 5 + 60/(-105)*-56. Solve t = 44*d - 51 for d.
2
Suppose 2*k + 2 + 0 = 4*n, 2*k + 3*n = 33. Let h be (-13 - -16) + 1*k. Solve 0 = -7*b + h*b for b.
0
Suppose -5*r + 40 = -55. Suppose r*u = -3*u. Solve 0 = 4*t - u*t + 12 for t.
-3
Let i(u) = -130 + 170 + u**2 - 3*u - 6*u. Let a be i(7). Suppose 30*h - a*h - 12 = 0. Solve h*p - p = 10 for p.
5
Let v = -353 + 441. Let n(c) = -4*c**2 + c + 12. Let b be n(5). Let x = v + b. Solve -y + x*y = 0 for y.
0
Suppose 3*v = -4*s + s, -2*s + 10 = 0. Let a be (-63)/v + (-15)/25. Suppose -3*b - a = z + 2*z, 2*z - 20 = 5*b. Solve z = 2*l - 0*l + 4 for l.
-2
Suppose 8*j - 17 + 1 = 0. Let v = j - -12. Solve 0 = l + v - 9 for l.
-5
Let j(p) be the first derivative of 3*p**2/2 + 34*p - 1. Suppose -50 = 3*l - 21*g + 17*g, -3*l + 3*g - 45 = 0. Let n be j(l). Solve -5 = -a - n for a.
1
Suppose 3*n - 72 = 4*p, 3*n - 75*p = -77*p + 90. Solve 10*l = -2 - n for l.
-3
Suppose -3*l = -15, -1507*x + 5 = -1508*x + 4*l. Solve 11 = 13*c - x for c.
2
Suppose 5*p = -3*j + 6*p + 31, -5*j + 2*p = -53. Suppose 2*s = 2*g - 3*g + 6, 0 = -3*s + 3*g - j. Suppose 3*x - 2*x = 0. Solve u + 0 + s = x for u.
-1
Let o be (7 + (-2224)/288)*-18. Solve 0 = o*p + 7*p - p for p.
0
Suppose -2675*x + 2659*x = -384. Solve -50*i + 58*i + x = 0 for i.
-3
Let v = 98 - 51. Suppose -50*q = -v*q. Suppose q - 10 = -5*u. Solve u = s - 0 for s.
2
Suppose -8 - 4 = -4*o. Let y be (-1)/(18/(-4)) + 55360/360. Let a = 154 - y. Solve 3 + a = o*q for q.
1
Let i be (-1)/(-1 + (-70)/(-77)). Suppose 10*h - 252 = -i*h. Solve 15*c + 3 = h*c for c.
-1
Let p be -79 + 5 + 4 - (-1 + 0). Let h = p + 99. Let l = -30 + h. Solve -4 + l = -4*k for k.
1
Let u be (4 + -91)*((-21)/(-9) + -2). Let y = u - -30. Let g be (y - (-3)/(-9))/((-8)/(-36)). Solve -1 = 4*b + g for b.
-1
Suppose 18 = 15*c - 33*c. Let f be (-1)/(c/76*4). Solve 0 = 11*z - f*z + 24 for z.
3
Suppose -18 = -3*j - 24. Let l be j/3*(-7)/((-14)/(-12)). Solve 10*f = l*f - 24 for f.
-4
Let l be (3 - (3 - 4/8)) + (-49)/(-14). Solve -722 = l*j - 742 for j.
5
Let a(o) be the third derivative of 13*o**4/12 - 21*o**3/2 - 8*o**2 + 3. Let x be a(3). Solve 3*p + 0*p = x for p.
5
Let o be 10/(-8)*-4*(-3 + 48). Suppose 39*r - 360 = o. Solve 2*a + a - r = 0 for a.
5
Suppose -539 + 359 = -10*i. Solve -152 = i*o - 134 for o.
-1
Let b = 20 - 14. Suppose 0 = b*w + 13 - 1. Let z = -2 - w. Solve -t - 4 = -z*t for t.
-4
Suppose 4*d - 5612 = -5272. Solve 11*y = -96 + d for y.
-1
Let m(n) = 2*n**2 - 4*n + 7. Let i be m(2). Suppose 0 = 2*u + b - 4 + 9, u - 15 = 3*b. Solve 0 = -u*f + i*f - 21 for f.
3
Let j(f) = 2*f**2 + 2*f - 214. Let g be j(-11). Solve -2*a - 4 = -g for a.
1
Let v = 326 + -312. Suppose 9*u = 5*u + 24. Suppose -50 + v = -u*z. Solve z = m + 2 for m.
4
Let f(b) be the third derivative of -b**6/120 - 3*b**5/20 + b**4/8 - 21*b**3/2 - 8*b**2 + 5. Let k be f(-10). Solve -k + 11 = t for t.
4
Suppose 5*c - 144 = -3*c. Let a(b) = -2*b**3 + 35*b**2 + 17*b + 38. Let o be a(c). Solve -r + 6*r + o = 0 for r.
-4
Let c = 300 + -185. Let f = 115 - c. Suppose -7*s = -9 - 5. Solve o = s - f for o.
2
Let p(c) = 66*c + 7991. Let m be p(-120). Solve m*t + 2*t - 511 = 0 for t.
7
Suppose 0 = -8*h + 27*h + 310*h - 116795. Solve -h = 4*z - 327 for z.
-7
Let f be 12 + (-54)/(-12)*2/3. Suppose 19*j = -4*j + 5*j. Suppose -4*o - 10 - f = -5*u, -5*u - 2*o + 25 = j. Solve -i = -0*i + u for i.
-5
Let f be (-9)/((-45)/20) + (-1 - -34). Let g = 52 - f. Solve -13*p + g*p = 2 for p.
1
Let x be 528/(-22)*(-1)/((-6)/81). Let r = 326 + x. Solve -5*n + r = -7*n for n.
-1
Let b be ((-464)/(-32)*4/8)/(2/16). Solve 2*h = -27*h + b for h.
2
Let v = 738 + -284. Let j = v - 451. Solve -8*c + j*c = 20 for c.
-4
Let p be 6*2/(-20)*-5. Suppose 0 = -d + p + 1. Let q(g) = -g**3 + 11*g**2 - 31*g + 23. Let j be q(7). Solve 0*c = j*c + d for c.
-2
Let s = 64 - 20. Let m = s - 15. Solve -5*i + m = 9 for i.
4
Let a(r) = 7*r**2 - 43*r - 32. Let d be a(10). Let v be (d/(-42) - -3)/((-2)/6). Solve 0 = 2*b + v*b - 50 for b.
5
Let i(m) = -74*m**3 - m**2 - 2*m - 2. Let t be i(2). Let b = 627 + t. Solve p = 6*p + b for p.
-5
Suppose 72*a - 7 + 13 = 6. Solve 6*x - 25*x - 19 = a for x.
-1
Let d be 24/14 - (-14)/49. Suppose -2 = -3*y - h, -4*y + 5*h + 23 = -5. Suppose -g = -s - y, -1 + 9 = d*g. Solve 4*r + s = 5*r for r.
2
Let h(u) = -164*u - 13403. Let p be h(-82). Solve -p*l = 15*l + 300 for l.
-5
Suppose 0 = 3*v - 16*v - 65. Let b(l) = -4*l + 3*l - 4*l - 20. Let c be b(v). Solve -w = -2*w - c for w.
-5
Let y(p) = -p**3 + 40*p**2 - 40*p + 39. Let o be y(39). Suppose o = -8*s + 59 - 19. Solve -7*q - s = 2 for q.
-1
Suppose 3*b + 818 = 1907. Suppose 0 = 3*j - b + 348. Solve -2*q - 7 = j*q for q.
-1
Suppose -61*d + 53*d = 440. Let a be (-1)/11*-2 + (-870)/d. Suppose 4*b = -0*b + 16, -4*b = -4*f. Solve -f*k = -8*k + a for k.
4
Let m(a) = a**2 + 25*a + 191. Let x be m(-25). Solve -x + 194 = d for d.
3
Suppose 13*n = 12*n - 2*q + 30, 4*q = 4. Solve 24*l - n*l = -4 for l.
1
Let h(j) be the first derivative of 2*j**3/3 - 13*j**2 - 14*j + 13. Let s be h(12). Let z = s + 51. Solve 0 = -5*c + z + 2 for c.
3
Let q be (-10)/(-15) - -5932*(-18)/(-216). Solve -14*h = -q + 425 for h.
5
Let i be (2/(-5))/(79/(-18170)). Solve -14*h - 64 = -i for h.
2
Let b be ((-392)/(-6))/7*3885/70. Solve -34*t - b = 40*t for t.
-7
Let l be 229/5 + (-12)/(-60). Solve -3*n = -25 + l for n.
-7
Let t = -102 - -108. Let w be t + -4 + (-5)/(15/(-12)). Solve 4*n + 6 + w = 0 for n.
-3
Let r = -338 + 350. Let w(c) = -c**3 + 12*c**2 + 2*c - 16. Let f be w(r). Solve 3*s + 25 = f*s for s.
5
Let h(f) = 7 + 6*f - 1 - 3 - f**3 - 1. Let i be h(3). Let w be -2 - (2/i + (-38)/14). Solve -9 = -4*z - w for z.
2
Let b be -1 + (-75)/(-81) - ((-680820)/405)/14. Solve -5*s = 19*s - b for s.
5
Let w = 19606 - 19580. Solve -6*r = 10 + w for r.
-6
Let c(k) = -8*k - 131. Let g be c(-17). Suppose a = 4, g*b - a - 159 = 212. Solve 0 = -0*d - 15*d - b for d.
-5
Let l(z) = 89*z**3 + 5*z**2 + z + 1. Let k be l(1). Solve -23*h - k = 65 for h.
-7
Suppose 2*v - 5*i = 2, -5*v + 0*i + 5 = 3*i. Let z be (v - 0) + 1140/60. Let k(l) = l**3 - 6*l**2 + 6*l - 2. Let t be k(5). Solve -t*y = y - z for y.
5
Let 