*d + 3*o - 2, 5*d - o = o - x for d.
-1
Let z = 772 - 769. Let q be (5 - (z + -2)) + -4. Solve 5*x + h + 1 = -q, 4*x + 5*h - 16 = 0 for x.
-1
Let j = 258 + -248. Let r(u) = -4*u + 2*u**2 + 2 - 9*u**2 - 3*u**3 + 4*u**3 - 4*u. Let c be r(8). Solve d + 4*d = j, -2*p = -c*d + 2 for p.
1
Let i(d) = -3*d**3 - 2*d**2 - 2*d + 3. Let l be i(3). Let m = 102 + l. Solve -3*v = 2*j + 16, j + 5*v = -m - 22 for j.
-2
Let b = -16 - -11. Suppose 9*p + 47 = 5*k - 3, 3*k + 7 = -2*p. Let h be k + 0 - (b - -2). Solve -2*z = a + 7, -3*a = 2*z - h*a - 3 for z.
-1
Let c be -7 + 12 + -10 + 37*-9. Let n = 340 + c. Solve r = 4*g + 2*r - 1, -n*g + 2*r + 8 = 0 for g.
1
Let d(l) = 4*l - 1. Let k be d(-10). Let x = k - -45. Suppose 0*n + 5*p - 15 = n, -6 = 2*n - x*p. Solve 3*u + 7*g + 1 = 2*g, n*g = 3*u + 11 for u.
-2
Suppose -2*j - 6 = -5*n + 5, -21 = -3*j - 5*n. Suppose -5*y + j*t = -18, -4*t = 18 - 2. Solve -6 = 5*z + y*s + 22, -5*s - 20 = 0 for z.
-4
Let d = 4 - -1. Let f be (0 - 2 - 63)/(19/(-152)). Let y = -520 + f. Solve d*r = -2*w + 15 - y, 2*r + 2*w = 0 for r.
5
Suppose -17*x + 18 = -8*x. Let b = -304 - -311. Solve x*t = 0, 4*f + 3*t = b + 1 for f.
2
Let c be (-42)/(-6) - (-161)/(-23). Solve 3*o + 12*x - 7 = 11*x, x + 5 = c for o.
4
Let l = 13378 - 13375. Solve -l*n - 4 = b, 3*n - 6 + 2 = -5*b for n.
-2
Suppose 210 = -k + 29. Let m = 181 + k. Solve -n - 4*y - 7 = 0, 0 = 3*n - m*y - y - 18 for n.
5
Let a = 7784 - 7784. Solve 2*k + 2*t + 2 = 6*k, -5*t - 5 = a for k.
0
Let w be 10/(-15) - (-150)/(-18). Let b be -4 + (5 + -6)*w. Suppose 6*i - 55 + 7 = 0. Solve -a + b = 3*f, -2*a + 4*a = 3*f - i for f.
2
Let z = -9868 - -9925. Solve -z*i + 56*i - 5*h = 12, -3*h = 4*i + 14 for i.
-2
Let c = 1958 - 1939. Solve 4*x = d + 15, -x - 3*x - 3*d = -c for x.
4
Let x(l) = 6*l**3 - 194*l**2 + 62*l + 68. Let c be x(32). Solve 3*z - 7 = -4*o, -7*z = -5*z - c*o + 22 for z.
-3
Let c be (2 + 24)/(10/10). Suppose -4*j + 95 = -5*o, -2*j - 4*o + 50 = -j. Suppose c*m + 20 = j*m. Solve -8 = -m*d - 23, 0 = -4*t + d - 5 for t.
-2
Let a(j) = -3*j - 33. Let q be a(-12). Let i be (-155)/75*q*-5. Solve -2*o - 7 = 3*z + 2*o, 0 = 5*z - 3*o + i for z.
-5
Let x(h) = h**3 - 6*h**2 - 21*h + 40. Let q be x(8). Suppose 0 = 4*a - 2*u - 10, -11*a + 14*a - 2*u - 7 = q. Solve a = 2*m - 3*n + 4, 4*n = -12 for m.
-5
Let d(n) = 31*n + 32. Let g be d(-8). Let z be (-696)/g + 4/(-18). Solve -p = 3*p - 12, -4*h - 1 = -z*p for h.
2
Let o = 3448 - 3428. Solve -4*p + 4*h + o = 0, -h + 9 = p - 4*h for p.
3
Suppose 0 = -19*d + 42 + 53. Solve 0 = 3*a - 5 - 4, -a = d*c + 2 for c.
-1
Let a = -262 + 264. Suppose 0 = -4*y + a*q + 22 - 14, 4*y - 8 = 3*q. Solve y*l = -3*l - 4*k - 27, -l = -k for l.
-3
Let i be ((-160)/(-50))/(8/20). Let q be 25/10 - i/(-16). Solve -5*w + 34 = 3*c, -4*c + 29 = q*w + 2 for c.
3
Let y(v) = v**2 + 2*v - 7. Let u be y(-3). Let f be 82/26 - u/(-26). Suppose f*p = -o + 13, o = -p - 4*o + 9. Solve 0 = -p*d + k - 3, 3*k + 21 - 6 = 0 for d.
-2
Let s = 3449 + -3444. Solve -2*n + 3*y + 7 + 3 = 0, 0 = s*n + 2*y - 6 for n.
2
Let f(c) = -31*c**2 - 742*c + 51. Let v be f(-24). Solve -g + 20 = -5*q + 2, 0 = 3*g - v*q - 6 for g.
-2
Let z be ((-1587)/(-46))/(-69) + (-2)/4 + 1. Solve 2*g + 12 = -2*d, z = -3*g + d - 5 + 7 for g.
-1
Suppose 27*k + 13150 + 2834 = 0. Let a = k - -596. Suppose 2*o + 3 = -3*p + 5, 0 = 4*p + 5*o + 9. Solve -3*m + 7 = 4*t, -2*t - a = -p*m - 2 for m.
1
Suppose -10*k + 72 = -8. Let i(h) = -3*h + 10. Let x be i(2). Solve 0 = -x*w - 2*t - 8, 6*w - w + k = -2*t for w.
0
Let j = 121 + 63. Let v = j - 175. Solve -2*t + g + 2 = -4, -3*t - 2*g + v = 0 for t.
3
Let y be (2 + 20/(-6) + 0)/(5573/(-16719)). Suppose -10 = -2*q + 2*n, -3*n - 4 = -q + 3. Solve 5*j + q*p = -16, -6*j + 4*j - p = y for j.
0
Suppose -2*d + 2 = -d. Let q be ((-1)/d - (-7)/14)/(-3). Suppose q = 4*u + 3*b, -3*b + 2*b = 3*u - 5. Solve -5*w = 4*z + 15, -5*w - u*z = 1 + 14 for w.
-3
Suppose -7*s + 100 = -12*s. Let n = 29 + s. Suppose 6*h - 12 = 2*h. Solve -h*b + 2*g = 5, -4*b = -0*b - 5*g + n for b.
-1
Let d be 7*(816/(-84))/(-17). Solve d*g = -4*m + 16, -g + 16 - 8 = 5*m for m.
1
Let d(o) be the first derivative of -o**3/3 - 4*o**2 + 4*o - 495. Suppose -w = 3*w + 28. Let h be d(w). Solve 3*q - b + 8 = 0, -4*q + 2*b - h = -3*q for q.
-1
Let k be 6/5*(-15)/(-6). Suppose -25*l = -7*l - 54. Suppose -4*z + 2*i = -z, 9 = l*i. Solve -3*p = 4*u + 1, k*u + z*u + 8 = 3*p for p.
1
Suppose 10 = 4*v + 2*y, y - 1 = 3*v - v. Let w be ((5/(-4))/1)/(5/(-1360)*170). Solve s + h = v + 4, 3*s - w*h = 0 for s.
2
Let t = 10577 - 10573. Solve o + 8 = -2*l, 5*o - t*l = -9 + 11 for o.
-2
Let y = -6 + 8. Let r(t) = -24*t**3 + t**2 - t - 2. Let f be r(-1). Suppose -f = y*p - 28. Solve 3*b = p*b + 3*g - 15, -4*b - 4 = 2*g for b.
-3
Let a(x) = -x**3 + 11*x**2 - 22*x - 20. Let g be a(4). Let p = 13 - 8. Solve -2*z - z = -g*k + p, 0 = -2*k + z + 3 for k.
2
Let l(p) = -p**2 + 166*p - 5516. Let j be l(46). Solve 0*m - 1 = -m, 0 = 4*t + j*m + 16 for t.
-5
Let m be 4/(413/35 + -11). Solve 4*r = m*j + 9, j - 6 = -2*r - 5 for j.
-1
Suppose 25*s + 211*s = 1180. Solve -10 = 5*r - s*p, -3 = 44*r - 43*r - 2*p for r.
-1
Let s(l) = 2*l - 31. Let t be s(18). Suppose -4*f + 82 - 23 = t*a, -3*a - 15 = 0. Solve 0 = -m - n, -5*n - f = -3*m + 3 for m.
3
Suppose 33 = 3*h + 4*t, -4*t + t = -4*h + 69. Solve 4*n - p = 2 + h, 2*n + 5*p - 3 = 0 for n.
4
Let u be ((-2)/5)/(3/(-180)). Let n be 0 - 8/20 - u/(-10). Solve -10 = 5*h, n*h = k + 2 - 4 for k.
-2
Suppose -16 = -42*q + 38*q. Let c(r) = 12*r - 46. Let v be c(q). Solve -3*b + v*n + 0 = -4, 4*n = 5*b - 4 for b.
4
Let z(f) = -f**3 + 10*f**2 - 3*f + 9. Let n be z(10). Let i be n/(-4)*(-32)/(-24). Solve -4*a + 0 - i = 5*k, -2*k = -a + 8 for a.
2
Let v be 22/(-5) + 24/60. Let q = v + 9. Suppose 12*r - 13*r = -2*u - 22, 5*u = -5*r + 80. Solve 5*a = -3*y + 1, 5*a = y + r - q for a.
2
Suppose 0 = -8*i - 769 + 881. Solve 5*o = v + 13, v + 3*v + 2*o = i for v.
2
Suppose -t - 1 = 4*y + 1, 5*t - 13 = 3*y. Solve -20 = -4*o, t*g - 78*o + 18 = -74*o for g.
1
Let g(a) = a**3 + 123*a**2 - 113*a + 1366. Let l be g(-124). Solve 5*j + 2*q = -22, -l*j = -0*j + 4*q - 4 for j.
-6
Suppose -10 = d - 2*m, -41 = -5*d + 10*m - 13*m. Solve -26 = d*q - 2*k - 0, 3*q - 2*k = -22 for q.
-4
Suppose -70 = -2*r + 2*g - 400, 5*g = -4*r - 633. Let a be 1/(-3)*5/(30/r). Solve -a = q - 5*l, -13 + 5 = q - 4*l for q.
-4
Suppose -9 = 8*b - 25. Suppose l - 3*h = 8, 0*l = 2*l - b*h - 12. Solve l*t + 20 = -4*c, t - 5*t + 5 = -c for c.
-5
Suppose -3*p - 4*t + t = 18, 0 = -3*p + 3*t. Let z be (-3)/2*2/p. Suppose -4*g - 5*v = z, v = 3*g - 4*v - 8. Solve -w - 6*r + r = -8, w = 4*r - g for w.
3
Let s be ((-28)/196 + (-29)/(-7))/1. Solve -s*x + 2*j + j + 1 = 0, -5*x + 3*j = 1 for x.
-2
Suppose 3*t + 40 = t. Let k be (((-8)/(-10))/((-4)/t))/1. Suppose -15 + 15 = k*r. Solve 5*p + 3*y - 16 = r, p + 2*y = 2*p - 11 for p.
5
Let s(i) = -2*i**3 + 1. Let y be s(-1). Let k = y - -3. Let a(d) = -706*d + 3535. Let l be a(5). Solve 4*f + k*t - 18 = 4*t, -l*t + 25 = 0 for f.
2
Let f = -39146 + 39148. Solve -12 = -4*k + w, -f*k - 13*w = -8*w - 28 for k.
4
Let a be (1/1)/((-11)/(-121)). Suppose 18*i - a = 7*i. Let h(m) = 6*m - 1. Let u be h(i). Solve 0*g + u*g = 5, 7 = -2*l + g for l.
-3
Let p(j) = -2*j + 12. Let l be p(4). Suppose -2*d + 22 = 4*i, 3*i - l*i - 2 = -d. Solve 3*a - 24 = d*q, 3*a - q - 13 = -1 for a.
3
Let j(w) = w**3 - 2*w**2 + 4*w - 13. Let k be j(3). Suppose -k*p + 28 = -p. Solve -6*r + 15 = -r - c, 5*r + p*c - 15 = 0 for r.
3
Let g = 6783 - 6740. Solve -17 = -5*m + 2*z, g*m - 39*m = 5*z for m.
5
Let v(w) = 2*w**2 - 4*w - 6. Let n be v(-2). Solve n = 5*c - s, -17*c + 12*c + 3*s = -10 for c.
2
Suppose 0 = -5*s + x + 9 + 21, 3*x = -5*s + 10. Solve 5*j + s = -5*b, 11*j - 4 = 7*j for b.
-2
Let y be (-10)/((7 - -8*(-5)/15) + -5). Solve 20 = n - y*c + 18*c, 3*n - 4*c = -5 for n.
5
Suppose -96*z + 76 = -92*z - q, -2*z + q + 38 = 0. Solve -s = c + 8, -5*s + z*c - 21*c = 31 for s.
-5
Suppose -201 = -14*v - 18*v - 41. Solve h = -3*i - 16, -24*i + 21*i + 8 = -v*h for i.
-4
Suppose i + 28 = -i. Suppose 160 = -164*q + 154*q. Let h = i - q. Solve 4*c - h*c = -3*d - 11, -2*d + 6 = -2*c for d.
-1
Let v(q) = q**3 + 6*q**2 - 7*q - 51. Let s be v(-4). Suppose -31*i = -s - 53. Solve -m = i*u 