. Let w = y + 18. Solve 5*u + 4 = -w for u.
-1
Suppose -3*k + 6*k - 27 = 0. Solve 5*a - k = -4 for a.
1
Let w = -23 - -2. Let m = w + 29. Solve -3*t - m = 7 for t.
-5
Let o = -131 - -143. Solve -o = -0*v - 3*v for v.
4
Let r be (-17)/(-5 + 16/4). Let z = r + -14. Solve 1 + z = y for y.
4
Suppose -21 = 2*j - 41. Suppose 0 = m + 4*m - 10. Solve m*y + 0 + j = 0 for y.
-5
Suppose -4*a = -1 - 11. Solve 0*z + a*z = 0 for z.
0
Let x(g) = g**3 + 8*g**2 + g + 8. Let f = -31 - -23. Let i be x(f). Solve 4*o + 2 - 10 = i for o.
2
Let y = 8 - 5. Let s = y + -1. Solve -s*z - 2*z = 0 for z.
0
Let a(n) = -n + 18. Let h be a(15). Solve r + 4 - h = 0 for r.
-1
Let u(w) = w - 4. Let q be u(8). Solve -y + q - 3 = 0 for y.
1
Let a(b) = b**3 - 4*b**2 + 5*b - 2. Let k be a(3). Suppose 3*l + 10 = -j, k*l + 10 = j + 2*l. Solve j*i - 5*i = 0 for i.
0
Suppose -3*g - 11 = 4. Let b(p) = -p**3 - 5*p**2 - 3*p + 3. Let a be b(g). Suppose 2*i = o + 7*i - a, -4*i = o - 15. Solve o*j - 2 = j for j.
1
Suppose p = 5*k - 3*p - 24, -p - 20 = -3*k. Let d = k + -8. Solve -2*a - 2 + d = 0 for a.
-1
Let n(m) = m**3 - 6*m**2. Let w be n(6). Solve -q = -w*q - 1 for q.
1
Suppose 10 = 2*h - 0. Let y(f) = 8 + f + 2*f**2 - h + 4*f. Let j be y(-3). Solve a = 3*a - j for a.
3
Suppose -3*n - 12 = 3, -42 = -2*q + 4*n. Suppose 0 = 2*r + 1 - q. Let g be 5*(2 + (-2 - -1)). Solve r*t + g = 10 for t.
1
Let f = -2 - -2. Suppose f = -3*o + 2*o. Suppose -2*s + 0*s + 20 = o. Solve 6*r - 4*r = -s for r.
-5
Let t be -1*(0 + 0) + 0. Suppose 0 = 6*d - 4*d - 8. Suppose -3*x + 7 = 5*l - 1, -d*x = l + 12. Solve -l = -t*p - p for p.
4
Let o(u) = -u**3 + 10*u**2 + u - 4. Let a be o(10). Solve n + 20 = a*n for n.
4
Let n = -2 - -6. Let r = 3 - n. Let b be 1 - r - (6 - 4). Solve -20 = -b*y - 5*y for y.
4
Let r = 38 - 25. Suppose -4*f - 1 + r = 0. Solve -f*d - 12 = d for d.
-3
Suppose 9*k - 16 = 11. Solve k*s = -s - 8 for s.
-2
Let w(l) = l**3 - 3*l**2 + 4*l - 4. Let r be w(3). Let v be 66/r + 1/(-4). Let a = 13 - v. Solve 5 = a*m + 20 for m.
-3
Let n(a) = a**3 - 8*a**2 + 8*a + 7. Let m be n(7). Solve m = 4*d - 6 for d.
5
Let c(z) = z**3 + 8*z**2 + 8*z + 7. Let h be c(-7). Suppose 3*q + 3 = -h*q. Let t be q*(-1 + -1) - 2. Solve t = -6*x + x for x.
0
Let m be (-18)/45 + 0 + (-34)/(-10). Solve m*o - 5*o = -4 for o.
2
Let h(o) = 4*o**3 + 9*o**2 - 4*o - 7. Let n(f) = -f**3 - f**2 + f + 1. Let b(z) = h(z) + 5*n(z). Let y be b(4). Let l = 8 + -6. Solve 0 = y*s + l*s for s.
0
Suppose 5*m - 1 = -2*j - 6, -2*j = 4*m + 2. Let o = -3 - m. Suppose o = -5*v - p - 0*p, p = 3*v. Solve -c + 4 - 5 = v for c.
-1
Suppose 5*t + 2*g = 3*g + 11, 16 = 4*t + g. Solve -t*x = 2*x + 25 for x.
-5
Let q be (-1 - 22/(-10))/(15/50). Solve 5*m - q - 6 = 0 for m.
2
Let w = 20 - 19. Solve -v - w + 4 = 0 for v.
3
Suppose -1 = 4*y + 3. Let p = y + 3. Suppose 4*v = 3*m - 76, 3*m + p*v - 12 = 2*m. Solve -2*l = -7*l + m for l.
4
Let l(o) = o**2 - 4*o. Suppose -3*m + 9 = 3*s - 6, -2*m = 0. Let j be l(s). Suppose j*u - 2*u = 30. Solve 4*f = -f + u for f.
2
Let v(f) = -4*f - 14. Let g(t) be the first derivative of 5*t**2/2 + 15*t + 2. Let z(w) = -5*g(w) - 6*v(w). Let l be z(9). Solve 2*u + u = l for u.
0
Let s = -8 - -1. Let g = -4 - s. Solve -g*x = x + 8 for x.
-2
Let w be ((-9)/(-6))/((-2)/(-4)). Solve 0 = w*n - 1 + 7 for n.
-2
Let f = 14 - 16. Let w be 1 + 1/((-1)/f). Solve 2*n = -w - 7 for n.
-5
Let b be ((-24)/(-14) - 0) + (-2)/(-7). Solve b*o - 15 = -3*o for o.
3
Suppose -2*b = b + j + 4, -2*j = b + 8. Suppose b*c + 8 = c. Solve -4 = -4*o + c for o.
3
Suppose -6 = -33*t + 30*t. Solve 0 = -2*z - t*z + 12 for z.
3
Let p = -4 - -7. Let b be 4*-1*(-30)/20. Solve -p = -3*n + b*n for n.
-1
Let j = -2 - -2. Suppose j*s - 15 = -5*s. Suppose 3*l + 2 - 26 = 0. Solve -s*y + 5*y + l = 0 for y.
-4
Let c(v) be the second derivative of -1/12*v**4 + 0 - 5/3*v**3 - 2*v - 3*v**2. Let i be c(-9). Solve -y = 2*y - i for y.
1
Let o be (-240)/18*3/(-2). Solve -4*g = -0*g - o for g.
5
Suppose n - 4*q - 24 - 1 = 0, 4*q + 16 = 0. Suppose 4*j + 25 = n*j. Solve -j - 3 = -4*t for t.
2
Suppose 0 = 4*w + 8, -2*w - 4 = 2*a + 3*w. Suppose -2*l = 2*l + 16, -5*m - 5*l = 0. Suppose 10 = 3*d - m*z, -z - 39 = -3*d - 14. Solve -a*s - d = -s for s.
-5
Let g = 9 + -6. Suppose -c - 2 = -g*o + 2, o + c - 4 = 0. Solve 0 = o*w + 2 for w.
-1
Suppose 4*r = -6*r + 30. Let a(v) = -v**3 + 4*v**2 + 7*v - 2. Let j be a(5). Solve -r*z - z = j for z.
-2
Suppose 20 = 9*w - 4*w. Solve -16 = w*h - 0*h for h.
-4
Let f(h) = 8*h**2 - 22*h - 39. Let q(o) = -3*o**2 + 7*o + 13. Let t(v) = -4*f(v) - 11*q(v). Let g be t(-10). Solve 0*b = -3*b - g for b.
-1
Suppose 2*p = -x + 4, -5*x + 2*p - 5*p + 13 = 0. Solve x*m + 0*m = -2 for m.
-1
Let g(f) = -f - 12. Let l be g(-12). Solve -5*s + s - 20 = l for s.
-5
Let w be (-8 + 8)*(-4)/(-20). Solve 5*k - k - 4 = w for k.
1
Let u = 8 + -6. Solve -4*x = -3*x + u for x.
-2
Let x = 33 + -31. Solve -1 = -z - x for z.
-1
Let z(v) = v**2 + 10*v - 7. Suppose -14 = -4*g - 58. Let b be z(g). Suppose -6 = 5*s - 106. Solve -j = b*j + s for j.
-4
Let w(g) = 5*g - 2. Let d be w(2). Let q be (-1)/(-3) - d/(-12). Let b = 1 - q. Solve b = v - 3*v + 6 for v.
3
Suppose -9 = -2*q - 1. Solve q*g - 3*g = 4 for g.
4
Let z = 32 + -24. Solve -z + 3 = -i for i.
5
Suppose -3*s = -3*i - 6*s, i + 3*s = 0. Suppose i = o + o - 4. Solve o*u = -u + 6 for u.
2
Let z be (10/(-3))/((-4)/6). Let g = -2 + z. Suppose -5*k - 2*h - g = -33, -5*k + 30 = -h. Solve 8 = k*b - 8*b for b.
-4
Let i(n) = -6*n**2 - 9*n - 7. Let z(p) = -3*p**2 - 4*p - 3. Let s(h) = 3*i(h) - 7*z(h). Let j be s(1). Solve 0*y + 20 = -j*y for y.
-5
Let b(h) = -h**3 + 12*h**2 - 12*h + 13. Let d be b(11). Suppose 3*u + 8 - 23 = 0. Solve -u = -d*o + 5 for o.
5
Let z(p) be the second derivative of p**4/12 - 3*p**2 - 6*p. Let w be z(-3). Solve w*f = 7*f + 8 for f.
-2
Let i = -10 + 12. Solve -11 = i*y - 1 for y.
-5
Let g be (-6 - 2)/((-2)/(-82)). Let i be (-2)/16 + g/(-64). Let t = -1 + 1. Solve 2*b - i*b = t for b.
0
Let x = 21 - 15. Let a = x + -2. Solve -15 = a*j + 5 for j.
-5
Let a = 12 + -10. Suppose a*v + 0*v - 30 = 0. Let l be (4/(-2))/(-2) + v. Solve 0 = -5*k - l + 6 for k.
-2
Let c be 1 - -14 - (4 + -1). Solve c = -4*b + b for b.
-4
Let q = 2 - 5. Let b = q - -8. Suppose 3*s - 10 = b. Solve 0 = s*k - 6 - 4 for k.
2
Let y = 5 + -2. Let o = y - 0. Solve -o*p - 4 = p for p.
-1
Suppose 50 = -4*j + 3*y, 37 = 2*j - 5*j + 2*y. Let r(g) = -g**3 - 12*g**2 - 10*g + 14. Let c be r(j). Solve 7 = p + c for p.
4
Let p be (-21)/(-3) + -4 - -2. Solve p*i = -15 - 10 for i.
-5
Suppose -3*f = -0*f - 12. Solve 12 = -f*r - 4 for r.
-4
Let i be 33/9 - 16/(-12). Solve -i*z + 4 = -z for z.
1
Let j be 53/(-11) - (-14)/(-77). Let r be 9*2*(-4)/(-8). Let w = j + r. Solve 2 = w*x - 2 for x.
1
Let y be (6/(-15))/((-1)/10). Suppose 36 = -5*u - 5*x + 1, 2 = -2*x. Let v be 7 - u*(-2)/4. Solve -y = v*z - 8 for z.
1
Suppose 3*w = j - w - 20, 0 = -3*j + w + 16. Suppose 4*v = 3*v + 3. Solve -v*a = -2*a + j for a.
-4
Suppose -2*q - 135 = q. Let g = -27 - q. Let v be (-5)/2*2*-1. Solve v*w - 2 = g for w.
4
Suppose b = -4*s + 2, -2*b - s + 4 = -4*s. Suppose -8 = -2*q - b. Solve -q*c = -c - 6 for c.
3
Suppose 53 - 128 = -5*f. Solve 2*n - f = -n for n.
5
Let t = -74 - -90. Solve -t = -4*k - 4 for k.
3
Let r(o) be the second derivative of o**5/120 + o**4/3 - o**3/3 + 3*o. Let u(g) be the second derivative of r(g). Let t be u(-7). Solve f + 4 = t for f.
-3
Let g(d) = -d**2 + 19*d - 16. Let n be g(7). Let h be (-2)/(-7) - n/(-7). Solve -q + h = q for q.
5
Suppose -z + 39 = 12*z. Solve x = -z*x for x.
0
Suppose 2*r = -3*r + 35. Suppose -2 = 2*w, 0 = -0*g + 3*g - 4*w - r. Let c be g + 0 - (-1 + 0). Solve s = c*s + 3 for s.
-3
Suppose -42 = -2*k - 12. Suppose -4*z + 4*c - k = -5*z, -c + 3 = 0. Suppose g = 3*j + 1, -j - 4*g + 4 = -z*j. Solve j*n = -4*n - 12 for n.
-3
Suppose -h = -3*h. Solve 5*q + h - 20 = 0 for q.
4
Let w be (-12)/4 - (0 + -8). Suppose -2*a = -3*f + 3, a + a + w*f = 37. Solve -a*t = -t for t.
0
Let r be (1/2)/((-6)/(-52 - -4)). Solve 2*n = r + 2 for n.
3
Suppose 30 = 2*t - 0. Solve -o + t = -4*o for o.
-5
Let a = 21 + -18. Let n(y) = y**2 + 4*y + 3. Let r be n(-3). Solve -2*x - a*x + 5 = r for x.
1
Suppose 67 = -b + 72. Solve -b*m - 4 = -m for m.
-1
Let d(q) = q - 