se 0 = -d*n - 3*f - 6, -n - 2*f = 2*f + 8. Solve 0*k + k + 3 = n for k.
-3
Let t(b) = -b**2 + 16*b - 14. Let s be t(15). Solve 5*z = -s - 4 for z.
-1
Let t be 1/6 - (-62)/(-12). Let h = 29 + t. Solve -h = -4*b - 8 for b.
4
Suppose -3*r + 5*a - 4*a = -25, 2*r + 5*a = 28. Let q be 2/19 - (-720)/380. Solve -r = q*v + v for v.
-3
Suppose 0*n = -n + 6. Suppose 3*y + 15 = w, -4*w - 31 + n = 5*y. Suppose -2*m + 4*h = 3*h - 2, w = 3*m + 2*h + 4. Solve -5*p + 15 = -m for p.
3
Let i(a) = 4 + 0*a**2 - a + 0*a**2 - 2*a + a**2. Let j be i(4). Let h be 15/4 + (-6)/j. Solve -6 = -h*r + 9 for r.
5
Suppose 3*h - 2*z = -7*z + 12, 5*h - 5*z - 20 = 0. Suppose k = 3*k - 10, -3*j + 74 = h*k. Solve 4*s + 2 = -j for s.
-5
Let x(f) = -f + 7. Let u be x(7). Solve 3*l = -u + 9 for l.
3
Let n = -98 - -98. Solve n = -7*p + 3*p + 20 for p.
5
Let y be -3*(16/(-6) - -1). Let d(u) = 7*u - 1. Let n be d(1). Solve n = y*v - 4 for v.
2
Let i be 2 - (-2 - 0)*1. Suppose i*w - 6 = w. Let k be (0/w)/(-2 + 1). Solve 0 = -2*y - k*y - 6 for y.
-3
Suppose -3*c + 56 = 11*c. Solve 0 = -c*u - 5 + 1 for u.
-1
Suppose -4*s - 2 = -38. Let h = 15 - s. Let g = 8 - h. Solve 0 = 3*j + g*j for j.
0
Suppose k = -c + 4, -3*c - 5*k - 15 = -35. Suppose 0 = -c*s + 2*s - 4. Suppose 3*v = -3*y - 3, -2*v + 3*y = -2 - 11. Solve 0 = -s*b - v for b.
-1
Let z = -21 + 27. Solve u - z + 2 = 0 for u.
4
Let n = -39 + 41. Solve -8 = -n*w - 2 for w.
3
Suppose 15 = -2*t - 1. Let y be (-138)/(-7) + t/(-28). Solve 0 = 3*p + p - y for p.
5
Let r(y) = -y**2 + 7*y - 3. Let k be r(5). Let f = 11 - k. Solve 2 = -g + f for g.
2
Let u(z) = 10*z - 7. Suppose -4*h + 8*p + 16 = 4*p, 5*p = 2*h - 8. Let j be u(h). Let g be (11/j)/((-2)/(-36)). Solve g = 4*d - d for d.
2
Let i = -6 - -9. Suppose -i*b + 0*b = 0. Suppose b = l + 2*l - 15. Solve 0 = l*y - 5 for y.
1
Let l(a) = -a + 4. Let v be l(-8). Let p(z) = -z**3 - 5*z**2 + 6*z + 3. Let f be p(-6). Let b = 8 - f. Solve b*y + v = -13 for y.
-5
Suppose b + 0*b + 11 = 0. Let n be 2/b + (-13)/(-11). Suppose 2*q + 14 = 3*t - n, -4*q = -t + 15. Solve -t*a - a = 0 for a.
0
Let v(n) = n**3 + 6*n**2 + 2*n + 7. Let y be v(-6). Let w = y + 8. Suppose 3*s - 3*l = -3, 2*l = 4*s - 0*s + 2. Solve -m - w*m + 20 = s for m.
5
Suppose 7*g - 4 = 3*g. Let s be (0 + g)*(7 + -4). Suppose s*z - 2*z - 19 = 0. Solve -z = -4*f - 3 for f.
4
Suppose -4*x + 2*c = -2*c, c = -5*x + 12. Suppose q = -0*q + x. Suppose 0 = q*v + 2*v. Solve v = i + 4*i - 10 for i.
2
Let q(u) = -u**3 - 6*u**2 - u + 1. Let x be q(-6). Let f(d) = d - 7. Let s be f(x). Let y be 3 + (-2 - -4) - s. Solve -2*l + 12 = -y*l for l.
-4
Let t(u) = -u. Let q be t(5). Let h(z) = -7*z**2 - 4*z - 4. Let d(w) = -w**2 - 1. Let a(k) = 6*d(k) - h(k). Let p be a(q). Solve 2*m + m - p = 0 for m.
1
Let q be (-1 - -1)/(7 - 4). Let o be (q + 0)/(-4 - -2). Solve -8 = -o*n + 2*n for n.
-4
Let k(z) = z**2 - 21*z - 44. Let m be k(23). Solve 9 = -5*c + m*c for c.
-3
Let p(k) = -9*k + 2. Let s be p(-2). Suppose -2*n - s = -7*n. Solve -6*q = -n*q + 6 for q.
-3
Suppose 0*l = 3*l. Let v be 0 + 1 - (l + -1). Solve -4*r + v = 6 for r.
-1
Let l(v) = 2*v - 3. Let n be l(5). Let a = -5 + 8. Suppose 20 = -4*k + 5*u, -u - 1 + 5 = -a*k. Solve k = -n*o + 3*o for o.
0
Suppose 3*w = -q + 13, 2*q + 3*q - 4*w = 27. Let z(s) = s**3 - 6*s**2 - 7*s + 3. Let l be z(q). Let t(d) = -d**2 + 1. Let b be t(1). Solve -l*p - 2*p = b for p.
0
Let b(t) = -3*t - 4. Let u be b(-2). Solve u*f = f for f.
0
Suppose -4*m + m + 4*l + 32 = 0, 3*m - 2*l - 22 = 0. Solve m*u = 2*u + 4 for u.
2
Suppose -15 = -5*y - 0. Solve b - 1 = -y for b.
-2
Let a be (9/(-3) - -3)/3. Let n be (0 - a)*(-4)/12. Let y = 7 - 4. Solve 3*t = y - n for t.
1
Suppose 0 = 3*l - 3 - 15. Let x be (-80)/(-14) - l/(-21). Let i be -1 + 0 + 11 + -10. Solve 2*d + x + 0 = i for d.
-3
Suppose 0*w - 2*w = -6. Suppose n + w = 6. Solve -x = n*x for x.
0
Let k be 16*(1 - 0 - -1). Let q be 3/2*k/(-3). Let d = -5 - q. Solve -d - 14 = -5*l for l.
5
Let z be -5*1*(-33)/3. Suppose 0*v + 4*v = -5*x + z, 5*v - x - 47 = 0. Solve 0 = a + a - v for a.
5
Suppose -12*p + 4*p + 24 = 0. Solve 0 = -0*o - p*o - 3 for o.
-1
Let p(t) be the third derivative of t**5/60 - 7*t**4/24 + 3*t**3/2 + 3*t**2. Let a be p(7). Let h = -4 + a. Solve 0*q + h*q = -25 for q.
-5
Suppose 0 = -3*q + 2*r + 1, -4*q - r + 2 = -3*q. Let z be 2 + -2 + q + 1. Suppose -5*h + 18 = -2*h. Solve -z = d - h for d.
4
Suppose 0 = -l + 2*l. Solve l = -0*a - a + 2 for a.
2
Let s = -11 - -14. Solve 5*y - s*y - 6 = 0 for y.
3
Let a = -56 + 56. Solve a*r - 4 = -2*r for r.
2
Let i(l) = -l + 2. Let k(t) = -t. Let d(f) = -i(f) + 4*k(f). Let g be d(-2). Solve 15 = -r - g*r for r.
-3
Let l be 37*(-1 - (-1 - 1)). Let z = -22 + l. Suppose g + 4*n = z, 2*g + n - 12 = -n. Solve -2*y = y + g for y.
-1
Suppose h - 9 = 2*w - 0*h, -2*h = 2*w. Let b be 3*(-1)/w - 1. Solve b = 2*m - 0*m - 2 for m.
1
Let y(w) = -5*w**2 - 5*w + 7. Let i(q) = 4*q**2 + 4*q - 6. Let n(a) = -4*i(a) - 3*y(a). Let x be n(0). Let k = x - -2. Solve -2*p = -p + k for p.
-5
Suppose 3*q = q + 12. Solve -18 = 4*o - q for o.
-3
Let p be -2*1 - (1 + 0). Let a be 10*(p + (-14)/(-4)). Suppose -a*n + 1 = -14. Solve -x = -2 - n for x.
5
Let g(x) = -5*x - 7. Let l be g(-4). Let d = -6 + l. Solve d*c + 6 = 4*c for c.
-2
Suppose -3*r - 2*f + 16 = r, 14 = 3*r + f. Solve -2 - r = 2*u for u.
-4
Let s be (-2 - -3)*(4 + -3). Let u be s - (2 - (3 - 0)). Solve 1 = u*a + 9 for a.
-4
Suppose 0 = -5*p + 10*p - 20. Solve -11 = -3*x + p for x.
5
Let s = 1 + -3. Suppose 2*r - 2*y + 2 = -0*r, 5*r - 4*y = -9. Let g be 1 + -1 - (r - s). Solve n = g*n - 4 for n.
2
Let d(p) = -p**3 + 2*p**2 - p. Let n be d(1). Let r(g) = -g - 5. Let l be r(-3). Let m be l*(-5 + -1 + 4). Solve n*i - 16 = -m*i for i.
4
Let t(j) = -j**3 - 8*j**2 - 10*j - 15. Let r be t(-7). Solve -r*g + 2*g = -20 for g.
5
Let g = 79 - 77. Solve -g*b - 2 - 2 = 0 for b.
-2
Let c = 1 + -2. Let a = -1 - c. Solve a = -0*k - 2*k for k.
0
Let q be ((-20)/6)/(2/(-6)). Let b be 6/q + 28/20. Solve -b = k + 1 for k.
-3
Let v(g) = -g**2 + 9*g + 8. Let x be v(10). Let j = x - -5. Solve -j*u = 2*u + 15 for u.
-3
Let u(t) = -t**3 + t**2 + 5*t - 2. Let o be u(3). Let f = -3 - o. Solve f*k - 8 = 4*k for k.
-4
Let a = 54 + -54. Solve a = 5*m - 2*m - 3 for m.
1
Let p(k) = -k**3 - k**2 - 2. Let b be p(-2). Solve 5*a + b = 7 for a.
1
Let k be (10/(-4))/(2/(-4)). Suppose -6*m - 8*m = -28. Solve -m*f = -k*f for f.
0
Let z be ((-5)/(-15))/((-4)/(-36)). Solve z*l = 4*l for l.
0
Suppose 0 = -5*v + 16 + 34. Solve 5*q + v = -0 for q.
-2
Let a(r) = r**3 + 5*r**2 - 15*r - 7. Let w be a(-7). Let b(q) = 2*q - 10. Let t be b(5). Solve t = -k - 1 - w for k.
-1
Suppose -4*z - 16 = 2*o - 0*z, -3*z = -3*o + 12. Suppose o = 3*w + 2*w. Suppose w = 5*k + q - 2*q - 19, 4*k + q = 17. Solve -k*g = -g - 9 for g.
3
Suppose -3*o - 4 = -5*o. Let y(h) = -h + 0*h**2 - h**o + 0*h**2 + 25. Let f be y(0). Solve 4*p = -f + 5 for p.
-5
Let y be (3/(-2))/(3/4). Let p = y + 2. Let s(q) = -q**2 - 5*q - 2. Let j be s(-4). Solve j*k - k = p for k.
0
Let z = 146 + -145. Suppose -3 = -2*o + 1. Solve z = -p + o*p for p.
1
Suppose 3*z + 14 = 5*k, -4*k + 0 + 10 = -3*z. Suppose 4*n - 5*f = 14, -k*f + 9 + 29 = 5*n. Solve 4*o - n = -2 for o.
1
Suppose -4*q + 14 = 3*d - 2*d, 10 = q - 3*d. Suppose 2*w = 4*o - 7*o + 27, -q*o + 19 = -3*w. Solve 3*a - 5 = o for a.
4
Suppose 4*j = -0*j. Let d be -6*(j/3 - -1). Let s be 5 - (-1)/(3/d). Solve 2 = n + s for n.
-1
Let m = 70 - -55. Suppose m = -4*f - f. Let i = -9 - f. Solve i + 4 = 5*o for o.
4
Suppose -4*k - d = 19, -3*d - d = -4*k - 4. Let u = -2 - -4. Let j be k/5*(-5)/u. Solve 4*x + 10 = j*x for x.
-5
Suppose -5*f + 55 = -0*f. Let r = -9 + f. Solve -4 = 3*o + r for o.
-2
Let a = 1 - -4. Solve -20 = -o + a*o for o.
-5
Let z be (1 + 24)/(-5) - -4. Let g(k) = k**2 + 3*k + 2. Let v be g(-3). Let d = v + z. Solve d - 2 = u for u.
-1
Let w(h) = -h**2 - 9*h - 2. Let n be w(-7). Let v = -6 + n. Solve 0 = 5*d - 4 - v for d.
2
Suppose 0 = -4*t - 0*r + 2*r + 6, 0 = 4*t + 4*r + 12. Solve t*y - y + 5 = 0 for y.
5
Let m(x) = -3*x**3 - 15*x**2 + 15*x - 3. Let f(k) = -2*k**3 - 8*k**2 + 8*k - 2. Let y(o) = -5*f(o) + 3*m(o). Let r be y(4). Solve -3*z = -r*z for z.
0
Let y(c) be the third derivative of c**5/20 + c**4/4 - 3*c**2. Let h b