ending order.
u, n, -40
Let o = -2.7693 - -2.7793. Sort o, 0.1, -38, -3 in ascending order.
-38, -3, o, 0.1
Suppose a + 28 = -5*o, 12 = -4*a + o + 5. Let l = -6 + 13. Let b(t) = t**3 - t**2 - 1. Let j be b(0). Sort l, j, a.
a, j, l
Let l(i) = -6*i**2 - 4*i + 1. Let j be l(-4). Let v = -239/3 - j. Suppose -175*r + 74297 = 74997. Sort v, 1, r, 0.2.
r, v, 0.2, 1
Let b = 4813/7 - 14453/21. Let g be (-1)/(-3) + 2/6. Sort g, 1/3, -1/5, b.
b, -1/5, 1/3, g
Let d = -522 - -527. Suppose -28 = 4*a + 5*u, -2*a + 5*u - d = -21. Sort a, 3, -1, 8.
a, -1, 3, 8
Let a be 2/8 + (-3058)/(-88). Let r = a - 28. Put -3, -5, r in descending order.
r, -3, -5
Let i = 11.7 - 9.7. Let g = 0 + 4. Let o = 1065.16 - 1065. Sort g, i, o.
o, i, g
Let k = -128 - -51. Let d = k - -74. Let f = -1.4 - -1.9. Sort -4, f, d, 2 in decreasing order.
2, f, d, -4
Let w = 0.5 - 2.27. Let k = 1.57 + w. Let s = -2 + 7. Sort k, -1/3, s, -0.1 in descending order.
s, -0.1, k, -1/3
Let k(t) = -2*t**3 + 107*t**2 + 43*t + 591. Let a be k(54). Sort 1, 2, a, 18.
a, 1, 2, 18
Let q(h) = -223*h - 1334. Let g be q(-6). Put -2, 2/5, g, -8 in increasing order.
-8, -2, 2/5, g
Let p = -5.08 + 5. Let d be ((-10)/(-12) - 1)/((85/(-10))/17). Put 0.3, 3, p, d in increasing order.
p, 0.3, d, 3
Let x be (-6)/21*1939/(-554). Put -90, 6, x, -2 in ascending order.
-90, -2, x, 6
Let l = -51.6 + 52. Sort -5, l, 0.384.
-5, 0.384, l
Suppose 0 = 8*n + 5*w - 50 + 11, 0 = -4*n - w + 27. Let a be 44/(-23) - (n + 80/(-8)). Let y = -16 - -49/3. Put y, -3/5, a in descending order.
y, a, -3/5
Let p = -15.5 - -16.216. Let a = p - 0.016. Let r be (19/(-114))/(2 + 22/(-8)). Put -5, a, r, -0.3 in descending order.
a, r, -0.3, -5
Let b be (-2)/(-13) - (-1230)/(-390). Let g be (b/2 + 1)/(26/(-1144)). Sort -4, g, 3 in decreasing order.
g, 3, -4
Let h = -3 + 0. Suppose 0*m - 13 = -4*m - u, 0 = -3*m + u + 8. Suppose 0 = m*q + 4*k + 5, 2*k - 40 = -4*q + 6*k. Sort q, h, -4 in ascending order.
-4, h, q
Let g(x) = -2*x**2 + 28*x - 76. Let c be g(10). Sort -4, c, -338, 3 in ascending order.
-338, -4, 3, c
Let t = -2001.16 - -1.16. Let x = t + 1999.9. Let w = -1/11 - 7/44. Sort 1/26, w, x, 0.5 in ascending order.
w, x, 1/26, 0.5
Let f(b) = 1 - 1 + 12*b - 14*b + 6. Let c be f(0). Let x(j) = j**3 - 7*j**2 + 4*j + 13. Let q be x(c). Sort -2/17, 3/7, q.
-2/17, 3/7, q
Let v be 1/((-27)/1020) - 24/108. Let o = v + 37. Sort 0.02, 0, o, -1/4 in increasing order.
o, -1/4, 0, 0.02
Let k be -1 + (-6 - (0 + -12)) - (11 - 8). Sort -0.5, 87.7, -3, 3, k.
-3, -0.5, k, 3, 87.7
Let b(o) = -4*o**2 - 59*o + 137. Let q be b(-17). Sort -5, 3, q, 1 in increasing order.
q, -5, 1, 3
Let v = -3 - -5. Suppose -v*c + c + 3 = 0. Let p(a) = -a**3 + 7*a**2 + 65*a + 25. Let h be p(-5). Sort -4, c, 5, h.
-4, h, c, 5
Let w = -1337 + 1443. Put -4, 1, -1, w in increasing order.
-4, -1, 1, w
Let h(u) = u**3 + 7*u**2 - 57*u - 12. Let r be h(5). Sort -2, r, 43.
-2, r, 43
Let c = 19199 + -19245. Sort c, 0.5, -15 in decreasing order.
0.5, -15, c
Let k = -100942 + 100933. Let h be ((-2)/6)/((-1)/3). Sort h, -3, 5, k in descending order.
5, h, -3, k
Suppose -92 = 15*o - 452. Suppose 55*z - o = -299. Sort 60, 3, z in ascending order.
z, 3, 60
Let g be (4/(-24))/(34/8). Let f be (2/4)/(0 - (-285)/(-76)). Sort f, g, -2, -2/13.
-2, -2/13, f, g
Let o = 5129 - 5132. Let x(n) = -n**3 - 5*n**2 + 5*n - 8. Let b be x(-6). Sort -8, o, b in decreasing order.
b, o, -8
Suppose -68*f = -2*t - 67*f - 2, 4 = -4*t - 3*f. Let b = 11 + -6. Put b, -4, 2, t in descending order.
b, 2, t, -4
Suppose -83*m = -79*m + 796. Let j = m - -991/5. Put 0.1, -2, 3, j in decreasing order.
3, 0.1, j, -2
Let i be ((-378)/1680 - 1/(-10))*8. Sort i, 9, -4, -72 in descending order.
9, i, -4, -72
Let s(v) = v**2 - 12*v + 16. Let c be s(10). Let a be (-3)/(-6)*c - 6. Let b be (-2)/(-1)*(-4 - 36/a). Sort 0, b, -2 in decreasing order.
b, 0, -2
Let z = -7.8 - -8. Let k = -13/9 + 5/3. Let g = 47.6 - 48. Sort g, k, z, -2/3.
-2/3, g, z, k
Let t = 0.222 - 55.222. Let d = -113 - -168. Let x = d + t. Sort x, 4, 1, 1/4.
x, 1/4, 1, 4
Let o = 967 - 468. Let s = -499 + o. Sort -4, -6, s, 1.
-6, -4, s, 1
Suppose -292 = 69*s - 2500. Suppose 6*r - 7 - 17 = 0. Put s, -5, r in increasing order.
-5, r, s
Let t = 90 + -92. Suppose -27 = -q - f, -38 = -q + 2*f - 5. Put t, q, -4 in ascending order.
-4, t, q
Let h = 83 + -64. Let t = 20 - h. Sort -6, 2, t, 4.
-6, t, 2, 4
Let p = -34654 + 34649. Sort 4, 5, 27, p, 0.
p, 0, 4, 5, 27
Suppose 0 = 4*a + 174 - 162. Let k be ((-2)/(-54)*a)/(2/12). Put 3, 4, -3/5, k in ascending order.
k, -3/5, 3, 4
Let q = 6035 + -6036. Sort -65, 2, -4, q, -3 in descending order.
2, q, -3, -4, -65
Let k = -12146 + 12151. Sort -0.2, -1, -7, k, -4.
-7, -4, -1, -0.2, k
Suppose 7 = 5*q - 3. Let s(g) = -2*g - 17. Let o be s(-14). Let i be (-2 - -2)*6/(o + 1). Sort -1, i, q in descending order.
q, i, -1
Let y(m) = -7*m + 1. Let a be y(-3). Let w = a - 23. Sort -49, w, 1, -3 in descending order.
1, w, -3, -49
Let z(s) = 2*s + 13. Let c = -53 - -47. Let d(g) = 2*g**2 + 15*g + 9. Let p be d(c). Let y be z(p). Put 13, -2, y in descending order.
13, -2, y
Suppose -2481*w = -2*s - 2485*w - 10, -3*s = -2*w - 1. Sort 5, -4, -6, s, 4 in decreasing order.
5, 4, s, -4, -6
Let i = -3118.043 - -3115. Let y = -92 + 91.957. Let d = i - y. Sort 6, d, -6 in decreasing order.
6, d, -6
Let i(p) = 20*p**2 + 140*p + 5. Let t be i(-7). Sort 1, t, -129.
-129, 1, t
Suppose 17*m - 41 = -7. Suppose l + 6 + 28 = 0. Let c = -35 - l. Sort 0, -3, c, m in decreasing order.
m, 0, c, -3
Let j = 3 - 1. Let f be (2 + -10 + 7)*(-1 - -2). Let y = 7/10 - -4/5. Sort j, y, f in ascending order.
f, y, j
Let r(k) = -14*k - 13. Let n = -220 - -219. Let m be r(n). Sort 2, 3, -5, m.
-5, m, 2, 3
Let m be 11/(165/(-20))*3. Let v be (3 - m*(1 + -2))*5. Sort v, -25, -1 in descending order.
-1, v, -25
Suppose -12*i + 495 = -6*i + 27*i. Put i, 5, -2, 1, -7 in decreasing order.
i, 5, 1, -2, -7
Suppose -g - 2*s + 358 + 33 = 0, -g + 5*s = -412. Sort 1, 0, g, -5, -1.
-5, -1, 0, 1, g
Suppose -5704*t + 6149*t - 4895 = 0. Let m be (-1 - 0)/(6/(-8)). Sort m, t, -2, -3/7 in decreasing order.
t, m, -3/7, -2
Suppose -5*d = 4*m + 43, 4*m + 24*d - 22*d = -46. Let q(w) = w**2 + 3*w - 108. Let n be q(m). Put 1, n, 3, 70 in descending order.
70, 3, 1, n
Let u = -1 + 1. Suppose -5*m + 4*m + 8 = x, 2*m - x - 4 = u. Suppose 1463*a = 1496*a + 66. Sort a, 3, m, -3 in descending order.
m, 3, a, -3
Let f = 3.8 + -4. Let g = -11.679 - -7.679. Let n = 2.17 + -0.27. Sort g, 1/6, n, f in increasing order.
g, f, 1/6, n
Suppose 3*i = -8 - 7, 5*i = q + 23. Sort q, -4, 9 in decreasing order.
9, -4, q
Let j = -10.65 + -551.35. Let s = j - -561.97. Put s, 1, 0.02, -1/5 in ascending order.
-1/5, s, 0.02, 1
Suppose 576*u = 640*u - 64. Put -1, u, 8 in ascending order.
-1, u, 8
Let c be (-189)/6*98/(-49). Let j = 131 + -196. Let z = c + j. Sort -3, z, 4.
-3, z, 4
Let a be 12/2 - (2244/352 + (-3)/8). Put 3, 5, 85, 2, a in descending order.
85, 5, 3, 2, a
Let h be 1/((44/8)/11). Put 1030, h, -2 in decreasing order.
1030, h, -2
Let g be -3 - -2*50/36. Suppose 54 = 8*i + 62. Let k be (-3)/(-27)*(-3 + i). Sort -0.11, k, g in ascending order.
k, g, -0.11
Suppose 0 = -o - 3, o + 1429 = 3*j - j. Let h = 715 - j. Let q(g) = -g**3 + 4*g**2 - 3*g + 1. Let v be q(3). Put v, 4, 0, h in increasing order.
0, v, h, 4
Let k = 91699/2 - 45847. Put -2/545, 2/3, k, 0.5 in descending order.
k, 2/3, 0.5, -2/545
Suppose -2*d - 66 = 3*t, 69*t - 4*d + 132 = 64*t. Put -34, t, 0 in decreasing order.
0, t, -34
Let b = -0.6 - -9.6. Let v = b - 4.2. Let w = v - 5. Put -4, w, 2 in increasing order.
-4, w, 2
Let f be 21/7 + (-55 - -61). Sort 5, f, -3, 4, 2 in increasing order.
-3, 2, 4, 5, f
Let g be 15 + -20 + (13 - (3 - -2)). Suppose -6 = 3*o - 48. Put g, -5, o in descending order.
o, g, -5
Let f = -1/40 - 3/8. Let x = -3 + 4. Let b = -54.9 + 55.2. Put f, x, 0, b in descending order.
x, b, 0, f
Let c(n) = n**3 + 7*n**2 - 79*n + 6. Let w be c(6). Suppose -4*a - 4*u = w, -3*u + 6 = -2*a - 2*u. Put a, 3, 4, -4 in descending order.
4, 3, a, -4
Let l = -3124 - -3123. Sort l, -0.027, 5, 0.2 in increasing order.
l, -0.027, 0.2, 5
Let s = 6 - 5. Let f(d) = -21*d**2 + 6 - 2*d + 34*d + 35*d - 3*d**3 + 4*d**3 + 6. Let c be f(17). Put 4, c, s in incr