lve 3 = 2*y + r for y.
-4
Let u(s) = -5*s**3 + 1. Let x be u(-1). Let v be (-2)/(-13) - (-150)/39. Suppose 0 = v*t - 2*t - x. Solve -n = t*n - 8 for n.
2
Let u = -6 + 6. Suppose 5*i - 98 = -2*v, 5*i + 4*v - 161 + 65 = u. Solve 5 - i = -5*m for m.
3
Let r(v) = -v**2 + v + 2. Let w be r(0). Suppose -19 = 2*a - 5*b, b + w - 4 = a. Solve a*h = h + 2 for h.
1
Let x = 32 - 26. Let b be 0/(-1) - (0 + -15). Solve x*f - b = 3*f for f.
5
Suppose -i + 4 = -3. Let y be (-5 + i)*(-1 + 3). Solve 0 = y*a - 8*a - 16 for a.
-4
Suppose 3*w = y + 7, 4*y + 5 = 5*y. Suppose -w*o - o = 0. Let b = o + 1. Solve 2*z - 1 - b = 0 for z.
1
Let p(k) = k**3 - 4*k**2 - 4*k - 5. Let i = 10 + -5. Let y be p(i). Solve -h + 4 = -y*h for h.
4
Let o = 45 + -41. Solve 2*v = -o - 2 for v.
-3
Let o = -49 - -51. Solve l = -o*l for l.
0
Let p(z) = 2*z - 5. Let b be p(4). Suppose c = b*c. Let t = 11 - 6. Solve t*h = -5 - c for h.
-1
Let p(y) = -y**3 + 2*y**2 + 2. Let b be p(2). Solve 4*l = -b - 2 for l.
-1
Let k be 2/5 + (-108)/45. Let z = k + 7. Let v be 4/(-10) + 34/10. Solve -z*w = -v*w for w.
0
Let n(y) be the second derivative of y**4/12 - y**3/6 + y**2 - 2*y. Let k(m) = -m + 7. Let v be k(4). Let i be n(v). Solve -i = -3*a - 2 for a.
2
Let v = 24 - 23. Solve 4*l = -v + 17 for l.
4
Suppose -4*x = -u - 2*u - 7, -u + 11 = 2*x. Suppose j + x*j = 15. Solve 0 = p + j*p for p.
0
Suppose 0 = -4*x - d + 17, -13 = -5*x + 5*d + 2. Suppose x*b = -4*i - i + 15, 0 = 3*b. Solve -j + 8 = i for j.
5
Let f be (1 - (-4 + -4)) + -1. Solve -6*c + 2*c = f for c.
-2
Let r(a) = -a + 11. Let f be r(7). Solve -f*g + 1 = 5 for g.
-1
Let h(g) = -g**3 - 13*g**2 - 12*g + 3. Let p be h(-12). Solve 0 = -p*y + 8*y + 20 for y.
-4
Suppose -4*k - 7 + 23 = 0. Solve 0 = 2*r - k - 6 for r.
5
Let v(p) = -p + 4. Let h be v(0). Solve -h*k + 5*k + 3 = 0 for k.
-3
Suppose v + 3 = 2*v. Let q = 7 + 1. Solve -k = v*k - q for k.
2
Let z = 6 + -7. Let q(u) = -4*u**3 - 2*u - 1. Let n be q(z). Solve n*m - 5 = -0 for m.
1
Let m = -42 - -59. Let x = -12 + m. Solve x*b + 0*b = 0 for b.
0
Suppose -d + 14 = 5*r, 3*r + 0 = d + 10. Solve r*i + 5 = -7 for i.
-4
Let d(g) = g**3 + 4*g**2 + 2*g - 3. Let m be d(-3). Suppose -2*f + m*f + 20 = 0. Solve 4*i + f = -2 for i.
-3
Let w = 0 + 2. Solve -2*l + l - w = 0 for l.
-2
Suppose -5*y + 25 + 15 = 0. Solve 0*v + 2*v - y = 0 for v.
4
Suppose 3*s + 7 = -v, s = v - 4*s + 15. Let k = v + 12. Solve 4 = -k*o - 6 for o.
-5
Suppose z - 29 = 5*v, -10*v + 6*v = 3*z + 8. Solve b + z*b + 10 = 0 for b.
-2
Suppose 3 = 2*c - 1. Solve -c*f + 1 = -9 for f.
5
Suppose 8*r = 7*r + 6. Solve -3*k = 3 + r for k.
-3
Let d(o) = 0*o - o**2 + 1 + 2*o - 2*o - o. Let k be d(-1). Solve -3*n = k + 5 for n.
-2
Let b = -74 + 53. Let f be (-2)/6*(0 + b). Solve -3*o + f = -5 for o.
4
Let f(q) = 8*q**3 - 2*q**2 + 1. Let m(b) = -b**3 - 5*b**2 - 5*b - 3. Let n be m(-4). Let k be f(n). Let s = k - 7. Solve s*c = c for c.
0
Let c(t) = -3*t**3 - 2*t - 3*t**2 + t**2 - 2 + 1 - 6*t**3. Let g be c(-1). Solve -f = 3*f + g for f.
-2
Suppose -50 = 12*b - 17*b. Solve 4*u - b = 6*u for u.
-5
Suppose -6*s + 6 = -3*s. Suppose 0*y = -s*y. Suppose 5*z - 133 = -2*a - 29, -10 = -5*a. Solve z = -4*l - y for l.
-5
Let f = 0 + 0. Let n be -3*(3/(-9) + f). Solve 0 = -5*a - 6 + n for a.
-1
Let s(n) be the second derivative of -2*n + 1/3*n**3 + 1/4*n**5 + 0 - 1/12*n**4 - 1/2*n**2. Let y be s(1). Solve 0 + 25 = y*o for o.
5
Let t = 162 + -162. Solve w + 3*w + 20 = t for w.
-5
Let y(q) = -6*q**3 - q**2 + q + 1. Let m be y(-1). Let t = 7 - m. Suppose 2*r - 4*r = -t. Solve v = -2 - r for v.
-3
Let u(z) = -z**2 - 5*z - 2. Let q be u(-2). Let x = -42 + 72. Suppose 2*o - 2*d = 0, -2*o - x = -7*o - d. Solve q*g + 3 + o = 0 for g.
-2
Suppose -5*q + 2 + 8 = 0. Solve 4*s = -q - 18 for s.
-5
Suppose -4*o - 8*o + 7*o = 0. Solve j + 0*j + 4 = o for j.
-4
Let r = -32 + 48. Let u = 5 + -4. Suppose x - 4 = u. Solve v + r = x*v for v.
4
Suppose 2*m = -3*m + 45. Let n = 9 - m. Suppose -3*p + 2*u - 7 = 0, -3*p + 22 = 4*u - 1. Solve y + p = -n*y for y.
-1
Let k = -8 - -10. Suppose -5*x - 5 = 2*w, 5*w + 5 = -5*x - 0. Suppose w*a + a = 0. Solve 2 = k*j - a for j.
1
Suppose 0 = 4*w, 2*h + 2*w = -3*w + 4. Solve -r + h = -2 for r.
4
Let m(o) = -o - 14. Let l be m(-6). Let h = 33 + l. Let p = -5 + 7. Solve -3*u - p*u = -h for u.
5
Let m(b) be the first derivative of 7*b**3/3 - 3*b**2/2 - 2*b + 4. Let r be m(-2). Solve -5*u - 7 = -r for u.
5
Let w(k) = -k + 12. Let g be w(11). Solve -2*c - g = -3 for c.
1
Let c = -36 - -36. Suppose 10 - 1 = -2*b + 5*s, -4*b + 24 = 4*s. Solve 3*o + c - b = 0 for o.
1
Suppose -2*r = -3*y + 22, -2 - 31 = 3*r - 2*y. Let j = 14 + r. Solve -j*k = -6*k for k.
0
Suppose 2*o = 6*o, 5*p - 4*o - 15 = 0. Suppose -y + 20 = p*y. Solve -1 - 9 = y*w for w.
-2
Suppose 5*d + 0*n - 41 = -2*n, 3*d - 2*n - 15 = 0. Suppose -4*g = -d*g + 12. Solve -g*i = i for i.
0
Suppose 4*n - 20 = 3*r - n, -2*n = 5*r - 8. Suppose r = -b - 0*b. Solve -5*k + k = b for k.
0
Suppose 5*h - 27 = -u, 5*u + 6 - 1 = 3*h. Solve 3*n = u*n - 4 for n.
-4
Let p = -14 - -27. Solve -5*j + p = -2 for j.
3
Let m be -2 + (0 - (0 - 2)). Suppose m*n = -3*n. Suppose -2*y + 0*z - 3*z + 26 = n, 0 = 4*z. Solve y = -5*s + 3 for s.
-2
Suppose -5*o + 3 = -n - 2*n, n = 5*o - 1. Let g = 14 + 6. Solve o = r + 3*r - g for r.
5
Let v(a) = -a**3 - 3*a**2 + 4*a + 2. Let n be v(-4). Let r be 156/91 - 4/(-14). Solve n = -r*w + 10 for w.
4
Suppose -d + 14 = 3*p, -16 - 5 = -4*p + d. Suppose -2*f = -3*j + 50, p*j + 3*f + 0*f = 115. Solve -3*b = b - j for b.
5
Let j be (0 - -1) + -2 + 1. Let t be 5 - (2 - 1 - j). Suppose 5*p + 3 + 5 = t*r, 3*r = -5*p + 6. Solve -r*a - 3 = -a for a.
-3
Suppose -a + 5*f = -19, -4*a - 57 + 13 = 4*f. Let l = 6 + a. Solve -c + 3*c = l for c.
0
Let u = -4 - -3. Let l be u/2*(5 + -5). Suppose l = -5*r + 1 + 4. Solve -7 + r = 2*c for c.
-3
Let u = 22 - 39. Let m = u + 32. Let s(a) = -a**2 + 4*a - 3. Let n be s(3). Solve n*v = 3*v - m for v.
5
Let x(t) = t**3 - 4*t**2 - 6*t - 2. Let f be x(5). Let i = -7 - f. Solve i = q + 3*q - 4 for q.
1
Let l = 14 + -14. Suppose -4*o + 12 + 0 = l. Solve 2*r = -o*r for r.
0
Let n(v) = 2*v**2 + 10*v**3 - 5*v**3 - 4*v**3 + 2. Let s be n(-2). Solve -4*a = -s*a for a.
0
Let o be 1/2 + (-1)/2. Suppose -7*i = -3*i - 4. Solve o - i = f for f.
-1
Suppose 4*v + 2*a - 10 = 0, 4*v = -0*v - 3*a + 9. Solve v*w = -2*w for w.
0
Let l be ((-8)/6)/((-8)/12). Let g(c) = c**3 - 9*c**2 + 8*c + 7. Let b be g(8). Let f = b + -6. Solve -9 - f = l*x for x.
-5
Let a(w) = -2*w - 2. Suppose -5*d + 9 = p + p, -p + 5*d - 33 = 0. Let x = -10 - p. Let h be a(x). Solve -h*z - z = -3 for z.
1
Let q = -72 + 72. Solve q = -5*x + 3*x for x.
0
Suppose 2 + 8 = c. Suppose 2*z = -5*k - 38, -4*z + 4*k = 13 + 7. Let i be -4*1 + (-81)/z. Solve i*p + 35 = c for p.
-5
Let n = 22 - 22. Solve y + 4*y - 20 = n for y.
4
Suppose -2*k + 9 = -5*k, 3*k - 15 = -4*w. Solve 2*s = -w + 4 for s.
-1
Let a = 27 - 17. Let m(c) = c**3 - 11*c**2 + 12*c - 10. Let z be m(a). Solve 0 = 3*h - 5 - z for h.
5
Suppose 5*p - 54 = 4*y, -5*p - 3*y = -6*p + 13. Solve 11*l = p*l for l.
0
Suppose -5*b - 3*r + 135 = 0, 34 = b + 2*r - 0. Suppose -5*a + 21 = 4*x - 0*x, 5*a + x - b = 0. Solve 1 = -a*k + 11 for k.
2
Let m(x) = -24*x + 3. Let d(u) = -6*u + 1. Let h(o) = -9*d(o) + 2*m(o). Let g be h(-4). Let f = -2 - g. Solve 3*t = -2*t + f for t.
5
Suppose 0 = 2*i + 4*m + 6, 5*i - 30 = -3*m - 10. Solve -i*y + 4*y + 12 = 0 for y.
4
Let f(h) = -h**3 - 7*h**2 - h + 4. Let v be f(-7). Solve 5*k = -v + 31 for k.
4
Suppose -5*l + 0*l = 0. Solve l*v + 10 = -2*v for v.
-5
Suppose t + 0*t + 8 = 5*p, 14 = 5*t + 2*p. Suppose 2*r - 14 = -5*b + 4*r, 0 = 3*b - t*r - 10. Suppose 3*h - 10 - 11 = 0. Solve -h - 1 = b*w for w.
-4
Suppose 0 = -3*n, -4*n = 4*u - 5*n. Solve 0 = -2*a - u*a for a.
0
Let b be 1*3*(2 + -1). Suppose -3 = 4*r - 7. Let a = b - r. Solve k - a = -k for k.
1
Suppose 3*k - 80 = -5*z + 2*k, 2*z - 4*k - 32 = 0. Let d = 0 - 0. Solve 2*q - 6*q + z = d for q.
4
Let m = 87 - 82. Solve -3*q + 1 + m = 0 for q.
2
Suppose -5*b - 2*y + 25 = 0, 2*b - 5*y + 19 = -0*y. Suppose 4*c + g = 2*c + 13, -g = b*c - 19. Solve -c*h = -h - 20 for h.
4
Suppose 0 = 5*v - 20, o - 2*o = -5*v + 20. Let l = 61 + -60. Solve o*t = -t - l for t.
-1
Let g(w) = 2*w - 1. Let n