
Let r(a) be the first derivative of a**3/3 - 9*a**2/2 + 11*a - 4. Let p be r(8). Solve 3*q - 2*v + 24 = -5*v, 2*q + 1 = p*v for q.
-5
Suppose 402*b - 410*b + 128 = 0. Solve 3*z - 19 = -5*w, 4*z - 2*z + 4*w - b = 0 for z.
-2
Let m(t) = 2*t - t**2 + 4*t**3 - 6*t + 4 - 3*t**3. Let r be m(3). Let w be ((-15)/r)/(6/(-16)). Solve 3*i + 4*j = 16 - 2, -w*i - 5*j = -17 for i.
-2
Let t be 2*((29 - 2) + 5). Let m = 67 - t. Solve 5*a - 13 = -3*r, -r + m*a = -5*r + 10 for r.
1
Let l(x) = -x**3 + 3*x**2 - 2. Let i be l(1). Solve i*d + 20 = d - 5*z, 0 = -3*d + 3*z + 12 for d.
0
Suppose -7*j = -8*j + 24. Suppose 11*c - j = 5*c. Solve -5*n + 11 = i + i, 0 = -i + c*n - 1 for i.
3
Let i = -6 + 9. Let z = 231 - 227. Solve -20 = -i*n - n, z*f + 14 = 2*n for f.
-1
Let s(c) = -c**3 + 2*c - 3. Let f be s(0). Let a = 5 + f. Let g(n) = -2*n - 4. Let i be g(-3). Solve 4*k + 3*j - 8 = -a*j, 0 = -3*k + i*j - 17 for k.
-3
Suppose 2*r + 2*d - 98 = 0, -2*d + 4*d = 0. Let l = 51 - r. Solve 4*j = 5*m - 37, 3*m + j - 2 = l*m for m.
5
Let p be 10/(-3 - ((-21)/2)/3). Suppose -b + 21 = -p. Solve 4*i + z + 25 = 0, 5*i + b + 4 = -4*z for i.
-5
Suppose y = a + 7, -5*y + 4*a + 24 + 7 = 0. Let u = -144 + 145. Solve y*v - v - 3*p = 1, p = -u for v.
-1
Let n be (-7 + -3)/(2 - 4). Solve 3*v - 10 = -n*g, 2*g - 6 = 4*v - g for v.
0
Let j(m) = m**2 + 5*m - 9. Let v be j(2). Solve -v*z + 4*g = -35, -2*z - 19 = 3*g + 2*g for z.
3
Let g(q) = -q**3 + 2*q**2 - q + 4 + 2*q**3 - 6*q**2. Let c be g(4). Solve -4*h + 4*d + 1 = h, -3*h + 5*d - 2 = c for h.
1
Let q = 9 + -6. Suppose -30 = -q*b - 3. Suppose b = i + 4. Solve -5*x = -2*s, x - i*x + 13 = s for x.
2
Suppose n = 3*j - 21, -15 + 1 = -2*j - 4*n. Suppose -w + 20 = 4*s, 2*s = 2*w + 3 + j. Solve -5*m - 3*b - 1 = w, 4*b + 8 = -2*m - b for m.
1
Let s(y) = -y**3 - 12*y**2 - 13*y - 2. Let p be s(-11). Suppose -20 = -5*l, -3*l = i - 7*l + 2. Solve 0*o = 3*b - 2*o - i, -2*b = -4*o - p for b.
2
Let l(a) = -3*a - 1. Let o be l(-2). Suppose 4*m = o + 3. Solve 2*b = 2*t + m, 0 = -3*b + 4*b - 3*t + 1 for b.
2
Let v be 39 - 6*2/(-4). Let s = -40 + v. Solve -s = -l + 2, 0 = -c - 2*l + 9 for c.
1
Let k(m) = -m - 2. Let u be (7 + -1)*(-2)/(-3). Let f = u + -10. Let s be k(f). Solve -2*n + s*q = -30, 0 = 4*n + q - 2 - 13 for n.
5
Let a = -63 + 68. Solve 0 = 2*n + 5*r - 5, a*n + 2*r + 0*r - 2 = 0 for n.
0
Let l(y) = -y**3 - 9*y**2 - 8*y + 5. Let o be l(-8). Let n be -24*10/(-4) - (-5 + 2). Let f = n + -48. Solve o*w = -5*z - f, -z + 3*z = -3*w - 10 for z.
1
Let d be ((-26)/(-8))/(3/(-24)) + 3. Let j = 26 + d. Solve -2*o + 4 = 0, -b - o + j*o = 0 for b.
4
Let a be 30/90 - 10/(-6). Suppose a*k = 6*k - 8. Solve -o - 4 = -k*y, -y + 0*y - 5 = 3*o for o.
-2
Let c = -14 - -24. Let u(y) = -y**3 - y**2 - 4*y - 3. Let j be u(-2). Solve 5*k + 5*g + c = 0, 3*g = 6*g + j for k.
1
Suppose -5*p + m - 52 = 0, -4*m = 2*p - 1 + 13. Let n be (-4*(-5)/p)/((-4)/30). Solve -2*t - 2*g = 10, 3*t + g = -0*t - n for t.
-5
Let w = -179 + 194. Solve -z - 3*a = -w, 2*z - 4*a = -z - 7 for z.
3
Suppose -8*l + 3*l + 25 = 0. Suppose 0 = -2*q + 6 + 2. Suppose -4*o = -4*f, -4*f + 5*f - 10 = -q*o. Solve 2*c - f = -l*d, -d = 3*d + 2*c for d.
2
Let r(h) = 5*h**2 + 2*h + 1. Suppose 10 = -y + 9. Let o be r(y). Solve 0 = -2*w + 5*q - 11 - 5, o*q = -2*w + 2 for w.
-3
Suppose -3*n - 2*p = -10, n - 2 = 3*p - 6. Solve 3*k - 2*q + 5 = 0, -5*q + 3*q = n*k for k.
-1
Suppose 3 = p - 3*g + 4*g, 5*g = 0. Solve 4*n - p*n = -3*y + 18, -3 = -n for y.
5
Let y(s) = 23*s - 18*s + s**2 + 4 + 1. Let b be y(-5). Suppose -n - 1 = b*p, -4*n - 4 = -4*p - 0*p. Solve 4*o + 5*z = 11, p = o + z - 2 for o.
-1
Let g = -43 + 66. Suppose 3*s + 2 = g. Solve 2*y = -i + 5*y - s, -2*y + 14 = -3*i for i.
-4
Let b = 1015 + -1011. Solve 0 = 4*f + 5*q + b, -4*f - f = 5*q + 5 for f.
-1
Let q = -9 + 14. Let v be 8/(-10) + 44/q. Suppose 8*d = 6*d + v. Solve w + 3 = -0*w + d*f, -4*w + 16 = -2*f for w.
5
Let z be 46/14 + (-50)/175. Solve 3*s = z*i + 12, -4*s - i - i - 2 = 0 for s.
1
Let l(i) = -i**3 + i**2 - 2*i - 2. Suppose d - 4 = 5*d. Let f be l(d). Solve k - 16 = -5*a, 2*a = -f*k - 3*a + 17 for k.
1
Let u = 95 - 52. Suppose -3*w = -8 - u. Solve -4*i = -0*i + 3*c - w, 5*c - 15 = 0 for i.
2
Suppose 0 = -2*q + 20 - 4. Suppose 7*f - q*f = 0. Solve 4*d - 4*p + 16 = 0, 3*d + 8 + f = -p for d.
-3
Suppose z + z + 3*q + 19 = 0, -2*q = -z - 27. Let y = z - -32. Solve -3*a - 8 = n, 2*n = -2*n + 5*a - y for n.
-5
Let k(p) = 18 + 2*p**2 - p**3 - p**2 + 18 - p - 24. Let b be k(0). Solve 4*w = -4*a - b, -7 + 3 = 4*w for a.
-2
Let g = 10 + -6. Let h be 7 - (2 - (-10)/(-15))*3. Solve -13 = -3*u + 4*j, -u - g*u + h*j = -7 for u.
-1
Suppose 2*f = -4*a, -3 = f + a - 0*a. Let g be 30/25*(-20)/f. Solve 3*s - 6*j - 3 = -j, -4*s + g = -2*j for s.
1
Let d be (-15)/(-3) - 1/(2/(-10)). Solve -2*l + 8 = 5*g - 2, -2*l + d = -3*g for g.
0
Let o(a) = -a**3 - 7*a**2 + 5. Let u be o(-7). Let h(v) = 3*v + 8. Let j be h(u). Solve j = -m - m - 5*q, -4*m + 19 = -3*q for m.
1
Let f be ((-4)/3 + (-56)/(-24))*13. Solve f = 4*j - 5*w, -4*w = 2*j - 0*w for j.
2
Suppose 0 = -5*n + 2*g + 441, 4*n - 339 = -8*g + 5*g. Let m = 87 - n. Solve 8 = 3*k - k, -4*r - 2*k = m for r.
-2
Suppose -2*o - 3*y = -11, 0 = -2*o + 3*o + 3*y - 10. Solve u - 11 = -2*u + 5*s, 3*u + o = 2*s for u.
-3
Let i be 1 + 2 - (-2 + 3). Let w = -9 - i. Let f = -7 - w. Solve 3*k - f*s = 15, -2*k + k + 2*s + 7 = 0 for k.
1
Suppose -3*m + 20 = 2*g, -2*m - g + 12 = g. Let z(l) = -3*l**2 + 2*l + 0*l + 9*l**2 + l**2. Let u be z(-1). Solve 0 = u*n - m*d + 4*d + 23, -2*d + 7 = -n for n.
-3
Suppose -2*n + 76 = k + 5, -5*k + 22 = n. Let y = n + -35. Solve -5*m + 5*u = 0, u = -y*m - 1 - 5 for m.
-2
Suppose k - 3*k - 4*t = -22, -5*k + 19 = t. Suppose -5*d - 44 = -2*u, -u + k*d + 24 = 2. Let a = -12 + u. Solve 2*j = n - 0*j + 2, 0 = -5*n + 5*j - a for n.
-2
Let g = 11 - 2. Suppose 4*q + 55 = g*q. Let z = q - 8. Solve 4*p - 5*y = -11, -3*y = -p - 2*y - z for p.
-4
Let l be 15/(-4)*(378/(-45) - -6). Solve 18 = 2*w - 5*c, 0 = 5*w - 5*c - 6 - l for w.
-1
Suppose 5*m + 10 = 4*w + 30, m - 4 = -5*w. Solve -4*r + 2*r - 6 = 0, w = -a + 4*r + 17 for a.
5
Let g(k) = -k**2 - 11*k + 15. Let s be g(-12). Let h be (-2 - (-8)/s) + (-20)/(-15). Solve c + 4 = -0*c - m, -3*m - h = c for c.
-5
Let f(m) = -m**3 + 8*m**2 - m + 10. Let p be f(8). Let q = 15 - 7. Let r = -2 + q. Solve -3*b + p - 5 = 0, 0 = -u - 4*b - r for u.
-2
Let r(h) = h**2 + 12*h - 7. Let v be r(-11). Let x = v - -3. Let d = -6 - x. Solve -w + s = -s + d, 0 = -2*w - 3*s + 3 for w.
-3
Let p be (-2 - -27)*(2 + -1). Suppose -3*d + 1 - 4 = -3*l, 0 = -5*l - p. Let i be (-12)/3 - (d - 2). Solve 5 = 2*u - 3*g, -3*u = g + i - 17 for u.
4
Suppose 78 = 10*a + 3*a. Solve -5*j + 2*s = -9, 4*j - a = j + s for j.
3
Suppose -3*i + 0*u + 5 = -4*u, 5*i - 2*u - 13 = 0. Suppose i*n + 30 = 42. Solve 0 = n*r + m - 0 + 1, m + 7 = 2*r for r.
1
Suppose 24*c - 16 = 104. Solve -3*w + 8 = c*m, 4*w + w - 3*m = -32 for w.
-4
Let j(q) = 2*q + 9. Let s be j(3). Suppose 33*p - s = 28*p. Solve -b + 8 = 2*m, -m - p*m + 24 = 4*b for m.
2
Let g(u) = -u**3 + 8*u**2 - 5*u + 42. Let n be g(8). Solve -2*b + 5*b + 6 = 3*v, 4 = n*v - 4*b for v.
2
Suppose -7*u + 26*u - 323 = 0. Solve -2*r + 5*z = 3*r + 25, 4*z - u = r for r.
-1
Let i(y) = -9*y**2 - 107*y + 15. Let h be i(-12). Solve j = -3*k - 8, -4 = -j + h*j for k.
-2
Let t(i) = 3*i**2 + 2*i - 2. Let k be t(-2). Let u be (1 + -16)*4/k. Let r be u/(-4)*(3 + -1). Solve 3*n = -2*p + n, 0 = -r*p + 2*n + 14 for p.
2
Let d = 2 + 3. Let q(x) = -x + 4*x**3 - 2 - 3*x**3 + d*x**2 - x**2. Let f be q(-4). Solve 0 = -4*v + 3*y - 28, -4*v = -5*v + f*y - 12 for v.
-4
Suppose -265*t = -267*t + 18. Solve -a + z - 3 = 0, 5*a - 4*z = -2 - t for a.
1
Let l = 6 + -13. Let j = l + 9. Solve -3*q = -4*n + 19, 2*q + 2*n = j + 4 for q.
-1
Suppose 3*s + 1 = -5. Let a be (-2 - 0)*1/s. Solve -5*k + w = -w + a, 0 = -3*k + w for k.
1
Suppose 13*i - 17*i = -40. Suppose 0 = 8*h - 22 - i. Solve -h*r + 14 = 3*s, 3*s = -6*r + r + 19 for s.
-2
Suppose 3 = -12*h + 13*h. Let q be 1/(-1)*(0 - 0). Suppose 8*k - 4*k - 8 = q. Solve -h*l - 24 = -3*r, -k*r = 3*l + r for l.
-4
Suppose -4*c + 76 = 4*z, -2*z + 61 = 3*c + 3*z. Suppose -7*d - c = -8*d. Solve -2*n + 3*n + k = 2, 4*n - 5*k - d = 0 for n.
3
Let v(r) = r