- 3*h**2 + 2*h - 4. Let f be w(t). Solve n = -f*j - 0 + 8 for j.
2
Let p(m) = -3*m + 27. Let i be p(10). Let d(s) = -s**3 - 3*s**2 - 3*s - 4. Let j be d(i). Solve 0 = l + 4*l + j for l.
-1
Let q(s) = 2*s**3 + 2*s**2 - s - 2. Let g be q(-2). Let l(u) = u**3 + 8*u**2 + u. Let n be l(g). Let c be ((-26)/(-6))/(n/(-24)). Solve 5*p + 38 = c for p.
-5
Let c(n) = -n - 1. Let x be c(-7). Suppose -27*s + 22*s = -25. Solve -2*k - x = -s*k for k.
2
Let x be (-4)/(-6) + 1/3. Let c = -9 + x. Let u be (-8)/c - (-3 + 0). Solve 0 = u*o + 20 for o.
-5
Let t be ((-32)/(-24))/(2/6). Suppose 0 = -5*f - t*f + 27. Suppose -f*l + 9 = -0. Solve -1 - l = -4*u for u.
1
Let b be 1*(-9)/(-9)*0. Solve b*u = 5*u + 10 for u.
-2
Suppose 3*w - 2*x - 2 = 0, -3*x + 2 = -4. Suppose 0 = w*s + 4*z - 10, 4*s = 5*z + 1 + 6. Solve h + s*h = 0 for h.
0
Let q be 2/(-5) - 28/5. Let u(y) = -6 + 12*y**2 + 2*y + y - 11*y**2 - 1. Let v be u(q). Solve -3*o - 1 - v = 0 for o.
-4
Let c be ((-12)/(-8))/((-1)/(-2)). Suppose 4*t - 78 = d, -c*d = d - 8. Suppose -n - 3*n + t = 0. Solve -n*w - 8 = 7 for w.
-3
Let j(s) = -9*s + 1. Suppose 2*q = -o - 2*q + 17, 0 = 5*o - 3*q + 7. Let b be j(o). Let v(g) = -g + 2. Let z be v(b). Solve a - 3*a - z = 0 for a.
-5
Let w = -71 - -71. Solve w = 5*b - 10 for b.
2
Suppose -7*x - 32 = -137. Solve 10*z = -15 + x for z.
0
Suppose 9 = 4*b + 3*h - 9, 22 = 4*b + h. Suppose -b*z + 2*z + 3*a = -3, 2 = -3*z - 2*a. Solve z = -0*c + 3*c for c.
0
Suppose 6*j = 20*j - 112. Suppose -2*v = -4*t - j, 5*t = 3*v - 3 - 8. Solve v*k + 9 = -k for k.
-3
Let w be 5/10*-2 + 6. Solve -39 = -w*u - 64 for u.
-5
Suppose -44*p + 48*p = 52. Suppose -d = -5*x + p + 40, 4*x = -5*d + 25. Solve 3*f - x = 2 for f.
4
Let u be 0*(133/(-14) - -9). Solve z - 8*z - 35 = u for z.
-5
Suppose 10*o - 12*o = -3*p + 8, 3*p + o = 14. Let w = 1 + 0. Solve -13 + w = -p*t for t.
3
Let c(w) = -w**3 + 12*w**2 + 14*w - 11. Let u be c(13). Suppose u = 2*b - 18. Solve -y + b = y for y.
5
Let a(x) = 7*x - 80. Let g be a(12). Solve 8*f = g*f - 8 for f.
-2
Let m(t) = t**2 + 2*t - 18. Let x be m(0). Suppose 5*v = 2*v - 24. Let i be (-32)/x + v/(-36). Solve -2*p - i + 6 = 0 for p.
2
Let x(j) = -2*j**2 + 19*j - 21. Let l be x(8). Let b(v) = 2*v - 4. Let y be b(l). Solve y*c + 4 = 12 for c.
4
Suppose 0 = -3*j + j + 4*h + 22, -2*j - 4*h - 10 = 0. Let y = 0 + -1. Let u be y + 1 - (j - 7). Solve 14 - u = 5*s for s.
2
Let u be (595/21 + -1)*6/4. Let d = -39 + u. Solve 0 = d*g + g for g.
0
Suppose 0*l = 3*n - 2*l + 1, -3*l = 3*n + 6. Let x be 2 - (0/1 + n). Let u be -1*6/((-6)/x). Solve -u*c - c = -4 for c.
1
Let y(b) = -b + 7. Let s be y(7). Let v be -3 - (-45 - s)/5. Solve 15 = -v*l + l for l.
-3
Suppose 580 = 7*c + 559. Solve c*v + 12 = 6*v for v.
4
Let y be (72/(-64))/((-50)/16 - -3). Solve 5*s = 2*s - y for s.
-3
Let o(b) = b**2 + 35*b - 3 - 35*b. Let v be o(-2). Suppose 19 - v = 3*w. Solve -4*h + w = 18 for h.
-3
Let s = 769 - 391. Solve -s*k + 380*k = -2 for k.
-1
Suppose 13*n + 38 = 103. Solve 4*l = -n + 21 for l.
4
Let u = -91 + 94. Suppose 22 = 3*n + 2*o, -20 = -u*n - n + 2*o. Solve 4*r + n = r for r.
-2
Let a(k) = -k**2 + 6*k. Let m be a(4). Suppose -y + 6 = 4*q - 20, -5 = -5*y + 5*q. Suppose -5*p + p = s - y, 4*p = 4. Solve -3*d + m = s for d.
2
Suppose 4*j + 2*f + 2 = 3*j, -5*f = 3*j + 4. Suppose -3*z = -2*o + 3, 5*o = -4*z + 6*z + j. Solve o = v + v + 2 for v.
-1
Let y(m) = -3*m**2 - 3 + 4 + 1 - 4*m + 5*m - 2*m**3. Let v be y(-1). Solve v = -k - 3*k - 20 for k.
-5
Suppose -86 - 607 = -34*t - 115. Let r = 5 - 3. Solve 3*l + t - r = 0 for l.
-5
Let m be ((-8)/(-24))/((-2)/(-120)). Solve 0 = -2*x + 6*x - m for x.
5
Let p(o) = -73*o - 27 - o**2 + 85*o + 4. Let f be p(3). Solve w = -f*w - 20 for w.
-4
Let o(t) = 2*t**2 - 3*t + 9. Let u be o(0). Solve u*k - 4 = 5 for k.
1
Suppose 0 = -n - 0 - 2, 4*y - 6 = 5*n. Let q(c) = c**3 - 2*c**2 - c + 3. Let v be q(3). Let t be v + (-2 - y)/1. Solve x + t = -x for x.
-4
Let v be (1 - 1)*(-2 - -1). Let z(j) = -j**3 + 2*j**2 - j + 2. Let y be z(v). Suppose -y + 9 = 4*c - d, -15 = -3*d. Solve -r - 7 = -c for r.
-4
Let s = 14 + -8. Suppose 5*d + s + 3 = -2*p, 5*d = -15. Let t be (-32)/(-2) - p - -4. Solve -4*m = -t + 1 for m.
4
Suppose -o - 5*o = 126. Let c = -11 - o. Solve 4 = -2*d + c for d.
3
Suppose 4*p - 8 = -0*p. Let t(j) = j**2 + 8*j - 13. Let v(u) = 2*u**2 + 16*u - 26. Let y(f) = -9*t(f) + 4*v(f). Let n be y(-9). Solve 0 = -n*h - p - 6 for h.
-2
Suppose 0*y + 12 = -y - 5*q, 0 = 3*y + q - 6. Let r be ((-48)/40)/(y/(-10)). Solve -r*h + 0*h = 0 for h.
0
Let g(x) = x**2 + 4*x. Let n be g(-4). Let b(y) = 6*y**2 - 53*y - 9. Let i be b(9). Solve i*h + 3*h = n for h.
0
Let s(o) = -26 - 35 - 12*o + o**2 + 24 + 0*o**2. Let r be s(15). Solve 3*b = r*b + 20 for b.
-4
Suppose -2*x - 3*x = 0. Let j be (0 - -3) + 8 + x. Let d = 8 + -3. Solve d*l - j - 9 = 0 for l.
4
Let b(g) = -g**2 - 11*g + 2. Let h be b(-10). Let m be 1/(-4) + 27/h. Suppose 5*f - c - 8 = f, m*c = 0. Solve -5*a - f = 8 for a.
-2
Suppose -u - 3 = -3*s, -s = u + 4*s - 13. Solve 0 = -u*n - 24 + 9 for n.
-5
Suppose -z = 5*c - 20, 5*z - 6 = 5*c + 4. Let m be (-7)/(21/54)*2/2. Let s be 3*(2 + 6/m). Solve c*d - s - 4 = 0 for d.
3
Let h = -36 + 36. Suppose -4*m - 2*s = -h*s - 24, 3*s + 4 = 4*m. Solve -24 = -m*o - 4 for o.
5
Let n = 9 - 6. Let u be 0 - 3*(-4)/n. Let b = u + -2. Solve -b = j - 0 for j.
-2
Let t = -14 + 20. Solve f = 4*f + t for f.
-2
Let p(h) = 3*h + 12. Let c be p(-12). Let l = -8 - c. Suppose -26 = -4*s + 3*g, 0*s - 1 = s + 3*g. Solve -s*i + i - l = 0 for i.
-4
Let c(y) be the first derivative of 25*y**3/3 - 6. Let b be c(1). Solve 0 = 2*k + 3*k - b for k.
5
Let p be ((-2)/(-5))/((-2 - 1)/30). Let y be (-480)/(-108) - p/(-9). Solve 0 = -b + 2*b - y for b.
4
Suppose -13*f = -15*f + 2*t + 12, 2*f - 3*t = 10. Solve -4*w = -6*w + f for w.
4
Let l = -15 - -40. Suppose 3*m + 3*s = 15, 5*s = -2*m + m + l. Suppose m = 4*z - 5*b - 17, 0 = 2*z - 3*b - 8 - 1. Solve -2*r = -r + z for r.
-3
Let p(y) = y**3 + 4*y**2 - 5*y + 5. Suppose 0*f = 2*f + 10. Let j be p(f). Let x(t) = -t**3 + 3*t**2 + 4. Let o be x(3). Solve o*c + j = 1 for c.
-1
Let d(j) = -j**2 + 4*j. Let o be d(3). Let q(y) = 4*y - 4*y**2 - 6*y**3 + 5*y**3 + 3 + 2*y**3 - 2*y**o. Let w be q(-5). Solve -3*z + w = -z for z.
4
Let c(j) = j**2 + 16*j + 32. Let l be c(-14). Suppose -l*g = -3*v - 5, -2*v + v = -3*g + 10. Solve g*z - 8 = 3*z for z.
4
Let j be ((-10)/7)/((-13)/182). Let b = j - 19. Suppose -8 = -2*t - 2*t. Solve g = t - b for g.
1
Let j(i) = -i**3 + 7*i**2 + 3*i. Let f be j(7). Suppose 0 = 3*c - f + 3. Solve -c*n + 3*n = 3 for n.
-1
Let j be 1 + -5 + -17 + 18. Let o be 2/6*j*12. Let n be (o/(-10))/((-9)/(-45)). Solve -w - w + n = 0 for w.
3
Suppose -7 = -4*v + 5. Let j = 0 - -7. Let g = j + -7. Solve 7*z - v*z + 4 = g for z.
-1
Let j(z) = -z**2 + 3*z - 2. Let s be j(2). Suppose a + 1 + 87 = -4*r, r = 4*a + 284. Let o = a + 76. Solve -o*h + s*h = 8 for h.
-2
Let g(c) = 3*c - 13. Suppose 4*a + 4*i = 52 + 40, -4*i = -a + 13. Let u = 27 - a. Let x be g(u). Solve x*n + 3 = -7 for n.
-2
Let o(i) = 2*i**2 - 49*i + 114. Let r be o(22). Solve 5*m = r*m for m.
0
Suppose 106*x - 108*x = 276. Let r = -134 - x. Solve 5*p - r = 11 for p.
3
Let x = -271 - -338. Solve -x*d - 4 = -71*d for d.
1
Let z(s) = -2*s**3 + 17*s**2 - 10*s + 16. Let x be z(8). Solve x = -4*t - 0*t - 4 for t.
-1
Let h(d) = -d**3 + 8*d**2 - 12*d - 1. Let f be h(5). Suppose -35 = -9*i + f*i. Let y(k) = k + 7. Let r be y(i). Solve r*u + 2*u = 0 for u.
0
Let y(i) = 2*i**2 - 16*i + 10. Let f be y(8). Let d(b) = -b**2 - 8*b + 1. Let c be d(-7). Let h = f - c. Solve 3*l = h*l - 5 for l.
-5
Let v = -8 - -10. Suppose 0 = -v*a + 5 + 47. Suppose -7*u + a = 2*o - 3*u, 0 = -5*o + 3*u + 13. Solve 4*p - o*p = -2 for p.
2
Suppose -h = 6*h. Suppose 2*p = -0*p + 2. Let w be (-1 - 0)*-1*p. Solve h = 2*x + w - 3 for x.
1
Suppose -5*v = -7*z + 2*z + 110, -38 = -2*z - v. Solve -z = 4*l - 0*l for l.
-5
Let s(p) = -3*p + 11. Let j be s(2). Suppose 0 = h + 4*h. Let i be 15*1 + 0 - h. Solve -2*q + j = i for q.
-5
Suppose -5*a = t + 8 - 5, t - 5*a = 7. Solve t*u = -5*u for u.
0
Let d(l) = l**3 - 15*l**2 + 5*l - 4. Let o be d(15). Let z = -71 + o. Solve -5*r - 10 = -z*r for r.
-2
Suppose -5*r + 6*r = -2*u + 4, -2*r + 5 = 3*u.