et t be i(-8). Let m = t - 3. Solve -1 = -m*h + 2 for h.
1
Suppose -2 + 3 = j. Suppose 5*z = -v - 22, 5*v + 4*z + 6 = j. Solve -2*a = v*a - 15 for a.
3
Suppose 0 = 5*x - 2*x + 24. Let c = 10 + x. Suppose -2*b = -4*t + 16, t + 1 = -c*b - 0. Solve -3*z - t = 9 for z.
-4
Let r(f) = f**3 + 20*f**2 + f + 22. Let n be r(-20). Suppose -16 = -0*l + 4*l. Let m be (l/6)/((-2)/6). Solve -4 = -m*z - n*z for z.
1
Let x = -4 + 7. Suppose -4 = q + 4*w - 3*w, 12 = -x*w. Solve q = -t + 6*t - 5 for t.
1
Let c = 2 - -2. Let h = 12 - c. Let u(i) = i**2 - 5*i - 6. Let w be u(6). Solve 4*j + h = -w for j.
-2
Let a = -12 - -17. Let z = a - 12. Let p = 16 + z. Solve -3*i + p = -0*i for i.
3
Suppose -16*b = -12*b - 12. Solve b*a = 2*a - 1 for a.
-1
Suppose 6*i - 19 = -1. Solve i*k = 5*k for k.
0
Let o be (-6)/(-15) + 39/15. Suppose -o*z + 4*z - 1 = 0. Solve -d = -0 + z for d.
-1
Suppose 0 = -2*y + 4. Suppose -i = y*i - 6. Solve -4*d - 6 = -i*d for d.
-3
Let d = -28 - -34. Solve -2*z + 0*z - d = 0 for z.
-3
Let t(v) = 21*v**2 - 2*v + 1. Let n be t(1). Suppose 3*r + 8 - 2 = 0. Let c be 1 + (-4)/2*r. Solve -c*h + h = n for h.
-5
Suppose 6 = o + 2*o. Solve -3 - 1 = o*t for t.
-2
Let s be 3/(-2)*16/(-6). Suppose -s*z = -12 - 8. Suppose 3*p + r = -0*r + 5, r = -4. Solve p = -4*q - z for q.
-2
Suppose 0 = -5*t + 2 - 2. Solve t = x + 2*x for x.
0
Suppose -4*v = -3*z - 5*v + 4, 0 = -z - 2*v - 7. Solve z - 8 = w for w.
-5
Suppose -3*q + 5 = -7. Suppose q*l + 4 = 6*l, -34 = -3*f + l. Let u = 2 - 0. Solve -u*a = 2*a + f for a.
-3
Let u = 18 - 13. Suppose 0 = 3*k + 2*g, 0 = u*g + 14 + 1. Solve -2 = y + k for y.
-4
Suppose 22 = -5*z + 4*v - 2*v, v = 5*z + 21. Let c = -4 - -8. Let x = z + c. Solve x = 2*k - 5*k for k.
0
Let f(d) = d**3 - 2*d**2 - d. Let a be f(3). Let i be (-65)/(-15) - 2/a. Suppose -v - 5*s = 4*v - 20, -3*s - 2 = -i*v. Solve -v*j + 4*j - 10 = 0 for j.
5
Let v = 7 + -2. Let z = 60 - 42. Suppose -n - 22 = -5*q, n = -3*q - 0*q + z. Solve 20 = n*i + v for i.
5
Let o(k) = -k**2 - 10*k + 15. Let g be o(-12). Let u = 9 + g. Suppose u = -f + 2*f. Solve t + 2 = -f*t for t.
-2
Suppose 0 = -2*m + 23 - 7. Suppose 5*c - 12 = m. Suppose -i - 2*i - 5*b = -27, -c*b + 16 = i. Solve 8*n = i*n for n.
0
Let p be (-15)/(-9) + (-2)/(-6). Let l = 3 - p. Let j be 150/24 + -5 - 2/8. Solve q + l = -j for q.
-2
Suppose 5*b + 1 = -4, 2*q + b - 15 = 0. Let d be (-1)/4 + 26/q. Suppose 0 = d*s - 10 - 8. Solve s = -p - p for p.
-3
Let l(h) = -11*h + 4. Let m be l(-1). Let i be 12/(-2)*1/(-2). Suppose 7*k - 2*k - m = -5*x, -2*k - 9 = -i*x. Solve -12 + x = -3*b for b.
3
Let z(i) be the second derivative of i**4/12 + 2*i**3/3 - 9*i**2/2 + 4*i. Let s be z(-6). Solve 3*f - s = -0 for f.
1
Let m(i) = i**2 + i - 7. Let h be m(-5). Suppose v - 3*p = 2, -2*v + 3*p + 12 = v. Solve -2 - h = -v*x for x.
3
Let h(c) be the third derivative of -c**6/120 + c**5/20 + c**3/2 - 6*c**2. Let j be h(3). Solve -5*k - 17 = j for k.
-4
Let c(b) = b**3 + 6*b**2 - 8*b - 6. Let x be c(-7). Solve -2 = z - x for z.
-1
Let j be -16 - (1 + 0/2). Let h = -17 - j. Solve -3*i - 4 + 1 = h for i.
-1
Let r = -2 - -10. Solve -r = 2*v - 0*v for v.
-4
Let j(r) = 6*r**2 - r. Let m be j(1). Solve s + 0*s - m = 0 for s.
5
Let s(z) = -z**3 + 15*z**2 - 25*z - 12. Let c be s(13). Solve 2 = -3*u - c for u.
-1
Let x = -27 + 33. Let v(w) = w**2 + w + 4. Let s be v(-4). Let i be s/(-4)*(-3)/x. Solve -5*k = -i*k - 6 for k.
2
Let n(b) = -b**2 - 3*b + 5 - 4 - b - 3. Let s be n(-3). Solve -c = -s - 4 for c.
5
Suppose 3*c + 7 = 19. Let k = -656 + 656. Solve -m + c*m + 15 = k for m.
-5
Let w = -40 - -45. Solve w*n - 6 + 16 = 0 for n.
-2
Let a(s) be the third derivative of s**4/12 + 7*s**3/6 - 7*s**2. Let o be a(0). Solve 4*k = 27 - o for k.
5
Let x = -8 + 17. Let r be (-45)/(-10) - x/(-6). Solve r*d - d - 15 = 0 for d.
3
Suppose -3*n = -2*g + 10 - 1, -3*n + 3 = 2*g. Suppose 12 = 2*d - 5*y, -3*d + 2*d - 4*y = -6. Solve -z = -g*z + d for z.
3
Let u(b) = 5*b - 15. Let q(g) = 6*g - 16. Let r(a) = 6*q(a) - 7*u(a). Let o be r(-7). Suppose -o*i + 9 = i. Solve -i*h - 8 = -h for h.
-4
Let j be 18/(-4)*(-8)/4. Solve -4*o = -11 - j for o.
5
Let n(j) = j**2 + j - 4. Let m be n(-4). Suppose 3*o - 43 = -2*x, 65 = 4*o - 5*x - 0*x. Suppose -3*v = 5*u - 15, -u = u + 3*v - o. Solve m = -u*w - 2*w for w.
-4
Let i = 14 - 14. Solve w + i*w = 4 for w.
4
Let q(r) = -r**3 + 7*r**2 + 6*r - 11. Let t be q(8). Let p = t + 30. Solve p*j = 7*j - 20 for j.
5
Suppose -13 = -2*z + r, z + 3*r = 3*z - 15. Let g be ((-14)/21)/((-4)/z). Solve 0 = n + g + 2 for n.
-3
Suppose 3*l + l - 16 = 0. Let z(p) = -p**3 + 5*p**2 + p - 4. Let s be z(5). Let q(y) = 15*y + 1. Let u be q(s). Solve 3*a + u = l for a.
-4
Let v = 2 - -2. Let z = -8 + v. Let k be (z - 0 - -2)/(-2). Solve -w + 4 = -k for w.
5
Let a(b) = -b - 8. Let v = 21 - 31. Let q be a(v). Suppose q*r - 12 = -r. Solve 0 = -r*w + 2*w - 10 for w.
-5
Let i(y) = -2*y + 2. Let d be 21/3 - (-2)/(-1). Let a(f) = f - 1. Let z(s) = d*a(s) + 2*i(s). Let m be z(6). Solve 0 = j - m for j.
5
Suppose 5*n = 2*b + 10, -2 = 2*n + b + 3. Let y(g) = -3 + g**2 + 5 + 0*g**2 + 0 - 12*g. Let i be y(12). Solve n = 7*a - i*a + 5 for a.
-1
Let q = 117 - 112. Solve q = -j + 8 for j.
3
Let d(y) = -y**3 + 10*y**2 + y + 5. Let p be d(10). Let v be (-29)/(-5) - (-3)/p. Let a = -1 + 1. Solve -3*n + v = -a for n.
2
Suppose 2*y = 2*j, 3*j - 9 - 7 = -5*y. Solve -y*z = -1 + 7 for z.
-3
Suppose -2*v + 12 - 2 = 0. Let k(j) be the third derivative of -j**5/60 + j**4/4 - j**3/6 - 13*j**2. Let f be k(v). Solve -2*g - 4 = f for g.
-4
Suppose -d = -7*d. Let f be 2/4*6/(-1). Let r = f + 18. Solve d = 3*i - r for i.
5
Suppose 36*f = 15*f + 189. Solve 0 = 3*y - f - 3 for y.
4
Suppose 0 = o + 2*j + 2*j - 18, 0 = 2*o + 5*j - 24. Suppose 2*s + 4 = -0*s - 2*f, 3*s + 4*f + 10 = 0. Solve n - o - s = 0 for n.
4
Let s be -1*(30/(-2))/3. Suppose y = -0*u - 5*u - s, 4 = -4*u. Solve -4 + y = 4*k for k.
-1
Suppose 12*z = 10*z. Solve z = 3*v - 6*v + 6 for v.
2
Let p(u) be the first derivative of -u**3/3 + 7*u**2/2 + 2. Let m be p(7). Suppose m = -4*g + 8 + 4. Solve 0 = -g*s + s for s.
0
Let z(x) = -x**2 + 16*x + 3. Let o(s) = s**2 - 15*s - 3. Let d(k) = -6*o(k) - 5*z(k). Let c be d(9). Solve -2*b - c = -2 for b.
-5
Suppose 13 - 1 = 3*f. Suppose -3*i = -7*i, -f*r - 4*i + 96 = 0. Suppose 0*b - r = -3*b. Solve 0 = -5*y - 2 - b for y.
-2
Let q(j) = -4*j + 18. Let s be q(4). Solve s = -6*y + 5*y for y.
-2
Let z(h) = h - 1. Let f be z(1). Let v(a) = a**2 - a + 5. Let k be v(f). Solve -4 = k*p + 21 for p.
-5
Suppose -2*c - 5*j = -31, -c + 10 = -j - 2. Suppose 0 = 2*z + y + 16, -z - 2*y - 38 = 4*z. Let k be (z/(-2))/(-6 + 7). Solve 2*g - c = -k for g.
5
Let o = -10 + 19. Suppose 2*i + 2 = 0, 0*h + 4 = h - 3*i. Suppose 7*z - 10 = -3*q + 2*z, -17 = -4*q - 3*z. Solve -q*m - o = h for m.
-2
Let t be (7/(-2))/((-2)/(-4)). Let q be (-24)/14 - (-2)/t. Let k(x) = -x**3 - x**2 - 2*x + 1. Let z be k(q). Solve p - 4*p + z = 0 for p.
3
Let a be (0 + 0)*(-26 + 25). Solve 5 = -a*w + 5*w for w.
1
Suppose -8 = -5*l + l. Let r be (-5 + l)/3 + 5. Solve -2*g + g = -r for g.
4
Let a(c) = c**2 + c. Let s be a(0). Let t(f) be the second derivative of -f**3/6 - f**2/2 + f. Let u be t(-3). Solve -8 = -u*v - s for v.
4
Let t(l) be the first derivative of -l**4/4 - l**3 - l**2/2 - 3*l - 1. Let q be t(-3). Let o(g) = g**2 - g. Let y be o(0). Solve p + q*p + 2 = y for p.
-2
Suppose 0 = -4*q + 8, -3*w + 6*q + 23 = 4*q. Solve 0 = -2*a - 1 - w for a.
-5
Let p(t) = t**3 + 3*t**2 - 6*t - 4. Let j be p(-4). Let f(w) = -2*w**2 + 24*w + 14. Let z be f(12). Solve -z - 2 = j*v for v.
-4
Suppose -2*j = 6, -4*j = 2*o - 0*j + 12. Let n be (1 - 2) + o + 4. Solve -5 + 2 = -n*i for i.
1
Let f = 59 + -41. Let w be (6/(-18))/((-2)/f). Solve w + 0 = -m for m.
-3
Let l(d) = -d**3 + 4*d**2 - d - 4. Let t be l(3). Let k be 1 - (2 + -4 + 0). Let i = k - t. Solve 4*h - 3*h - i = 0 for h.
1
Suppose 3*k + 12 = -5*w, 0*k = 4*w - 2*k + 14. Let x = w + 8. Solve -3*n + 4 = -x for n.
3
Let c = 10 + -10. Let l be (1/1*c)/(-2). Solve -i + l*i + 4 = 0 for i.
4
Suppose -2*h - 84 = -5*w, 51 = -2*w + 4*w + 5*h. Let u = w - 10. Let o = -6 + u. Solve -2 - o = 4*p for p.
-1
Let n = -7 + 17. Let s = 14 - n. Suppose -s*m - 2*q + 3 + 7 = 0, 2*m = 2*q + 8. Solve -8 = -i