h be (-3)/12 + 21/4. Let w = h + 6. Solve 5*p = 1 - w for p.
-2
Suppose -2*y = -2*z + 3*z - 29, 0 = 2*y + 4*z - 44. Solve y = -3*f - f for f.
-3
Let q(o) = o**2 + 7*o + 8. Let s be q(-6). Solve 1 = -z - s for z.
-3
Let i be 0*(1 - (-6)/(-3)). Let l = 3 - 1. Solve r + r - l = i for r.
1
Let c(j) = j**3 + 6*j**2 - 8*j - 7. Suppose 0*w = w + 7. Let k be c(w). Suppose k = -i + 3 + 5. Solve 0 = i*h - 3*h - 20 for h.
4
Let u(w) = -w**3 + 7*w**2 + 8*w. Suppose 9 - 1 = q. Let g be u(q). Solve -s + g = 2 for s.
-2
Suppose -8 = m + 11. Let g = -13 - m. Suppose y - 3*n = g*y - 22, -3*n + 2 = -5*y. Solve -3*i = -i - y for i.
1
Let g(p) = -p**2 + 7*p + 2. Let s(k) = k**2 - 7*k - 1. Let q(v) = 2*g(v) + 3*s(v). Let y be q(7). Let w be (-3)/(-12) + y/(-4). Solve w = 6*i - i - 5 for i.
1
Suppose 0 = 3*z - b - 4, -4*b + 9*b = 4*z + 2. Suppose -2*k - z*f - 18 = -6*f, k = -f + 6. Solve 2*h + 5 = k for h.
-2
Suppose 3 = j - 0. Solve -j*g + 2 = -4*g for g.
-2
Let m(i) = i + 8. Let g be m(-3). Solve 2*q - g = q for q.
5
Suppose 0 = -5*g + 7*g - 10. Solve -g*i + 12 = -13 for i.
5
Suppose c + 10 = 6*c. Let o be 6*(c + (-3)/(-6)). Suppose 7*f - 2*f = a - o, -4*a = 2*f - 16. Solve 0*m - 10 = a*m for m.
-2
Let t(w) = w**2 - w - 2. Let k be t(2). Solve k = p - 4*p - 9 for p.
-3
Let v be (4 - 2 - 2/(-2)) + 2. Solve 25 = -4*b + v for b.
-5
Suppose 13*k + 0*k - 52 = 0. Solve 1 = -k*d - 19 for d.
-5
Let u(z) = -3*z + 20. Let s be u(6). Solve 6 = -s*p - p for p.
-2
Let i = 5 + -15. Let l = -10 - i. Suppose 6*h = h + 15. Solve 15 + l = h*c for c.
5
Let a(h) = 2*h**2 - h - 9. Let n be a(3). Solve -n*t = -4*t - 6 for t.
3
Let t(p) = 6*p**2 + 2*p - 5. Let d be t(2). Solve -5*x + 8 = d for x.
-3
Let f(h) = 2*h + 27. Let p be f(-12). Solve 0 = -r + p - 0 for r.
3
Suppose 18 = -2*z - n, n = -3*z - 3 - 22. Let r be (-120)/(-42)*z/(-2). Solve -3*m + 2 = -r for m.
4
Let z be 2*(3 + -2)/(-1). Let g = z - 1. Let q be -3 + (-24)/g - 1. Solve 0*u - q = u for u.
-4
Let x = -16 - -34. Let l = 30 - x. Suppose -3*z + l = -0*z. Solve 0*k + z*k + 4 = 0 for k.
-1
Let i be ((-16)/(-6))/(20/30). Solve i*g + 4 = 8 for g.
1
Let p(s) = -8*s**2 + 3*s - 2. Let d(f) = -7*f**2 + 2*f - 1. Let n = 2 + -5. Let u(a) = n*d(a) + 2*p(a). Let q be u(1). Solve 0 = -i + q - 2 for i.
2
Suppose 5*d = 9*d - 12. Solve d*o = -2*o for o.
0
Let o(p) = -p**3 - p**2 + p. Let l be o(2). Let t = 35 + l. Solve 3*w = -2*w - t for w.
-5
Let i be 7/(-42) - (-7)/6. Let q be (12/8)/(i/2). Solve q*d + 3 = -12 for d.
-5
Suppose 5 = -5*r + 15. Solve r*m = -0 - 2 for m.
-1
Suppose 0*y = -y - c - 1, 2*c = y - 14. Let v = 4 - y. Suppose -2*g + 5 - 1 = v. Solve g*i = 4*i + 2 for i.
-1
Let i be ((-8)/(2 - -2))/(-1). Solve 2*z + 0*z - i = 0 for z.
1
Let i = 11 + -6. Suppose -17 = -i*m - 3*u, 5*m - 4*u = u + 25. Solve -m*p - 1 - 11 = 0 for p.
-3
Let u be 6/(-27) - (-6)/27. Solve u = -0*z + 3*z + 9 for z.
-3
Let u(o) = 2*o**3 - 4*o**2 - 5*o - 1. Let v(x) = 2*x**3 - 5*x**2 - 6*x - 1. Let g(k) = 6*u(k) - 5*v(k). Let p be g(1). Solve -i = p*i for i.
0
Suppose -3 = -2*s + 5*h - 2, 11 = 5*s - 4*h. Solve -2*j = s*j - 5 for j.
1
Let z = -10 - -2. Suppose -20 - 3 = 2*a - 3*b, 2*b = 4*a + 34. Let l be z/(-28) + (-68)/a. Solve -2*v + l = -0*v for v.
5
Suppose -3*o - 12 = 0, -k - 2*o + 0 = 5. Solve k*s + 2*s + 15 = 0 for s.
-3
Suppose -51 = -5*q + 4*t, 42 = 4*q - t - t. Let k = 17 - q. Solve -2*r - 4 = -k for r.
1
Let y(g) = -g + 3. Let i = 1 + 1. Let j be y(i). Let x be 16/(-10)*(-5)/2. Solve -x = -m + j for m.
5
Let t = -137 + 137. Solve 6*w - 11*w + 10 = t for w.
2
Suppose 5*w - 170 = -55. Suppose -n - w = -2*n. Solve -8 = -3*a - n for a.
-5
Let j = -35 - -83. Let g be j/2*15/20. Solve -5*v + g = -7 for v.
5
Let s = -1 - -6. Let c = -18 + 18. Solve w - s*w = c for w.
0
Suppose -4 + 17 = d - o, 5*o + 17 = d. Solve -3*a + d = 3 for a.
3
Suppose 5*x - 23 = 2*k, -4*x + 3*x + 1 = -4*k. Solve -l + 0*l = k for l.
-1
Suppose -3*y = -0*y - 4*q - 18, -5*y - 2 = 4*q. Suppose -y*v + 5 = -p - 0*p, -p = 4*v - 19. Solve 3 = -p*o - 9 for o.
-4
Let n(u) be the first derivative of -1 - 1/3*u**3 + 7/2*u**2 - u. Let b be n(6). Solve 22 + 3 = b*t for t.
5
Let w(r) = -r**2 + 2*r. Let f be w(2). Let j be ((-6)/2 - -4) + f. Solve 3 = -2*l + j for l.
-1
Let t be (-27)/(-12) - 2/8. Suppose -n + 3*n = -t. Let o be (0/(-2))/(1 - n). Solve 5*x = -o*x - 10 for x.
-2
Suppose 0 = -0*w + 2*w - 6. Suppose 5*u - 5*c + 65 = 0, 2 = -u - 2*c - 14. Let s = -6 - u. Solve -2 + s = w*n for n.
2
Suppose c = -3*s - 10, -c + 0*s + 14 = -5*s. Let j be (2 - -1)/((-1)/c). Suppose j*r - 3 = 3. Solve h = -r*h for h.
0
Suppose -2*z = -6*z + 16. Solve 4 = -z*d + 2*d for d.
-2
Suppose 4*o + 0*r - 2*r = -50, -3*o - 31 = 5*r. Let t be (2 - o/(-9))*3. Solve 0 = t*v - 7*v for v.
0
Let n(h) = h - 7. Let r = -14 - -22. Let c be n(r). Suppose -s + 1 = -c. Solve -s*p = -p + 5 for p.
-5
Suppose v - 13 = 3*h, -5*h - 11 + 0 = v. Suppose 0 = v*j - 3*j. Solve j = -r - 2*r - 6 for r.
-2
Let p be (2 - -1)*1 - 0. Suppose -8 - 32 = -5*d. Suppose p*n - d - 4 = 0. Solve 0 = -n*c + 8 - 20 for c.
-3
Let d = 5 - -1. Suppose d = 2*s + 2. Suppose s*a = -a + 18. Solve -2*k - k = a for k.
-2
Let c = 43 + -40. Solve -20 = c*y - 8*y for y.
4
Let a be ((-5)/(-3))/(1/(-3)). Let h(j) = j**2 + 9*j - 8. Let v(p) = p**2 + 10*p - 9. Let t(c) = 6*h(c) - 5*v(c). Let l be t(a). Solve -x = -l - 2 for x.
4
Let y be (8/10)/(12/60). Suppose y*f - 2*f = 4. Solve 0 = -f*d - 0*d for d.
0
Let l(i) = i**2 - 8*i + 23. Let u be l(5). Solve -u*s = -4*s + 12 for s.
-3
Let z be (-1 - 1)/((-2)/6). Let v(i) = i**2 + 3*i - 13. Let k be v(-6). Solve z = k*a - 19 for a.
5
Let g = 22 - 15. Let l = 11 - g. Suppose -l = -4*y + 2*y. Solve 2 = y*d - 4*d for d.
-1
Suppose 0 = -4*w + 12, -4*m + 29 = -3*w + 6*w. Solve 0*g = m*g for g.
0
Let w be (2 + 15)/(2/6). Suppose 0 = -s - 2*s + w. Let h = -12 + s. Solve 3*x = h*x - 6 for x.
3
Let k = 361 + -334. Let t(a) = -a + 4. Let c be t(4). Suppose c = -2*j + 1 + 3. Solve -5*x + k = j for x.
5
Let t(s) = -s**2 + 5*s + 1. Let p be t(4). Let y = -13 + 22. Suppose -i = -a - 3, p*i - 4*a - 3 = y. Solve i = d - 2*d for d.
0
Suppose -3 = 103*f - 104*f. Solve 2*i + f - 1 = 0 for i.
-1
Let k = 2 - -7. Let q be 22/(-18) + 2/k. Let u be (2/6)/(q/(-15)). Solve -u*b = -0*b + 5 for b.
-1
Let t = -4 - -8. Let n(y) = -y**3 + y**2 + 3*y + 3. Let j be n(-2). Suppose -j = -t*c - 1. Solve -c - 2 = -2*f for f.
2
Suppose -2*o - 2 = 2*z, -2*z = 4*o - 6*z - 4. Solve -2*r - 2*r + 20 = o for r.
5
Let q(v) be the second derivative of -v**4/12 - v**3/6 + 2*v**2 + v. Let h be q(0). Let s(r) = r**3 - 4*r**2 + 3. Let x be s(h). Solve 0*j + x*j = -12 for j.
-4
Let p be 74/6 + (-10)/30. Suppose -s = 2, 5*s = -j + 3*j - p. Solve -j = -2*t + 3*t for t.
-1
Let t be 0 + 7 + 24/(-8). Suppose 2*f + n + 2*n = 13, -16 = -2*f - t*n. Solve -3*y + f - 14 = 0 for y.
-4
Suppose -5*u = -8 - 7. Solve h - 10 = u*h for h.
-5
Let z = 15 - 11. Suppose g + o - 9 = -o, -3*g = -5*o - 27. Suppose 2*n - g = -b, 3*n - 5*b = n - 9. Solve -5*u + z = -n*u for u.
2
Let m(r) = -r**3 + 4*r**2 + 5*r + 2. Let p be m(5). Let z be (2/2)/(1/3). Solve p = -4*v + z*v for v.
-2
Let f = 25 - 23. Solve -6*n = -f*n - 12 for n.
3
Suppose k + j = 4, 2*k + 3*j - 6 = -0*k. Solve 0 = 5*i + 4 + k for i.
-2
Let f = -12 - -4. Let b be (-25)/(-2) - 4/f. Let o = b + -7. Solve -n - 15 = -o*n for n.
3
Suppose -4*c - 3*s + 11 = 0, 0 + 1 = 2*c - 3*s. Solve z - 2*z = -c for z.
2
Suppose -6 = -2*w + 10. Let q = 18 - w. Solve g - q = -g for g.
5
Let x(y) be the second derivative of y**3/6 + 3*y**2/2 - 3*y. Let v be x(0). Suppose 0*l = l - 3*c - 3, v*l + 3*c = -3. Solve 2*g + 2*g - 20 = l for g.
5
Let f(k) = -2*k. Let z(u) = u - 1. Let b(q) = f(q) + 6*z(q). Let j = -3 - -7. Let t be b(j). Solve 0 = -3*w - 2*w - t for w.
-2
Let j(a) = a + 11. Let m be j(-5). Solve -m*i + 2*i + 8 = 0 for i.
2
Let m = 0 + 2. Let z(l) = -l - 3 + 4*l**2 + 6*l - 3*l**m. Let h be z(-6). Solve -5 - 1 = -h*k for k.
2
Suppose -5*d - 3*w - 9 = -4*d, 0 = 2*w + 6. Solve q - 3 = -d*q for q.
3
Let q = 5 - 2. Let a be -2 + q + 1*2. Solve a*l + 11 = 2 for l.
-3
Suppose 3*y = -3*p + 45, 20 = 2*y - 4*p - 10. Let j be 2*(1 + -2) - -9. Solve 4*i = j*i + y for i.
-5
Let h = -4 - -7. Let g be 10*(-1)/(0 + -1). Suppose g*p = 5*p + 30. Solve 0 = s -