ose 3*u - 15 = -3*k, 2*u + 5*k - 4 - 21 = 0. Suppose -2*v + 5*n - 6*n = -16, -2*v - 3*n + 24 = u. Solve 4*x - 12 = 2*w, -2*w + 28 = v*x - 2*x for x.
5
Let p(t) = t**3 - 6*t**2 - 8*t + 9. Let u be p(7). Solve o - 5*i = -3*o - 23, 0 = -u*o - i - 1 for o.
-2
Suppose 2*l - 8 = s, l - s - 2*s = 9. Solve -2*v - q = -3, l*q + 23 = -v + 3*v for v.
4
Let x(a) be the first derivative of -2/3*a**3 + 0*a - 3/2*a**2 + 1/4*a**4 - 1. Let m be x(4). Solve 5*t - m = -5*v, -4*v + 16 = t - 6*t for t.
0
Let x be (0 - (1 + -2))*-11. Suppose 3*k = m + 1, k + 3*m = 2*k - 11. Let v be (k - x)/(3 - 1). Solve 0 = 4*l - v*w + 31, 3*l + 0*w - 5*w = -27 for l.
-4
Let d = -15 + 15. Solve z + x = -1, 2*x - 26 = 5*z - d for z.
-4
Let k(q) = -6*q - 4 - 2*q + 3*q - 3*q. Let j be k(-4). Let u(i) = -i**3 - 3*i**2 - i - 1. Let o be u(-3). Solve g + 3*g - 16 = 0, -4*r + o*g - j = 0 for r.
-5
Let n be 0/1*3/(-6). Solve n = 5*v - 4*d + 8, 0 = 2*v - 2*d - 3*d - 7 for v.
-4
Suppose o - 3*u - 18 = -2*o, 4*o - 12 = u. Solve 2*k - 6*k = 5*r - 14, 0 = -4*k + o*r for k.
1
Let p(g) = -g - 8. Let z be p(-9). Solve -17 = -3*h - 2*i - z, 4*h + 2*i - 18 = 0 for h.
2
Let t = -19 + 29. Let l = 12 - t. Solve -k = -4*x - 4, 0 = -3*k + l*x - 0*x + 2 for k.
0
Let o(n) = n**2 + 10*n - 8. Let b(d) = -d**2 - 9*d + 8. Let f(p) = 5*b(p) + 4*o(p). Let u be f(-6). Solve 0 = -4*v + 2*v - r + 9, u*r = 10 for v.
2
Let x(b) = -4*b + 55. Let a be x(13). Solve s - 4 = 3*c, 3*s + 5*c + 33 = a for s.
-5
Let v = 15 + -15. Suppose v*s + s - 4 = 0. Solve -2*i + u = 3*i + 4, 0 = s*i - u + 4 for i.
0
Let m(z) = 2*z**2 + 4*z - 4. Let i be m(4). Let d = 65 - i. Solve -f = 4*u - 8, d = u - 3*f + 6 for u.
3
Suppose 5*n - 21 = -2*g - 0*g, 5*g - 4*n = 3. Let z = g - 3. Let v = z + 6. Solve 3*c = 3*l - 6, -7*c + 4*l - 5 = -v*c for c.
-1
Let p(a) = -a + 1. Let j be 5 + -2 + 0/(-1). Let n = -3 - j. Let t be p(n). Solve 3*s = y - t, -4*y = -s + 2*s + 24 for s.
-4
Let i(w) = 18*w**3 + w**2 - w + 1. Let q be i(1). Suppose 6 + 12 = 3*f. Solve r = h - f, -4*h - 7 + q = -r for r.
-4
Let z(s) = 15*s**2 - s. Suppose -2*o = -8, 4*l + o = -2*o + 8. Let m be z(l). Solve 0*i + 4*i = -5*k + 36, k - 5*i = -m for k.
4
Suppose 0 = -6*z + 3*z + 3*f + 3, z + 4*f - 11 = 0. Solve t = s + 8, 0 = t - z*t - s + 7 for t.
5
Suppose 5*u - 5 = 0, -4*u + 10 = 4*g - 2*u. Solve -5*r - 33 = -2*s, -14 = 2*r + s - g*s for r.
-5
Suppose 4*z - 5 = -5*b, 4*z + 3*b = 2*b + 17. Solve -3*f = 3*r - 12, 36 = -2*f + z*r + 9 for f.
-1
Let f = 0 + 8. Let d be (1 + 1)*(-7 + 9). Solve d*p - f = -5*l, p + 2*l + 7 = 3*l for p.
-3
Suppose -7 = -5*k + 13. Let s be (-1 + k)*4/6. Solve 0 = -q - t + 2, -q + 8 = s*q + 4*t for q.
0
Suppose 0 = a - 7 - 5. Let h = a + 0. Let y = h + -6. Solve 35 = -5*x - 4*w, -x + y*w - 3*w + 12 = 0 for x.
-3
Suppose 18 = 4*l + 6. Let p = l + -3. Let v(x) = x**3 - x**2 + 1. Let d be v(2). Solve p = 2*f - 3*z + 1 - 23, 0 = -5*f - 5*z + d for f.
5
Suppose 5*w - 28 = -4*c, 3*c + 2*w - 13 = 15. Solve 5*u - 2*u = -c, 0 = j - u - 2 for j.
-2
Let a be 2 - 0*(-3)/9. Suppose -a*d + 22 = d - q, -2*d - q = -8. Solve 5*f - 3 = z, 5*z - 3*z + 5*f = -d for z.
-3
Suppose -5*s = 3*c - 11, s + c + 0 - 1 = 0. Let u be s/(3*2/12). Solve -u = 3*y - h - 21, -h - 4 = 0 for y.
3
Let j be (7/2 + -1)*10. Let p be (15/(-6)*12)/(-1*2). Solve 3*v - p = -0*v - k, -3*k = 4*v - j for v.
4
Let y(i) = -i + 6. Let j be y(5). Let t = j + 1. Solve 0 = -2*p - v - 8, 5*p + 0*v = -t*v - 18 for p.
-2
Let y(m) = -m. Let n be y(-5). Suppose 3*l - 3*z = 2*z - 20, 0 = -5*z + n. Let o = l - -5. Solve -i + 5*c + 8 = o, -i + 3*c + 12 = 2*i for i.
3
Suppose -m + 4*z = -23, 24 = m - 5*z - 1. Solve 4*r - x + m = 0, 13 = -2*r - 2*x - 3*x for r.
-4
Suppose 0 = 3*v + 3*x - 6 - 6, -4*v = -3*x - 23. Let h = v - 5. Solve 4*l = -l + 3*a - 19, -l + a - 5 = h for l.
-2
Suppose -2*v + 4*n = 11 - 35, -v + 5*n = -27. Let t(o) = -v - 3*o - o**2 + 4 + 0*o. Let p be t(-3). Solve p*u - m = 4, -m = -u + 3*u - 12 for u.
4
Suppose -2*p + 4*o = -44, -4*p - 27 = -5*p + 3*o. Solve -4*s + 4 = 0, 4*y + 3 = -5*s + p for y.
1
Suppose -4*s = 2*m + 8, 5*m = -4*s - s. Solve -f + 2*u = -1, 2*f - 16 = -2*f - m*u for f.
3
Let i(b) = -b**3 + 2 + 4*b - 2*b**3 + 5*b**2 + 4*b**3 + 2. Let j be i(-4). Suppose j*h - 7*h + 24 = 0. Solve -15 = -5*u - 5*v, 4*u + 3*v = h*u - 12 for u.
3
Let j = 8 - 4. Let m = j - 2. Solve 5*f = -2*n - m*n + 7, 0 = 4*f - n - 14 for f.
3
Suppose 5*q + 8 = -2*x, -3*q = 2*x + 5 + 3. Let z = 3 + x. Let l be (-4)/6*3*z. Solve -3*w + 2*o + 10 = -l*o, -2*o - 10 = w for w.
-2
Let l(f) = -3*f**3 - 3*f - 5. Let d be l(-2). Solve -5*b = 2*u - d, b + 0 - 5 = -2*u for u.
0
Let i = 3 + 2. Suppose -i*x = -2 - 13. Suppose -5*f = -5*k, 3*f + 4*k - 27 = -2*f. Solve -5*q = f*v + 1, x*q + 3*v + 3 = -0*v for q.
1
Let b(g) = g - 4. Let q be b(8). Solve q*m - 2 = -3*d + 3, -m = 3*d - 8 for d.
3
Suppose 0*h - h - 3*j = -13, 0 = -2*h + 2*j - 6. Solve -z = -2*l - h, 0 = -3*l - 2*l for z.
1
Let k be 4/18 - (-52)/9. Let j be (24/(-32))/(k/(-16)). Solve 4*o - 16 + 2 = j*z, -2*o + 1 = z for z.
-3
Let h(d) = d**3 + 9*d**2 + 8*d + 2. Let q be h(-8). Solve 0 = -3*y - p + 6, 0 = y + q*p - 2 for y.
2
Suppose -3 = -4*o + 5. Suppose 2*z = o*y - 0*z - 6, -z + 5 = y. Solve 0 = y*u, -5*u = s + 2 - 5 for s.
3
Let c = -19 + 20. Suppose 0 = -s - f + 6, f = -0 + c. Solve s*b + m + 3*m - 7 = 0, m = 4*b + 7 for b.
-1
Let x = 9 - 14. Let y be 0*3/6 - x. Let o be ((-2)/(-2))/(2/14). Solve c - 7 = -5*j - c, y*c = -2*j + o for j.
1
Let c(q) = q**3 + 6*q**2 + 2*q - 4. Let y be c(-5). Let p = -2 - -4. Solve -3*g = -2*j - 1, y = g + p*j - 0*j for g.
3
Suppose -4*n - 3*o + 27 = 0, 3*n = 8*n - 3*o. Solve -u - s = n*s - 3, -5*u = -3*s + 31 for u.
-5
Let t(s) be the first derivative of 4*s**3/3 - s**2 - 2*s - 1. Let k be t(-2). Let g = k - 8. Solve 5*r = 4*m + 7, -2*m - 4*r - g = -0 for m.
-3
Let h be (-2)/(-4) + 7/(-2). Let l = 1 - h. Solve -c = -l*s + 9, 3*c + 12 = -s - 2*s for c.
-5
Let q be (-2 + 1)/((-3)/15). Solve 25 = -7*c + 2*c - q*i, -i = 2*c + 5 for c.
0
Suppose 4*s - 12 = -0*s. Let g be (-4 + 2)*(-26)/4. Solve 1 = m, m + g = s*u + 5*m for u.
3
Let w be (15/(-3))/(1 - 2). Solve -3*h - 6 = w*s - 1, -h + 5 = -5*s for h.
0
Let l(o) = -10*o + 23. Let x be l(2). Solve -v = 3*v - x*d - 27, 0 = 3*v - 5*d - 34 for v.
3
Suppose 5*v = v + 5*z + 16, -3*z = 0. Solve v*i + 41 = -5*l, 0 = 5*i + 2*l + 8 + 22 for i.
-4
Suppose 0 = 5*r - 3 - 2. Let c be r - 0 - (-11 + -1). Solve -5*o - x = -0*o - 2, -5*x = 2*o + c for o.
1
Let i(s) be the second derivative of s**3/6 - 3*s**2/2 - s. Let f be i(5). Let o be (0 - 6)/(1/(-3)). Solve 6 = -2*y, -2*q = f*q - 2*y - o for q.
3
Suppose -3*s = -7 - 5. Suppose -12 = -4*a, s*a + a = w + 15. Solve w = -2*f + 2*k - 4, -3*f = -6*f - 3*k for f.
-1
Let v = 7 + 9. Suppose -5*m + 4 = -v. Suppose 0 = 4*i - 4*f, -5*f = -m*i - 0 - 5. Solve 0 = -5*r + 2*u + 3*u - 15, -i*r = -2*u for r.
2
Suppose -4*r + 4*l = 0, -4 = 2*r + 2*r - 5*l. Solve -3*t = v - 20, 4 = r*t - 3*v - 1 for t.
5
Let m = -4 + 9. Let t = 9 - 7. Suppose -t*v - 3*v = 0. Solve 0 = 5*n - v*f + f, 4*n = -m*f - 21 for n.
1
Suppose 0 = 2*s + d - 37, 25 = d + 4*d. Suppose u + 30 = 6*u + 3*p, -4*u - 5*p = -37. Suppose 0 = -0*l - u*l + 12. Solve s + 2 = -5*b - l*o, -5*b = -5*o for b.
-2
Let a be 1 + 2/(-2) + 147/49. Solve -a*i - 6 = 0, 0 = -4*d - 3*i - 2 + 12 for d.
4
Suppose -5*a - 8*p = -13*p - 15, -3*p = 5*a - 31. Suppose 4*r = 5*r - 5*h + 21, 2*h + 6 = 4*r. Solve d + a = -2*d + 2*y, 5*y = -r*d + 1 for d.
-1
Let m = 14 - 12. Let p be (m/(-4))/(-1)*4. Solve -6 = 2*b - 2*a, -p*b - 3*b = a + 21 for b.
-4
Suppose n - 4*n + 60 = 0. Let j be 8/5 - (-8)/n. Solve r + j*d = 5*r - 10, d + 1 = 0 for r.
2
Let i = 5 - -7. Suppose -5*j + i = -j. Solve -5*b = -j*k + 8*k, -b = 1 for k.
1
Let r(d) = -6*d**2 + 27*d - 2. Let i be r(4). Solve -2*p = -0*p - 2*o + i, -8 = 3*p + 4*o for p.
-4
Let p = -148 + 153. Solve -15 = 5*r, p*u + 0*u + 3*r - 11 = 0 for u.
4
Let o(w) = -2*w - 29. Let j be o(-16). Solve 3*c - 7 = q, j*c = 5*q + 5*c + 1 for q.
-1
Let z = 134 - 130. Solve -5*p - 4*l + z = -4, 8 = 4*l for p.
0
Let b = -17 - -24. Solve 3*r - 20 = -m - b, -r = 2*m - 1 for m.
-2
Let o = -33 - -53. Solve 0*d - 11 = 4*h + d, 0 = 4*d - o for h.
-4
Let s = 19 + 3. Let h = -6 - -9. Let l = h - -1. Solve -q + l*q 