 = 8*k - 0*k - 16. Solve -4*h - k*j = 22, 0 = -5*h + 3*j - 0*j for h.
-3
Let o(l) = -l - 3. Let j be o(0). Let f = j - -8. Suppose -f*h = -4*h. Solve 0 = 2*n + t + 3, -3*n + 2*t = -h*n + 8 for n.
-2
Let v be (12/6)/(2/(-47)). Let p be v/(-5) - 4/10. Suppose -4*q + q = -p. Solve -9 = 2*u + u - 3*d, 9 = -4*u + q*d for u.
0
Let z = -16 - -18. Solve 0 = -2*y + y - l - 4, 4*y = z*l + 2 for y.
-1
Let r = 3 - -1. Let b be ((-10)/(-3))/(2/3). Solve 0*v + b = -r*v - h, -10 = 2*h for v.
0
Let y = 84 - 52. Let l = y - 7. Solve -3*h = -2*k - l, -k = -6*k - 25 for h.
5
Suppose 95*q = 99*q - 16. Solve -3 = -s + 4*p + 10, q*s + 2*p = 16 for s.
5
Suppose 18 = 10*u - 4*u. Solve -k - k - 8 = u*c, 0 = k - 2*c + 4 for k.
-4
Let p = -17 + 18. Let v be (-15)/(-20)*(p - -19). Solve -10 = -2*k - 5*r, -3*k + 4*r = -6*k + v for k.
5
Let l(f) = f**3 - 4*f**2 - 6*f + 5. Let s be l(5). Let t be 1*6 + (-3 - s). Solve 3*w = -4*q + 8*w + 41, -t*q = 5*w + 13 for q.
4
Let c = 8 - 6. Suppose -3*j = 5*q - 30, -j + 5*q - 8 - c = 0. Let m = -55 - -80. Solve -35 = -5*a - j*o, 2*o = -3*o + m for a.
2
Let r(t) = 0*t**2 - t**2 - 3 + 6 - 7*t. Let a be r(-7). Let p be (0/(-1))/((-4)/(-2)). Solve -m + p*m = a*y + 12, 8 = -5*m - 2*y for m.
0
Suppose 2*a + a = 0. Suppose a*n + n = 0. Let p be 1/4 + (-165)/(-60). Solve i = 4*l - 20, p*l - l - 3*i - 10 = n for l.
5
Suppose 4*t = -2*y, -y + 0*y = -2*t. Suppose y = 6*g - 5 - 1. Solve 2*i + 26 = -5*z, 2*z = -3*i + 6*i + g for i.
-3
Suppose 1 - 7 = -3*b. Solve -2*a - 4*m - 4 = 0, -2*a - m + b = -3*a for a.
-2
Suppose 2*y - 3*t + 9 = y, 0 = 4*y + t + 49. Let w be (-8)/y + (-4)/(-3). Solve 2*q + p = -4*p + 19, 2*q - 4 = -w*p for q.
-3
Let q = 6 + -13. Let h = -3 - q. Let s = -7 + 9. Solve 2*u = 3*u - x - s, h = -4*x for u.
1
Let w = -66 + 91. Let n be (12/9)/(2/(-6)). Let p be 1/n + 27/12. Solve 2*b = g - 15, p*g - 5*g = -2*b - w for g.
5
Suppose -2*c + c = 0. Suppose 0 = 4*f - 2*s - 14, 14 = 4*f + 3*s - 15. Solve -4*a = 5*r + 4, 5*a + f + c = 5*r for r.
0
Let l = 44 + -11. Suppose -5*i - z + 10 = -19, -z + 14 = 2*i. Suppose f + 19 + 2 = 5*q, 4*f = -4*q + 36. Solve 2*a = -3*n + 8, 4*a - q*n + l - i = 0 for a.
-2
Let m = 17 + -14. Solve -3*r - 7 = m*l - 7*l, -r + 19 = 4*l for l.
4
Let i(f) be the first derivative of f**4/4 + 8*f**3/3 + 2*f + 6. Let w be i(-8). Solve -5*o + 10*o - 2*l = 11, 2*o = 4*l - w for o.
3
Let j(c) = 11*c + 2. Let a be j(1). Solve 0 = 4*r + 5*i + a, -5*i - 2 = 3 for r.
-2
Let b be 1 + ((-2)/(-2) - -4). Suppose -4*d + 4 + b = c, -5*d + 14 = 2*c. Solve -13 = d*i + 5*f, -3*f - 2 = -2*i - 7 for i.
-4
Let b = 2 + 1. Suppose b*o = -4*y - 8, -5*o + 2*y - 4 = -34. Solve -l + 5 = -o*z, 2*l = -3*z + z + 10 for z.
0
Suppose 15 = 3*v + 2*v. Let f = 16 - 5. Suppose 5*z - f = 9. Solve 20 = z*q, v*q = -2*n - 3*n for n.
-3
Let a = 6 - 2. Suppose -5*w + 5*s + 20 = -2*w, 0 = a*w + 5*s - 15. Solve 2*g - 1 = 4*g + 3*p, w*g - 2*p = 26 for g.
4
Suppose 3*a + 2*a = 20. Let m(f) = -f**2 - 6*f - 1. Let c be m(-5). Suppose 4*j = h - 3, 4*h - 6 = c*j + 6. Solve -a*w - 5*p = 29, -w + h*p - 2 + 16 = 0 for w.
-1
Let w = 37 + -33. Solve 0 = -o - o - 4*j - 8, 2*o = w*j for o.
-2
Let t be ((-42)/(-10) - 1)*5. Let z = 4 + -2. Suppose -5*g = -20, -2*y + 7*y - 5*g = 100. Solve z*o - 5*r = -r + y, -t = -o + 3*r for o.
4
Let p be (-1)/((-5)/4 + 1). Suppose u = -u + p. Solve a + u*f = 8, -21 = 2*a + a - 3*f for a.
-2
Let a be (-3)/2*32/24 + 4. Solve -5*m - 9 = 4*s, -a*m + 6*m = -4 for s.
-1
Suppose 2*f - 9 = -j, -7*j + f = -2*j - 23. Suppose -25 = -j*o - 4*d, -20 = -4*o - d - 4*d. Solve 2*r - 10 = -3*r + o*w, -5*r - 2*w = 11 for r.
-1
Let i(q) be the third derivative of -q**4/8 - 5*q**3/6 - 3*q**2. Let r be i(-7). Solve 4*s - r = -4*k + 3*s, 0 = 3*k - 2*s - 1 for k.
3
Suppose 45 = -c + 4*c. Let g be -6*(c/6 - 3). Solve g*x = -9, m + 2*x + 2 = -2 for m.
2
Let n(o) = -o**2 + 3*o + 6 - 5 + 1. Let t be n(3). Solve 3*p - 5*j - 41 = -p, 0 = t*p + 5*j + 17 for p.
4
Let w be ((-18)/2)/((-9)/(-6)). Let a = 62 + w. Solve -4*i + 24 = -3*b + a, -4*i + b = 24 for i.
-5
Suppose 10 = -3*u - 4*b, 4*u - 4*b = -b - 5. Let g be 81*1 + (-4)/u. Suppose -4*f - 5*j = -g, 1 = -4*j + 13. Solve -3*c = -z + 19, -5*z = -c - 42 + f for z.
4
Let s = -17 - -20. Solve s*k - v + 1 = 0, 2*v = -3*k - 2*v - 26 for k.
-2
Let u be -16*(6/4)/(-3). Suppose -5 = z, 0 = -5*h + 5*z + 22 + u. Solve -3*i - b = -2*b - 3, 2*i - h = b for i.
2
Let w(s) = -11*s**2. Let d be w(-1). Let c = d + 15. Solve -4*u - o - 26 = -c, 5*u = -o - 27 for u.
-5
Suppose -3*g = -2*n + 4*n + 5, -n + 4*g + 14 = 0. Suppose 0 = 5*j - a - 25, -2*j - n*j + a + 21 = 0. Solve r + 21 = -4*o, -j*r + 0*o - 5*o = 29 for r.
-1
Let p(o) = o + 2. Let f = -2 + 0. Let a be f/2*4 - -2. Let c be p(a). Solve 0 = 2*l + 2*n - n + 5, 2*l - 5*n + 35 = c for l.
-5
Suppose 2*v = 3*x - 9, -3 = -17*x + 16*x + 5*v. Solve -3*q - x*j = q - 9, 4*q - j + 3 = 0 for q.
0
Let a(y) = 3*y + 34. Let j be a(-9). Let w = 3 - 0. Solve -w*d - j = 2*q, 5*q + d + 24 = -0*d for q.
-5
Let m be (-3)/(-2) - 350/20. Let b = m - -18. Suppose -3*y - 11 = a + 1, -2*a + y + 11 = 0. Solve 0 = 3*u + 6, 0 = -a*o + 4*u - b + 4 for o.
-2
Suppose 7*t - 5*c + 40 = 12*t, 5*t + 5 = 4*c. Solve -2*w + 8 = 2*w - t*y, 0 = -3*w + 5*y + 17 for w.
-1
Suppose 4 = 5*l - 4*l, 4*d - l = 4. Solve -3*f - 10 = -0*f - 5*h, f = d*h - 4 for f.
0
Let y = 18 - 7. Solve -c - y = -3*u, 3*c + 19 = 3*u - 2*c for u.
3
Let g(x) = -x**3 + 5*x**2 + 8*x - 8. Let t be g(6). Let y = 1 + 1. Suppose y*i - 8 = -3*i + 2*h, 12 = 4*i + 4*h. Solve -i*w + o = -2 - 8, -t*w + 20 = 4*o for w.
5
Suppose 6*o - 10*o - 20 = 0. Let t(g) = g**3 + 5*g**2 - g - 2. Let a be t(o). Solve 0 = -5*u + a*s - 9, 0 = 2*u - 5*s - 0*s + 15 for u.
0
Suppose 0 = -10*b + 99 + 171. Solve a + 2*a = 3*z - b, 4*a = -2*z - 12 for a.
-5
Let g = 15 + -21. Let q be (-3 - 0)/(g/4). Solve v - 1 = n, q*v + 2*v - 3 = 5*n for v.
2
Suppose -3*f + 40 = f. Let t be (1*f)/(1 + 1). Solve -3*s + t*c - 10 = 2*s, -s = -3*c + 4 for s.
-1
Let u = -10 + 15. Let p(v) = v + 3. Let n be p(-5). Let d = n + u. Solve 20 = h + h + 4*o, 5 = -h + d*o for h.
4
Let b(t) = 2*t + 1. Let a be b(6). Suppose -3*x + 9 = r, 4*r + 0*x = 4*x + 4. Suppose 0 = -3*u + 2*u + r. Solve u*z - z = -k - a, 2*z = -2*k - 16 for z.
-5
Let u be 6/(1 - (-2)/4). Solve 2*s - 11 = -x, 3*x = -u*s + 6 + 17 for x.
1
Suppose -4*b + 8 = -0. Let u be (6*(-2)/(-4))/1. Let n = 29 + -24. Solve n - 11 = -2*z + u*m, -b*m = z + 11 for z.
-3
Let h = -13 + 21. Let a be 0/6 - (1 - 1). Solve -4*r = 3*i + 4, a*i - h = -4*i - 2*r for i.
4
Let q(n) = n - 2. Suppose -5*l - u - 1 = -16, -l - 2*u = 6. Let o be q(l). Solve 0 = -o*v - 2*z + 8, 2*z - 7 = 4*v + 1 for v.
0
Let k(y) be the third derivative of -y**4/24 - 3*y**3/2 + 2*y**2. Let p = -11 + 0. Let a be k(p). Solve i - a*r = 2*i - 4, -i = -4*r + 8 for i.
0
Let u(j) = -j**2 - 18*j - 17. Let d be u(-16). Let a = 4 + -16. Let f be (-13)/(-4) + 3/a. Solve 8 = f*r + w, 3*w = -0*w + d for r.
1
Let z(y) = 7*y - 28. Let x be z(4). Solve x*u - 8 = u + f, -4*u = -4*f - 8 for u.
-3
Let p = -7 + 7. Suppose -5*c + 51 - 1 = p. Solve -c = -4*f + 2*f - 4*v, -2*f = v - 1 for f.
-1
Suppose -41 = 3*q - 47. Let g = -2 - -2. Solve -p = 3*r + 10 + 1, -q*p + r - 1 = g for p.
-2
Suppose -40*b + 43*b = 0. Solve b*i + 25 = -4*i + 3*q, q + 1 = -i for i.
-4
Let d(i) = -i**3 + 12*i**2 - 11*i + 5. Let x be d(11). Solve q - x = 5*u, 5*u - 2 = -4*q - 7 for u.
-1
Let i(q) = 5*q - 2. Let v be i(1). Let s = 22 - v. Solve -2*u - 3*l + s = 0, 0 = -2*u + 4*u + 5*l - 25 for u.
5
Let x(z) = -z + 12. Let s be x(10). Suppose 0*t - 10 = t + 4*l, -4*t - l = 25. Let w = -3 - t. Solve 5*u - 2 = -3*f + s, w*u = f - 6 for f.
3
Let d(y) = y**3 - 14*y**2 + 14*y - 10. Let r be d(13). Solve 0 = 5*o + r*a + 4 - 25, 0 = 4*o - a - 10 for o.
3
Suppose 0 = 3*a + 2*a. Solve -2*u + 8 = 5*g - 3, -5*u - 4*g + 19 = a for u.
3
Let a be -2 + (-1 - 8*-1). Solve -m + 1 = -q, -m - 4 = -a*m - 4*q for m.
1
Let k be (-106)/9 + (-2)/9. Let a(r) = 2*r**2 - 4*r + 1. Let f be a(4). Let g = k + f. Solve 2*m = 0, -5*o - m = -0*m + g for o.
-1
Let l(a) = -2*a - 1. Let w be l(-2). Suppose -5*u = -53 - 107. Let k = u - w. Solve 5*s + k = -f, 3*f + 25 = -s - 2*f for s.
-5
Suppose 3*n - 3 = 3. Solve 2*d - 7 = 3, 3*i + 2*d = -n for i.
-4
Let z(f) = -f**3 