2 = 7*z. Suppose -z*l = -v - 10, 2*v - 4*l + 20 = -20. Let p = v + 32. Solve -i + 2 = -p*i for i.
-2
Let t = -3223 + 3228. Let n = 1 - 1. Suppose t*w + 5*d + 12 = -3, -d - 3 = n. Solve -3 = f - w*f for f.
-3
Suppose -90 + 93 = 3*r. Let q(h) = -h + 9. Let m be q(7). Solve -m*i = 9 + r for i.
-5
Let n(i) = -2*i**3 + 13*i**2 + 24*i - 164. Let d be n(6). Solve -22*q - d*q = -76 for q.
2
Let g = -103 - -134. Suppose 2*k = -3*n + 4, -2*k - 8 = -0. Suppose -2*b + 9 = -n*v - 9, 5*b - 3*v = g. Solve y + 2 = b for y.
3
Suppose 0 = -49*o - 402 + 1578. Solve 107*w = 101*w + o for w.
4
Suppose -4*n + 4*c + 136 = 0, 0 = -35*n + 32*n + 2*c + 103. Solve -56*d + n = -77 for d.
2
Let s be ((-3)/4)/(38/(-4104)). Let m be (-32)/10*(-25)/10. Suppose -y + s = m*y. Solve 0 = -5*u + y + 16 for u.
5
Let r(c) = -7*c + 8*c - 2 - 7 + 0*c. Let j be r(13). Suppose -j*s - 5*q = -17, -5*s + 6*q = 3*q - 12. Solve 7*f = s*f - 4 for f.
-1
Let u be (-3994)/(-8) + (-62)/(-8) + 1008/(-126). Solve 10*t + u - 549 = 0 for t.
5
Let s(z) = -4*z - 14. Let p be s(-9). Let n = 27 - p. Suppose -6*u - 2*i + 35 = -u, -n*u + 3*i + 35 = 0. Solve 4*h + 1 + u = 0 for h.
-2
Let r be 3 - (6 + (-6 - -3)). Let v be r*((-9)/(-6))/(-4 + 1). Solve 0*g - 2*g = v for g.
0
Let t(w) = 2*w**3 - 16*w**2 - 17*w - 7. Let r be t(9). Let d be 7 + (r - -6) + -8. Solve d*c = 5*c - 2 for c.
-1
Suppose 0 = 9*a + 51 - 375. Solve 16 + a = -13*b for b.
-4
Let i(f) = 15*f**3 - 7*f**2 + 8*f. Let g(y) = y**3 + 8*y**2 - 17*y - 71. Let b be g(-9). Let h be i(b). Solve -7*w + h = w for w.
2
Suppose 453*g - 1456 = 349*g. Solve g*k + 34*k - 336 = 0 for k.
7
Let g be (5 + -75)*(3/1 + (-72)/20). Solve -g = -144*v + 137*v for v.
6
Let r(h) = h - 2 - 9*h + 8*h + h. Let l be r(-2). Let o be (1 - l)*(-4)/(-10). Solve -o*n + 3 = -1 for n.
2
Suppose m - 840 = 3*i, 3*i + 13*m - 10*m + 828 = 0. Let s = i - -283. Solve s*h + 1 = -11 for h.
-3
Let n be ((-1)/1)/1 + (-3)/3. Let y be 5/3*(6 + (n - 1)). Let j be (-2)/(-6) + (-5)/(-3). Solve y = -3*x - j*x for x.
-1
Suppose -60*p = -58*p - 6. Suppose 5*t = 3*t + r + 9, -p*r = -3*t + 18. Solve 7 = t*c + 19 for c.
-4
Let n(u) = 7*u**2 + 9*u - 124. Let k be n(-5). Solve -k*f = 2*f + 16 for f.
-2
Suppose 3*n = -2*t - 932, -3*t = -8 - 7. Let s be n/(-8) + (-21)/(-28). Suppose i + 4*i - s = 0. Solve i - 2 = 2*m for m.
3
Suppose -356 + 83 - 1360 = -71*d. Solve -d*w + 8*w = 0 for w.
0
Suppose 0 = 3*y + 27 - 33. Suppose 0 = y*p - 3*z + 6, 16*p - 5*z = 12*p - 8. Solve 3*c = -p*c + 24 for c.
4
Suppose -94*n - 1591 + 3559 = 1592. Suppose 2*a = -0*a. Solve a*s = s - n for s.
4
Let i(l) = 2*l**3 - 60*l**2 - 120*l - 141. Let m be i(32). Solve 175 = 12*x + m for x.
5
Let h be (0 - 1)/((-1)/11). Suppose 2*z - 14 = -4*n, 4*n - 6*z + 10*z - 8 = 0. Solve n*q = -6 + h for q.
1
Let o = -27495 + 27564. Solve -213 = 16*m - o for m.
-9
Suppose -2*s - 3*b - 24 = -6*s, -s = 3*b - 6. Suppose s*w - 222 = 246. Suppose w*q - 75*q - 12 = 0. Solve 6 + 2 = -q*g for g.
-2
Suppose -4*r - 381 = -c + 74, -4*r - 440 = -4*c. Suppose 499*t + 936 = 491*t. Let z = r - t. Solve z*d = -2*d - 16 for d.
-4
Let i be (-1)/(-2) + 26/4. Let s be 0 + 5 + 40*(-16)/(-64). Suppose i*u = 4*u + s. Solve -u*r - 20 = -0*r for r.
-4
Let z(q) = 6*q**2 - 4*q**2 - 11*q - q**2 - 123. Let l be z(-7). Let u(c) = -c**3 + 3*c**2 - 2. Let d be u(2). Solve -l*i = d*i + 15 for i.
-3
Let l = 6862 - 6861. Let b = -2 - -5. Suppose 5*v + 7*w - b*w = 19, 6 = v + 3*w. Solve -l = 2*d - v for d.
1
Let t = -1012 - -1022. Let n(a) = -2*a - 2. Let g be n(-4). Solve -g = -2*l - t for l.
-2
Suppose 4*g - 2914 + 1038 = -5*s, -2*s - 3*g + 756 = 0. Suppose -11*d - s = -966. Solve -d*q + 56*q = -10 for q.
-5
Let s = 32 + -27. Suppose s*k - 25 = -5*a, a = 1 - 3. Let v be 4/k - (-560)/49. Solve 4*y + 0*y - v = 0 for y.
3
Suppose -118*y - 298*y + 15994 = 1018. Solve -177*o + y = -183*o for o.
-6
Let x(g) = 252*g**2 + g - 17. Let w be x(0). Suppose 0 = 3*n - 4*p - 63, p + 35 + 19 = 3*n. Let m be (w + n)*(-1)/2. Solve m = 2*f + 3*f + 20 for f.
-4
Let d(i) be the third derivative of i**5/60 + i**4/8 - 5*i**3/2 + i**2. Let q be d(5). Suppose 0 = 11*z - 16*z + q. Solve c - 2*c = z for c.
-5
Let x be -30*(2/3 + -1). Suppose -75 = x*f - 13*f. Suppose h - v + 5 = 0, -2*v = -4*h + 3*v - f. Solve 16 = 4*w - h for w.
4
Let c = -10734 + 10772. Solve 50*y - c*y + 24 = 0 for y.
-2
Suppose 4*q - 4 = 0, -2*q - 2*q = -5*u - 4. Solve 31*x - 25*x + 18 = u for x.
-3
Let a be 3/(-6)*26 - -13. Solve 15*s - 15 = -a for s.
1
Let r = 298 - 315. Let z(h) = -h**3 - 12*h**2 + 84*h - 4. Let o be z(r). Solve -o*a - 2 = -12*a for a.
-2
Let q be (-2)/(-1*(-2)/(-31)). Let s = q + 7. Let h = -37 + s. Solve -h = 4*c + 3 for c.
-1
Suppose -5*q = -d - 3*d + 226, 268 = 5*d + q. Let s(c) = -25*c**2 + 12*c - 30*c**2 + d*c**2 - 20. Let b be s(10). Solve b = 4*k - 2*k + 10 for k.
-5
Let a(g) = 8*g - 19. Let d be a(5). Let p = 115 + -112. Let k be (d/(-35))/(1*p/(-45)). Solve -4*i + i + k = 0 for i.
3
Let a = 133 + -298. Let j be (2/(-3))/(-4 - 649/a). Let y be (0 - 3)/(4/(-12)). Solve -j*u = -y*u + 4 for u.
-4
Let j = 14454 - 14438. Solve 19*b - j*b = -15 for b.
-5
Suppose 0 = 2*z + 3*i - 37 + 32, 0 = 5*z + i - 32. Solve z*n = 10*n + 6 for n.
-2
Suppose 0 = -8*f + f + 14. Suppose -6 = p - 4*w - 42, 3*p + f*w - 52 = 0. Solve 6*l = 2*l - p for l.
-5
Let r be (168 + 9 + 11)*(-14)/(-8). Solve 7*k - r + 343 = 0 for k.
-2
Let o be -3*((-3012)/9)/4. Suppose -49 = 2*w + o. Let q be 20/(-3)*w/125. Solve n - q + 3 = 0 for n.
5
Suppose 620 = 17*f + 45*f. Solve 0 = f*l + 11 + 19 for l.
-3
Let y = -23317 + 23737. Solve 40*m = -y + 140 for m.
-7
Suppose 0 = 20*t + 257*t - 16235 + 1831. Solve 0 = -44*j + t*j + 64 for j.
-8
Let f = -8350 - -8356. Solve f*m = -16*m + 66 for m.
3
Let c(h) = h**3 - h**2 - 30*h + 106. Let l be c(4). Solve -l = 31*g - 96 for g.
2
Let a = -9398 + 9403. Solve 10*d = a*d + 30 for d.
6
Let d be (-5809)/(-3) + (-20)/(-90)*-6. Solve d*f - 1932*f = 0 for f.
0
Let q = -1558 + 1838. Solve 0 = 271*t - q*t + 63 for t.
7
Let g(b) = 2*b + 32. Let p be g(-14). Suppose l = -2*v + 29, p*l = -l + 2*v + 121. Let c = -22 + l. Solve c = -t + 4*t for t.
1
Suppose 2077*k - 2084*k + 775 = -1150. Solve -6*i = -263 + k for i.
-2
Let a(j) = -3*j - 1. Let b be a(-2). Let s = 15116 + -15101. Solve 0*x = b*x + s for x.
-3
Let r be 837/72 + -7 - (-6)/(-96)*-6. Let i = 6 + -3. Solve 8 = i*q + r*q for q.
1
Let i = 336 + -336. Suppose i = 78*z - 83*z + 50. Solve -2*y + z = 4 for y.
3
Suppose 2*z - 144 + 600 = 0. Let q = z - -230. Let n(r) = r**2 + 5*r - 1. Let v be n(-6). Solve -q*u + u = v for u.
-5
Let k(t) = -t**2 + 11*t - 4. Let a be k(7). Suppose -3*n + a = 4*o - 0*o, -3*n + o + 39 = 0. Suppose -n = 4*w, l + 6 = 3*l - 2*w. Solve l = v - 6*v - 25 for v.
-5
Let y be 21/(-9)*(-18)/2. Let f(v) = v**2 - 23*v + 12. Let p be f(y). Let s = p - -32. Solve s*n + 8 = 2 for n.
-3
Suppose 17*v = 506 + 89. Suppose 0 = v*l - 36*l + 8. Let k = 1 - 1. Solve -2*n + 0*n + l = k for n.
4
Let b = 4 + -1. Let z be (32 + -30)*2/(-10)*(-5)/2. Solve -7 = b*u - z for u.
-2
Let v = -61 - -60. Let b(u) = -37*u - 1. Let g be b(v). Let f be (145/87)/(10/g). Solve f*k - k = -10 for k.
-2
Let w be ((-7)/3 + 1)/((-18)/324). Suppose -k = -2*j + w + 49, -3*k = -3. Let r = j + -34. Solve s + 0*s - r = 0 for s.
3
Let p = -41 + 55. Suppose 0 = -3*n + k + 17, -2*n + k + p = 2. Let l be n + (-78)/(-15) + (-1)/5. Solve -2*d + l = 3*d for d.
2
Suppose 5*k - 261 = -2*f + 511, 2*k = 2*f + 306. Let i be ((-12)/14)/((-33)/k). Suppose 3*q = -5*l - 5, 3 = 4*q - 3*l - 0. Solve -n - i + 0 = q for n.
-4
Let i = 2988 - 2903. Solve -i*k + 9 = -88*k for k.
-3
Let u = 17545 + -17516. Solve -u*w = -55*w - 52 for w.
-2
Suppose -4*i + 0*i = -368. Suppose 96*r - 12 = i*r. Solve -r*t - 16 + 13 = 0 for t.
-1
Suppose 129*p = 108*p + 1848. Solve 93*z = p*z - 25 for z.
-5
Let m be 1320/(-16)*(-8)/(-6). Let k = m - -112. Let d be (k + 2 + -4)*2/4. Solve d = -f + 1 - 0 for f.
1
Let y be 1/((-2)/(-173)) - 7/(14/(-3)). Solve 12*f = -y + 124 for f.
3
Let x(n) = -2*n**2 + n. Let w(l) = -3*l**2 + 14*l + 36. Let h(b) = -w(b) + 2*x(b). Let p be h(-6). Solve p*g - 6 = -2*g for g.
3
Let w(j) = 3*j - 17. Let u = 69 + -62. Let h be w(u). Suppose -h*v = -28 - 12. Solve 4*q = 10 + v for q.
5
Let o(w) = -104*w 