 Let l(p) = 4 + 4*p - t + 3 - p**3 + 3*p**2. Let m be l(4). Solve -5*b + a - 3 + 1 = 0, -m*b = -a + 2 for b.
0
Suppose -4*p + 3*p - 20 = -5*t, -p + 15 = 2*t. Solve -4*c - 15 = -3*n, -t*c + 0*c = -2*n + 10 for n.
5
Suppose 0 = -5*v - 0*v + 10. Solve c + 4*s + 7 = 0, -4 = -c - c - v*s for c.
5
Let p(f) = f**3 - 3*f**2 - f - 4. Let q be p(4). Let y be (-13 + q)*(-2 + 1). Solve -y*s - 2*t = 2, 0*s - s = -t - 1 for s.
0
Suppose -2 = 2*d + 6*g - 4*g, 5*g + 25 = 5*d. Let m be (-16)/(-2) + -1*1. Let s = 10 - m. Solve 0 = -k - 3*c - 4, -d*c + s - 7 = 0 for k.
2
Suppose -4*x + 5*q - 25 = 0, -5*q - 32 = 5*x + 33. Let i = 15 + x. Let g = 9 - i. Solve 4*p + y = 15, 0*y + y + 17 = g*p for p.
4
Suppose -3*q - 3*r = 39, 5*q + 2*r = -7 - 61. Let d = -9 - q. Suppose -4*c + 2*u + 32 = -3*u, 4*c + d*u - 72 = 0. Solve 3*n - 2*l + 9 = 2, 4*n + c = -l for n.
-3
Let m = -1 + 1. Suppose m = -2*u + u + 5. Suppose 0 = -u*z - 0*z. Solve z = 5*q - 0*w - 2*w + 5, -4*q - 1 = -w for q.
1
Let l be (0/(-1))/(3/3). Suppose l*z = -2*z. Solve -4*t - 22 = 2*r, -3*t - 4*r - 24 = -z*t for t.
-4
Let n(j) = -j**2 + 17*j + 2. Let q be n(17). Solve -2 = -5*k + 4*f + 3, 2*k - q = 5*f for k.
1
Suppose -5*y = -q - 3*q - 39, -18 = -2*y + 4*q. Solve 2*m + 5*o = -y, 0 = m - o + 6*o + 11 for m.
4
Let t be (-2)/13 - (-6)/39. Suppose t = k - 2*k + 14. Solve 0 = c + 5*r - k, -22 = -5*c - 4*r + 3*r for c.
4
Suppose -3 = 3*z + 6. Let q = z + 8. Solve 0 = -q*c - 15, -3*w - 2*c = 2*w + 21 for w.
-3
Suppose 0 = -a + 3*a. Suppose 5*r - 1 - 9 = a. Let t be r*5 - (-2 - -4). Solve 0 = 2*o + 2*w, -3*o = 2*w - 3*w - t for o.
2
Let j(f) be the third derivative of f**5/60 + 5*f**4/24 + f**3 + 2*f**2. Let d be j(-4). Solve -d*h - 5*s = 9, -5 = 4*h - s - 2*s for h.
-2
Suppose 3*r = -5*b - 10, -3*r - 2 + 0 = b. Let q be (-30)/6 - r/(-2). Let h(m) = m**2 + 4*m. Let o be h(q). Solve o*a + 0 = -2*l - 31, -l = 3 for a.
-5
Suppose 0*y + 4*y = 8. Suppose 10 = 3*c - 11. Suppose c*m - 2*m = 10. Solve 2*l - 3 = -m*r + 3*l, -23 = -y*r - 3*l for r.
4
Let p be 0/2 - 28/(-14). Solve 16 = v - 3*b + 5, -p*v - 11 = 5*b for v.
2
Let x = -7 + 11. Suppose x*p - 15 = 69. Solve p = -5*g + n - 2*n, 0 = 4*g + 5*n + 21 for g.
-4
Let o be (0 + (-24)/(-10))/(54/135). Solve -d - o*u - 4 = -4*u, -2 = u for d.
0
Suppose m = 3*m. Suppose m*s = -s + 20. Solve -4*i - c = i - s, -2*c = i - 13 for i.
3
Suppose -4*t + 4*m = -8, 3*m + 11 = 5*t - 9. Suppose -3 - t = -5*y. Solve -4*i + 28 = -4*o, 3*i - 16 = y*o - 0*o for o.
-5
Let c = -2 - 1. Let k be (3 - c)*4/6. Suppose -x + 2*x + k*h - 23 = 0, 5*x - 25 = -2*h. Solve -5*p + 4*z = x, 5*p + 5*z = 3*z - 21 for p.
-3
Let t(r) be the second derivative of r**4/12 + 4*r**3/3 + 5*r**2 - 2*r. Let m be t(-7). Solve -5*h + 0*i + 4*i = -16, 20 = m*h - 5*i for h.
0
Let x be (-3 - -1) + 1*(-16)/(-4). Solve 5*i = 2*t - 5, x*i = -3*i - 5 for t.
0
Let n(d) = 11*d**2 + 1. Let o be n(1). Let r be o/(-18) + 22/6. Solve -r*j - 2*j - 23 = -s, -5 = j for s.
-2
Let k(f) = 2*f - 9. Let a be k(7). Solve -20 = w - 3*x - 2*x, a*w + 3*x = 12 for w.
0
Suppose 10*z = z + 18. Let x be 1*-4 + 1 - -18. Solve 3*j = x, -z*w + j - 7 = -4 for w.
1
Let h(c) = c + 4. Let q(a) = -1. Let o(k) = -h(k) - 2*q(k). Let x be o(-5). Suppose -x*f + 0*f = -15. Solve 4*d = -f*t - 11, d + 14 = -5*t - 0 for t.
-3
Let k = 27 + -25. Let g be (3/12)/(1/12). Solve 2*p = 5*v + k, -2*v - g*p + 1 = -2 for v.
0
Suppose 3*m - 4 = 11. Suppose 4*a = -a + 10. Let p = m - a. Solve -4*y + 3*y + 1 = -n, -p*n - 35 = 5*y for y.
-4
Suppose -7*a + 2*a - 5*s = 0, 5*a - 3*s = -40. Let q = a + 5. Let z = 11 - 7. Solve -z*y = 4*r - 12, q = -2*y + r - 0*r for y.
1
Let k be (-2)/(-4) - 2/4. Suppose 5*q - 14 = 6. Solve -3*b + 2*r + 7 = k, q*b = -3*r + r for b.
1
Let b be 1/2*(4 - -2). Let o(c) = -c**3 + 4*c**2 - 2*c + 1. Let l be o(b). Solve 2*u + 14 = -2*q + 4, -u = l*q + 11 for q.
-2
Let k(l) = l - 1. Let w be k(-5). Let d = w - -10. Solve -o - o - 4 = 2*r, 2*r = 2*o + d for r.
0
Suppose -6*q - 6 = -3*q + 3*c, 5*q - 2*c - 18 = 0. Suppose -5*p - 2*s = -q*p - 40, -3*p = 4*s - 50. Solve 3*h - 4*g - g - p = 0, 4*g = -3*h - 8 for h.
0
Let d(p) = -2 - p + 2 - 7. Let t = -19 - -11. Let b be d(t). Solve -b = -h - 3*n, 2*n - 3*n = -h - 3 for h.
-2
Let b be 13*6/(6/(-2)). Let a be (b - -3)*2/(-2). Solve 5*u - 27 = -o, 4*u - a = -4*o + u for o.
2
Suppose -3*u + 4*u = z - 10, -4*u + 8 = 0. Solve -a - 2*c = z + 1, -c + 7 = -4*a for a.
-3
Let m(p) = 3*p - 16. Let z be m(6). Solve -z*a = 2*r + 12, 0*r + r + 2*a = -11 for r.
-1
Let n be (-3)/9*-6 + 2. Suppose 0 = c - n - 9. Solve -s = -k - 4, 3*s + c = -5*k + s for k.
-3
Suppose x - 5*x + 48 = 4*w, 0 = 4*x + 5*w - 52. Let d(m) = -m**3 + m**2 + 5. Let y be d(0). Let a = -2 + y. Solve -x = -u - a*b, -b - 1 = -5*u - 3*b for u.
-1
Let z(k) = 7*k**2 + 2*k + 1. Let w be z(-1). Let y be 8/w*9/6. Suppose y*l = -2*i + 3*l + 4, 2*l - 4 = 0. Solve -i*n + 1 = -2*s, 5*s = -n - 0*n + 23 for n.
3
Let u be (2/6)/((-4)/(-144)). Solve 4*o - u = -5*n, 3*n + 3*o - 10 = -1 for n.
0
Let k = 1 + 1. Solve q + 2*u = -11, 4*q + 7 + k = -u for q.
-1
Let t(q) = 0*q - 2 - 3*q + 2*q. Let y be t(-4). Solve y*n - 4*l - 2 = 0, -4*n + l + 1 = -4*l for n.
-1
Suppose 9*z + 40 = 19*z. Let y(g) = -g**3 - g + 25. Let a be y(0). Solve 0 = -z*o - c - a, c + 20 = -5*o + 2*c for o.
-5
Let p = -5 - -7. Let y be (-3)/(3 - -3)*p. Let h be -1 - y - (2 - 4). Solve q + 4 = o, q + 11 = -2*q + h*o for q.
-3
Let w = 77 + -75. Solve 0 = -2*r - 8, r + r = w*a - 10 for a.
1
Let y(s) = s**3 - 3*s**2 + 2*s - 2. Let a be y(3). Let m(n) = 5 - a*n**2 - 3*n - n**2 + 6*n**2. Let x be m(4). Solve r = 2*b - 4*b - x, 2*b = -8 for r.
-1
Suppose -2 = -4*v - 2. Solve -x - 5*h + 8 + 17 = 0, -x - 2*h + 13 = v for x.
5
Let z(p) = p + 5. Let u be z(-3). Suppose -t + 1 = -u. Let b(x) = -x**2 - x + 22. Let k be b(0). Solve -t*m - 3*j = -5*j + k, 2*m - 12 = -4*j for m.
-4
Let m(d) = -2*d - 16. Let s be m(-10). Solve -15 = -5*k + h + 13, 2*h + 26 = s*k for k.
5
Let o(h) = h**3 - 6*h**2 - 8*h + 2. Let b be o(7). Let p = -2 - b. Solve 21 = r - 5*w, 5 = -7*r + 2*r + p*w for r.
-4
Suppose 2 = 2*d + v, -4*d + 2*v + 32 = -3*v. Solve 5*y + i + d*i = -5, 3*y = -5*i + 10 for y.
-5
Let s(w) = -2*w**2 + 18*w + 4. Let a be s(8). Solve 5*m = -4*t - a, 7*t = -m + 3*t - 20 for m.
0
Let f = 64 + -82. Let a(c) = -8*c**3 - c. Let i be a(3). Let l be 4/(-24) + i/f. Solve -5*r = 3*t - 3*r + 4, 2*t = -5*r + l for t.
-4
Let z = -6 + 8. Let w = z + 2. Let o be 1 - (1 + 2)/(-1). Solve -5*i = -5*r + r - 24, 2*i - o = -w*r for r.
-1
Let d = -21 - -23. Solve d*h = -0*h - 2*u, -h + 4*u = -20 for h.
4
Let c be 131/7 - 12/(-42). Solve 3*j = 2*x - c, 2*x + 4*j - 5 + 21 = 0 for x.
2
Let b(c) = c**2 - c - 5. Let v be b(6). Let h(d) = 9*d + 3. Let f be h(-2). Let t = -11 - f. Solve -t*p - 2*y - v = 3*y, 2*y = -2 for p.
-5
Let l(h) = -h**2 - 4*h. Let o be l(-4). Suppose o = -z + 3*z. Solve -4*d + 5*x + 25 = z, 0*x - 13 = -3*d - 2*x for d.
5
Suppose 0 = -3*c + w - 3*w + 20, 3*w = 4*c - 4. Let u = 8 - c. Solve 0 = -4*x + u*y, 0 = -0*y + 4*y - 4 for x.
1
Let y(h) = -h**3 - 4*h - 4 + 0*h + 6*h**2 + 3*h + 10. Let v be y(6). Suppose 2*m = -2*m + 8. Solve v*l = 4*i - m*l, -2 = 4*i - l for i.
-1
Let m = 60 - 55. Solve -5*u - m*w = 10, -5*u - 10 = 4*w + 1 for u.
-3
Let b(v) be the first derivative of v**2/2 - 15*v + 2. Let m be b(9). Let k be (-4)/m*(-9)/(-6). Solve 4*a - w + 4 = 0, -5*a + w - 5 = -k for a.
0
Let u be (-2)/(-10) + 9/5. Suppose u*b = -b. Let o be (1 - b) + (3 - 1). Solve o*p = 5*s - 9, 0*p - 3*p - 3*s - 9 = 0 for p.
-3
Suppose s = 2*s - 150. Suppose -k = -3*k + s. Suppose 0 = 5*i - 0*i - k. Solve -2*h + 5*j = -0*h + i, -5 = -j for h.
5
Let n be 22/(-6) - (-10)/15. Let h = n - -5. Solve -g + 4*x - 12 = g, -h*g + x - 3 = 0 for g.
0
Let p = -11 - -8. Let o be (-3)/2*4/p. Suppose 8 = 3*r + 4*f, 6 = 6*r - 5*r - o*f. Solve k - 2*b + 3 = 0, -r*b = -7*k + 2*k + 3 for k.
3
Suppose 0 = 5*c - 10 - 0. Let w be 110/9 - (-4)/(-18). Let b = w + -7. Solve c*z + b = v, -3*v + 10 = -v - 2*z for v.
5
Suppose -2*b - 1 = 3*z - 7, 2*b + 6 = 0. Solve -9*m + 4*m = 0, 3*o = -z*m + 15 for o.
5
Let m = 22 - 13. Suppose 12*q = m*q. Solve 4*n + s + 0 - 2 = 0, 2*n + 3*s - 6 = q for n.
0
Let n(c) = c**2 - 7*c + 6. Let y = 10 - 5. Let g be n(y). Let a be (-137)/g + (-