u.
2
Let z = -16 + 8. Let d(w) = w + 0*w - 4 + 14. Let v be d(z). Solve q + 15 = -v*q for q.
-5
Let a = 10 + -6. Let z = a + 1. Suppose z*m = m + 16. Solve -m*g = 3 + 13 for g.
-4
Suppose -4*d + 1 = -7. Suppose -d*w + 0 = -10. Solve 0*v + v + w = 0 for v.
-5
Let d be 44/(-12)*(2 + -5). Suppose 0 = -5*t + 3*p - 4, 3*p + d = -4*t + 8*p. Solve -3*y + t = 10 for y.
-3
Let u = -45 - -90. Let b = -20 + u. Solve -6*l + l - b = 0 for l.
-5
Let i be (0 - -1)/(1/6). Let d be (-24)/((27/i)/(-3)). Let z be 1/3 + d/6. Solve -5*n = -z*n + 4 for n.
-2
Let p = -93 - -97. Suppose -3 = -4*s + 1. Solve 9 = -p*l + s for l.
-2
Suppose -3*c - 4*q - 27 = 0, -18 = 2*c - 4*q - 0*q. Let d = c + 11. Solve -4 = k - d*k for k.
4
Let j be (-60)/(-9) + (-6)/(-9)*-1. Solve -3*h - j = 9 for h.
-5
Let y = 20 + -17. Solve 6 = y*a - 6*a for a.
-2
Let i = -15 + 30. Let t be -3*3/((-9)/i). Solve -5*n + 2*n = t for n.
-5
Let u = -60 - -65. Solve u - 1 = b for b.
4
Let q be (-64)/(-11) + 14/77. Solve -q = -5*h + 9 for h.
3
Let p(a) = a + 12. Let b be p(-10). Let f be 1 + b + -3 + 2. Solve -f*g = g for g.
0
Suppose 0 = 6*q - 2*q - 4. Suppose 2*m = 3 - 1. Let h = m + 3. Solve 0 = -j - q + h for j.
3
Suppose -4*s = -3*i + 4 - 25, 2*s - 10 = 2*i. Solve q = -s + 3 for q.
-3
Let x(k) = k + 7. Let j be x(-7). Suppose -y + 3 = -j. Solve -s - 16 = y*s for s.
-4
Let a = 47 - 44. Solve 1 = -v - a for v.
-4
Let a(y) be the third derivative of -y**7/5040 - y**5/30 + y**2. Let d(r) be the third derivative of a(r). Let i be d(-2). Solve -i*q = -0*q - 10 for q.
5
Suppose -2*l - 11 = q - 2*q, -l - 16 = -4*q. Let g = -7 + 7. Let s be (0 + g)/(4 - 6). Solve s = n - q + 2 for n.
1
Let g = 3 + -3. Suppose 4 + 5 = 2*y + 5*b, 4*b - 4 = g. Let j be (-3)/((-9)/y)*3. Solve j*t = 7*t + 15 for t.
-3
Suppose -10*v = -8*v. Solve -3*h + 4*h = v for h.
0
Suppose -81 = -17*m - 13. Solve -m*b - 5 = -5*b for b.
5
Let l = 31 + -19. Suppose 2*o = 5*c + 6*o - 34, -2*o + 20 = 3*c. Let i be c/1 - (6 + -2). Solve -i*v - 2*v = -l for v.
3
Suppose 0 = -6*m + 2*m + q + 6, 0 = -5*m + 3*q + 11. Solve 5*r + 9 = -m for r.
-2
Let b be ((-8)/(-1))/(2 + 0). Solve 0 = -b*v + v for v.
0
Let o(z) = -z**3 + 9*z**2 - 6*z. Let n be o(8). Let q = n - 4. Solve 0 = -5*c + 2*c + q for c.
4
Let h be (3 - 2) + (-1)/(-1). Let y(c) = -c**2 - 5*c - 3. Let w be y(-7). Let n = w - -27. Solve -3*m - h*m = n for m.
-2
Let t be (24/(-10))/(8/(-20)). Suppose -m - m = -t. Solve -m*b - b = 0 for b.
0
Let m = 22 - 12. Let s = -4 + 19. Suppose -2*o = -s - 25. Solve -5*y + m*y - o = 0 for y.
4
Suppose 11 = 4*u - 5. Suppose 2*p + u*o - 22 = 2, 5*o - 21 = 2*p. Solve 2*l = -0*l + p for l.
1
Let k be 1/(2/(-14)*-1). Suppose -2*z + 17 = k. Let h = -5 + z. Solve j - 2 = -h for j.
2
Suppose 11 = -3*s + 137. Let y = s + -30. Let b = -5 + 11. Solve -2*m + b*m = -y for m.
-3
Let r(q) = -q**2 - 5*q - 1. Let m be r(-2). Suppose 5 = 2*u + h, m*h + 8 - 3 = -4*u. Solve u*b + 17 - 2 = 0 for b.
-3
Let v be (-24)/(-5)*10/4. Solve -3*m + v = -0*m for m.
4
Suppose -4*q = -q - 6. Solve q*a = -0*a - 6 for a.
-3
Suppose 0 = 4*r - 52 - 48. Solve 6*t = t - r for t.
-5
Let k be 101/3 - 7/(-21). Let l = k + -19. Solve -l = -4*a - a for a.
3
Let g = 12 - 9. Suppose -g*i - 2*i + 2*p = -9, 5*i = -p + 18. Solve 0*d - i = d for d.
-3
Suppose 9*o = 4*o + 15. Suppose -21 = -3*s - 0*s. Suppose -4*w + 21 = -s. Solve 2*a = -w + o for a.
-2
Suppose 3*b - 4*i + 8 = 0, -i = 3*i - 20. Suppose -24 = -b*g + 8. Solve -c - 3*c = -g for c.
2
Let r = 1 - -2. Suppose -14*w - 2 = -15*w. Solve -w*b = r*b for b.
0
Let c(a) = -a**2 - 10*a + 12. Let v be c(-11). Solve -2*w = -1 - v for w.
1
Suppose 0 = -8*f + 3*f + 2*a + 216, -f + 2*a = -48. Let l be 264/f - (-2)/(-7). Solve -2*t + l*t = -4 for t.
-1
Suppose -o + 4*b + 8 = 3*o, -2 = -2*o + 4*b. Suppose -o*s - 7 = i, 4*s = 5*s + 3. Suppose -4 = -i*p, 0*w + 2*p = -w + 4. Solve w*r = r for r.
0
Let c(h) = 0*h + 10*h - h + h**2. Let y be c(-9). Suppose 2*f + 10 = -5*x, 10 + y = -3*f - 5*x. Solve f = 3*g - g - 6 for g.
3
Let a = 7 + -15. Let v be 1 + -2 + (2 - a). Let b be (v/3)/(0 + 1). Solve -b*y + 5 = -4*y for y.
-5
Let r = -8 - -8. Let n be r*(0/(-2) - -1). Solve -z - 4*z - 25 = n for z.
-5
Suppose 3*d - 2 = 2*v, -4 = -2*v - 0. Solve 0 = d*c - 6 - 4 for c.
5
Let x be (-2)/8 - 36/(-16). Solve i = -i + x for i.
1
Let z = -1 + 2. Solve x + z = 2*x for x.
1
Let q(k) = 4*k**2 + 2*k + 4. Let b be q(-2). Solve -6 + b = -5*n for n.
-2
Let y be 3 + (-5)/(-2)*-2. Let k = y + 4. Solve 11 = -k*q + 1 for q.
-5
Suppose -3*i + 13 = 3*o - i, -2*i = -4*o + 8. Solve -o*h - 8 = 1 for h.
-3
Let m = 13 - 8. Let f(k) = -3*k - 2. Let s be f(-2). Let l = 10 - s. Solve l*n - m*n = 0 for n.
0
Let s(d) = -d - 4. Let r be s(-8). Suppose -5*z = 2*h - 4, -r*z = -5*h - z + 10. Let t be (4/(-2))/((-1)/1). Solve -4 = -h*o + t for o.
3
Let w(h) = h**3 - 8*h**2 + 2*h - 11. Let p be 4/((-2)/(-4)*1). Let u be w(p). Suppose 0*a + 3*a = u*l + 22, 3*l + 10 = a. Solve 0 = a*d - 11 - 9 for d.
5
Let x(k) be the second derivative of -k**5/20 - k**4/2 - 5*k**3/6 + 2*k**2 - k. Let j be x(-5). Solve j = 2*u - 0 for u.
2
Let s = -5 + 5. Suppose 12 = -3*a, -4*p + 4*a + 40 = -a. Solve l - p*l + 4 = s for l.
1
Let w(v) = -v**2 + v**2 - v**2 + 4 - 2. Let c be w(2). Let u = c + 4. Solve -8 = -u*t - 0*t for t.
4
Let u(q) = 2*q - 16. Let w be u(9). Solve -5 = w*f + 1 for f.
-3
Suppose 2 = 4*a - 3*a. Solve a*l - 3 = 3 for l.
3
Suppose -5*k + k = -j - 8, -3*k + j + 6 = 0. Solve -k*l - 4 = -6*l for l.
1
Let t be (-5 + -3)/(-2 + 0). Suppose -2*j + 8 = 3*v, v = -0*j - 2*j + t. Solve i = -6 + j for i.
-5
Let s be (-1 - 0)/(5/(-220)). Suppose 14 = -3*o + s. Solve o + 2 = -4*u for u.
-3
Suppose -3 = -2*m + 1. Suppose -m = -2*f - 0*f. Let l be (7/2)/(f/2). Solve 2*k = l*k for k.
0
Let o(d) = -d**2 + 2*d + 5. Suppose 0 = 4*y - 5*p - 37, 3*y - 2*p - 22 = -3. Let z be o(y). Solve -2 + 0 = z*f for f.
-1
Let f be 6 - 0/(2 - 3). Solve 4*p = 6 + f for p.
3
Let b(t) = t**2 + t. Let z be b(1). Suppose z*s = -s. Let f = -5 + 7. Solve s = f*i - i for i.
0
Suppose 2*b + 2*q + q = 7, 3*b - 3*q - 18 = 0. Suppose -3*s - 7 - 14 = -b*o, 5*s = o - 13. Solve o*i = -3 - 0 for i.
-1
Let s(h) be the first derivative of -h**4/4 + 4*h**3/3 - 3*h**2/2 + 3. Let m be (-6)/(-4)*(-8)/(-6). Let j be s(m). Solve j*t = -0*t for t.
0
Let h be (-44)/(-16) + 3/12. Solve -h*c - 1 = -4 for c.
1
Let x be 4/14 - (-48)/28. Suppose 6 = -x*l - 3*h, 4*l - h = 4*h + 10. Solve l = -3*b - 6 for b.
-2
Suppose 0 = -2*u + 1 + 15. Solve 25 = 3*d - u*d for d.
-5
Let s be (2/(-8))/(2/(-40)). Solve 10*v - s*v = 20 for v.
4
Suppose 2*z - 40 - 8 = 0. Let p = z + -21. Solve -1 = -p*b + 8 for b.
3
Suppose 0 = 5*r - 10, -2*m = 4*r + r - 18. Solve -7 = m*s - 15 for s.
2
Suppose 5*z = 4*c + 8, 0 = -4*z + c + 2. Solve -6*y + 3*y + 3 = z for y.
1
Let y be 0/1*4/8. Let i(t) = 2*t**2 + 23*t - 8. Let h be i(-12). Solve -4*x + h = -y for x.
1
Let m = -6 - -6. Suppose 4 = 5*a - x - m*x, 3*x = 5*a - 12. Solve a = -c - 0*c + 5 for c.
5
Let j(c) = -3*c - 2 - c + 5*c + 0*c. Let q be j(3). Solve -3 - q = 4*u for u.
-1
Let m = -11 - -15. Solve 4*w - m = 8 for w.
3
Let s = 2 - -7. Let j = 0 - -2. Suppose n = -3*p + 18, -j*p = 5*n + 5 - 17. Solve s = 5*v - p for v.
3
Suppose 2*r = 8 + 14. Suppose h - r = 4*f, 0 = -h - 0*f - 5*f + 2. Solve 2*z - 10 = h*z for z.
-2
Suppose -j + 2*j = 5*r - 4, 4*j = -3*r + 30. Solve 5*s + j + 9 = 0 for s.
-3
Let s(c) = -c + 5. Let j be s(-4). Let x be ((-8)/12)/((-1)/j). Solve -x*y = -y for y.
0
Let f(c) = 3*c + 38. Let l be f(-12). Solve -l*y - 5 - 3 = 0 for y.
-4
Let u be (-7)/14 - 27/(-2). Let q = -8 + u. Solve 0 = -3*n + 14 - q for n.
3
Let h be 518/133 - 4/(-38). Solve h*x = 15 + 5 for x.
5
Let a = 49 - 46. Solve a*d = 5*d - 2 for d.
1
Let t(r) = r**2 - 8*r + 8. Let q be t(7). Suppose -h = -q - 13. Let w be 3/(-21) + 72/h. Solve -j - 3 = -w for j.
2
Let g = 5 - 5. Suppose 3*y - 2*y = g. Let v = y - -1. Solve 2*b = b + v for b.
1
Let k be 2 + (1 - (-16)/4). Solve k*x + 5 = 6*x for x.
-5
Suppose 141 = 3*m + 5*f, 5*m = 2*m - 4*f + 138. Suppose 4*v - 2*v = -2*q - 18, 2*q = -5*v - m. Let j be v/(-6) - (-2)/3. Solve i = j*i for i.
0
Let o = 2 - 0. Suppose -u - 3 = -o*u. Solve -u*n + 7*n + 4 = 0 for n.
-1
Let l(t) = -t + 13. Let g(m) = m**3 - 5*m**2 - 5*m + 6. Let