11, -a*r - n - v = -k*r for r.
-5
Let a(w) = w**2 + 1. Let y be a(2). Let k(j) = j - j**2 - j**3 + 1 - j**2 + 0*j + 3*j**2. Let o be k(-1). Solve y*x - 5*l = o*x, -l = 4*x for x.
0
Let a be -5*1*(-24)/15. Let c be (6 - a)*2/(-4). Let k = c + 2. Solve k*d = 8*d + h + 28, -5*h = d + 20 for d.
-5
Suppose 2 = 2*a - 2. Let h be a/(-1) + (3 - -1). Let s = -8 + 8. Solve -4 = -h*t - 2*p + p, 5*t - p + 4 = s for t.
0
Let t(m) = m**3 - 2*m**3 - m**2 + 4 + 1. Let w = 0 - 0. Let c be t(w). Solve 4*a = d - 10, -c*a + 9 - 29 = -5*d for d.
2
Suppose -13*o = -3*o - 30. Solve -o*s - 3 = -h, -3 = -h - 0*s - 4*s for h.
3
Suppose 3*g - 11 - 1 = 0. Let i be 16/g + 1 + 0. Solve -1 = -s - 3*v, -s = -0*s + i*v + 1 for s.
4
Let x(h) = -h**2 + 6*h - 6. Let j be x(4). Suppose -8*s = -s - 21. Solve -a = -j*c + 4*c - 1, s*c + a = 4 for c.
3
Let n = 1 + -1. Let b = 4 - n. Let l(h) = -h**3 + 5*h**2 - 4*h + 3. Let t be l(b). Solve 0 = -4*x - c + 23, -t - 10 = -2*x - c for x.
5
Let y(h) = -3*h - 9. Let o be y(-8). Suppose 7 - 3 = -2*q, -4*t - 4 = 2*q. Suppose 3*p - 4*p = t. Solve 3*i + k - 15 = p, -3*k = -5*i + o + 10 for i.
5
Let f(m) = m**2 + 2*m - 1. Let u be (-12)/4*1/1. Let h be f(u). Solve -4*i = -a - 19 + 1, -h*a - 4 = 0 for i.
4
Let z = 43 - 39. Solve 2*s - 4*r - 12 = 0, 5*s + 7*r - z*r - 17 = 0 for s.
4
Suppose 2*q - 5 = -a + q, 0 = -5*a + 2*q + 32. Solve -4*i = 5*j - 21, -2*j + 2*i + 0 = a for j.
1
Let a = -50 + 35. Let y be 6/(-10) - 54/a. Let x be (43 + y)*(-2)/(-4). Solve -h + 0*u - 5*u = -x, u = 5 for h.
-2
Let x be (-2 - -4)/4*10. Suppose 4*w = k - 6, 0 = -w + 2*w - x*k + 11. Let s be (-9)/(-6) - w/2. Solve -2*f - 4 = 0, 2*h + 5*f + s = -2 for h.
3
Let x(q) = -q + 19. Let p be x(15). Solve -p*k + 9 = -a, -5*k + 4*a + 23 = -2*k for k.
1
Suppose 9*m - 10 = 4*m. Suppose -q = 2*h - 10, -4*h + 5*q - m = 6. Let g be -2 + (-1)/(-1) + 3. Solve 3*r + h = -g*r + 4*c, -3*c = -5*r - 6 for r.
-3
Suppose -13 = -3*q - 4*o - o, 5*o + 5 = 0. Let m = 0 + q. Solve -2*k - v = 4, 5*k = -m*v + 2*v - 16 for k.
0
Suppose 0 = -5*k - 2 - 13, -5*k + 35 = 5*x. Let a be x/(-5)*4/(-1). Solve -a = -2*h - t + 2*t, 6 = 3*t for h.
5
Let b(y) = -y**2 - 7*y + 1. Let n(d) = -d**3 + 7*d**2 - d + 4. Let g be n(7). Let i be b(g). Solve 5*j + 21 = 2*s, 5*s - i = 3*j + 11 for s.
3
Let u(s) = s**2 + 8*s - 3. Let o be u(-8). Let d = o + 5. Let b be (-1)/d + 102/12. Solve -5*w + 10*w = -3*m - b, 5*m = 5*w + 40 for w.
-4
Suppose -3*n = -6*s + 3*s + 24, -5*s - 2*n + 12 = 0. Solve -4*c - 32 = -s*d, 5*c - d = -10 - 10 for c.
-3
Let b(d) = -d**3 - 14*d**2 + 17*d + 35. Let a be b(-15). Solve -a*x = 3*o + 2*o - 15, 4*o - 16 = 0 for x.
-1
Let t be 3 - (-12)/4 - 2. Solve -2*p + x + 1 = -2, 4*p + t*x = 0 for p.
1
Let g(b) = b**3 + 2*b**2 + 2*b + 2. Let i be g(-3). Let y = -8 - i. Suppose 0 = 8*f - 3*f - 75. Solve 5*v = -f, 5*o + y*v - 4 = -9 for o.
2
Let m be (-3)/(-9) + (-8)/(-3). Let y(c) = -5*c**2 + 0*c**3 - 3*c**3 + 2*c**3 + 5*c. Let w be y(-6). Solve 0*i - w = m*h + 2*i, 0 = -4*h + 5*i - 8 for h.
-2
Suppose -109*t + 108*t + 8 = 0. Solve 3*k = 3*y + 21, 0 = -0*y - 4*y - t for k.
5
Let m(n) = n**3 + 3*n**2 + n - 2. Let g be m(-2). Let y be 2/4 + (-76)/(-8). Let o be (3 - -1) + 1 + -2. Solve g = -5*q + o*q - 3*b + y, 4*q - b - 20 = 0 for q.
5
Let o(a) = 9*a**2 + 3*a - 3. Let j be o(1). Solve t + j = -3*h, h = -t - 4*t + 11 for h.
-4
Suppose -15 = -8*t + 5*t. Solve 3*q = t*g + 3, 4*q - 4 = 3*g - 4*g for q.
1
Let s be (-20)/4*-2*2/4. Solve 0 = t + q + 6, -2*t + 20 = -s*t - 4*q for t.
-4
Let l(c) = -c**2 - 5*c - 2. Let d be l(-2). Let t be (-1)/2 - (-6)/(-4). Let g = d + t. Solve -i = -a + 4, 5*i + 12 = g*a - 11 for a.
-1
Let g = -8 - -11. Solve 4*u - 20 = -4*t, -6*t + g*t = -u + 1 for u.
4
Let r be 2 + -1 + (0 - -1). Solve r*g = 5*q - 2*g + 24, q + g = -3 for q.
-4
Suppose 0*x = 2*x - 2*a - 16, -5*x = 2*a - 5. Solve -2*k - 2*q - 10 = 0, -5*k = -q + x + 10 for k.
-3
Let c be (7 - 2)*-1 + 5. Solve -4*n - 4*s = -c*n + 36, -19 = 3*n + s for n.
-5
Let f be 2/(-3)*(-18)/4. Suppose f*a - 7*a = -40. Suppose -3*x = g + a, -2*g = -x + 3 - 11. Solve 3*l - 2*u = -9 + g, 0 = 4*l - 3*u + 8 for l.
-5
Let d be (-9)/18*-2*2. Suppose r = -d*r. Suppose o + 8 = 5*o. Solve x + o = 5*v - 0, 2*v - 5*x + 13 = r for v.
1
Let o(d) be the third derivative of -d**4/12 - 7*d**3/6 + 4*d**2. Let v be o(-5). Solve -10 = -v*w - s, -s + 2 = 5*w - 3*s for w.
2
Let z = 23 - 18. Solve -z*f + 12 = -l, 3*f = l + 5*f - 2 for l.
-2
Let w be (54/(-4))/(1/(-2)). Suppose -2*l + 44 = -4*n, 5*l = -5*n + 128 + w. Solve 5*j = -2*y - 2, 4*j - 9*y + 4*y + l = 0 for j.
-2
Let s = -10 + 12. Solve 4*h - 6 = -s*y, 2*y - y = h - 9 for h.
4
Suppose 21 = -0*y - 3*y. Let l = 11 + y. Suppose l*o = -7*k + 2*k + 32, 0 = -4*k - 4*o + 28. Solve a = h - 1, 0*a = 2*h + k*a - 20 for h.
4
Let t = 7 - 6. Suppose d - t = 1. Solve -2*k - 9 = 3*a, -4*k = -5*a - d + 9 for k.
-3
Suppose 0 = 4*z - 6*z. Solve 2*b - 3*g - 9 + 0 = 0, z = -b - 3*g for b.
3
Suppose -6*u = -2*u - 20. Solve -u*s = -z, 3*s = -s + 4 for z.
5
Suppose 0 = 39*s - 35*s - 28. Solve 4*z - s - 4 = -v, 3*z + 2*v = 7 for z.
3
Let q(r) = -5*r**2 + 5*r + 1 + 0*r - 2 - r**3. Let u be q(-6). Suppose 5*t + 5*v = 80, -t + 5 = -v - 7. Solve -4*k + 2*x - 16 = 0, 3*x = -u*k - 17 - t for k.
-5
Suppose -3 = -2*a - 1, -3*w + 35 = 2*a. Solve 0 = 2*m - 4, 4*b = b - 4*m + w for b.
1
Let c(i) = i**3 + 8*i**2 + 9*i + 10. Let h be c(-7). Let g be 3/(-4) + (-3)/h. Solve g = 2*f - 3*v + 10, -3*f + 3*v = -6*f for f.
-2
Suppose 5*i + 2*s = 41, 9*i = 4*i - 3*s + 44. Suppose 3*y - c = 16, 3*y - 13 - 15 = 4*c. Let l = i - y. Solve -5*n + k = -n + 21, 20 = -l*n + 5*k for n.
-5
Suppose 2*m + 1 = 3*m. Let l = 3 + m. Solve 10 = l*c - 3*u, 0 = -u - 0 + 2 for c.
4
Suppose -17 = -c + 2*k, 3*k = -c + k + 13. Suppose -3*f + 51 = 3*s - 6*s, 3*s = -12. Solve 0 = -n - 4*w - 2 - c, -w = 2*n + f for n.
-5
Let w(m) = 2*m - 1. Let t(x) = x - 1. Let g(k) = -t(k) + w(k). Let n be g(4). Solve -5*z = -3*c - 0*z - 23, 0 = 4*c + n*z - 12 for c.
-1
Suppose -4 = o - 6. Suppose -9 = h + o*k - 32, -k + 70 = 5*h. Solve 0 = -5*b - 4*f + h, -9 = b - 5*f - 0*f for b.
1
Let k = 11 - 7. Let y(b) = b - 3. Let p = 6 + -3. Let t be y(p). Solve 2*r = -2*i, k*r - 3*i - 2*i = t for r.
0
Suppose 4*z - 15*z = -44. Solve z*y + 16 = 0, -4*j + 5*y - y + 8 = 0 for j.
-2
Let h(u) = -u + 11. Let v be h(9). Suppose -v*c + 3 = 1. Solve -4*w + c = m, -m + 0 + 1 = 5*w for w.
0
Let t(a) = 22*a. Let r be t(1). Let u = -4 + r. Solve 3*y + m = -u, -3*y + 17 = 4*m + 44 for y.
-5
Let q = 164 + -154. Solve 3*t + d = q, -d + 0*d - 5 = -2*t for t.
3
Let r(n) = -n**2 + 4*n + 4. Let g be r(4). Suppose 11 = 3*y - g. Solve -5*c - 2 = y*a + 18, 0 = c - 4*a - 11 for c.
-1
Let d(u) = -7*u - 6. Let b(f) = 4*f + 3. Let o(p) = -13*b(p) - 6*d(p). Let q be o(-2). Solve 0 = 4*a + y, -3*a + 0*a = 5*y + q for a.
1
Suppose 0 = x - 0*x - 7. Let t be x/2 + 2/4. Solve 4*a + 16 = t*f, -a + 1 = 2*f - 10 for f.
5
Suppose 0 = -4*r + 4 + 72. Suppose 15 = -5*q, 4*h + 2*q - r = -h. Solve 2*u = -u + 12, -6 = -h*s + u for s.
2
Let r = 16 + -13. Solve -m + r*q - 6 = -6*m, -4*m + 18 = -2*q for m.
3
Suppose 92 = 4*l + 4*h, 4*h - 12 = -0*h. Suppose -31 = -4*v - 7. Let a = -4 - -8. Solve v*w - 2*o = w - 35, a*o = l for w.
-5
Suppose s + h - 1 = 0, -3*h + 5*h = 4*s - 16. Let a(m) = -m. Let d be a(-2). Let t be 3*(-3)/(-6)*2. Solve l = -d*l - s*b + t, -5*l - 3*b = 1 for l.
-2
Suppose -2*w = -f + 23, -13 = 2*w - 2*f + 3*f. Let u = 13 + w. Solve -3*h = -5*z - 5*h - 21, u*z + 2*h + 18 = 0 for z.
-3
Let l(t) = t**2 - 5*t. Let n be l(6). Suppose h + 3*v = -h + 1, 5*h + 4*v = n. Solve r - 3 + 10 = 3*a, -h*r = 3*a - 22 for a.
4
Suppose 0 = 5*d + 15, 3*z - 2*d - 2 = 4. Suppose z = -m - 2*m. Suppose 20 = 4*y - m*y. Solve -8 = 2*t + y*j, -5*t + 10 = -3*t - 4*j for t.
1
Let v be (-11)/(-33)*3*2. Suppose v*c - 25 = -3*c. Solve 4*g = -5*y + 13, -5*g + 8*y + c = 3*y for g.
2
Suppose 24*c + 10 = 26*c. Solve -11 = -2*a + 3*a - c*m, -5*m + 7 = 3*a for a.
-1
Let k = 2 + -2. Suppose -2*l + 3*w + 2 = 4*w, k = -2*l + w - 2. Let h be (l - 6)/(6/(-4)). Solve -4*j - 16 = -3*z, 9*z - h*z = j + 4 for z.
0
Let i(q) = -2*q. Suppose 4*a = -4 - 0. Let m be i(a). Solve o + 10 = m*f + f, 5*o + 2*f = -16 for o.
-4
Suppose 0*j = j. Suppose -4*x + 2*x - 5*z + 28 = j, 