 6/15 - (-2)/(-5). Let s(l) = -l**2 + l - 1. Let f be s(z). Let j be (2*f)/((-6)/9). Solve 3*m = -j + 6 for m.
1
Let w(a) be the third derivative of a**7/504 + a**6/720 - a**5/30 + a**2. Let y(v) be the third derivative of w(v). Let s be y(3). Solve 11 = 5*k + s for k.
-4
Let w = 0 - -3. Suppose -5*a = 4*r - 56 - 3, 0 = 2*r - 2. Suppose 0 = -3*d + 3*z + 33, 5*d + 2*z - a - 23 = 0. Solve 0 = w*x + 7 + d for x.
-5
Let d(t) = -4*t**2 + t - 2. Let n = -3 - -1. Let k be d(n). Let o be 4/22 + k/(-11). Solve -o*c + 5*c - 15 = 0 for c.
5
Let m(c) = -c - 14. Let j be m(-9). Let p = 5 + j. Suppose -2*h + p = -4. Solve 0 = l + h*l + 6 for l.
-2
Let o be (-6)/15 - 8/(-20). Suppose 4*v - 13 = 3. Solve o*t = -v*t for t.
0
Let v be (2 + -1)/((-4)/(-80)). Suppose 3*g + 10 = -2*g - 5*i, 0 = 4*i + v. Let t be ((-3)/(-2))/(g/4). Solve t*w = -1 - 7 for w.
-4
Suppose 0 = l - 3. Let j be -1*l*(1 - 2). Solve 9 = -3*n + j for n.
-2
Let d = -3 + 3. Suppose d*r - 24 = -4*r. Let n(p) = p**2 + 3*p - 4. Let u be n(-4). Solve u = -r*f + f for f.
0
Let d(v) = -v + 2. Let o be d(0). Suppose 0 = j - 4*j + 3*t + 30, -2*j + t = -20. Suppose -o + j = 4*u. Solve u*p - 3*p = 0 for p.
0
Suppose 0 = 3*f - p + 1, -5*p - 3 + 8 = f. Let q(k) = k. Let j be q(f). Solve 2*a + 3 + 7 = j for a.
-5
Let j(o) = o**2 - 6*o + 3. Let z be j(6). Solve 2*h + z = 7 for h.
2
Let u be (1 + -1)*(1 - 2). Suppose -2*k - 2*k = 0, 2 = -h - 3*k. Let i be (16 - 1) + h + 3. Solve u = -2*d - 2*d - i for d.
-4
Suppose 7*m + 8 = 9*m. Suppose 0 = 4*r - 0 - m. Solve r + 3 = 4*h for h.
1
Let h be (-1 + 0 + -2)/(-1). Solve h*y + 12 = -0 for y.
-4
Suppose -14 = -4*z + 3*j, -5*z + 8*j + 20 = 3*j. Suppose z = -s - 0*s. Let l = -2 - s. Solve -t + 2 = -l for t.
2
Suppose -4*a + 2*q = 6*q - 8, 3*a - 4*q = 27. Solve 0 = -0*g - a*g - 20 for g.
-4
Let a(h) = -h**2 - 7*h - 7. Let s be a(-4). Solve -s*l - 7 = -2 for l.
-1
Let g = 24 - 20. Solve -g*p + 9 + 7 = 0 for p.
4
Let d(q) = 3*q. Let u be d(5). Suppose 0 = -2*l - 3*l + u. Solve -m = l*m for m.
0
Suppose -5*j + 3*j = -6. Suppose -4*t = j*z - 50, 4*z - t + 5*t = 64. Solve -6 = -4*c + z for c.
5
Let q be 2/8 - 19/(-4). Let z be 2/((-40)/(-12)) - (-82)/5. Solve -7 + z = -q*r for r.
-2
Suppose 3*m + 2*c - 3*c = 7, 0 = 5*m + c - 25. Let n(t) = -t**2 + 6*t - 6. Let u be n(m). Solve -7 = u*w - 1 for w.
-3
Let k = -13 + 15. Solve -6 = w - k for w.
-4
Suppose -6*a + 8 = -4*a + 4*l, 4*a - 42 = 5*l. Solve -2*y + a = -0*y for y.
4
Let v = -4 - -11. Suppose -4*l - 4*y = 20, 6*l - 3*l + y + 11 = 0. Let b(n) = n**3 + 4*n**2 - 4. Let c be b(l). Solve c + v = -4*q for q.
-3
Let j be ((-2)/6)/(4/(-48)). Solve j*v - 16 = 8*v for v.
-4
Let v(r) = -r**3 + 3*r**2 + 3*r - 4. Suppose 3*u = -2*u + 15. Let n be v(u). Solve -1 = -n*k + 9 for k.
2
Let v(m) = 6*m - 21. Let x(h) = -h + 4. Let n(t) = 2*v(t) + 11*x(t). Let q be n(6). Let i = 11 - q. Solve 4*j - j = -i for j.
-1
Suppose -o + 2 = n - 5, -2*o + 2*n + 6 = 0. Solve 0 = o*h - 2 - 3 for h.
1
Suppose 0*p - p = -3. Suppose 25 + 39 = 4*k. Suppose -p*j = -j - k. Solve 8 + j = 4*b for b.
4
Suppose 2*u - 4 = u. Suppose -f + 8 = 4*y, -5*f - 13 = u*y - 5. Solve y*s + 10 = 5*s for s.
5
Suppose 0 = 2*i - 6*i + 16. Let v = 4 - i. Solve -4*a = -v*a - 12 for a.
3
Let n(o) = o**2 - 3*o + 2. Let x be n(2). Let v = -12 - -18. Let h(i) = -i**3 + 7*i**2 - 4*i - 8. Let q be h(v). Solve x = -2*t + q for t.
2
Suppose -2*v + 3 + 9 = 0. Solve v*b = 5*b for b.
0
Let f be ((-15)/(-9))/(5/15). Solve -2 + f = a for a.
3
Suppose -g + 14 = -4*l, -3*l + 7*l = -12. Let s = 28 + -28. Solve -g*u + 5*u + 9 = s for u.
-3
Suppose 53*y = 55*y - 16. Solve 0 = -2*c - 0*c + y for c.
4
Let q = 8 + 4. Suppose -4*c - q = 0, 11 + 4 = -l - 5*c. Suppose 3 = -l*b + b. Solve 5*d + 7 = -b for d.
-2
Let j be 2 + (40/(-4))/(-5). Solve -p + j = 2 for p.
2
Suppose 3*c + 27 = 4*c. Suppose l - 17 = -5*d, -5*d + c = -2*l + 1. Solve d*n - n - 15 = 0 for n.
5
Let t be 1/(-3) + 1/3. Suppose -3*z = -t*z. Solve z = -0*w + 3*w - 15 for w.
5
Suppose l - 21 - 9 = -5*g, -l + 5 = 0. Let d(w) = w + 2. Let k be d(g). Solve k*i + 25 = 2*i for i.
-5
Suppose -5*k + 7 = -13. Let g(p) be the third derivative of -p**6/120 - p**5/6 - 5*p**4/12 + p**3/6 + p**2. Let o be g(-9). Solve 0 = 2*y - k*y + o for y.
5
Suppose j = 4 + 1. Suppose -j*q + 2*q = -3. Solve 0 = -r - q - 0 for r.
-1
Let d = 31 - 0. Suppose 4*u = 103 - d. Solve -2 + u = 4*f for f.
4
Let o(w) = 4*w + 25. Let q be o(-4). Solve -3*f - q = -0*f for f.
-3
Suppose -20 = -4*i - 4*m, 0*i + 2*i + 3*m = 11. Suppose -5*x = -i*x. Suppose -t - t = x. Solve t = 3*r - 6 for r.
2
Let r be (-4)/18 - 8/(-36). Solve c + 0*c - 3 = r for c.
3
Suppose 0 = -b - c - 0*c + 9, 1 = -b + c. Let m be -1 + (b - -1 - 0). Solve 0 = -m*a + 4 + 4 for a.
2
Let w(q) = q - 1. Let c(n) = n**2 - 9*n + 4. Let x(a) = c(a) - w(a). Let j be x(10). Suppose -3*f = -0*f - 18. Solve j*y = f - 1 for y.
1
Let g(x) = -x**2 - 10*x + 4. Let l be g(-10). Solve 0 = l*n - 2*n for n.
0
Let l = 8 - 7. Let c be 3 - (2 - (2 - l)). Solve -c + 6 = -4*s for s.
-1
Suppose -5*m = -4*q - 21, q + 2*q + 12 = 3*m. Suppose -3*i = 2*i - 40. Let r(b) = -b + 1. Let a be r(1). Solve m*x - 3*x + i = a for x.
-4
Suppose -4*j + i - 1 = -3*j, -2*j + 2 = -i. Let z(u) be the third derivative of -u**6/120 + u**5/12 + u**4/6 + u**2. Let w be z(5). Solve -j*d - w = d for d.
-5
Let v be (-16*1)/(-2 + (-3)/(-3)). Suppose -5*x = 5*i + 5 - 30, 5*i - 3*x = 17. Suppose 3*k - 8 = -2*n, 8*k = 3*k - i*n + 16. Solve k = -3*c + 7*c + v for c.
-4
Let c be 156/10 - 4/(-10). Let k = -6 + 9. Suppose -k*w = -4*w + 5*l + 21, 5*l = -4*w - c. Solve w + 14 = 5*n for n.
3
Suppose -7*q + 20 = -22. Solve -4*l - 18 = -q for l.
-3
Let i be (-3 - 2*(-10)/4) + 1. Solve -m + 0 = i for m.
-3
Let t(s) = -s**3 + s**2 + 3*s - 2. Let c be t(2). Suppose c = 4*d - 19 - 1. Solve -d*y = -y + 16 for y.
-4
Suppose 0 = 14*x - 97 + 27. Solve 2 = -s + x for s.
3
Let l = -11 - -15. Solve -l*w = -w + 15 for w.
-5
Let v be (-1)/3*(-264)/11. Let h = v + -4. Solve 0 = 2*c + h + 2 for c.
-3
Let f(i) = -i**3 - 3*i**2 + 3*i - 1. Let z(a) = -4*a**2 + a - 1. Let h be z(1). Let d be f(h). Solve -2*j + d*j = 0 for j.
0
Let p(h) = -h - 2. Let y be ((-21)/2)/((-2)/4). Let d be (-2 - -1)/(3/y). Let g be p(d). Solve 3*z = 4*z + g for z.
-5
Suppose 0*y = 2*y - k + 3, 2*k - 2 = 0. Let f be 14*(-1 + 2)/y. Let v be (3 + f)*2/(-2). Solve -5*x - v - 9 = 0 for x.
-4
Let o(d) be the third derivative of d**4/24 + 3*d**2. Let p be o(2). Solve 0 = -f - 3 - p for f.
-5
Let j(h) = 4*h. Let z be j(-2). Let p = -6 - z. Let r be (3 - (2 - 1)) + 5. Solve p*m + 1 + r = 0 for m.
-4
Suppose -5 = -d + u, 3*d - 55 = -2*u - 3*u. Solve 0 = p + 4*p - d for p.
2
Suppose -3*f = -14 + 2. Let h be (1/3)/(1/3). Let i = h - 0. Solve f = 5*d - i for d.
1
Let j be (-2)/(-4) - (-5)/2. Solve -j*b = b for b.
0
Suppose -4*j = 0, -5*s + j - 7 - 38 = 0. Let m(h) = -h**2 - 10*h - 5. Let o be m(s). Solve -o*q + q = -9 for q.
3
Let o(n) be the first derivative of n**4/4 - 10*n**3/3 + 5*n**2 - 8*n - 1. Let m be o(9). Let k be (-14 - -4)/(-1*m). Solve k = 2*l - 0*l for l.
5
Suppose -r + 4 = -1. Suppose 0 = r*p - 3*p - 4. Solve 0 + 6 = -p*k for k.
-3
Let a be (-24)/(-2)*(-2)/(-3). Let p(o) = -o + 8. Let g be p(a). Solve g = u + 4*u - 20 for u.
4
Suppose -5*h = 1 - 11. Let g = 0 - 2. Let y = h - g. Solve 28 = -y*p + 12 for p.
-4
Suppose -3*q = k + 73 + 15, 5*k = -q - 48. Let l = q - -28. Solve l = 4*d + d for d.
0
Suppose 2 = -0*g + g. Solve 5*p = g*p + 6 for p.
2
Let n be (((-63)/(-6))/7)/((-1)/(-6)). Solve -4*c - 3 = n for c.
-3
Let t = -15 - -20. Suppose -t*h + 4 = -6, -4*h + 26 = 3*l. Solve 5*a - l - 4 = 0 for a.
2
Let n = 3 + 0. Let p be 1/1 - 2/2. Solve d - n*d = p for d.
0
Let x(f) = 35*f**2 + f - 2. Let i be x(2). Suppose -5*p - h = -i, -4*h + 0 - 20 = 0. Let s = p + -20. Solve -21 + s = -4*z for z.
3
Suppose -o + 8 = 2*y - 4*y, -20 = -2*o + 5*y. Solve g + 4 - 5 = o for g.
1
Suppose -2*a - 5*p + p + 22 = 0, 3*a - 13 = -p. Solve 5*j - 7 = a for j.
2
Let b be -2 + 2 + 2 + 0. Suppose -3*m = -2*c - 2, 4*m + 2*c = b*m + 18. Solve 7*a + 6 = m*a for a.
-2
Let w(b) = -b**3 + 5*b**2 - b - 2. Suppose 0*p + 2*p - 8 = 0. Let n be w(p). Solve -n = 4*y + 6 for y.
-4
Let q be 0*3/6 - -3. Suppose -q*b + 21 - 8 = -a, -a + 2*b - 8 = 0. Sol