080. Suppose 7*f + 13*f = h. Solve -5*c + 0 = -d - 23, f*d = c + 1 for c.
5
Let a(y) = -3*y**2 + 25*y + 20. Let w be a(9). Let c be -4 - (3 + -16 - -4) - 2. Solve 3*f - w*f = -3*o - 5, -4 = c*f - 2*o for f.
-2
Suppose 5*a - 5*x + 575 = 0, -5*a - 3*x - 320 - 295 = 0. Let z be (8/(-3))/(16/a). Solve -13 = -d - 5*t - 0*t, 0 = -4*d + 4*t - z for d.
-2
Let m(r) = r**2 - 40*r - 3319. Let d be m(-41). Solve 14*u - 3*j + 1 = 13*u, d*u - 4*j = 2 for u.
5
Suppose -5*v = -3*b + 30, v - 7 = 6*b - 8*b. Suppose 5*j = -0*j. Suppose j*a + 3 = a. Solve -a*k - 10 = -b*r, 2*k - r - 6 = -4*r for k.
0
Suppose -l + 3*i - 25 = 0, -4*l - 2*i = -37 - 3. Let r(a) = a - 2. Let w be r(6). Solve 3*b = -2*s + 2, -s + 10 = w*s + l*b for s.
4
Suppose l = -3*i + 94, 0 = i - 4*l - 8 - 32. Suppose -5*b + i = 5*m + 2, 5*b = 10. Solve -2*g + 16 + 7 = -5*d, m*g = -4*d + 4 for g.
4
Suppose 4*x - 31 = -5*o, -o = 3*x + 1 - 16. Let b = x + -2. Let w be 13/((-1235)/(-180)) - (-92)/874. Solve -p + b*l + w = 0, 9*l + 2 = 4*p + 4*l for p.
-2
Let g = -461 + 468. Let r be -12 + g + (3 - -1) - -6. Solve 0 = r*s - p - 24, -s - 4*p - 16 = p for s.
4
Suppose -o + 1163 - 1161 = 0, 3*o - 676 = -5*b. Solve -4*m + 4*y = 4, -5*y + b - 129 = 2*m for m.
0
Suppose -5*r = -2*y - 65, 5*r = -y + 43 + 37. Let a be (-26)/(-10) - (-1)/(r/6). Solve -4*g - p + 18 = 0, a*g = 3*p + 11 + 10 for g.
5
Let l(j) = j**3 - 22*j**2 + 74*j - 11. Let k be l(18). Solve 0 = 5*n + 5*i, -n + 5*i - i + k = 0 for n.
5
Suppose 14*f + 73 = 87*f. Solve 0 = a - 3*k + 4, -4*k + f + 1 = -3*a for a.
2
Let s(w) = -w + 7. Let u be 15*(-1 + (-8)/(-6)). Let a be s(u). Let v(k) = -183*k + 3. Let t be v(0). Solve a*i - 2*c = -8, -i + t*c = 8 + 6 for i.
1
Let q(b) = -31*b - 59. Let x be q(-2). Suppose 195*h = 196*h - x. Solve -4*r - 2*s + 26 = 0, -h*s + s = -10 for r.
4
Suppose 18*f = 1138 + 410. Let b = f - 82. Suppose 51 = b*p + 39. Solve -20 = -p*t + 2*c, 2*c - 2 = -10 for t.
4
Let k = 323 - 318. Suppose 0 = -m - 5*n + 27, n = 4*m - 0 - 3. Suppose -15 = -5*p - 2*r, 0*p = -p - m*r - k. Solve 4*i + 16 = p*q, 2*q - 4 = 2*i + 2 for i.
1
Suppose -139*f = -129*f - 20. Solve 5*r + 26 = -3*k, f*r - 2 = -2*k + 7*k for r.
-4
Let u = 3973 + -3949. Solve 0*d = -n - 5*d + u, 0 = n + 4*d - 19 for n.
-1
Suppose -2*c - 3 = 3*y, -c = -4*c + 2*y + 2. Suppose c = -7*a + 15*a - 40. Solve -a*r = -2*u + 2 - 30, -3*r + 8 = u for r.
4
Let i = -16695 - -16695. Solve f + 2*h - 5 = i, 2*f - 3*h - 33 = -37 for f.
1
Let z(s) = s**2 + 20*s + 105. Let g be z(-10). Suppose 4*j - 10 = 3*v + 21, -v = g*j - 15. Solve -i = j*q + 8 - 1, 2*i = -q for i.
1
Let v = 57 + -17. Let r = -35 + v. Suppose 4*q = 5*a - 52, 21 = 4*a + 3*q - 2. Solve -w + r*w = m + a, 4*w - 8 = -m for w.
2
Let f be 1 + ((-24)/(-4) - 3). Suppose -2*l - 24 = -6. Let k be (24/l)/(2/(-3)). Solve 0 = a - k*w - 6, 3*a - 4*w - 10 = f*a for a.
-2
Let m be 0 - 2 - ((-3 - 0) + -1). Suppose 8*r - 150 = 42. Suppose -c = 2*c - r. Solve -m*p - 2 = 2*i + 6, -2*p - c = 3*i for p.
-4
Let o = 3 + -1. Let v be -5*(o + (-4 - -14)). Let z = v - -65. Solve 3*g + z = -f, -4*g - g + 5 = -f for g.
0
Suppose 0 = 5*l - 2 - 8. Suppose 0 = d - 3*r + 7, -472*r = -2*d - 476*r + 26. Solve -3*b + 15 = -4*t + l*b, 15 = -t + d*b for t.
0
Let r(i) = i**3 - 2*i**2 + 12*i - 21. Let z be r(2). Let s be 7 - ((z - (1 + 7)) + 8). Solve 4*v - 6*w + s*w - 6 = 0, 20 = 4*w for v.
4
Let p = 87 - 78. Suppose h - 6 = 0, -4*u + 5*h + 74 - 96 = 0. Solve -8 = -5*q - 4*y + p, 0 = u*y - 6 for q.
1
Suppose o - 100 = -19*o. Solve 5*s - 16 = -4*l + s, 0 = 2*l - o*s + 27 for l.
-1
Let x(u) = -u**3 + 8*u**2 - 14*u + 9. Let h be x(6). Let w be ((-6)/4)/(h/(-16)*-4). Solve 3*a + 3 = 2*b, -4*b + w = -a - a for b.
0
Suppose 325*y + 1 = 324*y + 6. Solve -3*q + 6*q - 16 = -y*h, 4*h = q + 23 for q.
-3
Let o(a) = -24*a - 1656. Let v be o(-69). Solve v = f - 5*m - 12, 4*f - 45 = 3*m - 48 for f.
-3
Suppose -20 = -51*p + 47*p. Solve -4*s + j = p*j + 40, 0 = 3*s - j + 10 for s.
-5
Let p(g) be the third derivative of g**5/60 - 5*g**4/24 - 31*g**3/3 - 2*g**2 + 28*g. Let f be p(-6). Solve 0 = -5*j - m - 5, -f = 4*j + m + m for j.
-1
Let y be (6/18)/(1/15). Suppose -y*k - 5 = -9*h + 4*h, -5*k = -20. Solve -4*f + h*p = -7, -5*f + 3*p + 6 = -6 for f.
3
Let x be ((-1)/4)/((-6)/144). Suppose 0 = 7*j - 9*j + x, -c = -3*j - 19. Solve 5*k = 20, -3*k + c = 2*s + 2*k for s.
4
Suppose -102*b + 352 = 46. Let x be 18/4 - 1/2. Solve 1 = -5*w - b*h, 5 = -x*w + 3*w + h for w.
-2
Let r be 255/6 + 5/(-10). Suppose 40*d - r*d = -24. Solve 4*b + 5*g = 12 + 9, -2*b - d = -2*g for b.
-1
Let j = 436 + -430. Let l be (0/1)/(7 - j). Solve 3*m + c = l, 3*m = m + 4*c + 14 for m.
1
Let i(j) = -251*j + 1759. Let d be i(7). Solve 2*y - 3*g + 6*g = -7, 0 = -d*g - 10 for y.
4
Suppose 4*d - 15 = -3*m + 28, -3*m + 2*d + 55 = 0. Let x(l) = 215*l - 1503. Let f be x(7). Solve f*g + 7 = -5*u + m, -4*u + 21 = -g for g.
-5
Suppose -11*b + 95 = 1041. Let g = -65 - b. Let n = 36 - g. Solve t + 4*j + 26 = 3*t, 0 = -t - 5*j - n for t.
5
Let u(k) = -2*k**3 - 15*k**2 - 8*k + 64. Let b be u(-6). Solve t - 10 = -130*o + 135*o, -t = -3*o - b for t.
-5
Let j be 8/18*(-99)/(-22) + -4. Let v be j/7 - (-6)/(-21)*-15. Solve 3*q - 3*l - v = -1, 2*l = 5*q + 10 for q.
-4
Let q = 73 - 66. Suppose q + 3 = 2*h. Suppose 2*y + 4 = -2*b, 3*b - 1 = h*y - 7. Solve y*j - 4*a = -j - 13, 31 = 5*j + 4*a for j.
3
Let r(l) be the second derivative of -l**3/6 + 13*l**2/2 + 50*l. Let o be r(11). Solve -2*b + 5*d - 20 = -0*d, -o*d - 21 = 5*b for b.
-5
Suppose 17*t - 20 - 2 - 12 = 0. Solve 2*s = -3*k + 5, 3*k + 5*s + 7 = t*k for k.
3
Let p = -26546 - -26559. Solve q + 3*a = -2 + p, -3*q - 4*a + 8 = 0 for q.
-4
Suppose -23 = -3*l - 2*j, -11*l + 16*l = 3*j + 13. Let a be (39/6)/1*-2. Let v = a - -15. Solve -3*h + 2*h + x = -v, 4*h + 19 = -l*x for h.
-1
Let q = 5 - 2. Suppose 0 = 49*u - 70*u - 14679. Let i = -695 - u. Solve 3*r + i = -q*w - 2, -2 = 2*w + 3*r for w.
-4
Let c(i) = -3*i**3 - 3*i**2 - 3*i - 1. Let p be c(-1). Suppose -5*n + 5 = 2*t, 3*n = 6*n - p*t - 3. Solve g = 5*d - 8 - 9, -2*d + 3*g = n for d.
4
Let q = 67 - 62. Solve q*x + i = -18 - 5, 27 = -5*x + i for x.
-5
Let s be -1 - (2 - -3)/(-5). Suppose 0 = -s*m - 4*m - 5*k - 13, 0 = -m + k + 8. Solve 3*a - 2*a + m*g = 0, -5*a = -g + 16 for a.
-3
Let b(g) = 3*g**2 + 2*g + 4. Let u be b(0). Let s = 65 - 18. Suppose -s + 12 = -7*z. Solve 0 = 2*h - z*i - u, 5*i + 1 = 4*h + 3 for h.
-3
Let j(s) = -s**3 + 4*s**2 + 1. Let f be j(3). Let p = -190 + 194. Suppose p*v + 29 = 2*t + 7, v = -4*t + 26. Solve 5*a - 3*i = -t, -2*a - i - f = -4*i for a.
1
Let z = -5700 - -5707. Solve 3*l - 6*p + 18 = -z*p, -l - 5*p = 20 for l.
-5
Suppose -2*i + 971 = 55. Let k = 458 - i. Solve 0 = 3*h - a - a - 9, -5*h + 5*a + 15 = k for h.
3
Let i(x) = -44*x**2 - 750*x + 3. Let m be i(-17). Solve -3*w - h = -17, 3*w + 6*h = h + m for w.
4
Let x be 8 + ((-18)/3 - -3). Let s(t) = -t**3 + 23*t**2 - t + 26. Let y be 3/(3/5) + 18. Let o be s(y). Solve 0 = 2*h - x*c - 17, -4*h + o*c = -c - 4 for h.
-4
Suppose -34*t - 68 = -36*t. Let l(s) = s - 52. Let j be l(20). Let o = t + j. Solve 4*q = 2*r - 7*r - 1, 10 = -4*q - o*r for q.
-4
Let a(q) = q**3 - 10*q**2 - 11*q + 14. Let r be a(11). Suppose 54 = 6*x + 24. Solve -3*u + 8 = 3*m - 5*u, x*u = -m + r for m.
4
Let z = -3469 + 3474. Solve p = -z*y - 10, -32*y + 4*p = -34*y - 22 for y.
-1
Let d = 1173 - 1171. Solve -5*v - 1 = -d*y, -5*v + 4 - 8 = -3*y for v.
1
Let k = 427 + -422. Suppose -5*h = -2*h + k*a - 5, -1 = h - a. Solve -2*d - i + h*i + 7 = 0, 0 = 2*d - 5*i - 13 for d.
4
Suppose -2*k + 3*k - 71 = -3*y, y - 251 = -4*k. Let j = k - 77. Let q be 12/(-1)*j/10. Solve 0 = w + 4*w + 4*v - 26, 0 = -3*w - 3*v + q for w.
2
Let p = 36608 - 36576. Let v be (-1 - 0)*(-2 - -9). Let d = v + 22. Solve 3*x + d = 0, -2*k = -6*k - 4*x - p for k.
-3
Let h(f) = 3*f**2 - f. Suppose 2*j = 4*s + 18, 10*j - 7 = 7*j + 2*s. Let n be h(j). Let i = 5 - 2. Solve n*u - 3*u + i = l, l + 2*u = 0 for l.
2
Let y = -610 - -895. Let s = y - 280. Solve 2*n - 2 = k, 0*k - 2 = s*k - 2*n for k.
0
Suppose -2*h = -0*h + 2. Let p be (-8)/(-36) + h + 21/27. Let u(n) = -n**3 + 2*n**2 + 5*n - 3. Let m be u(3). Solve 4*z - 7 = m*f + 2*f, -f + 3*z - 8 = p for f.
1
Let d be ((-2272)/1988)/(((-4)/(-7))/(-1)). Solve 12*g - 3*q