-8). Let t be ((-2)/1)/(-4)*w. Let y be (-2 + -10)*10/(-60). Solve y*f + t = -0 for f.
-1
Suppose 2*q - 3*u = 369, -2*q = q - 4*u - 555. Let l be q/12 - (-3)/(-4). Solve s = 4*s - l for s.
5
Suppose -y + 6 = -2*c + 1, 0 = y + 3*c. Let l be y - 1 - (-1 - -15). Let r be l/((-1)/((-2)/(-4))). Solve r*d - 8 = 2*d for d.
2
Let r = -154 + 158. Suppose -y = 0, r*z + z - 20 = -5*y. Solve 3*b = -b + z for b.
1
Let u(l) = -141*l + 271*l + l**2 - 9 - 141*l. Let p be u(12). Suppose -k = 2*k. Solve k = m + p for m.
-3
Let a(k) = -5*k + 12. Let t be a(1). Solve 12*o - 25 = t*o for o.
5
Suppose -4 = -5*r + 36. Let l(c) = -c**3 + 7*c**2 + 8*c + 3. Let m be l(r). Solve -4*h = -m*h for h.
0
Suppose 3*j - 4*p = 28, -10 = -j + 2*p - p. Let q(o) = -2*o**2 + 26*o - 9. Let c be q(j). Solve -4*n = -n - c for n.
5
Let i(a) = a**2 - 2*a + 5. Let o(b) = -3*b**2 + 4*b - 10. Let t(j) = -5*i(j) - 2*o(j). Let z = -11 - -7. Let u be t(z). Solve 0 = -r - u*r - 12 for r.
-3
Let w(x) = 5*x**3 - 3*x**2 + x - 1. Let n be w(1). Solve 0 = 3*g - n*g + 4 for g.
-4
Let y(p) = p**3 - 14*p**2 + 14*p - 9. Let k be y(13). Solve 95 = k*l + 91 for l.
1
Let n = -2956 - -2963. Solve 14*w = n*w - 21 for w.
-3
Suppose 0 = 2*a - 4*z + 2 - 4, -2 = -z. Let p = a + -3. Solve 2*t - p + 4 = 0 for t.
-1
Let u be (10/(-3))/((-10)/15). Let r(n) = -n**3 - 2*n - 3. Suppose j + 1 - 7 = -2*q, -2*j + 3*q = 16. Let x be r(j). Solve u*b - 6 = x for b.
3
Let q = 454 + -454. Solve q = -33*v + 31*v for v.
0
Let x = 73 - 71. Suppose 0 = -f + s + 5, -4*s - 12 = -x*f - 0*s. Solve -6*y + 2*y = f for y.
-1
Suppose p + 3 = -2*s - 0*s, -s - 5*p - 24 = 0. Suppose -7*a = -2*a - 25. Suppose -a*m - s = -6. Solve m = g - 0 for g.
1
Let i(y) = y**2 + 4*y + 10. Let n be i(0). Solve -l - n = -6*l for l.
2
Let a(k) = -9*k - 15. Let h be a(-3). Suppose -c - 5*s + 4 = -4*s, h = c + 5*s. Solve -v + 12 = c*v for v.
4
Let y be (-3368)/32 + (-6)/8. Let a = -106 - y. Solve a = -4*m + 3*m + 3 for m.
3
Let v = 349 - 345. Solve 2 + 14 = v*m for m.
4
Let r be (2/3)/((-25)/(-30))*10. Solve 2 = -r*l + 2 for l.
0
Suppose -171*k + 4 = -169*k. Solve 0 = -k*c + 4 - 14 for c.
-5
Let u be 10/2 - (-4)/(6 - 5). Solve 0 = -u*d + 5*d - 20 for d.
-5
Suppose 6*l = -9*l. Solve 11*b - 8 + 52 = l for b.
-4
Let n be (-1)/(-2 + 327/162). Let v = n + 75. Let q = v - 21. Solve 3*l + 0*l + 12 = q for l.
-4
Let m be (1 + 6/(-3))*-3. Let o be 9 + 2 + (-1 - m). Let z be (-2)/6 - (-21)/9. Solve 3 = z*n - o for n.
5
Let i be (-48)/(-12) + -1 + 0. Suppose 0*a - 4*a + 17 = 3*h, a = i*h - 7. Solve h*n + 3 = -3 for n.
-2
Suppose o - 12 = -5*n, 7*n + o = 5*n + 3. Solve -6*h = n*h for h.
0
Let i(n) be the first derivative of n**3/3 + 5*n - 12. Let z be i(0). Solve -z*h - 4 = -h for h.
-1
Suppose 5*t - 11 = 19. Let i = 39 - 28. Let w = -9 + i. Solve 0 = -w*a - a + t for a.
2
Let n be 2/(-4)*1*-6. Suppose 16*u - 21*u = 4*q, 0 = -u. Solve q = -n*p + 2*p - 2 for p.
-2
Let k(a) = 4*a + 34. Let t be -11 + 6/(-12)*-8. Let n be k(t). Solve -b - 2*b - n = 0 for b.
-2
Let b = -76 - -79. Let h(f) = f**3 - 3*f**2 + f + 2. Let x be h(2). Suppose x*u - u = 2, 4*u + 14 = b*v. Solve 0 = -0*m - v*m - 10 for m.
-5
Suppose 3*r - 7*d + 84 = -10*d, 5*r - 3*d = -108. Let g be (r/15)/8*0. Solve 2*b + 4 = -g for b.
-2
Suppose -3*t = v - 21, 0 = -6*t + 2*t - 4*v + 20. Let z = 10 - t. Solve 1 + z = -k for k.
-3
Let s = 3 - 69. Let j = s - -67. Solve 2 - j = -o for o.
-1
Let x(f) = 6*f**3 + 2*f**2 - 4*f - 4. Let t(d) = -5*d**3 - 2*d**2 + 4*d + 3. Let u(a) = 7*t(a) + 6*x(a). Let k be u(2). Solve 0 = -k*y + 2 + 8 for y.
2
Let r = -3 + 0. Let p be r + (-1)/(2/(-6)). Suppose -2*q + 16 = -2*w, 0 = 5*q + w - 5*w - 37. Solve p*s - s = q for s.
-5
Let n(k) = -2*k**2 + 4. Let v be n(0). Suppose r - v*r + 39 = 0. Solve r = 4*p - 7 for p.
5
Let j = -176 + 177. Solve 0 = -2*w - j - 1 for w.
-1
Let r(l) = 2*l**2 + l + 2. Let q be r(-2). Suppose 0 = -u - u + q. Let v be 2/4 + (-2)/u. Solve -i + 6*i - 10 = v for i.
2
Let b(q) = 4*q**2 - 7*q - 2. Let t be b(2). Solve -2*a - 6 + 4 = t for a.
-1
Let r = 441 - 437. Solve 0 = -3*z + r + 5 for z.
3
Let r = -8 + 13. Suppose 2*z - r*k + 2 = 0, 5*z - 3*k - 9 - 5 = 0. Solve -u = z*u for u.
0
Suppose 0 = -4*j - 5*u - 17, 0 = j + 3*j - u - 13. Solve 0 = a + j - 0 for a.
-2
Let h be (-48)/(-14) - (-18)/(-42). Solve -h - 12 = 3*i for i.
-5
Suppose 2392 = 12*z - 416. Solve -z*p + 237*p = -12 for p.
-4
Suppose -840*t - 364 = -854*t. Solve t*g - 12 = 20*g for g.
2
Let s(f) = f**3 - 7*f**2 - 4*f + 30. Let i be s(7). Suppose i*j = -j + 9. Solve j*w + 2 = -1 for w.
-1
Suppose -52*s = -57*s + 55. Solve t - s*t - 10 = 0 for t.
-1
Let c be (((-7980)/16)/35)/((-3)/16). Solve -19*f - c = -0*f for f.
-4
Let k(o) = -o**2 - 12*o - 5. Let m be 74/9 - 12/54. Let q(n) = -2*n + 6. Let j be q(m). Let l be k(j). Solve 0*w = 3*w - l for w.
5
Let m = -244 - -247. Solve -2*h - 5 + m = 0 for h.
-1
Suppose 0 = 5*g - s - 13, -4*g - 6*s = -10*s - 4. Solve 2*c - 7 + g = 0 for c.
2
Let x = 1085 - 1085. Solve x = -10*y + 10 for y.
1
Suppose -36 = -44*k + 35*k. Solve -2*s - k = -4*s for s.
2
Let j(k) = -9*k - 434. Let v be j(-52). Solve v*c - 8 = 32*c for c.
4
Suppose 4*t = 3*s - 8, 5*t - 1 - 4 = 0. Let y = s - 4. Solve c = -y*c for c.
0
Let f = 465 - 465. Suppose -5*a + 2 = -3. Solve a = -f*c + c for c.
1
Let q(v) = -v**3 - 5*v**2 + 4*v - 6. Let m be q(-6). Solve -5*r + m*r + 2 = 0 for r.
-2
Suppose 28*u - 5*u = 253. Solve -9 = 5*p + u for p.
-4
Let t(b) = b. Let a be t(2). Solve a*p - 16 = -2*p for p.
4
Let w be ((-5)/(-15))/(1/45). Solve -2*p = p - w for p.
5
Suppose -3*w = -5*n + n - 39, 5*w + 22 = -3*n. Let j = 13 + n. Suppose 4 = -2*d, -3*y = -y + 2*d - j. Solve -i + 2*i - y = 0 for i.
4
Suppose 3*k - 2*w - 19 = 0, 2*k = -3*w + 1 - 10. Suppose 2*r - 18 = 5*h, k*h + 3 + 3 = 0. Solve -o = -r*o for o.
0
Let z be 0/2*(-2)/(-4). Let c(s) = -170*s + 5 + 5*s**2 - 4*s**2 + 169*s + s**3. Let k be c(z). Solve k + 7 = 3*y for y.
4
Let a(y) = -y - 7. Let c be a(-9). Let r be (0 - 1/2)*(5 - 17). Solve r = c*l - 0*l for l.
3
Let z be 3 + 3/(-9)*-21. Suppose -5*c + z*c - 20 = 0. Let h(o) = -o**3 + o**2 - o - 1. Let m be h(-1). Solve -l = -m*l + c for l.
4
Let p(t) be the third derivative of t**4/24 + t**3/3 - 5*t**2. Let c be p(0). Suppose -g + 0 = c*n - 1, 3*g - 10 = n. Solve g*q = 6 - 0 for q.
2
Suppose 0 = 3*f - 4*f - 4. Let q(k) = k**2 + 4*k + 3. Let w be q(f). Solve -p = w*p for p.
0
Let y be (-1)/2 + (-25)/(-10). Suppose 0 = -4*a + 1 - 37. Let b = a - -9. Solve b = y*w - 8 for w.
4
Let y(r) = r**3 + 2*r - 6. Let c be y(2). Suppose 3*z - 3*m - c = 0, 2*z - 5*m = -2*z + 5. Solve 0 = -2*o - 1 + z for o.
2
Let c(d) = 4*d - 142. Let y be c(36). Solve -7 = -y*i + 9*i for i.
-1
Let y(r) = -r**2 + 15*r - 8. Suppose 22 = g - 4*m, -m = -2*g - 2*g + 58. Let b be y(g). Solve -5*p - b = -2*p for p.
-2
Suppose -5*u + 18 = 4*h - 0, 4*u - 5*h + 2 = 0. Let b be (-1 - 8)/(-3) - 11. Let y be 36/b*4/(-6). Solve y*d = -u*d - 15 for d.
-3
Suppose 9*t = 12*t - 18. Let c be (-4)/(-6) - (-2)/t. Solve -c = v - 2 for v.
1
Suppose -2*z - 36 = -z. Let q = z + 34. Let t be (-1)/q - 1/2. Solve t = -0*f - f for f.
0
Let p = -287 + 291. Solve -11*c = -12*c + p for c.
4
Let p = 48 - 54. Let t be p/(-10) - 1*3/5. Solve -2*c = -t*c - 4 for c.
2
Let r = -61 + 63. Solve -r*o + 1 = 7 for o.
-3
Suppose 35 = 4*y - 5*l + 6*l, 3*y - 15 = -3*l. Solve -4*t = t - y for t.
2
Let p be 0 - (-4 - -2 - 2). Let t be (-10)/15 + 4/6. Solve t = p*r + r for r.
0
Let q(g) = 2*g**3 - 20*g**2. Let p be q(10). Solve p = f - 2*f - 3 for f.
-3
Let l(t) = -2*t - 38. Let z be l(-19). Suppose 9 = 2*g + 2*g - 5*q, 0 = -2*g + 5*q + 7. Let n be g/(-3) - 16/(-3). Solve z*j = j + n for j.
-5
Let f = -788 - -799. Solve -29 = 6*n - f for n.
-3
Suppose m + 3*m = -m. Solve w - 7 + 3 = m for w.
4
Let b = -23 - -10. Let j = -9 - b. Suppose -7*s - 10 = -2*s - 5*p, -24 = -4*s - j*p. Solve -s*z = -5*z for z.
0
Suppose -43*o = -27*o - 24*o. Solve o = -2*y + 4 - 0 for y.
2
Suppose -n + 34 = 5*p + 1, -p - 4*n = -18. Let z(w) = -w**2 + 7*w - 7. Let h be z(5). Solve -h*k = -p*k for k.
0
Suppose 0 = -15*m + 172 - 22. Solve m*f - 7 = -57 for f.
-5
Suppose -15*m = 16*m - 279. Solve m*h + 48 = 33*h for h.
2
Let u(x) = -x - 2. Let z be u(-7). Let j(i) = -59*i + 2. Let g be j(-1). Suppose -2*k