be a(k). Solve -2 = 4*w + o for w.
-3
Suppose 0 = 3*n - 4*n. Suppose -7*t = -2*t - 10. Let m be 1/2*(5 + 3). Solve n = -4*v + t*v - m for v.
-2
Suppose 0 = j + j. Solve -4*f + 5*f - 2 = j for f.
2
Suppose 2 = j - 2*p, -4*p = 5*j + p + 20. Let y = 6 + j. Solve -u = y*u + 15 for u.
-3
Let x be 5/(-40) - (-25)/8. Solve 2*i + x = 3*i for i.
3
Suppose 8 = -14*k + 18*k. Solve -3*v - k = -5*v for v.
1
Let j be 7 + (-4)/(0 + 2). Let b be (-1)/(4 - j) + 2. Solve b*s - 7*s = -8 for s.
2
Suppose -2*n + 8 = 2*n. Let c(g) = -g - 7. Let x be c(-10). Solve n*f - x = 3*f for f.
-3
Suppose 0*w + 5*r + 12 = w, -3*w + 3*r = -12. Suppose 0 = t - w. Suppose 0 = t*v + 3*v. Solve v*c = -c + 4 for c.
4
Let o = -71 - -82. Solve -5*u + 9 = -o for u.
4
Let f be (-3)/(-2)*(-2)/(-1). Suppose b = -0*b - f, -2*b = 4*q + 6. Let l be (2 - 0)/(-4)*q. Solve l = 2*o + 10 for o.
-5
Suppose 0 = -u + 3 - 0. Let v(f) = f + 17. Let q be v(-13). Solve -u + q = -j for j.
-1
Let j(i) = -2 + 1 + 5 - i - 1. Let y be j(0). Solve u = 2 + y for u.
5
Let f(g) = -g + 10. Let s be f(0). Suppose -5 = -3*n + 1. Suppose n*v - 13 = -3*i, -i + 2*v = -1 + 2. Solve -z - s = -i*z for z.
5
Let o = 4 - 5. Let d = -3 - o. Let y be 9/6 - (-3)/d. Solve 0*p + p - 5 = y for p.
5
Let l be (-4130)/(-126) + 4/18. Let n = -29 + l. Solve -r + 6 - n = 0 for r.
2
Let u = 81 + -81. Solve 0 = -3*r - u*r for r.
0
Let i(c) = -2*c + 1. Suppose -3 + 1 = 2*u. Let k be i(u). Solve -k*f - 1 = 2 for f.
-1
Let u = 37 + -11. Let h = u - 25. Solve -h - 9 = -5*c for c.
2
Suppose -52*k - 3 = -53*k. Solve -2 = k*c - c for c.
-1
Let s be (-1 + 2)*(0 + 2 + 0). Solve -s*q + 0 = 6 for q.
-3
Let u(b) = -b**3 + b**2 + 1. Let p be u(0). Suppose 4*k + a = 4, k - 5*a + p = -19. Let t be -2 + 5 + k + 1. Solve -m = t*m for m.
0
Suppose -22 = -5*k + 3. Let p(x) = -x**2 - x. Let u(w) = -4*w**2 - 11*w + 10. Let y(n) = -3*p(n) + u(n). Let t be y(-8). Solve 0 + t = k*g for g.
2
Suppose -4*a = -3*a - 24. Suppose -a = -0*z - 2*z. Solve -3*d - 3 = z for d.
-5
Let c(x) = 11*x**3 + 2*x**2 - 2*x + 1. Let y be c(1). Let o = -12 + y. Solve -2*s + 6*s = o for s.
0
Suppose -2*s = l - 9, -l + s - 12 = -4*s. Solve -3*w = -6*w - l for w.
-1
Let k(m) = m**3 - 4*m**2 + 4*m - 3. Let x be k(3). Solve -f - 3 = -x*f for f.
-3
Let g be (-5)/(-2 + 2/2). Let i be ((-1)/3)/((-1)/48). Suppose u - n - 7 = 0, -3*u - 2*n + i = -10. Solve 33 - u = g*z for z.
5
Suppose 8 + 2 = 2*g. Suppose -60 = -0*s - g*s. Solve f - s = -3*f for f.
3
Let z be -3 + -3 - (-3 + -8). Solve 8 + 17 = z*l for l.
5
Let a be (3/(-9))/(5/(-195)). Let s = 3 - -4. Solve 0 = -4*o - s - a for o.
-5
Suppose 2*h = -0*h. Let n = 2 + h. Solve n*c + 10 = 4*c for c.
5
Let j be 4/(-6)*(-15 + 3). Suppose -2*i + 32 = -4*t, 5*t - t = -5*i + 52. Let c = 4 + 0. Solve c*o + i = j*o for o.
3
Suppose -5*l + 3*w = -3, 7*l - 4*w - 4 = 2*l. Solve 0*j - 5*j - 20 = l for j.
-4
Let k(f) = 3*f**2 + 3*f - 3. Let w be k(2). Let q be 1/2*(1 - 1). Let v = 7 - q. Solve -4*m = v - w for m.
2
Let o be (-1)/(-1) - (20 - -2). Let f = o + 31. Suppose -5*r + f + 3 = -3*q, -r = 2*q. Solve r*s - 6 = -0 for s.
3
Let r be 12/(-8)*(-64)/6. Let h = -13 + r. Solve 2 - 5 = -h*z for z.
1
Suppose 2*m - 2*y - 6 = 0, -m = -4*y + 5*y + 3. Suppose 0 = -m*p + 4*p. Solve -w = -p*w for w.
0
Suppose -3*c + 1 = -20. Suppose 0 = c*n - 3*n - 12. Suppose 3*g - 12 = d + n*d, 4*d - 20 = -5*g. Solve -3*v = -d*v - 6 for v.
2
Suppose 10*a = 5*a + 30. Suppose 0 = a*k - 2*k. Solve 3*g - 2*g - 1 = k for g.
1
Suppose 0 = 2*v - 2 - 6. Suppose -2*o + v*o = 0. Solve 4*q - 2*q = o for q.
0
Let m be (-3)/(1/3*3). Let c be 2/(-5)*(-15)/m. Let v be ((-39)/6 - -1)*c. Solve 5*x - 1 = -v for x.
-2
Let a(s) = s - 4*s**2 + 8*s**2 - 3*s**3 + 2*s**3. Let o be a(4). Solve o*i = -1 - 3 for i.
-1
Let q = -15 + 18. Solve q - 2 = -d for d.
-1
Let u(k) = -k**3 + 8*k**2 - 8*k + 7. Let t be u(7). Let c(z) = z**3 + 5*z**2 + 3*z. Let n be c(-4). Solve n = l - t*l for l.
4
Let g be ((-2)/3)/(2/(-15)). Suppose -g*w = -4*a + 8 - 28, 2*w = 5*a + 8. Solve a = -0*r - 5*r + 5 for r.
1
Let z(u) = -2*u - 4. Let r be z(-3). Solve -4*g - r = 2 for g.
-1
Suppose -2*t = -10 + 4. Let g = t - -12. Solve a - g = 4*a for a.
-5
Let q = 53 - 51. Solve q*a + 2 = 4 for a.
1
Let n be 13 + (-2 - (3 + -2)). Solve -5*w - 10 = n for w.
-4
Suppose 3*i + 7*l = 3*l + 32, 3*i + 13 = 5*l. Suppose -6*s + 34 - i = 0. Solve u + s = -0*u for u.
-5
Suppose -4 + 12 = 4*i. Suppose -b = -i*b. Solve b = 2*a + 2 + 2 for a.
-2
Suppose -5*v = 2*o - 14, 5*o - 4 - 8 = -v. Solve -o*r = 2 - 0 for r.
-1
Let j be (-8)/(-10)*(-5)/(-2). Solve j*k = -5 - 3 for k.
-4
Let z be 5 + (0 - 1)*0. Let x(y) = -y - 7. Let u be x(-7). Suppose u = -n + 5*n - 24. Solve n*g - z = g for g.
1
Let a = 83 - 49. Solve -4*y + a - 14 = 0 for y.
5
Suppose 18*p + 27 = 27*p. Let a be (-1 - (0 + -1))/2. Solve p*r - r = a for r.
0
Let d(u) = u**3 - 6*u**2 + u - 2. Let p be d(6). Solve -11 = p*a + 5 for a.
-4
Suppose -3*o = 5*a - 6, a - 5*o + 3*o - 9 = 0. Suppose -4 = 2*r + 5*x - 0*x, 3*r + 3*x = a. Suppose -32 = -q - r*q. Solve -2*c = -0*c + q for c.
-4
Suppose 5*m = 8*m. Let q be 23/2 + 2/4. Solve m = -3*i - 0*i + q for i.
4
Let v(r) = r**2 - 5*r - 2. Let l be v(5). Let x be l - 3/(-1) - -1. Let f(k) = 4*k + 36. Let y be f(-9). Solve y = -x*j + 7*j - 5 for j.
1
Suppose -52 - 18 = 5*o. Let g be (-4)/o + (-57)/(-21). Suppose -w = -g*w. Solve w*m = -2*m for m.
0
Let h be -2*(10/4 + -4). Solve h*x = -x for x.
0
Let b(y) = -2*y**3 - y**2 - y. Let f be b(-1). Solve -f*h = 8 + 2 for h.
-5
Let v(j) = -j**3 + 5*j**2 - 3. Let k = 6 - 3. Let y be v(k). Suppose -y + 3 = -3*h. Solve -4*t - 8 = h for t.
-3
Suppose -19 = 3*o + 26. Let a = o - -27. Suppose c - 2*c + a = -3*w, -4*w - 16 = 0. Solve c = 4*j - 7 - 1 for j.
2
Let k(i) be the third derivative of i**5/60 - 7*i**4/24 - 11*i**3/6 - i**2. Let z be k(10). Solve 4 = -3*c + z for c.
5
Suppose 20 = 2*m - 2*k, -m - 2*m + 32 = -4*k. Suppose -4*a = -6*a + m. Suppose 0 = 5*x + 5*b - 25, 3*b = -a*x + 5*b + 2. Solve 3*w - x = 4*w for w.
-2
Let t(n) = 2*n**2 - 18*n - 17. Let f be t(10). Solve 0 = -f*d + 2*d + 1 for d.
1
Let f = -4 + 19. Suppose 0 = -3*p - 3*z - 9, 0*z + f = -3*z. Solve -15 = -v - p*v for v.
5
Let l = -4 + 10. Solve 2 = -2*d - l for d.
-4
Suppose 2*l - 33 = 3*g, -4*g + 37 = 2*l - 3*g. Solve 4*m = -l + 6 for m.
-3
Let z = 7 + -11. Let f be (-81)/(-18) - (-2)/z. Solve f*h + 4 = 3*h for h.
-4
Let a = 15 + -15. Solve o = -a*o for o.
0
Let p(t) = -t**3 - 5*t**2 - 5*t - 5. Let y be p(-5). Let l = y - 14. Solve -l*r + 12 = -3*r for r.
4
Let q(u) = u**2 + u + 20. Let a be q(0). Solve -4*g - g = -a for g.
4
Suppose 5*s - 11 = 14. Solve s*q + 36 - 11 = 0 for q.
-5
Let w = -1 - -8. Suppose 6 = -b - 4*a + w*a, -2*b + 2*a = 0. Suppose -b - 2 = -m. Solve 10 + 0 = m*f for f.
2
Suppose -2*k + 23 = 3. Let y = k - 4. Suppose y*o = 3*o. Solve 20 = -o*u - 4*u for u.
-5
Suppose -5*a + 4 = -3*a. Let u be a/4 + 7/(-14). Let t be 4/(-5)*15/(-6). Solve g + u = -t for g.
-2
Let s be 25 + ((-32)/2)/(-4). Suppose -4*f + 5*a = -26, 0 = 2*f + 2*a + 7 - s. Solve 0 = 3*h - 0 - f for h.
3
Let d(a) = 3*a - 14. Let j be d(0). Suppose -4*h = -6*h + 6. Let w be (-21)/j*14/h. Solve 1 = 2*c + w for c.
-3
Let l be (-3)/9*-3*-8. Let s = 8 + l. Let v = 7 + -1. Solve s = -v*q + 2*q for q.
0
Let z be 12/7 - 2/(-7). Let f be ((-3)/z)/((-1)/2). Suppose -7*b = -f*b - 12. Solve s = b*s for s.
0
Suppose -5*l - z = -1 - 10, 0 = -5*l + 4*z + 31. Let x = -3 + l. Solve x*p + 15 = -3*p for p.
-5
Let t be (-1 + 0)/1 + 3. Suppose -5*i + 9 = -2*i. Solve t = i*o + 14 for o.
-4
Suppose 21 = 2*j + 3*a, -a + 8 = 3*j - 2*j. Solve j + 0 = v for v.
3
Let u be (-4)/(-7)*14/4. Suppose -f - u*f + 6 = 0. Solve 0 = a - 1 - f for a.
3
Let z = -11 - -17. Solve 0 = 4*o - z + 18 for o.
-3
Let y = -5 + 8. Let q = 5 - y. Suppose -q*x - 18 = -4*g - 2, 0 = g + 3*x - 18. Solve 3*w + 0*w + g = 0 for w.
-2
Let q be 2*(-3)/6*-29. Suppose q = -2*t - o, -2*t + 3*o + o - 14 = 0. Let s = 25 + t. Solve 2 - s = 2*a for a.
-5
Let a = 9 - 17. Let t = 12 + a. Solve 0 = t*p - 0*p for p.
0
Suppose -8*d + 22 = -2. Let w = 5 - 3. Solve d - 1 = -w*r for r.
-1
Suppose 1 = 2*i - 9. Suppose -i*n - 8 = -28. Suppose 8*t = n*t + 4. Solve -l + t + 4 = 0 for l.
5
Let v be ((-2)/(-4))/((-2)/8). Let n = v - -6. Let m(i