 Solve 2*o - i - 4 = r, 2*o - d = 2*r for r.
1
Suppose 0 = t + 19 + 34. Let f = t - -58. Let n be (f/(-2))/((-10)/4 - -2). Solve -3*c + 5*h - 21 = 0, 2*c + 13 = n*h - 6 for c.
-2
Suppose 16*p - 177 = -7*p - 36*p. Solve 9 = 5*h - 8*h + f, 4*f = -p*h - 9 for h.
-3
Suppose 26 - 16 = 5*z. Let a(f) = -z*f**3 + 5*f**3 - 10 - 4*f**3 + 4*f**2 + 2*f. Let b be a(3). Solve -2*w + 0*q + 26 = -4*q, 4*q = -5*w - b for w.
3
Suppose 14*p = 20*p - 12. Suppose 55 = -p*f + 65. Solve 0 = -5*y + q + 3, -3 = f*y - 4*q - 0 for y.
1
Let o(f) = 119*f + 1430. Let p be o(-12). Solve 3*m + p*l = 17, 6 + 1 = 2*m - 3*l for m.
5
Let z(r) = 4*r**2 - r + 2. Suppose -122 = 4*i - 26. Let o be i/16 + 10/4. Let s be z(o). Solve 3*m + 16 = -s*d, 3*d - 2*m + 0*m = -2 for d.
-2
Suppose 0 = 9*s - 29*s + 6*s + 7*s. Let f be (-2 + 0)/((-12)/18). Solve -2 = -2*t - y, s = -2*t + f*t - 3*y - 15 for t.
3
Let d = -10 - -14. Suppose t = 5 - 1, -x = -d*t + 11. Suppose -2*w = -4*r + 42, -91*w = -3*r - 90*w + 36. Solve -5*u + x = g + 29, -r = 3*u for g.
1
Suppose 0 = 2*x - 3*w - 398, 0 = 2*x - w + 146 - 548. Let h = x - 197. Solve h*m = -2*n - 21, 0 = n + 4*n - 4*m + 3 for n.
-3
Let w(x) be the third derivative of -x**6/120 + 7*x**5/30 - x**4/4 - 29*x**3/2 - 115*x**2 + x. Let j be w(13). Solve 5*u = k + j, -u - 1 - 3 = k for k.
-4
Suppose -5*c + 71 = 12*l, -11*c = 2*l - 8*c - 1. Solve -4*r - 11 = -b + 7, -2*b = -r - l for r.
-4
Suppose 0 = 2*i + x + 72, 10*x + 140 = -4*i + 6*x. Suppose 14 - 94 = -2*g. Let o = g + i. Solve 25 = 4*r - 5*h, 0 = -5*r + 5*h + o + 27 for r.
5
Suppose 2*a + 9 = -3*m + 4*m, 0 = 5*m + 3*a - 6. Let l = m - 7. Let f be l/(4/24*-4). Solve -f*r + 6 = -3*r, 4*q + r + 18 = 0 for q.
-5
Let h = -343 + 346. Suppose 4*n - h*k - 7 = 18, 0 = -5*n + k + 23. Solve 0 = c - q + 1, n*c - 17 = -4*q + 19 for c.
4
Suppose -74 + 46 = -7*d. Solve -2*m + 2*h = m, -d*m - 17 = 3*h for m.
-2
Let a(q) be the third derivative of -q**5/60 + 5*q**4/24 + 11*q**3/6 - q**2 + 2*q. Let h be a(6). Solve 3*j = 3*m + 2*m + 10, -2*m - 35 = h*j for j.
-5
Suppose -29*p - 28*p = 0. Solve 5*x + 3*o + o = -18, 4*x + 3*o + 14 = p for x.
-2
Let w = 2 - 0. Suppose -4*p = -4*n - 68, 2*n = 4*p - 24 - 42. Let m be 4460/669*(-18)/(-5). Solve -m = 2*y + 4*j, -y - p = y + w*j for y.
-4
Suppose 7*g - 5*g = 58*g - 504. Solve 4*x + u - 2 = 0, -4*u = 8*x - g*x + 26 for x.
2
Let m(o) = o**2 + 7*o + 4. Let n be m(-5). Let p be 5 - n/(12/(-10)). Let j(h) = -h**3 + 2*h**2 - h + 4. Let q be j(p). Solve -w = -f - 4*f - 24, -w = -q for f.
-4
Let z be 8/64 - 470/(-80). Solve 2*k = 5*b, k = 5*b + z - 11 for k.
5
Let n = -7 - -2. Let b be (22/10 - n/(-25)) + 22. Suppose -b = -2*c - c. Solve 5*g = -4*s + c*s + 5, s = -3*g + 20 for s.
5
Let b = -5626 + 5629. Solve 19 - b = 4*f, 3*n - 12 = -3*f for n.
0
Let r(u) = 134*u**3 - u**2. Let w be r(1). Let b = w - 129. Solve 0 = -2*n - 0*n - 3*y - 16, b*y = -8 for n.
-5
Suppose -v - 11*m + 7*m + 28 = 0, 4*m = 2*v - 68. Suppose v*w = 10*w + 132. Solve 4*d - w = 2*p, -2*p + 2 = d - 2 for d.
2
Suppose -5*x - 50 + 66 = -3*d, d - 5*x + 32 = 0. Solve 4*m - 3*m = -4*c + 4, 2*m + c = d for m.
4
Let k(b) be the first derivative of b**3/3 + 5*b**2 + 10*b + 7. Let m be k(-9). Let t be 16/8*m/1. Solve -5*l - 21 = -t*g, -4*g + 13 - 1 = 0 for l.
-3
Let k(q) = q**2 + 167*q - 858. Let p be k(5). Solve p*w = 5*t - 27, -3*t + 20 = 3*w - 8*w for w.
-1
Let l(o) = -13*o - 52. Let y be l(-4). Solve 4*a = -5*u - 104 + 79, y = -4*u - 3*a - 20 for u.
-5
Let n(r) be the first derivative of 4*r**3/3 + 12*r**2 + 12*r + 9. Let x be n(-9). Let u = x + -116. Solve 15 = -10*f + 5*f - u*c, 0 = 2*f - 3*c - 17 for f.
1
Let p = 24 + -24. Suppose p = -8*l + 3*l - 5*j + 40, -20 = -5*l - j. Let v be 116/29 + 2/2. Solve -l*g - v = i + 10, -2*g + 4*i = -4 for g.
-4
Suppose -3*x + 289 = 4*j - 14, -4*x - 5*j + 405 = 0. Suppose -x*a = -107*a. Suppose 0 = 3*y - 173 + 173. Solve 0 = 5*q + z - 3, a = -q - y*z + 2*z + 5 for q.
1
Let v = 17534 - 17534. Solve 6 = 4*z - 3*j, 4*z - 5*j + 0 - 10 = v for z.
0
Let x be 0/(2 - (-6 - 20/(-5))). Suppose x = -9*b + 22 + 23. Solve b*y = 5*p - 35, -10 = 2*p + 4*y - 0*y for p.
3
Let b be 42/735 + (-972)/(-140). Solve -b*a + 2*a = -3*p - 2, -3 = p - 4*a for p.
1
Let d = 56 + -53. Suppose d*q - 14 = 4. Suppose -6 + q = 3*t. Solve 3*p - 2*l + 12 = t, -2*p + 6 = 3*l + 1 for p.
-2
Let y be 33/(-18) - 4/(-72)*-3. Let o be 9 + (3/2 - y/(-4)). Let u be (-2)/o + 1*(-130)/(-25). Solve -3*v + 5*m + u = 0, 5*v + 4*m + 8 = -33 for v.
-5
Let t(m) = m**2 - 303*m + 3217. Let h be t(11). Solve -37*d - h*b + 8 = -39*d, d = 2*b - 4 for d.
-4
Let p be (-26)/(-7) - 6/(-21). Suppose p*a + 2*a = 0. Suppose 5*u - 20 = a, 19 = j - 3*u - 5. Solve -3*n + 8*n = 20, 4*z = 5*n - j for z.
-4
Suppose 0 - 10 = -10*u. Let w be u*1/(-4) + (-1467)/(-652). Solve w*x + 1 = k, k + k = -x - 3 for x.
-1
Suppose -p - 46 = -38. Let g = p + 13. Suppose -g*b + 56 = -4. Solve 0 = -3*x + u - b, u + 4*u = -5*x for x.
-3
Let v be (-2)/(2*(-1)/3). Let r = -203 - 71. Let m = -261 - r. Solve -v*c + m = -4*i - 13, 5*c = 4*i + 30 for c.
2
Suppose -999 = -0*t + 9*t. Let b = t - -115. Solve b*n - 6 = -5*r, n - 6*r = -r + 14 for n.
4
Let i = 17054 + -17043. Solve 2*r - 4*l + 20 = 0, i*r - 4*l + 4 = 13*r for r.
-4
Suppose c + 4 = 10. Let o = c - 2. Suppose -104*m + 105*m + 24 = 2*p, 0 = 4*p + 7*m + 60. Solve y = 2*x - p - 5, 3*x + o*y = -11 for x.
3
Let d(f) = -f**2 + f. Let m be d(1). Suppose 7*g + 24 = -39. Let s be 0/(g - -4 - -2). Solve 4*o - 20 = s, 0 = -2*w + o - m*o + 3 for w.
4
Let t(a) be the first derivative of -5 + 4 - 10*a + 4*a - 1 + a**2. Let n be t(5). Solve -n*c = -5*l - 40, 9 = 3*c - 3*l - 18 for c.
5
Let f = -546 - -553. Let q be 5 - (f - -1 - 3). Solve q*y - 19 = -3*a + 2*y, a - 3*y = 11 for a.
5
Let m = -34 - -32. Let x be 33/22 + (53/2 - m). Suppose -x*h = -33*h. Solve 0 = 2*q - 5*l, -4*q - l - 22 = -h*l for q.
-5
Let b be (-56665)/(-56) + (-2)/(-16) - -4. Let p = b + -1015. Solve 5*w + 25 = 3*x, -7*x + 2*w = -8*x + p for x.
5
Let v be 0*5/20*-4. Let g(c) = -c**2 - 7*c + 3. Let h be g(v). Solve -o = p - h, 5*p = -4*o - 0*o + 16 for p.
4
Suppose r + r = 2*i + 200, -i = -4*r + 403. Let j = r + -97. Solve -j*d + 3 = q - 17, -5*q = 2*d - 28 for d.
4
Suppose -23*q + 18*q + 15 = d, 2*q - 6 = d. Suppose -2*b = b - 33. Suppose 228*t = 235*t - 133. Solve -3*u + t = -5*y, d*u - u + 4*y + b = 0 for u.
3
Suppose 12 = 4*s - 2*q, -131*q + 127*q = 8. Solve 0 = s*l + c + 5, l + c + 2*c = 10 for l.
-5
Let h(c) = -22*c**3 - 2*c**2 - 2*c + 1. Let j be h(-1). Let a be -26 + j + (-3)/(-1). Solve a = -4*t + t + 4*f + 3, 3 = 3*t - f for t.
1
Let q be (8 - 11)/((-2)/26). Suppose 0 = 4*j + 8, 2*i + 3*j = -i + q. Suppose 3*u - 8*u = -i. Solve 4*y = z - 2*z + 5, -y = u*z + 7 for y.
2
Suppose 18 = 47*r - 44*r, -5*z = 13*r - 103. Solve -2*a + 17*o - 13*o = 10, -2*a - o + z = 0 for a.
1
Suppose -4*k - 18 = -58. Suppose -k - 18 = 7*j. Let q be 6/j*(-17 + 13). Solve 4*a - d = 17, 2*a - d + q*d - 3 = 0 for a.
4
Let z(n) = 3*n**2 + 8*n - 1. Suppose -4*g + 54 = -22*g. Let q be z(g). Solve -l = m + q, 0 = 2*m - 3*l + 14 for m.
-4
Let o = -237 - -240. Suppose -o*l - 14 = -2*u - 3*u, -u = -4*l + 4. Solve 0 = -5*i - l*h + 21 + 3, -4*i - 3*h + 22 = 0 for i.
4
Let t(m) be the first derivative of -m**4/4 + 5*m**3 - m**2 + 32*m - 38. Let f be t(15). Solve -u = -3*s + f*u + 12, -5*s = -4*u - 20 for s.
4
Suppose -5*a + 33*y - 32*y = -55, 5*a = -y + 45. Solve -5*i - 7 = -8*k + a*k, 0 = -5*i - 3*k - 3 for i.
-3
Let r(i) = i**2 + 13*i - 448. Let f be r(16). Solve -2*z = -3*p + 12, 2*p + 8 - f = z for z.
0
Let i = 3940 + -3932. Solve 3*t + 2*o - i - 8 = 0, -4*t = 5*o - 33 for t.
2
Let l be (-1 - -424)*(-16 - -15). Let k = l + 427. Solve -k + 7 = -c - 3*p, 0 = -2*c - 2*p - 6 for c.
-3
Let w(d) = d**2 - d - 6. Let u be w(3). Suppose 6*i + u*i = -390. Let s = i - -67. Solve -4 = k + s*y - 0*y, -2*k - y = 2 for k.
0
Suppose -12*a = 16 - 39 - 37. Solve a*x - 2*j = 4*x - 8, -2*j + 4 = 0 for x.
-4
Let s be (10/26)/(-9 - (-118)/13). Solve 0 = -3*t - s*z + 2, -5*z - 22 = -t - 2*t for t.
4
Suppose -11327 + 11259 = -34*j. Solve 4*o + z + 16 = -j*z, -z = -o + 3 for o.
-1
Let q(f) = f + 50. Let c be q(-24). Let l = 32 - c. Solve t - 8 = 3*j, 4*t + 1 - l = 3*j for j.
-3
Let i(o) be the second deriva