et z be 8/10*(-45)/(-2). Let i = z + -15. Solve i*v - 7 = 8 for v.
5
Let k(y) be the first derivative of -y**7/280 + y**4/24 + 2*y**3/3 - 2. Let b(t) be the third derivative of k(t). Let h be b(-1). Solve h*v = -0*v for v.
0
Suppose c + 2 = o, 2*o = -0*o - c - 2. Let a = -1 + 2. Suppose o = -5*q - a + 11. Solve 0 = -q*v - 0*v for v.
0
Suppose -4*y + 3 = -5. Let t(o) = 2*o**2 - 7*o**2 + o**y + o + o**3 + 4. Let v be t(4). Solve b - v = -b for b.
4
Let m = 2 - 0. Suppose 2*k = -2*j - 6, -3*j - 5 = 4*k + 3. Suppose 5*q = 3*c - k - 17, -3*c = 3*q - 18. Solve -p = m*p - c for p.
2
Let z be ((-10)/6)/(4/(-12)). Solve z = 2*g - 1 for g.
3
Let j = -9 - -11. Let f be (-13)/(-5) - j/(-5). Solve -f*g + 7*g = -12 for g.
-3
Suppose 3*v = 5*b - 12, b + 3*v = 4*v + 2. Solve b*y - y = -2 for y.
-1
Let q = 15 - 8. Let u(r) = r**2 - 6*r - 5. Let h be u(q). Let j = 0 + 2. Solve 0 + h = j*f for f.
1
Suppose d = 3*d + 5*t + 25, -d - 4*t = 20. Solve d = q - 6*q for q.
0
Let h = -2 + 2. Let p = h + 3. Solve -5 + 14 = p*i for i.
3
Let r = -58 + 67. Solve -2*t - t = r for t.
-3
Let p(k) = -k**2 + 4*k + 5. Let m be p(6). Let z = -11 - -23. Let w = m + z. Solve -q + w*q + 4 = 0 for q.
-1
Let a(i) = i + 10. Let s be a(-7). Suppose 4 = s*k - k. Solve 2*x + k - 10 = 0 for x.
4
Suppose -5*r + 20 = 3*v - v, -v + 16 = 4*r. Suppose -2*g - 77 = -5*b, 3*b + 2*g + 2*g - 41 = 0. Suppose 0*s - b = -5*s. Solve -s*z + 13 = r for z.
3
Let x be (-17)/51 + (-1)/(-3). Solve x = m - 0*m for m.
0
Let b(n) = n**3 - 30*n**2 - 2*n + 60. Let m be b(30). Let x = -1 + 1. Solve m = -q - x*q for q.
0
Let x be -3*(5 + -3)/(-2). Let f be ((-10)/(-15))/(1/x). Let c = f + 2. Solve -h - 1 = -c for h.
3
Let l be 5 + (3 - (2 - -2)). Solve 5*i = l*i for i.
0
Suppose 0 = -2*a + 4*a - 4. Suppose -a*k + k = -16. Suppose 0 = 4*l - k, -5*c = -c + l - 20. Solve 2*q - c = -0*q for q.
2
Suppose -7*w + 95 = -2*w. Solve -4*v + 1 = -w for v.
5
Let p(g) = 2*g**2 + 20*g + 20. Let a be p(-9). Solve a*b = 6*b + 4 for b.
-1
Suppose 3*l + 3*g = 7*l + 48, 5*l - 4*g + 61 = 0. Let a be (l - -4)*(-2)/5. Let h(c) = 3*c + 2. Let t be h(a). Solve 5*d - 12 = t for d.
4
Let b be 1/3*0/2. Solve 3*h + 7 - 1 = b for h.
-2
Let y(f) be the first derivative of -f**3/3 + 4*f**2 + 2. Let s be y(7). Suppose 5*v = 18 + s. Solve v*u - 3 = -8 for u.
-1
Let y be ((-2)/4)/((-7)/28). Solve -4*t = -2*t - y for t.
1
Suppose 4*f + 5*l = -13 + 37, -4*f - 4*l + 24 = 0. Suppose -f*u + u = 0. Let d be (5/2)/((-1)/(-6)). Solve u*o = 3*o + d for o.
-5
Let b be 20*(-1 - 15/(-10)). Solve -3*v - 1 = -b for v.
3
Let i = 7 + -6. Let y = 3 - i. Solve y*x + 0 - 4 = 0 for x.
2
Suppose 4*h - 8 + 56 = 2*b, 5*h - 3 = -b. Let w = b + -12. Let p(m) = -m**3 - m**2 + 2. Let r be p(0). Solve 4*d - w = r for d.
2
Let d(x) = 27*x + 6. Let v(a) = -4*a + 10*a + 3*a + 2. Let m(n) = 6*d(n) - 17*v(n). Let q be m(2). Solve -4*p + 9*p = q for p.
4
Suppose 0 = v - 5*s - 27 + 9, 3*s - 6 = -5*v. Solve v*a + 0 = -3 for a.
-1
Let a(v) = v**3 + 5*v**2 - 6*v + 6. Let x be a(-6). Solve -9 + 27 = x*c for c.
3
Let v = -2 + 4. Suppose -4*l = -v*l. Solve c - 2*c + 5 = l for c.
5
Suppose 3*r + 4*c + 1 = 3, 2*r = 4*c + 8. Let f = -2 + r. Solve f = 2*n - 10 + 2 for n.
4
Let r be 16 + 0 - 3/1. Let o = -8 + r. Suppose -16 = o*w - 41. Solve -2*k = 3*k + w for k.
-1
Let g = -1 + -3. Let j(q) = -2*q**3 + 8*q**2 + 2*q - 5. Let f(x) = 3*x**3 - 9*x**2 - x + 6. Let c(k) = -3*f(k) - 4*j(k). Let h be c(g). Solve -i + h = 2 for i.
4
Suppose -3*b = o - 18, -b - 13 = -5*o + 13. Solve 0 = 5*g + o + 4 for g.
-2
Suppose 3*o - 14 = 1. Suppose o*p = 15, k = -5*p + p + 20. Solve -n = -5*n + k for n.
2
Let i = -1 + 5. Let c be i/(-5)*5/(-2). Solve -2*w + c = -2 for w.
2
Suppose 4*y + 4*a = 12, 2*y = -3*y + 5*a + 65. Suppose 2*f + 2*f - y = 0. Solve -7*b + f*b + 5 = 0 for b.
1
Let a(y) = y + 10. Let v be a(-8). Solve -v*x - 6 - 4 = 0 for x.
-5
Suppose 2*j - d = 2, j - 3*d = -6*d + 8. Suppose -k - 50 = -2*c, -4*c = j + 2. Let h be (-2)/(-7) + k/(-14). Solve -h - 2 = 2*g for g.
-3
Let j = 1 + 9. Let s = j - 6. Suppose 0 = -s*p + 2*d - 3*d + 63, 3*d = -4*p + 61. Solve -3*y - p = y for y.
-4
Let b = -3 - -8. Let r = 2 + 8. Solve r = -b*s - 0 for s.
-2
Let d(q) = q - 1. Let z be d(3). Let y be 40 - -1*(2 - z). Suppose -6*g + y = -g. Solve g = a - 5*a for a.
-2
Suppose k + 3 = -2*f - 0, 0 = -4*k - 5*f - 3. Solve 8 = -k*p - 7 for p.
-5
Let l(u) = 18*u**2 + u. Let z be l(-1). Let a = 29 - z. Let q be (-3)/(-5) + a/5. Solve q*y = -0*y - 12 for y.
-4
Let d = -26 - -28. Solve -g = -d*g + 2 for g.
2
Let m(c) = -c. Let v be m(-3). Suppose -v*j = 4*w + 8, -j - 3*w + 9 - 20 = 0. Suppose 2*k - 6*k = 0. Solve k*d = j*d for d.
0
Let n(w) = -3*w - 2. Let c be n(-4). Suppose 0 = a - 2*k + 18, -5*k + 2*k = 4*a + 17. Let h = a + c. Solve h = -p - 3 for p.
-5
Suppose 4*i + 2 = 14. Suppose -i*n + 48 = n. Solve 0 = 5*z - n - 3 for z.
3
Let o be ((-9)/6)/((-6)/16). Suppose -4*s = -3*s - o. Solve -m + 5*m - s = 0 for m.
1
Suppose -2 = 2*k - 6. Solve 0 = 4*m - 6 + k for m.
1
Let v(r) = r**3 - 6*r**2 + 3. Let t be v(6). Solve -4*b - t = -7*b for b.
1
Let g(d) = 9*d - 1. Let h(s) = -s**2 + 1. Let y(v) = -g(v) - h(v). Let o be y(9). Solve o = 4*x + 1 - 5 for x.
1
Suppose -8*m = -4*m - 16. Solve -m*n = -5*n + 5 for n.
5
Suppose -7*v = -4*v - 12. Let j be 6/(v/(3 - -1)). Solve 0 = 4*u - j*u - 6 for u.
-3
Let j be (-3)/(1*(1 + -2)). Suppose -5*b + 46 - 6 = 0. Suppose 0 = -b*d + 3*d + 85. Solve d = -j*t + 5 for t.
-4
Suppose -b = -3*r + 6 - 4, 4*r = b + 2. Let p be (2 - 3)*10/b. Solve -8 - 12 = p*d for d.
-4
Let l be (8/(-6))/(-2)*288/64. Solve 2*h = -l*h - 15 for h.
-3
Suppose -2*y + 7 = -3. Suppose 5*g - 3*w - 2*w + 25 = 0, -g - y*w = -25. Let i be 22 - ((-2 - -3) + g). Solve -i + 6 = -5*z for z.
3
Let u(i) = -i - 2. Let p be u(7). Let z be (6/p + 1)*0. Let g be -1 + 4 - 0 - z. Solve 5*w - g = 17 for w.
4
Let b be (0 - 0)/(1*-1). Let r(a) = -a + 3. Let m be r(b). Suppose -5*l = -m*l. Solve l*t - 2*t = -2 for t.
1
Let r(l) = -l**2 + 9*l. Let g be r(8). Let h(j) = j**3 - j**2 + j. Let d be h(0). Solve d*z - g = -2*z for z.
4
Let z be 30/7 + (-2)/7. Suppose 3*f + 2*p - 104 = 0, 12 = -5*p - 13. Let r = -33 + f. Solve -25 = z*j - r for j.
-5
Let c(q) be the second derivative of q**5/20 - 7*q**4/12 - 7*q**3/6 + 2*q**2 - 2*q. Let d be c(8). Let k be (-1)/(-2) - (-174)/d. Solve f = 6*f + k for f.
-3
Let w = 15 - 10. Solve -11 - 4 = -w*r for r.
3
Suppose 0 = -2*h - 0 + 8. Solve -h*q + 13 = -3 for q.
4
Suppose 0 = 3*m - 0*m - 9. Let f(u) = -4*u**3 + u - 3*u - 3 + m*u**3 - 3*u**2. Let q be f(-3). Solve q*k = 4*k for k.
0
Let t(s) = -s**3 + 7*s**2 + 10*s - 13. Let w be t(8). Solve -4 = w*z - 10 for z.
2
Suppose -16 = m - 5*m. Suppose -3*d - m*c + 1 + 0 = 0, 5*d + c = 13. Solve d*o + 0 = -3 for o.
-1
Let t = -14 - -14. Let m be (0 - -2) + (2 - -1). Let a = m - 2. Solve 0 = -t*x + a*x + 15 for x.
-5
Suppose 2*q + 6 = 0, 2*g - 3*q - 21 = g. Suppose -n - g = -5*v, 2*n = -5*v + 4 + 17. Solve 0*r = v*r + 12 for r.
-4
Let r be ((-9 - -4) + 1)/(-1). Solve 2 = -r*f - 2 for f.
-1
Suppose 5*x - 4*v - 22 - 15 = 0, -4*x + 3*v + 29 = 0. Suppose x*o = 2*o + 3. Let m = o + 3. Solve 0 = -m*g - 5 - 11 for g.
-4
Suppose -17*s = -21*s. Let r = 1 + 1. Solve -k = -s*k + r for k.
-2
Suppose 5*t - 2 = v + 11, 0 = -2*v + 2*t - 10. Let q be -4*-2*v/(-6). Solve -l = l + q for l.
-2
Let g(d) = 17*d**2 - 1. Let k = -5 + 7. Suppose f - 1 + k = 0. Let c be g(f). Solve 6*a - c = 2*a for a.
4
Let f = 17 + -14. Suppose 4*m = m + f. Solve -c + 0 = m for c.
-1
Let g(n) = n - 6. Let r be g(9). Solve q = r*q for q.
0
Suppose -3*c = -0*c - 27. Solve 0 = 3*a - 3 - c for a.
4
Let s be 9/(-15) + 7/((-175)/(-90)). Solve s*x = 5*x + 4 for x.
-2
Let z be (-904)/(-12) - (-2)/(-6). Suppose -9*b + 4*b + z = 0. Let v(n) = -n + 10. Let w be v(0). Solve -5*x + b = -w for x.
5
Let s be ((-16)/5)/(36/(-15) - -2). Solve 0 = -3*u - 4 - s for u.
-4
Let n(p) = p**2 + 3*p - 1. Let w be n(-3). Suppose 3*m - 8 = -2*c + 3, -5*c - 3*m = -41. Let o be (-2)/(2*w)*c. Solve -4*a = -2*a - o for a.
5
Let u be (-6)/4*(1 - 3). Suppose 5*o - 24 = -u*z - z, 2*z = 2*o - 6. Solve 3 = k + o for k.
-1
Let d(m) = m - 6. Let a be d(9). Suppose -25 = -a*u + 5*q, -3*q - 3 = 3. Solve -3*f = -u*f for f.
0
Let b(l) = l**3 - l**2 - l - 