Solve 3*h + h - 8 = a for h.
2
Let h = -2591 + 2609. Solve 11*l = -15 - h for l.
-3
Let y be 7 - (4 - 0) - 0. Suppose 0*w = y*w + 2*c - 27, -5*c + 1 = -2*w. Solve w*q - 8*q = 3 for q.
-3
Suppose -6*r + 396 = 5*r - 2*r. Solve -2*t - r = -24*t for t.
2
Let q be ((-7)/14)/(5/(-310)). Let n(v) = v**3 - 31*v**2 + 4*v - 105. Let i be n(q). Solve -i = 4*w + 1 for w.
-5
Suppose 5*c = 3*r + 86 - 410, -2*r + 238 = 4*c. Let k = r + -111. Solve -k*q = q for q.
0
Suppose 2459*s + 106 = 2473*s - 20. Let t be (-1)/(-1 - 2/(-3)). Suppose -4*h - t = -5*h. Solve -s = h*l + 6 for l.
-5
Suppose -729 = -w - 4*i - 205, -5*w + 3*i = -2505. Suppose p + w = 508. Solve p*h - h = -9 for h.
-3
Let z = 238 + -185. Suppose 0 = -3*s + z - 44. Solve -s*w = -w for w.
0
Let m(n) = -327*n + 3121. Let y be m(9). Solve 46 = -44*l + y for l.
3
Let u(p) = -p**3 + 65*p**2 + 156*p - 1457. Let n be u(67). Solve -n*l - 210 = 25*l for l.
-5
Suppose -3*d + a + 3 = 0, 16 = 5*d + 3*a - a. Let j = 20229 + -20226. Solve d*l - j = 1 for l.
2
Let y = -45 + 75. Suppose y = 26*g - 21*g. Let j be (4/2)/(g/60). Solve r = -4*r + j for r.
4
Let g(t) = -t**3 - t**2 - t + 2. Suppose 3*c + 1 = -u + 4*c, c - 3 = 2*u. Let f be g(u). Solve 0 = -7*a + 3*a + f for a.
2
Let r be -2 + 2*(-10)/(-4). Suppose 8 + 12 = r*y - 4*j, 5*y = 4*j + 44. Let o be 33/6 - 5 - 6/(-4). Solve -o*z - z = -y for z.
4
Let r be 10/12*18/3. Suppose -5*i + i + 3*h + 27 = 0, 3*i - r*h = 34. Solve -i*z + 25 = 2*z for z.
5
Let y = 2259 - 2242. Solve y*p = -1 + 18 for p.
1
Let p(o) = -o**3 + 3*o**2 + 6*o + 2. Let v be p(-1). Let h be 88/15 - (-18)/135. Solve v = 6*a - 3*a - h for a.
2
Suppose 99*h - 9954 = -612*h. Suppose 125 = 5*j - 5*m, 65 = 3*j + 2*m - 3*m. Solve -h*w = -9*w - j for w.
4
Suppose 0 = -198*i + 194*i + 2*o + 134, 4*o + 58 = 2*i. Solve 30*n = i*n + 5 for n.
-1
Let p be (-1*18/21)/((-34)/2856). Solve -23*a = a + p for a.
-3
Let t be (3/4)/(2/8). Suppose 5*v - 47 - 14 = t*x, -v + 17 = x. Let j be (v/56)/((-1)/(-8)). Solve -2*m = -3*m + j for m.
2
Let a be (5 + -1)*12/8. Let r(y) = 11*y**2 + 117*y - 37. Let u be r(-11). Solve u*n - a*n = 2 for n.
2
Suppose -3*c - 5*m = -19, -4*c + 16*m + 2 = 11*m. Suppose 3*j = 2*j. Solve j*b - c = -3*b for b.
1
Suppose 146 = -1143*s + 1145*s - 2*k, -k - 148 = -2*s. Solve s = 22*i + 229 for i.
-7
Let k be (2 + -1)/(15/1275). Suppose -6*b + 17 + k = 0. Solve 0 = -3*i + 5 - b for i.
-4
Let n be (-192)/160 - ((-963)/15 - -4). Solve -n = -55*h - 169 for h.
-2
Suppose -o + 4*n = 778, -6*n = -3*o - n - 2341. Let g = -780 - o. Solve -g*l - 3*l + 20 = 0 for l.
4
Let n = 1714 - 1649. Solve 0 = -20*c + 33*c + n for c.
-5
Let d be (-3)/(-15) - (-2 - (-48)/(-10)). Suppose x = 4*v, 0 = 4*x + 2*v - d*v - 11. Solve 0 = -x*h + h for h.
0
Let x = 5779 - 5779. Solve x = 13*s - 138 + 138 for s.
0
Let z(b) be the first derivative of b**3/3 + 19*b**2/2 + 93*b - 26. Let v be z(-10). Solve 2*u + v*u = -10 for u.
-2
Suppose 0 = -9*x + 7*x + 6. Suppose -81 = -4*h - x*k - 2*k, 0 = h + 4*k - 12. Solve v = -5*v - h for v.
-4
Suppose 0 = -158*n + 181*n. Suppose -2*w - 5*r = -11, -3*w + w + 5*r = -1. Solve -w = -h - n for h.
3
Suppose -4*g - 20*g = -408. Suppose 0 = -4*w + 6*w - 2*y - 18, g = w - 5*y. Solve 0 = 7*i + w + 7 for i.
-2
Let z be 12/(-7)*1323/54. Suppose 4*a + 176 = -0*a. Let t = z - a. Solve 0 = -x - t + 6 for x.
4
Let v be ((14 - -2) + 8)*(-1)/(-2). Let c be ((-3)/18)/(3/v)*-6. Solve -4*x - 12 = -c for x.
-2
Let g = -7320 + 7334. Solve g*w - 1 = 13 for w.
1
Let a(b) = b**3 - 9*b**2 + 12*b - 17. Let u be a(8). Suppose -u = -3*v + 2*v. Let f(j) = j**2 - 16*j + 18. Let h be f(v). Solve h*o + 0*o = -6 for o.
-2
Let d(z) = -3*z**2 + 40*z - 110. Let w be d(4). Solve -2 = -w*a - 4 for a.
-1
Let f(q) = q**3 + 22*q**2 + 97*q + 7. Let i be f(-6). Solve 0 = 13*l - 40 + i for l.
3
Let m be (-7)/5 - (-12132)/180. Solve m = 19*d - 52*d for d.
-2
Let n(w) = 3*w**2 + 22*w + 14. Let j be n(-7). Let z be (j + -18)*((-1 - 6) + 4). Solve 32*y - 5 = z*y for y.
-5
Suppose 7*b = 2*b - 15. Suppose -16*s - s = 68. Let g be s*(b + 5)*-1. Solve -2*c - g = -4 for c.
-2
Let x = 70 - 66. Suppose -4*q + 2 = -2, 1 = a - x*q. Solve a*c = -2*c for c.
0
Let a(z) = -z**2 + 38*z - 232. Let y be a(30). Suppose 0 = -y*t - 10 + 34. Solve t*m = -6 - 3 for m.
-3
Let k = 956 + -846. Solve -27*p + 29 = k for p.
-3
Let v be ((-23)/(3565/93))/(2/(-1260)). Solve -67*s - v = -4*s for s.
-6
Let g(v) = v**2 - 19*v - 206. Let d be g(29). Solve -28*n - 56 - d = 0 for n.
-5
Let y(g) = g**2 - 15*g - 23. Let u be y(16). Let x be 3/(-21) - (-117)/(-42)*-4. Let n = u + x. Solve l = -1 - n for l.
-5
Let f = 9913 + -9904. Solve f*y - 8 = 10*y for y.
-8
Suppose 12*k + p - 3410 = 0, 14*p + 274 = k + 9*p. Solve 0 = -k*r + 274*r for r.
0
Suppose -129*z + 13 = i - 128*z, -4*i - 2 = -2*z. Suppose 0 = -2*s - 35 - 11. Let c = -11 - s. Solve -i*q + c = -8 for q.
5
Suppose 125*g - 130*g + 200 = 0. Solve -g*x + 38*x = -8 for x.
4
Let z(f) = -f**3 - 9*f**2 + 21*f - 33. Let m be z(-11). Let d be m/(-77) + (-2)/((-14)/19). Solve -2*a - d*a + 25 = 0 for a.
5
Suppose 0 = 13*a - 187 - 385. Solve -6*o + a = 44 for o.
0
Let g = -117 - -118. Let k be 5/((5/10 - g)*-1). Solve 0 = -k*u + 9*u + 1 for u.
1
Let l(s) = -s**3 + 11*s**2 + 10*s + 27. Let x be l(12). Suppose -5 = -2*y + 5*z, 3*z + 27 + x = 3*y. Solve -t - y = -6*t for t.
3
Suppose -5*j - 8*g + 99 = -7*g, 2*g = -j + 9. Solve -22*q = -j*q - 5 for q.
5
Let c(s) = -14*s**2 - 41*s + 6*s**2 + 28 + 6*s**2. Let i be c(-19). Let t = -82 + i. Solve n + 0*n = -t for n.
-3
Let b(z) = -z**2 + 10*z - 16. Let i be b(8). Suppose -3*s + g + 4 + 13 = i, -15 = 3*g. Suppose s*t = -4*t. Solve -p + 3*p = t for p.
0
Let j(z) = -z**2 + 38*z - 114. Let a be j(34). Suppose 13*v + 72 = a*v. Solve -4*k + v*k = 16 for k.
4
Let a be (((-32)/(-6))/(-8))/(2/(-3)). Let d(k) = 8*k - 5. Let i be d(a). Solve 0 = -i*x - 12 + 3 for x.
-3
Suppose 0*w + 28*w - 896 = 0. Solve -6*c = 8 - w for c.
4
Let o = -71 - -76. Let b(f) = f**2 - 15*f + 54. Let y be b(o). Solve -y*c + 8*c + 16 = 0 for c.
-4
Let z = -767 - -779. Suppose 42 = 12*f - 10*f. Suppose -z = f*k - 23*k. Solve 4*l = k*l for l.
0
Let p = -12 - -17. Suppose -3*k - 59 = -5*b, 2*b = 2*k - 0*k + 26. Suppose -p*f - 15 = -b*f. Solve f*x + 1 = -5 for x.
-2
Let u(c) = c**3 + 21*c**2 + 37*c - 67. Let i be u(-18). Suppose -4*x - i = -263. Solve 8*v - 6 = x*v for v.
3
Let t(d) = d**3 - 7*d**2 - d + 5. Let p be t(3). Let m be ((-18)/(-54))/(p/12 - -3). Solve 0 = -m*h + 8 - 0 for h.
4
Suppose 14*k + 26 = 13 + 83. Solve -12*r + k = -17*r for r.
-1
Let w be 3 + 0 + (-2 - -2) + -3 + 3. Solve -w*s - 53 = -65 for s.
4
Suppose 12*z - 55 = 437. Let s = 48 - z. Solve -12 = 10*g - s*g for g.
-4
Let i = -57 + 57. Let q be ((-6)/9 + i)/((-1)/(-3)). Let d(n) = -4*n**3 - 4*n**2 - 4*n - 3. Let y be d(q). Solve 5 = 4*s + y for s.
-4
Let x = -41 + 47. Suppose -15 + x = -t. Let l be (-3)/t*((3 - 6) + 3). Solve l*j = 5*j + 5 for j.
-1
Suppose -2*u + 6*u - 28 = 4*z, z = -3*u + 13. Let v be (-4187)/(-477) + z/(-9). Solve -v = -4*l - 1 for l.
2
Let v(c) = -c**3 + 35*c**2 - 124*c + 24. Suppose -1 = -5*l - 16, 3*b = -4*l + 81. Let y be v(b). Solve -4*z - y + 4 = 0 for z.
-5
Suppose -5*l + 15 = 5*w, -4*l + 5*w + 70 = 13. Suppose -4*t = -b - 8, 139*b = -3*t + 143*b + 32. Solve t*y - 24 = -l*y for y.
3
Suppose 617*p = -217*p. Solve p = -38*k + 85 - 47 for k.
1
Suppose -2*r - 2*x + 14 = 0, 3*x = -2*r + 2*x + 7. Solve q = -6 - r for q.
-6
Let o = 21260 - 21250. Solve -o = -8*g - 74 for g.
-8
Let d be 1/((-34)/(-4)) - 83/(-17). Let a be 24 - d/(-15)*-15. Solve 2*o + 17 = a for o.
1
Let u(g) = 14*g**2 - 54*g + 6. Suppose -2*s = -3*x + 2, 0 = -x - 3*s + 2*s + 9. Let l be u(x). Solve 5*k = l - 4 for k.
2
Let p be (5/40)/(2/32). Suppose p*u - 2*d - 16 = 0, u = -5*d - 6 + 8. Suppose -2*s + 0 + 6 = 0. Solve -s*a + 10 = u for a.
1
Suppose 601 = -54*r + 3517. Solve -r*k - 9 = -279 for k.
5
Suppose 2*m + 5*x - 25 = 71, 0 = 4*m - x - 192. Suppose -r = -m + 45. Solve q - r = 2 for q.
5
Let d = 14885 - 14882. Solve -d*s + 5*s = 42*s for s.
0
Let q = -4761 + 4825. Solve 54*i = q*i - 90 for i.
9
Let r(j) = j**3 - 6*j**2 - 7*j + 5. Let d be r(7). Let z be (-32)/(-9) - (-24)/54. Suppose 5*t + z*y = 0, -33 = -2*t + d*y - 0. Solve 6 = t*k + 10 for k.
-1
Suppose