. Sort 0, -1, n in descending order.
0, -1, n
Let d = 5.1 - 0.1. Let c = -5.3 + d. Let u = 0.5 + c. Put u, -2/19, 1 in descending order.
1, u, -2/19
Let s = -15 + 5. Let n = 5.89 - -0.11. Let h = s + n. Put 2, h, -0.3 in increasing order.
h, -0.3, 2
Suppose 4*g - 5 = -u + 8, -8 = -2*g - 2*u. Let l(t) = -t**3 + 6*t**2 + 5*t + 10. Let r be l(7). Let d = 4 + r. Put d, 5, g in increasing order.
d, g, 5
Let z = 39 + -38. Let m = 0.06 + 0.24. Let x = m + -0.1. Sort x, z, -1 in descending order.
z, x, -1
Suppose 0*u + 10 = -2*u. Suppose 0 + 16 = v. Let d be ((-9)/(-6))/(6/v). Sort 2, u, d in decreasing order.
d, 2, u
Let r = -4.01 + 4. Let j = -0.51 - r. Let u = j + 0.5. Sort 1/3, u, 5 in ascending order.
u, 1/3, 5
Let l = -4 - -4.1. Let u = 4.1 - l. Let p be 1/2 + (-21)/18. Sort 0.5, p, u in descending order.
u, 0.5, p
Let b be (-8)/16*0/2. Put 2, -1, b in ascending order.
-1, b, 2
Let v = 29 + -21. Let c = v + -9. Put c, 0, 4 in descending order.
4, 0, c
Let k = -82 + 58. Let c be (-26)/(-8) - (-6)/k. Let m = -2 - c. Sort m, 5, -4.
m, -4, 5
Let j be 6/(-4)*1 - 0. Sort 4, -0.7, j in decreasing order.
4, -0.7, j
Let j = -0.25 - 0.75. Sort j, 0.3, 5 in descending order.
5, 0.3, j
Let x = -24.2 + 24. Put 3/5, 0.06, x in increasing order.
x, 0.06, 3/5
Let k = 0.08 - 0.46. Let a = -0.02 + k. Sort a, 5, 5/3 in descending order.
5, 5/3, a
Let h(z) = z**2 - 8*z - 4. Let k be h(7). Let a be k/10 + (-1)/(-2). Let g = 0.04 - 0.34. Sort -5, a, g.
-5, a, g
Let j = 62 - 64. Put j, -5, 3, 0 in ascending order.
-5, j, 0, 3
Suppose -y + 2*r = 3, 3*r = -y + 6*r - 4. Let u be -5*-1*(-2)/(-2). Sort -4, u, y in decreasing order.
u, y, -4
Let z = 1.62 - 1.12. Sort 5, 1/8, z, 2 in increasing order.
1/8, z, 2, 5
Let p = 236 + -199. Sort p, 0, 4 in increasing order.
0, 4, p
Let b(l) = l + 5. Let v be b(0). Suppose -5*r + 20 = 4*a, 0 = 5*r - 2*r - 5*a - 12. Suppose -4*p - q + 5 = -0, r*p = 5*q - 1. Sort -3, p, v in increasing order.
-3, p, v
Let c = 25 - 25.3. Let z = -1 + 0.9. Sort c, z, 1 in descending order.
1, z, c
Suppose 0 = 2*y + 3 - 25. Let k = 13 - 6. Let c = k - y. Sort c, -2/7, 2/7 in decreasing order.
2/7, -2/7, c
Let h = 46 - 51.2. Let v = 5 + h. Sort 0.3, v, -1/7 in decreasing order.
0.3, -1/7, v
Suppose -4*o = 3*r - 1, 2*o - r = 3*r + 6. Let j be (5 + -3)*-1*o. Let y be (-2)/4*(-12)/j. Sort -5, y, 5 in descending order.
5, y, -5
Suppose 5 = -c + 2*c. Suppose -3 = -m, -11 = -p + c*m + 11. Suppose -3*q = -4*v + 32, 3*q - 3*v - 2*v = -p. Sort q, 4, 3/5.
q, 3/5, 4
Let t be ((-2)/(-4))/(3/6). Let k(b) = 6*b + t - 7 - 5*b. Let l be k(9). Put -1, 4, l in ascending order.
-1, l, 4
Let o = -6 + 2. Let s = 24 + -19. Sort o, 1/10, s in ascending order.
o, 1/10, s
Suppose 2*n = -2*n. Suppose n = -3*c + 6*c + 12. Let v = -4 + 6. Put v, 3/2, c in decreasing order.
v, 3/2, c
Suppose 25 = 4*w + w. Let a = 151 + -147. Put a, -3, w in ascending order.
-3, a, w
Let d be 2/(-8) - (-2 - 28/(-16)). Let z be (-2)/(-2)*-6 - -2. Sort d, 5, z in decreasing order.
5, d, z
Suppose 0 = -4*p + 3*p. Suppose 2*o + i = p, -2*o + 2*i + 8 = i. Suppose -4*k + 19*k - 60 = 0. Sort o, 7, k in decreasing order.
7, k, o
Let h be 0 + 0 + 9/(-24). Let w = -11 + 6. Let r = w + 4. Put r, -3, h in increasing order.
-3, r, h
Let p = -3 + 5. Let h be 2/1*2/(-12). Sort h, p, -1/2.
-1/2, h, p
Let a(g) = -g**3 + 3*g**2 + g - 6. Let d be a(3). Sort d, 4, 5 in descending order.
5, 4, d
Let z = -3 + 0. Let p = -0.2 - 1.8. Sort p, 0.4, z.
z, p, 0.4
Let a = 184 + -196. Put 5, a, -3 in descending order.
5, -3, a
Let z = -41 + 41. Sort z, -3, 3 in ascending order.
-3, z, 3
Suppose 0 = 4*p - p + 2*n - 1, -2*n = -4*p - 8. Suppose -1 = 2*x + 3. Let s = p - x. Sort s, 0, 2.
0, s, 2
Let g = -34 - -21. Let a = 12 + g. Put a, 3, 7 in ascending order.
a, 3, 7
Let d = 4.6 - 3.6. Sort -3, -2/11, d, 0.1 in ascending order.
-3, -2/11, 0.1, d
Let r = 4.2 + 0.8. Sort 4, r, 0.2, 0.5.
0.2, 0.5, 4, r
Let b be ((-5)/2)/(1/(-2)). Suppose 4*r = -b + 1. Sort r, -3, -5 in decreasing order.
r, -3, -5
Let c(b) = -2*b**3 - b**2 + 1. Let v be c(1). Let k = 0 - v. Suppose k*h = -h + 5*j - 9, -h + 8 = 2*j. Sort h, 5, -1 in descending order.
5, h, -1
Let s = 2.6 - 0.6. Suppose 0 - 3 = -i. Put i, 5, s in descending order.
5, i, s
Suppose 0 = -3*a + 11 + 19. Let p(s) = s**3 + 10*s**2 + 9*s - 1. Let x be p(-9). Put 4, a, x in decreasing order.
a, 4, x
Let b(t) = -t**2 + 7*t + 2. Let w be b(7). Suppose 10 = w*k - 4*d, -2 = d - 0*d. Suppose 0 = -s - s - 4. Sort 0.5, s, k in decreasing order.
k, 0.5, s
Let j = 0.33 + 0.07. Suppose -22 + 6 = -4*h. Sort h, j, 3.
j, 3, h
Suppose 3*d = -0 + 3. Let y be d/(-2) - (-18)/52. Put -3, y, -4 in descending order.
y, -3, -4
Suppose 5*k - 13 = 2*u + 4, 0 = 5*u - 4*k + 17. Let d = -49 - -53. Let p = d - u. Put -1, 2, p in ascending order.
-1, 2, p
Let l = -3.98 - -4. Let y = 4.98 + l. Sort -5, y, -1 in decreasing order.
y, -1, -5
Let y be 6/(-9) - 3514/48. Let s = -147/2 - y. Let o = 1.4 - 1. Sort 1, o, s in descending order.
1, o, s
Let s(q) = 3*q - 6. Let v be s(-8). Put v, 1, 5, -2 in decreasing order.
5, 1, -2, v
Let o = -8 - -10. Suppose 2*c + 4 = -o*c. Sort 5, c, 1 in decreasing order.
5, 1, c
Let i = -23 - -20. Put -5, i, 1 in increasing order.
-5, i, 1
Let u be 1*-2 + 12/5. Let y be ((-1)/3)/(6/(-18)). Sort y, u, -2/13 in increasing order.
-2/13, u, y
Let s = 166 - 617. Let w = s + 64489/143. Let h = 2/11 + w. Sort -5, 3/5, h in descending order.
3/5, h, -5
Let n = -83/50 + 4/25. Let o = 0.1 - 0.3. Sort n, 2/13, o.
n, o, 2/13
Let m = -7 + 8. Sort m, 0, -4 in descending order.
m, 0, -4
Suppose -l - 3 = 2*l. Let g(j) = j**3 - 12*j**2 + 10*j + 11. Let u be g(11). Sort u, l, 4 in decreasing order.
4, u, l
Let k = -12.5 - -13. Let m = 2.5 + 1.5. Put m, k, 1 in decreasing order.
m, 1, k
Let o = 7 + -12. Put -1/2, o, 4 in decreasing order.
4, -1/2, o
Let g = 0.8 + 4.2. Let s = g - 6. Put -0.1, s, -2 in descending order.
-0.1, s, -2
Let d = -0.13 - -0.13. Let o = d + -2. Sort -4, 0, o in increasing order.
-4, o, 0
Let l = -8 - -3. Sort l, 3, 1 in ascending order.
l, 1, 3
Let n be 56/(-147)*(-3)/(-4). Let s = -0.25 - 0.05. Sort n, s, 0 in decreasing order.
0, n, s
Suppose -m + 4 = -1. Let y be 2 + (-3)/2*4. Let c be y + 5 + -3 + 1. Sort c, -3, m in descending order.
m, c, -3
Let s = 7 - 14. Let f = -11 - s. Put -3, f, -1 in decreasing order.
-1, -3, f
Let i = 3 + -8. Let j = 15 - 13. Suppose -2*m - 2*d - 4 = 0, -m - 6 = j*d + d. Put m, 5, i in descending order.
5, m, i
Let i = -3 - -8. Let v = 4 + -14. Let u be (-5)/(-2)*(-8)/v. Put -5, i, u in ascending order.
-5, u, i
Let s = 12 - 7. Let m be 3*2 + 0/s. Let p be -2*(-1 - (-21)/m). Put p, 2/13, 0.2 in decreasing order.
0.2, 2/13, p
Let n(h) = 3*h**2 - 7*h - 2. Let i be n(6). Let t be (i/(-20))/(1/(-5)). Suppose 2*j + j + 5*g - t = 0, 2*g - 10 = 0. Put j, 1, -1 in increasing order.
j, -1, 1
Let o = -72 - -67. Put -2, o, -8 in increasing order.
-8, o, -2
Let u = 0.093 - 2.093. Sort -4, 3/8, u in decreasing order.
3/8, u, -4
Suppose i + 3*i + 9 = 3*y, -5*y + 2*i = -29. Let b(j) = j**3 - 6*j**2 - 9*j + 10. Let c be b(y). Sort -1, c, -3 in descending order.
-1, -3, c
Let v = -2 + 4. Suppose -3*x - 5 = v*x. Sort -2, x, 3.
-2, x, 3
Suppose -2*c + m = -4, -c = 4*c - m - 16. Let p = 142 + -140. Put p, 0.2, c in decreasing order.
c, p, 0.2
Suppose 0*p - 2*k = p, -5*k = -5*p. Let z = 7 - 2. Put 2, z, p in decreasing order.
z, 2, p
Let f(h) = -2*h + 18. Let x be f(8). Put -4, x, 8 in ascending order.
-4, x, 8
Let s be 1/4 + 91/(-28). Suppose 0 = 2*p + 1 - 3. Sort 5, p, s in decreasing order.
5, p, s
Suppose -3*h - 12 = 3. Suppose 9*s + 7 = 34. Put -1, h, s in descending order.
s, -1, h
Suppose -2*c + 4*c = -4. Let j be (3/(-9))/(c/(-18)). Sort j, -1, 5.
j, -1, 5
Suppose 5*r - m - 2*m = 58, 2*m - 53 = -5*r. Suppose 5*b + r = q, 4*b + 16 = -2*q + q. Let z = 37 - 36. Put b, -5, z in ascending order.
-5, b, z
Let w = -3 - -8. Suppose 5 - 2 = k. Put -4, k, w in decreasing order.
w, k, -4
Let u be 2 - 2/(0 + 1). Suppose -3 = -0*t - t. Suppose t - 2 = a. Sort u, a, 5 in increasing order.
u, a, 5
Let m = -25 - -18. Sort 4/9, m, 1 in descending order.
1, 4/9, m
Let j(k) = k**2 - 7*k - 8. Let s be j(8). Suppose 5*i - c - 19 = s, 4*i - 4*c = 3*i. Let g = 1 + 1. Sort g, -4, i.
-4, g, 