-1, m, 2 in decreasing order.
2, -1, m
Let l be (4/(-10))/((-88)/(-55)). Let j be 1*-2 + (-56)/(-26). Put -11, l, j, 4 in ascending order.
-11, l, j, 4
Let x = -79 - -89. Let v be ((-4)/(-6))/(x/(-15)). Put v, -4, 5, 2 in decreasing order.
5, 2, v, -4
Let a = 1563 - 1566. Sort 908, a, 0 in decreasing order.
908, 0, a
Let a = 228 - 228. Put a, -3, -5/9 in increasing order.
-3, -5/9, a
Suppose 9*n - 41 = -23. Suppose -3*a + 8 = a. Let w = a - 4. Sort w, 5, n in increasing order.
w, n, 5
Let d = 141.851 + -142. Let s = 8.259 + d. Let v = s + -0.11. Sort v, -1, -3 in ascending order.
-3, -1, v
Let r(t) = -6*t**2 + 5*t + 1. Let g be r(1). Sort 4, g, 2, -3 in decreasing order.
4, 2, g, -3
Let f be (12/(-15))/((-2)/(-10)). Let y = 33 + -35. Sort 0, f, y.
f, y, 0
Let k(v) = -v**2 - 8*v - 7. Let n(x) = -x**2 - 2*x + 8. Let t be n(-5). Let q be k(t). Suppose 3*a + 15 + q = 0. Put 0, -2, a in decreasing order.
0, -2, a
Let m(w) = -3*w + 0*w - 1 - 6 - 2. Let h be m(-4). Sort -0.3, -2/3, h.
-2/3, -0.3, h
Suppose -k - 3 = -2. Let o be (-2)/4*0/10. Put 3, 1, o, k in descending order.
3, 1, o, k
Let i = 0.6 - -0.4. Suppose -5*g + 4 = -h - 1, -4*h = -3*g - 14. Suppose h*f + 10 = -b, 2*b + 1 = -3*f + 2. Sort i, 0.1, f.
f, 0.1, i
Suppose -79 = 3*q + 128. Let b = 67 + q. Sort 2, b, -18.
-18, b, 2
Let r = -421 - -407. Put r, -5, -1, 0 in ascending order.
r, -5, -1, 0
Let w = -7.8 + 7.24. Let n = -0.16 - w. Let f = -0.1 - -0.2. Put f, -5, n in decreasing order.
n, f, -5
Let a be (1 + 11/(-14))*8/(-6). Sort 16, a, 1/5 in ascending order.
a, 1/5, 16
Suppose -12*n - 72*n - 26*n - 330 = 0. Let h = 5 - 3. Suppose i + h + 0 = 0. Put n, i, -5 in descending order.
i, n, -5
Let w = 0.011 - 0.211. Sort w, 0.4, -2, -84 in increasing order.
-84, -2, w, 0.4
Let s = 387496/21 + -55669/3. Let b = 104 + s. Let q = 1.7 + -1.6. Sort 3, b, q in increasing order.
b, q, 3
Let z(l) = l + 14. Let n be z(-9). Suppose n*u = -19 - 26. Put -2, u, -5 in decreasing order.
-2, -5, u
Suppose 410 = 5*q + 395. Put -3/2, -3.7, q, 0.5 in ascending order.
-3.7, -3/2, 0.5, q
Suppose 0 = -0*r + 2*r - 18. Let w = r + -9. Let f be w/(-1 - 0) + 2. Put -1, f, -4 in decreasing order.
f, -1, -4
Suppose -77 = 32*u - 39*u. Sort u, -1, -5, 3 in ascending order.
-5, -1, 3, u
Let c = 0.76 - 0.36. Put -0.4, -0.18, 2/11, c in decreasing order.
c, 2/11, -0.18, -0.4
Let l(f) = 2*f + 2 - 11*f + 138*f**2 + 0*f - 143*f**2. Let c be l(-4). Put -3, c, 0 in decreasing order.
0, -3, c
Suppose -2*k + 15 = k. Let d be ((-45)/10)/((66/(-4))/11). Suppose -k*y + 7 = -d. Put -3, y, -1 in increasing order.
-3, -1, y
Suppose -5*x - 32 = -3*i, 0 = -2*x - 7 - 1. Suppose 0 = 3*t + 3. Suppose -z + 16 = -5*w, w + 5*z = -2*w - 32. Put t, i, w in decreasing order.
i, t, w
Suppose -t = 2*c - 14 + 1, 0 = -3*c + t + 32. Suppose j + 14 = -2*r - 6, 5*j = 0. Let g = r + c. Sort g, 4, 0.
g, 0, 4
Suppose 0 = 5*n + g - 16, -2*g = 3*n - 2*n - 5. Suppose 0*i + 3*i + n*b = 21, 5*b + 75 = 5*i. Sort 4, i, -1.
-1, 4, i
Let m = -169 - -1523/9. Sort m, -5, -2/9, -0.4.
-5, -0.4, -2/9, m
Let n = 156.58 - 156. Sort 0.1, n, 0.5 in descending order.
n, 0.5, 0.1
Let q = 8.88 - 8.38. Sort -7/8, q, 2.
-7/8, q, 2
Let j = 185.8 - 180.8. Put j, -0.3, 1.1, 4/15 in decreasing order.
j, 1.1, 4/15, -0.3
Let n(h) = -h**3 + 11*h**2 + 24*h + 21. Let t = -122 + 135. Let d be n(t). Sort d, -4, 1.
d, -4, 1
Let d(x) = -x**3 + 4*x**2 + 8*x. Let c be d(5). Sort c, -2, -3, -1 in ascending order.
-3, -2, -1, c
Let d(t) = -2*t + 1. Let l be d(1). Let x(k) = k**3 - 45*k**2 - 140*k + 7. Let y be x(-3). Sort 4, y, l, -17 in ascending order.
-17, y, l, 4
Let b(t) = 4*t - 13. Let s(k) = 5*k - 14. Let i(o) = -6*b(o) + 5*s(o). Let d be i(-6). Suppose -2 = -c - 5. Put 5, d, c in decreasing order.
5, d, c
Let u be (2*(-6 + (-55)/(-10)))/(-5). Put 1, u, 2, 9 in descending order.
9, 2, 1, u
Let w = -0.1 - 0. Let m be 52 + (2 - 2 - -1). Let c = -585/11 + m. Sort w, 0.5, c in ascending order.
c, w, 0.5
Let y = 601 - 602. Sort 4, -283, y in ascending order.
-283, y, 4
Let v = -324 - -319. Put v, 2, -4 in ascending order.
v, -4, 2
Let n(g) = -4*g**2 - 7*g + 8. Let i be n(1). Put i, -2, 3 in decreasing order.
3, -2, i
Let b be (2 - -2)/((-3)/6). Let f be (b/6)/4 - 0. Sort 5, 0.2, f in increasing order.
f, 0.2, 5
Let u = 3798 + -3797.5. Let b = -1.1 - -6.1. Sort 1, b, u in increasing order.
u, 1, b
Suppose 6*k = 3*k - 2*j + 211, 0 = -4*k - 2*j + 280. Let w = k + -67. Put 1, -3, w, -3/8 in decreasing order.
w, 1, -3/8, -3
Let y = 151 + -155. Sort -0.2, y, 2 in decreasing order.
2, -0.2, y
Let v be 9*(-11)/(165/(-10)). Put -4, v, 4 in ascending order.
-4, 4, v
Let p = 50 - 30. Suppose -1 - p = 7*g. Sort -4, -13, g, -2.
-13, -4, g, -2
Suppose -19*o = 8 + 30. Sort 0, 2, -3, o in descending order.
2, 0, o, -3
Let s = -83 + 88. Put 19, 2, s in decreasing order.
19, s, 2
Let m = -10.2 - -5.2. Let c = 0.22 + -11.22. Let y = c + 3. Put y, m, -4 in descending order.
-4, m, y
Suppose 0 = 9*b - 51 + 15. Let a be b*3/16*-4. Sort 0, 2, a in descending order.
2, 0, a
Suppose 5*o = 5*f, 2*f + 4*o - 7 = -o. Sort f, -21, -3 in decreasing order.
f, -3, -21
Suppose 3*m - 2*m = 0. Suppose -5*z = -2*n + 11, 0 = 3*n + 3*z - 8 - 19. Put m, 2, 4, n in descending order.
n, 4, 2, m
Let d = 111 - 331/3. Let c = -7122/1403 - -116/23. Sort c, -1/5, 1/4, d in decreasing order.
d, 1/4, c, -1/5
Let s be ((-10)/3)/(4/(-6)). Suppose 27 = -m - 0*l + 5*l, 2*m - 16 = -4*l. Put 4, s, m, -3 in descending order.
s, 4, m, -3
Let i = 916 - 916. Let o = 6 + -9. Sort -0.5, o, -4, i in descending order.
i, -0.5, o, -4
Let m(x) = -x + 9. Let p be m(4). Sort 9, p, 3, -17 in ascending order.
-17, 3, p, 9
Let x = -3.9 - -3.94. Let p = x + -2.04. Let g be ((-3)/(-2))/((-33)/4). Put 0.01, g, p in descending order.
0.01, g, p
Let l = 3572 + -3572.3. Let d = -0.3 + 1.3. Sort -3/4, l, d in increasing order.
-3/4, l, d
Let l be (4 - (-50)/(-13)) + (-315)/(-65). Sort 2, l, -17.
-17, 2, l
Let x(c) = c**3 - 4*c**2 - 11*c - 4. Let g be x(6). Let z be (1/g)/((-2)/(-4)) - -4. Sort 3, 4, z, 1 in increasing order.
1, 3, 4, z
Suppose -1 + 0 = o. Let q be (-1)/(3*(-6)/90). Sort -4, -5, o, q in descending order.
q, o, -4, -5
Let l be ((-4)/4 - -9)/2. Let m be l/(-21)*(-12)/8. Let v = -0.56 + 0.06. Sort 0.1, m, v in increasing order.
v, 0.1, m
Let z be (1 + (-5)/3)*3. Let m be 38/152 - 10/32*4. Sort z, m, 8 in decreasing order.
8, m, z
Let g = -733 - -721. Put 5, g, 0.5 in ascending order.
g, 0.5, 5
Suppose 36 = 47*j - 38*j. Sort j, 3/8, -11, -1.
-11, -1, 3/8, j
Let q = 6316.9 + -6830.13. Let m = -509 - q. Let y = m + -0.23. Sort -1/4, y, -2/9 in decreasing order.
y, -2/9, -1/4
Suppose 2*p = -p - 3. Let f = -60 - -61. Let w = -14 + 9. Sort f, w, p in ascending order.
w, p, f
Let p = 1.53 - 0.13. Let q = 0.46 - -0.64. Let l = q - p. Put 0.2, -4, l in descending order.
0.2, l, -4
Let a(v) = v**2 - 14*v - 28. Let k be a(16). Suppose -4*p - 5*u + u = -32, -5*p - k*u + 35 = 0. Put 0, -5, p in decreasing order.
p, 0, -5
Let w be ((-4)/(-10))/(53/(-265)). Let z = -1.2 - -0.7. Let d be 40/(-69) + 2/3. Sort w, d, z in descending order.
d, z, w
Let y = -13/4 + 15/4. Let c = -33.16 - -31. Let z = c + 0.16. Sort 1, z, y in decreasing order.
1, y, z
Suppose 5*u = 10*u + 75. Suppose 24 = 50*q - 74*q. Put u, 1, q in ascending order.
u, q, 1
Let c = -8 + 30. Suppose c = 5*k + 3*a - 2*a, 2 = k - a. Suppose -6*u = -5*u - 1. Sort u, k, -2.
-2, u, k
Let g be 225/10962 - 1/(-6). Let t = -7/29 - g. Put 2/5, 1/4, 5, t in increasing order.
t, 1/4, 2/5, 5
Let s be (-7 - (-39)/6)/(-1 - 0). Sort 0.4, 20, s.
0.4, s, 20
Suppose g - 7 - 1 = 5*z, 4*g + z - 11 = 0. Suppose -2*f - 3*o + 0 = -9, -4*o = -g*f + 5. Let w = -2.12 + 0.12. Sort f, 5, w in ascending order.
w, f, 5
Suppose -v + 9 = 4*l, 4*v + 0*v = 4*l - 4. Suppose t - 2*g = 2*g - 21, -l*g = 5*t + 17. Suppose -7 = -7*a + 14. Sort t, a, -4 in descending order.
a, -4, t
Let q = 0 - 2. Let t = -382.6 + 423. Let m = t - 40. Put m, -0.07, q in increasing order.
q, -0.07, m
Suppose -6 = -5*a - 1. Suppose -15 = 3*i, -3*p + i - a = -p. Sort p, -2, 2 in descending order.
2, -2, p
Let l = -264 + 268. Sort 5, -9, l, -2 in ascending order.
-9, -2, l, 5
Let k = 21 + -13. Suppose 4 = -l + k. Suppose -l*t = t. Sort -8, t, -2 in decreasing order.
t, 