t x be y(l). Let j(n) = -2*n - 8. Let r be j(-6). Solve r = -x*z + 5*z for z.
4
Suppose -4*v - 6*t - 21 = -3*t, -2*v = 3*t + 9. Let f(h) = h**3 + 6*h**2 + 3. Let z be f(v). Solve -4 = -z*l + l for l.
2
Suppose -6*v + 2*v = -4*d - 44, 5*d = -2*v - 20. Let a be (d/3)/(-2) + 2. Solve a*o - 20 = -o for o.
5
Let l = 114 - 106. Solve 11*i - l*i = -9 for i.
-3
Suppose 7*r - 3*r = 24. Solve -5*h - 1 = -r for h.
1
Suppose -21 = 2*h + 4*i - 5, 0 = -4*h - 3*i - 12. Let d = -3 - h. Let f be -1*(d + -1 - -1). Solve 5*p - f*p + 10 = 0 for p.
-5
Suppose -9*d + 3 = -8*d. Solve -3*j - d = -4*j for j.
3
Let v be 17/136 - 79/(-8). Solve v = o + 4*o for o.
2
Let x(d) = d**3 + 7*d**2 - d - 2. Let b be x(-7). Suppose 0 = -k - 4*f + 11, 15 = b*k + 3*f - 6. Solve 0*s + s + k = 0 for s.
-3
Let y(v) be the third derivative of v**5/12 - v**4/6 + v**3/2 - v**2. Suppose 2*m - 2 = m. Let l be y(m). Solve -l = -2*x - 5 for x.
5
Suppose 0 = -4*g + 2*g + 40. Suppose 0 = -0*y - 2*y + g. Solve 0 = 5*s - 7*s - y for s.
-5
Let j be (2 + -5 - 1) + 7. Solve -j*v + 6*v = -9 for v.
-3
Suppose -2*w + 4*w = 6. Suppose -5 = -2*z + w, -4*o + 20 = 3*z. Let k(x) = -x + 5. Let a be k(-5). Solve -4*p = o - a for p.
2
Suppose 4 = n - 0*n. Suppose 6 = n*z + 2. Solve k + 4 + z = 0 for k.
-5
Let x(t) = -t + 5. Let j be x(7). Let i = -2 - j. Solve -1 = -k - i for k.
1
Let w(j) = -j + 3. Let l be w(0). Suppose -m + 40 = l*m. Solve -n = -3*n - m for n.
-5
Suppose -1 = 2*c - 21. Suppose -5*h = -0*h + c. Let i be (4/10)/(h/(-10)). Solve t = i*t for t.
0
Let h = -15 - -15. Suppose l - 7*l = h. Solve 0 = -w + 2 - l for w.
2
Let z(b) = b**3 + 4*b**2 - 4. Let r be z(-3). Solve n + 0*n = -r for n.
-5
Suppose 0 = -2*z + 10, j + 0*z + 1 = z. Suppose j*g + 0 = 8. Solve 0 = -g*i + i + 5 for i.
5
Let b be (22 - 22)/(-1 + 3). Solve 0*x - x = b for x.
0
Suppose 11 = 3*p - 4. Suppose -u - 4*s = -2*s, -75 = -5*u + p*s. Solve 3*n + 5 = -u for n.
-5
Suppose 4*t - 5 = -t. Let z be (7 - t) + (-2 - -1). Solve z*i = 3*i - 2 for i.
-1
Let b be 15*4*25/60. Solve 6*c + b = c for c.
-5
Let p = -10 - -8. Let c = 13 - p. Solve -5 = 4*o + c for o.
-5
Let c = -2 + 1. Let g = 4 - c. Solve -g*y - 1 = -16 for y.
3
Let s be (-222)/(-15) + 3/15. Solve 9*c - s = 4*c for c.
3
Let t be -3*(-3 - -4) - -3. Suppose t = -5*h + h. Solve h*q = q for q.
0
Suppose -20 = 5*l - 10*l. Solve -l*n + 0*n = 20 for n.
-5
Let q(n) = -n - 1. Let f be q(-1). Suppose f*g + 4 = 2*g. Solve -6 + g = -k for k.
4
Suppose 104 = -4*u - 2*z, 0 = 5*u + 2*z + 133 - 2. Let j = u + 19. Let w be j/6*63/(-7). Solve p - 5*p = w for p.
-3
Let z(r) = r**3 + 3*r**2 - 1. Suppose 4 + 0 = -4*h. Let t be z(h). Solve 0 = 2*b - 3*b - t for b.
-1
Suppose -11 = -4*c + 13. Let y(v) = -v + 1. Let o be y(-5). Suppose 0 = -j - 3 + o. Solve -d - j + c = 0 for d.
3
Let p be (9/(-24))/(5/(-40)). Solve p*g - 5*g + 8 = 0 for g.
4
Let h(r) = -r**2 + 1 - 2 + 2*r - 2*r - 4*r. Let m be h(-3). Solve -2*j = -m - 2 for j.
2
Suppose s = -s - 4, -5*c = 3*s - 4. Solve 0 = 2*y + 10 - c for y.
-4
Suppose f + m + 4 = -f, -f - 5*m - 20 = 0. Solve f = -3*d + 2*d - 3 for d.
-3
Suppose -2*p = 3*v - 0*p + 1, 2*v = -5*p - 19. Let y(j) = -j**2 + 4*j - 3. Let u be y(v). Let q = u + 4. Solve 20 = -9*c + q*c for c.
-4
Let s be (-4 - -1)*(-20)/6. Let o = s + 0. Let g = 18 - o. Solve d - g = 3*d for d.
-4
Suppose 0 = -0*h - 4*h. Solve -3*c - 15 = -h*c for c.
-5
Let l(v) be the second derivative of -v**4/12 + v**3/6 + 6*v. Let k be l(1). Solve 2*b - 5 - 5 = k for b.
5
Let n(f) be the first derivative of -f**4/4 - 2*f**3 - 5*f**2/2 + 3*f + 1. Let i be n(-5). Let a = -261 - -277. Solve i*o - a = -o for o.
4
Let x(z) = -8*z**3 - 2*z**2 + 1. Let o be x(-1). Suppose o*m = 9*m. Solve r + r - 8 = m for r.
4
Let d be 2/6 - (-5 - (-48)/9). Solve d = 2*t - 4 for t.
2
Suppose 2*t + 0 - 4 = -l, l = 3*t + 9. Solve -l = -5*s + 4 for s.
2
Let u(i) = 2*i**3 - 4*i**2 + 2*i + 1. Let n be ((-1)/3)/(1/(-6)). Let l be u(n). Let d = -76 - -76. Solve z - l*z - 12 = d for z.
-3
Suppose 4*s - 3*s + 3 = -5*k, -5*k + 2*s = -6. Let v = -1 + 11. Suppose 4*f + v - 38 = k. Solve 15 = -f*j + 2*j for j.
-3
Suppose -2*g = -3*u + 76, 5*g + 58 = -u + 3*u. Suppose 4*i - 12 = u. Suppose -f + i = 2*f. Solve 0 = v + f*v for v.
0
Suppose 3*x = f + 4*f - 5, -4*x + f - 1 = 0. Suppose 3*j = -x*j. Let a be (-3)/(-4 - -1) + 2. Solve 9 = a*p - j*p for p.
3
Suppose i + 5*k - 5 = -25, -5*k - 20 = 2*i. Let y = 2 + i. Solve y*r + 12 = 5*r for r.
4
Let i = 18 + -31. Let o = 23 + i. Solve -4*j - o = j for j.
-2
Let f = 33 + -18. Solve -3*q + f = -0 for q.
5
Let a be -3 - ((-2)/10 - (-117)/(-15)). Solve 6*j = a*j - 5 for j.
-5
Suppose -2*j - 4 = -4*j. Solve -4*p = j + 18 for p.
-5
Let t be (4*(-2)/12)/(4/(-6)). Solve -o + 2*o + t = 0 for o.
-1
Let s be -1*2*(-1)/2. Let f = s + 0. Let d be -1 + 0/(-2) + f. Solve -4*p + d = 8 for p.
-2
Let c(z) = -5*z - 27. Let t be c(-6). Solve -1 = -t*r + 5 for r.
2
Let i be (1*(1 + 113))/2. Suppose -k + 113 = 4*v + v, -3*v + 3*k = -i. Suppose 5*g - 3 - v = 0. Solve 0 = -u - g + 1 for u.
-4
Let v(i) = -i**3 + 2*i**2 + 2*i + 1. Let o be v(2). Suppose 4*t = -o*k + 17, -4*k - 5*t + 10 = -0*t. Solve -k*l + 3*l = 0 for l.
0
Let b(q) = -q**3 + 7*q**2 + 7*q + 16. Let y be b(8). Solve r + r + y = 0 for r.
-4
Let x = 8 - 2. Suppose 0 = 2*z + 3*z. Solve -2*k - k - x = z for k.
-2
Let y(l) = l**3 + 14*l**2 - 2*l - 26. Let s be y(-14). Solve 2 = -2*j - s for j.
-2
Let y(o) be the first derivative of -1 - 3*o - 1/3*o**3 + 4*o**2. Let g be y(7). Solve -3 = -g*u + 1 for u.
1
Let d be 5 + (-3)/((-9)/(-6)). Suppose -1 = -d*a + 5. Solve -2*p = -0*p + a for p.
-1
Suppose r + g - 4 = 0, 15 = -4*r + 5*g + 4. Solve -5*p - 4 - r = 0 for p.
-1
Let w = -8 + 6. Let d be (w/3)/((-1)/3). Solve -2*r - 6 = -d for r.
-2
Let o(p) = -p**2 + 2*p - 1. Let k be o(2). Let i = 2 + k. Solve 0*x - x + i = 0 for x.
1
Suppose 2*w = -5*w + 28. Solve -2*s = -2 + w for s.
-1
Let d be -6 + 0 + (5 - 4). Let z be d*(8/10)/(-2). Solve -z*a + 1 + 5 = 0 for a.
3
Suppose 0 = -i - 2 + 3. Let x(h) = h + 1. Let r be x(i). Solve r*y + 0 = 4 for y.
2
Let r be (-40)/30*3*2. Let c = r - -10. Solve 0 = -3*n - c + 5 for n.
1
Suppose 20 = 4*v + v. Let u = 4 - v. Solve -j + 0*j = u for j.
0
Let y(b) be the first derivative of -b**4/4 + 5*b**3/3 - 5*b**2/2 + 2*b - 2. Let c be y(3). Suppose 0*f = -c*f. Solve f = p + 2 for p.
-2
Suppose 2*d - 12 = -d. Solve 7 = -d*c - 9 for c.
-4
Let i be -2 + 24/3 + 0. Suppose -t = 2*t - i. Let z = -3 - -6. Solve z*p = t*p for p.
0
Let d be ((-84)/35)/(-4) + (-2)/(-5). Solve -u + d = -3 for u.
4
Let u(h) = 3*h**2 + h - 4. Let d be u(2). Solve -5*j + d = -0 for j.
2
Let u(x) = x + 2. Let l = 2 + 0. Suppose -v + 6 = -4*f, -12 = -3*v + l*f - 4. Let b be u(v). Solve 3*a = -b - 2 for a.
-2
Let j(a) = a**2 + 2*a - 4 + 4*a - 2*a**2. Let z be j(3). Solve 0 = -2*p + z*p - 3 for p.
1
Let s = 42 + -68. Let l = s + 29. Solve 0 = -0*f + l*f for f.
0
Suppose 18 + 12 = 10*k. Solve k*h - 4*h - 5 = 0 for h.
-5
Let a = -8 - -7. Let x(n) = n + 1. Let m be x(a). Solve -9*b + 4*b = m for b.
0
Let g be (-6)/(-8)*(-28)/7. Let a(i) = -i**2 - 5*i - 2. Let z be a(g). Solve -z*v + 2*v = -4 for v.
2
Let z be ((-9)/15)/(3/(-15)). Solve j - 16 = -z*j for j.
4
Let a be 4 + -2 + 3 + 1. Suppose -3*q + a = -4*m, -2*q - 5*m = -0 - 4. Solve -q - 10 = -3*l for l.
4
Let c = -32 - -34. Solve c*n + 9 = -n for n.
-3
Suppose -x = -0 - 11. Let s = 9 - 5. Solve s*q = 1 + x for q.
3
Suppose -4*t + 1 = 4*m + 5, -5*m + 4*t + 22 = 0. Suppose q = m*q - 2. Solve j = 2*j - q for j.
2
Let x(z) = -z**2 + 14*z + 36. Let s be x(16). Solve s*r - 5 - 7 = 0 for r.
3
Suppose -5*a = -2*a + 3. Let b be 3/(-6) + a/(-2). Suppose 0 = 2*n - 2*u - 10, b*u - 17 = -5*n + u. Solve 0 = z + n*z - 4 for z.
1
Let k be (-12)/(-36) + (-221)/(-3). Suppose 4*p - 60 = -2*u, 5*p - 4*u = -7*u + k. Solve -p = 3*j - 1 for j.
-5
Suppose 0 = 4*q + 2*q - 6. Solve -w = -q + 2 for w.
-1
Suppose 12 = 6*g - 4*g. Solve 3*r = g*r + 6 for r.
-2
Let l be ((-26)/39)/((-4)/42). Solve l*i = 2*i for i.
0
Suppose -d + 6*c = 2*c + 18, 5*d - c = 5. Suppose -d*z - 3 = -11. Solve a + z*a = -10 for a.
-2
Let l = -20 + 28. Suppose -2*x + 16 = -3*w, 3*x - l = w + 2. Let n be -2*(14/w + 1). Solve -u + n*u = -8 for u.
-2
Let a(w) be the third derivative of -w**4/24