= -r for n.
-1
Let r(z) = 2*z**3 - 5*z**2 + 4*z - 3. Let x be r(3). Suppose x = -3*h - 84. Let m be h/(-6) - (-8)/(-12). Solve 3*c - 2*c = -4*u + 24, 0 = m*u - 5*c - 5 for u.
5
Let r(p) = -p**3 - 11*p**2 + 14*p + 29. Let j be r(-12). Solve -j*f + 2 - 5 = g, -3*g = f - 5 for f.
-1
Let v = -5 - -9. Suppose -4*s + 32 = -0*s. Let y = -28 + 48. Solve -u = 3*u - 4*n - y, v*u = n + s for u.
1
Suppose 5*b = b - 36. Let g be (-20)/(-6) - (-3)/b. Solve 2*o = -g*z + 18, 5 - 2 = -3*o + 3*z for o.
3
Let i(f) be the first derivative of -f**2 - 8*f - 2. Suppose z - 4 = -10. Let k be i(z). Solve c + 12 = -3*l, -k + 16 = -5*c + l for c.
-3
Suppose -c + 0 + 1 = 0. Let i(f) = 6*f**3 + f**2. Let u be i(c). Solve -3*y = -4*h - u*y + 8, 4*y = 4*h + 24 for h.
-2
Suppose -2*g + 4*g - 17 = 3*c, 3*g = -c - 13. Let d = c - -7. Suppose d = 5*o - 12 - 3. Solve -o*b = -f - 4 - 5, 2*b = 5*f + 19 for f.
-3
Let k(u) = -4*u + 6. Let g(f) = f**2 - 3. Let q be g(-3). Let i be k(q). Let x be 1/((-3)/i*1). Solve -5*s - w + 13 = 0, 3*s - x*s - w = -9 for s.
2
Let m(c) = -c**3 - 13*c**2 - 5*c - 7. Let q be m(-13). Let a = -38 + q. Solve 2*l + a = -4*z, -l = l for z.
-5
Let i(o) = -o**3 - 6*o**2 - 7*o - 5. Let x = 8 - 13. Let d be i(x). Solve p - 15 = -p + 3*n, -d*n - 25 = -p for p.
0
Let x = 21 + -13. Let y = -4 + x. Solve -r = y*l + 25, 0 = l + 3 + 2 for r.
-5
Suppose 7*u - 5 = 6*u. Solve u*y - 2*r = -4*r - 21, -4*y + 3 = -5*r for y.
-3
Suppose -r - 5 = 4*t, 2*r = -4*t - 2*r - 20. Let f = 16 - t. Solve 4*w = -5*d - 18, 3*d - w = -6*w - f for d.
-2
Let a(p) = -4*p - 1. Let d be a(-1). Suppose -d*g = -0*g. Suppose -h + 7 = n, 3*n - 4*n - 3*h + 9 = g. Solve 4*j - n*j + 5 = 3*m, 1 = -4*m + 5*j for m.
1
Let q = -1 + -15. Let g be 17/4 + 4/q. Solve -5*d + t - 5 = 0, -g*d - 2*t - 3*t = -25 for d.
0
Let n = 7 - 6. Let t be ((-12)/(-9))/(4/6). Solve t*x - 5 = 2*m - n, -3*m = 3*x + 6 for x.
0
Suppose -4*q - 3 + 27 = 0. Suppose l = g, 2*g = -5*l + q*g + 3. Suppose 0 = 2*y - 7 - l. Solve -5*j + y = 5*d, -d = j + 3*d + 11 for j.
5
Let o = 4 + -12. Let a = o - -10. Solve 3*h = -4*d + a*h + 4, -5*h = 3*d - 20 for d.
0
Let b = 6 - 8. Let r be b/(-5) + (-440)/(-25). Solve -3*d = 3*g - r, -2*d - 18 = -3*d - 4*g for d.
2
Let u be 25/(-45)*-3 - 2/(-6). Solve -u*n - 5 = 4*l - n, -3*l + 5*n + 2 = 0 for l.
-1
Suppose u = -3*n - 2, 0*n + 2*n = -4*u + 12. Solve -2*r + 4 + 8 = 4*b, u = 2*b for r.
2
Let c(m) = m**3 - 5*m**2 + 4*m + 3. Let h be c(4). Let l = -7 - -16. Let k = l + -6. Solve -n + 13 = k*s + 2*s, -h*n - 5*s = -19 for n.
3
Let s(m) = 2*m + 17. Let g be s(-6). Solve 5*h - 3*h = g*f + 1, -2*f = -h for f.
-1
Suppose -2*v - v - 6 = 0. Let k be -2*(-1 - (-3)/v). Suppose k*o - 12 = 4*l, o - 2*o = 3*l - 10. Solve 5*z = z + 2*q + l, 0 = -q - 1 for z.
0
Let g(w) = w**3 + 7*w**2 + 2*w + 19. Let l be g(-7). Solve 3*z - 6*p + 3 = -2*p, -10 = 5*z - l*p for z.
-5
Let l(o) = -o**2 - 6*o + 4. Let b be l(-6). Suppose 0 = b*q + 5*n + 60, -7*q = -2*q - 2*n + 42. Let s = q + 15. Solve z - 3 = f - 0, -s*z + 15 = -f for f.
0
Suppose -o - 12 = -3*x, 2*o = -5*x + 6*o + 13. Let t(s) = s**2 + 8*s - 2. Let z be t(-8). Let q = z - -6. Solve 5*v = x*w - 10, 3*v + q*w + w = -6 for v.
-2
Let k = 19 + -8. Suppose -2*c = -2*h - 28, -5*h + k = 4*c - 9. Suppose -2*m = -c - 0. Solve 0 = f, 13 = -m*x - f + 3 for x.
-2
Let y = -7 - -12. Let q(m) be the third derivative of m**5/60 - 5*m**4/24 + m**3/2 + 3*m**2. Let t be q(5). Solve 0 = v - p + 3, y*p = -t*v - 14 - 3 for v.
-4
Let x(a) = 3*a. Let b be x(2). Let j = b - 1. Solve j = -5*p + 5*c, -2*c + 0*c + 7 = 3*p for p.
1
Let a(i) = 26*i - 1. Let t be a(-1). Let n = -23 - t. Solve 3*w + n*h = 5*w - 16, -5*w - 4*h = 30 for w.
-2
Suppose -o + 32 = 5*j, -2*o - 4 - 2 = -4*j. Solve 4*q + q - 15 = 5*u, -u + o = 4*q for q.
2
Let j(x) = -x**3 - 10*x**2 - 12*x - 3. Let c be j(-9). Let l be (-9)/(-6)*c/9. Solve s + 2*n = -3*n + 24, 16 = l*s + 4*n for s.
-1
Suppose q + z = -4*q + 18, 3*q = -2*z + 8. Let i = 17 + -12. Solve -q*l + 22 = -r, -l - 16 = -i*l - 2*r for l.
5
Suppose 16*v = 11*v + 140. Solve -3*k = 4*u - v, u = -0*k - k + 8 for k.
4
Suppose -7*l + 2*l + 5 = 4*p, 5*p = -3*l - 10. Solve 4*m = 3*c + m - 3, -c = 2*m + l for c.
-1
Let o(h) = h - 2. Let d be o(-4). Let t be -6*(d/4 - -1). Solve -4*i + 18 = -3*n, -2*i - t*i = -5*n - 25 for i.
3
Suppose 0 = -4*p - 0 + 8. Solve 3*t = 4*j + p, 2*j - 4*t - 16 = 6*j for j.
-2
Let i be 9/4 + 21/28. Solve i*a = -3*k, -3*k = a + 2*k for a.
0
Suppose 0 = g - 2*f + 12, -4*g - 20 = -f - 0. Let l = -1 - g. Suppose -3*k = 5*o + 5, k + 7 = 2. Solve 2*m = -l*s + s + 12, o*m + 6 = 4*s for m.
3
Let p(j) = -3*j + 1. Let s be p(-1). Suppose 4*v = 8*v - 24. Solve 0 = s*t + y + 1 - v, y = -3 for t.
2
Let f(k) = -3*k + 2. Let w be f(0). Solve -4*o - z = 15, -w*o + 3*z - 20 = -o for o.
-5
Let i = 31 - 22. Solve i*a + 33 = -2*z + 4*a, -a = -4*z - 11 for z.
-4
Let w(u) = u**3 + 4*u**2 - 8*u - 10. Let z be w(-5). Solve -5*m - 3*p - 11 = 0, 3*m - 2 = -z*p + 1 for m.
-4
Suppose 3*l = 0, 9 = -n - 10*l + 5*l. Let w be 130/18 - (-2)/n. Let p = 29 - 19. Solve 0 = 2*j + 5*b - w, 0 = -5*j - 6*b + b + p for j.
1
Let o = -13 + 13. Solve o = -3*a + 2*w + 17, -2*a + 2*w = -3*a - 5 for a.
3
Let o(i) be the second derivative of i**5/20 - i**4/3 + i**3/3 - 2*i**2 - i. Let t be o(4). Solve c - 1 = 0, 2*c = t*k - 0*c - 10 for k.
3
Let l(q) = -q**2 + 2*q - 1. Let c be l(1). Let t be 4 - -1*(c - -1). Let r = t + -1. Solve -2*w + 6 = r*v - 2*v, 0 = 4*w - 20 for v.
-2
Let n(s) = s + 8. Let m be n(6). Solve -3*d = -2*j - 0*j + m, -3*j + 12 = 0 for d.
-2
Let w(i) = i**2 - 8*i + 9. Let b be w(7). Let y = b + -1. Let j = 2 + y. Solve j*s = -2*m - 16, -5*s - 4*m = 21 + 7 for s.
-4
Let o(y) be the second derivative of 0*y**3 - 1/4*y**4 + 2*y**2 + 0 - 1/20*y**5 - y. Let u be o(-3). Solve 3*b - 24 = u*c - b, 4*b = -5*c - 3 for c.
-3
Let q(l) = -l**3 + 4*l**2 + 2. Let o be q(2). Solve r = -x + 4, 5*r + x + 2*x = o for r.
-1
Suppose -4*b + 154 = i - 3*i, 2*i = -3*b + 126. Solve -5*s + 2*s - 5 = 2*a, 5*s - 3*a + b = 0 for s.
-5
Suppose 5*h = -2*h. Solve -3*j = -5*s + 13, 5*s - 6 = -4*j - h*s for j.
-1
Suppose -4*g + 17 = 5. Let z be ((-6)/(-4))/((-3)/(-2)). Let d be z - (-9)/(3/1). Solve 0 = -2*x - 6, -2*t + d*x - 8 = g*t for t.
-4
Let h be 17/5 - 6*1/(-10). Solve -3*m + 2*v = v - h, -10 = -2*v for m.
3
Let a = 2 + 2. Solve a*y - c - 7 = 0, 7*y - 2*c - 11 = 2*y for y.
1
Let l be 7/2*(7 - 5). Suppose -5*k + l + 18 = 0. Suppose 0 = k*g - 4*t - 3, 2*g - 2*t = 0. Solve 0 = -g*y + 4*v - 1 - 4, 5*y - 3*v = -12 for y.
-3
Suppose -d + 2*p - 32 = -6*d, -4*d = 4*p - 16. Let q = 4 - 1. Suppose 3 + q = 3*n. Solve 11 = -z + 4*z - 4*j, -n*z - 5*j = d for z.
1
Suppose 2*k + 2*g - g = 9, -4*g + 18 = 2*k. Solve -4*u + k*v = 5*v - 26, 3*u + 3*v = 24 for u.
5
Suppose -5*w + 0*w = -4*y - 29, -w + 3 = 2*y. Solve -2*x - 3*t + 14 = -w*t, 0 = -4*t - 20 for x.
2
Let l(a) = a**2 + 2*a + 2. Let q be l(-3). Suppose q*j + 0 - 7 = 2*p, 3*j = 15. Suppose -2*i - 3*i = -20. Solve -i*h = 5*c + p, 4*h - 2*c + 7 = -5*c for h.
-1
Suppose -14 - 16 = -6*t. Solve -3*i - 14 = -5*p, -i - t + 3 = p for p.
1
Let h be (1 - -3)/((-3)/(-120)). Suppose -4*j + h = -0*j. Solve 4*l = 3*w + 5, 4*l + 6*w - 2*w = j for l.
5
Let g(q) = 4*q. Suppose u - 3*w - 4 = 0, u = 5*w + 9 - 1. Let o be -6*(39/(-18) - u). Let b be g(o). Solve 4*r = -b, 5*r + 30 = -5*i - 0*r for i.
-5
Suppose -7 = -q - 2*m - m, 0 = -3*m - 3. Solve -4*w + 2*i + q = 0, -2*w + 3*i + 1 - 6 = 0 for w.
5
Let z = -17 + 21. Solve -5*w + 2*h - 6 = 0, -6*w + 2*w = z*h - 12 for w.
0
Let j(x) = x**3 + 17*x**2 - 17*x + 22. Let i be j(-18). Solve 6*o - 2*o = 5*a + 14, -6 = i*a + 2*o for a.
-2
Suppose -4 = -o - 8. Let f(y) = -y**3 - 5*y**2 - 6*y - 6. Let q be f(o). Solve -q*h = 5*x + 11, -3*x = h - 1 + 7 for x.
-1
Suppose -17 - 8 = -5*w. Solve 5*q - w = 3*o, 5*o + 2*q - 20 = 13 for o.
5
Let k = 12 + -7. Solve -2*l = -3*n + 1 + 6, 3*n = 5*l - k for l.
4
Suppose -3*d - 5*f = -28, -4*d = 5*f - 7 - 27. Suppose 3*a - 1 = 2. Let p = 3 - a. Solve 0 = p*r - 3*y - 18, -4*r - d*y - 8 = -y for r.
3
Suppose -10*z + 8*z + 4 = 0. Let x = z - 2. Solve -4*f = -4*t - 4, x*f + 4*t - 4 = 2*f for f.
4
Suppose k = 5*k - 8. Suppose -6 = -2*f - k. Let w be 2/16 + (-30)/(-16). Solve -f = x - b - w*b, 5*b - 20 = 5*x fo