 - 16 = -2*t - 2*w for t.
4
Let x be -9*((-70)/(-15))/(-7). Suppose x*b - 8 - 16 = 0. Suppose 0*v + b*v = t + 16, 4*v = 4*t + 4. Solve t*l + 3*n = 4, 5*l + n = 6*n - 30 for l.
-2
Suppose -113 - 28 = -130*v + 119. Solve -2*b = 2*d - v, b = -8*d + 12*d + 16 for d.
-3
Let w be (16/(-9) - -2) + (5512/(-117))/(-4). Solve -d - 3 = -0*d, -4*d = 5*h + w for h.
0
Let o be (-6)/(-1) - 24/8. Let j = 43 + -26. Suppose 0 = -o*i + 5*r + 7, -i - j + 6 = -5*r. Solve 3 = -3*m + 6*m - 3*p, -3*p = i for m.
-2
Let v(b) = 13*b - 151. Suppose 42 = -18*y + 258. Let c be v(y). Solve 2*k + 4 = -4*g + 4*k, k - 5 = c*g for g.
-1
Suppose 3*m = 2 - 14. Let t be -3 - (-7 - (5 + m)). Suppose -2*x = -t*x + 63. Solve -5*a - x = -4*h, -h = 2*h + a + 8 for h.
-1
Let z = -131 + 155. Suppose -8*s + 12*s + q = z, -3*q - 3 = -3*s. Solve -4*p - 2*t = 11 - 3, -3*p - s = 2*t for p.
-3
Let j = 108 + -120. Let y be (3/j + -1)*-4. Solve 2*g = 4*o + 4, 0 = -y*o - 2*g - 2 + 15 for o.
1
Let x be 5/1 + 4/14*532/(-152). Solve -2*c + 3*m = -x, -4*c + 5*c - 2*m - 1 = 0 for c.
5
Let b = 53 - 49. Let j be 3/(5 - (-45)/(-10)) - -16. Solve -6 = 2*c - b*n + 12, -2*c - 4*n = -j for c.
1
Let g be (-41 - 3)/22*(0 + -2). Suppose 2*n + 2*n = 16. Suppose 5*v = 2*i - 1 - 8, g*i - 4 = -n*v. Solve 4*j + 1 - 2 = -3*y, -i*j - 7 = 3*y for y.
-5
Let l(f) = -7*f + 78. Let s be l(11). Suppose 5*t = -k + 29, -2*k = 4*t - s - 27. Solve -12 = -k*g, 4*m + g - 5 = 2 for m.
1
Let x(k) be the first derivative of -k**4/4 + 7*k**3/3 - 7*k**2/2 - 10*k + 9. Let s be x(6). Let b = 19 + s. Solve 4*d = -o - 11, 3*d = -b*o + 7*d + 31 for o.
5
Let o(h) = -h**3 + 30*h**2 - 55*h - 23. Let q be o(28). Let j be ((100/q)/5 - 0) + 0. Solve 0 = 5*w + j*d - 4, -1 - 2 = 3*w - 3*d for w.
0
Suppose -19*c = -12*c + 336. Let o be 94/10 - (-2 + c/(-20)). Solve -v + x + 1 = 0, -v + o*x + 17 = 4*x for v.
-3
Let k be (-232)/16*(27 - 29). Solve 0 = 2*g + 3*u + 6, -g - 3 = -24*u + k*u for g.
-3
Let v(o) = -o**3 + 8*o**2 + 16*o - 10. Let l be v(11). Let u = -192 - l. Solve 3*g - 2*r - 12 = 0, -4*r - 2 = -u*g + 20 for g.
2
Let i = 291 - 287. Suppose 0*x + r = -i*x + 3, 3*x + 3 = r. Solve 3*m - 2*j = 6*m + 7, x = -m - j - 1 for m.
-5
Suppose 15*k + 248 = 46*k. Suppose k*u - 40 + 0 = 0. Solve 10 = s + u*g - 10, 0 = -2*s - 4*g + 22 for s.
5
Let r = -98 - -104. Suppose 0 = -7*q + r*q + 4. Suppose -i = 3, 2*i = -q*y + 3*i + 19. Solve -8 = 4*o - 2*l, 3*o - y*l = -1 - 10 for o.
-1
Let n be 491/(-3) - (-4)/6. Let a(s) = -141*s - 570. Let k be a(-3). Let u = k - n. Solve 0 = -2*t - 3*r + 10, r = 5*t + 4*r - u for t.
2
Suppose 30 = y - 4*t, 5*y - 2*t - 27 = 33. Solve y*x - 5*x + 15 = 3*l, -3*l - 5*x = 15 for l.
0
Suppose -2*g = 2*l - 6*l + 18, 3*g = 4*l - 17. Suppose -l*z + 4*c = -8, 0*c + 2 = z - c. Solve -4*d + 7*d + 6 = z, 2*a + 2 = 3*d for a.
-4
Suppose -b - 55 = -9*s, 0*s + 28 = 4*s. Solve 11*n = 4*y + b*n + 10, -6*y + 4*n - 14 = 0 for y.
-1
Let k(q) = -q**3 + q + 3. Let g be k(0). Suppose 46*w - g = 45*w. Suppose 0 = 2*i + w - 7. Solve -a = -i, -n + 5*a + 3 = 4*a for n.
5
Let b be ((-125)/(-425))/((-2)/(-34)). Solve 0 = b*t + 20, t = 2*m + 2*t for m.
2
Let i(q) = -20*q. Let h be i(-2). Let z = -34 + h. Suppose 0 = -5*t - 5*d + 35, 5*d + 1 = -t + z*d. Solve 2*g = 5*x - 0*x + 18, t*g + x = 10 for g.
4
Suppose -9*a + 2 + 18 = -16. Solve -3*y = 2*i + 3 + 1, -3*i - 7 = a*y for i.
-5
Let m be ((-96)/(-112))/((-3)/(-1218)). Suppose -49*k + m = -20*k. Solve -18 = 5*g - v, v - k = 4*g + 2 for g.
-4
Let q = -5139 + 5143. Solve -q*i = -3*c - 15, 3*c = -5*i - c - 20 for i.
0
Suppose 19*o - 16*o + 3*v = 519, 0 = -2*o + 3*v + 366. Let y = o - 174. Solve -4*g + 3*u = 4, 0 = -y*g + g + 2*u for g.
-4
Let r(m) = -m**3 - m. Let n(l) = -l - 6. Let a be n(-5). Let y be r(a). Suppose -8*j + 31 = -9. Solve w = 4*w, y*w = -j*k for k.
0
Suppose 0 = -4*t - 3*x - 0 + 30, -t + 2*x + 2 = 0. Let u be 7/(-28) + (-23)/4. Let o be 2 - 0*(-3)/u. Solve -o*l = 4*r + t, l = 4*r - 0*l + 9 for r.
-2
Suppose 247*u = -575*u + 133*u + 2067. Let g(o) = o - 2. Let x be g(5). Solve 5*l - 19 = l - u*q, q - 8 = -x*l for l.
1
Let i be 2/(-12)*2 + 5184/243. Solve i*k = -2*b + 25*k + 12, 5*b = -k - 14 for b.
-2
Let h(a) = 5*a**2 - 23*a - 3. Let o be h(5). Suppose -4*v - 4*s + 84 = 0, -6*v = -o*v - 5*s + 17. Solve -7*k - 24 = -3*k + w, -3*w - v = 2*k for k.
-5
Let p = 3196 - 3191. Solve -2*o + 9 = 3*i, 6*o = p*o for i.
3
Let h be (-170)/(-40)*-4 + 24. Solve 4*w + 20 = -h*a, 16*w - 19*w + 14 = -2*a for a.
-4
Let f(d) = -3*d**2 + 41*d - 19. Let v be f(12). Let x = 46 - v. Solve 2*w + 14 = 4*a, -3*a - 5 = -w - x*a for w.
-1
Let r(n) = 1092*n + 2189. Let u be r(-2). Solve -2*a = k + 14 - u, -3*a - 6 = -k for a.
-3
Suppose 2*z - 4*g = 40, 7 = 4*z + 5*g - 8. Suppose -4*u - r - 8 = -z, -r = -4*u + 6. Solve -f + 2*y = -1, 0 = -2*f - 0*f + y - u for f.
-1
Let t = 1 - -2. Suppose 0 = 2*v - i - 4, -3*v = -3*i - 2*i + 8. Solve 16 = 4*x + v*k, -x = -t*k - 2*k + 8 for x.
2
Suppose -4*s + 0 + 7 = -v, 4*s = 12. Let f be 1*-9 - (6 + -6). Let u be (2/(-3))/(3/f). Solve 0*l + 4*l - u = v*q, 10 = 4*l - q for l.
3
Suppose 5 = -h, 2*r = -0*r + 5*h + 125. Suppose 3*a + 4*d - 32 = 0, -16*d - r = -4*a - 14*d. Solve 3*f + a = 0, 5*f - f = -5*v - 1 for v.
3
Let h be 23 - (24 + 23) - -27. Solve -s = 3*l - 10, -h*l - 173*s + 18 = -176*s for l.
4
Let d be -1 + 2 + -2 + 4. Let l be -8 - (-8 + 5) - (-6 + -2). Solve l*o + d*x = 0, 2*o = -3*x - x + 6 for o.
-3
Let u = 676 - 672. Let q = 21 - 21. Solve -u*n - l + 8 = -q*l, 0 = -5*n - 2*l + 7 for n.
3
Let a = -58 + 20. Let s be (a - -49) + -8 + 1. Solve -3*i - 5*h + 8 = 1, 3*i = s*h - 11 for i.
-1
Let c be -7 - (36/9 - 0). Let o(r) = -6*r - 62. Let n be o(c). Solve b + 2*b - 3*x = -27, n*x = -4*b - 4 for b.
-5
Let z be (41 - 41)/(4/2). Solve 5*v + f + 2*f = 6, z = 2*v + f - 2 for v.
0
Let r(x) = -x**3 - 50*x**2 - 51*x - 84. Let q be r(-49). Suppose 4*o - 3*j = 41, -q*o + 11*o + 35 = 2*j. Solve 5*k + 0*k = 3*z - o, 3*z = -k - 13 for z.
-3
Suppose -897*s = -1003*s + 1060. Solve 0 = y + 3*u + 7, -5*y - 15 = 5*u - s for y.
2
Suppose -5*m = 10, -4*j + 3*m = -m - 28. Let p = 49 - 45. Solve -p*z - 17 = 3*v, v + j*z = 3*v - 27 for v.
1
Suppose -54*b + 58*b + 19 = x, 0 = -3*x + 4*b + 25. Solve -x*o + 23*n - 22*n = -9, -2*o + 2*n + 10 = 0 for o.
2
Suppose 143 - 744 = -184*v + 319. Solve -4*h = 5*c + 1 - 41, -v*h + 29 = c for c.
4
Let b be (-6)/9*(2 + -89). Let g = -58 + b. Suppose g = 4*o - p - 3*p - 12, 4*o = 2*p + 12. Solve -8 - 2 = 2*t - 3*k, -o*t + 2 = 4*k for t.
-2
Let i be (-2 - (-2 + -3))/(24/24). Suppose z = 2*z - 2*q + 2, 3*z - i*q + 3 = 0. Solve 3*o - 15 = 3*l, 4*o + 3*l - 6 = -z*l for o.
3
Suppose -101*r = -103*r + 3*u + 108, -3*r = 5*u - 200. Solve 0 = -4*d - i, -3*d - r*i = -56*i for d.
0
Suppose -2 = -5*b + 146*m - 147*m, 2*m = 2*b + 4. Solve b = 3*a - 6*w + 9*w - 6, 0 = 5*a - 3*w - 18 for a.
3
Suppose 0 = -2*t + 3*j + 43, 4*t + 5*j = 3*j + 46. Solve -5*b + 3*b - 4*x = -t, 2*x - 8 = 0 for b.
-1
Let u be -30 + (-3 - -25) + (-30)/(-3). Solve -i = u*a + 3 - 8, -5*a + 4*i + 19 = 0 for a.
3
Let l(n) be the second derivative of n**3/2 - n**2/2 - 25*n. Let q be l(2). Let y be (-3)/15 - (-21)/q. Solve 0 = -5*x, x - 4 = -u + y*x for u.
4
Suppose i - 34 = -y - 3*i, y - 2 = 4*i. Let b be -1 - ((-24)/y)/(2/6). Suppose -3*f = b*f + f. Solve f = -2*g - 2*s - 4, -5*s - 2 = -g + 2 for g.
-1
Let b = 3 - -31. Suppose -5*k + 3*n + b = 0, -3*k + 8*k = -5*n + 10. Let z = -12872 - -12876. Solve -11 = k*w - 2*y, -4*w + z*y + 2 = 6 for w.
-3
Suppose -9*q + 161 = -2*q. Let k be 1/(4/18 + q/(-414)). Solve -t - 1 = -3*l - k, -5*t + 5*l = -5 for t.
-1
Let r(y) = -y**3 + y**2. Let u be 21/(-27) + 1 + 182/(-9). Let b be 3 + (-12)/(u/(-5)). Let q be r(b). Solve 0 = 5*d - 3*a - 2*a - 5, q = -2*d - 3*a - 8 for d.
-1
Let t be (-7)/(84/(-180))*1/3 + -1. Solve -t*l - p = 21, 35*l - 39*l = -p + 27 for l.
-6
Let j = -69 - -111. Suppose 27 + j = -n. Let o = 85 + n. Solve -2*z + 0*z = 2, 0 = -4*b - 4*z + o for b.
5
Suppose 3*r = 4*n - 14, -2*n = -5*r - 4*n + 20. Let f be ((48/10)/(-3) + (-1793)/8965)*(-30)/9. Solve -6*j - f = -4*j - 5*h, -r*j = -2*h for j.
2
Let h(x) = x**3 + 12*x**2 - 38*x - 21. Let n be h(-15). Let w = n - -128. Solve -6*j - 4*u = -w*j, 3 = 2*j + 3*u for j.
-3
Let a(p) = p**3 - 4*p**2 - 209*p + 275. L