uppose 4*x - p - 6 + 28 = 0, 4*p - 23 = 3*x. Let h be x/((-15)/18)*2. Let q = -4 + 6. Solve 2*z + q*z + h = 0 for z.
-3
Let g = -18 - -18. Solve 8 = -g*u - 2*u for u.
-4
Let y = -5 - -4. Let z be 4*(y + (-3)/(-1)). Let m(r) = -r**2 + 9*r - 4. Let t be m(z). Solve -t*f - f = 20 for f.
-4
Let a be 1/(-3*(-2)/18). Suppose a*m - 1 = 2. Let s = 1 - m. Solve -w + 0 - 5 = s for w.
-5
Let k = -17 + 27. Suppose 0*j = 2*j - 10. Suppose 2 = -j*b + 6*b. Solve -k + 2 = -b*g for g.
4
Let i(n) = 2*n**2 + n - 1. Let r be (-8)/6*(-9)/6. Let k be i(r). Let o = k + -7. Solve 0 = o*s + 4 + 4 for s.
-4
Let r be (-3)/(-4)*72/27. Solve 4*k + r + 18 = 0 for k.
-5
Suppose -2*b + 5*b = 9. Solve -f - b*f + 12 = 0 for f.
3
Suppose 2*y = 5*j + 104, y - 2*y + j = -49. Let d = y + -108. Let g = -41 - d. Solve -4*q = -4 + g for q.
-4
Let g(n) = -n**3 + 9*n**2 + 11*n + 2. Let f be g(10). Solve f = 4*s + 4 for s.
2
Let f = 6 + -9. Let b = f - -3. Suppose -4*c + 11 = -5*c + 5*u, -2*c + 5*u - 7 = b. Solve -2*w = 2*w + c for w.
-1
Let h(s) = -s**3 + 4*s**2 + 4*s + 6. Let a be h(5). Let w = a + -1. Solve -g = -w - 3 for g.
3
Let d = 3 + 2. Solve 2*b = -3 - d for b.
-4
Let l = 6 - 5. Suppose n - 3 = -l. Solve f - n*f + 4 = 0 for f.
4
Let p = 25 - 15. Solve 3*b - p = 2 for b.
4
Let a(f) = -f**2 + 9*f - 12. Let b be a(5). Solve 4*v - b - 12 = 0 for v.
5
Suppose x + 4*h = 8, x + x - 19 = -5*h. Solve 4*g = -0*g - x for g.
-3
Let q be 2 - 6 - (-7)/((-14)/(-12)). Solve -q*a + 0 = -2 for a.
1
Let b(o) = 3*o + 8 - 2*o + 0*o. Let k(d) = -d - 8. Let u(a) = -4*b(a) - 3*k(a). Let t be u(-10). Solve 0 = 5*z - t*z - 3 for z.
1
Suppose -14 = -u + 11. Solve u = -7*z + 2*z for z.
-5
Let n(v) = -1 + 0 + v**3 - 6*v**2 + 3*v + v**2 + 3. Let d be n(4). Let y be 0 + 14 + (-2)/d. Solve 4*g - y = 1 for g.
4
Let r(y) = 20 + y**3 + 0*y**3 + 2*y**2 - y**2 + 0*y**3. Let u be r(0). Solve c = -4*c - u for c.
-4
Suppose 0 = -4*v - 5*b + 27, -3*v + 22 = 3*b + 4. Solve -2*n = v*n + 10 for n.
-2
Let m(f) = 2*f + 49. Let q be m(-22). Solve 6*v - v + q = 0 for v.
-1
Suppose 0*s + s = 4. Let r = 7 - 4. Suppose 37 = 4*y - 39. Solve y = -s*h + r for h.
-4
Let k(a) = a + 14. Let t be k(-14). Solve 4 + t = -4*r for r.
-1
Suppose -7*h = -11*h + 40. Solve -o - 4*o = h for o.
-2
Suppose 0 = -3*w + 32 - 5. Let l(r) = -2*r. Let z be l(-2). Suppose -9 = -z*h + h. Solve w = -h*y - 6 for y.
-5
Suppose 2 = l - 4*i - 11, 0 = -2*i - 6. Let o = 4 - l. Solve -10 = -u + o*u for u.
-5
Let c be 2/(8/6)*2. Let v(u) = u**3 + 10*u**2 - 11*u + 5. Let t be v(-11). Suppose t*w - 2*b + 12 = -6*b, 3*w - 4*b = 12. Solve w = -c*o - 2 - 4 for o.
-2
Suppose -5*o = -4 - 6. Let x(c) = c**3 - 5*c**2 - 7*c + 9. Let t be x(6). Solve 0 = -t*q - o*q + 5 for q.
1
Suppose -3*q + t = -24, 3 + 5 = q - 2*t. Let x = -5 + q. Solve -x*l = -l - 8 for l.
4
Let o(r) = 2*r - 7. Let c be o(5). Let x = 20 + -20. Solve c*g + 12 + 0 = x for g.
-4
Let f be 2*(9/2 + -2). Suppose 0*q = f*q. Solve r + 3 = -q for r.
-3
Let t = -70 + 72. Let v(a) = -2*a - 4. Let g be v(-4). Suppose -3*d = -g*o + 32, -10 = -4*o - 3*d + 22. Solve t*q = -2*q + o for q.
2
Suppose 5*s - 7*s = 6. Let f = s + 5. Solve 0 = f*x + x + 9 for x.
-3
Suppose 2*h - 5*r - 13 = 0, h + 5*r - 13 = 1. Solve 0 = -4*z - h + 29 for z.
5
Suppose 0 = -9*y - 2*y + 55. Solve -y*u = 3 + 17 for u.
-4
Let t = 5 + -2. Suppose t = -0*q + q. Suppose n = -q*r + 21, 4*n + n - 33 = -3*r. Solve 2 = 4*p - r for p.
2
Let b(i) = -2*i**2 + 10*i - 5. Let p be b(4). Solve -2*f - p = 7 for f.
-5
Let h(l) = l + 1. Let w be h(-6). Let y = -3 - w. Solve 0 = -d - 0 + y for d.
2
Let z(x) = x + 6. Let a be z(-6). Suppose -2*m + 6 + 32 = a. Suppose 3*t - m = -5*h + t, t = -3*h + 11. Solve 0*s = -h*s + 3 for s.
1
Suppose -5*b = -17 - 3. Solve 2 = -3*w - b for w.
-2
Suppose 1 = -3*n + 19. Solve 8 = -n*r + 2*r for r.
-2
Suppose 0 = 5*x - 2*f - 18, f = x - 3 - 0. Suppose x*m + 2*l = -0*l + 20, 0 = 4*m + 3*l - 22. Solve m*v + 6 = 6*v for v.
3
Suppose 4*k + p = -3*p + 32, -4*k = -3*p + 3. Solve -6 = k*w - w for w.
-3
Let h be ((-2)/5)/((-2)/20). Let j(i) = 2*i - 5*i + 3 - 3*i**2 + h*i**2. Let l be j(3). Solve -l*m - 3 = -4*m for m.
3
Let w(o) = o**2 + o + 1. Let a be w(-1). Suppose p = a + 3. Solve 2*f = -0*f - p for f.
-2
Let u(b) = b**2 + 7*b - 13. Let q be u(-9). Suppose q = p, -2*p - 2 = -3*n - n. Solve 5*r - n*r = 0 for r.
0
Let l(g) = -g**2 + 7*g + 8. Let h be l(8). Let w = -2 - -5. Suppose 5*p + 3*v = 27, -4*v + 13 = -4*p + w*p. Solve -3*d + h*d - p = 0 for d.
-1
Let k be 50/(-5) + 7 + 1 + 5. Solve -2*l = k*l - 10 for l.
2
Let p(z) = -z**2 + 4*z + 4. Let y be p(4). Suppose -3*v + 8 = -2*q, -v - y*q = -0*q + 16. Solve v*r + 1 = r for r.
1
Let z be 0/((-1*(-4)/(-4))/(-1)). Solve -3*b = -z*b + 3 for b.
-1
Suppose -4*f = -5*v - 45, -v = 5*f + 4*v. Solve -f*k = -k for k.
0
Let g be (-76)/(-18) - 6/27. Solve -r + g*r + 12 = 0 for r.
-4
Suppose 10 = 4*d + 2*i, -2*d - i - 2*i = -3. Suppose 2*o - 4*q - 15 + 3 = 0, 2*q - 54 = -4*o. Solve -d*c = c - o for c.
3
Let m(u) = -u - 3. Let t be m(-6). Suppose 6*o + i = 2*o + 39, 3*o - t*i - 48 = 0. Solve 4*k + o = -5 for k.
-4
Let l be (-3)/(-2) + 6/12. Let k = l - -1. Solve 0 = -2*i - k*i + 15 for i.
3
Let l(c) = -c**3 - 8*c**2 + 10*c + 5. Let q be l(-9). Let n be (2 + q/2)*1. Solve g + n = 1 for g.
1
Let z(i) = 5*i**3 - 2*i**2 + 1. Let u be z(1). Suppose 2*o - 5*c = u, c + c - 8 = 0. Solve 4*q - o = -0*q for q.
3
Suppose -i = 5*h - 76, 2*i + 73 = 5*h - 0*i. Let g be (-33)/(-12) - (-2)/8. Suppose -5*u = 4*v - 12, 2*u - g*v + 9 = 4*u. Solve 5*q + h = -u*q for q.
-3
Let n(h) = -h - 4. Let m be n(-4). Solve 0 = -4*k - m*k - 8 for k.
-2
Let m(s) = -s - 3. Let y be (-3 - -3)/(-1) + 6. Suppose -4*z + 3*z = y. Let k be m(z). Solve -2 = k*u - 11 for u.
3
Let z(w) = 2*w - 4. Let a be z(2). Solve a*l + l = -5 for l.
-5
Suppose 5 = -4*w + 2*w - 3*m, 4*w - 3*m - 17 = 0. Solve 0*l - l + w = 0 for l.
2
Let o be (-2 - -3) + -4 + 0. Let k = -2 - -15. Let f = k + o. Solve 0*r + f = -2*r for r.
-5
Let f be (-39)/(-12) - (-3)/(-12). Solve -f*v - 9 = -0 for v.
-3
Suppose 0*c + c - 2 = 5*q, -5*c = 2*q - 10. Suppose 4 = c*o - 2. Suppose -a + 3 = 2*f - 10, -3*f + o = -4*a. Solve -4*y = -3*y + a for y.
-3
Let g be 0 - (4*-1 - (-5 - -4)). Solve 20 = -g*f - f for f.
-5
Let r be (-4)/18 + (-146)/(-9). Suppose 0 = 5*m - m - r. Solve 3 = -m*c - 9 for c.
-3
Let u be (-6)/(-5)*70/21. Solve -a + u = -0 for a.
4
Let b = 14 - 9. Suppose 5*l + 5*u + 25 = 0, b*l - l - 15 = 3*u. Solve j - 2*j = l for j.
0
Let n(k) be the second derivative of 2*k**2 + 2*k + 1/2*k**3 + 0. Let j be n(5). Solve j - 44 = 5*c for c.
-5
Suppose -3*x = l + 9, 0*x - 3*x - 3 = 2*l. Solve 0 = l*s - s for s.
0
Let i be 3*((-10)/6 + 1). Let c(h) = -2*h - 2. Let x be c(i). Solve x*z + 2 = 12 for z.
5
Suppose j + 1 = 3. Suppose 26*k = 29*k - 9. Suppose k*n = 2*u, 0 = -j*n - 2*u + 3*u. Solve 3*c + 0*c = n for c.
0
Suppose 0*s + 4 = 2*s. Solve 3*g = s*g - 2 for g.
-2
Let r(d) = d**3 + 2*d**2 - 4*d + 1. Suppose -h + 21 = -3*h + 3*w, 12 = h + 3*w. Let u be r(h). Solve -1 = -5*m + u*m for m.
1
Let p = 5 + -5. Suppose -3*k = 12, -2*q + p*q = 2*k + 4. Solve q*c = 3 - 5 for c.
-1
Let r(p) = -p**2 - 4*p + 3. Let j be r(-4). Suppose 0 = -j*t + 4*t. Solve 5*h + 10 + 10 = t for h.
-4
Suppose 15 = -4*n - n. Let y = n - -9. Solve 3*a - y + 3 = 0 for a.
1
Let u(o) = -6*o**2 + 11 - 1 + 5*o**2 + 8*o. Let d be u(9). Solve -t - 4 - d = 0 for t.
-5
Let p(d) = d**3 + 2*d**2 + 2*d - 1. Let q be p(-2). Let l = 5 + q. Suppose -5*u = -x + 17, -16 = -2*x - l*x + 4*u. Solve x*t + 15 = -t for t.
-5
Suppose -72 = 4*t - 7*t. Suppose -5*m - 9 + t = 0. Suppose -r + 51 = -0*w + 5*w, -2*w = -2*r - 18. Solve -m*y + 1 = w for y.
-3
Let n be ((-3)/20 - 5/20)*-5. Solve -3*f = -13 - n for f.
5
Let i = 5 + -4. Let s = 4 - i. Suppose s*m = 16 - 1. Solve 0 = m*l - 8*l for l.
0
Let s be (4/6)/((-1)/(-15)). Let g(i) = 11*i**2 - 2*i - 1. Let m be g(-1). Let b(h) = -h**2 + 13*h - 10. Let u be b(m). Solve -u*v - s = -0*v for v.
-5
Let j(i) = 2*i - 54. Let o be j(27). Let m(a) = a - 6. Let x be m(8). Suppose 9 = -x*t + 5*t. Solve 0 = t*b - o*b + 15 for b.
-5
Let h(d) = -d**3 + 25*d**2 - 25*d + 27. Let o be h(24). Solve -o*t = -2*t + 1 for t.
-1
Let d = 32 - 23. Solve -5*o + d = -1 for o.
2
Suppose 0 = 4*l - 2 - 2. Solve