 = -m, -2*m + 6 = -3*y - 13. Let j(k) = k**3 + 7*k**2 - 6*k - 17. Let t be j(y). Suppose 15 = 4*w - t. Solve 0 = 5*i - 0 - w for i.
2
Suppose z = q + 2, -2*q - 5*z + 0*z = -24. Suppose 8 = -q*s + 22. Solve -12 = s*x - x for x.
-2
Let r = 613 - 578. Suppose -205 = -40*o + r. Solve -4 = 5*c + o for c.
-2
Let k(m) = -m**3 - 27*m**2 - 99*m. Let h be k(-4). Solve 374*d = 381*d + h for d.
-4
Let p be 8/18*(-27)/6. Let b be (-1 - 3/p)/((-27)/(-378)). Solve 2*t - b*t + 20 = 0 for t.
4
Let s be (215 - -17)*(-2)/(-4). Suppose -7*h + 4*h + 2*i = -s, -15 = -3*i. Suppose -h = -7*t + t. Solve 2 = -m + t for m.
5
Let j(a) = -a**2 - 33*a + 342. Let m be j(-41). Suppose u = 4*t - 13 - 10, -4*u - 2 = -t. Suppose w - t*w = -5. Solve w = 5*p - m for p.
3
Let k(l) = -184*l - 531. Let i be k(-3). Solve -18 = -i*y + 3 for y.
1
Let a be 526/12 + (-490)/588. Solve a*l = 11*l - 192 for l.
-6
Suppose -2*i - 3*h = -27, 5*i + 2*h = i + 66. Let m be -2*((-4)/i + 86/(-18)). Solve 4*y - m = -y for y.
2
Let s(w) = 105*w**2 + 9*w + 7. Let n be s(-1). Solve n*t - 12 = 100*t for t.
4
Let s(u) = 20*u + 80. Let c be s(-7). Let p be 2 - ((-72)/c)/(2/(-5)). Solve p*y - y = -20 for y.
-5
Suppose 4*s = -5*p + 11094, 150 - 156 = -3*p. Solve s*x - 8 = 2775*x for x.
-2
Suppose 0 = -2*i + 2*u + 534, 2*u = -3*i - u + 801. Let b = 275 - i. Solve 0 = -5*k + k - b for k.
-2
Suppose -2*f = 2*l + 4, -2 + 16 = -4*f + 2*l. Let a(u) = 19*u + 64. Let w be a(f). Solve -w*i + 3*i = 0 for i.
0
Let h(v) = 5*v**3 - 7*v**2 - 5*v + 4. Let s be h(2). Solve 86*l - s = 89*l for l.
-2
Let i be (1 - -1)/((-1)/39). Let k = -76 - i. Suppose 4*c - p = c + 8, -k*p = -2. Solve c*d - 11 = -2 for d.
3
Suppose -1 + 13 = 3*g. Let x = 548 + -538. Suppose -3*v + 5*y + 16 + x = 0, -16 = 4*y. Solve -2*u - v = g for u.
-3
Suppose -2*a - 20 = 4*z, 8*z - 25 = 13*z. Solve 17*q + a*q - 119 = 0 for q.
7
Let l be (-412)/(-1) + (432/(-56) - -9)*-7. Solve -l + 383 = -10*b for b.
2
Suppose 2*k + 20 = -36. Let l = 30 + k. Let o be 7 + l/1*7/(-14). Solve o = -7*x + 4*x for x.
-2
Let z be ((-9)/(-15))/((-3)/(-90)). Let u be 3 + z/(1*12/(-56)). Let l = -77 - u. Solve -c = l*c for c.
0
Let y(f) = 18*f + 3068. Let i be y(-154). Solve -39*k = -2*k + i for k.
-8
Let k be 0*(-1)/(-2) - -27. Let p(z) = -1 - 19*z**3 + 4 + z - 5 + k*z**3. Let i be p(1). Solve -4*f - 13 = i for f.
-5
Let i(h) = -35*h**2 + 7*h - 2. Let x be i(1). Let q = x + 34. Solve 4*u = -0*u - q for u.
-1
Suppose 81*b = -67*b + 135*b + 39. Let o be ((-2 - -1) + 0)*-2. Solve -2*h = -b*h + o for h.
2
Suppose 0 = 3*g + 5*a + 14, 4*a + 7 = -2*g - 5. Suppose 12 = g*i - 4*z, 7*i + 4*z + 4 = 5*i. Solve -i = 5*s - 3*s for s.
-1
Let b = 566 + -564. Let j be 5/10*(7 + 1). Suppose l = 3*h - 13, 9*l = 3*h + j*l - 17. Solve -2 - b = h*v for v.
-1
Let w = 2425 + -2422. Let r = 3 + 1. Suppose -r*v = v. Solve c - w - 2 = v for c.
5
Let n be ((-10)/(-15))/(-1) + 24/9. Let b(k) = k**3 - 3*k**2 + 4*k - 5. Let o be b(n). Let j be (-2)/4 - o/2. Solve j = 5*g - 0*g for g.
0
Let w(j) = -1 - 1 - j - 4 - 5. Let o = -259 + 248. Let h be w(o). Solve h = -4*t - 0 - 4 for t.
-1
Let j = 489 - 347. Suppose 0 = -141*h + j*h - 5. Solve 0 = -h*i + 53 - 38 for i.
3
Let r be 17306/170 - (-2)/10. Suppose 2*n - r = -82. Solve 12 + 8 = n*a for a.
2
Suppose 0*t = 5*t - 3*q - 20, -5*q = -3*t + 28. Suppose 0 = 36*z - 27*z - 27. Let v be 40/(-6)*21/(-14). Solve -z*w - t = -v for w.
3
Let d be (-11 - 2 - 0) + 47. Solve d*o = 37 + 133 for o.
5
Let z = -11397 - -11713. Solve -z*i - 35 = -323*i for i.
5
Let s be (-18)/(-4) - (-230)/460. Let l(o) = -o**3 - o**2. Let y be l(-1). Suppose y = 5*a + u - 45, 2*a + u - 40 = s*u. Solve 9*x - 4*x = -a for x.
-2
Let q = 7 + -3. Let z be (56/((-10416)/62))/((-3)/(3 - -33)). Solve -z - 8 = q*o for o.
-3
Suppose -5*m + p + 50 = 0, -4*m + 8*p + 41 = 7*p. Solve 0 = -m*r + 6*r - 15 for r.
-5
Let f(j) = 3*j**2 - 88*j + 196. Let q be f(27). Solve 0 = 11*u - q*u + 12 for u.
-3
Let h be ((-26)/3 - -6)*(-3)/4. Suppose -3 = 3*x, -h*x + 8 = u + 1. Suppose -6 - u = -g. Solve 4*l = -l - g for l.
-3
Let o be 9 + (-6)/12*4. Suppose o*s = -7 + 21. Solve s*u = 11 - 3 for u.
4
Let u(f) = f**2 - 8*f + 15. Let g be u(7). Suppose 4*w - g = 8. Suppose -w*x = -2*x - 8. Solve 2*d - x*d - 8 = 0 for d.
-4
Let x(u) = 4*u**3 - 7*u**2 - 28*u + 64. Let s be x(2). Solve 98 = -s*f + 38 for f.
-5
Let n be 3 + (-78)/(-4) + 124/(-248). Solve -n*s = 23*s + 90 for s.
-2
Suppose 0 = -s - 60*s. Solve -22*m - 15 + 81 = s for m.
3
Let d(n) = -n**3 - 16*n**2 - n - 12. Let b be d(-16). Suppose b*i = -5*q + 5*i - 266, 0 = -q + 3*i - 56. Let w = q + 54. Solve 3*a - w = 2*a for a.
1
Let z = 3123 - 3116. Solve 40 - 68 = -z*l for l.
4
Let x be -20*(-2 - 14/(-6))*-42. Let i be (-6)/10*x/(-84). Solve -i*w + w = 0 for w.
0
Let v = -22793 - -22800. Solve v*d + 29*d + 35*d = 0 for d.
0
Let l(b) = b**2 - 18*b - 111. Let a be l(23). Suppose a*k + 24 = 2*g, 5*g + 6*k + 15 = k. Solve 4*x - g = 2*x for x.
1
Let p be (8/6)/(18/189). Solve p = -68*g + 61*g for g.
-2
Suppose 1 = 3*a + 4*s, 3*a - 9 = a - s. Suppose 5*n + 17 = w, w + 0*n + 5*n - a = 0. Let t be (-15)/w*(8 + -12). Solve t*g + 15 = 2*g for g.
-5
Let u(k) be the third derivative of k**6/120 + 7*k**5/60 - 23*k**4/12 + k**3/2 + 262*k**2. Let o be u(-11). Solve 6*g = g + o for g.
5
Suppose 0 = 33*t - 6*t - 1782. Suppose -42*f = -t*f + 120. Solve -4*i = f + 11 for i.
-4
Let o be (-1107)/287 - 1/7. Let t be ((-3)/3)/(o + 7 + -4). Solve a - 2*a = t for a.
-1
Suppose -7*p = -3*p - 16. Suppose 68 = p*h - 32. Suppose -2*r + 2*i = 10, 2*r - 5*i = -r - h. Solve 6*c - c = r for c.
0
Let l be (76/(-20))/(2/(-10)) + -4. Solve -l - 33 = 12*f for f.
-4
Suppose -2*b - 180 = 3*p, 4*b + p - 85 = -445. Let x be (-618)/b + -7 - 92/(-15). Solve 12 = 9*d - x for d.
2
Let m = 624 + -675. Let p be 3/(-30) - 2/(20/m). Solve v - p = -10 for v.
-5
Suppose 39*y - 285 - 39 = 3*y. Let g = 0 - 0. Solve g = 3*l - 0 + y for l.
-3
Let s(c) = 217*c + 3261. Let r be s(-15). Solve 1193 = -r*p + 1205 for p.
2
Suppose o = -3*u - 157, -2*u - 3*o - 39 = 75. Let s = -16 - -68. Let l = u + s. Solve -v - 3 = -l for v.
-2
Suppose -10*p + 3*q = -7*p - 93, -p + 4*q = -46. Solve -37*m + p*m + 77 = 0 for m.
7
Let f(c) = c**2 - 7*c + 277. Let r be f(9). Solve 14*i - 323 + r = 0 for i.
2
Suppose c - 5*o = 90, -4*o + 90 = -351*c + 352*c. Solve 20*v - 30 = c for v.
6
Let n = 353 - 88. Let w = n + -261. Solve -11 = -w*u + 5 for u.
4
Let j = -327 - -331. Solve -j*o - 5 = -17 for o.
3
Let k(z) be the third derivative of 0 - 15*z**2 + 0*z + z**3 - 1/24*z**4. Let s be k(5). Solve m = -0 + s for m.
1
Let v(m) = 8*m**2 + 69*m - 210. Let h be v(3). Solve 0 = -h*i - 29 - 40 for i.
-1
Let p = -604 + 635. Suppose 0 = -j + l - 4*l + 1, -5*l = -3*j + p. Solve -j*w - 5 - 16 = 0 for w.
-3
Let f(o) = 3*o + 14 - 7*o + 10 - 31. Let y(n) = n + 1. Let a(d) = 2*f(d) + 2*y(d). Let b be a(-3). Solve t = b*t for t.
0
Let p(b) = 2*b - 10. Let g be p(9). Suppose -24*q = g*q - 160. Solve q = 2*t - 1 for t.
3
Suppose 0*g - 192 = -5*g - 3*g. Solve g*t = -0 - 120 for t.
-5
Let l = -23688 + 23878. Solve 114*o - 266 = l for o.
4
Let n be ((-11)/(-20) - 1/(-4))*20. Let q(u) = u**2 - 16*u + 97. Let g be q(n). Solve 0 = 95*f - g*f - 10 for f.
-5
Let q = 167 + -163. Suppose 3*x = x + q*f - 4, 0 = -3*x - 2*f + 26. Solve r = -x + 3 for r.
-3
Let x be (21 + 19)*(12/(-16) - -1). Solve x*o = 38*o for o.
0
Suppose -2*v - t + 11 = 0, -23 + 0 = -2*v + 3*t. Suppose v*a - 9*a = -5*q + 33, -5*a = 2*q + 10. Solve 16 = 9*p - q*p for p.
4
Let h = 280 + -278. Let r be (-2)/8*h*-2*1. Solve 2*c - 5 = -r for c.
2
Let i be (-1)/(-2) + 2445/326. Solve 9*w + 34 = -i*w for w.
-2
Suppose 147*v = 55*v + 75*v. Solve v = -11*l + 98 - 43 for l.
5
Suppose -w + 36 = 3*q, 2*q + 0*q - 13 = 3*w. Let y(g) = g - 1. Let x be y(6). Suppose -8 - 5 = c + x*l, l + q = c. Solve 3*h - c*h + 8 = 0 for h.
2
Suppose -102 = 3*j - 6*j + 3*z, 5*j - 174 = 4*z. Solve j*h - 4 = 34*h for h.
1
Let n(j) be the third derivative of -j**6/120 + j**5/60 + j**4/4 + 174*j**2. Let v be n(0). Solve v = 2*p - 3*p - 2 for p.
-2
Let r(v) = v**3 + 11*v**2 + 28*v - 12. Let m be r(-6). Solve m = 173*c - 156*c - 34 for c.
2
Suppose -f - 2*h - 12 = 0, -12 = -3*h + 3. Let t = -22 - f. Suppose -3*l - 3*r - r + 22 = 0, 5*r = 20. Solve 