reasing order.
0.2, m, p
Let m = 20 + 4. Let a be (-24)/9*(-2)/m. Sort a, 0.1, 3, 2.
0.1, a, 2, 3
Let y = -2 + 1. Let z = -28.67 + -1.33. Let q = 34 + z. Sort q, 1, y.
y, 1, q
Let v = -7330 - -7329.2. Sort v, -7, 2/11, 2 in decreasing order.
2, 2/11, v, -7
Let u = 5959 - 9683. Sort u, 2, 5 in descending order.
5, 2, u
Suppose 37*z - 89 = 59. Let j be 1/(-3)*(-459)/(-9). Put 2, j, z in descending order.
z, 2, j
Let v be (16/(-56))/((-18)/21 - -1). Sort 3, v, 104, -1 in increasing order.
v, -1, 3, 104
Suppose -3*i + 4*l = -6*i - 13, 2*i = -l - 7. Let m = -0.549 + 0.049. Put -10/13, -2, i, m in decreasing order.
m, -10/13, -2, i
Suppose 2*n - 4*n = -4*j, -2*n + j = 0. Let h be 5 + n + -33 + 28. Put h, -1, -4, -12 in decreasing order.
h, -1, -4, -12
Let a = -1 + -1. Let l = 349 - 811. Let b = l + 462.5. Sort 0.1, a, -4/3, b in descending order.
b, 0.1, -4/3, a
Suppose -85*k = -4*k - 141 - 1479. Put k, 3, 8 in increasing order.
3, 8, k
Let d be (-5)/(-5)*-6*(-3 + -2)/(-10). Put 4, d, -2756 in descending order.
4, d, -2756
Suppose 2*n - 14 = -4*q, 3*q + 5*n - 9*n = -6. Sort 0, q, -969, 3 in descending order.
3, q, 0, -969
Let c = -78 - -82. Let o = -0.9 - 2.1. Suppose -3 = -5*s + 12. Sort -5, c, o, s.
-5, o, s, c
Let m(h) = 7*h - 1. Let d be m(1). Suppose -5*o + 3*a - 8 = 0, 2*o + 3*a - d = 5*o. Let z be (-435 - 45)/20 + 28. Put o, -3/7, z in increasing order.
o, -3/7, z
Suppose -4*b + 4*a = -17 + 5, 2*b + 2*a - 6 = 0. Suppose -9 = 5*n - 19. Let s = b + n. Sort 4, s, 29 in ascending order.
4, s, 29
Let w be (1 - -1) + -2 + 0/(-24). Suppose 2 = 15*k - 17*k. Sort -15, k, w, -3 in increasing order.
-15, -3, k, w
Let d = -42 + -215. Let j = d + 260. Put 2/11, j, 0.02 in decreasing order.
j, 2/11, 0.02
Let u be -18 - (5 + -44) - 17. Let c = 0 - 0. Sort -1, c, u, 19.
-1, c, u, 19
Suppose -17887*z + 17897*z = 10. Sort -1, z, -2, -38 in decreasing order.
z, -1, -2, -38
Let t = -14.57 + 12. Let w = t + -7.43. Put -0.1, 2/5, w in descending order.
2/5, -0.1, w
Let l = 3.96 - 3.56. Let v be (-1)/4 + 220/(-80). Put 4/5, v, l, 4 in ascending order.
v, l, 4/5, 4
Let w = 15625/85756 - 3/7796. Sort 18, -3/7, w.
-3/7, w, 18
Suppose 209*y + 40 = 5*n + 204*y, n + 3*y + 32 = 0. Suppose -3*u - l = -5*u - 8, 5*u = 5*l - 25. Put 15, u, -5, n in decreasing order.
15, n, u, -5
Let p = 459 - 875. Let m = 417 + p. Sort 4, m, 0, 17.
0, m, 4, 17
Suppose c + j = 39, 4*j = 3*c - 0*c - 96. Let n be -4 + -2 - (-64)/8. Put -3, c, n in descending order.
c, n, -3
Let g be 2/(-3) + (-21)/((-98406)/2992). Sort -5, 3, g in ascending order.
-5, g, 3
Suppose 0 = 2*y + y. Let c(g) = -3*g**3 + 2*g**2 + 3*g + 2. Let a be c(-1). Suppose t - 7 = 2*t + 3*o, 0 = -t - a*o - 10. Put -6, t, y in descending order.
t, y, -6
Suppose -4*p - 4*v + 3*v = 2284, -3*p = 2*v + 1713. Let d = -573 - p. Sort 0, d, -6 in descending order.
0, d, -6
Let w(q) = -q**2 - 14*q - 78. Let c be w(-10). Let b be 128/(-3) + 1/(-3). Let k = b - c. Sort k, 3, 1, 5 in ascending order.
k, 1, 3, 5
Let c = 33131/4 + -8282. Put 1, c, 7, 0.03, -1/4 in increasing order.
-1/4, 0.03, c, 1, 7
Suppose -y = -129*a + 121*a + 16, 2*y = 3*a - 6. Put -1/3, -5, a, -0.2, -925 in decreasing order.
a, -0.2, -1/3, -5, -925
Let l be (46 + -53)/((-42)/12). Sort -1, -22, 9, 5, l in ascending order.
-22, -1, l, 5, 9
Suppose 0 = 15*b - 9*b - 61*b + 330. Sort 2, 8, -2, b in descending order.
8, b, 2, -2
Let s be 208/12*(-132)/(-88). Sort -8, s, 3 in ascending order.
-8, 3, s
Suppose 12*l + 43 - 27 = -20. Sort 0.3, -4, 34, 0.4, l in increasing order.
-4, l, 0.3, 0.4, 34
Let a be (0 - 0 - -15) + 0. Let s = -67.89 + 64. Let c = s + -0.11. Sort c, -2/5, -2/13, a in decreasing order.
a, -2/13, -2/5, c
Let o(d) = 2*d**3 - 2*d**2 + 18*d + 19. Let w be o(-1). Let t = -30 - -25. Sort 3, 4, w, t in increasing order.
t, w, 3, 4
Let h = 27.918 + -27.718. Sort h, -2, -0.4, -1 in decreasing order.
h, -0.4, -1, -2
Let r be 8/(-2)*10/(-8). Let c be ((-55)/70)/(-11)*8. Let b = -104622 - -104621.6. Sort r, c, b in ascending order.
b, c, r
Suppose 0 = 14*w - 16*w - 5*b - 32, 4*w - 2 = b. Put w, -4, -11, 8, -3 in descending order.
8, w, -3, -4, -11
Let w = -568/2799 - 6/311. Sort 38/5, w, -2 in decreasing order.
38/5, w, -2
Let p(b) = -31*b - 251. Let c be p(-6). Sort -3, c, 4, 0 in ascending order.
c, -3, 0, 4
Let n = 12 + -12. Let h = 12.83 - 12.75. Put n, h, -4 in ascending order.
-4, n, h
Let i be 6/(-4) + 0 + (-9)/108*-10. Let m = 157 + -788/5. Sort 3/2, i, m, 41 in decreasing order.
41, 3/2, m, i
Let i be ((-5)/4)/((-2)/(-8)). Let s be 5/(-25) - (3 + 102/(-10)). Suppose -s*b + 19 = 12. Put i, 16, b in descending order.
16, b, i
Let k = -229.26 - 0.74. Let f = k - -211. Sort f, 0.04, 1/3 in ascending order.
f, 0.04, 1/3
Let b = -3251 - -3241. Let r = -5 + 5. Let p = r + -1. Sort 1/2, p, b in decreasing order.
1/2, p, b
Let i = 41 - 47. Let u be 17/6 + (i - 68/(-12)). Let y = -0.09 - -2.09. Put 3/4, y, 2/5, u in decreasing order.
u, y, 3/4, 2/5
Let o be (10 + (-595)/49)*2 + 4. Let i be (1/11)/((-9)/(-54)). Put -0.61, i, o, 1/2 in increasing order.
-0.61, o, 1/2, i
Let m = -1 + -4. Suppose 0 = -14*k + 96 - 68. Suppose -3 = 12*q - 11*q + k*v, -11 = -5*q + 3*v. Sort 2/3, m, q, 0 in descending order.
q, 2/3, 0, m
Let p(f) = f**2 + 12*f + 36. Let t be p(-3). Suppose d - t*l + 97 = -8*l, -4*l - 256 = 3*d. Sort -5, 3, 4, d in descending order.
4, 3, -5, d
Let v(f) = -2*f - 57. Let g be v(-32). Let o(w) = 10*w - 58. Let r be o(g). Sort 5, 0.5, r in decreasing order.
r, 5, 0.5
Suppose 54*h = -45*h - 31*h + 260. Put -2, h, 7, -3, -4 in ascending order.
-4, -3, -2, h, 7
Let u = 4487 + -1408. Sort -1, 5, u, 3 in decreasing order.
u, 5, 3, -1
Let v = 174 + -270. Let m = 27 + v. Put 0.3, m, 4 in ascending order.
m, 0.3, 4
Let u = 2.835 - 205.735. Let x = u + 203. Let h = -1 + 1. Sort x, 0.04, h in decreasing order.
x, 0.04, h
Let l = 95.633 + -83.633. Let k be (-1)/(-3)*3/(-7). Put -3, -3/7, k, l in descending order.
l, k, -3/7, -3
Suppose -6*l + 2*l + 16 = 0. Suppose 0 = q - 5*v + 22, -3 = -l*v + 13. Suppose 2*u - 12 = -u + 5*z, -z = 5*u - 20. Put -4, q, 5, u in increasing order.
-4, q, u, 5
Suppose 39 = 5*c + 5*p - 31, 38 = 3*c - p. Suppose o - 9 = -c. Suppose -5*u + 9 = -4*x, 2*u - 2*x = 3 - 1. Sort u, 12, o in increasing order.
o, u, 12
Let f be (139 - 141)*3/2. Let n(k) = k**3 + 5*k**2 - 6*k - 2. Let q be n(-6). Sort q, 2, -1, f in increasing order.
f, q, -1, 2
Let o = 50.047 - 50. Let w = -2332 + 2331.583. Let b = o + w. Put 0, b, 1/2 in ascending order.
b, 0, 1/2
Suppose -p = 0, 0*v - 5*p = -2*v + 966. Let h = -482 + v. Sort 7, -1, -5, h in decreasing order.
7, h, -1, -5
Suppose -820*b = -814*b. Put 6, b, -4, -2, -23 in descending order.
6, b, -2, -4, -23
Let y = -211 - -209.37. Let b = y - 0.37. Let x = -2.96 + -0.04. Put x, -2/5, b in increasing order.
x, b, -2/5
Let w = -8079 + 8080. Sort 3, 0, w, -10.
-10, 0, w, 3
Let y = 3662 - 3655. Put 8, y, -3, 2, 1 in decreasing order.
8, y, 2, 1, -3
Suppose 2*o - 42 = -2*p, -5*o + 43*p + 101 = 47*p. Sort 0.5, -0.3, o, -1, 0.4.
-1, -0.3, 0.4, 0.5, o
Let x be 60/9*3/(-2). Suppose 0 = -44*g + 77 - 77. Sort -1, -2, x, g in descending order.
g, -1, -2, x
Let k = -44/3 + 15. Let g = 0.622 + -408.122. Let z = -407 - g. Sort -4, z, k in decreasing order.
z, k, -4
Let k(o) = -6*o**2 + 795*o + 2025. Let j be k(135). Let h be ((-1)/4)/(2/(-8)). Put h, j, 12 in decreasing order.
12, h, j
Let r = -25.64 + 71.64. Sort 1, 8, r in increasing order.
1, 8, r
Suppose 0 = -13*w - 892 + 3219. Let k = w + -151. Put -0.2, -4/5, -0.3, k in descending order.
k, -0.2, -0.3, -4/5
Let i = 144.82 - 143.82. Sort -781, 0, 2, i in descending order.
2, i, 0, -781
Let x be (3/5*82/(-246))/(2 - 1). Put x, 34, 0.16 in decreasing order.
34, 0.16, x
Suppose -2*w = -w - 1. Let q = -2.2 + -0.8. Let r = -6.9589 + 0.9589. Put w, r, q, 5 in ascending order.
r, q, w, 5
Let g = 0.058 - 0.091. Let k = -7.033 - g. Let y = -0.07 + 0.47. Put 5, y, k in decreasing order.
5, y, k
Suppose -f = 4*y, f = -0*f - 5*y - 1. Suppose -2*k + 24 = -2*g, 6715*g - 6714*g = 5*k - 20. Sort 0, k, f, -2 in ascending order.
-2, 0, k, f
Let g be (-822)/(-548)*12/(-45). Let k(v) = -v**3 - 4*v**2 + 4. Let z be k(-4). Let l = 0.4 - 3.4. Sort l, g, z in descending order.
z, g, l
Let x = 3217/14436 -