et s be 0 + 1 - (-6 - n). Solve y - s*y + 6 = 0 for y.
3
Let c(h) = 2*h**2 - 19*h - 2. Let f be c(10). Suppose 0 = -2*x + f, 2*x + 4 = 3*s + 3. Solve -s*b + b = 8 for b.
-4
Let d(s) = -2*s + s**2 - 7 + s - 6 - 6*s. Let x be d(9). Suppose 0 = -a + x - 4. Solve -2*h - a = 1 for h.
-1
Suppose 8*w = -0*w + 24. Solve b = 4*b + w for b.
-1
Let v(p) be the first derivative of p**4/4 + 2*p**3 - 2*p**2 - 21*p - 1. Let w be (174/(-609))/((-2)/(-42)). Let r be v(w). Solve -r*y = 2 - 14 for y.
4
Let k = 65 - 65. Solve 3*j + 17 - 11 = k for j.
-2
Let h = -57 - -62. Suppose 19 = h*j - q, 4*j = 4*q - 8*q + 20. Solve -j*n + 9 = -3 for n.
3
Let x(g) = g**3 + 14*g**2 + 26*g + 13. Let b be x(-11). Let i = 90 - b. Solve i = -2*s - 0 + 6 for s.
3
Let b = 8 - 8. Suppose n = 3*a - n - 28, b = -2*a + n + 18. Let o = a - 8. Solve -2*y = 2 - o for y.
-1
Let m = -27 + 45. Suppose 3*t - 34 = -4*x, -5*t + m = -8*x + 5*x. Solve t = b + 2*b for b.
2
Let p(y) = 5*y - 1. Let x be p(2). Suppose g - 2*g = 0, -g = 5*j + 45. Let q = x + j. Solve -6 + q = 3*t for t.
-2
Let k = 329 + -317. Solve -8 = 4*s - k for s.
1
Suppose -254*d = -256*d. Let v be ((-55)/22)/((-10)/8 + d). Solve 0 = 3*o + v*o for o.
0
Let m(l) = -l**3 - 24*l**2 - 44*l + 39. Let x be m(-22). Solve 0 = 43*k - x*k + 16 for k.
-4
Let w(f) = 3*f**2 - 3*f. Let v be w(1). Suppose -l = 0, 2*z = -v*z - 4*l. Solve -3*y + 3 + 3 = z for y.
2
Let z(t) = t**2 - 22*t - 37. Let g be z(24). Solve -9*a + g = 20 for a.
-1
Let s = 78 + -67. Let i(n) = n**2 - 4*n - 5. Let h be i(6). Let z = s - h. Solve -3*p = p - z for p.
1
Suppose 0 = -4*p + f + 98, 4*p = p - 2*f + 68. Suppose z + 23 = p. Let i be ((-4)/(-14))/(z/49). Solve 4*k + i = -6 for k.
-5
Let n(r) be the third derivative of -91*r**5/60 - r**3/6 - 8*r**2. Let j be n(2). Let v be j/(-15) + 4/6. Solve -y - 4*y + v = 0 for y.
5
Suppose -4*m = 2*t - 10, -2 = 2*t - 0*t. Let v(p) = p + 1. Let d be v(m). Solve -4*u = -8 - d for u.
3
Suppose 3*d = 9 + 27. Let a(o) = -o**2 + 13*o - 7. Let m be a(d). Suppose 4*j - 5*v = 18, 4*j - 3*v - 10 = -2*v. Solve m*t + j = 27 for t.
5
Let g be (-4 + 6)*(2 + 0). Let i be (-3)/((-21)/6 + 2). Let v be 6/12*3*i. Solve 1 + v = g*c for c.
1
Let l(z) = z**3 - z + 1. Let i(g) = 7*g**3 + 5*g**2 - 17*g + 8. Let j(p) = i(p) - 6*l(p). Let h be j(-8). Let f be h/(-42) + 4/7. Solve -k - 2 = -f*k for k.
1
Let t = 10 - 5. Suppose 0 = -2*o + 4*o - 4. Suppose o*g - 14 = -0*g. Solve 3*f + g = -t for f.
-4
Let g = -7 - -10. Solve g*y + 15 = -0*y for y.
-5
Let x = -30 - -6. Let q be -16*3/x*2. Solve -1 = -5*d + q for d.
1
Suppose 30 = 6*b + 12. Suppose -2*g - 20 = -3*j + 7*j, b*g + 5*j = -25. Solve g = -2*p - 2 for p.
-1
Let i(d) = -d + 14. Let q be i(12). Suppose c - q = -1. Solve -a + c = -2 for a.
3
Suppose -7*y - 20 = -5*y. Let z(q) = -q**3 - 11*q**2 - 10*q + 2. Let u be z(y). Solve -6 = u*f + f for f.
-2
Suppose 4*k + 3*l - 36 - 12 = 0, 0 = -3*k + l + 36. Suppose -k*n = -15*n. Solve u - 1 - 4 = n for u.
5
Let c = -36 - -38. Let s = c + 2. Solve s = -2*g - 0*g for g.
-2
Let a be ((-2)/(-1))/((-2)/(-3)). Let c be (10/15 - -1)/(1/3). Suppose -h + 2*l = -l - 17, -a*h = -c*l - 31. Solve 0*z + 6 = -h*z for z.
-3
Let d be 10*(6 + 56/(-10)). Solve -3*i + 2*i = d*i for i.
0
Let h(p) be the third derivative of p**5/12 + p**4/8 + p**3/6 + 6*p**2. Let f be h(-1). Solve -l + f = -2 for l.
5
Suppose 4*g - x - 2*x = 340, 5*g = 3*x + 425. Suppose 2*s + 3*s - g = 0. Suppose 4*u + 5 = s. Solve -u*h - 12 + 3 = 0 for h.
-3
Let l(i) = -i**2 + 0*i**2 - i**3 - i**3 + 0*i**3. Let d be l(-2). Suppose 0 = -9*z + 6*z + d. Solve 0 = z*j + 1 + 3 for j.
-1
Suppose -i - 4 = i, -5*q + 94 = 3*i. Suppose -4*l + q = 3*a, -a + 2*l - 12 = -3*a. Let u be (1/3)/((-2)/(-18)). Solve -19 = -a*v - u for v.
4
Suppose 0 = -7*y + 4*y - 9, -3*y - 8 = -g. Let p be 2 - (g - (2 - 2)). Solve -j = p*j for j.
0
Let j(d) = 4*d**2 - d - 1. Let u be j(2). Solve 0 = 2*y + 5 - u for y.
4
Let a(p) = p - 5. Let v be a(5). Let w be (v - -1)*(7 + 2). Suppose 157*i + 972*i - 5645 = 0. Solve -w = -i*n - 34 for n.
-5
Let a be ((-4)/3)/(-4)*42. Let d = a + -15. Let o = d - -1. Solve o = -3*r - 0*r for r.
0
Suppose -f = -2*p + 7, 2*f + 0 = p + 1. Let r = -1789 + 1792. Solve -p = -2*b - r for b.
1
Let h = -7 - -4. Let v = h - -9. Solve -v*x + 4*x = 4 for x.
-2
Suppose -x = -3*d + 21, 13 = 2*d + 5*x - 6*x. Solve 0 = 10*k - 12*k + d for k.
4
Suppose 3*i = 4*i - 3. Let m be (0 - -1*4/(-4)) + i. Solve -2 + 4 = m*z for z.
1
Suppose 4*i + 44 = 3*o, 2*o + 5*i + 6 + 3 = 0. Solve -25*w + 29*w + o = 0 for w.
-2
Let r(s) = -s - 16 + 0*s - 5*s + 3*s. Let l be r(-6). Solve -12 = l*w + w for w.
-4
Let i be (-12*(-3)/30)/(6/20). Suppose 5*c + 3*m = 88, m + 71 = i*c + 4*m. Solve 5*p = -c - 8 for p.
-5
Suppose 3 = 3*k, -18 = -3*a - 4*k + 7. Suppose 5*g - a*g = -g. Solve 0*u + u = g for u.
0
Let f = 9 - 7. Suppose -f*v = 2*v - 4. Let q be -4*(-2 + 6/4). Solve -q = o - v for o.
-1
Let a(q) = -6*q - 6. Let y(z) = 2*z. Let x(h) = a(h) + 4*y(h). Let b(f) = -f**3 + 7*f**2 + f - 3. Let k be b(7). Let t be x(k). Solve 5*i - t*i - 9 = 0 for i.
3
Let y be (-70)/(-24) - 38/(-456). Let i(g) = -g**2 + g + 13. Let d be i(0). Solve 0 = -y*q + 2 + d for q.
5
Suppose w = 0, 5*r - w + 40 = 4*w. Let n be (r/(-5))/((-8)/(-20)). Solve -4 = n*c + 4 for c.
-2
Suppose -92*i - 5 = -3*p - 94*i, 2*p = 5*i + 16. Solve -p = 2*f + 3 for f.
-3
Let m(j) = -j + 1. Let o be m(-1). Let l = 569 + -567. Solve -l*n - o = 2 for n.
-2
Suppose 0 = -726*v + 732*v - 24. Let n be (-2)/3 + (-34)/(-6). Suppose -n*d = -v*d - 3. Solve -d*k + 5 - 2 = 0 for k.
1
Let v be ((-1)/(-2))/(3 + (-275)/90). Let y(u) = u**3 + 9*u**2 - u - 7. Let a be y(v). Solve -a*g = -g for g.
0
Let m(c) = c + 30. Let k be m(-21). Let z be 6/k - 95/(-15) - 4. Solve -b + 4 = z*b for b.
1
Suppose -4 + 1 = t. Let q be (-54)/42 - t - (-4)/14. Solve q = 2*o - 4 for o.
3
Suppose -15 = 4*q + 5*n, 3*n + 9 = 28*q - 32*q. Solve z + 0 - 2 = q for z.
2
Let a(s) = s + 4. Let x be a(-2). Suppose -m - 8 = -2*f, 6*m - 2*m - 2*f + 2 = 0. Let l be (-58)/(-10) - m/(-10). Solve -x*h = -l*h for h.
0
Let c = 16 + -4. Let r = -154 - -71. Let y = -83 - r. Solve -5*d + 2*d + c = y for d.
4
Let r(q) = q**2 + 2*q - 4. Suppose 2*x - 1 = -9. Let y(v) = v**2 + 5*v - 9. Let c(f) = x*y(f) + 9*r(f). Let j be c(-1). Solve 2*d + 5 = j for d.
1
Let j(x) = -5*x**3 - 22*x**2 - 7*x + 7. Let t be j(-4). Solve -s + t*s = 4 for s.
2
Suppose -18*v - 1 + 73 = 0. Solve 29 - 9 = -v*y for y.
-5
Let s = -5 + 7. Suppose 14 = s*n - 2*d, -3*n + 16 = -d - 3*d. Solve 2*g + n = 6*g for g.
3
Let n(j) = -j**2 + 8*j + 4. Let q be ((-1)/3)/(2/(-24)). Suppose 16 = q*s - 2*s. Let m be n(s). Solve -3*o - 2 = m for o.
-2
Suppose f - 13 = -3*v + 16, -4*f - 4 = -3*v. Let k be (2 - 20/(-28)) + v/28. Solve 0*m = -k*m for m.
0
Suppose -2*h + 8 = s, -2*h = -s - 4 - 0. Suppose 14 = s*l + 10. Solve 3 + 3 = l*i for i.
3
Let f(k) = k**3 - 32*k - 10. Let q be f(6). Solve q*y + 5 = 13*y for y.
-5
Let i = -961 + 974. Solve 4 = -12*u + i*u for u.
4
Suppose 26 = 4*m - 2*l + 2, 5*m - 35 = 5*l. Suppose 15 = 4*s - 65. Solve x = m*x + s for x.
-5
Let d = 107 - 153. Let t = 47 + d. Solve 3 - t = v for v.
2
Let l = 831 - 825. Solve -2*t = -l*t - 8 for t.
-2
Suppose 0 = d + 5*x - 4, 2*d - 9 + 1 = -4*x. Solve 3 = d*n - n for n.
1
Let g(q) = -q**2 - 6*q + 12. Let i be g(-6). Let b = i - 11. Let z be 0 + 0 + -1 + b. Solve z = -2*j + 3 + 7 for j.
5
Suppose w - 3 = -2*w. Let o = w + 3. Let v = -2769 + 2775. Solve 0 = o*z + 10 + v for z.
-4
Suppose -3*o - 10 + 35 = -2*z, -3*z + 8 = 2*o. Solve 0 = o*i - 2*i + 15 for i.
-3
Let l be 114/19 - (-2 - -4 - 0). Solve -o = l*o for o.
0
Let u(w) = -5*w. Let h be u(-2). Let q = h - 1. Suppose -4*x = -q*x + 15. Solve 0 = 6*t - x*t + 3 for t.
-1
Let v = -12 + 14. Suppose -v*q + 34 = -4*q. Let m = q - -18. Solve m = x + 5 for x.
-4
Let i(q) = 2*q**2 + 5*q + 4. Let j be i(-3). Suppose 0 = 3*c + j*c - 20. Solve 4*x = 3*x + c for x.
2
Let w(q) = 2*q**2 + 68*q + 4. Let r be w(-34). Solve -11 = 7*a - r for a.
-1
Let y = 9 - 4. Let x be (3 + -1)/(6*1/9). Solve -x*s - 1 = y for s.
-2
Let r = -1096 + 1100. Solve r = -t + 5*t for t.
1
Suppose 14 + 8 = 4*m + 5*p, -m - p = -6. Suppose b + 2 = 0, 0 = -2*k - 3*b - b - m. Solve k*w + 4*w = 0 for w.
0
Let f be (-2)/((-1)/(-14)*