 11 = 4*f, 0*r + f = 2*r + b. Let s be c(r). Solve k + 4 - s = 0 for k.
-1
Let w = -5 + 8. Let m = w + -4. Let f be (-6)/(m*3) + 3. Solve -f = 5*i - 0 for i.
-1
Suppose -5*v + 3 = -7. Suppose 0 = -l - v*l. Solve -3*u + 5*u - 8 = l for u.
4
Let a(x) be the first derivative of -2*x + 1/2*x**2 - 3 - 1/4*x**4 + 5/3*x**3. Let r be a(5). Solve r*p - 6 = 6*p for p.
-2
Let n = 30 + -15. Let z = -6 - -8. Solve -z*s = -5*s + n for s.
5
Let d(o) = -o**3 + 5*o**2 + 5. Let p be d(5). Suppose 5 = -g + 6*g. Suppose u = 5*i + 12, 2*i + g - p = -4*u. Solve u = -2*x + x for x.
-2
Suppose -4*a + 6*a - 28 = -5*v, -2*v + 3*a + 15 = 0. Solve j - 2 = -v for j.
-4
Let d = -42 - -51. Solve 2*h + d = -h for h.
-3
Let a be (1 + -1)/(2/(-2)). Let c(q) = -q**3 + 15*q**2 + 16*q + 2. Let x be c(16). Solve -v + x*v - 5 = a for v.
5
Let h = -4 - -4. Let s be -3*(0 - 5/(-15) - 2). Solve t = -h*t - s for t.
-5
Let r = -8 + 12. Suppose 4*g = 4, -15 = -u + 6*g - g. Solve s - u = -r*s for s.
4
Let w be -3 + 0 + (5 - 3). Let g = w + 6. Solve 0*f = g*f + 20 for f.
-4
Let z(l) = l**2 - 3 - 1 + 3 - l. Let v be z(4). Suppose 3*f = v - 2. Solve g - f = -0 for g.
3
Let d = -4 + 8. Suppose d*w = 5*f + 1 + 4, -3*w - f = -18. Let s(t) = t - 4. Let g be s(8). Solve p + g = w*p for p.
1
Let x(g) = -4*g - 1. Let y(s) = -s**2 - s + 1. Let k be y(1). Let t be x(k). Suppose m - 4*d + 4 = 0, -5*m - d - t + 25 = 0. Solve 2 = -3*h + m*h for h.
2
Let n(a) = a + 2. Let f be n(1). Solve f*i = -i for i.
0
Suppose -2*v - c = -22, -5*v = 5*c - 2*c - 56. Suppose -q = q + v. Let g = -3 - q. Solve -f - g*f = 15 for f.
-5
Suppose z - 5*v = -2, 2*z - v = -2*v + 7. Solve 0 = 2*m - z*m - 2 for m.
-2
Suppose -13 = -6*m + 17. Let j be ((-48)/20)/(-6)*m. Solve -j + 1 = -x for x.
1
Let z be 1/(2/10) + -2. Let x be 5/4 - z/(-4). Let n = 2 - x. Solve -a + 6*a + 10 = n for a.
-2
Let d be ((-4)/(-4))/(1/(-8)). Let a = -11 + 21. Let m = a + d. Solve m*v = -1 - 7 for v.
-4
Let d(a) = -a**2 - 18*a. Let u be d(-18). Solve -i + u = 3 for i.
-3
Suppose 0 = 7*g + 2*g. Solve g*w + 4*w + 12 = 0 for w.
-3
Let f(d) = 3*d - 4. Let r be f(3). Let c be (r - (2 + 1)) + 10. Suppose 2*u - 6*u = -c. Solve 1 + u = 2*x for x.
2
Suppose 0*j = 3*j - 9. Let d = 5 + 0. Solve -2 = j*t - d for t.
1
Suppose -5*c - 5*x + 13 = -2, 2*x - 21 = -5*c. Solve 11 = -4*s - c for s.
-4
Let u(w) = -w + 8. Let k be u(6). Suppose -6 = -k*d - 2*a, -5*d + 5 + 7 = 2*a. Let b(g) = g**3 + 8*g**2 - 9*g + 2. Let l be b(-9). Solve 4*t = d*t + l for t.
1
Let x = 9 + -7. Suppose -2*p + 16 = x*p. Solve -2*l = -l - p for l.
4
Let x be 2/3 + (-4)/(-12). Let a(i) = 2*i**2 + 2*i - 1. Let z be a(x). Suppose -h + 48 = 4*d + z*h, -3*d = 2*h - 35. Solve 9 + d = 5*o for o.
4
Let z = -35 - -65. Let y be 20/z*18/4. Solve 5 = -y*l - 10 for l.
-5
Let u = -1 - -6. Suppose 2*m - u + 1 = 5*x, -3*m = -x - 19. Suppose -3*g - 10 = -2*f, -4*f + 2*g + 10 = -2. Solve -f*v + m*v + 15 = 0 for v.
-3
Let u = -16 - -19. Solve -5 - 7 = -u*b for b.
4
Let i(y) = y + 6. Let f be i(-3). Let w = -5 + 20. Solve f*p + w = -2*p for p.
-3
Let b(h) = h**3 - 6*h**2 - 5*h - 6. Let k be b(7). Let c be ((-21)/14)/((-6)/k). Solve -c*v - 6 = -4 for v.
-1
Let z = 66 + -61. Solve z = -5*q - 0 for q.
-1
Suppose 2*i + 5*l + 16 = 2, -3*i = 4*l + 7. Let r = 5 - i. Solve -2*w - r*w - 20 = 0 for w.
-5
Let g be 3/2*8/6. Suppose g*w + 5*k + 0 = 23, 2*w - 11 = -k. Let f = -4 + w. Solve -t + f = 1 for t.
-1
Let v be 3/4 - 26/(-8). Solve 0 = v*g - 6 + 2 for g.
1
Let i be (-1 - -7) + -7 + 4. Solve -4 = -u - i for u.
1
Suppose -5*v - 10 = 0, -a + 3*v + 4 = -5. Solve 5 = a*p - 2*p for p.
5
Let q(w) = -4*w - 1. Let h be q(-1). Let p be (-10)/(h/(6/(-4))). Solve -m - 12 = -p*m for m.
3
Let b(s) = s**2 - 2. Let v be b(-2). Solve 0 = v*o - 6*o for o.
0
Let k be (-4)/(-2 + 4) - -2. Solve k = 2*c + 3*c + 25 for c.
-5
Let a be (1/(-2))/((-2)/24). Let n(x) = -x**3 + 7*x**2 + x - 2. Let i be n(7). Suppose -4*m = -p + 7, -a*p = -p + i*m - 10. Solve -p*y + 7 = -2 for y.
3
Let l be (-12)/8 + 30/4. Let j(d) = -d**3 + 5*d**2 + 6*d - 1. Let g be j(l). Let t = g - -5. Solve t*u + 2 = 6 for u.
1
Let y(d) = -2*d - 2. Let p be y(2). Let c be 12/((-4)/(16/p)). Suppose 0 = i - 3*i + c, -4*i = -2*n - 10. Solve 2 + n = -g for g.
-5
Let p be 8*((-9)/(-12))/1. Let g = p - 4. Solve -4 = g*r + 6 for r.
-5
Let b(c) = 2*c + 14. Let a be b(-6). Solve -6 = a*u - 0 for u.
-3
Suppose 3*p + 5 = -2*p + 2*d, 4*p + 2*d - 14 = 0. Let g be ((-6)/(-4))/((-1)/(-2)). Solve -w + g + p = 0 for w.
4
Let a = 6 - 2. Solve 0*l - a = l for l.
-4
Let x = -10 + 10. Suppose -v + 2*v = x. Solve 4 = 2*w - v for w.
2
Let z(p) be the third derivative of p**5/120 - p**4/12 - p**3/6 + 2*p**2. Let f(t) be the first derivative of z(t). Let b be f(4). Solve -b + 3 = u for u.
1
Let m be ((-4)/(-7))/(6/21). Solve -x + m*x = -2 for x.
-2
Let g(a) = a**3 + 8*a**2 + 7*a + 2. Let j be g(-7). Suppose -j*v + 12 = 2*l, 5*v = 5*l + 2*v - 6. Solve 0 = l*z + 4 + 11 for z.
-5
Let y(q) = 6*q. Let o be y(2). Suppose -21 = -3*s + o. Suppose 0*w + 10 = -2*m + 4*w, 0 = m + 2*w - s. Solve d - m*d = 0 for d.
0
Let h(t) = t + 18. Let j be h(-14). Solve 0 = 4*o + 8 + j for o.
-3
Let y be -1 + 0 + 2 - -4. Let a(j) = -5*j - 4 + 3*j + 3*j. Let z be a(6). Solve 7 - z = -y*r for r.
-1
Suppose 0 = -6*l + 2*l + 60. Solve f + l = -2*f for f.
-5
Suppose -2*s + 11 = -9. Solve -s = -6*q + q for q.
2
Let i = 81 - 77. Solve i*s = 6*s + 8 for s.
-4
Suppose 0 = 3*h + 3*g + 3, 2*h + 0*g + 5 = -5*g. Suppose 6 = o - h. Solve o*z = z + 5 for z.
1
Let t = 115 - 112. Solve t*r = r + 6 for r.
3
Let o(t) = 2*t - 10. Let m be o(6). Solve 18 = -5*d - m for d.
-4
Let h(l) = -4*l**2 + 2*l**2 + 2*l**2 - 9*l - l**2 - 6. Let j be h(-8). Solve j*y - 1 = 3*y for y.
-1
Suppose -3*m = 5*y - 29, -6*m + 5*m - 4*y + 12 = 0. Solve -8*t + 4*t = -m for t.
2
Suppose -4*y - 5*w + 13 = 0, -2 = 4*y - 4*w - 6. Suppose 0 = y*t + 4 - 20. Suppose 0*i + i = t. Solve -2*n + i = -2 for n.
5
Suppose -q = 2*q. Solve 0 = -q*a + a for a.
0
Let m(t) = -3*t - 9. Let d be m(-6). Suppose 6 = 5*r - d. Solve 7*j - r*j = 0 for j.
0
Suppose -68 = -5*y + 57. Solve -y = 7*i - 2*i for i.
-5
Suppose -2 = -7*h + 6*h. Solve 0*j = h*j for j.
0
Let y(k) = k**2 + 6. Let i be y(0). Solve 3*x + 0 + i = 0 for x.
-2
Let j be 0 + (1/(-1) - -1). Solve -3*a - a = j for a.
0
Suppose 2*v - 3 = -1. Suppose f - 25 = -4*z, f + z = 11 - v. Solve -f*b = -2*b + 6 for b.
-2
Suppose -2*n = -3*p + 7*p - 56, 3*p - 35 = -5*n. Suppose -3*c + 4*c - p = 0. Suppose -2*b - b + c = 0. Solve r = -0 - b for r.
-5
Let u = 24 - 18. Suppose 0 = -c - u + 10. Solve c*g + 0 = 8 for g.
2
Suppose -2*h + 6*h - 44 = 0. Suppose 2*s = -p + 4*p + h, -5*s - p + 53 = 0. Solve -u = u + s for u.
-5
Let a(p) = -p**3 + p**2 + 8*p - 4. Let n be a(3). Solve -4*g + 3*g + n = 0 for g.
2
Suppose 25 = 4*z + 3*w - 0*w, 0 = -3*w + 9. Solve 1 = -z*j + 3*j for j.
-1
Suppose 0 = 2*k - 3 - 13. Let g = 5 - 4. Let x be (1 - g)*(-4)/k. Solve x*i = 3*i + 9 for i.
-3
Suppose -5*i = -3*i. Solve i*a - a = -1 for a.
1
Suppose -3*s - 4*u = -33, -s = -3*u + 3 - 1. Solve -1 = 4*k + s for k.
-2
Let m = -2 - 0. Let k = m + 7. Suppose -h - 3*b + 3 = h, 14 = k*h + b. Solve 0 = q + h*q for q.
0
Let z(a) = -a - 9. Let o be z(-10). Solve 2*v = 7 - o for v.
3
Suppose 6*j + 4 = 4. Solve 2*f + 4 - 2 = j for f.
-1
Let g(q) = 11*q + 11 - 5*q**2 + 6*q**2 + 0 + 4. Let x be g(-10). Solve -x*y - 20 = -y for y.
-5
Let q = 55 + -52. Solve q*h - 4 = 5 for h.
3
Suppose -40 = -2*w - 38. Solve -w = -2*k - 5 for k.
-2
Let x be 2*-6*(16/3)/(-4). Solve -2*y = -6*y - x for y.
-4
Suppose 2*z = -2*z + 3*j + 14, j + 8 = 3*z. Solve 3*c = z*c for c.
0
Let p be (-114)/(-22) + (-8)/44. Solve i + 8 = p*i for i.
2
Suppose 5*c - 40 = -10. Suppose -c*q - 2 = 5*r - 2*q, 3*q = 4*r - 17. Let p(g) = g**3 + 6*g**2 - g - 2. Let i be p(-6). Solve -i*u = -r*u for u.
0
Suppose d = -2, 0 = -5*k - 3*d + 18 + 1. Suppose 0 = -c - 0*c. Let q = -2 + 2. Solve k*h + q*h = c for h.
0
Let k be (7/(-14))/(1/(-6)). Suppose -2*b + 35 = k*b. Solve 5*j = b*j + 2 for j.
-1
Suppose -4 + 1 = -3*v. Solve v = g - 0 for g.
1
Let y be (4/(-10))/((-1)/(-10)). Let z = y + 1. Let a be 3/(z/8*-2). Solve 0 = -a*s - s - 25 for s.
-5
Let r = 14 - 12. Solve 4 = -2*l - r*l for l.
-1
Let o = -6 + 8. Let s(u) = 2*u**2 + 2*