k. Solve 3 = 2*f - 5*j - 8, -5 = k*j for f.
3
Let v(g) = -2*g + 19. Let c be v(7). Suppose -f + c*f = -5*o + 9, -3*o + f + 19 = 0. Solve -x + 5 = 2, 3*t - 21 = -o*x for t.
2
Let d be -4 + (-6646)/(-11) - (-14)/(-77). Let v = d + -590. Solve -5*n + 9 = g, 5*n - v = g + 1 for g.
-1
Let g be (-4 + (-9 - -4))*(-12)/27. Solve 12 = 4*l - g*o, -4*l = 28*o - 26*o for l.
1
Let n be 0*(-2)/(-12)*-3*-1. Suppose n = -3*i + 12*s - 16*s - 4, i - 8 = s. Solve -4*k + 11 = -2*m + 1, i*k - 16 = 0 for m.
3
Suppose 3*f + 2*f + 3*b = 1645, 2*f - 672 = -4*b. Let a = f - 325. Solve -1 = 4*g + 3*c, 10*g + 3*c - a = 5*g for g.
2
Suppose r + 30 - 18 = 0. Let n = r + 30. Let l be 23 + (0 - 2)*n/12. Solve -2*a = 4*v - l, -8 + 23 = -5*a + 3*v for a.
0
Let y be 1/((50/(-4))/5)*-10. Suppose 0 = -y*z, 2*z + 3 + 1 = v. Let n be -6*(v - (-22)/(-4)). Solve -2*s + 0*s = -4*x + 18, -5*s - n = -x for x.
4
Let z be ((1 + -1)/3)/(-2). Suppose 2*h - 3*x - 35 = z, -5*h = -3*h + x - 15. Suppose 2*o - 7*o = -h. Solve 16 = 2*t + 3*b, -o*t + 2 = -2*b - 2*b for t.
5
Let j(b) = -3*b**2 - 18*b + 1. Let r = -103 - -97. Let s be j(r). Suppose -q + s + 5 = 0. Solve -2*t - q = -2*w, 5*t + 24 = -5*w - 1 for t.
-4
Suppose -5*k - 515 = -525. Suppose 0 = 2*h + 4*v - 11 - 9, h + v = 5. Solve -k*r - 21 = 5*b, 0 = -2*r - h*b + 3*b + 19 for r.
2
Let l(h) = 4*h + 86. Let y be l(-20). Suppose -4*d = 4*d - y*d. Solve d = 2*c - 10, m + c = 1 + 6 for m.
2
Let u(s) = -s**3 - 309*s**2 - 6*s + 3. Let x be u(0). Let q(m) = m**2 - 5*m + 6. Let v be q(6). Solve 2*b = -5*n + 15, -2*b + n = -x*n + v for b.
0
Let r(u) = u**3 - 17*u**2 + 19*u - 38. Let o(s) = s**3 - 33*s**2 + 31*s + 48. Let t be o(32). Let k be r(t). Solve -2*v + 4*v = 3*m + 25, 0 = 2*v - k for m.
-5
Let q(b) be the second derivative of -b**5/20 - b**4/12 + b**3/6 - 4*b + 2. Let p be q(0). Solve p*m - 4*u = 2*m + 12, -1 = m + u for m.
4
Let x be -3 - (2 - (4 - 175)). Let q = x + 97. Let r = -75 - q. Solve 2*h + 5*p = p + 18, 0 = 2*h - r*p + 14 for h.
1
Let p be 8/(-4 - -5) + -3. Let w(o) = o**2 - 2*o + 1. Let u be w(1). Solve u = 2*j - 4*y + 14, -2*y + 17 = -p*j + 2*y for j.
-1
Suppose -3*z - 2*z - 2*q = -4646, 3*z + 2*q = 2786. Suppose 11*c + z = c. Let v = 95 + c. Solve -w - 3 = v*r, 3*w + 2*r + 3 + 6 = 0 for w.
-3
Suppose -o - 172 + 6 = 0. Let q = 170 + o. Solve 0 = q*a + 4*s - 4, 2*s - 6 - 2 = 0 for a.
-3
Let y = -4790 + 4794. Solve 3*k = 5*i - 34, y*k + 4*i = 3*k + 17 for k.
-3
Suppose 4*q + 2*m = 170 - 142, -5*q - 2*m = -34. Solve -3*f = 5*z - q, 2*f - 2*z + 1 = 5 for f.
2
Let a(d) = -2*d + 7. Let q be a(-6). Suppose 0 = q*n - 34*n + 75. Solve -6 = -k + n*j, -k - 12 = k + 2*j for k.
-4
Let k(w) = -5 - 2 - 14*w - w**2 + 2*w. Suppose 0 = -51*v + 132*v + 891. Let c be k(v). Solve 4*o - 5*o = -4*a - 2, 10 = -c*a + 5*o for a.
0
Suppose -4*n = 13*n + 23 - 74. Solve n*z - 2*t = -6*t - 16, 2*t = 3*z + 10 for z.
-4
Let f be 4/3*(-25 - -79). Let h be -3*(-16)/f*33. Let y(n) = -2*n - 8. Let d be y(-6). Solve 3*l = d*u - l + 24, -2*u = -4*l + h for u.
-1
Let w(o) = o**2 + 8*o + 1. Let j be w(-6). Let r = -257 + 244. Let n = j - r. Solve -p + 1 = -n*p - 2*l, 0 = -4*p + l + 5 for p.
1
Let g be 7*(-1)/(-42) - (-5 + 19/6). Solve -u = g*w + 2, 4 = -2*w + 10*u - 12*u for w.
0
Suppose -127*d = -125*d - 50. Suppose d = -74*h + 79*h. Solve 5*g - 45 = -5*n, 4*g - 7 = 2*n + h for n.
4
Suppose 1652*b - 1658*b + 30 = 0. Solve -x + 3*l + 16 = 0, 0 = 2*x - 4*x - b*l - 23 for x.
1
Suppose -4*o = 5*s - s - 5*s, 3*s = 4*o. Solve 4*v + 20 = o, -4*v = -9*k + 5*k + 40 for k.
5
Let r = -95 + 96. Let o be (-2)/4*(-1 + r)/(-8). Solve 4*d - d - l = 15, o = -2*d - 5*l + 10 for d.
5
Suppose 0 = -2*r - 5*b + 55, 2*b = 3*r - 29 - 63. Suppose r = 8*t - 10. Solve 4*c = -t*x + 13, -3*c + 3*x = 4*x - 7 for c.
2
Let k(g) = -3*g**3 - 8*g. Let m be k(0). Solve w - 82*b + 6 = -84*b, m = -2*b - 4 for w.
-2
Let w = 48 + -46. Let l be (0 - -1)*(1 - w). Let z be (-3)/(l/(-1)) - -1*6. Solve -4*q = -p + z*p, -3*q = -2*p for q.
0
Let y(z) = -35*z**2 - 147*z - 23. Let f be y(-4). Solve -3*l + 5 = 5*v - f*l, 22 = 3*v - 5*l for v.
-1
Let w = 539 - 474. Suppose -288*l + 275*l + w = 0. Solve 11*f + l*o + 29 = 10*f, -2*f + 4*o = -12 for f.
-4
Let s(n) = -n**2 - 46*n + 10. Let b(w) = 44*w - 9. Let g(j) = -2*b(j) - 3*s(j). Let h be g(-17). Solve -h*x - 10 = -a, -2*a + a - 4*x = 8 for a.
0
Let h be (-1)/((-9)/(-120)) - (-4)/(-6). Let f be (h/4 + 5)/((-2)/(-4)). Let a be (f/(-2))/(1/(-2)). Solve 5*u - a*j = -12, -3*u - 12 = 2*j - 1 for u.
-3
Let m = -28 + 48. Suppose -21*r + m*r = -65. Let k = r + -60. Solve k + 7 = 4*n + 5*p, -4*n - 28 = -5*p for n.
-2
Suppose 33*q + 3 = -v + 32*q, 41 = 5*v - 3*q. Let j be (6 - 1)*(0 + 1). Solve g + j = -3*u + 13, -v*g = -3*u + 13 for u.
3
Let c be ((-3)/4)/((-250)/225 + 519/540). Solve c*a - 1 = -2*t, -3*a + 5*t - 20 = 2*a for a.
-1
Suppose 4*l + 3*h - 58 = -40, -l - 5*h = -13. Solve -o - 2*b + 8 = 19, -12 = -3*o + l*b for o.
-1
Let s be (-8)/(-24) + -2*(-97)/(-6). Let j = 35 + s. Suppose -4*w - 4 = -j*r, -2*r - 3*w = -2 - 12. Solve g = r*x, x + 5 + 4 = -2*g for x.
-1
Let b(y) = 2*y**2 - 52*y + 332. Let o be b(11). Let s be ((-9)/6)/((-6)/52). Solve -11 = -i + 5*x + s, -5*i - o*x = -12 for i.
4
Suppose -124*z = -130*z + 42. Let k = 6 + -4. Suppose k*q = -q. Solve q = 4*p - i - z, 4*i + 0*i - 11 = 3*p for p.
3
Suppose -3*j + 6*f = 11*f + 15, 0 = -j + f + 3. Solve b - 4*w + 2 = j, 3*w = -2*b + 6*b + 8 for b.
-2
Let m = 122 - 120. Suppose -2*j - 14 = -m*y, 4*y = y - 3*j + 9. Solve y*v + 2*k = 5, 2*k - 2 = -v - 3*v for v.
3
Let z(c) be the first derivative of -c**2/2 - 2*c + 9. Let u be z(-4). Let g = 3474 + -3474. Solve 2*r = r - p + u, g = 3*r - 3*p + 12 for r.
-1
Let n(u) = u**2 + 50*u - 15755. Let k be n(-153). Solve -8 = k*f, 5*t - 9*f = -7*f + 14 for t.
2
Let o be (-9)/7 + 4/14. Let m(k) = -8*k + 10. Let r be m(3). Let f be (0/o)/(-13 - r). Solve -a + 3*c = -0*a - 9, -3*a + 2*c + 6 = f for a.
0
Let b = 9303 - 9300. Solve 3*g + 9 = b*p, -5*g = 10*p - 7*p - 9 for g.
0
Let x = -463 - -495. Suppose -3*i - 2*l + 46 = 0, 4*i - 2*l - 34 - x = 0. Solve 3*r + 4*j - i = 0, 2*r - 2*j - 10 = -4 for r.
4
Let c(b) = -13*b - 23. Let d be c(-2). Let p be (-124)/93*d/(-2). Solve y + q = -6, q + 8 = 2*y - p*q for y.
-2
Let y be (-1 - 1) + 16 + (2 - 2). Let n = 19 - y. Suppose -2*t + 1 = -n*p, -5*p + 1 + 4 = 0. Solve 4*s - 17 = -t*o, 5*s - 4*o + 0 = -2 for s.
2
Let z(b) be the third derivative of b**5/60 + b**4/6 - b**3 - 35*b**2. Let w be z(4). Let q be 2/5 - w/(-10). Solve 3*v + r = -3*r - 1, -q*r = -3*v + 6 for v.
1
Suppose -d - 5 = 15*r - 12*r, -5*d + 17 = r. Let f(i) = 3*i**2. Suppose 0 = -3*v - v - 8. Let u be f(v). Solve -22 = -5*q + 2*s, 4*q - u = -0*s - d*s for q.
4
Suppose 35*b + 3683 = 3858. Solve -b*u + 9 = 14, 3*p = u + 19 for p.
6
Suppose 0 = 5806*u - 5801*u - 25. Solve i = -p - u, 4*i - 4*p + 5*p + 20 = 0 for i.
-5
Let m(p) = 9*p - 40. Suppose 4*h + 28 = 5*u + h, 4*h + 19 = 3*u. Let d be m(u). Solve 3*a - 22 = 2*g - d, 0 = -2*g + 4*a - 20 for g.
-4
Let a be ((-2)/4)/((-4)/16). Let q be 2*((-5)/a + 3) - -2. Suppose 0 = s - k - 8 - 23, -k = -q*s + 83. Solve 5*u - 5 = -3*n, 4*n = 2*u - 2 + s for u.
-2
Let y = -346 - -195. Let a = 155 + y. Solve 8 = 2*t - 5*d, -t + 0*d - a*d + 4 = 0 for t.
4
Let i(b) = b**3 + 3*b**2 - 14*b - 12. Let f be i(-5). Suppose f*p + 50 = 74. Solve 0*l - 3*z + 23 = 4*l, p*l - 1 = z for l.
2
Let d = -4 + 4. Suppose d*j = 2*j. Suppose 5*o - 2*c - 30 = j, o - 9 = 2*c - c. Solve 0 = 2*n - o*t - t, t = n - 3 for n.
5
Let i(q) = q**2 + 8*q - 16. Let f be i(2). Suppose f*h = 0, 3 = 4*c - 2*h - 9. Let p be (3 - 3)/(-2*1). Solve 3*j + c*d + 6 + 9 = p, -20 = 2*j + 4*d for j.
0
Let n be (-6)/20 + (-41)/(-246) - 141/(-45). Solve 0 = h - n*u + 4*u - 2, h = -3*u for h.
3
Let g be 1/(1292/(-136) - -2*5). Solve 0 = t + 3*y - 3, -g*t - 3*y = t - 3 for t.
0
Let z be ((-66)/(-198))/(1/3). Let o be 9 + z - (2 + 0). Solve 0 = -4*f + 4*b + 16, 8*f - b - o = 5*f for f.
2
Let f(l) = 257*l - 251. Let o be f(1). Solve o*b - 4 = 4*b, -u = -5*b + 15 for u.
-5
Let j = 18767 + -18761. Solve 14*c + 3*o + j = 16*c, -4 = 4*c - 2*o for c.
-3
Let r(g) = 4*g + 3. Let o(u) = -u - 13. Let a be o(-13). Let n be r(a). Solve 4*x = 5*w + 30, n*w + x = -2*x + 9 for w.
-2
Suppose -13*i + 5*i + 