 0 for k.
4
Let l = 13 + -16. Let b(o) = o**3 - 4*o - 3. Let z be b(l). Let p = -14 - z. Solve -4*k = -16, 0*r + 3*r - 10 = -p*k for r.
-2
Let g be (-48)/(-112) - 87/7. Let i = 14 + g. Solve -4 = -v + 2*n, i*v + 5*n = 6*v - 10 for v.
0
Suppose 6*w = 2*w + 28. Let k(a) = 141 - 145 - a**3 + a + 7*a**2 + 0*a**3 + 0*a**3. Let s be k(w). Solve -o + 3 = s*o - 5*j, 0 = 3*o - 5*j - 6 for o.
-3
Let k = 10 + -2. Suppose 2*r = -u + 2*u + 4, -4*u + 4*r = k. Solve u = 5*v + 5*a + 10, 21 = -4*v + 4*a + 5 for v.
-3
Let c = 102 - 174. Let d be (-24)/2*24/c. Solve -d*w + 8 = -0*w, -5 = 3*a - 4*w for a.
1
Suppose -3*y + 31 = 2*b, 12 = 3*b - 3. Let n be 424/4 + 1*-2. Let u be y/(28/n) - 1. Solve -4*v - 4*s + 2*s = 10, -4*v + 3*s - u = 0 for v.
-4
Let w be (168/(-16))/(-2 - 70/(-32)). Let f = 79 + w. Solve 4*p = 2*b + 3*p + 11, -5*b - f = 2*p for b.
-5
Let p = -1055 + 1058. Solve -2*a = -4*x - 2, 8 = -a - 4*x + p*x for a.
-5
Let g be (-2)/((-8)/(-6))*200/(-150). Suppose -4*w = 14 - 2. Let f = w - -5. Solve 4*j = f*p + 6*j + 10, -5*p + 10 = -g*j for p.
0
Let j be (-7)/((-84)/8)*6. Solve 3*h + j = -2*x, 0 = -5*h - 4 - 6 for x.
1
Suppose 3*j - 9 = -3*p, -4*p + 2*j = 7*j - 10. Solve m + 2*x + 0*x = 1, p*m - 13 = -2*x for m.
3
Let z = -67 - -71. Solve 20 = z*j, -3*r = -5*j - 14 + 45 for r.
-2
Suppose n + 2 = -2. Let y be n/8*1*-2. Suppose -4*h + 9 - y = 0. Solve -o + 4*l = -h*o + 20, l = 2*o - 4 for o.
4
Suppose 0 = -3*z + 9*z. Suppose 0*d + 4*d - 100 = z. Solve 4*i + 5*c = -7 - d, -22 = 2*i + 4*c for i.
-3
Let v be 2/2*1*(-1)/1. Let r be (0 - v)/(-4 - 54/(-12)). Solve r*h = -b + 15, -2*b = -0*h - 4*h + 10 for b.
5
Suppose -12*k = -34*k + 66. Solve -16 = -4*f - l, -k*l + 6 = -4*f + 2*f for f.
3
Suppose 3*j = -2*w - 0*j + 16, -40 = -4*w - 4*j. Solve 4*q + w = q - 2*n, 4*n = q for q.
-4
Let i(h) = -h**2 + 23*h + 117. Let o be i(27). Solve -b = -3*y + o, 3*b + 1 = y - 2 for b.
0
Suppose z = -3*x + 2*z + 7, 0 = x - 2*z - 4. Suppose -x*l - 10 = -18. Solve l*s = 3*g + 27, -2*s + 32 = -4*g + 2*s for g.
-5
Let k be 2/13 - (252/(-52) - -3). Solve 0 = 2*f - 5*z - 20, -k*f = -4*f - 4*z + 2 for f.
5
Let a be 14 + (4 - (17 - 7)). Solve a = 2*b + 4*p, 3*b + 2*p + 1 - 5 = 0 for b.
0
Let l be 0 - -6*4/8. Let h(r) = r**3 - 8*r**2 + 2*r. Let k be h(8). Let i = k - 13. Solve l*w = -4*t - 4, i*w - 2*t - 16 - 4 = 0 for w.
4
Suppose 56*j = 172 - 60. Solve j*z - 2 = 0, 4*k + 3*z - 5 = 2 for k.
1
Let m be 0 + -5 - (-17)/((-34)/(-16)). Solve -3*h + m*o + 12 = -0, o - 21 = -4*h for h.
5
Let u(a) be the second derivative of a**3/2 - 3*a**2/2 + 10*a. Let x be u(6). Let v = x + -8. Solve -2*k + 22 = -5*f, -v = 2*f + 3*k - 2*k for f.
-4
Let o(z) = -2*z**2 - 38*z + 2. Let a be o(-19). Solve -2*b + 3*c = -21, c + 9 = -2*b - a*c for b.
3
Let u(v) be the third derivative of -v**5/60 + 7*v**4/24 + 11*v**3/6 + 13*v**2. Let s be u(8). Solve 3*f + 3 = m - s*m, -3*m = -f + 10 for m.
-3
Suppose 2*u - u = 7. Let z be 3 - 3/(u - 4). Let h be 3/(-4)*-2*z. Solve -k + 6*t - 10 = 2*t, 0 = -h*k + 2*t - 10 for k.
-2
Let b be -12 + 2 - (2 + -15). Let t be (-84)/(-8)*(-2)/(-3). Solve 0 = -s - 2, -b*x + 2*s + 0*s + t = 0 for x.
1
Let u(t) = 2*t**3 - 7*t**2 + 7*t - 10. Let k be u(3). Solve -2*z = -5*f + 16, 0*z - 4*f + 12 = -k*z for z.
2
Let x(t) = -31*t + 124. Let m be x(4). Solve l + 1 = 5*i - 0*i, m = 2*i - 3*l + 10 for i.
1
Let u = -4 - -34. Suppose u + 0 = 6*o. Solve 5*h - 3*k = 20, -5*k - 29 = -o*h + 1 for h.
1
Let i(u) = -3*u**3 + 2*u**2 - 2*u + 1. Let z be i(1). Let q be ((-4)/(-1))/(0 - z). Solve 8*n - q*d + 1 = 3*n, 0 = 3*n + d - 6 for n.
1
Suppose -2*t - 12 = 2*t. Let n(o) = -o**2 - 3*o - 2. Let k be n(t). Let v be (-43)/(-5) - k/5. Solve 2*u = -r + 1 - v, -r - 14 = 5*u for r.
-4
Let u = -197 - -211. Solve -3*s - 3*z = -0*s + 27, 0 = 2*s + z + u for s.
-5
Suppose 6*q - 4 = 4*q. Let l(r) = r**3 + 4*r**2 + 4*r + 6. Let b be l(-3). Suppose b*i = 11 + 4. Solve -i*y = 3*s - 35, -s - 3 = -q*y - 0 for y.
4
Let n(v) be the second derivative of 7*v**3/3 - v**2 - 2*v. Let f be (1 - 5)/(-6 + 2). Let y be n(f). Solve 9 = -w - 2*g, -4*w + 0*g - 2*g = y for w.
-1
Suppose 10 = -1108*g + 1113*g. Let d = -11 + 14. Let v be 5 - (-2)/(1 + -3). Solve d*j - 2*x = 1, g*j = 6*j + v*x - 8 for j.
1
Let k(y) = -y**3 + 3*y**2 + 10. Let p be k(0). Solve 3*s - m - 5 = 0, 4*s - p = 5*s + 2*m for s.
0
Suppose -1331 = -7*y - 1296. Solve 4*m = -5*p - y, 2*m + 0*m - 25 = 3*p for p.
-5
Let i(f) = -f**3 + 3*f**2 - 3*f + 2. Let s be i(2). Let q be (s/2)/(-7 - -6). Let y(o) = -2*o + 2. Let p be y(q). Solve z = -5*j - 26, p*z - 1 = j + 2 for z.
-1
Suppose -2*a - 4 = 2*w, -4*w + 0*a = 3*a + 3. Let j(c) = -5*c + c + 1 + 4*c + c**2. Let s be j(1). Solve -w*i = -s*x + 7, -4*i - i - 19 = 4*x for i.
-3
Suppose -182*o - 5*d - 38 = -184*o, 0 = -d - 6. Let m(i) = 2*i - 9. Let y be m(6). Solve 5*n = 10, n + y*n = o*s for s.
2
Let h(c) = -2*c**2 - 31*c - 12. Let j be h(-15). Solve 5*u + 3 = 2*s, -u = -3*s - 5 + j for s.
-1
Let b(o) = -o**3 - o**2 + 2. Let w be b(0). Suppose w*h - 10 = 5*l + 13, -57 = -3*h + 3*l. Let x = h + 1. Solve 5*n - x = 5*g, 3*n = -n + g + 5 for n.
0
Let b = 180 - 167. Let u be (6/(-8))/((-3)/12). Solve 4*r = w + b, u*w + 2*r + 7 = -2*r for w.
-5
Let m be 12/8 + (-2)/(-4). Let f(h) = 3*h**m - h + 2*h + 0*h**2 - h**3 - h**2. Let q be f(-1). Solve 0 = 3*c + 5*n + 28, n = q*n + 5 for c.
-1
Let c be (-2 - 2)/(-2) - -2. Let k be (5 - 9) + 34/8 - 248/(-32). Solve p = 2*o + 5, -k = -c*p + 2*p + 3*o for p.
1
Let v(n) = 13*n - 219. Let g be v(18). Solve 0 = 3*r + g, -3*o + 5*r + 42 = 5 for o.
4
Let s = -61 - -71. Suppose -s*w + 9*w + 5 = 0. Solve -4*u - 2*o - 1 = -3, 5 = 3*u + w*o for u.
0
Let m be (-22)/(-18) - 2/9. Let y be -1 + m/(-4)*-4. Let f = 14 + y. Solve 0 = 4*g - 5*d + 21, 5*g - f = 5*d - 34 for g.
1
Suppose -5*b = -2*b - 12. Suppose 29 = 3*q - 1. Suppose b*r - q = -2. Solve 8 = r*l + 2*f + f, -4*l + 12 = 4*f for l.
1
Let y be -1 + 217/49 - (-12)/(-28). Solve -x + i + 7 = 4*i, -5*i + 9 = y*x for x.
-2
Let o = -8 + 13. Suppose 5*y - 3*h = 63, 4*y + o*h - 45 = 2*h. Let p = y - 10. Solve -2*f + 3*f - 3 = -5*d, p*d - 2 = 0 for f.
-2
Let d = 242 + -239. Solve o + d = 0, 4*l - 5*o - 8 = 27 for l.
5
Let z = 41 - 40. Let a(c) = -c**2 - 5*c - 4. Let t be a(-6). Let m be 4/(-8)*t/z. Solve 0*v + v = 5*f + 21, -m*v + f + 9 = 0 for v.
1
Let h be (-3*15/(-9))/(2/(-4)). Let g = 10 + -18. Let x = g - h. Solve -3*i - 16 = 4*r, 6 = 4*r - 3*i - x for r.
-1
Let m(a) be the third derivative of -a**4/24 + 3*a**3/2 - 7*a**2. Let o be m(9). Solve -4*h = -o*j + 5*j + 4, -32 = -4*h + 4*j for h.
4
Suppose -13*h = -11*h - 6. Solve -3*j - 5 = -2, -h*j = x + 1 for x.
2
Let q(p) = p**3 + 6*p**2 - 7*p + 1. Let z be q(-7). Let n be (-1 - 52/(-4))*z. Solve -n = 4*g + 5*d, -3*g + 5*g + 2*d + 6 = 0 for g.
-3
Let p(i) = i**3 + 24*i**2 + 44*i + 11. Let x be p(-22). Solve -3*w = 5*d - x, -4*w + d - 19 = w for w.
-3
Let x(i) = i**2 - 2*i - 3. Let l be x(-3). Let q(s) = -s**2 - 9*s - 10. Let y be q(-8). Let v be l/(-8)*y + 1. Solve v*z - 3*a - 5 = 9, -4*z = 3*a - 2 for z.
2
Suppose 0 = 59*h - 13*h - 138. Solve 21 = 4*j + 5*d, 2*d - 3 - h = -j for j.
4
Let q = -388 - -392. Let f(d) = d**2 - 4. Let o(w) = 2*w**2 - w - 8. Let v(a) = 5*f(a) - 3*o(a). Let t be v(q). Solve 3*l - k = -t*k + 9, 0 = -4*k for l.
3
Let j be ((-355)/142)/((-10)/24). Solve 20 = k - 5*t, 2 = -2*k - 2*t - j for k.
0
Let j(y) = -y**2 + 3*y. Let p be j(4). Let q be (-2)/p*-4 + 28. Solve -q = -4*w - 2*v - 2, 0 = -2*w - 4*v + 18 for w.
5
Let f be 6/(4/2)*17. Suppose -4*s = -s - f. Suppose -s = -3*z - 8. Solve -z*t - 3*u + 4 = -5, 2*t - u = 9 for t.
4
Let b(t) = t**3 + 6*t**2 + 5*t + 3. Let j be b(-5). Suppose 4*w + 0*w = -20, 2*n - 14 = -2*w. Let i = n + -10. Solve -4*d - 3 = 5*f, -f + j = -i*f for d.
3
Suppose -3*z - 2*m + 11 = -2, -4*z - 3*m + 17 = 0. Let p be z/((-40)/36)*-2. Solve 0 = -2*d - 3*v - p, -d + 2*v = -2*d - 7 for d.
3
Suppose 3*g + 2*t = 6*t - 8, 2*g + 12 = 4*t. Suppose 48 = 2*q + g*j, 39 = 2*q - 3*j + 4*j. Solve 0 = -2*i + 7*i - 4*z - q, 4 = i - z for i.
2
Suppose 28 = -27*d - 161. Let t(p) be the second derivative of -p**4/12 - 3*p**3/2 - 5*p**2 - p. Let g be t(d). Solve x = -2*x + 5*k - 17, -8 = g*x - 3*k for x.
1
Suppose 5*t - 85 = 2*x, -5*t + 4*x + 105 = 6*x. Solve -5*b + 7 = 3*j, 23*