r + 80 = 0. Let z be (r/(-6) - 3)*(-3)/2. Solve -z*t + 4*x = -0*x + 2, 0 = -5*t + 5*x for t.
1
Let v = -207 + 38. Let f = 169 + v. Let c be 5*2*(-4)/(-8). Solve -o - 2*g + 7 = f, 1 = 5*o - c*g - 4 for o.
3
Let j(g) = -616*g - 6775. Let m be j(-11). Solve -5*i + 9 = -4*c, -c - m - 4 = -4*i for c.
-1
Let l = -22525 + 22534. Solve 0 = 5*v - 4*o - 7, 0 = -l*v - v + 2*o - 4 for v.
-1
Let m(j) = 2*j + 52. Let g be m(-25). Solve -g*r = 3*h, 1 - 3 = h for r.
3
Let m = 13 - 17. Let i be -6*(0 - m/(-8)). Suppose 0 = i*s + 3*r - 21, r + 3 = 2*r. Solve 30 = s*j + 2*k, 0*k = 3*j - 3*k for j.
5
Suppose 17 = 5*s - 3. Let u = -682 - -685. Suppose s*g - 6 = -5*t, -5*t - 7 = u. Solve g*v - c = -16, v + 0*v = -5*c + 17 for v.
-3
Let v = -10789 - -10794. Solve 4*j - d = -22, -39 = 4*j - v*d - 9 for j.
-5
Let z = -25 - -28. Suppose 5 = -l, 0 = -z*j - l - l - 7. Let w be (j - -3)/4 + 1. Solve 3*s = 2*a + 3*a + 20, 0 = w*s - 10 for a.
-1
Let s(r) = 3*r - r + 124 - 117 - 3*r. Let u be s(5). Solve -5*x + 2*o + 13 = 0, 4*o = 2*o + u for x.
3
Suppose 2*w - 11 = -3*p, 0 = 2*w - 5*p - 3. Let k(d) = -d**3 - 5*d**2 - 2*d - 8. Let g be k(-5). Solve w*c - g = 6*c + 4*z, z = 4*c + 22 for c.
-5
Suppose -135*o + 6 = -134*o - 3. Solve o = -5*w + a, -2*w + 93 = -a + 99 for w.
-1
Let g = 11443 + -11439. Solve -2*z - 10 = g*p, -5*z + 39 = -4*p - 6 for z.
5
Suppose -2*d - 4*b + 14 = 0, -14 = -3*d - 7*b + 8*b. Suppose 0 = -3*w + 3*f + 42, d*w = f - 0*f + 66. Solve m - 21 = 4*s, s - 4*s - 5*m + w = 0 for s.
-4
Let n(d) = 7*d + 92. Let v(s) = 3*s + 45. Let r(q) = 6*n(q) - 13*v(q). Let f be r(17). Solve 2*b + f = 2*h, -h - 8 = -3*h for b.
-5
Let c be 2/(-3) + 2/3. Let i be (-115)/92*(-3)/(6/8). Let h be (1/i)/((-22)/(-220)). Solve 2*t + 2*n = c, h*t - 3*n = -2*n + 9 for t.
3
Let s(k) = -3*k**2 + 192*k + 189. Let a be s(65). Let u(o) = -2*o - 2. Let h be u(-5). Let m = a + h. Solve 4*z + 3 = -3*n, -2*n + 11 = -3*n + m*z for n.
-5
Suppose 5*r - 23 = -2*y, -4*r + y + 16 = -r. Suppose 252*q - 158*q - 300 = -56*q. Solve -5*g + r = q*l - 8, -5*g = 5*l - 10 for g.
3
Let b(o) = -o**3 - 22*o**2 - 25*o - 29. Let z be b(-21). Let v = z - 53. Let y = -88 + 90. Solve 2*j - 4 = -v*p, j - p - p = y for j.
2
Let q(x) = 2*x**2 + 41*x - 13. Let r be q(-21). Let a = 12 - r. Suppose -j - 3*j + 8 = -a*s, -3*j - 5*s = -14. Solve 3*g + 5*t - 4 = 0, -t - 2*t - j = 0 for g.
3
Let d be 2 - (-6 - (2 + -9 - -4)). Let y be (-12)/(-4) - d - (4 - 0). Let p be 4/(2/y*(1 + -7)). Solve -10 - 2 = p*x - i, 2*i - 8 = 0 for x.
-4
Let o(u) = 37*u + 141 + 105 + 36 - 38 + 3*u. Let d be o(-6). Solve -j = d*l + 2, -3*l = l + 3*j - 2 for l.
-1
Let j be (-12)/138 + 700/115. Suppose 5 = 5*t - o, 7*t - j*t = o - 3. Solve 0 = -2*h - 10, 5*b = -3*h - 8 - t for b.
1
Let h be (609/(-812))/((3/(-8))/1). Suppose 5*k = -h*g + 21, -3*k + 12 = -2*g + 3*g. Solve 4*y = -5*q + 1 - 3, 3*q - g*y - 15 = 0 for q.
2
Suppose -29*p + 408 = -7*p + 386. Solve 4*c = -4*o + 4, -9*c - 28 = -3*o - p for o.
3
Suppose 21*d = 7*d - 644. Let t = 49 + d. Solve -3*v - 2*m = m, -t*m + 8 = -v for v.
-2
Let h = 5816 + -5812. Solve u + 4 = 2*u, 5*i + 4*u + h = 0 for i.
-4
Let f be 9/12*280/42. Suppose -2*p + v = f, -p + 5*p - 5 = -v. Solve -5*n = 2*x - 3*x - 17, p = 3*x + 2*n - 17 for x.
3
Suppose -2*v = -5*t - 63, 0 = 4*v - 27*t + 30*t - 61. Solve -3*g + 3 = -o + 6*o, 3*o + v = -7*g for o.
3
Let q = 9456 - 9449. Solve -2*i = 5*l - 3, 37*i + 2*l - q = 42*i for i.
-1
Let k(o) = o + 2. Let p be k(3). Let a be (-3 - -4)*8 - -5. Suppose -a*i + 12*i + p = 0. Solve -2*f - i*t + 15 = -0, 5*t = -3*f + 10 for f.
-5
Let a = 125 + -113. Let k(v) = -11*v + 147. Let g be k(a). Solve 0 = -3*b + g, -i + 2*b + b - 12 = 0 for i.
3
Suppose -2*y + 0*d = -2*d + 38, -5*d - 115 = 5*y. Let n be 6/(-8) + ((-1995)/20)/y. Solve i = -w - 0*i - 2, 0 = n*i for w.
-2
Let n(m) = -1527*m + 19854. Let p be n(13). Solve -d = p*g + 8, 127*d = -2*g + 125*d - 4 for g.
-3
Let b be (13 + -2 + -6 - 6) + 13. Suppose -2*f + 18 = 2*g, -f = 3*g + 2*g - 25. Solve 0 = 3*j + f*r - 29, 4*r - 19 - b = -5*j for j.
3
Let y(n) = -n**2 + 8*n - 3. Let m be y(3). Let h(i) = -i**3 + 13*i**2 - 12*i + 2. Let j be h(m). Solve -j*g + w = -4, -24 = -3*g - 2*g - w for g.
4
Let x = 37 + -10. Suppose -2*r = 4*k + 6 - 42, 5*k = 4*r + 71. Suppose -5*z - 12 = -k*z. Solve 0 = -7*t + z*t - 2*n - x, 2*t = n - 9 for t.
-5
Let h = -491 - -493. Let l = 17 - 15. Suppose -x - 16 = -5*r - 0, x = -l*r + 12. Solve -r*u - 36 = 5*s, s + h*s + 8 = u for u.
-4
Suppose -9*z + 20 = -4*z. Suppose z*s - 1 = -5, -2*p - 2*s + 8 = 0. Suppose p*n + 0 - 10 = 0. Solve 0*b = -n*b - 3*t - 5, -20 = 4*b - 4*t for b.
-4
Let z(w) be the third derivative of -w**5/60 + w**4/6 - w**3/2 + 2*w**2 + 11*w. Let r be z(3). Solve -4*d - 5*u = -0*d + 27, -4*d + 4*u = r for d.
-3
Let o = 629 + -626. Let i be (-2)/3 - (-14)/3. Let g be ((-3)/i)/(6/(-24)). Solve -2*d + 17 = o*f, f + g*d = 3*f + 6 for f.
3
Let t(r) = -r**3 + 8*r**2 + 11*r - 8. Let m be t(9). Suppose -175*n + 458 = 108. Solve 0 = -d - d - n*z + 8, 4*z = -d + m for d.
2
Let c be 2204/46 - 14/(-161). Suppose 10*t = 172 + c. Suppose -l = 4*l - 15. Solve -2*g + 2*b = -18, 6*g - l*b - t = 4*g for g.
5
Suppose 207 - 219 = -2*g. Suppose g*t = 12*t - 30. Solve 4*u - 2*l - 4 = 0, -5*l = t*u + 2 + 8 for u.
0
Let d(b) = 7*b**2 - 10*b - 9. Let h be d(-1). Suppose 10*u - 8 = h*u. Solve -4 = 2*p - 5*m, 0*p + u*p + 8 = 4*m for p.
-2
Suppose 127*p - 572 = -16*p. Solve -4*n - 36 = -o - 3*o, o - p*n = 21 for o.
5
Let n(q) = -263*q + 1578. Let h be n(6). Solve -r - 5*c = -451 + 449, 4*r + c - 8 = h for r.
2
Let c = -279 - -279. Suppose c = -10*m + 4*m + 24. Solve -3*b - 17 = -2*s + 3, 24 = -2*b + m*s for b.
-4
Let h(r) = -r**3 - 7*r + r**2 + 17 - 3*r**3 - 15 + 5*r**3. Let z be h(2). Solve 10 = -5*x - 4*g, 4*x + z*x + 17 = -5*g for x.
2
Let r(w) = 2*w**2 - 11*w - 16. Let y be r(7). Suppose 17 = 3*f - y*t + 1, 5*t = -10. Solve 4*u + 2*d - 14 = 0, f*u + 0*d - 4*d = 22 for u.
5
Let d(j) = -3*j**3 - 4*j**2 - 7. Let q be d(-3). Let i be (16/6)/(q/171). Solve -r + 4*x + i = x, 6 = -r - 3*x for r.
3
Let g be (-28)/(-42)*(6 + -3). Solve -10 = -4*w + 2*r, -2*r = g*w + 3*r - 23 for w.
4
Suppose 0 = 3*r - 2*j - 29, 21*r - 24*r + j + 22 = 0. Solve 4*i = -r*l + 29, -5*i - 107*l + 104*l + 33 = 0 for i.
6
Let d(a) = 167*a - 999. Let m be d(6). Let o = 17 + -12. Solve -j + 3*k - 1 = 0, -4*k + o*k = -m*j - 3 for j.
-1
Let p(y) = 7*y - 36. Let i be p(6). Let h be (6 - (4 + 2))*2/i. Suppose -4*n + 5 + 11 = 0. Solve 3*a + n = -2, h = 2*d + 2*a - 2 for d.
3
Let b be 27*(6 + 119/(-21)). Suppose -10*x = -7*x - b. Solve o - x = 0, 4*o - 6*o + 6 = -5*d for d.
0
Let p = 822024 + -822024. Let h(d) = -2*d - 9. Let u be h(-6). Solve -2*m - 2*m = -5*q - 10, u*m = p for q.
-2
Let o(v) = 3*v**3 - 3*v**2 + 4*v - 2. Let a be (-4 - 95/(-25))*-5. Let p be o(a). Suppose 8 = -0*b + p*b. Solve 24 = 4*q - 5*k, q - 4*k - b = 13 for q.
1
Let j be 13/((-2275)/(-1589)) - (-18)/(-225). Let v be 2 + -1 - (-1)/1. Solve 0 = -b - v*n - j, -2*b + 3*n = 3*b + 6 for b.
-3
Let g = -11656 - -11660. Solve d + g*a = -a - 17, d = -3*a - 9 for d.
3
Let u(j) = j**3 + 3*j + 7 + 5 - 5 - 3 + 15*j**2. Let d be u(-15). Let i = 52 + d. Solve -2*v - 5*y - 3 = -17, -5*y = 3*v - i for v.
-3
Suppose -5*s + 5*w - 2*w + 210 = 0, 0 = -4*s - w + 168. Suppose 8*q - s = 78. Solve 25 = 5*y, 5*t + y + q = 5*y for t.
1
Let n = -3 - -17. Let d be 79/9 - n/(-63). Suppose -5*x + 4*u + 40 = 0, -5*x + x - 5*u - d = 0. Solve q = 0, -2*b + 4*q + 6 = -x for b.
5
Let a = -42 - -48. Suppose 0 = -q + 3*n - 8, -a = -q - 3*n + 4. Solve -3*w = w + j + 1, -q = w + j for w.
0
Suppose 0 = -2*y + 3*y - 9. Suppose 5*n = k - 25, -37*n = -k - 36*n + 5. Let r be (y/(-3))/(-3) - k. Solve 5*j = -2*l + 2 + r, 3*j = -4*l + 13 for j.
-1
Suppose -48 = 50*u - 248. Solve 2*v - 6*v + 12 = -u*r, -2*r = 0 for v.
3
Let a = -57 - -59. Suppose -3*b + 7 = l, -2*b = -l + a*l - 3. Let x = 3 + b. Solve 17 + 6 = -5*v + 2*s, -x = 2*v - 3*s for v.
-5
Suppose a - 7 = 2*z - 6*z, -4*a - 20 = 4*z. Let u be 12 + a - (2 + -8 + 2). Let n be (5 + -2)/((-11)/u - -2). Solve -3*c - 2*m = -n, 2*m = -3*m - 5 for c.
3
Let g = 52 - 57. Let b(r) = -3*r - 7. Let z be b(g). Let n be (-14)/z - -1 - 247/(-52). Solve 9 = 4*s + 5*j, -3*s - 30 = -n*j + 2 for s.
-4
Let 