text: 
  p, -0.8, -2
  Let u = -541 + 537. Put 5, -1/3, -1, u in increasing order.
  u, -1, -1/3, 5
  Let x be 8*((-66)/(-12) + -6). Let o = 1.3 - 1. Sort 0.16, x, o in decreasing order.
  o, 0.16, x
  Let p(j) = 5*j**2 - 12*j + 10. Let y be p(1). Put -3, 47, y, 4 in decreasing order.
  47, 4, y, -3
  Let q = -33 + 71. Let h be q/8 - (-3)/(-4). Suppose 0 = 7*y - 5 - 2. Put h, 3, y in ascending order.
  y, 3, h
  Let w be 3*2/(-6)*-1. Suppose -w = z + 4. Let n be (64/10 - 6)*-30. Sort z, -3, n.
  n, z, -3
  Let q = 6/175 - 368/525. Sort 2, -44, q in increasing order.
  -44, q, 2
  Let z = 53 + -52. Let w(i) = 5*i - 9. Let y be w(3). Put z, y, 4 in increasing order.
  z, 4, y
  Let d be (-8)/(-4) - (1 - 2). Let c = -9 + 9. Suppose 18 = -2*r - 4*a, 2*r + c*a = 3*a + 17. Sort d, r, -3 in ascending order.
  -3, r, d
  Suppose 0*c = -5*c. Suppose 2*u = -m + 11, u + 2*m = -c*m + 13. Suppose 0 = 5*z + 3*r - 19, 3*z - z + 3*r = 4. Put u, -1, z in decreasing order.
  z, u, -1
  Let p = 1687 - 1686. Sort p, -0.2, 565, 2/5 in ascending order.
  -0.2, 2/5, p, 565
  Let l(p) = -p**2 - 5*p + 2. Let c be l(-6). Let v be (4 + -2)*c/(-6). Let h = 621.9 + -622. Sort v, h, 1/7.
  h, 1/7, v
  Let s = -16.8 - -11.8. Put s, 55, 3/5, 3 in ascending order.
  s, 3/5, 3, 55
  Let o = 6.2 + -4.18. Let w = o - -0.98. Sort 0.2, w, -1, -0.4 in decreasing order.
  w, 0.2, -0.4, -1
  Let o = -33 + 35. Let g be 3*3*o/(-63). Put -0.05, -5, g in descending order.
  -0.05, g, -5
  Let b(m) = m - 19. Let v be b(25). Sort 5, 13, 3, v in descending order.
  13, v, 5, 3
  Suppose -2*n + 5*n = 6. Suppose -5*h = -3*v + 8, 4*v - 16 = 5*h - 2. Let a = v - 9. Put n, -5, a in ascending order.
  -5, a, n
  Let k be (-1)/(-2)*(-1 + (-51)/(-39)). Sort -38, -4, k in ascending order.
  -38, -4, k
  Let h = 40 + -40.01. Let y = h + -1.99. Let c = -0.2 + 0.7. Sort c, -4, y in descending order.
  c, y, -4
  Let b be (-62)/(-8) - (-10 + 0 - -17). Let l = 2 - 7. Sort b, -1/3, l, 4 in ascending order.
  l, -1/3, b, 4
  Let i = 90 + -92. Put i, 4, -3, 20 in decreasing order.
  20, 4, i, -3
  Suppose 22 = 2*h - 4*r, 38*h - 34 = 33*h + 3*r. Sort h, 98, -4, 2/5 in decreasing order.
  98, h, 2/5, -4
  Let j = -0.0621 + -31.2379. Let g = -31 - j. Sort -4, 4/3, g, -0.06 in increasing order.
  -4, -0.06, g, 4/3
  Let c = -6/11 - -41/55. Let k = -3.085 + 3.585. Sort k, c, 2, -0.3 in ascending order.
  -0.3, c, k, 2
  Let u = 0.0689 + -0.2689. Put 1/5, -26, u in descending order.
  1/5, u, -26
  Let k(f) = f**2 + 11*f + 28. Let p be k(-8). Let j be -2 - (-58)/(-4)*-2. Suppose -3*q + j + 0 = 0. Sort p, q, 0 in decreasing order.
  q, p, 0
  Let b = 65.7 - 69.7. Put b, 1/7, -21 in descending order.
  1/7, b, -21
  Let k(b) be the second derivative of -b**5/20 + b**4/3 + b**3 - 7*b**2/2 - 3*b. Let a be k(5). Sort a, -1, 1 in ascending order.
  a, -1, 1
  Let l = 78 + -153/2. Let s = -14.2 + 0.2. Let z = s - -12. Sort l, 3, z in decreasing order.
  3, l, z
  Suppose -5*w = 5*f + 20, 4*f - 8 = 5*w - w. Sort -5, f, 5, 1 in descending order.
  5, 1, f, -5
  Let c(m) = -m**3 - 12*m**2 - 21*m - 13. Let n be c(-10). Put n, 1/9, -8 in descending order.
  1/9, n, -8
  Suppose -251*w + 256*w + 25 = 0. Put 24, w, -2 in descending order.
  24, -2, w
  Let l(b) = -b**2 - 8*b - 2. Let r be l(-7). Suppose 5*p - 78 = 2*v - 4*v, -85 = -r*p + 5*v. Let q = 12 - p. Sort q, 2, 5 in descending order.
  5, 2, q
  Suppose -1001*h + 994*h = -21. Put 9, h, -0.01 in ascending order.
  -0.01, h, 9
  Let q = -78.5 - -98. Let n = q + -19. Sort -0.5, n, -2.
  -2, -0.5, n
  Let r = -9 - 2. Let f = 23 + r. Let y = -687 + 683. Sort 5, f, y in descending order.
  f, 5, y
  Let s = -45 + 46. Let l = -3 + s. Put l, 4, -1 in decreasing order.
  4, -1, l
  Let t = 17.8 - 16.8. Sort -0.5, t, 0.2, -3 in decreasing order.
  t, 0.2, -0.5, -3
  Let o = 172 + -169. Suppose 13 = -n + 8. Put o, n, 2 in ascending order.
  n, 2, o
  Let q(u) be the first derivative of u**2/2 - 11*u + 1. Let a be (-2)/(-11) - ((-1914)/121 + 6). Let r be q(a). Sort r, 2, -4 in descending order.
  2, r, -4
  Suppose -a + 4*c + 1 = 3*c, a = -5*c + 1. Let u be (0 + -1)/a + 0. Let z be (0 - u)*4/1. Sort z, 2, 5 in ascending order.
  2, z, 5
  Let h(m) = 35*m - 10. Let q be h(1). Sort -2, 2, q in descending order.
  q, 2, -2
  Let b = 11 - 6. Let c = 74 + -68. Let p(h) = h - 6. Let j be p(c). Sort b, j, 4 in increasing order.
  j, 4, b
  Let i(k) = k**2 + 11*k. Let c be i(-11). Suppose c = 7*q - 11*q + 20. Suppose f = -f - 5*z - 10, -q*f + 2*z = -4. Put -4, f, 5 in decreasing order.
  5, f, -4
  Suppose -12*h = -2*h + 300. Sort 2, -2/5, h in descending order.
  2, -2/5, h
  Suppose 0 = -5*q + b - 23, -5*b - 5 = 5*q. Let a be (20/(-28))/(-5) - (-238)/49. Suppose -h + 23 = 5*j, 4 = -h + j + 3. Put h, a, q in ascending order.
  q, h, a
  Suppose 0*x + 2 = x. Suppose k + 5 = 2*k. Let j be -8 - (-2)/((-6)/(-9)). Sort x, j, k.
  j, x, k
  Let g be 0/(-1)*(-1)/3. Suppose g = 2*q + 4*x - 24, 5*x - 2 - 14 = q. Put q, -1, 5, 2 in descending order.
  5, q, 2, -1
  Let y be 12 - (6 + -1 + 5). Put -1, y, 298 in descending order.
  298, y, -1
  Let f = -0.004 + 7.904. Let k = 5.9 - f. Sort -5/3, 0.3, k in decreasing order.
  0.3, -5/3, k
  Let d be ((-2)/(-4))/((-2)/8). Let w(a) = -a**2 - 95*a - 531. Let f be w(-6). Sort 4, 13, d, f in increasing order.
  d, f, 4, 13
  Let p = -14 - -13.7. Let g = 0.8 + p. Sort 1/7, 0, g.
  0, 1/7, g
  Let p = 1483 + -5933/4. Sort 50, -3, p, 0.5 in decreasing order.
  50, 0.5, p, -3
  Suppose 4*h = -m - 49 + 18, 0 = 5*m - 5*h + 230. Let d = 39 + m. Put -3, -5, d in descending order.
  -3, d, -5
  Let d be (24/16)/((-27)/(-36)). Sort d, -143, -3 in increasing order.
  -143, -3, d
  Let z = -526 - -564. Put z, 3, 5 in descending order.
  z, 5, 3
  Let z be (2 - 56/2)/(-2). Let v = z - 10. Suppose -5*x + v - 23 = 0. Sort -3, 5, x in decreasing order.
  5, -3, x
  Let n be 108/(-11) - (-4)/(-22). Let v = -7 - n. Suppose m = x - 7 - 1, -4*x - 3*m + 11 = 0. Put x, v, 7 in ascending order.
  v, x, 7
  Let c(k) = -k**2 + 11*k - 13. Let a be c(10). Let m be a - (2 - 5 - -4). Sort -1, 4, m.
  m, -1, 4
  Let o = 8.2 + -5.9. Let r = o + -0.3. Let b be 2 - (2 - (1 + 0)). Sort 1/4, b, r in increasing order.
  1/4, b, r
  Let i = 18.5 - 4.5. Sort i, -1, 0.5 in descending order.
  i, 0.5, -1
  Let v = -6570 - -6565. Suppose -3*y = -4*d + 32, 23 = -5*d - 2*y + 86. Put d, v, 1 in decreasing order.
  d, 1, v
  Let h be (-18)/3*(-2)/22. Let c = 0.1 - 1.1. Suppose 56*n + 6 = 59*n. Sort n, c, h in increasing order.
  c, h, n
  Suppose -2*p - 5*u + 12 = 0, -p + 0*p = -3*u + 5. Let k = -297.7 + 300.7. Put -1, p, k, -2 in decreasing order.
  k, p, -1, -2
  Let m(x) = 13*x**2 + 1. Let k be m(-1). Let p = k - 7. Let d(o) = o**3 - o**2 + 2. Let z be d(0). Put -3, p, z in increasing order.
  -3, z, p
  Let q(p) = -28*p - 89. Let v be q(-3). Suppose r + 1 - 7 = -2*m, -5*r - 5*m + 45 = 0. Put v, -4, r, 0.2 in ascending order.
  v, -4, 0.2, r
  Let y = -1617 - -1624. Sort 1/2, y, -5/4, 0.1 in increasing order.
  -5/4, 0.1, 1/2, y
  Let p(c) = c**3 + 8*c**2 + 5*c - 15. Let w(h) = h**2 - 10*h + 14. Let v be w(7). Let r be p(v). Suppose 2*n = -0*n + 10. Sort n, -3, r in ascending order.
  -3, r, n
  Let f = 9921 - 9920. Let s be -4 - (0 - 0 - 0). Put f, 4, -3, s in ascending order.
  s, -3, f, 4
  Let f(c) = -9*c + 93. Let d be f(10). Let n be ((-2)/5)/(3/30). Put 5, n, 0, d in decreasing order.
  5, d, 0, n
  Let d = -4 + 7. Let c(v) = -v**2 + 2*v + 358. Let w be c(20). Sort 2, w, d in descending order.
  d, 2, w
  Let u = 20.86 - 21.26. Sort -1/4, u, 75, -1/3 in descending order.
  75, -1/4, -1/3, u
  Let h = 347 - 346.94. Sort -3/8, h, 0 in decreasing order.
  h, 0, -3/8
  Let f = -0.237 - -1.237. Let l be 14/16*(-6)/14. Sort f, l, 2/9.
  l, 2/9, f
  Let r = 3.31 + 2.69. Put 0, 2/9, r in ascending order.
  0, 2/9, r
  Suppose -30*f - 25 = 35. Sort -1, 5, f, 82.
  f, -1, 5, 82
  Suppose 2*q + 22 = -2*l - 2*q, 2*q = -8. Let j = -24 - -26. Sort l, j, 8, -1 in ascending order.
  l, -1, j, 8
  Let l(p) = p**3 + 23*p**2 + 42*p + 1. Let c be l(-21). Sort 5/8, 5, 4, c in descending order.
  5, 4, c, 5/8
  Let s = 2.2 - -1.8. Let h = s + -4. Put -2/15, 1/2, h in decreasing order.
  1/2, h, -2/15
  Let n(l) = -2*l**3 - 3*l**2 - 2*l. Let p be n(-2). Suppose 3*k = -0*k + 27. Let x = k - p. Put 6, 4, x in decreasing order.
  6, 4, x
  Let d(o) = -o**3 - 19*o**2 + 19*o - 17. Let u be d(-20). Sort 2, -3/7, u, -2/3 in decreasing order.
  u, 2, -3/7, -2/3
  Let h = -670/111 + 19/3. Put h, -3/4, 1 in decreasing order.
  1, h, -3/4
  Supp