, 0 = -3*h - 5*l - 18 + 5. Let s(m) = -m**3 + 4*m**2 + 5. Let p be s(h). Solve -16 = -p*y + y for y.
4
Let a be (-32)/(-128)*(1 + -1). Suppose a = -s - 29*s + 660. Solve -5*g - s = -2 for g.
-4
Suppose -v = -3*y + 1, -1 = 4*v + 3*y + 3. Let j be (-6 - 160/(-24))*(-9)/v. Suppose -j = 4*o - 18. Solve -o*a = 15 - 3 for a.
-4
Let y be (0 + (-10)/4)/(76/(-760)). Suppose 0 = -11*q + y + 96. Solve 3*b + q = -1 for b.
-4
Let z(j) = 2*j**2 + 9*j - 12. Let m(f) = 10*f - 76. Let b be m(7). Let q be z(b). Solve q*k = 2*k for k.
0
Let k = -5091 + 5133. Solve -40*g + 12 = -k*g for g.
-6
Let j be 56/147*3 - (-3732)/42. Solve -j = -18*u - 12*u for u.
3
Let r = 155 + -155. Let i be 0 + 3 - 4 - -8. Let j = -3 + i. Solve 9*b - j*b - 15 = r for b.
3
Let k be 21*(-6)/14*(-64)/36. Solve 24*m = k*m - 24 for m.
-3
Let z(f) = f**3 - 38*f**2 + 141*f - 21. Let p be z(34). Solve -p + 185 = -18*a for a.
-2
Suppose 82 = -15*s + 112. Solve 5*x - s + 37 = 0 for x.
-7
Suppose 8474*r = 8572*r - 2450. Solve r*d = d - 48 for d.
-2
Suppose 0 = q + 2*f - 13, -10*f + 12*f - 28 = -2*q. Suppose -6*i - q = -39. Suppose -4*d = -9*d + 40. Solve -i*a = -6*a - d for a.
-4
Let s = -6003 - -6030. Solve -s = 32*c - 23*c for c.
-3
Let g = -1360 - -1372. Solve 10*q - g = 4*q for q.
2
Let b = -1402 + 1402. Solve 5*u - 62 + 52 = b for u.
2
Suppose 0 = 5*a + 4*w - 27, a + 6*w - 18 = w. Let c(s) = 2*s + 7. Let f be c(a). Suppose 18*l - f*l - 25 = 0. Solve 0 = -3*j + l*j + 6 for j.
-3
Let y(h) = -h**3 - h**2 - 2*h - 12. Let k be y(0). Let l(p) = p + 21. Let c be l(-31). Let i be k/(-20) - ((-16)/c - 1). Solve -u + 4 - 1 = i for u.
3
Let c(b) = 9*b**2 - 85*b - 50. Let a be c(10). Solve 11*l + 45 - 111 = a for l.
6
Let y = -5163 + 5165. Let o = -2 + 3. Suppose 5*a - 9 = 2*a - z, -a - z = -3. Solve -o - a = -y*u for u.
2
Suppose a - 61 = -5*w, 4*a - 5 - 23 = -2*w. Solve -w - 13 = 5*c for c.
-5
Let v(o) = -2*o**3 + 3*o**2 + 19*o + 8. Let d be v(4). Let k be (-8)/(d/(-42) + (-352)/1155). Solve 0 = -3*r - 2*r + k for r.
4
Suppose 0 = a - 1 - 2. Let t be (a/5)/((-6)/(-30)). Let r(y) = y**3 - 8*y**2 + 4*y - 32. Let m be r(8). Solve 0 = t*d - m*d - 6 for d.
2
Let o(g) = -10*g**2 + 29*g + 32 + 31 - 37*g**3 + 36*g**3. Let j be o(-12). Solve 1 = 2*s - j for s.
2
Let n = 7 - 4. Let v be 38/8 - (-10)/8. Suppose -v*u = u - 84. Solve -u = -3*p - n for p.
3
Suppose 22*n + 38*n = 8*n + 5668. Solve 25*z - n = -34 for z.
3
Suppose -36*g = p - 31*g - 24, 4 = 2*p - g. Suppose h + p*h = 145. Solve -29 + h = i for i.
0
Let j = -45459 - -45526. Solve 0 = 42*n - j*n + 175 for n.
7
Let b = -50 + 59. Let a(t) = 6*t - 50. Let y be a(b). Suppose 2*s + c - y = 0, -6*c = 3*s - 5*c - 6. Solve 0 = -s*x + 3*x - 2 for x.
2
Let v = -19114 - -19118. Let h be 22 + (-1)/((-4)/(-8)). Let j = -6 + 10. Solve h = -v*w + j for w.
-4
Let s(c) = -c + 6. Let b be s(5). Let v(f) = f**3 - 9*f**2 + 16*f - 12. Let x be v(7). Let n be (x/(-5))/((-6)/90*b). Solve 4*o - n = 6 for o.
3
Let x(k) = -128*k - 3199. Let v be x(-25). Let z(n) = n + 7. Let g be z(-5). Suppose -h - 3*h + 6 = 5*l, l + g = 0. Solve 0 = 3*t + v - h for t.
1
Let c = -19499 - -19843. Solve 34*p + c = 72 for p.
-8
Let d be 10/4*48/(-120)*(-5)/1. Solve 13*n = -21 - d for n.
-2
Let m(p) = -p - 2. Let y be 18/(-22) - (-6)/(-33). Let s(n) = 49*n + 119. Let d(k) = y*s(k) - 42*m(k). Let g be d(-5). Solve g*z = -z for z.
0
Let d = 112 + -77. Suppose -2*o - 4 = -37*j + d*j, 5*o = -5*j + 30. Solve -o = 3*c + 4 for c.
-2
Let i(a) = -a**3 + 3*a**2 - 2. Let n be i(2). Suppose -2*q - 5 = d - n, 4*q = 5*d - 13. Suppose 0 + d = f. Solve 2*p - f = 5 for p.
3
Let w(j) = 2*j + 8. Let m be w(-2). Let y be ((-90)/21 - -2)/((-66)/231). Solve -4 = m*a - y for a.
1
Let u(q) = -q**3 - 2*q**2 - 1. Suppose 0 = -4*i - 1 - 11. Let z be u(i). Suppose v = -w + 3, 3*w - 33 = v - z. Solve -4*m - w = 1 for m.
-2
Let o = -1231 - -1235. Solve -585*p - o = -581*p for p.
-1
Let d = 81 - 79. Suppose d*a = 3*a - 4*c + 10, 5*a + 4*c = 22. Suppose 0 = -6*s - s + a*s. Solve 2*p + 2*p - 4 = s for p.
1
Let q be (-292)/(-18) + (-23)/(1863/18). Suppose -2*d = 3*c - 48, -11*d = 3*c - q*d - 69. Solve -6 + c = 3*p for p.
4
Suppose 3*c = -i - 6, 3*i + 2 = -11*c + 6*c. Solve 73*k + i = 71*k for k.
-3
Let u = 6 - 4. Suppose u*g = 5*g + 6. Let c be -1 + 2 + (g - (-3 + 2)). Solve a + 1 + 3 = c for a.
-4
Let m(l) = -8*l + 3. Let v be m(0). Suppose j - 10*j + 90 = 0. Suppose 3*g = 8*g - j. Solve v = c + g for c.
1
Let s(h) = -2*h**2 - 13*h + 16. Let a(r) = -5*r**2 - 27*r + 32. Let c be 69/(-9) - 10/(-15). Let b(q) = c*s(q) + 3*a(q). Let u be b(7). Solve 8 = u*z - z for z.
2
Suppose 97*t + 219*t - 733 - 8747 = 0. Solve -t*b + 20*b = -80 for b.
8
Suppose 0 = -13*g + 71 + 904. Solve 0 = -14*k + 39*k - g for k.
3
Suppose -5*k = -l - 423, 14*l = 5*k + 21*l - 399. Solve 0 = -28*j + 28 + k for j.
4
Let i(x) = x**3 + 32*x**2 - 32*x + 39. Let p be i(-33). Suppose p*g - 139 = -121. Let l(d) = d**2 - d - 2. Let v be l(2). Solve v*f = -g*f for f.
0
Let k(p) = 6*p**2 - 10*p - 23. Let q(x) = -4*x**2 + 7*x + 15. Let c(t) = 5*k(t) + 8*q(t). Let l be c(5). Let g = l + 19. Solve -g*b = -5*b for b.
0
Let z = -1781 + 1788. Solve -31 + z = 4*w for w.
-6
Let s(z) = 295*z + 9 + 4*z**2 - 264*z - 6*z**2 - 21 + 0*z**2. Let x(g) = 16*g**3 - 1. Let c be x(1). Let h be s(c). Solve 0 = h*l - 2*l for l.
0
Suppose -4*v + u + 70 = 0, 32 = 6*v - 4*v - 2*u. Solve -v*g - 33 - 57 = 0 for g.
-5
Let c = 17601 - 17566. Solve c*b - 128 = -23 for b.
3
Let k be (770/(-44) + 13)*(-4)/6. Solve k*i + 47 = 20 for i.
-9
Let p(d) = -d**3 + 53*d**2 - 518*d - 27. Let j be p(40). Solve 21*z = 11 - j for z.
-2
Let i = -173 + 189. Let q = -1240 + 1245. Solve -c + i = -q*c for c.
-4
Suppose -8*b + 4*b = 4*x - 24, 5*b - 44 = 2*x. Suppose b*n + 51 = 25*n. Solve n*i - 30 = 9*i for i.
-5
Let p = -546 - -556. Solve 0*t - 50 = p*t for t.
-5
Suppose -36 = -7*p - 8. Let x = 2151 + -2131. Solve -p*i = -9*i - x for i.
-4
Let o be (282/(-188))/(((-6)/(-28))/(-3)). Solve o*h = -29*h + 150 for h.
3
Let k be 7 + (-51)/15 + (-6)/(-15). Suppose -c - 2*f + 7 = 0, -7*c + 10*c = -k*f + 23. Solve c*h + 3 = 30 for h.
3
Let m(d) = 1741*d - 6964. Let o be m(4). Solve 8*k - 324 + 372 = o for k.
-6
Let c(z) = z**3 + 39*z**2 + 25*z + 1087. Let w be c(-39). Solve -39*y = -w*y - 365 for y.
-5
Let w = -145 + 155. Solve w*m - 14*m = 28 for m.
-7
Let j be (-3 + 1)/(-6)*12/2. Suppose -j*x - 151 = -181. Solve 5 = x*f - 10*f for f.
1
Let q be (-84)/(-2)*(-3)/(-18). Let n be 77*((-7)/q)/(-7). Solve 5*w - n*w + 18 = 0 for w.
3
Let l = 3155 - 3152. Solve 65 = l*d + 74 for d.
-3
Suppose -15*o - 624 = -2*o. Let j be (-64)/o + 22/6. Solve -17 = 6*a - j for a.
-2
Let y be ((-5)/2)/((-2)/4). Suppose 20 = -y*v, -2*b + 0*b - 5*v = 10. Solve 3*x - 2 = b*x for x.
-1
Let d(o) = -6*o - 122. Let c be d(-43). Solve -11*w - c = -202 for w.
6
Let b = -1 + 4. Suppose -161 = 30*f - 11. Let n be -1 + (-1)/((0 - f)/(-20)). Solve -2*k + n + b = 0 for k.
3
Suppose 10*c - 49*c = -4641. Let o be (-26)/(-14) + 17/c. Solve 3 = o*s - 7 for s.
5
Let o = 207 - 214. Let q be (o/(-7))/(1 - 2/4). Solve 0 = -q*d + d + 5 for d.
5
Let h be 43 + -17 - (-15 - -5). Solve 16*n = 34*n - h for n.
2
Let i be ((-141372)/85)/(-21) - (2 - (-28)/(-10)). Solve i*o = 16*o - 448 for o.
-7
Let k be 24/(-32) + 43/4. Suppose 18 = k*p - 2. Solve 0 = p*u + u for u.
0
Let x(q) = -3*q - 2 + 8 + 2 + q**2. Let m be x(4). Let n be (1/3)/(m/108). Solve 0 = -n*v - 11 + 2 for v.
-3
Let w be 9/21 + (-795)/(-105). Let r be (-2)/9 + w/36. Solve 3 = -j - r for j.
-3
Suppose -3*x - x = 0. Suppose 3*w = -4*c + 2*w + 3, -11 = -3*c + w. Suppose a + c*a = 60. Solve x*k = 4*k - a for k.
5
Let b(u) be the first derivative of u**4/24 + u**3/6 + 9*u**2 + 12. Let n(o) be the second derivative of b(o). Let a be n(-1). Solve a = -3*r - 0*r - 9 for r.
-3
Suppose 5*o - 3*z - 263 - 107 = 0, o - 74 = 3*z. Suppose o*a - 40 = 70*a. Solve a - 30 = -5*v for v.
4
Suppose 5*c = z + 37, 0 = z - 11 + 8. Solve 0 = c*k - 5*k + 9 for k.
-3
Let q(v) = v**2 + 6*v + 11. Suppose j = 0, 0 = l - 6*j + 9*j + 2. Let t be q(l). Solve n = -2*n + t for n.
1
Let u be (-84016)/272 + 1/((-34)/4). Let r be 6*3/(-6)*u/(-9). Let p = 122 + r. Solve -p = -5*x + 1 for x.
4
Let v(z) = -z**3 - 32*z**2 - 31*z + 1. Suppose 0 = -7*f - 64 