pose z + 0*b = b + 7, -4*b = 5*z - 8. Solve -w = -z*p - r, 2*p - p - 15 = -5*w for w.
3
Let p = -8553 - -8557. Solve v + 18 = -p*a, 4*a + 15*v + 22 = 12*v for a.
-4
Let n be (-58)/(-15) + 31/((-4185)/(-18)). Solve -n*i - 5*k = -0*k - 3, 2*i - 3 = -k for i.
2
Let o be (-1081)/(-69) - 2/3. Let d(q) = -13*q + 195. Let s be d(o). Solve -5*f - 3*g - 14 = 0, s*g + 3*g - 10 = f for f.
-4
Suppose -15*i + 123 - 48 = 0. Solve 4*r + 4 = -4*x, x + 14 = 5*x - i*r for x.
1
Let t be 3*6/(-72) - 2305/(-20). Suppose 7*v - 30*v = -t. Solve 4*s - 2*s = v*g, s = 4*g + 3 for s.
-5
Let b be ((-8)/(-39) + (-156)/(-338))*9. Solve -7*j = 3*l - 6*j - b, j - 1 = 2*l for l.
1
Let s(l) = -2*l**3 - 13*l**2 + 7*l + 16. Let d be s(-7). Suppose -12*o = -16*o + d. Solve 0 = 5*t - 3*p - 19, 2*t - 3 + 1 = o*p for t.
5
Let d = 30 - 28. Suppose 0 = -0*o - o - 4*w + 40, 4*o - 70 = 2*w. Let y = d + o. Solve -g - 2*g + 14 = -5*h, -5*h = g + y for g.
-2
Suppose 4*f - 29 = -h + 3, 4*h = -2*f + 128. Let i = h + -29. Solve a - i*r + 7 = 0, -2*r - 6 = -4*r for a.
2
Let t(h) = h**3 + 18*h**2 - 20*h + 10. Let x be t(-19). Let g = 31 - x. Suppose 2*i + g = 2*k, 3 + 3 = 2*k. Solve 0 = -4*v - 3*b + 2, -2*b - i = -v + 2*v for v.
2
Let t = -256 + 258. Let m(z) be the third derivative of z**5/30 - z**4/24 - z**3/2 - z**2. Let d be m(t). Solve -l = -d*k, 2*l + 2*k = 6*k for l.
0
Suppose 3*c + 1 = -2*v, 12*v - 11*v + 14 = 3*c. Solve 5*h + 10 + 0 = -5*p, -c*p = -2*h + 11 for h.
1
Let r(k) = 45*k - 1. Let j be r(1). Suppose 6*c - c - 2*p = 52, 3*c + 2*p - j = 0. Solve 0 = 4*i - 5*a, 4*i + 3*a = 5*a + c for i.
5
Let c(x) = -2*x**3 + 36*x**2 - 49*x - 236. Let h be c(16). Solve 2*p + h*w + 12 = 0, -5*p + 107*w - 110*w - 2 = 0 for p.
2
Let g(r) = -35*r - 35. Let n be g(-1). Suppose n = -3*k + 27*k - 24. Solve 0 = -z - 5, 0 = 3*m + 4*z + 4 + k for m.
5
Let z = -4 + 6. Let k(n) = -11136*n - 33401. Let d be k(-3). Solve 5*j = h - 13 - z, -3*h = 4*j - d for h.
5
Let p = -4864 + 4864. Solve 3*g = -4*m + 4, p = -g + 6*g - 3*m + 32 for g.
-4
Let o(g) = 13 + 4*g + 6 - g**3 - 14. Suppose -3*u - 9 + 3 = 0. Let d be o(u). Solve 0 = -3*t - c + 11, 3*t + 16 = 5*t + d*c for t.
3
Suppose -137*q = -140*q + 9. Let v(y) = y**2 - 29. Let i be v(6). Solve -2*r = o, -q*r = -5*o - i*r for o.
0
Let i be (0 - 0)/((0 - -9) + -10). Solve -w + y - 7 = -i, 4*y - 18 = -w for w.
-2
Suppose 0 = 11*g - 19*g + 1376. Suppose g*a - 108 = 163*a. Solve -14 = 5*o + 3*l, -a = 2*o - o - 4*l for o.
-4
Let c(i) be the first derivative of -i**4/4 + 2*i**3/3 + 5*i**2/2 - i - 151. Let h be c(-2). Solve 12 + 2 = -3*t - h*r, -4*t - r - 13 = 0 for t.
-3
Let g be (12/(-8))/(1 - (-380)/(-384)). Let j = 168 + g. Solve -4*p + j = -4*i + 56, 0 = i + 4*p + 12 for i.
4
Suppose -22 - 11 = -s - x, 0 = 3*s + 4*x - 96. Let y = s - 31. Let n be y*-2*4/(-8). Solve 0 = -4*b - 4*f - 7 - 17, -n*b = f + 14 for b.
-2
Suppose 23*z + 5*z = -336. Let k be 54/z*3*6/(-27). Solve -4*f - 7 = 2*s - 7*f, -6 = -k*s - f for s.
1
Let y = 12520 + -12510. Solve -3*s + y = 2*t, -358*s + 353*s - 3*t = -17 for s.
4
Let f = -109 - -119. Let q(g) = -g + 13. Let y be q(f). Solve y*o + 5*h = -30, -2*o + 0*h + 2*h - 4 = 0 for o.
-5
Let o(c) = 20*c**2 + c + 8. Let a be o(-4). Let n = 325 - a. Solve -t - n - 5 = g, 2*t + 27 = -5*g for g.
-5
Let n(y) = y**3 + 20*y**2 + 87. Let d be n(-18). Let g = d - 731. Solve 3*f = 3*w - 6, f + 5*w = g*f + 14 for f.
2
Let t be ((-4)/(-12))/(-1 - 28/(-27)). Let x be ((-16)/(-10))/(t*(-8)/(-180)). Solve -x = 4*y, -3*y + 2*y - 5 = -b for b.
4
Let r be (1/(-3))/(39/(-18) + 2). Let l be 3/r*96/36. Solve 5*v + w + 25 = -w, -3*v - l*w - 15 = 0 for v.
-5
Suppose 163*k - 159*k = 164. Let r = 59 + k. Let j = -97 + r. Solve t = -2*h + 5, -25 = -j*h - 2*t - 3*t for h.
0
Suppose 0 = 5*c - 4*w - 16, -102*c + w - 14 = -103*c. Solve 5*a + 11*s = 6*s - 25, 0 = a + 2*s + c for a.
-2
Suppose 5*t = 10*t - 4*i + 238, -4*t - i - 203 = 0. Let s = 60 + t. Let r = s + -5. Solve -20 = -r*o, -o - o = -5*j - 18 for j.
-2
Let u(r) = 6*r**2 + 104*r + 43. Let o be u(-17). Solve 7*w + 8 = o*w - 5*y, 5*w - 3*y - 1 = 0 for w.
-1
Let y = 578 + -565. Suppose -2*i - k = -y, 2*i + k - 17 = -i. Solve 0*o + 5*u - 20 = 5*o, -o - 3*u + i = 0 for o.
-2
Suppose -46*v + 23 = -47*v. Let m be v/(-4) + 21/84. Solve -2*s + m = 3*u - u, 0 = 4*s - 2*u for s.
1
Let y be (-1*2/(-3))/(16/144). Suppose -4*v - y - 2 = 0, 3*v = -4*b + 10. Solve 2 = -b*u - 2*q, 5*q + 5 = 3*u + u for u.
0
Let x(n) = n**3 + 14*n**2 + 40*n. Let l be x(-6). Suppose 94 = -2*y - 3*m, -y - 56 = 2*m - 7. Let q = l + y. Solve -q = -w - 3*o, -5*w + 2 = 4*o - 0 for w.
-2
Let b be 78/9 + ((-20)/(-6))/10 + -5. Suppose 4*v - 8 - 8 = 0. Let m(f) = -f**2 + 11*f - 6. Let x be m(10). Solve v*d = -s - 7, s - d + b = -x*d for s.
5
Let m = -193 - -205. Suppose 3*o = w + m, o + 5*w = -3*o + 16. Solve t + 10 = s + 3*t, -20 = 5*s - o*t for s.
0
Let c = 14151 - 14146. Solve 81*x - 6 = -c*f + 85*x, -f + 1 = -x for f.
2
Let s(x) = -x + 1. Let v be s(-6). Suppose 5*y + 61 = -3*m + 86, -y - 4*m = -5. Solve y*d = -3*z + v + 1, -6 = -d - 5*z for d.
1
Let m(g) = 12*g**2 - 361*g + 86. Let r be m(30). Solve r*s - 58*s = -4*h - 16, -5*h + 4*s - 20 = 0 for h.
-4
Let b be (-2)/(536/(-270) + 2). Let q = b - -137. Solve 0 = -q*v - y, 2 = -5*v - y - 2*y for v.
2
Let a(g) be the third derivative of -g**5/60 + g**4/6 - g**3/2 + 143*g**2. Let f be a(2). Solve w - f = 0, -5 = x - w - 0*w for x.
-4
Let z be 28 - (4/(-8) - 54/(-12)). Let j be 8/6*90/z. Solve 3*s + 30 = -5*f, j*s + 19 + 21 = -5*f for f.
-3
Suppose -2*s = -3*p - 2, -s + 66*p - 61*p = 6. Solve -7*b + 5*b - 4 = 0, -4*u = s*b for u.
2
Let p(j) = -j**2 - j + 4. Let g be p(-2). Let m(d) = -10*d + 25. Let y be m(g). Solve 0 = y*o - 2*b - 1, 3*o + 2*b = -9 for o.
-1
Let n be (-6)/(60/125)*28/(-35). Solve -2*s + 25 = -5*i + 3*s, i - n = -2*s for i.
0
Let i(a) = -a**2 + 83*a - 75. Let o be i(82). Solve 5*k = 3*g - o*g + 35, -2*g - 2*k + 16 = 0 for g.
5
Let g(n) = -n**2 + 76*n - 601. Let d be g(9). Solve -4*i - 26 = -y, d*i + i + 8 = -5*y for i.
-6
Suppose 2*m - 48 = -3*m + l, 2*m - 2*l - 16 = 0. Let o be 4/(-22) - m/(-55). Let n = o + 5. Solve 4*s - 5*b = 24, 3*b + 7 = -n for s.
1
Let p(s) = s**3 - 6*s**2 + 5*s - 5. Let v be p(6). Let f be 2 + (45/12)/((-9)/(-744)). Suppose f*k = 314*k - 4. Solve -i = -k*m + 5 - 15, -3*i + v = -5*m for i.
0
Let l = 77 + -39. Let p = l - 38. Suppose 0 = a - 3 - p. Solve -5*j - 3*i - 24 = 0, -4*j = -a*j + i + 6 for j.
-3
Let n be ((-2)/4)/(2/128). Let u be (-5)/(15/81) - 0/2. Let h = u - n. Solve 0 = -h*j - 4*o + 22, -17 = -4*j - 3*o - 0*o for j.
2
Suppose -20*f - 72*f = -368. Solve f*o + 2 = -5*d, -34 = 5*o + 3*d - 25 for o.
-3
Suppose -31*a = -32*a. Suppose i - 29 + 3 = a. Suppose p = -6 + i. Solve p = 5*l, 0*l - 2*l = -w - 8 for w.
0
Let x = 7 + -5. Let u = -320 + 323. Let j be 1 - (-7)/((-21)/(-9)). Solve j*h + 6 = -x*i, 0*h - u = -i + h for i.
1
Suppose 559 - 101 = 204*v - 154. Solve v*h - 7 - 8 = -6*j, -5*h + 25 = -5*j for j.
0
Let f = -1450 + 1029. Let j = -649 - f. Let q be (j/(-30) - 7)*(4 - -1). Solve -4*b + 5 = -2*s - 7, q*b - 7 = 2*s for s.
4
Suppose -4*w + 8*b + 10 = 6*b, -5*w + 5*b + 5 = 0. Solve -w*s + 3*s = l, 4*s = 2*l + 12 for s.
2
Let m(s) = s**2 - 3*s + 12. Let o be m(6). Let j be 51/45 + (-4)/o. Suppose -3*v + j = -8. Solve -5*r - 4 = -3*q - 2, 3*r = v*q for r.
-1
Let j be 4/(-2) + ((-702)/(-819))/(1/7). Solve q + 1 = u, 143 = -j*q - 4*u + 155 for q.
1
Let h(j) = -242*j + 3406. Let k be h(14). Solve 6*v + k = 5*w, 2*v + 8*w = 12*w - 20 for v.
2
Suppose -30 = -6*t + 18. Suppose -c - b = -1, 6*b - t = -5*c + 2*b. Solve 9*w - 5*v = c*w - 30, -1 = -v for w.
-5
Let f be (-2)/7 + (-60)/(-14). Let h be (-4)/(-5) + 356/5. Let z = h + -60. Solve -3*u = -5*d - 22, f*u + 0*d - z = -2*d for u.
4
Suppose -12*u + 14*u - 976 = 0. Let w = -480 + u. Solve -16 = -3*l + 5*b, w = l + 2*b + 21 for l.
-3
Let g be -4*11/22 - -11. Solve l = -3*c - 9, -11*c = l - g*c + 5 for l.
3
Suppose -5*u = 4*r - 117, 2*r + 5*u - 61 = -0*u. Let v = r - 24. Suppose 0 = v*x - 5*x + 5. Solve 14 = x*f + s, 0*f = 3*f - 5*s - 14 for f.
3
Let q(a) be the first derivative of -3*a**2/2 - 7*a + 14. Let n be q(7). Let p be (8/n)/((-66)/21 + 3). Solve 4*k - 4 = 4*o, -p*o + 3 = -3*k + 1 for k.
-4
Suppose 0 = 141*