et f = 4 - 3. Suppose -2*s + 2*u = 6*u - 6, -u + 4 = -2*s. Let y = s + f. Solve 2*q + 0*q = y for q.
0
Suppose 4*l = -2*i + 10, 0 = 3*i + 2*l - 6*l - 15. Solve -3*u - 2*u + i = 0 for u.
1
Let m be (5/(-10))/(2/44). Let l = -5 - m. Let j(o) = o**2 + 6*o. Let i be j(-6). Solve 3*s - s - l = i for s.
3
Let u = 8 - 10. Let c be (u - -1) + -13 + 14. Solve -1 = k - c for k.
-1
Let r = -19 - -22. Let w(l) = -4*l + 3. Let q(d) = d - 1. Let g(f) = -7*q(f) - 2*w(f). Let o be g(r). Solve 2*v + o = -4 for v.
-4
Let t = -94 - -104. Solve t = 2*l - 7*l for l.
-2
Let o = 12 - 12. Solve o = -2*p - 8 for p.
-4
Let x = -7 - -11. Suppose 0 = 8*c - x*c - 80. Solve -4*f - f - c = 0 for f.
-4
Let u(j) = -j - 5. Let o be u(-6). Suppose 0 = -m - 29 - o. Let g be (-12)/m + 26/10. Solve -5*c = -2 - g for c.
1
Suppose 0 = -3*z - 4*q + 11 + 6, -16 = -4*z - 2*q. Solve -4 + 1 = -z*i for i.
1
Suppose r = -0 + 4. Suppose -2*g + 3*v - 12 = 0, -2*g - r*v + 16 = -3*g. Solve 0 = 5*i - g*i for i.
0
Suppose r + 4*v = -0*v - 13, -3*v = 4*r. Solve 4*f - r = f for f.
1
Let b = 17 + -14. Solve -b*v - 5 = 2*v for v.
-1
Let s be (-1)/4 + 7/(196/567). Solve 10*f = 5*f + s for f.
4
Let y(j) = -j + 18. Suppose 2*g = -2*g. Let p be y(g). Suppose -5*i = -4*a - p, 0 = -4*i + a - 2*a + 27. Solve 0 = -2*u + 4*u + i for u.
-3
Suppose 7*r - 10 = 2*r. Let c(w) = w**2 + 3*w + 6. Let i be c(-4). Let b = i + -10. Solve -r*s + b = -10 for s.
5
Let x(n) be the third derivative of -2*n**2 + 2/3*n**3 + 1/24*n**4 + 0*n + 0. Let m be x(0). Solve 0 = m*p - 0*p + 8 for p.
-2
Suppose -3*g - 2*k = -2, -g - 2 = -k + 3*k. Solve -2*p = -p - g for p.
2
Let o(k) = k - 4. Let i be o(5). Let s = i + -4. Let z be (-2 + 3)/(s/(-6)). Solve 3 = z*f + 1 for f.
1
Let n be 24/36 - (-32)/6. Suppose 0 = r - 0 - n. Solve 3*o = -6 - r for o.
-4
Suppose u = 5*u - 12. Let x be (-2 - -2)*(-2)/4. Solve x = 4*t - 9 - u for t.
3
Let y = 19 - 0. Let b be -3 + y + (-12)/(-3). Solve 4*k + b = 8 for k.
-3
Let c = 33 + -55. Let y = c + 42. Let i = y + -5. Solve 0 = 5*w - i for w.
3
Suppose 2*w - 10 = -2*f, 9*w - 5*w - 5 = -f. Solve -c - 1 = -f for c.
4
Let n be 2/3*(15 + 0). Let h = 8 - n. Let g be h + (6 - 0) + -1. Solve -g*x = -0*x for x.
0
Suppose -s - 2*s + 9 = 0. Solve 1 = s*l + 7 for l.
-2
Suppose 4*i = -0*i + 8. Suppose 9 = 15*n - 6. Solve i = -h + n for h.
-1
Let k(x) = x + 10. Let s be k(-6). Suppose -5*h + 0*q + 4*q + 58 = 0, h + q = 8. Suppose 5*a - h = -2*c, 5*c = -7*a + 3*a + 25. Solve -s*m - 5 + 1 = a for m.
-1
Suppose 4*k = -4*n + 4, -3*n + 5 = k - 4. Suppose 6*a - 20 = n*a. Solve 1 - a = 3*y for y.
-3
Suppose 2*m - 9 = 3*m. Let p = 23 + -8. Let b = m + p. Solve b - 1 = -s for s.
-5
Let a(l) be the third derivative of l**4/24 - l**3/2 - 3*l**2. Let y be a(6). Suppose y*d = -d + 8. Solve 0 = -6*h + 8*h + d for h.
-1
Suppose -3*i + 83 = 4*w, i - w - 146 = -4*i. Suppose -i = -4*b + 3. Solve -3*v + v = -b for v.
4
Let u(l) = -l - 6. Let z be u(-12). Solve -15 = -3*r + z*r for r.
-5
Let y(g) = g**3 + 16*g**2 - 2*g - 16. Let n be y(-16). Solve 4*b = -n - 4 for b.
-5
Let s(i) = 2 + i**2 - 6*i**2 + 1 - i**3. Let h be s(-5). Solve -h = -f - 2 for f.
1
Suppose 0 = -2*m - 0*m - 2. Let u = 6 + m. Solve 2*g - 1 - u = 0 for g.
3
Let b(f) = -f**3 + 3. Let t be b(0). Let n(p) = p - 1. Let q be n(2). Let v = -16 + 18. Solve t = -v*u - q for u.
-2
Let p = -21 + 23. Solve 13 = -3*c - p for c.
-5
Suppose 8 = 4*u - 4. Let r be 0 - (0 + -2*1). Solve g + r = u for g.
1
Let z be -3 + 4/(8/10). Suppose -24 = z*p - 5*p - d, 0 = -d - 3. Solve -p = -3*m - 0 for m.
3
Suppose -6*l + 3 = -5*l. Let z(n) = 3 - n**3 + l + 0 - 7*n**2. Let u be z(-7). Solve 5*b = u - 1 for b.
1
Suppose 3*t + 9 = -3*s, s = -4*t + 6*s - 12. Let r = 16 - t. Solve 4*x = -7 + r for x.
3
Let x(y) = -y**2 + 3*y. Let s be x(3). Let j = s + 0. Let q be ((-4)/6)/(2/(-9)). Solve j = -0*o + q*o for o.
0
Let b(g) be the first derivative of g**4/4 + g**3/3 - 3*g**2/2 - g - 2. Let y be b(-2). Let m be -2 + (-8)/(-2) - 2. Solve -q + 0 - y = m for q.
-1
Suppose -5*i = -14 - 6. Suppose n - 3 = -2*v + 1, i*n + 17 = 3*v. Solve v*f - f = 8 for f.
4
Let m be 0/((-2)/(-2) - 2). Solve m = -3*t + t - 10 for t.
-5
Suppose -3*n - 8 = -n - 3*q, 2*n = -3*q + 4. Let m(b) = b + 1. Let a be m(n). Suppose a*x = 5*x. Solve x = -4*s - 11 + 3 for s.
-2
Suppose -4*f - 3 + 63 = 0. Suppose 3 = u + 8, 3*u + f = k. Let j be k - (-8 - (-2 + -1)). Solve 2*z = -3 - j for z.
-4
Let w = 34 - 28. Solve 1 = i + w for i.
-5
Suppose -9 = -6*q + 9. Solve q*z + 0 + 3 = 0 for z.
-1
Let d(z) = -3*z + 1. Let j be d(-1). Suppose -j*n = -7 + 23. Let u = n + 7. Solve u*r = 4*r for r.
0
Suppose w + 6 = 4*y, w + 3*w + 7 = -y. Let v be 1*(w + -1 + 3). Solve -c - 1 = -v*c for c.
-1
Let n be -1 - (-2 + -2 + 2). Let u(t) = t - 6. Suppose -4*m = -16, -l - 25 = -6*l + 5*m. Let d be u(l). Solve d*k + n = 16 for k.
5
Let f(u) = u**2 - 15*u - 32. Let n be f(17). Solve 0 = 4*l - n*l - 10 for l.
5
Let y be (2/(-3))/((-2)/6). Let b(f) = f**2 - 6*f + 1. Suppose 3*s + 18 = 6*s. Let n be b(s). Solve d - y = n for d.
3
Let s(m) = m**3 - m**2. Let f be s(0). Suppose f = -o + 2 + 1. Suppose -5*h = -4*h. Solve -o*r + 12 = -h for r.
4
Let o be 4 + -3 - (1 - 1). Suppose g - 13 = o. Let q be g/(-3)*36/(-14). Solve -c = -4*c - q for c.
-4
Suppose 5*g - 2*g = 0. Suppose g = 3*f - 5 - 1. Solve f = -n - n for n.
-1
Suppose -g + 17 = 4*q - q, 4*q + 5*g = 19. Let z = q - 6. Solve z*f - 2 = -f for f.
2
Let f be (2 - 3)/(3/(-6)). Solve -k - f = 1 for k.
-3
Let r(v) be the first derivative of v**2/2 + 8*v - 4. Let a be r(-8). Suppose n + 2 - 4 = a. Solve 3*m = -n*m for m.
0
Let x(q) = q**2 - 8*q - 1. Let v be x(5). Let d = v - -24. Let z = -6 + d. Solve 4*c = 2*c - z for c.
-1
Let q = -19 + 32. Solve 0 = -3*v + 2 + q for v.
5
Suppose -3*w + w + 14 = u, -4*w + u = -40. Let d(s) = -w + s**2 + 5*s + 3*s - 4*s. Let t be d(-7). Solve -b = 2*b + t for b.
-4
Let m be 32/(-24)*(-6)/4. Suppose m*j - 25 = -5. Solve j = -3*a - 2 for a.
-4
Let i = -8 + 13. Suppose i*n = 3*n + 8. Solve -n*k = k + 15 for k.
-3
Let d be (-6)/18*-1*3 + 4. Suppose -5 + 1 = -z. Solve -d*s = -s - z for s.
1
Let n be 5/3 - 8/(-24). Let x = 4 - -2. Solve 0 = 4*p - x*p - n for p.
-1
Let w(c) = -c - 7. Let x be w(-10). Solve 5*g - x = 22 for g.
5
Let o be (-5)/(-2) - 6/12. Suppose o*b = b. Solve b*c = -5*c for c.
0
Let c(j) = 4*j**3 + 132 - 12*j - 127 - 11*j**2 - 3*j**3. Let b be c(12). Solve b*h = -11 - 9 for h.
-4
Let u = 30 + -15. Solve -2*v - u = v for v.
-5
Let z(n) = n**2 - 5*n - 9. Let m be z(7). Suppose -4*f = d - m*f - 6, -d + 18 = -5*f. Solve d*v + 10 - 25 = 0 for v.
5
Suppose -5*g + 6 = 4*s, -4*s = -3*s + 5*g + 6. Solve -x + 0*x + s = 0 for x.
4
Suppose 0 - 1 = z - 2*c, 11 = 5*z - 2*c. Solve -z*a + 6 = -3 for a.
3
Suppose 0 = 2*v - 3*q + 5, -2*v + 4 = 3*v - 2*q. Suppose -v*h - 33 = -5*h. Let g = h - 6. Solve -g*y = -3*y for y.
0
Suppose 0 = -2*h - 5*h - 84. Let b be 5/2 - (-2)/(-4). Let f be h/(-15)*5/b. Solve -f*g - 2*g = 4 for g.
-1
Suppose -2*s - 5 = -6*f + f, -3*f - 1 = -2*s. Let t = -4 - -9. Suppose 2*n = -f*n, 0 = -t*a + n + 15. Solve -5 = 2*r + a*r for r.
-1
Suppose 2*r = 5*s + 3*r + 1, -4*s - 5*r = 5. Suppose 5*n = 2*q + 3 + 21, 5*q + 10 = 0. Let f = n + s. Solve f = -5*l + 14 for l.
2
Suppose 5*q - 41 = -2*n, 5*n + q = 32 + 13. Let x = 3 - n. Let g(z) = -z - 3. Let r be g(x). Solve 0*m = r*m + 10 for m.
-5
Let o(f) be the third derivative of -f**4/12 + 4*f**3/3 - f**2. Let k be 1*(3 - 5)*-2. Let z be o(k). Solve z = -4*c + c - 12 for c.
-4
Let s be (-5)/2*44/(-55). Solve s = k - 3*k for k.
-1
Let n be 3*(-1 + 4 - 2). Suppose z = -n*z + 8. Let y be (-31)/(-4) + 5/20. Solve -2*a - z*a = -y for a.
2
Let a be 114/27 + 10/(-45). Solve -a*t + 6 = 18 for t.
-3
Let c = 5 + -2. Let s be 27/(-3)*4/6. Let o be 76/12 + 2/s. Solve c = 3*g - o*g for g.
-1
Let a = 1 - -3. Solve 0 = -3*n - a - 2 for n.
-2
Let u = 5 - 5. Let c(a) = -10*a**3 + a**2 - a - 2. Let i be c(-1). Solve i = 2*z - u*z for z.
5
Let m(p) = p**3 - 4*p**2 - 6*p + 5. Let x be m(5). Solve 4*y + y + 15 = x for y.
-3
Let b(g) = -g + 14. Let a be b(12). Solve -a*h - h + 12 = 0 for h.
4
Let j(m) = m**2 - 4*m - 8. Let l be j(6). Let y be 3/(-6)*0/(-1). Suppose t = 2 - y. Solve t*d - d = l for d.
4
Let c(r) = 2*r**3 - r**2 + r. Let x 