0.2, 1, z in decreasing order.
z, 1, -0.2
Let o = -296 - -294. Let c be (o - -2)/((-20)/20). Sort c, 1, -1, 4 in decreasing order.
4, 1, c, -1
Let o = 6 - 4. Let u be 166/(-332) + 10/22*3/2. Put u, -0.53, 3, o in descending order.
3, o, u, -0.53
Let t = 46.046 - 41.046. Let x = -1.2 - -0.2. Put t, x, -2/21 in descending order.
t, -2/21, x
Let m = 112 + -109. Suppose 4*d + 4 = m*d. Put d, -1, 4 in ascending order.
d, -1, 4
Let o = -2173 + 2173. Put 60, -4, -1, o in descending order.
60, o, -1, -4
Suppose 0 = 7*g - 928 + 907. Sort g, 0, -2, -0.4, -1 in descending order.
g, 0, -0.4, -1, -2
Let x = 274 - 162. Suppose -x = -10*j - 6*j. Sort 17, -2, j in descending order.
17, j, -2
Let q be ((-256)/(-12) - 11) + -6. Put q, -1/11, -3 in decreasing order.
q, -1/11, -3
Let n be (-26)/(-8) + 38/(-152). Let o be -2*n*(-1)/6. Sort o, -9, 3 in descending order.
3, o, -9
Suppose -8 = 4*o - 6*o. Suppose 2*m - 175 = -5*d - 3*m, 3*m = o*d - 105. Suppose -12*y + d = -6*y. Put 1, y, -11 in descending order.
y, 1, -11
Suppose -18*u - 7502 - 418 = 0. Sort 1, u, -4.
u, -4, 1
Let p(y) = -2*y**2 + 70*y - 187. Let f be p(3). Sort f, 0.1, -90.9 in increasing order.
-90.9, 0.1, f
Let r(s) = -s**2 - 9. Let t(d) = -d**2 + d + 1. Let n(a) = r(a) - 2*t(a). Let q = -399 - -404. Let p be n(q). Put -5, p, -2 in increasing order.
-5, -2, p
Let f be (-8)/10 + 29/((-435)/(-22)). Let d = 9 - 12. Sort d, f, -5 in decreasing order.
f, d, -5
Let b = 2/21641 + -21649/86564. Put 2, -25/8, b in ascending order.
-25/8, b, 2
Let c be (-20 - -8)/(-4) + -1. Put 11, c, 6 in decreasing order.
11, 6, c
Let l = 3679/5 + -191303/260. Let p be (6/(-27))/(8/30). Sort -1, l, p in decreasing order.
l, p, -1
Let r be (-24)/40 - 165/(-25). Suppose -246 + 222 = r*y. Let v be (-1)/4 - 1/(-12). Put y, 0.3, v, -1 in increasing order.
y, -1, v, 0.3
Let f = 1.4 - 1.6. Let j(d) = d + 2. Let m be j(-7). Let t(h) = 45*h + 671. Let w be t(-15). Put 2, m, f, w in ascending order.
m, w, f, 2
Let m = 8.565 + -9.065. Sort 0.5, -0.1, 4, 5/29, m in ascending order.
m, -0.1, 5/29, 0.5, 4
Let i be (112/42)/((-2)/270). Let n be 1000/i - (1 + -4). Put -3, -5/3, 2, n in descending order.
2, n, -5/3, -3
Let o = -17209 - -17211. Sort -2, 669, o, -5.
-5, -2, o, 669
Let z be (-3)/(9/(-15))*(-1 - 0). Let d be -12 + (-1 - -3) - 4. Put 5, z, d in decreasing order.
5, z, d
Let t be 2/(-18)*(16 - 10). Sort t, -0.2, -1/6, -5, -13/5.
-5, -13/5, t, -0.2, -1/6
Let t = 921.39 - -2.41. Let x = t + -924. Sort 3, x, -48 in descending order.
3, x, -48
Let h = -2639 + 2640. Put 25, 3, h in ascending order.
h, 3, 25
Let v = -24 - -25. Let m = 30 - 27. Suppose -26 = -m*g - 35. Sort 3, v, 0, g.
g, 0, v, 3
Suppose 0 = -163*f - 1473 + 821. Suppose -113 = -5*t + 92. Sort f, 2, t in decreasing order.
t, 2, f
Let r be -4 + (3 - -8) + -2. Let y = 6999 - 6971. Put r, 0, y in ascending order.
0, r, y
Let o = -3933 - -3931. Put 4, -3, 1, o, -6 in decreasing order.
4, 1, o, -3, -6
Let v(j) be the first derivative of 4*j**2 - 223*j + 188. Let u be v(28). Let p(a) = a**2 - 5*a + 1. Let o be p(3). Sort o, 5, -1, u.
o, -1, u, 5
Let x be ((1 - -1*2) + 41/(-123))*(-279)/(-372). Let s be 15/2*(-4)/(-6). Let r = 8 - s. Sort -5, x, 1, r.
-5, 1, x, r
Let n = 0.03323 + -0.01853. Put 2, -5, n in increasing order.
-5, n, 2
Let l = -12467 + 12461. Sort 0, l, -5, -1, 3 in descending order.
3, 0, -1, -5, l
Suppose 15*f - 13*f = 96. Let m = -46 + f. Suppose -4*k - m = -10. Sort -5, k, 1 in increasing order.
-5, 1, k
Let c = -57.5 + 52. Let n = 5.499 + c. Let g = 1.999 - n. Put g, 59, -1 in increasing order.
-1, g, 59
Let f be (13/2 - 4)*3/(-135)*12. Put 4, -7/5, f, -2/17 in decreasing order.
4, -2/17, f, -7/5
Let x = -3.2 + 3. Let l = -40.94 - -39.14. Let q = x - l. Sort q, 3, -1/6, 4 in ascending order.
-1/6, q, 3, 4
Suppose 3*x + 5*r = -4, -2*r = 60 - 50. Put -5, 3, -16, x in descending order.
x, 3, -5, -16
Suppose 5*u + 3*h = 12, 7*u = 2*u + 3*h + 18. Suppose x - g - 3*g = -25, 5*x - u*g = -108. Put -3, 1, x in descending order.
1, -3, x
Let m be 125/(-500) - 68/(-16). Suppose 0 = 2*p - 3*p + 4*v + 15, 3*v + 20 = -p. Put 8, -3, m, p in decreasing order.
8, m, -3, p
Let a = 2.5 - 2. Let g be (-4975)/495 - 20/(-30). Let k = g - -102/11. Sort a, -0.1, 8, k in increasing order.
k, -0.1, a, 8
Let r(c) = 163*c - 8145. Let x be r(50). Sort 2, x, -3, -1, -157 in ascending order.
-157, -3, -1, 2, x
Suppose -3*b + 13 + 37 = -5*f, 0 = 4*b + 3*f - 86. Sort 3, b, 5 in increasing order.
3, 5, b
Suppose 7*n + 17*n - 27 + 3 = 0. Sort n, 100, 5.
n, 5, 100
Suppose -10*z = -13*z - 15, 2*b - z - 47 = 0. Suppose -3 = -3*a - 0, -3*a - 57 = 5*d. Let k = d + b. Put k, -4, 5 in descending order.
k, 5, -4
Let v = 36.3 - 33.24. Let s = -3.1 + v. Let i = s - -0.44. Put i, -3/4, 16/3 in ascending order.
-3/4, i, 16/3
Let l = -543.07 - -530. Let z = l - -13. Let k(a) = 2*a**3 - a**2 + 93*a - 91. Let y be k(1). Sort -0.4, y, z, 0.
-0.4, z, 0, y
Suppose 3*w = -3, -65*w + 60*w = 3*v - 13. Sort -9, -3, v, -1, 0.
-9, -3, -1, 0, v
Let k be (-2)/(-6)*(1 - -3)*-30. Let r be 92/(-230) - 46/k. Sort -3, 105, r, -0.1.
-3, -0.1, r, 105
Let v(o) = -o**3 - 20*o**2 - 26*o - 8. Let u be v(-19). Sort -3, 3, u, 0 in ascending order.
-3, 0, 3, u
Suppose -20*v - 4631 = 809. Let t = v + 253. Sort t, -1, 4 in increasing order.
t, -1, 4
Let l = 60 - 20. Suppose w = 9*w + l. Let j be (-1)/(76/20 + -4). Sort w, 1, j, -4 in decreasing order.
j, 1, -4, w
Let k = -30.42 + -0.58. Let b = k - -32. Let w = 15 + -16. Put 0.4, b, w in ascending order.
w, 0.4, b
Suppose -3*k - 71 = -77. Suppose 2*o - 36 = 5*u, o + k*u - 7 = -u. Suppose 4*p = 3*x + 10, 0 = 5*x - o + 3. Put p, 1/4, -2 in increasing order.
-2, 1/4, p
Let b be (-63)/(-12) - (-1)/(-4). Let v = 76 - 73. Suppose 4*o + v = -5*p, 5*o = -p + 2*o - 5. Sort -2, b, p, 4 in descending order.
b, 4, p, -2
Suppose -2*w = n + 1, -n - 10 = -7. Let m = -28.8 + 31. Let o = 2.3 - m. Sort -0.2, o, w, -1 in decreasing order.
w, o, -0.2, -1
Let r = 3.7 + -7.7. Let b = 450.8 + -451. Put b, -186, r in decreasing order.
b, r, -186
Let h be 1*135 + (-7)/35*0. Suppose 19*k + 35 = 35. Sort k, 3, 5, h in descending order.
h, 5, 3, k
Let t = -56.41 + 23.41. Sort t, -1/4, 0.5, -3, -5.
t, -5, -3, -1/4, 0.5
Let t = 2417 + -2419. Sort -7, t, 1, -4.
-7, -4, t, 1
Let c(i) = -i**3 - 2*i**2 + 2*i. Suppose 5*g + y = -11 - 8, 0 = -g - y - 7. Let o be c(g). Let n be (31 + -31)*(1 + 0). Put o, -5, -2, n in decreasing order.
o, n, -2, -5
Let a = -4 + 7. Let f(d) = -105*d - 2095. Let j be f(-20). Sort j, a, 0.
0, a, j
Let l = -17.84 - -18.34. Sort -36, 2, l in ascending order.
-36, l, 2
Let m = -5.13 + 5.9. Let s = m + 0.15. Let t = 0.72 - s. Sort t, 3/7, -2/13.
t, -2/13, 3/7
Let z(i) = i**2 + 40*i + 254. Let a be z(-8). Suppose -3*b - 3*k = -10 + 4, 2*k = 2*b + 8. Sort a, 32, b in ascending order.
a, b, 32
Let g = -138 + 161. Let j = -23 + g. Sort 35, -3, 4, j in decreasing order.
35, 4, j, -3
Let y be 24468/36 + (-10 - -2). Let q = 673 - y. Put 1/3, q, 4 in ascending order.
1/3, q, 4
Let h = -453 + 453.3. Put 2/5, -4.83, h in descending order.
2/5, h, -4.83
Let y = 0.5 - 1.5. Let n = 39.101 - 39.101. Put -8, 4, n, y in decreasing order.
4, n, y, -8
Let m = -757.33 + 760. Let u = m + -2.47. Sort 0.1, u, -1/3, 0 in descending order.
u, 0.1, 0, -1/3
Suppose o - 173*n = -172*n - 15, 5*o + 135 = -5*n. Sort o, 5, 62 in increasing order.
o, 5, 62
Let y be ((-240)/35 - -4)/((-4)/70). Let o be (48 - y) + -2 + 33/9. Let r = 75 + -524/7. Put o, 1, 2, r in increasing order.
o, r, 1, 2
Let w(b) = b**2 + b + 5. Let r be w(0). Suppose -19*a + 62*a - 22*a = 84. Sort a, 2, -8, r.
-8, 2, a, r
Let h = 149 + -24. Let d = h - 116.7. Let g = d + -8.3. Put g, 3, 18, -1 in decreasing order.
18, 3, g, -1
Let r be 769/10 + (-42)/168 + (-14)/(-40). Sort -4, r, 6 in decreasing order.
r, 6, -4
Suppose -5*x + 2*f = -15, f - 3*f = -2*x + 12. Let a = 5 + x. Let m = -746 + 742. Sort m, a, 0 in ascending order.
m, 0, a
Suppose -c - 8 = -3*c. Suppose -c = -5*x + 16. Suppose -2*o + x*t = 2, -5*t = 5*o + 11 + 24. Sort -3, o, -14, 3 in increasing order.
-14, o, -3, 3
Let y(v) = v + 14. Let h be y(-7). Let b be ((-80)/10)/(-2*h). Sort b, -2/7, -0.2 in decreasing order.
b, -0.2, -2/7
Let s = -5.02 + 0.02. Let c(l) = 6929*l - 166279. Let v be 