2/4. Let p(q) = -3*q - 8. Let w be p(s). Solve -2*u + 3 = -w for u.
5
Let j be 5/2 - (-4)/8. Suppose 9 = 4*f - j. Solve 0 = 2*k + f*k for k.
0
Let d = -2 + -4. Let q be d/(-4)*-2 - 2. Let f be 0 - q - (3 - 4). Solve -2*g - f = -0*g for g.
-3
Suppose -4*h + h = -9. Suppose h*a - 29 = 2*a. Suppose 25 = 4*n + 4*i - 3, 3*n - a = -5*i. Solve -2 = 5*y - n*y for y.
-1
Let v = -4 - -5. Let u = 3 - v. Solve u*f + 20 = -2*f for f.
-5
Let v be (2 - (0 - -2))/(-1). Solve v = -5*m + m - 16 for m.
-4
Suppose -5*l + 35 = 5*b, b + 3*l - 8 = 9. Let q(x) = x**2 - x + 1. Let f be q(b). Solve 3 - 18 = f*s for s.
-5
Let w(g) = -g**2 - 9*g - 15. Let b be w(-6). Solve 20 - 5 = -b*i for i.
-5
Suppose 88 + 42 = 2*b + 4*c, -3*b = -c - 195. Suppose 5*g = 5*u - b, 2*u - g + 14 - 35 = 0. Solve -f + u = 3*f for f.
2
Let k(p) = -7*p - 47. Let c be k(-7). Solve c*t - 5 = 5 for t.
5
Let d = -17 + 27. Solve 3*f + d = 8*f for f.
2
Let w be 1 + 7/(7/4). Suppose r - 12 = w*r, -3*k - 3*r - 9 = 0. Solve k = -5*m + 3 - 18 for m.
-3
Let d be 3/2 - 9/6. Suppose d = -5*y - 0*y + 25. Suppose 3*t - 4 = 2*g, -y*t + 6 = -g - 3*g. Solve t*m - 4*m - 8 = 0 for m.
-4
Suppose 0*g = 3*g. Solve 4*m + m = g for m.
0
Let c = -19 - -23. Solve 0 = -c*u + 7*u - 12 for u.
4
Suppose 3*b - 5 = -u + 4, -b - 13 = -5*u. Suppose -5*k + 3 + 22 = 0. Solve k*l + 3 = -b for l.
-1
Let l be 3 + 2*2/4. Let q be (-1)/(-2) + 6175/10. Let w be 4/10 - q/(-30). Solve 5*a - l = w for a.
5
Suppose -2*z - 4*r + 3*r + 3 = 0, -4*z = 3*r - 1. Let s(d) = -z*d + d**3 - d**2 + 0*d**2 + 1 + 0*d. Let a be s(3). Solve -1 = 4*w + a for w.
-2
Let m(u) = u**3 + 3*u**2 + u - 2. Let f be m(-2). Let p be -1*(-3)/9*f. Solve a + 3 - 2 = p for a.
-1
Let b be (-42)/(-15) - (-5)/25. Solve b*x + 3 - 6 = 0 for x.
1
Let l(y) = y**3 - 2*y**2 - 3*y + 1. Let v = 3 - 0. Let n be l(v). Suppose 3*r + n = 19. Solve 0 = 3*f - 6*f - r for f.
-2
Let g(y) = 11*y**3 - 2*y**2 + y. Let l be g(1). Solve -l = 4*r - 2*r for r.
-5
Suppose -3*r - 7 = d, -31 = -r + 5*r - 3*d. Let n be (-11)/(-9) - r/(-18). Suppose -j + 44 = u + 3*u, 5*u - 55 = -4*j. Solve 3*w = -u - n for w.
-4
Let r be (-3 - -1 - -3)*0. Suppose -9 = -3*t - r. Solve q - t = 1 for q.
4
Let k(s) = s**3 + 3*s**2 - 3*s - 3. Let q be k(-4). Let c = q + 5. Let x be (-111)/(-21) - c/(-7). Solve 5 = -0*g + x*g for g.
1
Let u(w) = -2*w - 5. Let h be u(-4). Suppose 10*f - 5*f = 15. Suppose -f*j = -0 - 6. Solve -h*z + j*z = -2 for z.
2
Suppose -5*p + 5*b + 27 = -48, -4*p + 3*b + 63 = 0. Let y be (-2)/9 - (-58)/p. Let g be 1*(y - 0/3). Solve -g*w - 2 = 4 for w.
-2
Let z(p) = p**3 - 7*p**2 + 2*p + 8. Let v be z(7). Let f be v/2 - (-2 - 0). Let w = f - 7. Solve -w = -t - t for t.
3
Let w = -25 - -27. Solve w*h = h for h.
0
Suppose -y + 4*s - 18 = 0, -5*s + 23 = 3*y - 8. Solve -24 = -y*t - 4*t for t.
4
Let d(k) = k**3 - 6*k**2 + 7*k - 3. Let w be d(5). Suppose -4*x - w = v, v - 3*v - x = -21. Solve -7 - v = -4*i for i.
5
Let h(a) = -a**2 - a - a**2 - 2*a**2 - a**3 - 4. Let l be h(-4). Let s be -4*(-5)/(80/12). Solve -s*j + l = -12 for j.
4
Let v(f) = -f - 7. Let t = -7 - 0. Let l be v(t). Solve l*h + 2 = -2*h for h.
-1
Suppose -6*o = -4*o + 6, -4*o - 21 = -3*j. Suppose -j*g = -3*h + 9, -h - 2*g - 3 = -9. Solve -h*r = -6*r for r.
0
Let x(c) = c - 2. Let k be x(4). Solve 0 = u + k + 1 for u.
-3
Let k(u) = 4*u + 28. Let s be k(-6). Solve -s*n = -2*n for n.
0
Let c(o) = o**2 - 3*o + 1. Let d be c(2). Let z = 1 + d. Suppose -4*h = 4*y - 4, 5*h + 4*y = -0*h + 7. Solve z = 2*b + b - h for b.
1
Let r(x) = -x**3 - 5*x**2 + 6*x + 5. Let b be r(-6). Suppose 7 + b = 3*s. Suppose f = 5*m - 1, 2*f - 1 = 3*f. Solve m = p + 1 + s for p.
-5
Let x be (-1)/(-4) - (-15)/4. Let d(y) = y**3 - 3*y**2 - 4*y. Let j be d(x). Solve -4*p = -j + 8 for p.
-2
Suppose -14 = -5*d + m, 2 = 5*m - 3. Suppose -r - 14 = -h - 2*h, 4*r + 16 = 4*h. Let o = h - d. Solve o*s + 2 = -4 for s.
-3
Suppose -3*s - 2*q = 2*s + 2, 0 = 2*s - q - 1. Let v = s + 3. Solve v*l + 3 = -0*l for l.
-1
Let a be 6/(1/((-6)/(-9))). Let u be (6 - a)*11/2. Let g = u + -5. Solve g*w = w for w.
0
Let v be 21/6 - 18/12. Solve -v*j = 1 - 5 for j.
2
Let p be -4*((-21)/6 - -2). Suppose -3*a + a + p = 0. Solve 2*c + a*c = -5 for c.
-1
Suppose -6*g + 17 = -13. Solve g*x - 9 = 2*x for x.
3
Let p(n) = -10*n + n**2 + 3 + 3 + 0. Let t be p(6). Let y be (-4)/t + (-75)/(-27). Solve 2*u = -u - y for u.
-1
Suppose 0 = 3*k - 8*k + 15, k = -l + 13. Solve 2*t = l - 2 for t.
4
Suppose 3*f + 2*r - 3 = 3*r, r + 4 = 4*f. Solve 4*j + f + 3 = 0 for j.
-1
Let m(p) = -5*p**3 - 62*p**2 + 54*p - 44. Let d(w) = -3*w**3 - 41*w**2 + 36*w - 29. Let h(b) = 8*d(b) - 5*m(b). Let x be h(17). Solve x*k - 3 = 2*k for k.
1
Suppose -4*q - 4 = -5*q. Suppose 7*p - 20 = 2*p. Solve p*y = -0 - q for y.
-1
Let w = 6 - -1. Solve -1 = 2*k + w for k.
-4
Suppose -3*x = -m - 4, -10 = -m - 0*m - 4*x. Suppose -2 - 8 = -m*y. Solve -2*d = -y*d + 3 for d.
1
Let u = -65 + 70. Solve -4 = u*m - 14 for m.
2
Let o(x) = x - 17. Let p be o(7). Let k = p + 15. Solve 5*r = 4*r + k for r.
5
Suppose -3*u + d = -4, 3*u + 0*u - 8 = 5*d. Let f be u/(-5) - 66/(-30). Solve f*m + 3 = 7 for m.
2
Suppose 4*s + 5*u - 60 = 0, -u - 3*u - 36 = -s. Let g be (25/s)/((-2)/(-8)). Solve -j + g = -0 for j.
5
Suppose -3*k + 21 = -63. Solve -4*d + k = 12 for d.
4
Let t(q) = -q**2 - 2*q + 9. Let r be t(-4). Let y = -6 + 10. Solve -3*s + r = y for s.
-1
Let j be (-2 - -2) + 0 + 8. Let n = j - 4. Suppose 0 - n = -2*w. Solve -3*t = -t - w for t.
1
Suppose -h + 4*h = -5*k + 38, 0 = -5*k + 20. Suppose h = 3*u - 3*p, -10 + 0 = 5*p. Solve -6*r + 3*r + 6 = u for r.
2
Let f(c) = -c - 6. Let t be f(-6). Suppose -3*h + 0 = -6. Suppose 0 = i - h*i + 8. Solve -4*k + t*k + i = 0 for k.
2
Let n = 63 - 54. Solve n = 5*t - 6 for t.
3
Let z = -103 + 111. Solve -5*r = -z - 17 for r.
5
Let f be (-2)/15 + 7 + 344/(-120). Solve -16 = -f*q + 4 for q.
5
Suppose l - 14 + 10 = 0. Solve l*s = s for s.
0
Suppose -2*d + 4*d = 4*a, 3*d = 5*a - 4. Let b = 13 + d. Solve 0 = b*y - 3*y for y.
0
Let p(n) = -n**3 - 13*n**2 - 10*n + 28. Let a be p(-12). Solve 0 = 4*x + a + 4 for x.
-2
Let n(o) = o**3 - 4*o**2 + 2*o - 1. Let v be n(4). Let c = 3 - 3. Suppose c = -s - 2*s + 6. Solve 3 + v = -s*u for u.
-5
Suppose 4*n - 204 = 2*y, -3*y + 116 = 3*n - 19. Let v = n - 73. Let f = 44 + v. Solve 0 = -4*x - f + 4 for x.
-4
Suppose 3*c = -l, 4*l - 2 - 11 = c. Solve l*j + 5 - 14 = 0 for j.
3
Suppose -2*v - 16 = -2*w, -16 = 3*v - v + w. Let n = -6 - v. Suppose 4*c - c - 3*z = 18, -8 = -n*z. Solve -7*k + 2*k + c = 0 for k.
2
Let h(y) = y**3 + 11*y**2 + 9*y. Suppose 5*a + 49 + 1 = 0. Let t be h(a). Solve t - 1 = 3*g for g.
3
Suppose -3*y = -4*b + 40, -2 = 4*y + 14. Solve -25 = 2*a - b*a for a.
5
Let c = -9 - -12. Solve -s = -2 - c for s.
5
Let r(h) = h - 6. Let p be r(8). Suppose 5 = p*g - g. Solve g = -2*m + 1 for m.
-2
Let o(z) = -2*z**3 - 2*z**2 + 1. Let b be o(-2). Suppose -d = -3*j + 8, 4*d - 24 = -j + b. Let q = 3 + -1. Solve 5*a + q = d for a.
1
Let i be (1 - 1)*(-7)/(-14). Suppose i = j - 2. Let s = j - 0. Solve 7*r = s*r for r.
0
Let d(o) = 2*o**3 - 29*o**2 - 16*o + 15. Let l be d(15). Let r be (0 - 1)*-12*2. Suppose -4*n + l*n = -r. Solve -b + n - 5 = 0 for b.
1
Let r(m) = -m**2 + 6*m + 31. Let j be r(9). Solve -4 = j*z + 4 for z.
-2
Let n(p) = -p**3 + 11*p**2 + 6. Let k be n(11). Suppose -m - k = -4*m. Solve 0 = -3*d + m*d for d.
0
Suppose -12 = -4*v - 2*f, v + 0 = 3*f - 11. Let a be 4/(-8)*v*0. Solve a*c - 1 = -c for c.
1
Let o(m) = -m**2 - 5*m + 13. Let k be o(-6). Solve 4*z - k*z = -12 for z.
4
Let b = 24 + -22. Solve -5*d = -b*d + 3 for d.
-1
Let x(v) = 2*v - 1. Let d = 28 + -14. Suppose d = 5*l + 4. Let b be x(l). Solve 0 = 4*h - b*h - 2 for h.
2
Let j = -4 + 6. Suppose 5*v - o = -j*o + 74, -v - o + 14 = 0. Let h be (-4 + 3)*26/(-13). Solve -h*g - v = g for g.
-5
Let z = 6 - -4. Solve 2*t + 3*t - z = 0 for t.
2
Let w(z) = z**2 - 2*z - 4. Let a be w(4). Solve -5*n - 1 - a = 0 for n.
-1
Let k be 2/(-13) - 324/(-78). Solve 5 = k*t - 3 for t.
2
Suppose -2*s - 4 = 4*l - 3*s, -2*s = 2*l - 8. Solve l*h = -3*h - 3 for h.
-1
Let o(l) = -2*l**2 - 9*l - 12. Let r(q) = 3*q**2 + 13*q + 18. Let y(p) = -8*o(p) - 5*r(p). Let d be y(-6). Solve 0*f + 3*f - 6 = d for f.
2
Let d(p) be the second derivative of p**