. Let a(w) = w**3 - 10*w**2 + 9*w. Let j be a(p). Solve -7*x + 2*x - 25 = j for x.
-5
Let b(d) = -d**2 - 12*d + 3. Let i be b(-3). Solve 1 = -31*o + i*o for o.
-1
Suppose -4*v + 6 = -3*c + 49, c - 9 = -4*v. Solve c*r + 1 = 14*r for r.
1
Suppose 0 = 3*s + 3*u - 27, 24*s - 3*u = 29*s - 35. Solve -k = s*k for k.
0
Let m(v) = -v**2 + 36*v + 41. Let w be m(37). Solve 2*x - x = -w for x.
-4
Let d = -167 - -169. Solve -12*i + 14*i - d = 0 for i.
1
Suppose 4*a + 37*q - 41*q - 44 = 0, -5*q + 95 = 5*a. Solve -a*n = -12*n - 12 for n.
4
Suppose 11*h + 352 = 55*h. Solve h*b + 24 = 14*b for b.
4
Let i(v) = -11*v**2 - 5*v + 4. Let p be i(-3). Let s be ((-2)/4)/(10/p). Solve -s*c - 15 = c for c.
-3
Suppose -j = 2*x - 13, -2*j + 4*x = -j + 17. Suppose -5*u - 20 = j*r + 2*r, -5*u = -r - 4. Suppose d + 4 = u, -b - 13 = -0*b + 4*d. Solve 16 = -b*l - l for l.
-4
Suppose -5*z = -r - 170, z - 5*r - 25 = 9. Suppose -6*b + 8 = -z. Suppose 2*u + 1 = -3*d, -4*d - u = -9*d + 20. Solve -d*p = -b*p + 8 for p.
2
Suppose 3*z + 81 = 2*p, -2*z = 4*p - 5*z - 171. Solve 0*t + 9*t = p for t.
5
Suppose -o + 2 = 0, o - 200 = -5*r + 2*r. Let s = r - 64. Solve -10 = 3*u + s*u for u.
-2
Suppose -2*g + 2 + 38 = 0. Suppose 0 = -4*i - 4*p - g, 2*p = 4*i - 0*p + 20. Let q(j) = -j**3 - 5*j**2 - 2*j - 5. Let l be q(i). Solve -l*h + 3 = -2 for h.
1
Let j be (-51 + 65)*(-6)/(-7). Let n be 2/8 - (-1)/(-4). Let k be (-7)/(-3) - (-2)/3. Solve j = -n*m + k*m for m.
4
Suppose -5*p + 20 = -0*p, -5*p = i - 43. Solve -12 = 17*z - i*z for z.
2
Let m be ((-238)/(-70))/(1/(-10)*-2). Suppose -24*k + 14 = -m*k. Solve g = -0*g + k for g.
2
Let a(q) = -q. Let g(h) = 20*h**2 - h - 1. Let b(z) = -2*a(z) + g(z). Let d be (-2)/3 + 5/3. Let l be b(d). Solve -5*p = -0*p + l for p.
-4
Suppose 0 = -5*v - 29 - 11. Let m be 35/20 + (-2)/v. Solve -6 = -4*l + m for l.
2
Suppose 2*x + 0*x - 4 = 0. Suppose 5*r + 4*f = 5, -x*r + 13 = -2*f - 7. Suppose 15 = r*s - 0*s + n, -5*s = -n - 25. Solve -o = -5*o - s for o.
-1
Let b be (-4)/(-6) + 95/15. Let s = 13 - b. Suppose p = -5*k - 12, -3*p + k + 0 = -12. Solve p - s = x for x.
-3
Suppose 2*f - 1 - 10 = 5*h, 0 = -5*f + 15. Let o be -2 + 3 + (1 - h)*4. Solve 1 = -2*l - o for l.
-5
Suppose 0 = -2*x + 10, 2*n - 8*x = -4*x - 20. Suppose 0*o = -5*o + 20. Suppose 4*a - 2*r = 2*r + 80, o*r + 100 = 5*a. Solve d - 5*d - a = n for d.
-5
Let w(c) = 5*c + 42. Let y be w(-7). Suppose -2*n + 4 = -4. Solve -n*h + y*h = 0 for h.
0
Let s be 28/168 + 131/6. Let u = s - 16. Solve 5*x - u*x - 1 = 0 for x.
-1
Let h(v) = 7*v**2 + 3*v - 3. Let i(l) = -3*l**2 - l + 2. Let o(k) = -2*h(k) - 5*i(k). Let u be o(3). Solve -u*x + 0*x - 2 = 0 for x.
-1
Suppose 4*m + 309 = -7. Let f = -53 - m. Let o = f - 7. Solve -o = 5*v + 1 for v.
-4
Let c = 22 + -19. Suppose c*z + 8 - 14 = 0. Solve -2 = -0*j - z*j for j.
1
Let u = -198 + 210. Suppose 2*h - 15 - 17 = 0. Let n = h + -8. Solve n = -5*i - u for i.
-4
Let i = -14 - -16. Suppose -i*b + 107 = 37. Suppose k - 3*z = 18, 8*k - 3*k - 4*z - b = 0. Solve -2*f + f = -k for f.
3
Suppose -74*h = -207*h. Let z(v) = -v - 4. Let a be z(-5). Solve -r - a - 3 = h for r.
-4
Let f(d) = d**3 + 4*d**2 + 8*d + 21. Let i be f(-3). Solve -i*y + 9 = -3*y for y.
3
Let n be (-13)/26*(-12 - 0). Suppose 0 = -2*k - 5*i + 9, -k = -n*i + i + 3. Solve -3*x + k = 11 for x.
-3
Suppose -40*v - 4*n - 29 = -45*v, 3*n - 2 = -v. Solve v = 4*m - 7 for m.
3
Let x be ((-8)/6)/(2*(-1)/15). Solve -2*p = -0*p + x for p.
-5
Suppose 5*b - 73 = -8. Solve -b + 9 = j for j.
-4
Let k(h) = -h**3 - 35*h**2 + 39*h + 125. Let z be k(-36). Solve -z*i = -21*i - 4 for i.
-1
Suppose 3*v = -q + 20, v - 5*v + 20 = 0. Solve 0 = -9*x + 8*x - q for x.
-5
Let d(n) = n**2 - 7*n - 7. Let j be d(-2). Solve -j - 1 = -3*q for q.
4
Suppose 3*x = 5*t - 44, -3*t - 3*x + 13 = -23. Let s = -52 - -56. Solve s*f - t = -f for f.
2
Let n(r) = r + 10. Let l be n(-10). Let a(p) = -p**3 + 11*p**2 - 11*p + 14. Let d be a(10). Let x(g) = g**2 - 3*g. Let o be x(d). Solve l = o*j - 5*j + 3 for j.
3
Let v = 435 + -430. Let g be 4/(-6)*6/(-4). Solve -6 = -v*j - g for j.
1
Suppose -4*d + 20 = 4*s, -20 = -5*d + d + 4*s. Let k be ((-15)/3)/d - -4. Solve -8 = f - k for f.
-5
Let s(v) = 2*v**2 + 26*v - 24. Let f be s(-14). Solve f = -18*t + 16*t for t.
-2
Suppose 0 = -f + 1 + 1. Let k(z) = -5*z + 8 + z**2 - 2*z**f + 0. Let n be k(-6). Solve p - n - 1 = 0 for p.
3
Let r = 20 + -27. Let u(f) = -f**2 - 7*f + 5. Let d be u(r). Solve -d*g + 15 = -0*g for g.
3
Let k be (2368/222)/(4/6). Solve -k*a = -24*a + 40 for a.
5
Let w(v) = -v**2 + 54*v - 192. Let b be w(4). Solve 5 = -b*c + 5 for c.
0
Let p(j) = -2*j**2 - 13*j + 10. Let l(n) = 2*n**3 - 47*n**2 + 23*n - 7. Let q be l(23). Let m be p(q). Solve m*g - 4 + 7 = 0 for g.
-1
Let h = -46 + 49. Suppose -33 - h = -9*f. Solve 2*n + 0 = f for n.
2
Let h(x) = x**3 + x**2 - 2*x + 8. Let c be h(0). Suppose -5*f = -o + c + 17, -2*o - f + 28 = 0. Solve -4*g + g + o = 0 for g.
5
Let g be (-10)/4*(72/(-40) - -1). Solve g = 31*s - 29*s for s.
1
Suppose i - 17 - 10 = 0. Suppose p + 3*p = -o + i, 16 = 4*p. Suppose 3*q - 7 - o = 0. Solve 2*k = q - 0 for k.
3
Let z(o) = -o**3 - 5*o**2 + 5*o - 4. Let r be z(-6). Suppose -5*l + 33 + r = 0. Let y be l/(-7) - 2/(-2). Solve y = n + 7 - 3 for n.
-4
Suppose 0*l = -2*l + 18. Suppose -3*o + 5 = 5*f - 11, -l = -3*f - 2*o. Suppose -f*w + 17 = -4*g, -g + 5*w = -3*g + 29. Solve g*u - 5 = -1 for u.
2
Let d be ((105/10)/(-7))/(6/(-8)). Let q = d - 2. Solve 2*j - 5 - 3 = q for j.
4
Let b(j) = -j**2 + 12*j + 3. Let v be (1/2)/((-3)/(-12)). Suppose 3*l - 23 - 11 = -v*y, -l + 10 = 2*y. Let x be b(l). Solve 2*a = -x*a - 20 for a.
-4
Let f be 2/6*(-3 - -4 - -11). Suppose 13 + 7 = f*r. Solve r*z - 10 = -0 for z.
2
Let o(p) be the second derivative of p**4/6 - p**3/2 + 3*p**2 - 33*p. Let r be o(2). Solve r + 4 = -3*d for d.
-4
Let f be (-172)/(-36) + (40/(-36))/(-5). Solve l + 0 = -f for l.
-5
Suppose -18*q = -14*q. Let b be q/(-1) + -2*28. Let w be 1/(2/b*-4). Solve -16 = -3*h - w for h.
3
Let c = 271 + -271. Solve -3*z + c = -12 for z.
4
Let k(x) = 6*x + 49. Let t be k(-3). Solve o - t = -27 for o.
4
Suppose v = -x + 2, 3*x - v + 2 = x. Solve 6*z = -x*z - 30 for z.
-5
Let v(l) = 4*l - 41. Let c be v(19). Solve 2*r - c = -29 for r.
3
Suppose 10 - 14 = w. Let y be -10 + (-2 - w/2). Let j = y + 13. Solve i = 6 - j for i.
3
Suppose -4*b + 67 - 83 = 3*p, p + 3*b + 12 = 0. Solve p = 7*u - 3*u - 16 for u.
4
Suppose 24 = 5*a + m, 4*a + 6*m - 4*m - 18 = 0. Solve t - a = -0*t for t.
5
Let v(m) = -m**2 + 9*m - 2. Let r be v(8). Let n be (-13 - -16) + 2/2. Suppose 0 = n*l - r - 46. Solve 4*c - 33 = -l for c.
5
Let n = 30 + -23. Suppose 8 = n*u - 3*u. Solve -u*p - 4 = -p for p.
-4
Suppose 4*d - 48 = 4*z - 6*z, -63 = -5*d - z. Let s = -11 + d. Solve s*k = -2*k for k.
0
Suppose -n - 3 = -4*n + h, 2 = -5*n + 4*h. Suppose 0 = s + n*g - 9, -4*s = -3*g + 5*g - 18. Solve -s*b + 0 = 6 for b.
-2
Suppose -k - 44 = -3*k + 4*a, -4*a = -4*k + 68. Solve -k - 13 = 5*v for v.
-5
Suppose 0*y + 2*y = 6. Let r = -10 + 10. Suppose l = -2*j - 10 + 33, 4*j - y*l - 31 = r. Solve -f - 4*f = j for f.
-2
Suppose -25*v + 22*v = -15. Solve -v*n - 2 = -3*n for n.
-1
Let r(p) = p**2 - 11*p - 7. Let j be r(10). Let f = -11 - j. Suppose -l = -f*l + 10. Solve 9 = l*d + d for d.
3
Let c = 770 + -766. Suppose -a - 11 = 3*i - 64, i - 9 = 4*a. Suppose -g = -4*l + 13, c*l - 3*g - 2*g - i = 0. Solve -2*j + 5 = l*j for j.
1
Let t(k) = k**3 - k**2 - 6*k. Let x be t(3). Let n(y) = y + 4. Let a be n(x). Solve 2*d + a = 6*d for d.
1
Let y(l) = l**3 - 19*l**2 - l + 23. Let z(j) = j**2 + 5*j - 5. Let d be z(-8). Let v be y(d). Solve -8 = v*i - 24 for i.
4
Let u = 11 + -10. Let d be u + -2 + (-7 - -6). Let a be (d - (0 - 1)) + 3. Solve -c + 5 = -a*c for c.
-5
Let b(y) = -y**3 + 49*y**2 + 99*y + 208. Let j be b(51). Solve -59*l + j*l = 8 for l.
-2
Suppose 4*w - 5*s + 69 = 0, 4*w = -2*s + 9 - 99. Let m = w - -46. Solve 3*o + 2*o - m = 0 for o.
5
Let t(r) = r**2 - 2*r - 4. Let v be t(4). Suppose m = -m + q + 5, -45 = -v*m - 5*q. Let l = 17 - 15. Solve m*y - l*y - 15 = 0 for y.
5
Suppose -9*o = -10*o + 87. Let f = -83 + o. Solve 5 + 3 = f*j for j.
2
Suppose -r = 7 - 2. Let t = 40 + r. Let w = t - 33. Solve -5 = d - w for d.
-3
Let g be (1/2*0/4)/2. So