 -2*k - z*q for k.
-2
Let c(o) = o**2 + 2*o - 2. Let a(h) = 2*h**2 + 5*h - 3. Let l(q) = 2*a(q) - 5*c(q). Let m be l(0). Solve 0 = -3*x - 1 - 2, -16 = m*d + 4*x for d.
-3
Suppose -3*p + 3*y + y + 266 = 0, -p = 5*y - 95. Let v = -62 + p. Let x = 40 - v. Solve -4*o - z - x = -3, 5*o = 5*z - 5 for o.
-2
Let k be 5 - (-2 + (-1 - -2)). Suppose 2*d + k = 14. Solve 0 = -5*r + 10, -2*y + d*r + 3 = 5 for y.
3
Let g(l) be the second derivative of 0 - 3*l - 9/2*l**2 + 1/3*l**3 - 1/20*l**5 + 7/12*l**4. Let w be g(7). Solve -w*u = -2*p + 13, -4*u - p + 0 - 13 = 0 for u.
-3
Suppose 5*m - 156 + 6 = 0. Let s = m - 28. Solve -x = 4*f - 3 + 12, s*f - 4*x = 0 for f.
-2
Let h be (-14)/18 + 1 + 250/90. Solve -3*u = 3, 2*u = 5*o + h*u - 9 for o.
2
Let z = 27 - 16. Let r = z + -9. Suppose -16 = -2*s - r*s. Solve -27 = 5*h - 3*c, -h + s*c - 25 = 2*h for h.
-3
Let g(y) = y**2 - 3*y. Suppose -u - 8 = -3*u. Let f be g(u). Suppose 0 = 5*r - f - 6. Solve 3*j = -0*j + w - 5, r*w = -4*j - 20 for j.
-3
Let d = 6 + 9. Let a be 186/d + (-6)/(-10). Solve -2 = 4*q - 3*b, -5*q = 2*b + 2*b - a for q.
1
Let h(g) = 6*g - 7. Let j be h(2). Solve 4 = -j*y + 2*q, 2*y = -q - 8 + 1 for y.
-2
Suppose -4*c - 4 + 20 = 0. Solve 0*k + c*k - 7 = 3*v, 2*k - v - 1 = 0 for k.
-2
Let f(x) = -2*x + 2. Let b be f(-1). Suppose -4 = -b*d + 8. Solve 4*q + d + 1 = -5*w, -16 = -5*q - w for q.
4
Suppose 56 + 154 = -5*u. Let d be ((-16)/12)/(4/u). Solve 0 = 4*p + p - 20, -3*s = -5*p + d for s.
2
Suppose 10*i - 4 = 9*i. Solve -4*d = 0, -i*d + 2*d = 5*w + 20 for w.
-4
Let g = -16 + 20. Solve -2*s - 2*i = -g, -s + 3*i = -i + 13 for s.
-1
Let t be 2 - (-2)/(4/18). Let k = 19 - t. Solve -k = -4*u, 11 = 5*q + 2*u - 8 for q.
3
Let l be 8*(0 - 4/(-8)). Solve 4*c - 9 = c + d, -l*d + 24 = 3*c for c.
4
Let s = 10 + -7. Let u be 5/(10/(-6)) + s. Let d be (-3)/((-3)/4 - u). Solve 5*b + 28 = 3*t, d*b - 4*t - t + 25 = 0 for b.
-5
Let h be 6/16 + (-783)/(-216). Solve -3*u = h*s, 4*s + 8 = -5*u - 0*u for u.
-4
Let n(p) = -p**3 + 6*p**2. Let t be n(6). Suppose t = -6*j + j. Solve 2*l - 4*x - 6 = j, 5 = -5*l + 5*x + 15 for l.
1
Suppose -3*a + 24 = -4*k, 0 = -2*a - 5*k - 9 + 2. Suppose 4*v + 5*m - 28 = 0, m + 0 = 4*v - a. Solve -3*q + v = -n - 4*q, -11 = -5*n + 2*q for n.
1
Let k = 28 - 24. Let n be (-10)/(-20) + 10/k. Solve -2*a = -n*d + 7, 2*d = -d + 4*a + 5 for d.
3
Suppose p = 3*x + 12, -5*p + 5*x = -0*x - 30. Suppose 2*l = -p*l + 20. Suppose m - h = 2*h + 6, -l*h - 7 = -m. Solve -4*d - 12 = 0, 21 = -3*k - m*d - d for k.
-3
Let w = -16 + 33. Let v = 3 - -2. Suppose 5*z - 27 = -2*d, z - 6*z + 30 = v*d. Solve -w = z*y + 4*l, -3*y + 11 - 2 = -4*l for y.
-1
Let v(n) = -9 + 3*n - 15 + 14 - 5*n. Let a be v(-5). Solve 3*r = -y + 14, a = -5*r + 9 + 16 for y.
-1
Let k be (-2)/4 + 1/2. Suppose -5*b - 3*o = 32, 4*b - 2*b - 2*o = 0. Let i be (-14)/(-4) - (-2)/b. Solve k = r - h + i, 5 - 8 = 3*h for r.
-4
Let g be (-8)/20 + 6/(-10). Let a = g - -4. Solve -a*p + 5 = y - 5*p, 5 = 3*y - p for y.
1
Let s be -2 + (0 - (-12)/3). Solve -20 = -2*g + 5*d, s*d + 3*d = -2*g for g.
5
Let n(s) = s**3 - 6*s**2 + s - 2. Let c be n(6). Let p = 7 - c. Solve -2*h + 3 = 3*m - 2, -2*m = -p*h - 25 for h.
-5
Let a = 451 + -448. Let s be 1 + 3/((-6)/(-10)). Let m be (10/s)/(2/6). Solve -5*g - 16 = a*y, y + m*g + 13 = -3*y for y.
3
Let n = -18 + 42. Let x(t) = t**2 - 10*t + 13. Let o be x(10). Solve -4*s - 4*u + n = -9*s, -2*s = -5*u + o for s.
-4
Let f(z) = -z**3 - 22*z**2 + 10. Let a be f(-22). Solve -k - 2*o - 13 = 0, 5*o = 2*k + 3*k - a for k.
-3
Suppose 2 = -0*o + 2*o. Let u = o - -1. Suppose -j + 5 = u. Solve -4*q - 4*n = 4, -3*q + j*n - 5*n = 1 for q.
1
Let k be 2 + 0/(-3) + 1. Suppose -5*j - 5*x = 5, -k = -2*j + x + 4. Suppose -2*l = 5*t + j, t = 5*t - 5*l - 5. Solve t = 3*g + 3*o, -5*g - 2*o = o for g.
0
Let y be 4/14 - 12/(-7). Let c = 0 + y. Suppose 2*l = -c*l. Solve -i - 5*w = l, -2*i - 7 = -i - 2*w for i.
-5
Suppose 0 = 4*w - 3 + 7. Let j be 3 - (0 + w + -1). Suppose -j - 43 = -4*m. Solve n - 2*h = 3*h + m, -3*n = -3*h for n.
-3
Let r be (-18)/(-12) + 2/4. Solve -r*v - 3 = o - 5*v, -2*o + 5 = 5*v for o.
0
Let v be (-2)/10 - (-147)/35. Solve 3 = 2*r - v*k - 13, 22 = 4*r - 3*k for r.
4
Suppose 3*f + 5*m = 17, -2*f + m = 2*f - 15. Let u(k) = -3*k - 7 + 2*k + 2*k. Let d be u(9). Solve -f*o = -5*c + d*c + 15, o - c = -5 for o.
0
Let f(s) = -2*s + s + 2 - 2. Suppose -2*d + 5*m = 27 - 11, 3*d + 3 = -3*m. Let h be f(d). Solve 2*x = 5*g - 9, 4*x - 15 = -h*g + 6 for x.
3
Let v be 5 - -1 - (-18)/(-6). Let a be (-1 + -1)*(-1)/1. Suppose v = -a*o + 3*g, -g + 9 = 2*g. Solve o*f = 2*r - r - 6, -2 = -2*r + f for r.
0
Let v be (-12)/(-3) - (-3 + 4). Suppose -r = r + 2, -13 = -v*s + 4*r. Suppose 0*x = 2*x - 4. Solve -2 = q - g, -s*g = -g + x for q.
-3
Let y = 17 + -14. Solve 0 = -y*n - 2*u + 6, -3*u = -n - 2*u - 3 for n.
0
Let a(z) = -z**3 + 7*z**2 + 7*z + 12. Let k be a(8). Solve 9 = -x - t + k, 5*x = 5*t + 5 for x.
-2
Let h(d) = d**2 - d + 2. Let s be h(0). Solve 5*u + s*m - 7 = 8, -3*u - 5*m = 10 for u.
5
Let s(d) = d. Let r(y) = 2*y**2 + y - 2. Let z(q) = r(q) - 2*s(q). Let w be z(2). Suppose -o = -4 - w. Solve -2*m - o = -2*u, -2*m - 5 = 3*m for u.
3
Let y(r) = r + 7. Let b be y(-7). Let x(q) = -2 - 4*q - q + b. Let f be x(-2). Solve s = -3*w + 12, 4*s + 2 = 2*w + f for w.
3
Suppose -5 = -2*n + 1. Suppose 0 = 3*f + 3*t - 3, -5*t - 12 = -5*f + n. Solve 4*x - 2*i = -f, 2*i = 4*x + 6*i - 28 for x.
2
Let m = -19 - -86. Let q be (-4)/(-6) + m/3. Let u = 136 + -131. Solve 2*b - q = -u*d, 2*d + b - 6*b = -14 for d.
3
Let d(h) = -2 - 6*h - 6 + h**2 - 1. Let a be d(7). Let g(w) = -2*w**3 - 4*w**2 - 2*w + 1. Let v be g(a). Solve v*l = 3*l + 6, -3*f = -3*l + 9 for f.
0
Let p(q) = -q**2 - q + 6. Let n be p(0). Solve -4*v = -16, -n*j - 3*v = -3*j for j.
-4
Suppose 4*b - b = 39. Let q = -9 + b. Solve q*f - 4*l = -4, 2*f - f - 3*l = 5 for f.
-4
Suppose -2*t - 3 = g, -3*t = -g + 2*t + 25. Suppose 5*f - 5*h - 35 = 0, -7*f = -2*f + g*h - 75. Solve r + l - f = 3*l, -35 = -5*r + 5*l for r.
3
Suppose -6 = -3*f + f. Solve 0 = 5*a - 5, 0 = -0*u - 5*u + f*a - 8 for u.
-1
Let w be (-1)/(-1)*2 + 0. Let y be -2 + w + 2 - -2. Let m be 0/y - (-1 - 1). Solve 4*v + 5 = -c, v - 5*c - 25 = m*v for v.
0
Suppose -5*d + 19 = -16. Suppose 0 = -9*y + d*y. Solve 5*j - 5*r = -40, y = -2*r + 10 - 2 for j.
-4
Let c(u) be the second derivative of -u**5/20 - u**4/12 - u**3/2 - 3*u**2/2 - u. Let a = -31 + 29. Let v be c(a). Solve -2*n = g + v, 5*n + 4*g = 4 - 20 for n.
-4
Suppose 0 = -4*j + y - 2 + 19, 3*j - 11 = -y. Solve 3*k - 4*d + 7*d - 9 = 0, 2*k + j*d = 16 for k.
-2
Let y(q) = -q**3 + 3*q**2 - 2*q. Let z be y(2). Let i be (-5)/1 + -11*(-2 - 0). Solve -b - m = -4*m - i, -5*b - m + 5 = z for b.
2
Let s = 11 + -9. Solve i + 0*a + s*a = 2, -5*a + 6 = 3*i for i.
2
Suppose 3*f + 0*f = 4*h - 11, 3*f = 9. Suppose 0 = -3*q - 2*q + h. Solve 4*a = 2*u + 18, -2*a + 4*u + q = -a for a.
5
Suppose -7*t + 0*t + 35 = 0. Solve -5*y = t*u - 35, u + 12 = 4*y + 4 for y.
3
Suppose 3*f - 2*f - 2 = 0. Suppose 0*y - 4 = 2*y, f*o + 3*y = 20. Let u = o + -8. Solve 4*n = -5*l - 8, 2*l = 6*l + u*n + 10 for l.
0
Let l(r) = -3*r**2 - 6*r + 4. Let t be l(-2). Solve 8 = -t*z + 2*i - 0*i, 0 = 3*z - 5*i - 8 for z.
-4
Suppose 5*c - 7 = -42. Let s be (-27)/(-63) + (-81)/c. Suppose -2*r - 3*r = -4*h + 26, r = -h + 2. Solve -4*z = 2*f - 3*z, 2*f = -h*z + s for f.
-2
Suppose 0 = 2*s - 3*s + 5. Let c be (-7)/(-7)*(0 + 0). Solve f = 2*y - 3, -4*f + s*y + c*y = 0 for f.
5
Suppose -8 + 31 = -4*x - 3*w, x - 3*w + 2 = 0. Let i be 1/((x + 2)/27). Let q(a) = a**3 + 9*a**2 + 3. Let r be q(i). Solve m = 0, y + r*m = -y for y.
0
Suppose -2*n + 12 = 2*t, 5*t - 4*n - 22 = -n. Let q(p) = -2*p**3 - 31*p**2 - 19*p - 18. Let g be q(-15). Solve -t*f = 4*w - g + 7, f - 4*w = -17 for f.
3
Let p be 0*(-1)/3 + 8. Let i be 7/1 - p/4. Let r(z) = z**2 - 5*z + 3. Let x be r(i). Solve 0 = 4*d + d + x*q - 30, 2*d + 4 = 2*q for d.
3
Let b = 1 - -1. Suppose b*c = 5 + 7. Solve 0 = 3*k - 4*f, -3*k + c*k = f + 9 for k.
4
Let w be (-5 - 25) + 2*1. Let x be (-8)/w + (-19)/(-7). Suppose 2*t = x*n - 9, n - 3*t = -7*t + 17. Solve 0 = -5*h + 2*q - 28, n*q = 6 + 14 for h.
-4
Let j(m) = m**3 + 3. Let x be j(0). Solve 5*w + 16 = x*o, -4*o + 5*o - 2*w = 6 for o.
2
Suppose 