(r) = 2*r + 1. Let c be s(-3). Let k be u(c). Suppose l - 6*l = 0. Solve l*z = 5*z - k for z.
3
Let v(n) be the first derivative of n**4/4 + 10*n**3/3 - n**2/2 - 4*n - 4. Let b be v(-10). Solve 2*i = b*i for i.
0
Suppose 4*z + 5 = -z, -5*y + 18 = 2*z. Solve n + y = 2*n for n.
4
Let t(c) = c**3 - 2*c**2 + c - 2. Let d be t(2). Suppose 0 = -j - 0 - 3. Let h be (-2)/j - 7/(-3). Solve 0 = -h*v - d + 6 for v.
2
Let a = -4 - -9. Let b = 7 + -3. Suppose 2*p - b*x = p + 26, -2*p - x = -7. Solve -p*o = -o - a for o.
1
Suppose 4*y - 52 = -3*p, 4*y - 4*p + 2 - 82 = 0. Suppose -c + 0*c + y = -3*q, c = -2*q - 4. Solve -5*n = -c*n for n.
0
Suppose g = 2*x + x, 3*g = -2*x. Solve 5*m - 1 - 19 = g for m.
4
Let q be 6 - (2 + 0 + 0). Solve -q*n - 4 = -3*n for n.
-4
Let w be -2*(4 - (13 + 1)). Let a = w + -19. Solve j - 3 - a = 0 for j.
4
Let r be (0*(-2)/(-8))/(-1). Solve 4*d + d = r for d.
0
Let a = 25 + -20. Suppose p = -0*d + 5*d, 4*d = a*p - 21. Solve 15 = -2*y + p*y for y.
5
Suppose -9 = -2*b + n, 0*b + 3*n - 39 = -5*b. Let g be ((-4)/b)/(8/(-84)). Solve 0 = -2*d - g + 1 for d.
-3
Suppose 2*b - x = 7, x + 4*x = 3*b - 14. Solve -b = -3*u + 2*u for u.
3
Suppose -2*m + 3*m = 0. Suppose 6 = 2*b - m. Solve -2*c + b = c for c.
1
Let u = -12 + 16. Suppose u*n - 2 = 2. Solve 4*i - n = -9 for i.
-2
Let b = -8 + 13. Suppose -5*s - 4*k = -16, -b = -4*s + k + 12. Solve 0*i = 4*i - s for i.
1
Let q(v) = v - 11. Let t be q(15). Solve 2*m + 8 = t*m for m.
4
Let t(z) = 17 - 10*z**2 - 6 + z**3 + z + 2*z. Let v be t(10). Suppose -5*y + 0*s + 73 = -s, -2*s - v = -3*y. Solve -6*d - y = -3*d for d.
-5
Suppose 4*x - 3*r = -4*r + 2, -r + 2 = 5*x. Solve 0 = -w - x*w + 3 for w.
3
Let n = -61 - 79. Let r be (-3)/(-4)*n/(-21). Suppose 2*i + 2*i = 16. Solve -i*x + 3 = -r*x for x.
-3
Let i = 101 - 96. Solve 0 = -2*y - 1 - i for y.
-3
Suppose -37 = -5*k - 3*f - 5, -2*f = -2*k. Suppose m + j + 2 = 4, -5*j = 3*m - k. Let c = m + -1. Solve -c*x + 15 = x for x.
5
Let b be 4/(-1)*(-6)/8. Solve -b*t + 3 = -6 for t.
3
Let x be (-1)/3*-1*9. Suppose -j + 21 = 6*b - b, -x*j - 12 = 0. Solve -5*g + 0*g = b for g.
-1
Let a be 5/(10/6) - 3. Let c = a + 0. Solve c = l + 4*l - 20 for l.
4
Let m = -4 + 10. Suppose -u = -4*u + m. Solve -2*q = u*q - 4 for q.
1
Let b be ((-12)/10 + (-9)/(-45))*-1. Solve -o = -b - 4 for o.
5
Let o be 1*(-6)/(-12)*(-2 + 4). Solve -l + 3 = -o for l.
4
Suppose -6*x + 2 = -5*x. Suppose 4*s = -i + 23, -5*s + i = 5*i - 15. Solve s*p = x*p - 20 for p.
-4
Suppose 0*w = -9*w + 9. Solve w = -2*p - 5 for p.
-3
Suppose 0*t - t - 16 = m, 0 = -3*t - 5*m - 50. Let v be 6*(3 + t/6). Let y = -1 - -7. Solve -v*d - y = -15 for d.
3
Let i(m) = m**3 + m**2 + m. Let d be i(0). Solve z + d*z = 1 for z.
1
Suppose 0 = -0*g + g + 5*m + 14, g + m = 2. Let x = g + 13. Suppose 2*h - a = 13, 0*a + a = -2*h + x. Solve -15 = -3*f + h*f for f.
-3
Suppose 0 = -4*z + 2*z - 12. Let j = 9 + z. Solve 2 = d - j*d for d.
-1
Suppose 3*k - 54 = 9. Solve -4*v + 1 = k for v.
-5
Suppose 0 = 5*x + 5*w - 10, 5*w + 6 = -9. Let b(s) = -s**3 + 4*s**2 + 8*s - 3. Let o be b(x). Solve 0 = -z - 3*z - o for z.
-3
Let v(h) = -h - 2. Let i be v(-7). Let m = i + -5. Solve m = 2*q - 0 - 4 for q.
2
Let l(o) = -2*o**3 - o**2 - 8*o - 5. Let k(c) = -c**3 - 4*c - 2. Let b(x) = 13*k(x) - 6*l(x). Let q be b(5). Solve -5*w - q = -8*w for w.
3
Suppose -5*w - m + 27 = -8, -3*m + 25 = 5*w. Suppose 3*s - w*s = 10. Let l be 248/20 + s/5. Solve 3*a + a + l = 0 for a.
-3
Suppose 0*b - 4*b + 12 = 0. Let d(a) = -a**2 - 3*a - 2. Let j(o) = -3*o**2 - 8*o - 6. Let h(p) = 8*d(p) - 3*j(p). Let l be h(b). Solve 3*z + l = -1 for z.
-4
Let h be 0/(11/(55/20)). Solve 4*w = -h*w for w.
0
Let y(x) = x**3 - 7*x**2 + 7*x - 4. Let a be (-11)/(-2) + (-1)/(-2). Let q be y(a). Suppose 3 = 3*n + q*z, 2*n - z + 5*z = -6. Solve s - 8 = -n for s.
5
Suppose 0 = -2*q - 5*g + 44, 3*g = -q + 14 + 10. Solve -2 = 5*s - q for s.
2
Let w(g) = g**3 - 8*g**2 + 12*g. Let c be w(6). Solve 2*s + 2*s = c for s.
0
Let f(w) = 5 + w**2 + w**3 - 6*w + 10*w - 4*w**2 - 2*w**2. Let x be f(4). Suppose a + 11 = -3*v, -37 = -2*a - a + x*v. Solve -a*i + 15 = -9*i for i.
-3
Let k be -10*6/(-36)*3. Solve 2*s - k = -1 for s.
2
Let x = 15 + -13. Suppose -3*g + 6 = 0, -x*b = -2*g - g - 2. Solve 0*l + b = l for l.
4
Let c(x) = -x**3 - 3*x**2 + 6*x + 7. Suppose -7*j - 5 = -6*j. Let s be c(j). Suppose 3*q + 0*q = s. Solve 0 = -3*a - 6 - q for a.
-5
Let h be 2/3*27/6. Suppose 4*x + 4*s - 60 = 0, 4*s - 12 = -h*x + 36. Let n = 4 + 0. Solve n*y - x = -0*y for y.
3
Let k(v) = -v**2 + 29*v - 16. Let x be k(28). Solve -x = y - 4*y for y.
4
Suppose -5*y + 20 = 0, 3*t - y = -6*y + 29. Let k = 24 + -21. Solve -k*u - 6 = t for u.
-3
Let h = -105 - -109. Let x be (-4)/10 - (-324)/10. Let r = x + -21. Solve 5*u - h = r for u.
3
Let t(j) = j**2 + 4*j - 7. Let s be t(-8). Let r = -10 + s. Solve r = 2*f + f for f.
5
Let w be (-6)/(-9)*18/3. Suppose 0 = -w*l - 3*z + 17, 3*l + 2*z - 4*z = 0. Solve -l*v + 3 + 7 = 0 for v.
5
Let l(v) = -7*v + 2. Let n be l(5). Let b = -13 - n. Solve b = 5*t - 0 for t.
4
Let r = -27 + 34. Solve -2*b + 3 = r for b.
-2
Suppose 4*o = 5*j + 38, 3*o - 28 = 5*j - j. Let k be 3/((-15)/25)*-1. Solve o = k*d - 3 for d.
3
Let q be 1*(1 + 1 + -3). Let d(t) = -4*t**3 + 1. Let c be d(q). Suppose -4*w = -1 - 3, -6 = -c*x - w. Solve 4*o = 5*o + x for o.
-1
Let s(h) = -h + h**3 - 4 - 2*h + 5*h**2 - 4*h. Let g be s(-6). Solve n = 1 - g for n.
-1
Let k = -24 - -28. Solve -k*i = -9*i - 10 for i.
-2
Suppose 0 = 2*y + 5*u - 10 + 42, -y - 2*u = 14. Let n be (-3 - y)/(9/6). Suppose 4*m = 2 + 6. Solve 0 = -m*a - 2 - n for a.
-2
Let o = -3 - -3. Suppose 156 = -o*w + 4*w. Suppose -4*b + w = -5*c, -5*c - 9 = 6. Solve -l = -3*l - b for l.
-3
Suppose 6*o = o - y + 11, -2*y - 8 = 0. Solve -d - o = 2*d for d.
-1
Suppose 19 = 5*g + 5*l + 4, 0 = 2*g - 2*l - 2. Suppose 1 + 6 = g*w - 5*u, -2*w + 4*u + 8 = 0. Solve -w*c - 8 = -2*c for c.
-2
Suppose -21*t + 1 + 41 = 0. Let j = -4 - -7. Solve -t*a = j*a + 15 for a.
-3
Let z(g) = -g + 1. Let c be z(-3). Solve -c*r + 3 = -1 for r.
1
Let p be 0 + (-1 - 0 - -1). Let l = -4 - -7. Let k be 5*(-2)/((-20)/6). Solve p = l*w - k for w.
1
Let c(u) = -u**2 + 0 + 2*u**2 + 5*u + 3. Let l be c(-5). Suppose 0 = 2*p + l*p - 15. Solve -p*j - 2*j = 5 for j.
-1
Suppose -v + 3 + 5 = 0. Suppose -3*j + v = -j. Solve j - 7 = -3*q for q.
1
Let o be (-4)/(-2)*(2 + 6). Suppose -o = -4*t + 4. Solve t*i - i - 12 = 0 for i.
3
Let o be (5 + -1 - 5)*-5. Solve 0 = -w + o*w - 20 for w.
5
Suppose 40 = 2*k - j, 118 - 8 = 5*k - 5*j. Suppose 2*n - 2*o = k, -8*o - 40 = -5*n - 4*o. Suppose -2*s = -5*s. Solve -2*b = -s + n for b.
-2
Let i be (5 - 1)*3/4. Solve -4*t + i + 1 = 0 for t.
1
Let o be 0 - -1 - 1*-3. Let h(n) = -n**3 + 5*n**2 - 5*n + 6. Let y be h(o). Let g = y + 0. Solve g*a - a = -1 for a.
-1
Let o be 3 - (0/(-1))/3. Suppose -t + 2*t = m - 1, 0 = 5*t. Let g = m - -1. Solve -4*n + g = -o*n for n.
2
Let p = -8 - -9. Suppose t - 3 = 2. Solve 3*b + t = -p for b.
-2
Let u(l) = 6*l - 2. Let g be u(3). Suppose -5*c + g = -9. Solve c*z = -2 + 17 for z.
3
Suppose -5*l + 29 = z, 0*z - z - 21 = -5*l. Solve -z*x = x for x.
0
Let o(v) be the third derivative of -v**4/12 + 2*v**3/3 + v**2. Let b be o(2). Solve 0*p + p + 3 = b for p.
-3
Let d be (-1)/(-4)*(23 - 3). Suppose 0 = -5*u + 2*w - d*w + 30, 3*u - 18 = -4*w. Solve 4*o = o + u for o.
2
Suppose -4*u - 4 = -36. Solve v = -3*v - u for v.
-2
Suppose -v - 2 = -6. Solve l + 1 = -v for l.
-5
Let h(t) = t**2 + 3*t. Let g be h(-4). Suppose 0 = -3*i - 1 + 10. Suppose 5*k + 22 = d, -k = -5*d + i*d + 26. Solve g*y = 4 + d for y.
4
Let d be ((-3)/9)/((-4)/48). Solve 0 = 5*h - d + 19 for h.
-3
Let i = 69 - 69. Solve -3 + i = -3*v for v.
1
Suppose 6*k - 20 = 10. Let l(b) = -b**3 + 5*b**2 + 2*b. Let h be l(5). Solve o = h - k for o.
5
Let s be 1*-2*15/(-10). Suppose -2*t + 6*t = 0. Solve t = s*a - 0*a - 9 for a.
3
Suppose -5*x + 5 = 3*y, -3*x - x + 41 = -5*y. Let t = 11 + y. Let s = 8 - t. Solve s*v - 10 = -2 for v.
4
Let h(c) be the first derivative of -c**3/3 + 7*c**2/2 - 2*c - 2. Let p be h(6). Let g = 2 - -2. Solve -p*s + 8 = -g for s.
3
Let b be (-5)/(3*2/6). Let t be (-6)/b*(-40)/(-6). Solve 5*s - 17 - t = 0 for s.
5
Let n(q) = q**3 + 4*q**2 + 4. Suppose 0*k + 5*k = 0