0 = -2*j. Let g be (32/j)/(2/(-5)). Solve 0 = 2*q + 2*q - g for q.
1
Suppose 4*m - u - 19 = 0, 5*u + 56 = 5*m + 21. Let d(l) = -l**3 - 5*l**2 + 6*l + 2. Let t be d(-6). Solve 2*g + t = m for g.
1
Let t(c) = 11*c. Let f be t(0). Solve f = -0*o + 2*o - 2 for o.
1
Let r(w) = 2*w**3 - 3*w**2 - 2*w - 3. Let k be r(3). Let l be ((-22)/(-3))/(4/k). Suppose 3*x - 36 = -3*o, -5*x = 3*o - l - 19. Solve 5*y - y = -x for y.
-2
Let a = -15 + 10. Let n = -4 - a. Solve 0 = v - n for v.
1
Suppose 4*v - 1 = z, 3*v - 4 + 2 = 2*z. Let p be (-2 + 2)/z + 4. Solve p*c + 2 = -14 for c.
-4
Let s = 33 - 26. Solve 2*d - s = -1 for d.
3
Suppose -12 = 98*y - 102*y. Solve 2 + 13 = -y*i for i.
-5
Let n(a) = -a**3 + 5*a**2 + 2. Let k be n(5). Suppose -q - k*q = 0. Solve q*h = 3*h + 12 for h.
-4
Suppose -5*r = -20 - 30. Let q be ((-6)/r)/(6/(-30)). Suppose -w = -9 - q. Solve -i - 3*i = w for i.
-3
Let g(z) = 25*z**3 - z**2. Let r be (-3)/(-1) + (6 - 8). Let f be g(r). Solve 4*t = -4 + f for t.
5
Let o be (-11)/(-4) + 45/(-60). Solve 0 = o*v + 4 - 2 for v.
-1
Let w be 3 + (1 - 2/1). Suppose -w = -2*r + 2. Solve r*v + 5 = 7*v for v.
1
Suppose 0 = -b + 6*b - 2*b. Solve d + 4 + 0 = b for d.
-4
Let g(z) = -z**2 + 12*z + 2. Let u be g(12). Solve u*h = 3*h + 2 for h.
-2
Let g(f) = f**3 - 3*f**2 + f - 3. Let s be g(3). Let v(j) be the third derivative of j**5/60 + j**4/24 + j**3 - 2*j**2. Let u be v(s). Solve u = -4*o + 2 for o.
-1
Suppose 3*n - w + 2 - 10 = 0, -5 = -3*n + 4*w. Suppose d - n = -0*d. Solve d - 5 = 2*s for s.
-1
Let w(t) = 7 - 3 + t**2 + 6 - 9*t - 2*t**2. Let n be w(-10). Solve b + 4*b = n for b.
0
Let v = 34 + -54. Let o be ((-15)/v)/((-2)/(-24)). Solve -o = 5*k + 6 for k.
-3
Let y(w) be the third derivative of -w**6/120 - w**5/12 + 5*w**4/24 - 2*w**3/3 - w**2. Let d be y(-6). Suppose 3*o = -2*o + 20. Solve -o*b = -d*b - 4 for b.
2
Suppose -4*n - 4*v = 0, -2*v = -0*n + 4*n. Solve 2*p - p - 3 = n for p.
3
Let c = 3 - 0. Suppose -p = -c - 0. Let t be 6*(1 + -3)/(-2). Solve 3*v - p = t*v for v.
-1
Suppose -3*t - 10 = -4*d, -2*t - 15 = -3*d - 8. Solve -2 - d = q for q.
-3
Let k be 6*((-10)/(-2) - 4). Solve 5*m + 14 + k = 0 for m.
-4
Suppose -z + 5*z = 8. Let k be (-2)/12 + (-62)/(-12). Solve z*f - k*f = -3 for f.
1
Let f(z) = z**3 + 2*z**2 + 2*z + 1. Let k be f(0). Solve -k = 2*r + 5 for r.
-3
Suppose 2*j + 0*j = -j. Let m(w) = -w**3 - 6*w**2 + 4*w - 6. Let b be m(-7). Solve -b = -3*c - j*c for c.
5
Suppose -6*p = -p - 10. Solve -p*t + 4*t = -6 for t.
-3
Let d be 2*(-1 + 0) + (20 - 16). Solve -d*o = 3*o for o.
0
Let n = 0 + 2. Suppose 2*g + 0 = -i - 4, 2*g = -n*i - 8. Solve 6 = 2*c - g for c.
3
Let b be (-1)/(((-3)/(-36))/(-1)). Suppose -6*a + 54 = -b. Solve -a = -4*r - 3 for r.
2
Suppose 2*k - 5*h = 20, h = 4*k - 0 - 4. Solve k*r = -3*r - 3 for r.
-1
Suppose 0 = -3*s + p + 5 - 2, 5*p = s - 15. Suppose -5*d + 2*d = s. Let x = d + 3. Solve x*g - 2 = 4*g for g.
-2
Let t(i) = i**2 - 6*i - 5. Let k be t(7). Suppose -3*s = u - s + 4, 0 = k*u + 5*s + 11. Solve -u*n - 2 = 4 for n.
-3
Let c = 3 + 1. Solve 11 = c*v + 3 for v.
2
Let v be (-95)/19 - 20/(-2). Solve -10 = -3*z + v for z.
5
Suppose 6 = u + 2*u. Suppose l + z = 3, -l + u*l = 2*z + 9. Suppose -12 - 5 = -l*n + 4*w, -3*n = -2*w - 9. Solve 4*h - 5*h + n = 0 for h.
1
Let o(z) = z**2 + 5*z - 6. Let q be o(-6). Solve 0 = m + 3 - q for m.
-3
Suppose -2*t + 6 + 2 = 0. Solve -t*r - 5 = r for r.
-1
Let c(j) = 14*j**2 - 2*j + 23. Let t(l) = 5*l**2 - l + 8. Let p(y) = -4*c(y) + 11*t(y). Let r be p(-3). Let o = 6 + r. Solve -o*q + 3*q = 1 for q.
1
Let y(v) = v**3 - 2*v**2 + v + 2. Let u be y(2). Let d be (-22)/(-4) - (-36)/(-24). Solve 2*q - d*q = u for q.
-2
Let m = 23 - 14. Let v = m - 7. Solve v*u + 2*u - 20 = 0 for u.
5
Suppose 2*i - 7*i + 75 = 0. Let x = i - 9. Suppose y - 2 = x. Solve 0*q = 4*q - y for q.
2
Let b(o) = -o**3 + 8*o**2 - 5*o - 8. Let j be (-46)/(-6) + (-6)/9. Let r be b(j). Solve -3*l + r = -9 for l.
5
Suppose 0 = 2*o - 2*z - 0*z - 6, -4*z = 3*o - 2. Solve -o = 3*i - 11 for i.
3
Suppose -w = -4*q + 2*w + 87, 0 = -5*q - 5*w + 135. Let s be 2 + -4 - q/(-4). Solve -4 = s*y - 24 for y.
5
Let r = -2 - -2. Suppose 0 = -4*t - r*t. Solve -q + 0 + 1 = t for q.
1
Let u be (-12)/36 - (-44)/6. Let d be 21/u*10/6. Solve d*m + 5 = -15 for m.
-4
Let n be (32/3)/(10/15). Solve y - 5*y - n = 0 for y.
-4
Let p(b) = b**3 + 16*b**2 + 2*b + 39. Let q be p(-16). Solve q*t = 4*t + 9 for t.
3
Suppose b + 0*b = 4. Suppose -4*q + 2*c = -c - 35, -2*q = -5*c - 35. Solve q*z = 3*z - b for z.
-2
Suppose 3*k + 2*v - 53 = 0, -42 = -2*k - v - 2*v. Solve k = 5*s - 0 for s.
3
Let f(h) = 3*h. Let n be f(2). Let p(z) = -z**3 + 7*z**2 - 3*z + 7. Let s be p(n). Solve 0 = -d - 4*d + s for d.
5
Let v be 0/(-2)*(3 - 2). Suppose -9*o + 7*o + 4 = v. Solve 2*k + 4 = o for k.
-1
Suppose -3*z - 6 = -6*z. Solve -4*h = -z*h + 8 for h.
-4
Let t(f) = -f - 3. Let a be t(-6). Let x(b) = 8*b - 7. Let u be x(1). Let w be 6 + 2*(-1 + 0). Solve -a*o = -w + u for o.
1
Let o be (4 - (2 + -4)) + -4. Solve -o*j = -3*j for j.
0
Let j be 2/12 + 166/12. Let f = 0 + 6. Solve f = -4*l + j for l.
2
Suppose 4*h - 23 = -7. Solve h*a + 8 + 4 = 0 for a.
-3
Let s(a) = 4*a**3 + a**2 - 3*a + 1. Let j be s(1). Solve -j = -5*c - 23 for c.
-4
Let y be 27/15 + (-7)/(-35). Suppose -2*w = -3*w - 5*n + 20, 2*w = 4*n - 2. Solve w*h - y*h = -3 for h.
-1
Suppose -11 - 4 = -3*p. Suppose -p*j = -j - 8. Solve j*u = -1 + 3 for u.
1
Suppose 4*u + 9 = -3*r, u = -5*r - 8 - 7. Suppose -10 - 15 = -5*v. Solve 0*c + v*c = u for c.
0
Let g = -35 + 49. Suppose 0 = -i + 4, 4*i = 4*p + 38 - g. Let m = p + 2. Solve m*s = 5*s + 5 for s.
-1
Let v be (-4)/((-7)/2 - -3). Suppose -v = -l - l. Solve x + l = -x for x.
-2
Let j = 13 - 9. Suppose -2*x + 4 = -2*s, -3*x + x + 2 = -j*s. Solve f = 2*f + s for f.
-1
Let s = -29 - -32. Solve 20 = -s*f - 2*f for f.
-4
Let v = -1 - -3. Suppose -2*w - l - 2 = -4*l, 0 = l - v. Suppose i - 6 = -3*p, 5 = 2*p + 3. Solve -i*t = -w*t + 5 for t.
-5
Suppose 20 = -0*m - 3*m + a, -3*m - 8 = 5*a. Let l = 0 - m. Solve 3*o - 18 + l = 0 for o.
4
Let k(c) = 4 + c**3 - 3*c**2 - 4*c + 1 - 3. Let o be k(3). Let a = -5 - o. Solve -w + 0 = a for w.
-5
Suppose -6*s = -4*s - 4. Solve -3*r - 10 = s*r for r.
-2
Let c(b) = -6 + 0*b - 4*b**2 + 5*b**3 + 0*b - 4*b**3 + 2*b. Let k be c(4). Suppose 0 = -k*x - 2*x + 8. Solve m - x = 3 for m.
5
Suppose 8 = -3*r - 2*m, 5*r = -0*r - 3*m - 13. Let x = r - -3. Solve -x = -n - 3 for n.
-2
Let n be 5*((-52)/20 + 1). Let v(g) = g**3 + 7*g**2 - 6*g + 18. Let k be v(n). Solve 7*d = k*d + 10 for d.
2
Let f(s) = -s**3 + 4*s**2 + 6*s - 3. Let j be f(5). Solve 2 = -j*o - 0 for o.
-1
Let b(s) be the first derivative of s**4/4 + 2*s**3 - 7*s**2/2 + 4*s - 1. Let l be b(-7). Suppose l*o = 3*o + 2. Solve o*j = -0*j + 4 for j.
2
Suppose -13 = -4*x + 3. Suppose x*j = 5 + 11. Solve j*a = -a + 25 for a.
5
Let h = -2 - -12. Solve y = -h + 15 for y.
5
Let w be (1/2 + -2)*-2. Suppose j - w = 2. Let t = j + -3. Solve t = -4*s - 6 for s.
-2
Let k be (-5)/35 + (-4 - (-60)/(-21)). Suppose 4*m - 9 - 7 = 0, -m + 16 = -2*x. Let a = x - k. Solve 5 - a = p for p.
4
Suppose 4*o = w + w - 20, o = -4*w + 22. Solve -3*f = -w*f + 6 for f.
2
Let c be 55/15 - 2/(-6). Let q be c/18*-3*-3. Solve -q*o - 3 = 1 for o.
-2
Suppose -2*t - 16 = -6*t. Let w be (-3)/(-12) + (-15)/(-4). Solve -8 - w = t*a for a.
-3
Let f be (6 + -5)/1*(1 - -2). Solve -f = -2*k + 1 for k.
2
Let p be (3 + 15)/(-4 + 2). Let f = p - -9. Solve f = 5*g - g + 4 for g.
-1
Suppose 0 = -10*p + 5*p. Solve p = 5*b - 15 - 5 for b.
4
Suppose 4*a - 1 = -5. Let s(z) = 5*z**2 + z + 1. Let d be s(a). Suppose -29 = -d*i - 4. Solve -y + i = -2*y for y.
-5
Suppose -l + x = 4*l - 41, l - 2*x = 1. Suppose 0*n + 5*n = -40. Let c = -3 - n. Solve -c*k + l + 11 = 0 for k.
4
Let k = 19 + -4. Suppose 3*c = -5*j + k, c = -2*j - 2*c - 3. Solve -16 + j = -2*o for o.
5
Let f(k) = -k + 6. Let i be f(5). Solve 16 = -5*d + i for d.
-3
Let v = 20 - 26. Let s = -2 - v. Solve -2*h + 3*h - s = 0 for h.
4
Suppose -2*b - 4*r = -20, 0 = 2*b + 4*r - 5*r. Solve b*n = -9 - 1 for n.
-5
Let h(o) = -o + 8. Let x be h(8). Suppose -5*p + 32 = 4*b + 8, 0 = 5*p + b - 21. Solve -12 = -x*r - p*r for r.
3
Let c = 51 - 46. Solve -o - 2 + c = 0 for o.
3
Let l = 8 - 5. Let s = -2 +