a - 1 = -f - 4*a, -5*f + a = z for f.
-5
Let s(t) = -t - 3. Let y be s(-3). Suppose 0*p + p = y. Solve -3*d = r - 4*d + 8, 3*r + 3*d = p for r.
-4
Let s be ((-9)/4)/(6/(-64)). Solve -5*u = -4 + s, -3*r + 6 = -3*u for r.
-2
Let a = -84 - -154. Let w be 120/a + (-4)/(-14). Solve -l + 4*f - 6 = -19, w*f = -8 for l.
-3
Suppose -o + 4 = 0, 3*k + 3*o - 3 = 6*k. Solve 5*g = -4*c + 36, -g - k*c = -4*c for g.
4
Let u be 111/21 + (-2)/7. Solve 2 - 3 = -3*v - u*m, 9 = 4*v - m for v.
2
Suppose -2*h - 5*t = -17, 5*h + 2*t + 0*t - 32 = 0. Solve -p = -0*p - 3*o + 3, 4*o + h = -2*p for p.
-3
Let c be ((-1)/3)/(1/3). Let q = c - -4. Suppose p + o - 16 = -3*o, 0 = -o + q. Solve r = -5*a + 2 + 11, 0 = -4*a + 4*r - p for a.
2
Let o be (-26)/(-8) + 9/(-36). Let k be 2/6 + (-15)/(-9). Let i be (-4 - -3) + (k - -6). Solve 0 = -t + i*l - 2*l + 29, -t + 19 = -o*l for t.
4
Let j = -4 + 3. Let b(p) = -p + 2. Let g be b(2). Let k be j + g + (-35)/(-7). Solve 0 = -k*w - 2*m + 4, -4*w - 3*m + 1 = -1 for w.
2
Let o be 2 + -3 - (-1)/((-3)/(-9)). Solve -o*j + p + 4 = -j, 3*j - 8 = -p for j.
3
Let s be (((-3)/2)/(3/20))/(-2). Solve 0 = 3*p - 3*i + 6, -5*p - 5 = -2*i + s for p.
-2
Suppose 3*u + 17 = i, 4*u = -3*i + i - 6. Solve 0 = -x - 2*l + 3, -3*x - 2*l + i = 3*l for x.
-5
Let w be 66/14 + 12/42. Solve s + 3*q = -3*s + 27, 4*q = 5*s + w for s.
3
Let c(v) = -v**3 - 3*v**2 - 3*v. Let q be c(-2). Suppose q*l - 16 = -0. Solve 4*u + 2 = 2*m + 4, -l = -4*u for m.
3
Let p(d) = 2 - d - 4 + 0. Let v be p(-7). Solve -3*z = v*r - 23, -r + 4*z + 2 = 2*z for r.
4
Suppose 0 = -5*d + 3*l + 7, l - 14 = -5*d - 3*l. Solve -3*x - 12 = 3*v, -2*v - d = v - 2*x for v.
-2
Let r be 3 + 2 + 18/(-6). Solve 3*q = 2*k - 8, -5*k = 2*q + r*q + 26 for k.
-2
Suppose 4*x - x - 36 = 0. Let h = -7 + x. Solve 0 = h*y - 4*n + 33, 0 = -3*y - n - 2 - 11 for y.
-5
Suppose -5*a = -y + 88, 53 = y + 2*a - 0*a. Suppose 0*m = 3*m + y. Let h = m + 35. Solve 4*w + 3*v = h, -5*w - 3*v - 2 = -21 for w.
5
Let t(z) = z**2 - 6*z + 6. Let p be t(6). Suppose -3*g + 31 = 1. Suppose -l = -p*l + g. Solve 0 = -2*h - l*n + 7*n - 18, 4*n - 20 = 3*h for h.
-4
Let r be -13 + (-1 - (-4 - -2)). Let s be (r/10)/((-1)/(-10)). Let u be ((-3)/(-1))/((-3)/s). Solve -3*g = -15, 6*b - 4*g = 2*b - u for b.
2
Suppose 20 = -4*s - 3*i, 2*s - 6*s = -5*i - 12. Suppose 5*j - 40 + 20 = 0. Let c = j + s. Solve -2*p = p + c*y + 14, -2*y - 18 = 4*p for p.
-4
Let a(o) be the first derivative of -o**4/4 + 7*o**3/3 - 5*o**2/2 - 3*o + 4. Let g be a(6). Solve v = 2*h - 5, 3*v + g = v - 3*h for v.
-3
Let z be 0 + 2 + 2 + -3. Let b = 3 + z. Suppose 0 = -b*n + n + 12. Solve 3*y - 5 = -4*x + 2, 5*y = -n*x + 1 for x.
4
Let p = -23 + 35. Solve n - 3*q = -n + 19, -4*q = p for n.
5
Let o(p) be the third derivative of -p**4/24 - p**3/6 - 2*p**2. Let h be o(-3). Solve 2*x = -x - k + 10, 3*x + h*k = 11 for x.
3
Suppose -2*y + 4*y = 18. Suppose -y = -4*o - 1. Solve 0 = 2*r - o*c + 18, 5*r - 2*c + 11 = -19 for r.
-4
Suppose -x + 12 = 3*x. Let o = -3 + 9. Suppose -5*p = 3*h, -4*p = 4*h - 3*h. Solve -3*q + 3*a - x - o = h, -3*q + 4*a = 7 for q.
-5
Let c = 42 - 19. Solve w + 3*w = 5*d - c, -10 = -2*d + 2*w for d.
3
Suppose 0*s + 3*s = 12. Solve -b = 5*x - 22, -5*b + s*x - 36 + 1 = 0 for b.
-3
Suppose -8 = -4*h - 0*h. Let g = h - 2. Solve 4*q = 4*j - 24, g*j + 4*q = 2*j - 18 for j.
3
Suppose -v = 1 - 0. Let n = 2 - v. Let x = -8 - -13. Solve x*c + g = 9, -n*g - 5 - 4 = -3*c for c.
2
Let y be (12/(-8))/(3/(-4)). Solve 6 = 4*w + y*r, 2*w + 19 = 3*w - 3*r for w.
4
Let i(l) be the third derivative of -l**4/24 - l**3/2 - l**2. Let v be i(-7). Solve -5*z + 5*y = -5, -z - 8*y - 4 = -v*y for z.
0
Let q be (4*-5)/(4 - 5). Suppose -5*n + 3*n = -3*j + 1, 4*n - j - 13 = 0. Suppose -l = -n*l - o + 9, 3*l - 2*o = 0. Solve f + l*a = -4, -4*a - q = a for f.
4
Let n = 0 - 15. Let m = n + 18. Solve m*t = -4*s - 0*t - 7, -4*s = -2*t - 18 for s.
2
Suppose 3*g = -2*z + 7, 2*z - 9 = -3*z + g. Suppose -z*h + 4 = -h. Solve 0 = -3*m - 15, 0 = h*o - 0*m - 2*m - 10 for o.
0
Suppose -6*s + 80 = -4*s. Solve -2*z + 5*f - s = z, 5 = -4*z - 3*f for z.
-5
Let b be (-7)/(-28) + (-122)/8. Let h be (1 + b/6)*2. Let l be h - 1/((-1)/3). Solve 22 = -5*o + 2*w, 2*o + 5*w + 3 = -l*o for o.
-4
Suppose -2 = -2*a + 10. Suppose -3*k = -4*u - 29, 3*k + 3*u + 8 - 65 = 0. Solve -2*z = -5*d + k, a*z = -2*d + 2*z + 6 for d.
3
Let b(i) = 14*i**3 + i**2 - 1. Let g be b(1). Let l be (-10)/(-35) - 4/g. Suppose 4*m = -l*m + 68. Solve 0 = 5*q + 2*z - m, 4*q - 5*z = -6*z + 13 for q.
3
Let o(k) = k**3 - k - 1. Let a be o(3). Suppose -a = -5*s + 4*n, -4*s - n - 4*n = -2. Solve -4*l = p - 17, l + 3 = 3*p - s*l for p.
5
Let i = -12 + 22. Let c = -7 + i. Solve c*v + 2*u = 10, -u + 1 = -1 for v.
2
Let k(p) = p**3 - 4*p**2 + 2*p + 1. Let r be k(2). Let w be r/(0 + (-2)/2). Let y be 3 + w*(-3)/(-9). Solve 0 = -4*v - 5*h + 6, -18 = -3*v - h + y*h for v.
4
Let k(q) = q**3 + 7*q**2 + 7*q + 9. Let c be k(-6). Suppose 5*o = 8 + 7. Suppose -o*w = -w - 10. Solve -c*u + 6 = u - 2*r, 0 = -w*u - 4*r + 27 for u.
3
Let x(p) = p**2 + 1. Let y be x(-1). Solve -5*v - 30 = 7*j - y*j, 4*v = j + 1 for j.
-5
Let x(f) = f**2 - 5*f + 1. Let j be x(6). Let u = -8 - -11. Let r = 8 - 6. Solve -r*a + u*a = q, 2*a = -5*q + j for q.
1
Let n(k) be the first derivative of k**2 - 8*k + 3. Let i be n(4). Solve 3*o - q - 2 + 9 = i, -o + q = 3 for o.
-2
Suppose 20 - 8 = 2*p. Solve -5*x = 2*u - p, -2*u + 9 = -5*x + 3 for u.
3
Let t(j) = -j + 2. Let l be t(2). Let d = -2 + l. Let m be (d/(-3))/((-3)/(-18)). Solve 3*i = 2*s - m + 11, 8 = -4*s + 4*i for s.
1
Let v = -60 - -65. Solve 0 = -v*w + 3*c - 6*c + 8, -6 = -4*w - 2*c for w.
1
Suppose -y + 25 = 2*l - 15, -5*l = -4*y - 100. Let v be (0/(-1)*-1)/2. Solve 5*a = l, -2*a = -v*m - 3*m + 1 for m.
3
Suppose 3*p + 2*p = 350. Let g = -50 + p. Suppose 6*x - 7*x = -3. Solve -x*r = -2*m - g, m - 2*m = -2*r + 12 for r.
4
Suppose -u = -21 - 24. Let k be u/4 - 5/20. Solve -i = -r + 2*i - k, 4*r + 18 = -i for r.
-5
Suppose 0 = 5*q - m + 3, 0 = -2*q + 3*q - m + 3. Solve -y + 5 = 4*k, -2*k + q*k + y + 1 = 0 for k.
1
Suppose -k = 3*u - 16, -u + 12 = -0*u + 2*k. Solve 0 = -3*o - u*g, -g = 5*o + g for o.
0
Let m(v) = v + 1. Let a be m(2). Solve 2*n + f + 10 = -a*f, 3*f + 6 = 0 for n.
-1
Suppose -4*n + 0*n = -48. Suppose -4*l + 70 = -4*s - 22, -3*s = 3*l - 75. Let m = l - n. Solve -5*y + 5 = -5*u + 10, 2*y + 3*u + m = 0 for y.
-3
Let u(z) = z**2 + 4*z + 6. Let c be u(-6). Let m = c - 9. Solve m = -d - 2*x, 3*x + 11 = -4*d - 5 for d.
-1
Suppose -6*s + s = 0. Suppose 4*k - 3*k = s. Solve 3*t = -k*t - 5*f + 7, 0 = -t + 5*f - 11 for t.
-1
Let d(r) = 2*r**2 + 16*r + 5. Let s be d(-8). Let g be 32/12 + 6/(-9). Solve x - s*u = 27, -7*x + g*u = -4*x - 16 for x.
2
Let z = 68 + -62. Solve -3*f - 3*i - 3 = 0, -9 = f - z*i + 3*i for f.
-3
Let d(k) = 3*k - 4. Let u be d(3). Let p(z) be the first derivative of z**2/2 - z - 1. Let v be p(2). Solve h + v - 22 = 5*t, -5*h - u = -3*t for t.
-5
Let k = 66 - 62. Solve u = k*q + 7, 2*u = -2 + 8 for q.
-1
Let q = 3 + -1. Suppose -4*v - 12 = -s, 3*s = 6*s - 4*v - 12. Solve 5*t + 4 = -5*h - 21, s = q*t - 4*h + 4 for t.
-4
Suppose j - 58 = -2*h - h, 2*j + 10 = 0. Solve 15 = -g + 4*f, -2*g - 3 = 4*f - h for g.
1
Suppose 0 = 3*z - 8 + 2. Suppose -z*t - 16 = -6*t. Solve 2*y + 3*y = -3*h, -t*h + 14 = 2*y for y.
-3
Suppose 4*q = -q + 20, 2*j + 4*q = 26. Solve 10 = -j*v + 5*k, -2*k = 5*v - 0*k - 25 for v.
3
Suppose 4*n = m + 8, 0 = 5*m - 7*n + 2*n + 10. Suppose 0*u - 4*u = m. Let v be 3 + u + -2 - -2. Solve -g = 3*k + 17, 3*k - 2*k - v = 4*g for k.
-5
Let o = -19 + 23. Solve -5*m + o = y, -m + y + 4 = 2 for m.
1
Let q be 3/(-9)*690/(-10). Solve -2*f = 2*p - 2, 3*p - 2*f - q = -0*p for p.
5
Let w(g) be the first derivative of g**4/4 + 2*g**3 - g**2/2 + 3. Let i be w(-6). Let a = i + -2. Solve -2*p - 4 = -n + 3*n, -3*n - a = 2*p for n.
0
Let r be (-3)/(-1 + 6/(-12)). Solve 4*j + 5*b - 10 - 2 = 0, -j + r*b = 10 for j.
-2
Let d(x) = x**3 - 6*x**2 + 2*x - 9. Let j be d(6). Let b(q) = -6*q**3 - 1. Let c be b(-1). Solve z - 4*l = -9, -4*l - j = -c*l for z.
3
Suppose -f + 13 = 2*v, -4*f = v - 2*v - 79. Suppose 2*u - 5 - f = 0. Suppose 3*i = 12 + u. Solve 0 = -2*z + 5*o + i, -2*o = z - 5*o - 5 for z.
-1
Suppose 0 = 4*a + 2*r -