15 = 5*d for d.
5
Suppose b - 856 = 3*h - 884, -h = b. Solve -5*a = -2*c + 23, -17*c + 14*c = -2*a - h for a.
-5
Suppose -8 - 8 = -o. Suppose k + o = 20. Let h = -25 - -45. Solve -k*s - 3*q = s + h, 3*s = -q - 8 for s.
-1
Suppose 6 = -25*d + 23*d - 5*l, 3*d - l = 8. Solve -4*k - 3*u + 7 = -6*k, -d*k - 5*u + 33 = 0 for k.
4
Suppose 3*z = -s + 77, 5*z + s - 10 = 117. Solve 3*v + 4*b + z = 0, -5*b + 4 = -4*v - 3*b for v.
-3
Let j be 615/(-205)*((-1)/(-1) - 2). Let k be j - (4 + (-9 - -4)). Solve 1 = 5*y - 3*w + 6, 0 = -k*w for y.
-1
Suppose 2*l - 4*l = -3*x + 17, 0 = 3*x - 5*l - 11. Suppose y - 15 = -x*j + 2*j, -y = 0. Let p be 1/(j - (-4 + 8))*-16. Solve 4*w = -2*s + 6 - p, 5*s = 15 for w.
-4
Suppose -16*k + 16*k - 275 = -11*k. Solve 4*x + 5*q + 24 - 3 = 0, 0 = 5*q + k for x.
1
Suppose 259*k - r + 171 = 261*k, 0 = k + 2*r - 93. Solve z - 4 = -2*l, l - 85 + k = -2*z for l.
2
Suppose 0 = -2*k + g + 1243, 2*k + 2*g + 87 - 1345 = 0. Let n = k - 623. Suppose 3*s = 7 + 2. Solve 0 = -x + 3*j - 4*j - 5, -n = -s*x + j for x.
-1
Let r = -8735 - -8740. Solve 2*m + 4*k + 20 = 0, -m - 23 = m + r*k for m.
-4
Let w be 21/(-2)*(-6)/9. Solve 86*i = 82*i - d + 8, 0 = -3*i - 4*d - w for i.
3
Suppose 0 = y + 3 - 6. Let x(i) = 3*i**2 - 2*i - 10. Let p be x(0). Let u = p - -15. Solve y*q - q = -2*n - 6, -5*q = -u*n - 5 for q.
-1
Let a(r) be the third derivative of -r**6/120 - 23*r**5/60 + 77*r**4/24 - 13*r**3/3 - 5*r**2 + 8. Let c be a(-26). Solve c = -2*h + 2, -h = 3*k - 2*k + 4 for k.
-5
Let r(z) = z**2 - 133*z + 4383. Let n be r(60). Solve -4 = 10*o - 4*o + 4*l, -n*o + 4*l = -22 for o.
2
Let p be (-2139)/(-299) - (-2)/(-13). Solve -m - 4*d = -20 - 2, -m - d + p = 0 for m.
2
Let s(w) = -120*w - 586. Let p be s(-5). Solve 4*z - p = 2*f, 0 = 3*f - z + 5*z - 9 for f.
-1
Suppose -12*m - 546 = -5*m. Let y = 80 + m. Solve -q - q = -y*c + 14, 4*c + 4*q + 4 = 0 for c.
3
Suppose -5*v - 5*m = 104 - 474, m - 350 = -5*v. Solve -2*h + l + 72 = v, h + 2*l = -11 for h.
-1
Suppose -c - 5*h + 11 = -0*h, -76 = -4*c - 4*h. Suppose 0 = 9*q - 39 + c. Solve 0 = -4*o - q*l + 30, -2*l - 1 = -11 for o.
5
Let b(f) = 50*f + 1565. Let a be b(-31). Solve 8*u - a = 5*y + 3*u, 0 = 4*y - 5*u + 17 for y.
2
Let y be -1 - 3 - 480/(-30). Solve z + 3*j = 14, 2*z - 4*j + 10 + y = 0 for z.
-1
Let q be (72/30)/(14/10 - 1). Suppose -l - q = -4*t - 3*l, -9 = t - 3*l. Solve -g - g + 4*a + 4 = 0, 2*g + a + 1 = t for g.
0
Let c = 346 + 173. Let t = c - 519. Solve t = 3*y + b + 2, -2*y + y + 5*b = -10 for y.
0
Let l(a) = a**2 - 5. Let r be l(5). Let h = 11227 - 11220. Solve h = 4*m - 5*y - 17, r = -5*y for m.
1
Let h be (((-735)/(-14))/21)/((-5)/(-4)). Suppose -3*f = -15, 0 = -4*l + 3*f + 2 + 15. Solve 5*k - l = 2*a, -a - h*k + 0 = -5 for a.
1
Suppose 3*y = -1 - 17. Let t be ((-171)/y)/((-9)/(-6)). Let k = t - 11. Solve -5*w + 3*p + 12 = 0, 0*w = -w + 2*p + k for w.
0
Let x(g) = -2*g**2 + 5*g + 3. Let n(j) = 2*j + 9*j + 26 + 6*j - 16*j. Let s be n(-23). Let o be x(s). Solve 32 = 3*r - 4*i, o = 5*r - 0*i + i - 15 for r.
4
Let h(v) = 3*v**2 - 32*v + 61. Let t be h(9). Solve 7*p - 20 = 5*a + 6*p, 4*a + t = -3*p for a.
-4
Let v(z) = -11*z + 266. Let b be 7/(48 - 6) + (-274)/(-12). Let o be v(b). Solve -3*m = -5*m - y - 6, 3*m = 4*y + o for m.
-1
Let w(h) = h**3 + 49*h**2 + 421*h + 36. Let b be w(-11). Solve 4*r = -5*n + 1, 18*n + 2 = 23*n + b*r for n.
1
Suppose -s + 9 = -5*w, -1 = -15*w + 17*w - 3*s. Let n be -1*(-1 - 12) - (0 + w). Solve m - 3*m + 3*r = -6, 5*m - 2*r = n for m.
3
Suppose -174 = -62*x + 74. Solve -4*r - 14 = 2*u, 125*u - 126*u - x*r - 11 = 0 for u.
-3
Suppose -171*t - 252 = -159*t. Let p be 63/(-9)*-2*(-3)/t. Solve -5*m - 5*o + 15 = 0, o + 9 = -p*m + 7*m for m.
2
Suppose -5*h = -2*k - 206, 0 = -2*h + 2*k + 84 - 4. Suppose v = -2*v + h. Suppose 26 = -15*p + 56. Solve -d + j + 11 = p*d, 2*j - v = -3*d for d.
4
Let j be 1*(-2 - 6/(-3)). Suppose -f - i - i = 7, -3*f + i + 7 = j. Suppose n + 3*a - 8 = 0, 7 = 4*n + a - 3. Solve -t = -1, -l - 3*t + f = n*t for l.
-4
Let s be (1/(-4))/(7/(-868)). Suppose -3*d + 5*g = -s, 0 = 2*d + 5*g + 31 - 10. Suppose d*a - 9 + 5 = 0. Solve 4*q - 10 = -0*r + a*r, 25 = q - 5*r for q.
0
Let r(i) = i + 4. Let j be r(0). Let n = -50 + -1451. Let s = n + 1526. Solve 3*m = -2*v + 5, 4*v - j*m = 3*v - s for v.
-5
Suppose 17*c - 99 = -65. Solve 2*n = -4*x - 24, -86*n + 8 = -85*n - c*x for n.
-2
Let p be 4/88*12 - ((-280)/(-110) - 2). Solve v + 3*a + 11 = p, v + 10*a = 9*a - 7 for v.
-5
Let d(m) = -m**3 + 6*m**2 + 45*m - 45. Let u be d(10). Solve u*v + 32 = -2*k, 0 = 3*k + 15 + 3 for v.
-4
Suppose 0 = 18*f + 21*f + 351. Let b be (3 + f)*(-2)/6. Solve -4*c - 2 = 2, b*c + 12 = -2*i for i.
-5
Let r = 8 + -54. Let l be -49 + 2 + (-4 - 0). Let o = r - l. Solve -3*m - 29 = -5*k, -o*k + m = -3*m - 32 for k.
4
Suppose 99*y = 39*y + 37*y + 38*y. Solve y = o + 5*h - 13, 32*o = 30*o - 2*h + 10 for o.
3
Let n(r) = -25*r - 1. Let x be n(-2). Suppose 0 = 47*y - x*y - 2. Let w be y/(-2)*10 - -7. Solve 0*d - z - w = -4*d, -2*d = -z - 6 for d.
3
Let h(p) = 443*p**3 + 3*p + 2. Let f be h(-1). Let u = 446 + f. Solve 4*w + 6 = -u*y, y - 5 = -0*w + 2*w for y.
1
Let j be 32/(-24)*(-30)/20. Solve -j*m = 3*k + 18, -9*k = -6*k - 2*m + 6 for k.
-4
Suppose 0 = -5*o + 25, 17*b - 19*b = -2*o. Solve -b*t - 16*y + 8 = -13*y, -3*y = 3*t for t.
4
Let r = -90 - -94. Suppose -4*v - 3*h = -20, -5*h - 2 = -3*v - r*h. Solve k + 4*g + 5 = 0, -v*k - 1 = 2*g - 3*g for k.
-1
Let q = 318 + -268. Suppose -43*a = -q*a. Solve a = -5*u - 2*p + 7*p + 30, 0 = -3*u + 4*p + 23 for u.
1
Let a be 1*(1545/10 - 2/(-4)). Let b = a - 218. Let r = -62 - b. Solve 3*q - 4 = -4*t, 5*q - 5*t + r = -4*t for q.
0
Let h = 24 + 7. Let w = h - 27. Suppose 3*s = 10 - w. Solve 4*x = 5*t + 1, -s*t - 2 = -0*t - 2*x for t.
3
Let j = -11 + 11. Suppose 0 = -f + 3*h - 15 - 1, -4*f - h + 1 = j. Let z be 8 + (-5 - f) + 3. Solve 2*a - 5 = 3*c + z, -a = c - 1 for a.
3
Suppose 4*x = -2*m - 16 + 74, -2*m + 4 = -5*x. Solve 4*o - d = 2*d + 18, 0 = 3*o - 4*d - m for o.
3
Suppose 0 = 3*p - 0*p + t + 915, -3*p + 2*t - 915 = 0. Let d = 308 + p. Solve 0 = c + d*m - 12, -c = -m - 0*m + 4 for c.
0
Let i be 5/1 + 81/(-27). Suppose 13*u = 19*u. Solve -2 = 2*r + 3*n + 2, i*r - 2*n - 16 = u for r.
4
Let z(h) = h - 3. Let x(q) = q**2 - 13*q - 17. Let w be x(14). Let f be z(w). Let c = f - -22. Solve c = -2*v + 5*o + 6, -6 = -3*o for v.
0
Let d(g) = g**3 - 4*g**2 - 88*g + 278. Let x be d(3). Solve x = -26*m + 25*m, 0 = 4*j + m + 21 for j.
-4
Suppose 3*p + 2*r - 58 = 0, 5*p = 2*r + 6*r + 74. Solve -13 = -2*b - 17, -4*n + 5*b - p = 0 for n.
-7
Suppose 30*f = -43*f + 146. Solve -u + 0*u = f, 0 = -z - 4*u - 9 for z.
-1
Let j = -2685 - -2687. Solve 0 = -3*r - 4*d + 15, j*d - 6*d + 10 = -2*r for r.
1
Let g(k) = -25*k + 8. Let q be g(-1). Let a be 1 - (-186)/9 - (-11)/q. Solve 4*c + 0*i + a = 5*i, -2*i = 2*c + 2 for c.
-3
Suppose -453 = -122*x + 279. Let n be 24/14 - (-2)/7. Solve 11 = 4*h - n*r - r, 4*h = 2*r + x for h.
-1
Let z be 21*80/140*(-3 - 26/(-8)). Solve -5*s = 3*h - 30, -8*h + z*h + 28 = s for h.
5
Suppose -20*b + 1085 = -435. Suppose 3*r - 4*d = r - 138, -2*r - 5*d = 129. Let z = r + b. Solve -2*o + 3*x + 9 = 0, 0 = o - 6*o + 3*x + z for o.
0
Suppose -123*w = -62*w - 183. Solve 2*n = -5*c - 10, c = -2*n - w*c - 8 for n.
0
Suppose 54 = 34*z - 48. Suppose 3*i - 50 = -5. Suppose -i*m = -13*m - 10. Solve 0 = y - z, -5*l - 34 = -m*y + 2*y for l.
-5
Let z be (6/7)/((-15)/(-105)). Let f be z/(-8)*48/(-9). Solve -3*u + 3*r = 0, -f*u + 4 = 5*r - 5 for u.
1
Suppose -140 = -4*b - b. Suppose -2*z - b = -32. Solve -3*v + 4*i - 6 = -0*v, -z*v = 4*i - 16 for v.
2
Suppose 5*o = -2*r + 21, -12 = -4*r + 2*o - 6. Solve 4*w - 6 = u, 0 = -r*u + w - 2*w + 8 for u.
2
Let a be 5/(-1*(-3)/3). Let g(d) = -d**2 - 13*d - 25. Let y be g(-6). Suppose -3*l = -l - 2*z - 14, y = 2*l - 3*z. Solve 3*w + w = l*x + 8, 4*w - 6 = a*x for w.
4
Suppose -4*q = 2*g - 18, g - 35 = -4*g - 5*q. Suppose v - 10 = 3*o, -g*o = -3*v + 2*v + 14. Solve -d = 2*x - 0 + 1, 0 = 3*x + v*d + 9 for x.
1
Let s be -10*((-12)/(-20))/((-12)/16). Suppose 0 = -3*j + 4*v - s, -4*j + 0*j = v - 2. Solve 2*m + 2 = -j*m + 2*w, -11 = -m + 4*w for m.
-5
Let n be (-15)/(-6) - -1 - 2/(-4). Suppose 2*o + 2*g = g + 1, 4 = -n*o - 4*g. Solv