cending order.
v, -0.027, z
Let x(k) = -k**2 + 155*k + 966. Let q be x(-6). Sort 1, q, 11, 116.
q, 1, 11, 116
Suppose 1 = -f - 0. Let b = -891 - -900. Let l be (40/(-60))/((-6)/b). Sort f, l, -4, -3.
-4, -3, f, l
Let d = -0.03 + 0. Let u be 15*(22/55 - (-4)/10). Suppose 0 = -8*c + u*c - 8. Sort d, -2, c.
-2, d, c
Suppose -3*s + 1 = -l, -5*s - 8 = -4*l - 33. Sort -4, 3, 5, l in descending order.
5, 3, -4, l
Let v = 305 + -303. Suppose 20*n - 16 = 3*f + 24*n, -9 = v*f + n. Put 8, 0, -2, f in descending order.
8, 0, -2, f
Let q = -54 + 117. Let c = -66 + q. Let x be (0 - -24) + 4 + (c - 4). Sort -0.1, 1/2, x in ascending order.
-0.1, 1/2, x
Let j = 333 - 337. Let b be (-4)/(-10)*(-215)/(-129). Sort -2/3, j, b, 4.8 in ascending order.
j, -2/3, b, 4.8
Suppose 3*r = -141 - 123. Let w = r + 91. Let g be -5*1 + -4 + 3 + 4. Sort w, g, -3, 5 in increasing order.
-3, g, w, 5
Suppose 0 = -4*l + 3*l. Suppose 0 = 11*h + 31 + 2. Suppose 5*o - 12 = -n, -2*o = 3*n - 20 + 10. Sort h, l, n, -4.
-4, h, l, n
Suppose 12*y - 23 = 10*y - 5*n, y - 1 = n. Suppose -2*f = -45*z + 46*z - y, 2*z = f + 3. Let w = -5 + 3. Sort -1, w, 3, f.
w, -1, f, 3
Let a = -2375 + 2374.8. Put 0.6, a, 2/3 in ascending order.
a, 0.6, 2/3
Let l = 3014 - 3414. Put l, 4, 0.4, 0.3 in increasing order.
l, 0.3, 0.4, 4
Let d be ((-2 - -3) + -2 + -1)*1. Let u be (((-221)/(-39))/(-17))/((-3)/72). Sort 4, u, d in ascending order.
d, 4, u
Suppose -2*n - 8 = -2. Let w(i) = -i**2 - 75*i + 152. Let f be w(2). Put -1, f, -5, n in increasing order.
-5, n, f, -1
Let d be 204/(-84) - 892/1561. Suppose -3*m + 6*m + 3*v = -21, -5*m - 29 = 3*v. Put m, 90, d in increasing order.
m, d, 90
Let m(p) = -13*p**2 - 7*p - 28. Let y(l) = -3*l**2 + l + 1. Let n(k) = m(k) - 5*y(k). Let s be n(10). Put s, 1, 0, 2 in decreasing order.
s, 2, 1, 0
Suppose -11*d = -10*d. Suppose -13*m - 12*m + 23*m = d. Put m, 110, -3 in ascending order.
-3, m, 110
Let n = -0.86 + 31.96. Let t = 27.8 - n. Put t, -1/5, -1/4 in descending order.
-1/5, -1/4, t
Let v(c) = -c**3 - 8*c**2 - 18*c - 8. Let k be v(-4). Let i be (-8)/(-12) - (660/18)/10. Sort k, -12, i in decreasing order.
k, i, -12
Let b = -3.285 - -2.885. Put -4/7, 50, b in descending order.
50, b, -4/7
Let g = -1721/7 - -239. Let s = g + 295/42. Let q = -2.3 + 0.3. Put q, s, -0.2 in decreasing order.
s, -0.2, q
Suppose 0 = 3*t - 7*t + 4. Suppose 4*f + 18 = 4*a - 2, -3*a - f = -19. Suppose -g + a = t. Sort -3, g, -2, 3 in ascending order.
-3, -2, 3, g
Let h be -7*(170/455)/(-17). Sort 2/7, -3.18, h, -1/9 in decreasing order.
2/7, h, -1/9, -3.18
Suppose a + 49 = 51. Let j(h) = -h**2 - 7*h + 12. Let o be j(-8). Sort 0, o, a.
0, a, o
Let s be ((-10)/(-25) - (1539/90)/19)*-90. Put 0, -2, -3/8, s, 3/7 in decreasing order.
s, 3/7, 0, -3/8, -2
Let l = 11972 + -11936. Sort l, -30, 4 in increasing order.
-30, 4, l
Suppose -3*n - 296 + 300 = 2*v, 0 = v - 5*n - 2. Let t(c) = -5*c - 2. Let y be t(-3). Sort v, -2, y in descending order.
y, v, -2
Let w = 178/31 - 1896/341. Put -0.1, -2/3, w, -23/2 in descending order.
w, -0.1, -2/3, -23/2
Suppose -c - 16 = -t - 2*c, -t = 5*c - 52. Sort 1/5, t, 2/17 in increasing order.
2/17, 1/5, t
Let i = 13.08 - 9.08. Sort -26, i, -5 in ascending order.
-26, -5, i
Let d = 1559 - 1556. Let f = 26 + 6. Let m = f + -32.4. Sort m, 2/3, 3/4, d.
m, 2/3, 3/4, d
Suppose -394*d + 26 = -381*d. Put 0, d, 1, 5, -36 in decreasing order.
5, d, 1, 0, -36
Let m(r) = r**2 - 5*r - 19. Let z = -67 + 99. Suppose -12*y + z = -8*y. Let l be m(y). Put l, 0, 15 in decreasing order.
15, l, 0
Let h be 1343/187 + (-14)/2. Let u = 23/55 + h. Put 0.2, 2/13, u, 0 in decreasing order.
u, 0.2, 2/13, 0
Suppose 20*t - 16*t = 0. Suppose -6*r + 4*r + 66 = t. Let j = -1324 + 1321. Sort r, -4, 5, j.
-4, j, 5, r
Let n be (0 + -2)/(40/30). Let v = -5 + 4. Let t be (-9 - 1352/(-152))/1. Put v, t, n in ascending order.
n, v, t
Suppose 3*n + 19 = 4*y, n + 13 = -4*y + 28. Suppose y*f = -3*t - 1, 4*t = -4*f - 9 + 5. Put f, -1, 4, 38 in increasing order.
-1, f, 4, 38
Suppose -137 - 103 = -24*h. Let y be 84/h + -9 + 62/70. Let k be 4/(-14) - 94/(-84). Sort k, 0, y.
0, y, k
Let a = -123 - -127. Suppose 4*j - 2*p - 20 = 0, -3*p = -3*j - p + 15. Let t be ((-12)/j)/4 - -1. Sort 7, t, a in ascending order.
t, a, 7
Let w = 41285 + -41277. Put 4, 141/4, w in ascending order.
4, w, 141/4
Let k = -41 + 42. Let u be k/(1/24) - 0. Let i = u + -21. Sort i, 7, 5 in increasing order.
i, 5, 7
Let r = 91 + -91.41. Let d = 32 + -32.19. Let g = r + d. Sort g, 3/5, -1/6 in ascending order.
g, -1/6, 3/5
Let n = -7971 - -7871. Put n, -5, 1, 0.2 in increasing order.
n, -5, 0.2, 1
Suppose -3*i + 15 = -6*i + 2*h, 6 = -5*i - 3*h. Let w = -2366 + 2365. Sort i, 1, w, 0.
i, w, 0, 1
Suppose -523 = 7*i - 544. Suppose 5*z = k + 1, -4*k - 5 = -4*z - 1. Put i, -5, -75, z in increasing order.
-75, -5, z, i
Let h = -7105 + 7108. Sort h, 25, 1.8.
1.8, h, 25
Let g(q) = -331 + 12*q - 296 - 70*q. Let t be g(-11). Let m = -0.1 - -0.1. Sort m, -0.1, t.
-0.1, m, t
Let o be 1/(-7) - (-3528)/686. Sort 1, 0, o, 4, -9 in decreasing order.
o, 4, 1, 0, -9
Let a = 4.24 + -3.74. Let i = 57 - 53.7. Let x = 3.1 - i. Put a, 1, 0.2, x in increasing order.
x, 0.2, a, 1
Let l = -916.35 - 24.55. Let x = 927 + l. Put -0.1, x, 4 in decreasing order.
4, -0.1, x
Let z = 0.0698 + 0.0302. Let q be (-90)/24*3/240. Put z, 1, q in increasing order.
q, z, 1
Let z = -30 - -17. Let w be ((-2)/22 - (-87)/231)*(-28)/24. Put -0.4, z, w, 0.1 in descending order.
0.1, w, -0.4, z
Let o = -2.6 - -2.1. Suppose 13*t = 8*t - 310. Let x = 56 + t. Put o, -0.1, x, -1 in descending order.
-0.1, o, -1, x
Let k(h) = h**3 + 4*h**2 - 13*h - 8. Let x = 110 + -116. Let i be k(x). Put i, -3, -83 in descending order.
i, -3, -83
Suppose 173*q - 252 = -79. Sort -246, q, 2, -1/2 in descending order.
2, q, -1/2, -246
Let u = -21 + 50. Let w = 33 - u. Suppose -4*d - 5*o + 2 = -35, w*d = -4*o + 32. Put d, 4, 7, 2 in ascending order.
2, d, 4, 7
Let j = -2118 + 2122. Let i be 220/16 + (45/(-12))/5. Sort -1, 3, j, i in increasing order.
-1, 3, j, i
Suppose 45*b - 94 - 88 = -2. Sort -4/9, 0, -0.5, -0.011, b.
-0.5, -4/9, -0.011, 0, b
Let v be (3/(-21))/((-2)/(-2)). Let k = -0.0871 - -0.0871. Let n(l) = -2*l**3 + 2*l**2 - 1. Let r be n(1). Sort v, r, k in increasing order.
r, v, k
Let k = 8.143 + -8. Let h = -0.243 + k. Put -5, h, 3, 0.3 in descending order.
3, 0.3, h, -5
Suppose -2*l = 29*l - 99 - 87. Sort -4/3, 6/11, l, 0, -2/19 in descending order.
l, 6/11, 0, -2/19, -4/3
Suppose 0*c + 28 = 4*c. Suppose 2*k - 8 + 2 = 0, -3*w + 21 = 4*k. Sort c, -8, w in descending order.
c, w, -8
Let p(j) = 2*j - 3. Let t be p(-2). Let h be (-7 + 5 - -27)*19/19. Sort t, h, -3, -2 in decreasing order.
h, -2, -3, t
Let k = 0.27138 - 0.07138. Let y = 588 - 592.89. Let f = y - 0.11. Sort k, 4/3, f in increasing order.
f, k, 4/3
Let f = -337 - -345. Put f, 9, 1 in increasing order.
1, f, 9
Let o(j) = -12*j + 51 - 16 - 10 - 6. Let l be o(2). Sort l, -2, -1/8, 2/7.
l, -2, -1/8, 2/7
Let z(h) = -h**3 + 10*h**2 - 6*h - 14. Let o be z(8). Suppose 15*w + 9 = -o. Put 3, 0.3, w, 4 in descending order.
4, 3, 0.3, w
Suppose 356*z - 1160 = 360*z. Let b = -293 - z. Sort -64, b, 4 in descending order.
4, b, -64
Let b(v) = -v**3 + 17*v**2 + 19*v - 17. Let n be b(18). Suppose -41 = 25*k - 16. Put 16, n, k in decreasing order.
16, n, k
Let n = 3810 - 3804. Sort -2, -1, n, 19 in descending order.
19, n, -1, -2
Let w = -2.5698 - -3.0698. Sort -1.4, 2/13, 1, 8, w.
-1.4, 2/13, w, 1, 8
Let f = 44 + -49. Let b = 8 - 3. Suppose 13 - b = 2*c + d, -2*d = 0. Sort f, 6, c, -4 in descending order.
6, c, -4, f
Suppose 3*j = 5*j - 22. Suppose 0 = z - 4*o + 126, -10*z + 138 = -11*z - 2*o. Let t = 138 + z. Sort 5, j, t.
t, 5, j
Let b = 3.01 - 417.01. Let m = b + 413.95. Sort m, -3, -4, 1/4 in decreasing order.
1/4, m, -3, -4
Let o be 1066/(-123) + (-15 - -23). Let n = 7.15 - 7. Let r = 1.1 + -0.9. Sort r, n, o in increasing order.
o, n, r
Let w = -1833 + 1838. Sort 6, -2/5, w, -2/9 in descending order.
6, w, -2/9, -2/5
Let j = 435 - 444. Let q be -13 - j/(9/(-7)). Sort 2, q, 0 in decreasing order.
2, 0, q
Suppose 3*u + h + 2*h = -3, 13 = -3*u - 5*h. Suppose 57*g - 55*g = -u. Let j(f) = f**3 + f. Let a be j(2). Sort a, 1, g, 5 in descending order.
a, 5, 1, 