4, 2*n = -d for d.
2
Suppose -22*d + 17*d + 3380 = 0. Let p = d - 674. Solve 4*f + 2*r = -p, -5*f - 2 = 2*r - 1 for f.
1
Suppose 246*i - 242*i - j - 7 = 0, -4*i + 4 = -4*j. Solve y = -2*c + 5, 5*y = -4*c - 1 + i for y.
-3
Let o(l) = -3*l + 24. Let q be o(7). Suppose -2*p + 2*b = -7*p - 62, -4*p + b = 60. Let a = p + 19. Solve -3*c - i - a = 0, 0 = -5*c + c - q*i for c.
-3
Suppose -237*k = -4080 - 186. Solve 4*s = 2*j - k, 3*s + 21 = j - s for j.
-3
Suppose 2*b = -37 + 45. Let q be (0 - 0)/(-4) + (1 - 1). Solve q*w - b*w = -h - 10, -2*h - 3*w + 13 = 0 for h.
2
Let x(v) = -40*v - 151. Let n be x(-4). Let l be 2/n + 425/153. Solve -5*t - l*u = u - 31, 4*t - 4*u + 4 = 0 for t.
3
Suppose 202 = 271*f - 229*f - 218. Solve -f*y - 13 = o - 14*y, -2*o + 2*y - 2 = 0 for o.
3
Let p = -8370 - -8393. Solve -v = -3*u + 4, 4*v + 2*u = u + p for v.
5
Suppose 6*i + 468 = 18*i. Let c = 65 - i. Let j be 2/(-6) + c/6. Solve -8 = j*h - 4*b, 3*h - 2 = 7*h - b for h.
0
Let q be ((-20)/(-3) - -1) + 140/(-84). Solve 2*o + 1 = b - 2, -o + q = -3*b for o.
-3
Suppose -36 = -4*s + 3*t, 2*s + 2*t + 0*t - 18 = 0. Let k be 2/(-11) - (-8328)/66. Let c = 138 - k. Solve 0 = -5*l - p + c, 0 = -3*p - s for l.
3
Suppose -22*t - 1160 = -62*t. Solve 0 = 4*n + a + 259 - 266, -3*n = -4*a - t for n.
3
Let p be (-5)/2*12/(-10). Suppose 15*u + 537 - 1962 = 0. Suppose -6*w + u = 65. Solve -i = p*s - 0 + 4, 8 = s + w*i for s.
-2
Let p(z) = -871*z + 4429. Let y be p(5). Solve -w = 2, -2*j + 5*w + 90 = y for j.
3
Suppose -481*z = -459*z - 66. Solve -5*b - 36 = -z*u - 55, 0 = -5*u - 15 for b.
2
Let k = 3822 - 3822. Solve k = n - 2*a - 2, 0 + 14 = -5*n - 2*a for n.
-2
Suppose -2*k - 3*f = -8 - 30, 70 = 5*k - 5*f. Let m be ((-24)/k)/((-114)/24 - -4). Solve 3*w + 5*p - 19 = 0, 3*w - m*p + 16 = -0*w for w.
-2
Suppose 4*h - 93 = -29. Suppose r - 6 = -h. Let l be 2 - (r + (-3 - -4)/(-1)). Solve -5*b = 4*g - l, 2*b + 5*g - 5 = -2*b for b.
5
Let y(w) be the first derivative of -7*w**2/2 + 291*w - 26. Let b be y(41). Solve 3*i = -9, -b*c = -c + 5*i + 9 for c.
2
Let i = 17541 + -17539. Solve 0 = 2*a + 5*l + 6, i*l = 102*a - 107*a + 6 for a.
2
Let c be -10 + 19 - (10 + -6). Solve k - 7 + 18 = -2*n, k = -c*n - 20 for n.
-3
Let n = 213 - 117. Let m = -84 + 175. Let l = n - m. Solve -3*u + 4 - l = -5*k, 5*k = -3*u - 11 for u.
-2
Suppose 2*i = -z + 17 - 23, -3*i = -2*z + 23. Solve -z*a - 2*u - 4 = 3*u, 0 = -a + 2*u + 12 for a.
4
Let t be (-11)/((-77)/840)*(-2)/(-6). Suppose 0 = t*v + 23*v - 315. Solve -2*l - l = -v*g - 7, l - 6 = -2*g for l.
4
Let m(d) = d**3 + 11*d**2 + 32*d + 16. Let w be m(-6). Solve w - 28 = 4*j + 2*s, -5*s - 8 = -3*j for j.
-4
Let b = -7 + 9. Suppose b*l = 16 + 6. Let q be (-15)/(-45) + (-5)/(-6)*2. Solve i - 4*j + 7 = -q*j, i = 4*j - l for i.
-3
Let n = -24 - -46. Let l = -19 - n. Let o = l + 41. Solve 3*p = 5*z - 4*z + 7, 2*z - 4 = o for p.
3
Suppose q = -4*q + 10. Let r = 229431 - 229427. Solve r*b - 14 = q*h - 0*h, b - 8 = 5*h for b.
3
Let o(n) = 13*n + 134. Let y(g) = -15*g - 134. Let i(b) = 4*o(b) + 5*y(b). Let c be i(-6). Solve -5*s = v + v + 17, 4*v = -c*s - 4 for s.
-5
Let g = 106 - 96. Suppose -24 + 76 = 13*b. Solve b*k = 3*u + 15, -g = u + 4*k - 5 for u.
-5
Let v be 255*352/17820 + 2/(-54). Let n = -7 + 12. Solve n*y = 3*q - 25, 4*y - v*y - 5*q + 23 = 0 for y.
-2
Suppose 0 = -z + 3 - 2. Suppose 0 = 3*d + z + 59. Let y be (-5)/d + (-93)/(-12). Solve y = -2*h, -c - h = -0*c + 1 for c.
3
Let y(z) = -z**3 - 2*z**2 - z + 1. Let u be y(-3). Suppose 14 - 29 = -c. Suppose -o - o = -3*n + 19, 3*o = -c. Solve 0 = 3*r + 4*q + q + 17, n*r = -q - u for r.
-4
Let q be 10 - 120/160*(-8)/6. Solve -3*j = h + q, 2*j + 3*h + 13 - 1 = 0 for j.
-3
Let f(v) = 2*v**3 - 49*v**2 - 26*v + 33. Let k be f(25). Suppose -5*t + 2*c + 33 = 2, -t + c = -k. Solve 4*r + r + q = -10, t*r - 4*q + 10 = 0 for r.
-2
Suppose -g = 262 - 289. Suppose -31*t + 348 = g*t. Solve -5*x - 5*d + 7*d = -1, -4*x - t = -5*d for x.
1
Let f(k) = -46*k + 50. Let b be f(1). Solve -n - 1 = -5, -b*u - n = 16 for u.
-5
Let s(x) = -x**3 - 16*x**2 + 5. Let f be s(-16). Suppose 17*h - 21 = 10*h. Let a be (-15)/(-3) - h/((-6)/2). Solve 2*m - a = -2*v, -f*m = -4*v + 31 - 1 for m.
-2
Let f(i) = -i**2 + 179*i + 2308. Let l be f(-12). Solve 5*z - l = 2*t, 3*t + 34 = 2*t + 9*z for t.
2
Let h(s) = -2. Let z(n) = 2*n**2 - 45*n + 67. Let y(c) = h(c) + z(c). Let q be y(21). Solve 0 = -4*w - f + 3*f + 4, f + q = 5*w for w.
0
Suppose -5*y = -3*z + 33, -388*y = -390*y + 6. Solve -2*j - 2 = -2*s, -4*s - j + z = 22 for s.
-1
Let r = 96 + -96. Let n be (-5)/(95/(-342)*(3 - r)). Solve 3*c = -n, -3*x + 5*x = -3*c for x.
3
Suppose -i = -6*f + 9*f - 36, -2*i - 3*f = -87. Suppose -50*r - 3 = -i*r. Solve 3*c - 9 = 0, -r*c = -2*p - 0*p - 1 for p.
4
Let o(h) = -20*h**3 - 6*h**2 - 3*h + 2. Let r be o(-1). Let a = r - 14. Solve y - 7*s = -2*s + a, 5*y = 2*s - 21 for y.
-5
Let u(l) = 10*l**2 - 1. Let w be u(-1). Suppose 4 = -w*p + 22. Solve 32 = -5*q + 3*x, -p*x + 8 = -5*q - 5*x for q.
-4
Let z be 60/(-18)*36/(-10)*-1. Let v be 765/z - 5/20. Let u = v - -84. Solve 2*o + 1 - 9 = 5*m, -u = -5*o - m for o.
4
Suppose -36*k = -37*k + 77. Suppose -k*w = -76*w - 8. Solve w*q + 29 = -3*l + 3*q, -5*l - 5*q - 35 = 0 for l.
-3
Suppose 73*f - 71*f + 4 = 0. Let j be f/(-3) + 52/12. Solve -j = -3*a - 4*d + 1, -a + d + 2 = 0 for a.
2
Let a(c) = 19*c**2 + 231 - 227 - 2*c**2 - c**3. Let z be a(17). Suppose z = 2*y - 4. Solve -3*s = -5*l - 27, y*s + 3*l - 22 = 5*l for s.
4
Suppose 17912 - 17612 = 100*f. Suppose 2*k - 2 - 4 = 0. Solve -2*i - 6 - f = -n, k*n - 4*i = 17 for n.
-1
Let w(z) = -20*z - 3. Let i be w(-2). Suppose -710558*y - 2256 = -710934*y. Solve -3*k + y*k = -2*m + 22, 3*k = -5*m + i for k.
4
Let h = 5 + 3. Let s = 499 + -494. Solve -2*b + s = 3*k, -h = -4*k - 5*b + 3*b for k.
3
Let u be 1095/155 - (-50)/(-775). Solve 4*b - 8 = x, -4*b + u*x - 3*x - 4 = 0 for b.
3
Suppose a - 5*a = 12. Let f be a/(-1) - (-2 + 0). Let p = 121 - 118. Solve -20 = 5*t - u, -3*t + f*u + 7 = -p for t.
-5
Let r(n) = -7*n**2 - 77*n + 3. Let a be r(-11). Solve a*j + 5 = 3*y + 2, 2*y = j + 1 for y.
0
Let m(y) = 25*y**2 - 8*y + 3. Suppose -5*z + 3*k = -2, -z + 2*k = -2*k + 3. Let s be m(z). Solve 0 = f - 2*p + s - 7, 3*f - 1 = -2*p for f.
-3
Let k(y) = 55*y - 101. Let f be k(6). Let j = -227 + f. Solve 17 = -j*v - 5*h, 5*v - v + 5*h + 9 = 0 for v.
4
Let w = 23329 - 23272. Solve 4*o + 52*t + 7 = w*t, -4*t + 20 = 4*o for o.
2
Let x be (-1)/(18/(-12)) + (-200)/(-15). Let r(y) = 2*y**3 - 28*y**2 + 2. Let d be r(x). Solve 5 = 5*h, 0 = d*p - p - 3*h + 6 for p.
-3
Let b = -39 - -43. Let v(w) = -2*w**2 - 12*w - 12. Let c be v(-7). Let g be c*1*(-11)/22. Solve a = 2*s + g, -a = -5*a - 4*s + b for a.
5
Let q = -13 - -18. Let a be 76 - ((-30)/6 + 1). Suppose a*s = 86*s - 18. Solve -10 = -3*h + 5*i, q = h - s*i + i for h.
-5
Let m be (-154)/(-14) - (-2 + 5). Suppose -m*s + 56 + 64 = 0. Solve 5*v + 5*f = -s, -3*f = -6*v + 5*v + 5 for v.
-1
Suppose -3*s + 78 = 3*f, -3*f - 82 = -s - 16*s. Solve -p - f = -4*w, 5*w - 4 = p + 17 for p.
-6
Let x(s) = -5*s - 131. Let t be x(-27). Let v be ((-3)/7)/((-150)/21 - -7). Suppose 4*w - 14 - 2 = 0. Solve w*k = -3*m + 24, m = -t*k + v*m + 4 for k.
3
Let s(c) = -c**3 + 39*c**2 - 73*c - 35. Let k be s(37). Suppose -46 + 3 = -5*g - 2*q, -k*g + q + 10 = 0. Solve g = 3*y - h, -4*h + 20 = -y + 5*y for y.
3
Suppose -39291 + 39268 = -g. Solve -5*u - 25 = -275*d + 280*d, 3*d + 5*u + g = 0 for d.
-1
Suppose 44 = -2*q - 3*k, 2*q + 3*k = k - 48. Let z be (-2 - q)/(5 - 3). Let v = 7390 + -7386. Solve -3*s + z = -2*i - v*s, 3*i + 2*s + 22 = 0 for i.
-4
Suppose -13*j + 14*j + 352 = 0. Let s = 354 + j. Solve -4*f - s = -4*p + 6, 18 = f + 3*p for f.
3
Suppose -27*o + 13*o + 155 = 17*o. Solve 0 = -5*s - 4*v + 24, -2*s = -s + o*v - 9 for s.
4
Let g(c) be the first derivative of -3/2*c**2 + 45*c - 32. Let b be g(15). Solve 3*q + 4*y - 14 = 0, b = q - 2*y + 3*y - 3 for q.
-2
Suppose -546 + 87 = -154*m + 3. Solve -5*d - 48 = o - 53, -d = m*o - 1 for d.
1
Suppose 329*a + 4*m = 330*a + 13, 0 = -m + 4. Solve 4*c - 4*p = 0, a*c + 2*p - 14 = -2*p for c.
2
Let y = -4449 - -4454. Solve -5*f + y*z - 7 = 3, 0 = 4*z for f.
-2
Suppose 0 = 487*z - 498*z - 473. Let m = 48 - 3. Let a = m + z. Solve -4*v = 2