2*v, -5*v + 2*c + 7 + 5 = 0. Solve 5*y - v*y = j for y.
1
Suppose q - 4 = -3*q. Let x(c) be the second derivative of c**4/12 + c**3/6 + c**2/2 + 5*c. Let p be x(-2). Solve q = t + p for t.
-2
Suppose 0 = -4*i + 4*y + 12, -y - 12 = -4*i + 3. Suppose -7 = -i*h + 1. Solve h*x + 0 = 8 for x.
4
Let d(n) = n + 1. Suppose 4*p + 2 = 3*z + 4, -3*z - 6 = 0. Let q be d(p). Solve q = -o - 4*o + 20 for o.
4
Suppose 0 = t + 4*g - 17, -g + 1 = -2. Solve t*z + 3 = 18 for z.
3
Let i(j) = 2*j**2 - 13*j + 10. Let z be i(6). Solve z*v - 4 = 8*v for v.
-1
Let s be 3 - (8/(-32) - 102/8). Solve 4*h = -0*h + s for h.
4
Suppose 2*n - 8 + 4 = 0. Let p = 352 + -344. Solve n + p = 5*c for c.
2
Let h = 10 + -5. Suppose -d + 3*u = 2*d - 15, 4*u + h = d. Solve -3*j + d*j = 0 for j.
0
Let z = 26 - 25. Solve 2*y - 1 - z = 0 for y.
1
Let k be ((-20)/(-35))/((-2)/(-14)). Solve 2 = p + k for p.
-2
Let q be (26 - -1)*(-2)/3. Let r = 32 + q. Solve -4*x + r = 2 for x.
3
Suppose -3 = -5*h + 17, -2*h - 2 = -2*o. Solve 0*i - o*i = 20 for i.
-4
Suppose -4*t = 4*s - 8, -4*t = -s + 4*s - 10. Solve -u - t*u = 0 for u.
0
Suppose 5*y - 9 = -x, 0*y = -y - 4*x + 17. Let d = 0 + 0. Let v be -1*(d - -1 - y). Solve -2*l + 2 - 8 = v for l.
-3
Let w(l) be the third derivative of -2*l**4/3 - 10*l**3 + 4*l**2. Let d(z) = 3*z + 12. Let t(u) = 11*d(u) + 2*w(u). Let i be t(-5). Solve 5*k = 3 + i for k.
2
Suppose -21 = -22*d + 45. Solve -d*u - 4 = u for u.
-1
Suppose -2*f = f - 9. Solve -2*v - f = 5 for v.
-4
Let t = -18 + 24. Suppose -t*b + b = -5. Solve 4 = f + b for f.
3
Let t be 11 + -8 + 13/(-1). Let i = t - -14. Solve -i*c = -6 - 6 for c.
3
Suppose 24 = -0*g + 2*g. Solve 4*q + 0*q = g for q.
3
Let d(m) = 2*m - 9. Let c be d(6). Suppose -7*r + 2*r - 20 = 2*y, 4*y - c*r = 12. Suppose 15 + 0 = 3*x. Solve 2*b - x*b = y for b.
0
Suppose -4*v + 2 = -2*v. Solve 2*n + v = -7 for n.
-4
Let f(k) = 3*k**2 - 3*k + 1. Let h be f(2). Let r(a) = a**2 - 9*a + 15. Let v be r(h). Solve 0 - v = c for c.
-1
Let d be 34/4 - 18/(-12). Let s be 30/9 - (-4)/6. Let x(o) = -o**3 - 4*o**2 - 6*o - 7. Let l be x(-3). Solve -d + l = -s*g for g.
2
Let p(k) = -k**2 - 7*k - 3. Let c be p(-6). Suppose 5*z = c*z. Solve z = -3*q - q for q.
0
Let n be -1 + 1 + (-4 - 3). Let l be 1*1/(-1) - n. Let x(h) = -2*h**2 - 19*h - 6. Let o be x(-9). Solve u - o*u = -l for u.
3
Let k be (-1*1/2)/(1/(-6)). Solve -a + k + 1 = 0 for a.
4
Let z(o) = o**3 + 5*o**2 + 4. Let k = -7 + 2. Let u be z(k). Let d = 2 - -2. Solve 0*h = u*h + d for h.
-1
Let t(l) = -l**2 + l. Suppose -4*o + 4 = -k, 0 = 3*o + 2*o - 2*k - 8. Let p be t(o). Suppose p = 5*s - 11 - 4. Solve s*m = -0*m for m.
0
Let f be ((-20)/8)/5*0. Suppose -a - 3*o - 11 = f, 3*a = 4*o + 4 + 28. Solve 0 = a*w - w + 3 for w.
-1
Let x(y) = y**3 - y - 1. Let n(t) = -5*t**3 + 5*t + 14. Let h(o) = n(o) + 6*x(o). Let s be h(0). Solve 12 = -4*j - s for j.
-5
Let j(c) be the third derivative of c**4/24 - 5*c**3/6 + 3*c**2. Let k be j(9). Solve 0 = k*s - 0*s for s.
0
Let t(p) = -2*p - 19. Let d be t(-10). Solve -b + 2*b - d = 0 for b.
1
Let q be (-1)/(-5)*(11 + -6)*0. Solve -2*d - 3*d = q for d.
0
Let o be 242/(-33) - 4/6. Let w = o - -8. Suppose 0 = -4*u + 3*r + 31, -u + 2*r + 34 = 3*u. Solve 3*k - u + 1 = w for k.
3
Let v(u) = u + 7. Let b be v(-6). Let x be b/(-3 + 12/3). Solve -5*n + x = -19 for n.
4
Let p(m) = m**2 + 4*m. Let g be p(-4). Let y = g - 0. Let v(d) = d**2 - d + 5. Let k be v(y). Solve 0 = -0*t - t - k for t.
-5
Let l = -8 + 18. Solve 3*z + l = -2 for z.
-4
Let k(y) = y**3 - 8*y**2 + 5*y + 18. Let b be k(7). Solve 0 = -0*w + w - b for w.
4
Suppose 2*f = 5*f - 7*f. Let o(g) = -5*g - 1. Let l be o(-1). Solve l*i + i - 20 = f for i.
4
Suppose d + 0*d = 4, -d = -w. Let k = -2 + 4. Suppose w*p + k = 5*p. Solve p = -3*q + q for q.
-1
Let v(t) = t**3 + 4*t**2 + 4*t + 6. Let i be v(-3). Solve 0 = 4*l - i - 1 for l.
1
Suppose 0 = 4*j + 4*x + 8, -2*j + 4 = 8*x - 10*x. Solve -6*f + 2*f - 16 = j for f.
-4
Let p = 8 + -6. Suppose c = p*c. Let d be (-4)/(-8)*c/1. Solve d*z = z for z.
0
Let j(m) = 0 - 3 + m - 2. Let s(u) = 3*u - 11. Let o be s(6). Let z be j(o). Solve -2*l - z*l - 12 = 0 for l.
-3
Let b(c) = -c**2 - 8*c - 2. Let y be b(-6). Suppose 5*x + 2*w = y, -25 = -w - 4*w. Solve x = s - 5*s - 20 for s.
-5
Let p(x) = x**2 - 11*x + 12. Suppose 0 = -k - 2*k + 90. Let o be 0 + k/3 + 0. Let d be p(o). Solve 12 = -d*i - i for i.
-4
Let k be (-9)/(-6)*2 + 2. Solve k*w = 25 - 0 for w.
5
Let q(o) = -o**3 + 6*o**2 + o - 6. Suppose -2*v - 34 = -5*l, -5*l - v + 10 = -3*l. Let f be q(l). Let h = 10 - 1. Solve -h = -f*c - 3*c for c.
3
Let i(n) = n + 13. Let r be i(-9). Suppose 0 = -0*w + r*w - 32. Let s be (1/1)/((-1)/(-3)). Solve -s*t - t = w for t.
-2
Suppose 30 = 2*c + 10. Solve 0 = 6*d - 4*d + c for d.
-5
Let l(d) = 13*d + 4. Let i(p) = -2 - 17*p + p + 9*p. Let m(b) = 11*i(b) + 6*l(b). Let k be m(4). Solve k*c - 15 = 3*c for c.
5
Let p = 3 + 9. Suppose -9 = 5*j + 6. Let w be -1*-1*(-1 - j). Solve -2*i = w - p for i.
5
Let h = -36 - -40. Solve h*u = u for u.
0
Let p(n) be the third derivative of n**5/60 - n**4/6 - 5*n**3/6 - 4*n**2. Let b be p(5). Solve 10 = 2*t - b*t for t.
5
Let k(j) = -j + 4. Let d be k(3). Let m be 0 - (d - 13)/3. Suppose 12 + 2 = -o + 5*w, m*w - 15 = -3*o. Solve o - 13 = -4*l for l.
3
Let c = 1 - -6. Let s be 1/7 + 130/70. Suppose -4*i + s + 14 = 0. Solve 0 = i*b - 3 + c for b.
-1
Let k(d) = -11*d**2 + 12*d - 6. Let l(g) = -7*g**2 + 8*g - 4. Let f(u) = -5*k(u) + 8*l(u). Let a be f(3). Solve -a = -w - 0*w for w.
1
Let z = 195 - 191. Solve -8 + 24 = z*x for x.
4
Suppose 5*h = 3*h + 12. Solve -2*w + 5*w + h = 0 for w.
-2
Let j be (45/10)/(6/4). Solve 0 = 2*a + 3 + j for a.
-3
Let t = 3 + -5. Let y = 0 - t. Suppose -4*x + 5*l = -23, -5*x + y = -l - 11. Solve -4*n = -2 - x for n.
1
Let w(a) = -3*a + 2. Let k be w(9). Let b = -19 - k. Solve f - b = -f for f.
3
Suppose -2*m + 7*m = -2*c + 24, 4*m = 3*c + 10. Solve m*f = f + 15 for f.
5
Let v = 49 + -45. Solve -v*p - p = 0 for p.
0
Suppose -9*u = -160 + 25. Let f be (1 - (1 + 0)) + 2. Solve 0 = -5*k + f*k + u for k.
5
Suppose 12*t - 72 = 24. Solve 5*q + 7 = -t for q.
-3
Let p be (-3)/(-15) + 72/15. Solve -2 = -p*i + 3 for i.
1
Let m(w) = -w**3 + 5*w**2 + 6*w + 2. Let f be m(6). Let k = 11 + -9. Solve -k*s - f*s = 0 for s.
0
Suppose 4*k + 9 = 3*k. Let g(n) = -5*n - 7. Let m(v) = 11*v + 15. Let i(f) = -13*g(f) - 6*m(f). Let z be i(k). Solve -5*p - z + 35 = 0 for p.
5
Suppose -z = -4*z + 9. Solve z*q - 10 = q for q.
5
Suppose -2*t + 4*t = 16. Let o be 1/((-2 - 1)/(-15)). Suppose 17 = o*c - t. Solve -3*k + 4 = -c for k.
3
Let n = -52 + 56. Solve n*x - 3 = 3*x for x.
3
Suppose 1 - 5 = -2*l. Suppose -i - 5*r = -2*i + 5, -i - 5*r = 5. Suppose 5*g - 4*s + 5 = 0, i = -2*g + 3*g + s - 8. Solve -g*n - 20 = l*n for n.
-4
Let p be (-2)/(-4) + 5/10. Let x = p + -5. Let j be (x/12)/((-1)/3). Solve 17 = -4*g + j for g.
-4
Let f(g) = -2*g - 13. Suppose 5*z + 45 + 2 = b, 5*z = -2*b - 41. Let q be f(z). Solve -v = q - 3 for v.
-2
Let u(p) = -p - 1. Let o be u(-1). Let d be 1/6 - 94/(-12). Let c(l) = l**2 + l. Let q be c(-2). Solve -q*j + o*j = d for j.
-4
Let h = -217 - -220. Solve h*a + 2 = -1 for a.
-1
Let u = 26 - 26. Solve r + u*r = 0 for r.
0
Suppose 3 = 2*t + 1. Let x be -1 + 0 + (4 - t). Solve 0 = -b - x*b + 12 for b.
4
Let h = 13 - 9. Suppose 40 = -h*u + 16. Let g be (u/9)/((-1)/3). Solve -x = g - 1 for x.
-1
Let a = 60 - 40. Let f = -17 + a. Solve 1 = 4*w - f for w.
1
Suppose -r - 6 + 19 = 4*y, -5*y = 3*r - 4. Let c = -7 - r. Suppose -3*x - 5*q - 9 = c, -x - 3*q = 2*q + 13. Solve 5*g - x = 3 for g.
1
Let u be (16/(-4))/((-4)/10). Suppose -i = -o - 0*o + u, -4*o + 38 = -2*i. Let d = 5 + o. Solve -2*c + d = 6 for c.
4
Let d be (-2)/(-3) - (-11)/(-3). Let o be 10/(-15)*(-9)/2. Let m = d + o. Solve 0 = -m*a - 2*a - 2 for a.
-1
Let y = -26 + 29. Solve -y*o + 6 = -3 for o.
3
Let k be ((-72)/(-5))/(-3)*-15. Let t be (-16)/k - 4/(-18). Solve t = 4*h + h for h.
0
Suppose 5*u - 8 = 2. Let j = u + 0. Suppose j*v = -0*v. Solve -2*f - f = v for f.
0
Let h be (-30)/(-20) - (-3)/(-2). Solve y + h*y - 5 = 0 for y.
5
Let j(r) be the first derivative of r**4/4 - 2*r**3/3 - 3*r**2/2 + 2*r + 5. Let q be j(3). Solve q*b - b = 1 for b.
1
Suppose 0 = -2*a + 4*a - 40. Suppo