 d be 2/4 - 2/((-8)/6). Let p be d/(-6) + 4/(-6). Put 1, p, -5, -3 in increasing order.
-5, -3, p, 1
Suppose 10*y - v = 14*y - 13, 0 = 2*y - 5*v - 1. Suppose -16 = 2*x + 2*x. Put -1, x, -12, y in increasing order.
-12, x, -1, y
Let v = -1.5 - -2. Let b = -101 + 100.939. Let z = b + -3.939. Sort 2, v, z.
z, v, 2
Let g = -131 - -126. Sort -0.4, g, 12 in descending order.
12, -0.4, g
Let m(s) = s**2 + 11*s + 24. Let w be m(-8). Sort 5, w, 1, 52 in increasing order.
w, 1, 5, 52
Let r = 65 + -391/6. Let b be (-110)/(-28) - 1 - 3. Let n = b - r. Sort n, -4, 0 in increasing order.
-4, 0, n
Let h = -2.93 + -0.07. Let j = -3 - -9. Let q be (-8)/(-228)*j/2. Sort -2/3, h, q in decreasing order.
q, -2/3, h
Let x = -19 - -21. Suppose 0*v = x*v + 2, 0 = -5*t - 2*v - 7. Sort 1, t, -2 in descending order.
1, t, -2
Let f = -97 - -95. Sort 4, f, -1, -3 in ascending order.
-3, f, -1, 4
Suppose 5*s - 74 = 6. Let d = s + -14. Let h = -0.59 - -0.29. Sort -4, h, d.
-4, h, d
Let d = 0.87 - -0.13. Let t = d - -13. Let h = t + -10. Sort 1/3, h, 5 in decreasing order.
5, h, 1/3
Let y(z) = 13 - 48 + 8*z + 23 - 5*z. Let p be y(4). Let u(d) = -2*d**3 + 2*d**2 + 2*d + 1. Let r be u(-1). Put p, r, -4 in increasing order.
-4, p, r
Suppose -2*k + 4 = 2. Let t(d) = 4*d**2 + 25*d - 18. Let x be t(-7). Sort k, -3, x, -1 in increasing order.
-3, -1, k, x
Suppose 2*p + 1 - 7 = 0, -4*p - 262 = -2*l. Let g = l + -143. Sort 1, g, -1, -3.
g, -3, -1, 1
Suppose -k - 6 = -4*k. Let u be 11 + -16 - 9*-1. Sort u, k, -14 in descending order.
u, k, -14
Suppose -5*c - 11 = 3*u, 2*u - 24*c + 28*c + 10 = 0. Let m = -6/19 - -17/114. Sort 1/4, -5/6, m, u in decreasing order.
u, 1/4, m, -5/6
Let i(k) = 9*k - 3 - 2*k - 6*k. Let l be i(5). Let n = -76 + 73. Sort l, n, -1.
n, -1, l
Let w be (-68 + 3)*4/(-5). Let f = w + -421/8. Let r = -3/8 - f. Sort 2/5, r, 3 in increasing order.
r, 2/5, 3
Suppose -213*i + 211*i + 4 = 0. Put -2, i, -17 in descending order.
i, -2, -17
Suppose 0 = -32*x - 185 + 25. Put -1, x, 1/7 in descending order.
1/7, -1, x
Suppose -3*r = 2*r - f - 50, 5*f - 25 = 0. Suppose -15 = l + 3*v, 3*l + 34 = v - r. Suppose -2*z = -3*z + 4. Sort -5, z, l in descending order.
z, -5, l
Let f(a) = a**2 + 20*a - 4. Let x be f(-19). Put -5, x, 3 in decreasing order.
3, -5, x
Suppose -5*q - 6 - 1 = 2*k, -3*q - 25 = -4*k. Let h(b) = b**3 - 3*b**2 - 6*b + 6. Let j be h(k). Put -5, -3, j in ascending order.
-5, -3, j
Let t be 152/(-133) + 100/112. Let k be (-22)/16 - (1 - 2). Put 4, t, k in descending order.
4, t, k
Suppose 0 = x - 4*x. Suppose x = -4*c - v, -c = c - 5*v. Let n be (-4)/10 - 12/(-80). Sort -3, n, c in ascending order.
-3, n, c
Let v(r) = -9 + 10*r**2 + r**3 + 0*r**3 - r - 10 + 6*r**2. Let y be v(-16). Let l = 5 + 0. Put l, y, 3 in decreasing order.
l, 3, y
Let u = -3.232 + 1.232. Suppose 0 = -r - 0*r. Sort u, -2/3, r, -2/7.
u, -2/3, -2/7, r
Let u = -21 + 55.5. Let k = -34 + u. Put 3, 2/9, k in increasing order.
2/9, k, 3
Let p = -28 + 28. Suppose 2*y + 0*y - 18 = p. Let w = y - 9. Sort 5, -2, w in descending order.
5, w, -2
Suppose 3*g + 1 = -17. Suppose 5*q = -4*k - 9, 5*q = 2*k + q - 28. Let t be g/(-15)*2/k. Sort -2/3, t, -1/2 in ascending order.
-2/3, -1/2, t
Let k be 0/((-4 - -3)/1). Suppose -3*h + 8*h - 120 = k. Put h, -4, -1 in descending order.
h, -1, -4
Let i = -16.32 + 0.32. Let n = i - -20. Let p = 6 - n. Put 0.1, p, -4 in descending order.
p, 0.1, -4
Let i(b) = 13*b - 142. Let f be i(-13). Sort 4, -2, f.
f, -2, 4
Let f = -4 - -6. Let h(q) = q**3 - 10*q**2 - 6*q + 151. Let s be h(9). Sort f, -2/9, s in descending order.
s, f, -2/9
Let i(q) = 4*q**3 - 2*q**2 - 2*q - 1. Let g be i(-1). Put -4, -1, 2, g in ascending order.
g, -4, -1, 2
Suppose 0 = n - 4*n + 15. Put -4, 25, n in descending order.
25, n, -4
Let b = 520 + -534. Put 6, b, 2 in increasing order.
b, 2, 6
Let t = -414.7 - -415. Put 0.03, t, 2/9, -0.2 in increasing order.
-0.2, 0.03, 2/9, t
Let q = -57 - -100. Let f = q - 42. Put -0.4, 5, f, 1/5 in descending order.
5, f, 1/5, -0.4
Let c = 0.112 - 0.312. Sort 2/11, -0.1, 0.12, c in descending order.
2/11, 0.12, -0.1, c
Suppose 0 = s + 4*s - 3*o + 137, s + 13 = -3*o. Let d = s + 27. Put d, -2, 1 in increasing order.
-2, 1, d
Let l = 59.7 - 59.9. Put -3, 24, 3/4, l in decreasing order.
24, 3/4, l, -3
Suppose 4*f - 20 = 0, 0 = -8*z + 10*z + f - 11. Sort 1, z, -4, 196.
-4, 1, z, 196
Let m = -589 + 589.2. Sort m, 1/8, -1/5, 39.
-1/5, 1/8, m, 39
Suppose 2*t = -5*n + 86, -3*n + 3*t + 37 = -2. Let m = 180 - 183. Sort m, n, -2.
m, -2, n
Let d = -10 + 14. Suppose -3*q + 15 = 0, 3*x + d = 2*q - 0*q. Suppose -x*p - 4 = -p. Sort 3, p, -5 in decreasing order.
3, p, -5
Let i be (1182/30 - -5) + (-2)/5. Sort 1, i, -3.
-3, 1, i
Let q = 31 - 30. Let o be (18/(-5))/(-3) - q. Sort -1, o, -1/5.
-1, -1/5, o
Suppose 0*p = s + 2*p - 2, -21 = 3*s - 3*p. Suppose 2*l + 15 = 3*b, 6*b - 11*b = 2*l - 25. Sort b, 2, s, -3 in descending order.
b, 2, -3, s
Let o = 35 - -9. Let w = o + -47. Sort -5, -4, 9, w in decreasing order.
9, w, -4, -5
Let g = -7.08 - -7. Let j = -10/523 - 916/6799. Put j, 0.1, g in decreasing order.
0.1, g, j
Let d(w) = w**3 - 8*w**2 + 2*w - 11. Let j be d(8). Let y be -6*(2 - (-21)/(-6)). Let o = y - 7. Put o, j, -9 in ascending order.
-9, o, j
Let a(o) = -7*o**3 + 12*o**2 + 5*o + 18. Let v(i) = -4*i**3 + 6*i**2 + 2*i + 9. Let f(b) = -3*a(b) + 5*v(b). Let n be f(7). Put 1, -6, n in descending order.
n, 1, -6
Let v = 3 - 2. Suppose -16*p + 31 + v = 0. Let i be 2 - -1 - (0 + 0). Sort p, i, 0 in decreasing order.
i, p, 0
Let u(l) = -l + 6. Let t be u(2). Suppose 4*o = 3*c - 1 + 5, -2*o = t*c + 20. Put 3, -3, 4, c in descending order.
4, 3, -3, c
Let d = 287 - 283. Put d, 3, -15 in increasing order.
-15, 3, d
Let j(z) = z - 1. Let r(y) = 2*y - 26. Let d be r(15). Let l be j(d). Put -5, l, 5 in descending order.
5, l, -5
Let u = -112/3 + 445/12. Let c = 0.3 + -0.3. Put -0.2, 1/14, c, u in descending order.
1/14, c, -0.2, u
Suppose -4*y = -4*h, 3*h = 4*y - 0 - 2. Let i be (0*1/(-4))/y. Put 5/7, -4, i in ascending order.
-4, i, 5/7
Suppose l + 5*p - 27 = 0, p - 20 = -5*l - p. Suppose -l*i - 4 = s, 4*i + 2 = -5*s + 6. Suppose 0 = 5*q - 5, 5*x = 4*q - 0 + 6. Sort 5, x, s in descending order.
5, s, x
Let x(y) = -y**2 - 43*y - 305. Let a be x(-9). Sort a, -6, -13.
-13, -6, a
Let c be ((-1)/(-2))/((-4)/8). Suppose 0 = -4*t + 4 + 4. Put c, t, -4 in descending order.
t, c, -4
Let w = 169 - 60. Let p = -106 + w. Sort 0.2, -0.3, p.
-0.3, 0.2, p
Suppose -6*h = -3*h - 4*c + 3, h - 15 = -4*c. Let s be (2/h)/(28/(-12) + 0). Suppose 5*o = o - 20. Put 3, o, s in increasing order.
o, s, 3
Suppose u + 3*r = 22 + 2, -2*u + 48 = -3*r. Suppose -11*k - 9 - u = 0. Sort k, -2, -4 in decreasing order.
-2, k, -4
Suppose -8*o + 18 = -22. Sort -4, o, -43 in descending order.
o, -4, -43
Let q = -17.8 - -12.8. Sort -1, 0.045, 3, q.
q, -1, 0.045, 3
Let d = 60 + -241/4. Let i be 204/(-8)*(-2)/3. Let u = i - 13. Put 7/4, u, d in increasing order.
d, 7/4, u
Let w = -12/11 - -265/253. Put 0, 3, w, -0.3 in descending order.
3, 0, w, -0.3
Suppose 3 = -3*y + 4*b, 3*y - 2*b - 4 = -1. Suppose 2 + y = 5*o. Sort -2, -5, o.
-5, -2, o
Let f = 71 - 67. Put -1, -3, f, 1 in increasing order.
-3, -1, 1, f
Let r = -100 + 104. Suppose -2*h = 0, 0 = -2*b + 2*h + r + 6. Sort b, -2, 0.2 in decreasing order.
b, 0.2, -2
Suppose 2*m + 3*d + 21 = 0, -2*d - 11 = 2*m - d. Let n be 1/1*(m + 8). Sort 3, 2, n in decreasing order.
n, 3, 2
Let a = 955 - 953. Sort 5, -12, a, -2 in descending order.
5, a, -2, -12
Let l = 0.0095 - 5.0095. Sort -0.1, 3, l in descending order.
3, -0.1, l
Let a = -5/32 + 109/288. Let n = 4/9 + a. Let j = 8 + -5. Sort n, -5, j.
-5, n, j
Suppose -9*q + 4*q + 10 = 0. Suppose 5 = 5*a - 8*w + 3*w, -2 = a - 4*w. Let u be a/9 + 7/9. Put u, 5, q in ascending order.
u, q, 5
Suppose 0 = -s + 2*s. Let y(u) = -72*u - 6191. Let p be y(-86). Put 2, p, s, 3 in ascending order.
s, p, 2, 3
Let i(p) = -p**3 - 7*p**2 + 6*p + 1. Let w be i(-7). Let v = w + 48. Suppose 2 + 2 = j. Put 3, j, v in ascending order.
3, j, v
Let i(f) = -f + 5. Let r = 32 - 27. Let o be i(r). Put 1/5, o, -2/15 in decreasing order.
1/5, o, -2/15
Let q be (3/38)/((-3)/(-4)). Let l = -203 + 202. Put q, -3, l in ascending order.
-3, l, q
Let q = 4 - -19. Suppose