 Let k = -45 + t. Let f = k - -23. Sort -5, 2, f in decreasing order.
f, 2, -5
Let c = 949 + -950. Sort -5, 0, 6, c in descending order.
6, 0, c, -5
Let p = 6 + -4. Let q = -108.793 - -109. Let i = -0.207 + q. Put 5, i, p in descending order.
5, p, i
Suppose -n - 4*x + 1 = -1, 2*n - 5*x + 22 = 0. Put n, 2, 5, 4 in descending order.
5, 4, 2, n
Let n be (12/15)/((-6)/(-15)). Let q be (n/(-4))/((-2)/(-12)). Put 1, -1, q in decreasing order.
1, -1, q
Let w be 4/22 - 288/132. Let a be ((-10)/(-15))/(w/3). Sort a, -4, 1 in ascending order.
-4, a, 1
Let o be (-80)/15 - 2/(-6). Suppose -1969*l + 1971*l = -6. Sort o, 3, 0, l in descending order.
3, 0, l, o
Let b = -14 + 10. Let i(y) = y + 8. Let f be i(-3). Suppose f*u = -0*u + 2*z - 17, 11 = -3*u + z. Put u, b, -2/3 in increasing order.
u, b, -2/3
Suppose -11*x + 257 = -150. Suppose -12*t + 1 = x. Let i(w) = 4*w + 1. Let u be i(1). Put u, t, 2 in descending order.
u, 2, t
Suppose -4*g = -g - 18. Let l(k) = k**2 + 10*k + 6. Let r be l(-9). Sort g, r, 5 in descending order.
g, 5, r
Let w be (0 - 0)*((-153)/(-18) + -8). Sort 1, 81, w, -1 in descending order.
81, 1, w, -1
Let a(h) = -3*h**2 + 2*h + 1. Let c be a(-1). Let m be c/7*(-2)/(-4). Let j = 1.633 - 0.633. Sort m, j, 0.1 in decreasing order.
j, 0.1, m
Let f = -31/2 - -15. Let n = 211 + -845/4. Put f, 1, n in increasing order.
f, n, 1
Let f = 0.076 - -0.026. Let z = f + 0.098. Put -1, z, -1/7 in descending order.
z, -1/7, -1
Let b = 1297 + -1296.94. Put -2/7, b, -2/3, 4 in decreasing order.
4, b, -2/7, -2/3
Let b be 3 + -9*15/(-9) + 4. Suppose 8*u = b*u - 14. Sort 4, -2, u, 5 in increasing order.
-2, u, 4, 5
Let y = -6 - -1. Let g(n) = -2*n - 53. Let q be g(-28). Sort y, -3, q in increasing order.
y, -3, q
Suppose 2*q - 3*l - 11 = 0, 3*l - 13 = -2*q - 2*q. Let y = 10 + -6. Suppose 2*j - 6 = s + y*s, 0 = j - 4*s - 6. Put q, 2, j in increasing order.
j, 2, q
Let q = 10 + -74. Let a = -59 - q. Sort 7, -1, a.
-1, a, 7
Let f(g) = g**3 - g**2 - 1. Let n(w) = 5*w**3 - w**2 + 9*w - 28. Let v(c) = -6*f(c) + n(c). Let o be v(6). Put 1, 0, o in decreasing order.
1, 0, o
Suppose -2*p + 3 = -5*c, -4*p + 3*c - 42 = -27. Sort p, 3, 4, 2.
p, 2, 3, 4
Suppose 0*c - 2*c - 2*a - 8 = 0, 2*a = 4*c - 14. Suppose 0 = -w - 1, 4*w = 5*q - 7 - 7. Let d = -84 + 87. Sort c, q, d.
c, q, d
Suppose 5*x - 2*w + 26 = 2, -28 = 5*x - 4*w. Sort 4, x, -5, -10 in ascending order.
-10, -5, x, 4
Let x be 3 + -4 + 28 + -3. Let i = x + -21. Suppose -3*l = 15, -4 - 3 = i*s - l. Sort 4, s, -1.
s, -1, 4
Let c(u) = -u**3 + 9*u**2 + 3*u - 8. Let t be c(7). Let r = -112 + t. Sort r, 5, 0 in descending order.
5, 0, r
Let x be 2/(-7) - (-897)/273. Sort x, -30, -4 in decreasing order.
x, -4, -30
Let a = -0.026 + -0.06. Let u = 39.514 - a. Let k = -40 + u. Sort 2/5, k, -1 in ascending order.
-1, k, 2/5
Let x = 1107 + -1110. Put x, 0, 13 in descending order.
13, 0, x
Let a = 0.3 - -0.1. Let m = 4.44 + -4.5. Let t = -5 + 5.3. Put m, t, a in descending order.
a, t, m
Let u(y) = y**2 - 23*y + 127. Let b be u(10). Let o be (-2)/(-24) + (-4)/(-6). Put o, b, -2 in ascending order.
b, -2, o
Suppose -4*j - 4 = 0, -2*h + 0*h + 2 = 4*j. Put 4, h, 5 in descending order.
5, 4, h
Let i be (3 + -2)*-2 + -117. Let k = 951/8 + i. Sort k, 0, 9 in descending order.
9, 0, k
Let o be (-28)/12 + 3/9. Let l be 4 - ((-2)/(-4))/((-10)/(-60)). Sort 2, o, l in increasing order.
o, l, 2
Let h = 411 + -500. Sort -0.4, 0.4, h in descending order.
0.4, -0.4, h
Let j be 2 + 2 + 0/4. Suppose -4*b = -2*b + 20. Let i be 20/b*(-5)/2. Put j, i, -2 in ascending order.
-2, j, i
Let g = 9.8 - 3.6. Let m = g - 6.6. Sort m, -0.1, -2/11 in decreasing order.
-0.1, -2/11, m
Let n = 10 + -9. Suppose 0*m - 2*m = l + 4, 0 = 4*m - l + 2. Suppose -v - 5 = -1. Put m, v, n in ascending order.
v, m, n
Let t(r) = 2*r**2 - 31*r - 20. Let d be t(16). Put d, 2, 2/9, 1 in descending order.
2, 1, 2/9, d
Suppose 5*f - l + 17 = 0, l - 6 = f - 1. Sort f, 0, 3, -30 in descending order.
3, 0, f, -30
Suppose 0 = -0*w - 5*w + 4*o - 25, 4*w + 3*o - 11 = 0. Put 20, 2, w in descending order.
20, 2, w
Let r(o) = -o - 8. Let k be r(-7). Let a = -1 - -10. Let p = -12 + a. Sort p, 2, k.
p, k, 2
Let y = 15 - 31/2. Suppose 18*l - x = 15*l, 5*x + 17 = -2*l. Sort y, 0.3, l, 4/5.
l, y, 0.3, 4/5
Suppose -1 = -5*h + 34. Suppose 4*k - h*k = 0. Sort k, -4, -3.
-4, -3, k
Let a = 180.4 - 180. Let m = 8.3 + -8. Sort m, a, -0.1 in descending order.
a, m, -0.1
Let p = 32 - 35. Let v = -0.07 + 0.97. Let c = v - 1.4. Put c, p, 0 in descending order.
0, c, p
Let n = -845 + 850. Sort 8, n, -5, -2.
-5, -2, n, 8
Let t = -0.7 - 0.3. Let g = 27 + -29. Let p = -7 - g. Sort 3/2, p, t in descending order.
3/2, t, p
Let o = -3 - -6. Suppose -2*k - 17 = -19. Let r(x) = -x**3 - 2*x**2 + 4*x + 3. Let a be r(-3). Put k, o, a in increasing order.
a, k, o
Suppose 17*n = 27*n - 40. Put -227, -2, n in descending order.
n, -2, -227
Let s = -55 - -109/2. Let o = -15.7 + 17. Let w = o + -4.3. Sort -3/8, s, w.
w, s, -3/8
Let j = -510 + 511. Put j, -3, 4, -5 in ascending order.
-5, -3, j, 4
Suppose 2*u - 7 = -2*s + 3*u, -1 = -s - 2*u. Let v = -8 + 30. Let n be v/33 + (-38)/(-6). Sort s, -2, n in decreasing order.
n, s, -2
Let z be (-2)/3 + (-8)/(-3). Let r be (-4)/18*4/(-48). Let h = 5/27 - r. Sort h, -0.1, z in increasing order.
-0.1, h, z
Let g be 14/3 + -1 + -3. Let m = 5 - 7. Let s = -9 + 5. Sort m, s, g in descending order.
g, m, s
Let d be 5*2/5 + 1. Put d, 1, -5, 5 in decreasing order.
5, d, 1, -5
Let i be 6/(-9) - 1/12. Let k = 20.16 - 0.16. Let v = k - 19.8. Put i, v, -1 in decreasing order.
v, i, -1
Let i(m) = -m**3 - 2*m - 1. Let z(p) = p**2 - 6*p + 5. Let x be z(1). Let l be i(x). Suppose -9 = 3*r - n, -2*r - 3*n - 9 = r. Sort l, r, 1 in increasing order.
r, l, 1
Suppose i - 4*j - 14 = 0, 3*i - 4*j - 22 = -4. Suppose -62 + i = -15*r. Suppose -4*z - 3*u - 23 = 0, 4*u = z - 12 - 6. Sort -1, z, r in descending order.
r, -1, z
Let t = 58 - 183. Sort 0, -2, t in decreasing order.
0, -2, t
Let u be (-24)/44 - (-7 - 1911/(-308)). Let q = -2 + -2. Sort u, q, -1/2 in descending order.
u, -1/2, q
Let b(h) = 32*h - 101. Let d be b(3). Sort d, -3, 5, 3 in decreasing order.
5, 3, -3, d
Let q be 0/(-1) - -2*(-39)/(-6). Suppose 60 = i - q*i. Sort 3, i, -4 in increasing order.
i, -4, 3
Let j = 1.24 + 43.76. Let w = 45.2 - j. Sort w, -0.5, 1 in decreasing order.
1, w, -0.5
Suppose -c - 594 = 4*c - 2*y, 252 = -2*c - 4*y. Let i be (4/(-3))/(c/36). Suppose -z - 4*w - 23 = -5, -3*z - 2*w - 4 = 0. Sort 4, i, z in decreasing order.
4, z, i
Let f be 52/(-20) + 2/(-5). Sort 0, f, 3 in decreasing order.
3, 0, f
Let j = 289 - 292. Put -4, 3, 0, j in decreasing order.
3, 0, j, -4
Let o = 56 - 53. Suppose -16 = o*z - 4. Put -2, 4, z, 5 in decreasing order.
5, 4, -2, z
Let p be 10/(-45) - 114/(-27). Suppose 2*v - c = 0, 3*v - p*c + 8 = -v. Let f be (1/(-3))/((-1)/9). Sort f, v, -2 in descending order.
f, v, -2
Let z = 28.64 + -28. Let q = 0.26 + z. Let l = 8 - 13. Sort q, l, 2/7 in increasing order.
l, 2/7, q
Let j = 2845/4 - 712. Put j, 7/3, 1/4 in descending order.
7/3, 1/4, j
Suppose 0 = 33*f + 590 + 1621. Sort f, 5, -3 in decreasing order.
5, -3, f
Let d be (9/((-54)/(-12)))/((-4)/2). Sort -172, d, 1.
-172, d, 1
Let c = 131 - 130.6. Sort 1, -24, c in increasing order.
-24, c, 1
Let k = -2.5 + -3.5. Let f = -25.4 + 53. Let a = f - 28. Sort -1, a, k in descending order.
a, -1, k
Let p = 4.03 - 0.03. Let r = 0.39 + 0.01. Sort r, p, 1/6 in decreasing order.
p, r, 1/6
Let l = 65.99 - 66. Let n = 6.01 + l. Sort n, -3, 3.
-3, 3, n
Suppose 2*q = -3*y + 7, -y + 21 = 3*y + 5*q. Let m be 4 - 9 - (2 - 1). Let c = 4 - m. Sort c, y, 2 in decreasing order.
c, 2, y
Suppose -u + 3 = 3*x - 7*x, -5*x - 2*u + 6 = 0. Suppose 88 = 5*q - q. Let f = 21 - q. Sort x, -4, f in descending order.
x, f, -4
Suppose -19*r - 100 = r. Sort r, -1, 8, -6/11.
r, -1, -6/11, 8
Let h be -1 + 5 + -5*(-1)/5. Sort -5, -2, 0.4, h in increasing order.
-5, -2, 0.4, h
Let b = 0.57 + 2.43. Put -4, -23, b in descending order.
b, -4, -23
Let b = -0.229 + -0.001. Let d = 0.9 - 2.9. Sort d, -0.4, b in ascending order.
d, -0.4, b
Let q = 0.051 + -0.042. Sort q, -1, -3/5 in decreasing order.
q, -3/5, -1
Let o(d) = d**3 - 7*d**2 - 33*d - 4. Let g be o(-3). Sort -4, g, 64, -