 -d, 0*d = -d - 4*o + v for d.
3
Let m be 77/63 + -1 + (-392)/(-18). Suppose -6 = 19*z - m*z. Solve 4*s = z*b + b, 3*s = -b for b.
0
Let v = 51 + -46. Suppose 2*f + 0*f - 17 = v*s, -4*s + 26 = 5*f. Let z(b) = -6*b + 40. Let y be z(f). Solve -y*m = -5*w + 21, 3*m - 3*w + 8 + 4 = 0 for m.
1
Suppose 2*p = 4*y - 62, -3*y = 4*p - 34 - 7. Let w = 18 - y. Suppose w*z = z + 2. Solve -d + 3*x = -6, 3*d = -5*x + z - 25 for d.
-3
Let o = 5132 + -5128. Solve 6*i + 1 = 5*i, 0 = 3*f - o*i - 10 for f.
2
Suppose 0 = 4*q - 3*w - 16, w + 2*w = 0. Suppose -18*f = -20*f + q, 2*f - 10 = -3*v. Solve -a + l - v = 0, -a - 4*l = 2*a + 20 for a.
-4
Let h be ((-7163)/26)/(-29)*4. Solve 3*l - 15 = 0, -2*u + 7 = -5*l + h for u.
-3
Let x = -8211 - -8217. Solve m + x = 4*l + 21, 0 = 4*m - 12 for l.
-3
Suppose 0 = -3*z + 2 + 13. Suppose -z*h + 254 = -256. Let y = -98 + h. Solve -s = y*g - 5, 5*g = -0*g + 3*s - 15 for g.
0
Let c(x) = 5*x**3 - 19*x**2 - 4*x + 4. Let p be c(4). Solve 0 = -p*j - 7*t + 5*t + 2, -2*t + 6 = 0 for j.
-1
Suppose -356 = -37*u + 14. Solve 0 = -t + 4*f - 20, 2*t + 0*f + u = 2*f for t.
0
Suppose 5*g = -25, -g = -991*x + 993*x - 3. Let d = -1 + 3. Suppose -u = -d*j + 94 - 8, -u - 45 = -j. Solve 0 = -0*l - 2*l - 3*n + 22, -x*n + j = 5*l for l.
5
Let t(w) = 22*w**2 + 3*w - 108. Let n be t(6). Suppose -23*m = -49*m + n. Solve -z - 3*b - 6 = 0, 4*z - 3*b - 2*b = m for z.
3
Let w be -160*(-36)/585 - 9 - 4/(-26). Solve -8*l + 6*l - 2*g = -2, 0 = -3*l - g + w for l.
0
Let b be (-860)/(-20) - 2/1. Suppose -b*c = -46*c + 60. Let x be (c/28)/((-2)/(-14)). Solve -4*h + 5*j - 19 = 0, -x*j - 2*j + 10 = 5*h for h.
-1
Suppose -168*s = -169*s. Let r be ((-6)/(-3) - 0) + s/(-9). Solve 0 = 3*p - r*m - 2*m, 0 = -4*m + 12 for p.
4
Suppose 38*p = -25*p + 189. Solve -4*i - d = -5*d + 16, 0 = p*d - 6 for i.
-2
Let j = -43 - -53. Suppose -9*s + j = -8. Solve n + 1 = v + s, 0 = 4*v + 5*n + 22 for v.
-3
Suppose 0 = 5*b + a - 85, -a = b - 14 - 3. Suppose -13*y + b*y = 64. Solve -v + 0*v = -3*m + 8, 0 = -4*m - 4*v + y for m.
3
Let r = 5143 - 5138. Solve 4*t + 59 - 47 = 0, -5*o = r*t + 40 for o.
-5
Suppose 9 = i + 2*i. Suppose 21*h - 64 = 37*h. Let x be 1/(-5 + (-280)/(-55)) - h. Solve -5*p - x = 0, 2*p + i*p = 2*a - 19 for a.
2
Let c(l) = l**3 + 39*l**2 - 45*l - 197. Let v be c(-40). Solve y = -5*f - v, 3*y + 5*f = 7*f + 8 for y.
2
Suppose -f - 2 = -15. Let j = 10 - 1. Let d = f - j. Solve 2*v - 7*v = d*r - 37, -5*v = r - 28 for r.
3
Let z be (9/(-18))/(1/242). Let b be -1*86*(-105)/70. Let k = b + z. Solve -3*g = -7*g + k, 2*w + g - 8 = 0 for w.
3
Let m = 29852 - 29843. Solve -w = 3*j + 15, -12*w + j = -m*w - 5 for w.
0
Suppose g + 8772 = -33*g. Let f = g + 261. Solve 2*w = -w + v + 15, -f*w - v + 9 = 0 for w.
4
Let n = 6997 + -6994. Solve 16 = -4*c + n*v, -4*c - v - 11 - 5 = 0 for c.
-4
Suppose 5 = h - 3*v, 10*v - 5*v = -5*h + 25. Solve -17*b - z - 20 = -12*b, -h*z = 3*b + 34 for b.
-3
Let c(d) = -d**3 - 72*d**2 + 1304*d - 85. Let u be c(-87). Solve -2*t - 4*f - 40 + 28 = 0, 5*t + u*f = -6 for t.
0
Let r(i) = 9*i**2 + 4*i - 5. Let y be r(1). Suppose -5*p + 4 = -3*p. Suppose -p*h = -y*h + 12. Solve 0 = -2*b - 2*u + 4, -3*u + 2 = -h*u for b.
0
Let q(u) = -83*u + 1. Let o be q(1). Let p = -1412 + 1327. Let s = o - p. Solve 4*h + 5*n = -15, s*h + 2*n = n - 3 for h.
0
Suppose -5*i + 94 = -y - 3*i, -3*y - 2*i = 306. Let g = 103 + y. Let v be (3/(-6))/((-1)/4). Solve -8*a = -g*a - v*l + 26, -3*l = -9 for a.
-4
Let p be (-484)/(-27) + 110/1485. Suppose 5*a + 3*z - 14 = 0, 0 = 2*a + p*z - 21*z - 14. Solve -8 = -4*l, -2*l + 2 = -a*s + l for s.
1
Let w be (4/12 - (-56)/24)*9. Suppose 22*d + w = 28*d. Solve 37 = 3*c + 4*a + a, 24 = c + d*a for c.
4
Let t(b) be the third derivative of -b**6/60 - b**5/60 + b**4/24 + 5*b**3/6 + 24*b**2 + 2. Let q be t(-2). Solve q = 3*j, 3*z + 0*j + 4*j = 11 for z.
-3
Let n be 2/5 - (-665)/25. Let x = 146 - n. Suppose x = 5*h + 49. Solve -5*l + 3*w - h = 0, 2 = -3*l + 2*l + w for l.
-4
Let f be (-966)/92*(-24)/7. Suppose f*c - 245 = -65. Solve 5*x - 15 = -5*o, -22 = -c*x + o + o for x.
4
Suppose -3352*w + 416 = -3326*w. Solve -7*v + w = -11*v + 3*l, -3*l + 14 = -2*v for v.
-1
Suppose 32*v + 42 = 39*v. Suppose 32 = 2*l + v*l. Solve -j + 2 = 3*d - 10, 0 = 4*d + l*j - 16 for d.
4
Suppose -6*j + 3*y = -2*j + 213, -2*j + 3*y = 105. Let o(a) = -6*a + 2. Let r be o(9). Let l = r - j. Solve -l*m - 20 = -4*k, 9 = -2*m + 2*k - 1 for m.
0
Let z(t) = 2*t - 17. Let v(h) = 2*h + 1. Let u be v(1). Suppose 8*i - u*i - 45 = 0. Let b be z(i). Solve -b = 3*w - 5*a + 1, 2*a + 4 = 0 for w.
-4
Let m(w) = 144*w + 592. Let u be m(-4). Solve -5*o = 9*n - 13*n + 23, 2*o = 5*n - u for n.
2
Suppose -5*k - 500 + 523 = 2*q, k + 5*q = 0. Solve 8 = z + d + 14, -4*z - k*d = 28 for z.
-2
Let c be (2648/2317)/(-2*(24/(-21) + 1)). Solve -z + c*o = 18, 4*z + 2*o + 35 - 53 = 0 for z.
2
Suppose -t + 2*t = 3. Let o(h) = -h + 3. Let w be o(-13). Suppose 91*j - 99*j + w = 0. Solve z + j*z + t = 3*m, 10 = -5*m for z.
-3
Let y(d) = -d**3 + 5*d**2 + d - 1. Let p be y(5). Suppose -60*u + 26 = -94. Let q be 2 - -3 - (u + -9). Solve -5*r - 11 - 11 = -l, -p*r - q = 2*l for r.
-4
Let m be 0/2 - -1 - -4. Suppose 27 = -4*h + 103. Suppose h*w = 17*w + 8. Solve -w*u = -4*y + 12, -m*u - 4*y + 0*y + 21 = 0 for u.
1
Suppose 60 = 4*u - 4*i, -i + 6*i + 5 = 0. Let w = 16 - u. Let q be 2 - (w - (-12)/(-3)). Solve -13 = -h + 5*d, -5*h + 17 = -2*h - q*d for h.
3
Let d(f) be the second derivative of -3*f**3/2 - 31*f**2/2 - 31*f. Let s be d(9). Let v = -102 - s. Solve -2*r - 12 = r, -2*p - 5*r = v for p.
5
Suppose -5*b = t - b + 20, -5*b - 25 = 5*t. Suppose 0 = 14*q - 19*q - 500. Let y = q - -100. Solve t = 2*p - 3*g + 13, 2*p - g + 3*g + 8 = y for p.
-5
Let h be 3 + 0 - (4 + -4). Suppose 2 = -5*r - 5*v + 7, 0 = 3*r + 2*v - 5. Solve r*j = j + h*i + 7, 4*i + 7 = 5*j for j.
-1
Suppose 20 = k + 19. Suppose -2*s - 10 = 2*f, -2*s - 6 + k = f. Solve 5*z - v + 9 = s, -v = -2*z - 5*v - 8 for z.
-2
Let i = -2400 + 2403. Solve 2*p = -5*k + i, -6*k = -k + p - 4 for k.
1
Suppose -47*c + 780 = 18*c. Solve -m = 4*k - 10, -5*m = k - 0 - c for m.
2
Suppose -4*y + 9*y = -105. Let j = 36 + y. Let z(t) = -t**3 - 309*t**2 + 2203*t - 2840. Let s be z(-316). Solve 5*i - g + 1 = j, s*i - 13 = -g for i.
3
Suppose -89 = 4*q + l, -5*q + 3*l - 179 = -72. Let i be (-33)/q - (-5)/10. Solve 4*u + 19 = b + 2*b, 4*u + i*b + 14 = 0 for u.
-4
Let p = 1 + 0. Let v be (-16 + 1952/128)*-12. Solve v = 2*d - d - j, 0 = -d - j - p for d.
4
Let l = -255 + 257. Suppose -8 = -l*n + 2*z, 5*n = -6*z + z. Solve -n*v - 2*q = -14, 0*v + 1 = -2*v + 3*q for v.
4
Let b(u) = 2*u - 19. Let d be b(13). Let s(h) = 17*h**2 + 10 + 20*h**2 - 31 + 10*h - 38*h**2. Let c be s(d). Solve -4*l + 3*x + x = 0, c = -x - 3 for l.
-3
Suppose 218*t - 225 = 203*t. Solve -10*f + 22 = -t*f + 3*p, -6 = f - p for f.
-2
Suppose -5*p - 132 = -3*j, 5*p = -0*j - j + 44. Let q = j + -37. Let x be 8*1*q/14. Solve -5*u - 3*o + 2 = 0, -u - 2*o + 5*o + x = 0 for u.
1
Let c(d) = -d**2 + 64*d + 2115. Let m be c(88). Solve h = r - 2, m*h - 30*r + 31*r - 10 = 0 for h.
2
Suppose -59*b + 111 = 52. Let g = 586 + -824. Let v be (-4)/18 - g/18. Solve 2*i + 3 = 4*f + v, 5*i - 4*f = b for i.
-3
Let w(o) = -o**2 - 2*o. Let a be w(-2). Suppose -2*l - 120*k + 56 = -124*k, 4*l - 24 = -3*k. Solve -5*z + 3*b + 2*b - 20 = a, -3*z + l = 3*b for z.
0
Let a = 379 - 306. Let m be 1*-8*(-38)/4. Let l = m - a. Solve -g = -6*g + i - 21, -l*g + i = 11 for g.
-5
Suppose 0 = -3*o + 20 - 14. Let s be (-4)/((-20)/21) - (-22)/(-110). Solve -10 = s*i + o*m, -3*i + 5*m - 8 = -33 for i.
0
Let n(j) = -786*j + 8649. Let o be n(11). Let k(c) = -c**3 + 4*c**2 + 2*c - 5. Let p be k(4). Solve 3*t - t - 6 = p*s, s = -o*t - 13 for s.
-4
Let p = -16497 - -16499. Solve 0 = -z - 4*i - 7, 2*i + p*i = -4*z + 8 for z.
5
Suppose -4*h + 3*c + 0*c + 67 = 0, -3*h + 3*c = -54. Suppose 0 = 2*s, -5*g - 9*s + h*s = -20. Solve -2*x + 3*x = g*j + 7, -3*j + 5*x = 18 for j.
-1
Let i be (510/(-12) + -4)*4/6. Let j = i - -34. Let y be (-2)/(-5) - (-8)/5. Solve -y*c = -5*t, 2 = -j*t + 8 for c.
5
Let v(b) = -b**3 + 7*b**2 - 6*b + 5. Let f be v(6). Let h be 1216/57 + 1 + 8/(-6). Let d = 44 - h. Solve 5*z - 3*w + 8 = 1, 3*z + f*w - d = 0 for z.
1
Let r(z) = -z**2 + 74