 Let g(u) = -a(u) + 2*f(u). Let p be g(20). Solve 5*c + 12 = -l - 3, 2*c + 8 = p for l.
5
Let h = 26 + -22. Suppose 0 = -h*t - 21 + 25. Solve -2*m - t = 3*x - 0, 0 = m - 5*x - 19 for m.
4
Suppose 0 = -t - 3 + 11. Suppose 2 = 5*j - t. Let w(h) = h**3 + 8*h**2 + 421*h + 4998. Let v be w(-11). Solve -j*b = -4, v*d - 2*b = 3*b - 14 for d.
-1
Suppose -5*c - n - 16 = -9*c, -c = 5*n + 17. Solve c*u - j + 9 = 0, 211*u + 5*j = 207*u - 12 for u.
-3
Let x = -8660 + 8663. Solve 4*d - 25 = -3*f, 8*f - 4*f + x*d - 24 = 0 for f.
3
Let c = 4688 + -4683. Solve -2*o + 38 = -c*g + 43, -g + 5*o = 22 for g.
3
Let o = 10179 + -10155. Solve -t + 5*i = -5*t + o, t = -i + 5 for t.
1
Let a = 4962 + -4960. Solve a*y = 5*u - 22, 0 = y - 14*u + 12*u + 9 for y.
-1
Suppose 3*c = -c + 16. Suppose -220 = -85*f + 75*f. Suppose -f*l - 24 = -30*l. Solve -c*h = -5*u - 5, -3*u = -6*u + l*h - 3 for u.
-1
Let q be (-12)/(-246) + 1636/82. Solve 3*u + 14 = h, -72*h + 5*u = -67*h - q for h.
-1
Let p = 140 - 95. Let v = p - 33. Solve -5*t - j = 2*j - 5, 4*t + 4*j = v for t.
-2
Let o be (2 - 2) + 2*(0 - -1). Suppose 0 = -m, 6 = 2*q - m - o. Solve 4*j + 8 = 2*k, 0 = -4*j - 5*k + q*k - 20 for j.
-4
Let n = 17083 - 17078. Solve -n*a + 4*v + 10 = 0, -2*a + 16 = -3*v + 5 for a.
-2
Let o(s) = 4*s**2 - 38*s + 87. Let q be o(6). Solve -q*a = a - 4*u, a = -4*u - 15 for a.
-3
Let a = -167 - -201. Suppose -2*q + a = 28. Solve q*f - 1 = -2*b, 0 = 2*f + 5*b - 4*b for f.
-1
Let j be ((-108)/(-270) - (-6)/(-15))/1. Solve -24 = 2*x - 34, j = 3*u + 2*x + 14 for u.
-8
Suppose 25*r - 580 = 595. Let w = r + -43. Solve -w*f - 3*j = -19, 3*j = -5*f + 4*j for f.
1
Let d(r) = -11*r + 39. Let x(u) = 7*u - 26. Let q(t) = -5*d(t) - 8*x(t). Let g be q(8). Solve g*y + 3*k - k = -18, -3*y - 2*k = 10 for y.
-4
Let j(b) = -b**3 + 6*b**2 + 7*b + 5. Suppose 12*n - 472 = 16*n. Let t = n - -125. Let x be j(t). Solve -g - m - 1 = 0, 20 = -4*g + 3*m - x for g.
-4
Let f be (-5340)/712*(-4)/5. Solve 2*k = 32*q - 35*q - f, -3*k = q + 9 for k.
-3
Suppose 0 = 13*u - 226 - 530 - 219. Solve -2 = 3*r - 4*l, r - u*l = -80*l - 7 for r.
-2
Let j be -1*(-2)/2 - (4 - -27). Let b = j + 41. Suppose b*x - 4 = 10*x. Solve 2*t - 24 = -5*s, -4*t = 3*s - 4*s - x for t.
2
Suppose 3*t - 72 = 3*m, -5*m - 4 + 24 = 0. Suppose 5*c = 2*c. Suppose c = -z - 4*o + 7 - 4, -3*o + 12 = 4*z. Solve f + 0*f + k = 0, 4*f - z*k = t for f.
4
Suppose -17 = -4*g - 3*t, -133*g - 12 = -136*g - 2*t. Solve -4*y - 18*d - 22 = -20*d, 4*d = g*y + 26 for y.
-3
Let a be 10/6*-3 + 5. Let s(v) = -v**2 - 8*v - 7. Let u be s(-6). Suppose a*f - u*f = -40. Solve -f = 4*n + 4*r, 5*n - 4*r + 13 - 3 = 0 for n.
-2
Suppose 143*w - 140*w - 45 = 0. Suppose 0 = 2*y + 2*h - 7*h - w, -4*y - 2*h + 90 = 0. Solve 3 = 3*o - 0, 5*r + y = 5*o for r.
-3
Suppose 94*v - 4*j = 92*v, -5*j = -5*v + 5. Solve -2*q + t = -3, -3*q + v*t + 4 = -0 for q.
2
Let z(c) = c**3 + 16*c**2 + 74*c + 104. Let t be z(-9). Solve 0 = -o - 2*o + 3, -4*x - t*o = -17 for x.
3
Let l be ((-44)/(-3))/((-2)/(-9)). Suppose -l = -3*v + 18. Solve r - 2*w = -w, -3*r - v = 4*w for r.
-4
Let c(u) = -23*u - 21. Let x be c(-1). Solve 5*z = 3*y - 2, 3*y - x*y = -4*z + 12 for z.
2
Let a = 70 - 59. Suppose -13*p + 16 = -a*p. Suppose 3*u + p = 5*r, -4*u - 32 = -8*u - 4*r. Solve 0 = z - u*z - 4*c, -5*c = 2*z for z.
0
Suppose 345*z - 1067 - 1715 = 1013. Suppose t - 14 = -t. Suppose 0 = -n - 0 + 2. Solve a + o = -1, -t = n*a - 2*o + z for a.
-5
Let v(u) = 2*u**2 + 32*u - 37. Let j be v(-17). Let m = 6 + j. Solve 5*h - 8*x + 3*x + 15 = 0, -h - 13 = -m*x for h.
2
Suppose 5*h = a - 3*a - 238, -2*h - a - 96 = 0. Let t be (2/3)/(h/(-1035)). Solve -z = -0*m - 3*m + t, 4*z = -2*m - 4 for z.
-3
Let y(z) = -z**2 - z + 7. Let c be y(-3). Suppose -c = 4*s + 3*d - 9, 5*s - 21 = -d. Suppose 27 - s = 2*m. Solve 4*v + 0*r - 2*r + 2 = 0, 3*v - 4*r = m for v.
-3
Let z = -9 - -4. Let j = 8 + z. Let b be 63/(-6)*(-8)/6*690/805. Solve -j*i + 10 = c, 3*i - b = -5*c + 14 for c.
4
Let c be (16 - (-345)/(-27))*9. Solve r - 3*i = 5, 1 = -30*r + c*r - 3*i for r.
2
Let h be (-34 - (-10384)/295)/(3 - (-26)/(-10)). Suppose -c + 0 = -4. Solve -c*v = -3*x + 10, -h*v - 4 = v for x.
2
Let v be 2896/10 - -6*(-3)/(-45). Let w = v + -288. Solve 4 = 5*i - 3*q + 10, -w*q = -3*i - 4 for i.
0
Suppose 5*l + 4*l = 0. Suppose l = 2*c - 10, 81 = 3*w - 5*c + 388. Let y = w - -99. Solve -3*o + 2*o - 4 = 2*u, 0 = -y*u - 10 for o.
0
Let t be 1 + -1 + 76 + -5. Suppose -t + 8 = -9*j. Suppose k - 30 = -5*l, -j*k = -4*l - 3*k. Solve 4*p - 4 = -l*b, p - b - 2 = -p for p.
1
Suppose 37 = -5*x + 52. Suppose x*w = 3, -4*v + w - 53 = -144. Solve -2*q + 8 = -4*n + 8*n, -5*n = -4*q - v for q.
-2
Suppose 22 - 20 = i. Solve 0 = j - 5*g + 21, -i*g - 3*g = 2*j - 33 for j.
4
Let v be (-12)/((-3)/(204/28)) - 120/(-140). Solve v*k = 35*k - 10, 5*m + 4*k = 8 for m.
0
Suppose 49 = 4*d - 3. Suppose 10*n - 63 + d = 0. Suppose 5*l + 4*s = 2 - 12, -3*s - 25 = -n*l. Solve -2*f - l*u = -14, 6*f - 3*f = 5*u - 11 for f.
3
Let p = 3110 + -3105. Solve 8*j - 5*d + p = 3*j, j = 3*d - 1 for j.
-1
Suppose 0 = -0*b + 3*b + 5*u - 82, -b = -3*u - 18. Suppose -2*x + b = 3*x + 3*n, -5*x = -3*n - 6. Solve o = 2*o + x*d + 13, 2*o + 2*d = -10 for o.
-1
Let f(k) = 4*k**3 - 17*k**2 + k + 13. Let u be f(4). Let m = 2 - 3. Let q be (0 + u)*(m - -4) + 11. Solve 2*n - 2*w - q = -2*n, n + 3*w = 14 for n.
5
Let t be (5 + -2)*1/3. Let c(r) = -8*r - 16*r + 26*r. Let i be c(t). Solve -2*l = d - 11, -l - i*d + 1 = -9 for l.
4
Suppose 5*x + i - 35 = 63, -4*i + 32 = 2*x. Suppose 5*c - x = -5*j, -c - 3*c + 4*j = -24. Solve -2*l - 13 = c*z, 5*z - 2*l = 2 + 1 for z.
-1
Suppose 0 = -157*p + 37*p + 459 + 141. Solve 0 - 23 = 5*t + d, -5*t = -p*d + 5 for t.
-4
Let o = 6940 - 6937. Solve o*b = 5*d, 0 = 5*d + 4*b + 31 + 4 for d.
-3
Let v = 943 - 938. Solve -5*p - 5 = o, -10 = -3*p + v*o + 15 for p.
0
Let s be (-2)/(-9 + 3)*3. Let l be 1 - 1 - 21/((-7)/s). Solve -j + 3*j - 11 = q, -l*j + 5*q + 27 = 0 for j.
4
Let a be (-117)/(-65) + ((-270)/(-120))/(30/16). Solve -5*o + 10 = -50*w + 45*w, -w - 2 = -a*o for w.
-2
Let h(p) = -964*p + 964. Let t be h(1). Solve t = 2*m - 3*g - 6, 0 = -4*m - 7*g + 2*g - 32 for m.
-3
Let h = -381 + 381. Suppose 14*v - 10*v - 60 = 0. Solve -3*j + h*o + 2*o + 5 = 0, 0 = 5*j - 5*o - v for j.
-1
Let k(j) = -j**2 - j. Let w be k(0). Suppose -15*l = -l - 2*l. Suppose 149*c = 127*c + 110. Solve -d - c*o = w, -3*d + 4*d + 3*o = l for d.
0
Let q = 12472 - 12463. Solve 7 - q = -2*k - 2*u, 0 = -k - 3*u + 3 for k.
0
Let m be 5 + -9*(6 + 4 + -7 - 4). Solve d - 16 = -3*t, -t + m*d = 9*d for t.
5
Suppose -1738*u = -875*u - 872*u + 18. Let l be 2/8 + (-51)/12. Let v(s) = -2*s - 4. Let t be v(l). Solve u*f - t*q = -12, -q + 14 = 3*f + 2*f for f.
2
Let g be ((-20)/(-6))/((-11)/(-66)). Suppose -6*q - 2 + g = 0. Solve 3*f + 4*h - 28 = 0, h - 2*h = -q*f + 8 for f.
4
Suppose -2*b + 101 = -81. Suppose 5*v + 15 = g, -5*v + 16 = -4*g + b. Let n = g - 20. Solve 5*o + n*p + 4*p = 23, 0 = -o - 5*p + 13 for o.
3
Suppose 20 = -5*g, p = -4*p + g + 189. Suppose -p*f - 16*f + 848 = 0. Solve -f = -3*y + 2*w - 4*w, 2*y - 12 = -2*w for y.
4
Let x(c) be the first derivative of 1 - 2/3*c**3 - 15/2*c**2 + 12*c. Let h be x(-8). Solve n - 27 + 8 = h*a, 2*n + 3*a = -17 for n.
-1
Let s = -320 - -336. Suppose -17*x = -s*x - 2. Solve -4*i = 4*z - 3*z + 5, 7 = -5*i - x*z for i.
-1
Suppose w + 930 = -5*u, 5*w = 6*w + 5. Let z = u - -187. Solve f + 5*b - 8 = z*b, b - 3 = 0 for f.
-1
Let p = 93 - 91. Suppose -3*x + 9 = 4*k, 2*x + p*k + 3*k + 1 = 0. Let h(u) = -3*u + 24. Let q be h(x). Solve -4*a - 8 + 0 = -s, -6 = q*a + 2*s for a.
-2
Let h(b) = -b + 26. Let c = 320 + -299. Let o be h(c). Solve -2*g = -o*s + 10, 5*s + 0*g = -g - 5 for s.
0
Let z = 15414 + -15414. Let g be ((-8)/10)/((-2)/5). Suppose g*k + 3*p = 6*k - 6, -p = 5*k + 2. Solve -2*t = j - k*j - 3, -j + t = z for j.
1
Let d(k) be the second derivative of 8*k**3/3 + 72*k**2 - 5*k - 1. Let b be d(-9). Solve 13 = -3*f + 2*a, -2*f + 3*a + b*a - 7 = 0 for f.
-5
Let a = 3581 - 3581. Solve 0 = o + 2*u + 10, u - 2 = 3*o - a*o for o.
-2
Let m be (471/2)/(5 + 34/(-8)). Let f = 318 - m. Solve f*k = -2*x - 0*x - 6, k - x = 6 for k.
1
Let l = 32 - 29. Let a = 109 - 26. Let o = a - 80. Solve -5*y + l*j = 7, -j - 8 = o*y + j