t r, -18, i, 1 in decreasing order.
r, 1, i, -18
Let s be 65*(5 + 0 - 4). Sort s, -4, 0.5, 2/5, 0.3 in increasing order.
-4, 0.3, 2/5, 0.5, s
Suppose 0 = -2*i + 7*i. Suppose -2*u + 3*w = -2, i*u = -u + w. Let r be (3 - 25/10)*u. Put 2, 1, r, 3 in decreasing order.
3, 2, 1, r
Let q = 15981 - 15988. Sort 0, 320, q.
q, 0, 320
Let r = -8806 - -8806.3. Sort -41, -2/25, -3/7, r.
-41, -3/7, -2/25, r
Let x(d) = d**2 - 5*d. Let f be x(5). Let j(m) = -2*m**3 - 2*m**2 + 2*m + 1. Let q be j(-2). Let a be 59 - 50 - -1 - (6 + 1). Sort a, q, -4, f.
-4, f, a, q
Let j(u) = -75 - 5*u + 145 - 138. Let f be j(-12). Put f, 4, 2 in ascending order.
f, 2, 4
Let k = -257 + 257. Suppose 3*b - z + 67 = 0, k = -b - 3*b - 4*z - 116. Sort 5, 1, b in decreasing order.
5, 1, b
Let b be (25/(-125))/(14/20). Let r be ((-1)/6)/(3/(-18)). Sort 3, r, -0.1, b in increasing order.
b, -0.1, r, 3
Let w = -28 - -5. Let v be (-2)/(-14)*(-2)/w. Let b = -316/483 - v. Sort 5, -7, 1/6, b.
-7, b, 1/6, 5
Let h = 103 + -105. Suppose -4*a + 6*a = 0. Sort h, 0.09, 0.5, a.
h, a, 0.09, 0.5
Suppose 0 = -2*g + 5*r - 5, -5*r = 3*g - 9*r + 4. Sort 3, g, 2, -5 in descending order.
3, 2, g, -5
Suppose -360 = -6*f - 192. Let w be 7 + (0/2)/2. Suppose w*v + f = 3*v. Sort 1, -0.5, v in decreasing order.
1, -0.5, v
Suppose -429 = -23*q + 376. Suppose 4*v = 3*i - v + q, 4*i + 3*v = -8. Sort i, -1, 0, -19.
-19, i, -1, 0
Let x be (-2)/(12/(-75)*(-65)/(-442)). Let u(d) = 2*d + 3. Let j be u(-2). Put 3, x, j, -2 in descending order.
x, 3, j, -2
Let v = 10315/9 + -72241/63. Suppose 0 = -2*q - 108 - 138. Sort q, 0.3, v in ascending order.
q, v, 0.3
Let y = -3.6 + 3.66. Let p = y - 50.06. Let o = 49.5 + p. Put 4, o, 4/3 in ascending order.
o, 4/3, 4
Let p be 7*-1*(15795/525 + -30). Sort 5, -1/3, p, -42, -6 in descending order.
5, -1/3, p, -6, -42
Let l = 10.18 - 10.22. Let v = -57.04 - -55. Let b = v - l. Sort -1/10, b, 2, 3/5 in decreasing order.
2, 3/5, -1/10, b
Suppose 116 = -9*n - 298. Let c be ((-32)/(-6))/(n/(-207)). Sort -4, c, -3.
-4, -3, c
Suppose 22*l + 8463 = 9*l. Put l, 0, 1 in ascending order.
l, 0, 1
Let p = 13686 - 13775. Sort p, 2, 7, -2 in ascending order.
p, -2, 2, 7
Suppose 23*z = -197 + 243. Put -7, z, 18, -3 in increasing order.
-7, -3, z, 18
Let c = 483.05 + -487. Let w = -3.75 - c. Let n = 9 - 2. Put w, -0.3, n, -3/8 in ascending order.
-3/8, -0.3, w, n
Let y = 0.8266 - 5.8266. Sort y, -0.1, 4, 282.
y, -0.1, 4, 282
Let p = 342 + -2051/6. Put 0.4, -1, -8, p, -4 in increasing order.
-8, -4, -1, p, 0.4
Let i be 14/7*(-9 - -18). Suppose 0 = -i*u + 20*u - 10. Sort u, 25, 1, 0 in decreasing order.
25, u, 1, 0
Let g be ((-130)/39)/(38/1995). Sort -4, 2/3, -1/4, g, -2/5 in increasing order.
g, -4, -2/5, -1/4, 2/3
Let m be (-9)/((-81)/48) + (-135)/405. Let i(v) = -v**3 + 6*v**2 + 8*v - 4. Let o be i(7). Put o, 17, 4, m in decreasing order.
17, m, 4, o
Suppose -i = 6*i - 84. Suppose i*l - 5*l = 77. Put l, 5, -7, 0 in decreasing order.
l, 5, 0, -7
Let x = 35733 + -35732. Sort -2111, x, -1 in ascending order.
-2111, -1, x
Let q be 1 - (0 + 2 + -4) - 1. Let d be (216/(-90))/(2/((-20)/(-3))). Let k be (-94)/18 + d/(-36). Sort k, -3, q, 3 in ascending order.
k, -3, q, 3
Let a be (-44)/12*2*9. Let r be 176/a*(-6)/(-4). Put r, -0.4, -0.1, -2/11 in decreasing order.
-0.1, -2/11, -0.4, r
Let g(v) = 19*v + 57. Let b be g(-3). Suppose b = 5*d - 2*l + 81, -5*d + 36*l - 93 = 40*l. Put d, 0, -5 in ascending order.
d, -5, 0
Let i = 5 - 40. Let g = i + 38. Let p be (g + (-2)/3)*-3. Put 3, p, -0.07 in increasing order.
p, -0.07, 3
Suppose 0 = 5*b - 20, 2*u - 3930 = 3*b - 3946. Suppose -p + 368 = -5*p. Put u, p, 3 in increasing order.
p, u, 3
Let d = 3271 - 3265. Put -4, 2, d, -34 in increasing order.
-34, -4, 2, d
Let v = -408323/5 - -81666. Let b be ((-2)/(-5))/((-7)/(-5)). Sort v, 0.5, b in decreasing order.
v, 0.5, b
Let j(b) = -390*b + 2735. Let f be j(7). Put f, 6, -4, 2, 3 in increasing order.
-4, 2, 3, f, 6
Let k = 40 + -49.8. Let u = k + 10.8. Sort 2.7, 0.2, u in decreasing order.
2.7, u, 0.2
Let u be 1/(-5)*(-29 - (-2783)/92). Let l(h) = h**2 + 11*h + 2. Let w be l(-11). Sort u, 0.3, -0.06, w.
u, -0.06, 0.3, w
Suppose 3*s - 4*u + 4 = 0, -27*s + 23*s + 5*u - 6 = 0. Put s, -978, 5 in ascending order.
-978, s, 5
Let z(r) = -r**3 + 14*r**2 + 2*r + 190. Let p be z(15). Sort 2535, -2, p.
p, -2, 2535
Let w = -8/8225 + 16522/74025. Put -0.3, -0.5, -12, w in descending order.
w, -0.3, -0.5, -12
Let r = 4743 - 4741. Put 4, 55, -5, r in increasing order.
-5, r, 4, 55
Let w be 28/(-12)*(13 - 6985/539). Sort -1, 4, w, -0.2, -1/3 in descending order.
4, w, -0.2, -1/3, -1
Let v = -17.7 - 37.3. Let k = 60 + v. Sort -2, 2, k, -4/9 in descending order.
k, 2, -4/9, -2
Suppose -49*x + 15 = -46*x. Suppose 0 = 4*a + x*m - 50, 5*a = 3*m + 12 + 32. Put -6, a, 4 in descending order.
a, 4, -6
Let o = -946/5 - -189. Let n be 12216/(-140) - (-2)/(-14). Let h = n - -88. Sort -0.1, h, 3, o in increasing order.
o, -0.1, h, 3
Let o = -5816 - -5818. Sort -17, 54, o in ascending order.
-17, o, 54
Let k = 841.3 + -846.3. Let z = -34.972 + -0.028. Put k, 4, 1, z in increasing order.
z, k, 1, 4
Suppose 38 - 5 = -v + t, -4*t = 0. Suppose 1 = 3*h - 4*h + m, 0 = 4*h - 2*m + 8. Sort v, h, -4, 5.
v, -4, h, 5
Suppose 0 = -n + 3*o + 31, -3*n + 3*o - 28 = -109. Let s = -29843 + 29839. Sort n, s, -0.3 in ascending order.
s, -0.3, n
Suppose -5*t = 2*v + 20, 2743*t + 22 = 2742*t - 4*v. Suppose 4*u - 6 = -2. Sort 47, -4, u, t in ascending order.
-4, t, u, 47
Suppose 2*n = 3*x - 8, -5*n - 6*x + 7*x - 7 = 0. Suppose 3 = -4*b + b - 4*f, -5*f - 21 = -2*b. Suppose -2*d + 45 = -11*d. Sort b, d, 2, n in descending order.
b, 2, n, d
Let j = -13481 + 13474. Put 0.1, 3, -0.1, j, 2/5 in decreasing order.
3, 2/5, 0.1, -0.1, j
Let w be (11 - 341/33)*-3. Put 17, 0, -5, 4, w in decreasing order.
17, 4, 0, w, -5
Suppose 0 = -j - 1, 5*p - 3*j = 18 + 5. Suppose -3 = p*x + 1. Suppose 6 = r + 5*s, -4*r + 8131*s - 8133*s = 12. Sort -3, -2, r, x.
r, -3, -2, x
Let c = 23251 - 23254. Sort 558, c, 5 in decreasing order.
558, 5, c
Suppose 6*u = 3*u + 24. Suppose -6*d = -u*d + 10. Suppose 2*p + 7 = m, 2*m - d*p - 1 = 15. Put 0, -5, m, -1 in decreasing order.
m, 0, -1, -5
Let j(p) = 2*p**3 - 16*p**2 + 19*p - 32. Let a be j(7). Let f be -4*3/(-54) + 24/54. Put 1, -0.5, a, f in ascending order.
-0.5, f, 1, a
Suppose 0 = 360*u - 259*u + 303. Let n = -1 + 1. Let a = -1 + n. Sort u, 4, 1, a in descending order.
4, 1, a, u
Suppose -562 = 4*v - 590. Let j be ((-4)/(-3))/((-4)/(-54)). Suppose v*n - n = j. Sort 1, -5, n in decreasing order.
n, 1, -5
Let x = 39561 - 39565. Put 1, x, -10/181 in decreasing order.
1, -10/181, x
Suppose -2*s + 3 = 11. Suppose 22*y + 28 = 10*y + 4. Sort s, 5, y, -3 in descending order.
5, y, -3, s
Suppose 116*i - 95*i = -42. Suppose -l - 5 = 3*s - 2*l, -3*s = 2*l - 10. Put 8, -3, i, s in decreasing order.
8, s, i, -3
Let m = 977 + -1048.1. Let z = m + 71. Let a = -9.9 - -10.2. Sort 0, a, -9, z.
-9, z, 0, a
Let k(v) = v**2 + 28*v + 28. Let c be k(-28). Let f = c + -32. Sort 184, 4, f, 3 in increasing order.
f, 3, 4, 184
Suppose -5838 + 17390 = 38*h. Let x = h - 300. Sort x, 0.1, 2, -4 in decreasing order.
x, 2, 0.1, -4
Suppose 0 = 11*l - 6*l - 25. Suppose l*r - 5 = y, 3*y + y - 12 = 4*r. Suppose 0 = 3*t + 3. Sort -19, r, t in decreasing order.
r, t, -19
Let m = 12354/11 + -308872/275. Sort -1, -20, m, 2 in increasing order.
-20, -1, m, 2
Let y(q) = -31*q + 218. Let t be y(7). Put t, 3, 6 in increasing order.
t, 3, 6
Let d be (-4)/(-18) - 11/9. Let w be (-4)/(-14) - (-15)/(-28). Let b = -0.19861 + -0.20139. Put b, d, w, 2 in ascending order.
d, b, w, 2
Suppose 27*x = 22*x + 4*k - 117, 4*x + 75 = -3*k. Let n = x + 17. Sort 1, 1.3, -0.5, n in descending order.
1.3, 1, -0.5, n
Let n = 2.016 - 1.916. Sort -10/49, n, -0.1 in descending order.
n, -0.1, -10/49
Let l = -235102 - -2586120/11. Let d(o) = -2*o**3 + 5*o**2 + 8*o - 5. Let j be d(5). Let g = -719/8 - j. Put l, -0.3, g in ascending order.
-0.3, l, g
Suppose 0 = -2*y - y + 21. Suppose y*b - 59 = 214. Let s = b - 34. Put s, 3, -8 in increasing order.
-8, 3, s
Let n be 8/20 - 32/130. Let w(f) = 359*f**3 + f. Let i be w(-1). Let k = 1802/5 + i. Put n, -5, k in increasing order.
-5, n, k
Let h = 0.01 + -4.01. Suppo