(t) = -t + 9. Let n be x(5). Suppose -3*a + 6*a - 6 = 0. Solve l - 5*i - 7 = 0, -a*l + 4 = -n*i - 4 for l.
2
Let s = -74 - -77. Solve 0*c = 4*c - 3*n + 2, -s*c + 1 = -n for c.
1
Let o be 6 - 2*9/6. Suppose -h = -o*h + 2. Solve -w + 8 - 2 = 2*m, 3*m = -4*w - h for w.
-4
Let n(z) = -z - 1. Let s(t) = -2*t + 4. Let w(m) = -3*n(m) - s(m). Let i be w(1). Solve i*g + 19 = -3*p, -2*g + 3*p + 2*p - 3 = 0 for g.
-4
Let t be 25 - (-2 - -3)/(-1). Suppose 2*h - 36 = -5*z + 5*h, -5*z + t = 2*h. Solve -4*w - 1 = 3*c, 0 = 3*c - 8*c + w + z for c.
1
Let d = 12 + -6. Solve l - 8 = -q, -2*l - d + 31 = 5*q for q.
3
Let u(l) = 4*l + 1. Suppose 8*f - 3*f - 30 = 0. Let g be u(f). Solve g = 2*q + 2*n + n, 2*q - 3*n = -5 for q.
5
Suppose 3*s = -5*w + 18, -4*w = -0*s + 3*s - 15. Solve -5*g - 6 = -3*n + 8, -w = -2*n - 3*g for n.
3
Suppose 0 = -2*v - z + 6, -3*v + 9 = -6*z + z. Solve -v*m - 9 = -b + 1, 40 = -4*m - 4*b for m.
-5
Let y(r) be the first derivative of r**3/3 - 2*r**2 + 2. Let z be y(5). Let d(o) = -o + 5. Let u be d(z). Solve -s = -u*c + 3*c, -4*c = -4 for s.
-3
Suppose -d = 4*z, 0 = -8*d + 3*d. Suppose 5*q - 30 = 5*i, 0 = -z*q - q - 5*i - 18. Solve 3*f + 2*c = 3*c - 11, q*c + 3 = f for f.
-5
Let m = -4 - -4. Suppose -5*u + m*r - 2*r = -15, u = r + 3. Let i = -1 + u. Solve -2 = i*k + 3*x, 5*k - 7*x - 41 = -3*x for k.
5
Let y = 13 + -9. Solve -4*t - 10 = 2*a, -y*t = 5*a + 12 + 1 for t.
-2
Let y(q) = q + 5. Let b be y(-5). Solve 0 - 18 = -2*z + 2*l, b = 3*z - l - 19 for z.
5
Let x(f) = -f**3 + 6*f**2 + 7*f + 2. Let y be x(7). Solve 2*z - 5*j = 5*z - 25, -2*z + 6 = -y*j for z.
5
Let t be (-4)/(-6) - (-416)/6. Let a be (6/(-7))/((-20)/t). Solve 3*q + a*z + 7 = z, 2*q - 5*z - 27 = 0 for q.
1
Suppose 0*n - 12 = 2*n. Let k = n + 11. Solve 5*o - 15 = -k*x, -5*o + o + x = -22 for o.
5
Let v(q) = q**3 + 5*q**2 + q - 5. Let j be v(-5). Let u be ((-2)/5)/(1/j). Solve a + 4 = -2*o, a = -u*o + 5 - 17 for o.
-4
Let s(i) = -i**2 + 6*i - 1. Let w be s(5). Solve w*l + 22 = -3*b, -2*l - 4*b = -2 + 18 for l.
-4
Let r be (-1)/(-4 + 15/4). Suppose b + 15 = 4*n, -2*n - 6 = b + 3*n. Let k = -7 - b. Solve f + 3 = -k*q - 0*f, -22 = q - r*f for q.
-2
Let l(u) = u**3 + 9*u**2 + 9*u + 11. Let t be l(-8). Suppose -25 - 20 = -5*a. Solve 3*q - a = 3*p, 4*p + 0 = q - t for q.
3
Suppose 20*n - 15*n = 25. Solve 5*w + 5 = i, -w - n*i - 29 = w for w.
-2
Suppose -z = -5*z. Let y = -4 - -1. Let x be z/((-2)/6*y). Solve -2*o = 5*d - 3*o - 17, x = 5*d - 3*o - 11 for d.
4
Let h(m) = m**2 + 8*m + 10. Let a be h(-7). Let c(u) = -6 + u + 2 + 4. Let i be c(2). Solve -7 = -v - a*g, -2*g - g = -i*v - 4 for v.
1
Let s = 22 - 13. Solve -5*v - y = -9, -4*v + v + 3*y = -s for v.
2
Let v be (-20)/(-6)*(4 + 1 + 1). Solve a + v = 4*h, 0 = 3*a - 2*h - 0*h + 20 for a.
-4
Suppose 0*l - t + 31 = 5*l, 0 = t + 4. Solve 3*f - 4*p = l*f + 16, 5*f + 20 = 4*p for f.
-4
Let q be (-4)/14 - 104/28. Let k(p) = -p**3 - 4*p**2 + 2*p + 5. Let v be k(q). Let g be (v - -2)/(4/(-12)). Solve 5 = -4*m + 3*i, 4*m + 11 = 2*i + g*i for m.
1
Suppose -g + 5*b - 6 = 0, -2*g + 0*g + 16 = 4*b. Let u(a) = a**2 + a. Let w be u(-1). Let v be (w/5)/(-1*1). Solve -3*p + 5*n = 6 + 5, 5*p - g*n + 1 = v for p.
3
Let w = 1 + 0. Let m be (2/4)/((-9)/(-72)). Solve -2*s - 2*s + v = -4, 0 = s - m*v - w for s.
1
Let j(l) be the first derivative of l**2/2 + 3*l + 1. Let s be j(0). Solve -m = 5*w - 8, -5*m = s*w - 6*w + 16 for m.
-2
Let c = 9 + -9. Solve 2 = x + i, -i = 2*x - 5 - c for x.
3
Suppose 0 = 13*s - 16*s + 9. Solve 3*t + s*z + 7 = 2*t, -5*t - 5*z - 5 = 0 for t.
2
Let k(w) = -w - 5. Let t be k(-4). Let y be -1 - (0 + (t - 3)). Solve y*b + 2*p - 9 = 3*p, 0 = 4*b - 2*p - 14 for b.
2
Let i(l) = l**2 + 13*l + 17. Let p be i(-12). Solve p = -5*o, -5*v + 9*o - 4*o - 10 = 0 for v.
-3
Let w be 2/5 + (-39)/(-65). Solve 2*a + 11 = 4*z - w, 5*z - 15 = -4*a for a.
0
Suppose -15*d = -17*d + 10. Solve d*f + 16 = f - 4*u, 8 = -2*f + 4*u for f.
-4
Let z be (-4)/18 - (-4)/18. Let j = -10 - -15. Suppose -b + 6 = 3. Solve 4*q - j*o + 20 = z, -q - o - b*o - 5 = 0 for q.
-5
Let c(d) = 18*d**3 + d**2 + 2*d + 1. Let n be c(-1). Let p be ((-4)/12)/(2/n). Solve -9 = 3*r, -p*r - 19 = -4*o - 2*r for o.
4
Let n = -2 + 8. Let p(c) = c**3 + 2*c**2 + 3*c. Let d be p(-2). Let v = n + d. Solve -5*l - 5*k = -v*k + 20, -3*l + 4*k + 2 = 0 for l.
-2
Suppose -s - 3 = -5. Solve -5*t = -10, -3*g = s*g - 5*t + 25 for g.
-3
Let r be 1*1*(-3 - -7). Solve -2*w - k - 1 = -0*w, -5 = r*w + 5*k for w.
0
Suppose -4*d + j + 0*j = -16, 0 = -3*d - 2*j + 23. Solve -d*s = -2*x + 16, -3*s + 5*x = -s - 2 for s.
-4
Suppose -d = -5*v + 2, 0 = 5*v - 2*v - d - 2. Solve -4*n + 0*n - c = 1, v = -n + 3*c + 16 for n.
1
Suppose -5*a = -30 + 15. Solve 2*o + 2*h + 7 = a*h, -2*h + 10 = -2*o for o.
-2
Suppose 4*k - s - 16 = -4*s, -2*k + s + 8 = 0. Let r(t) = t. Let o be r(k). Solve o*g - 2*h = 4, 5*g - 3*h - 6 - 1 = 0 for g.
-1
Suppose 16*q - 18*q = -8. Solve -2 = 2*f + c, 0 = q*f - 0*f + 4*c + 8 for f.
0
Suppose 0 = -11*d + 3*d. Solve d*m + 4*m + 4*v = 12, 5*v = 5*m - 15 for m.
3
Let l(g) = -2*g + 8 + 0 + 0*g + 0*g. Let s be l(4). Solve s*z + 4*o = -z, 0 = 2*z + 2*o - 6 for z.
4
Let h(t) = t**2 - 2*t + 1. Let g be h(3). Let i = 1 + 1. Let b = g - i. Solve -b*q + 10 + 0 = -5*m, -q = -5*m - 5 for q.
5
Let h = 7 + -4. Let u(a) = -a - 1. Let t be u(-4). Solve 3*l = -4*n + 11, h*l - 5*n = -t*n - 1 for l.
1
Suppose 4*z + 10 = 3*u - 61, 4*z + 29 = u. Solve 3*t + o + 2*o = u, 2*t = -3*o + 19 for t.
2
Let s = -15 + 15. Suppose s*v - 2*v = -10. Solve 0 = 5*f - v*o + 30, -2*f - 18 + 4 = -3*o for f.
-4
Let d be (-1 - -1)/(-6 + (11 - 3)). Solve -3*q - 14 = -2*m - d*q, -m - 5*q - 19 = 0 for m.
1
Suppose -8*q = -4*q. Let f be (4/2 - -19)*1. Suppose 5*s - f - 4 = q. Solve -2*k = o - 7*k + 17, -4*o = s*k - 7 for o.
-2
Suppose -z + 0*z = -15. Suppose -3 = -g - 4, 3 = a - 3*g. Solve z = 5*q - a*q, 4*l + 19 = 5*q for l.
-1
Let j(c) = -2*c**3 - 2*c**2 + 3*c + 2. Let y = -6 + 4. Let o be j(y). Solve -3*i - 3*w + 24 = 0, -3*i + 0*i = -w - o for i.
3
Let s(c) = -c**2 - 2*c + 2. Let g be s(-2). Solve -g - 8 = 4*o - 3*h, 3*o = h - 10 for o.
-4
Let f = 12 + -8. Suppose 0*n = -f*n - 32. Let x = n + 14. Solve -5*s = 2*z + 5, -s - x*z + 26 = -11*z for s.
1
Let b be 2 - -1 - -4 - 4. Suppose 5*k = 2*d - 3, -k + 3*k - 5*d = -18. Let s be (-2 - -3) + (4 - k). Solve -m + 3*i - 1 = b, m + 4 = -s*i for m.
-4
Let k = -2 - -2. Solve -5*r + 17 = -i, -2*i + k = 3*r - 18 for i.
3
Let i = 7 + -4. Solve p + 2 = -b, i*b - 8*b + 3*p = -22 for b.
2
Let r(z) = z**2 - 11*z + 13. Suppose 4*y - 41 = -a, 12 = 4*y - a - 35. Let x be r(y). Solve 0*c + 2*c = 3*g + 5, -5*g - 2*c + x = 0 for g.
1
Let s(w) = w**2 + w - 2. Let n be s(-3). Suppose 6*c = n*c + 6. Solve -5*u + 9 = -c*m, u + 4*m = -0*u - 12 for u.
0
Suppose 6*c = 5*c + 4. Suppose 2*g - 2*a = 0, -2*g + 4*a = a + 2. Solve 5*n + c = g*t - 0, 10 = -n + 5*t for n.
0
Let n(t) = t**3 - 3*t**2 - 2*t - 3. Let a be n(4). Suppose -5*u = -u + 16. Let r be (3 + -5)/(u/6). Solve r*i + 25 = a*m, 4*i - m - 4*m = -25 for i.
0
Suppose -3 = -o - 2*o. Let m = -71 - -70. Let u be (o + 8)*(0 - m). Solve 7*q + 15 = 2*q - 5*i, q + u = -4*i for q.
-1
Let u(k) be the first derivative of k**4/4 + 2*k**3/3 - k**2 - k + 8. Let i be u(-2). Solve y + i*g = 2, -g - 2*g = -2*y + 4 for y.
2
Let i be -7 + 10 + 1 + 46. Let o = i + -7. Suppose -r - r - 3*t = -o, 2*r + 5*t - 45 = 0. Solve -b + 5*w + r = 0, 2*b - w + 0*w = -5 for b.
-5
Let r be 0*(9/3)/6. Let n be 1 + -1 + r + 2. Let s = n + 1. Solve 4*z + 11 + 8 = -5*y, -12 = -s*z + 5*y for z.
-1
Suppose -2*z + 5 = -7. Let y = z - 4. Suppose -4*c = -5*c + 2. Solve c*u = -y*g, 3*g + 2*u - 1 = -0 for g.
1
Let h be ((-2)/(-4))/(1/(-12)). Let m be 3 + 2/h*-3. Suppose -m*i + 73 = 25. Solve -o + 0*l - 3*l = -i, 3*o + 20 = 5*l for o.
0
Let b be (-66)/(-14) + 2/7. Suppose 4*r = 8 - 0. Suppose -b*f = -r*f. Solve 4*h - 14 = -2*m - h, f = -5*m + h + 8 for m.
2
Let z(t) = 7*t - 38. Let f be z(6). Solve 0 = -3*v - 0*b - 4*b + 12, -f*b = -5*v + 20 for v.
4
Let s(q) = -q**3 - 4*q**2 - q - 4. Let o = -23 + 18. Let x be s(o). Solve 0 = 2*y + 4*m - x, -m - 3 = -3*y + 2*m for y.
5
Let d = -7 - -4. Let r = d - -3. Solve 4*q + 2 + 10 = 4*m, r = m + 2*q - 3 for m.
3
Suppose 2*s - 13 = 5. Suppose -14 = -5*a + 6. So