 Let m be 32/f - (-6)/(-15). Let n be b(m). Solve v + n = -v for v.
-1
Let z(m) = -5*m. Let k(x) = -6*x. Suppose 27 = 5*s + 3*a, 2*s = -s - 4*a + 14. Let p(j) = s*k(j) - 9*z(j). Let o be p(1). Solve o = u + 2*u for u.
3
Let v(t) = -t**3 + 7*t**2 + 8*t + 5. Let b be v(8). Suppose -5*g - 12 = -f, f + b*g + 6 = -f. Solve -f = 2*w + 4 for w.
-3
Let q = -23 - -25. Let j be (15/4)/(1/4). Suppose 4*i + 3*b - j = 0, -5*i + i - q*b = -10. Solve -4*d - 1 - 15 = i for d.
-4
Suppose 8*r = 2*r + 2*r. Solve -2*a - 2 - 4 = r for a.
-3
Suppose -8 = -5*d + 52. Let k = d + 2. Solve 4*i - k = -6 for i.
2
Let w(s) = s**3 + 2*s**2 + 3*s. Let m be w(-3). Let l be (m/(-63))/(1/7). Solve l*k - 5 = -15 for k.
-5
Suppose -4*t - 3*o + 27 = -t, -4*o = -5*t. Suppose 0 = -5*a + 2*d + 52, 3*a + 5*d = 23 + 2. Solve 0 = -3*m - a + t for m.
-2
Let m = -21 - -26. Solve 26 = -m*u + 6 for u.
-4
Let a(w) = w + 5. Suppose 4 = -4*l - 2*r - 2*r, 5*l + 13 = -3*r. Let o be a(l). Let h = 10 - 6. Solve q = -o*q - h for q.
-4
Suppose 5*t = -30 - 5. Let m = 4 - t. Suppose 4*b + 3 = m. Solve 0 = 2*a - 0 - b for a.
1
Suppose 4*f + 42 = x, 2*f + 0*f - 4*x = -28. Let q be (-4)/(-10) + (-16)/f. Suppose 4*a = 3*o + 7, -a + 13 = o + q*o. Solve o*h + 8 = h for h.
-4
Let t = -16 - -8. Let d(k) = -k**3 - 5*k**2 - 3*k + 2. Let m be d(-4). Let u = m - t. Solve -5*v + 9 = -u for v.
3
Let f be 201/6 + 3/(-2). Let k = f + -23. Solve 0 = 4*q + 1 - k for q.
2
Suppose 4*y + 4 = 5*s, 5 = 4*s - 6*y + y. Suppose 0 = -s*p - 2*p. Solve 2*f - f - 1 = p for f.
1
Let j(a) = 2*a**3 - 3*a**2 + 4*a - 5. Let x be j(2). Solve 4*b + 1 + x = 0 for b.
-2
Let d(n) = n**2 - n - 20. Let c be d(-4). Solve c = 4*f - 5 - 3 for f.
2
Let n = 11 + 13. Suppose n = 5*g - 1. Solve 5*f - g = 4*f for f.
5
Let k(y) = 8*y**3 + 2*y - 1. Let l be k(1). Suppose 0 = -2*d - d + l. Solve d*r + 12 = -r for r.
-3
Let i(h) = -h + 16. Let c be i(7). Solve 0 = -2*w - c + 3 for w.
-3
Let l(a) = a**3 - 10*a**2 - 2. Let u be l(10). Let y be 0*(u - 2)/4. Solve 12 = -y*m - 3*m for m.
-4
Let w = 32 + -21. Suppose 8 = -v + 3*u, -w = 2*v - 2*u - 3*u. Suppose -8 - 2 = -5*r. Solve r*q + v = 1 for q.
-3
Let m(w) = w**3 - 2*w. Let c = 10 - 15. Let g be (-3)/(-1) - (-5)/c. Let x be m(g). Solve -7 = -x*t + 9 for t.
4
Let z be ((-8)/(-5))/(-2)*5. Let o be ((-6)/5)/(z/30). Solve -6*a = -3*a - o for a.
3
Let w(l) = l**3 - 5*l**2 - 6*l + 3. Let s be w(6). Suppose 0 = -0*c + c - s. Solve 6*b = c*b + 15 for b.
5
Let f = 4 + -4. Suppose 3*r + f = 21. Solve -9 = -4*p + r for p.
4
Let l(m) = m**2 + 11*m - 3. Let z be l(-6). Let c be (0 + -2)/((-6)/z). Let g = -6 - c. Solve -g + 0 = 5*n for n.
-1
Let c be 4/((-20)/(-5)) - -1. Solve 0 = c*w - 3*w for w.
0
Let s = 49 + -34. Solve -3*r = 2*r + s for r.
-3
Let l = -4 - -14. Suppose 4*t - l = 3*c, 3*t + 5 = -5*c - 2. Solve 4 = -b - t for b.
-5
Let h be ((-25)/(-10))/(2/(-4)). Let g be 3/(-3)*2 - h. Solve -12 + 0 = g*o for o.
-4
Let n(s) = -s**3 - 7*s**2 - 2*s - 3. Let m be n(-7). Let q = 5 - m. Let j be 3 - 2*3/q. Solve -j*r + 0*r = 4 for r.
-1
Let x = 42 - 26. Suppose 0 = -5*d + x - 1. Suppose 2*a = -7 + 31. Solve -a = d*c - 0*c for c.
-4
Let v(l) = -l - 6. Suppose 2*c = t + 8, 5*t = t - 2*c + 18. Let w be t + -3 + -1 - 6. Let p be v(w). Solve -p*f + 8 = -6*f for f.
-2
Let g be 45/(-36)*(-11 + 3). Solve g*b = 7*b + 15 for b.
5
Suppose 0 = 4*r - 8 - 12. Solve -r*y - 4 = -y for y.
-1
Suppose 0*n + r - 105 = -n, 5*n + 4*r = 521. Suppose 33 - n = -4*m. Let a be m + (2 - (4 + 0)). Solve -z + a = -4*z for z.
-5
Suppose -12*r + 18 = -8*r + 2*s, 4*r - 27 = -5*s. Solve r*k + 2*k = 20 for k.
4
Let k(p) = p - 1. Let s be k(5). Let z(y) = y - 4. Let n be z(s). Solve -2*l - 1 + 7 = n for l.
3
Let y be (-177)/(-15) + 1/5. Let h be (14/(-4))/((-2)/y). Suppose 2*n = -0*n - 4*b + 50, n + 4*b - h = 0. Solve n - 13 = 4*r for r.
4
Let y = -3 + 6. Let w = y - 1. Suppose w*p + v = p + 19, p = 3*v + 23. Solve -p = -3*k - k for k.
5
Suppose 2*g - 16 + 6 = 0. Suppose 36 = g*x + 3*k, 8*x - 3*x = 5*k + 20. Suppose -2*t = 2*f - x*f + 8, 0 = 3*t. Solve -r = f*r + 6 for r.
-2
Suppose -9 - 1 = -x. Let t(f) = -f**3 + 10*f**2 - 2*f + 9. Let z be t(x). Let n = 19 + z. Solve 2 = -2*w - n for w.
-5
Let b(z) be the third derivative of z**6/120 + z**5/20 - z**4/4 - 2*z**3/3 + 2*z**2. Let a be b(-4). Solve 6 = a*v + 2 for v.
1
Let p = 0 - 4. Let z = p - -6. Solve x = -z*x for x.
0
Suppose -4*s = -8*s - 28. Let x = s + 13. Solve x = 2*p - 0*p for p.
3
Suppose 0 = 6*g - 7*g + 2. Solve s = -g*s + 12 for s.
4
Let h(s) = -6*s - 37. Let g be h(-8). Suppose -6 + 1 = -l. Let y(i) = -i**2 + 6*i - 2. Let f be y(l). Solve 0 = 2*z + g - f for z.
-4
Let j(y) = -6*y**2 + 2*y**2 + 4*y**2 - y + 1 + y**3. Let x be j(0). Solve 4*w + x = -15 for w.
-4
Let j = 2 + 1. Suppose j*x - 78 = 3*c, -3*x + 59 = -4*c - 20. Solve -x = -0*l + 5*l for l.
-5
Suppose 16 = 6*g - 2*g. Solve -g*a + 2 = 18 for a.
-4
Let u(a) = a + 7. Let c be u(-5). Suppose -c*z + 5*j = -29, -5*j + j - 10 = 5*z. Solve 2 = z*y - 8 for y.
5
Let h(i) = 4*i**3 - 2*i**2 - 3*i + 2. Let n(v) = 5*v**3 - v**2 - 4*v + 1. Let x(p) = 4*h(p) - 3*n(p). Let b be x(5). Solve b*m = m for m.
0
Let g(i) = i**2 + 5*i - 1. Let v be g(-4). Let c be (-1)/v - 117/(-15). Let q be -1 - (0/(-3) - 1). Solve q*a = 2*a - c for a.
4
Let o(p) = p**3 - 5*p**2 - 5*p - 4. Let c be o(6). Suppose 3*b = c + 4. Suppose 0 = j - 3*h - b - 17, -h - 21 = -4*j. Solve -2 = -j*k + 3*k for k.
2
Let o be (12/(-10))/((-6)/15). Let m(r) = 4*r - 11 - 13*r + 7*r. Let i be m(-9). Solve -o*p + 5 + i = 0 for p.
4
Let v be 0 - ((3 - 3) + -6). Let r = -4 - -7. Suppose 32 = 4*m - 5*g, -g = 2*m - 5 + r. Solve m*i = v - 0 for i.
2
Let j = 6 - 1. Suppose f - 2*f + 7 = c, c = 2*f - j. Let d = f + -3. Solve d - 3 = -n for n.
2
Let z = 10 - 10. Suppose -f - f = z. Solve -v + 2 + 0 = f for v.
2
Let b = 1 - -5. Let l(s) be the second derivative of s**5/20 - 5*s**4/12 - 7*s**3/6 + 3*s**2 - s. Let o be l(b). Solve 3*m = -o*m for m.
0
Suppose -2*r = -4*v - 22, 0 = -4*r - 3*v - 0*v + 44. Solve 2*b - 1 + r = 0 for b.
-5
Let b(a) = -2*a + 38. Let l be b(17). Solve l*y + 4 = 20 for y.
4
Let c(h) = 2*h**2 + 2*h. Let n be c(-2). Let l(u) = -2*u**3 - 12*u**2 - 2*u + 3. Let a be l(-6). Solve -5 = n*z + a for z.
-5
Suppose -5*a - 11 = -4*x, -12 + 2 = -3*x + 2*a. Solve x*s + 0 + 12 = 0 for s.
-3
Suppose -2*y + 4 = -2*s, -3*s - 3 = -5*y + 3. Solve -3*x + 2*x + 1 = y for x.
1
Let f(h) = 2*h**2 - 3*h - 4. Let g be f(4). Solve 4*k = g - 0 for k.
4
Let d(i) = i**2 - 5*i - 4. Let b be d(10). Let m = b - 21. Solve -2*f = -7*f - m for f.
-5
Suppose 0 = 3*y - 7*y + 4. Suppose -2*a + s = -7, -5*s + 0 = 2*a - y. Let i be 3/4 - a/(-12). Solve -3 + i = 2*b for b.
-1
Suppose 2*l + 0*l - 9 = -w, 9 = 4*w - l. Let y(p) = p**2 + 8*p + 8. Let b be y(-6). Let o be (-4)/(-6) - b/(-6). Solve w*c - 2 - 1 = o for c.
1
Let j(h) = h**3 - 7*h**2 + 6*h + 3. Let v be j(6). Solve -v*l + 0*l = 0 for l.
0
Suppose 3*j - 2*j = 0. Solve 0*l + 2*l - 2 = j for l.
1
Suppose p = -4*p + 60. Let m be 5/(-2)*p/(-10). Solve m = 4*r - 1 for r.
1
Let j(u) = -u**2 + 13*u - 22. Let m be j(11). Suppose 3*g - 27 = -0*g - 3*y, 2*y = 8. Solve 5*k + m = -g for k.
-1
Suppose -2*h = 5*b - 32, -5*h - b - b = -38. Solve 0 = k - h*k for k.
0
Let h be 6/(-9)*(-345)/(-10). Let l = h + 32. Solve -3 = -4*d + l for d.
3
Suppose -5*y = 1 - 21. Let q = -3 - -9. Suppose -4*z - q = -6*z. Solve y*o + 4 = z*o for o.
-4
Let p(i) = -i**3 - 6*i**2 + 6*i + 8. Suppose -2*c + 3*c = -25. Let o = 18 + c. Let r be p(o). Solve 0 = 7*k - 2*k - r for k.
3
Let z be 0 - 9/((-9)/8). Solve v - z = -v for v.
4
Let k = -2 - -2. Let w(i) = -5*i. Let r be w(-2). Solve k*c + r = 2*c for c.
5
Let m = 2 + 7. Let u be (1/3)/(3/m). Suppose -g + u = -3. Solve g*p - 9 = 11 for p.
5
Suppose 5 - 2 = i. Let z be 9 - (4 - -2 - i). Solve n - 10 = z*n for n.
-2
Let h(w) = 2*w**2 - 1. Let m be h(1). Suppose n - 14 = -3*k + 4, 0 = -5*n - k + 20. Solve r = -n + m for r.
-2
Let b(t) = -t**3 - 6*t**2 - 2*t - 9. Let p(g) = -g**3 - 6*g**2 - 2*g - 9. Let z(o) = 3*b(o) - 2*p(o). Let x be z(-6). Solve -x*j = -8*j for j.
0
Let m be (8*(-1)/(-16))/((-2)/(-20)). Solve -m = -2*j - 15 for j.
-5
Let o(p) = p - 5. Let c be o(5). Let s = 3 + c. Suppose 5 = s*b - 10. Solve -12 + 2 = b*k for k.
-2
Suppose -3*h 