 x be (-11 - -6)*2/(-5). Solve -x*r = -6*r + 4 for r.
1
Let u = 6 - -1. Suppose -u = -5*i + 8. Solve 2*v = i*v for v.
0
Suppose 2*y = -3*y + 5. Suppose a - 17 = -y. Let w = 1 + 4. Solve -w*m - 4 = a for m.
-4
Let x be 0 + (1 + -2)*-4. Let g be 2/(-4)*x*-1. Suppose -4*r + 11 = n, -g*r + 13 = 4*n - 3. Solve j = -n + 1 for j.
-2
Let z(k) = -k**2 - 4*k + 7. Let s be z(-5). Solve -6 + 0 = s*g for g.
-3
Let j be (2 + -2)*-1*-1. Solve j = 3*q - 0*q for q.
0
Let k = 10 - 5. Suppose -m = -3, k*m = -5*t + 3*m - 19. Let i = -3 - t. Solve i*z = -2*z - 8 for z.
-2
Suppose 0 = 3*b - 4*v - 7, 5*v - 4*v - 1 = -2*b. Solve 0 = c - b + 2 for c.
-1
Let q = 6 - 4. Solve -q*y - 8 = 2*y for y.
-2
Let c(b) = -b**3 - 12*b**2 - 10*b + 15. Let n be c(-11). Solve -5*v = -4*v - n for v.
4
Let y(q) = -q + 15. Let p = -5 + 18. Let t be y(p). Suppose 5*w = -0*w - 5*g - 10, 3*w - 4*g - 8 = 0. Solve -4 = -w*z - t*z for z.
2
Let o be 8/(-12) - (-1)/(-3). Let l(k) = -21*k - 1. Let y be l(o). Solve t - y = 6*t for t.
-4
Let f(c) = 0*c**3 - 4*c**2 - c**3 - 4 + 2*c**2. Let w be f(-3). Let a(v) = v. Let n be a(w). Solve -2*j = 3*j + n for j.
-1
Let x be 1/(-6)*2*-12. Let j be 2 - x - (-1 - 11). Solve -j = 2*c - 4 for c.
-3
Let f = 5 - 3. Suppose -k = -f*k + 8. Solve 3*w + k = -w for w.
-2
Let c = -80 + 84. Solve 5 = 3*k - c for k.
3
Let w(x) = -x**2 - 8*x + 13. Let n be w(-9). Suppose 0 = 4*k + 2*a, n*k - 5*a - 24 = -a. Solve k + 0 = z for z.
2
Let l(n) = n**2 - 4*n + 5. Let u be l(4). Solve -u = m - 3 for m.
-2
Suppose -11*r + 8*r + 24 = 0. Solve 0 = -0*h + 2*h + r for h.
-4
Let s(g) = -4 - 4 + 6 - g. Let d be s(-6). Solve -18 = d*j - 6 for j.
-3
Let s(w) = 6*w - 16. Let n(d) = -d + 3. Let z(r) = -22*n(r) - 4*s(r). Let t be z(-1). Solve 2*i = -t*i - 4 for i.
-2
Let s(f) = -f**2 - 8*f - 6. Suppose k - 2 = 0, -2*z + 4*z + 4*k = -2. Let q be s(z). Suppose -q*p = -5*p. Solve p*w = -2*w for w.
0
Suppose 1 = 3*j - 5. Suppose -4*g = -j*g. Solve g*o = o + 4 for o.
-4
Let x = 197 - 186. Solve 3 - x = 2*q for q.
-4
Suppose 2*k = 2*o - 2, -o + 4*o = 2*k + 2. Solve 5*z - 3*z - 4 = o for z.
2
Let r(t) = -6*t**3 - 5*t**2 - 3*t - 1. Let h be 2/(-8) - (-11)/(-4). Let l be r(h). Suppose 0*i + l = 5*i. Solve -3*b - 2*b = -i for b.
5
Suppose -t = 2*t - 15. Solve 0 = t*b + 9 + 6 for b.
-3
Suppose -3*p + 0*y + y = -23, 0 = 3*p + 4*y + 2. Suppose -3*i = p, 0 = 3*w - i - 3*i - 23. Solve 0*r = r + w for r.
-5
Let j = -3 + 9. Let c = j + 6. Solve -c = 5*x - x for x.
-3
Let y be (-2 + 0 - 12) + 1. Let o = 18 + y. Suppose -3*n = n. Solve n = -g + o*g - 8 for g.
2
Suppose 37 = -3*b + 43. Solve 7 = -b*y + 5 for y.
-1
Let u = -2 + 4. Suppose -4*a = -u*a. Suppose -2*m - 3*m + 45 = 2*l, 0 = l - 2*m. Solve -2*z = -a*z + l for z.
-5
Suppose 2*g + 1 = -4*s + g, -s - 3*g - 3 = 0. Let j = 9 - s. Solve 0 = -3*t - 3 - j for t.
-4
Let t(g) = g + 10. Let m be (4/(-1) - 3)*1. Let i be t(m). Suppose -3*u = 4*d - 17, -4*u = -5*u + i. Solve -d*v - 3 = -3*v for v.
3
Let u = 106 + -103. Solve -q + 2 = u for q.
-1
Let p = 10 - 10. Suppose -6*l + 3*l = p. Let t = 4 - -8. Solve -u - 3*u - t = l for u.
-3
Suppose -4*p - 3*r + 6*r + 78 = 0, 0 = -p + 5*r + 28. Solve -5*f - 3 = -p for f.
3
Suppose 0 = 5*o + 5 - 25. Solve 7 = -o*f - 13 for f.
-5
Let a(u) = -u**2 - 12*u - 7. Let r be a(-13). Let p be (-47)/(-7) - 2/(-7). Let i be p*(r/(-7) - 2). Solve 0 = 2*y - 4*y + i for y.
3
Suppose 5*m = s + 3*s - 17, 0 = -4*s + 2*m + 14. Let l be s - (2 - 2/2). Suppose 3*u - l*u = 0. Solve -v + 4*v = u for v.
0
Let m(a) = a**2 + 1. Let s be m(-2). Solve -1 = -x - s for x.
-4
Let o(a) = 2*a - 9. Let k be o(6). Suppose 2*z = -3*c + 2 + 28, c + 7 = 5*z. Solve y - k*y = -c for y.
4
Let b(x) = -x**3 - 16*x**2 + 17*x + 4. Let d be b(-17). Solve -2*g = -6 - d for g.
5
Let a(v) be the third derivative of -v**6/30 + v**5/60 - v**3/6 - 2*v**2. Let q be a(-1). Let f(d) = -2*d + 5. Let y be f(2). Solve -q*s + y = -7 for s.
2
Let j(c) = c**2 - 6*c. Let m be j(6). Suppose m*l + 34 = 2*l. Solve -4*s + 1 = l for s.
-4
Let w = -11 - -13. Suppose 10 = -2*f - 4. Let x(j) = j**3 + 8*j**2 + 8*j + 10. Let z be x(f). Solve 0 = -w*y + z*y - 4 for y.
4
Let y(u) = -u**3 + 5*u**2 + 6*u - 5. Let d be y(6). Let p be -1 + 11 + (d - -5). Solve -5*a - 5 = p for a.
-3
Let t(p) = -2*p**2 + 12*p - 2. Let c be t(6). Let s be 1 - (2 + -1) - c. Solve v = -s*v - 15 for v.
-5
Let i = 156 - 153. Solve 2 = i*f - f for f.
1
Let y(f) = f + 6. Let h = -4 + -2. Let t be y(h). Solve -2*b + 4 = -t for b.
2
Suppose -43*w + 40*w = -24. Solve t = -t + w for t.
4
Let n(b) be the first derivative of 11*b**4/4 - b**3/3 - b**2/2 + b + 1. Suppose 3*h = -h + 4. Let o be n(h). Solve v + o = -4*v for v.
-2
Let a(i) = 7*i + 43. Let s be a(-6). Solve -s = -o - 3 for o.
-2
Suppose -3*x + 25 = -4*o + 5, 0 = o + 5. Suppose 0 = 4*a - 16, -6*i + 95 = -i + 5*a. Suppose -2*q - 3*v + i = q, -3*q - 5*v = -15. Solve z = -x*z - q for z.
-5
Let m = 13 - 7. Suppose -4*c - k + m = -3, 0 = 2*c - 5*k + 1. Solve 3*f = -c*f for f.
0
Let j(t) = -5*t. Let b be j(-1). Suppose -10 = -b*x + 2*k, -x + 2*k = 2*x - 10. Let q = 15 + -10. Solve -q*c + 3 + 7 = x for c.
2
Let b(f) = f**3 + 11*f**2 - f - 8. Let o be b(-11). Suppose -5*h + 18 = o. Solve w - 12 = -h*w for w.
3
Suppose -2*t = -8, -12 = -0*a + 2*a - 4*t. Let d = 0 - -4. Suppose 2*k - 2 = -a*b + d, 14 = 3*b - 2*k. Solve 5 = 3*w - b for w.
3
Suppose 205 = 5*j + 5*o, -4*j - 3*o + 149 = -4*o. Let r = -26 + j. Solve -r = 4*s - 0 for s.
-3
Let k be (5/(-2))/(1/2). Let s = 7 + k. Suppose -w = w - s. Solve 0 = -j - w for j.
-1
Suppose 0*z - z + 2 = 0. Solve 2 = z*g - 8 for g.
5
Let z be 6/8 - (5 + (-63)/12). Solve 9 + z = 2*g for g.
5
Let y(c) be the first derivative of -c**4/4 + 5*c**3/3 + 4*c**2 - 6*c + 4. Let h be y(6). Let o = 0 + h. Solve p = o*p for p.
0
Let a(v) = -2*v**2 - 13*v + 6. Let b be a(-6). Solve z - b = -2*z for z.
4
Let a(p) = -p**3 + 12*p**2 + p - 12. Let d be a(12). Solve 2*s + 2*s = d for s.
0
Suppose 5*m - 4*s = 12, -6 = -4*m - s + 3*s. Solve m*n = -5*n + 5 for n.
1
Suppose 0 = -2*l - 3*l. Suppose l*u + 4*u = 0. Let m be (u - -3)*(-8)/(-12). Solve 3*v - 4*v + m = 0 for v.
2
Let d(y) = -y**3 + 2*y**2 + 2*y. Let c be d(2). Suppose -60 + 48 = -3*x. Solve -x - c = 2*z for z.
-4
Suppose -j + 29 = -0*j - 5*z, -5*j = -z - 25. Suppose 1 = -u - 2. Let t = j + u. Solve t = -g - 1 for g.
-2
Let m be 0/(-3) + (10 - 2). Solve -m = -2*n - 2*n for n.
2
Let n = 15 + -21. Let v be (-11)/(-2) + (-3)/n. Suppose 2*r + 0*r = v. Solve -r*x = 2 + 7 for x.
-3
Let t be (-3)/((-6)/34) + 9/(-9). Solve 6*v + t = 2*v for v.
-4
Suppose 0 = -3*d + 6 + 6. Solve 0*o + d*o + 12 = 0 for o.
-3
Let n(j) = j**2 + 17*j + 55. Let f be n(-13). Solve 15 = 3*m + f for m.
4
Let l be ((-66)/8)/(3/(-8)). Suppose -5 - 10 = -3*a. Solve a*j + l = 7 for j.
-3
Let z = -8 + 7. Let b = 14 + z. Solve 1 = 4*s + b for s.
-3
Let y(x) be the first derivative of -x**5/120 - x**4/8 + 2*x**3/3 - 4. Let l(u) be the third derivative of y(u). Let r be l(-6). Solve 0 = -2*s + r - 1 for s.
1
Let s be (-1 + 1)/(3/3). Let a be (-2)/(-5 + 1)*0. Solve a = j - s*j for j.
0
Let d(i) = -i + 11. Let w be (-8 + -3)/(-1) + -2. Let u be d(w). Suppose 0 = 6*v - u*v. Solve q = -v*q + 4 for q.
4
Let c = -34 - -38. Solve 0 = b + c - 8 for b.
4
Let d(p) = -p**3 - 5*p**2 + 4*p - 4. Let o be d(-6). Solve 3*a - a = -o for a.
-4
Let q(t) = -t**2 + 11*t - 5. Let o be q(4). Solve 3 = 4*d + o for d.
-5
Let c(w) be the first derivative of w**4/24 + 7*w**3/6 + w**2 + 1. Let m(b) be the second derivative of c(b). Let h be m(-6). Solve 0 = t - h - 2 for t.
3
Suppose 10 = 4*b + b. Suppose 5*w = 2*r + 3 + 15, -2*w = b*r - 10. Solve -w*l = 5 - 1 for l.
-1
Let i = 58 - 27. Suppose 3*q = i + 14. Let j(l) = l**3 - 6*l**2 - 7*l + 3. Let a be j(7). Solve -3*x = -a + q for x.
-4
Let m(y) be the second derivative of y**3 - y**2/2 - 5*y. Let a be m(1). Solve -a = 3*k - 17 for k.
4
Let t = 8 + -7. Solve -3*c + 2*c + t = 0 for c.
1
Let l(q) = 2*q - 8. Let y be l(5). Solve c = -c - y for c.
-1
Let u(x) = x**2 - 4*x + 3. Let i be u(4). Suppose -2*g - i*v = 1, -6*g = -g - 4*v - 32. Solve g = -3*c + 5*c for c.
2
Let t(q) = -q**3 - 3*q**2 + q - 10. Let v be t(-4). Solve -v*p - 15 = 3*p for p.
-3
Let u(s) be the first derivative of -s**4/4 + 7*s**3/3 + s**2 - 10*s - 