 Let x = s - -2.5. Sort -1, x, u in descending order.
u, x, -1
Let y = -956.3 - -956. Put y, 3/8, -17/2, -2 in descending order.
3/8, y, -2, -17/2
Suppose 5*m = m + 12. Suppose m*n = 5*k + 52, -n + k - 7 + 21 = 0. Sort 4, n, -1 in decreasing order.
n, 4, -1
Suppose s = 3*s - 2*f - 12, -4*s - 5*f - 3 = 0. Suppose 0*g = -s*g. Put -5, 3, g in increasing order.
-5, g, 3
Let p = -2 + 1. Let y be 8/6*(-438)/2336. Let x = -1/4 + 9/20. Sort x, p, y in descending order.
x, y, p
Let z(s) = s**2 + 8*s - 11. Let l be z(-9). Let n(i) = -i**2 + 5*i + 23. Let p be n(-3). Put p, 4, 0, l in decreasing order.
4, 0, p, l
Let h = -8 - -13. Suppose 0 = -4*v - 24, -9*i + 32 = -14*i - 2*v. Sort -5, h, i, 0 in descending order.
h, 0, i, -5
Let u = 52.5 + -53. Sort u, 6/11, -2/13, 4 in ascending order.
u, -2/13, 6/11, 4
Let a(n) = n + 8. Let d be a(-6). Let t = -665 + 660. Put -8, d, t, -2 in ascending order.
-8, t, -2, d
Let x be (-3)/6*-6 + 1/(-1). Suppose 0 = -r - 3*a, 3*a - 2*a - 3 = 0. Put x, r, -1 in decreasing order.
x, -1, r
Let p = 58 + -91. Let s = p + 32. Sort s, -7, -3.
-7, -3, s
Suppose -17 = -4*o - 30*x + 27*x, -5*o + 2*x + 27 = 0. Put 2, o, -3, 10 in ascending order.
-3, 2, o, 10
Let m = 4 + -4. Let t be -1*(1/12*21 - 2). Sort -5, m, t in decreasing order.
t, m, -5
Suppose 6 = -4*q + 2*q. Let w(z) = -z**3 - 7*z**2 + 7*z - 10. Let h be w(-8). Sort q, -4, h, -1 in decreasing order.
-1, h, q, -4
Let s = -30/17 - -99/85. Let c = -1.2 + 1.23. Let u = 75 + -78. Put u, s, c in decreasing order.
c, s, u
Let d = -26.41 - -27. Let m = -0.39 + d. Put m, 2/5, 3 in increasing order.
m, 2/5, 3
Let v = -13 - -18. Let y(k) = -k**2 + 14*k - 14. Let s be y(12). Sort s, v, -3.
-3, v, s
Suppose 32740 = -30*h + 32890. Let n be 1*((-2)/1 - -5). Sort 2, n, h, 16 in ascending order.
2, n, h, 16
Let i = -108 - -104. Sort -9, -5, i in increasing order.
-9, -5, i
Let c = -11 + 3. Let t = c - -6. Let g = 0.3 + 0.1. Sort -0.4, g, t.
t, -0.4, g
Let b = 1.95 - -0.05. Let k be (-14)/15*(-159)/371. Put -0.1, b, -5, k in increasing order.
-5, -0.1, k, b
Let q(d) = d**3 - 9*d**2 + d - 6. Let z be q(9). Let f = 8 - z. Let r be (-5 - (-1 + 1)) + 2. Sort f, r, 1 in descending order.
f, 1, r
Let z(c) be the second derivative of -c**5/20 + c**4/2 + c**3/6 - 3*c**2 - 33*c. Let p be z(6). Sort p, -9, 5, -2.
-9, -2, p, 5
Let h = 3 + -6. Let m be (-1276)/348 - 32/(-12). Sort 24, h, m, 0.4.
h, m, 0.4, 24
Suppose 3*t + 36 = b - 31, -2*b = -2*t - 46. Let k = 30 + t. Sort -1, 3, k in ascending order.
-1, 3, k
Let g = 4 + -5. Let v = -112 - -162. Suppose -14 + v = 9*q. Sort g, -5, q in descending order.
q, g, -5
Let s = 12.8127 + 0.1873. Sort s, 0.2, -1/13 in ascending order.
-1/13, 0.2, s
Suppose 13*o - 73 = -21. Let p be 2 - -3*(-10)/6. Sort -30, p, o, 3/7.
-30, p, 3/7, o
Let s = 3 + -4. Let z be (0 - 0 - -2) + 1 + -6. Put 2, s, z in decreasing order.
2, s, z
Let i = 185 - 186. Sort i, 5, -3, 0 in descending order.
5, 0, i, -3
Let z = -775 - -775.66. Put -2/17, -0.1, z in ascending order.
-2/17, -0.1, z
Suppose -4*m = 8 - 40. Let h be 2/m - (-88)/32 - 0. Put -1, h, 8 in ascending order.
-1, h, 8
Suppose -24 = 3*a - 5*a. Suppose a = 3*r, 7*q - 2*q + 2*r - 28 = 0. Suppose 12 = -3*m - m. Put 5, q, m in decreasing order.
5, q, m
Let h = -368 + 2209/6. Put 1/4, h, -5, 2/5 in ascending order.
-5, h, 1/4, 2/5
Suppose -82 = 6*c - 34. Put 3, c, 5 in increasing order.
c, 3, 5
Let n be 28/(-35)*((-14)/(-4) - 1). Sort n, 3/5, 1/54.
n, 1/54, 3/5
Let h be (1*-2)/(6/(-9)). Suppose 22*q = 32*q - 40. Sort h, -4, 2, q in increasing order.
-4, 2, h, q
Let h = 0.0332 + -0.0332. Let m be ((-2)/3)/(2/12). Put m, -1, 4, h in increasing order.
m, -1, h, 4
Suppose -1320*u + 1318*u - 4 = 0. Sort 0, -38, u, -1 in descending order.
0, -1, u, -38
Let p = 11 + -27. Let s = -19 - p. Put 2, -2, s in descending order.
2, -2, s
Let k = 3.06 - 0.06. Let s = 321.1 - 321. Put s, 0, k in decreasing order.
k, s, 0
Let w be (4 - 7) + 1 + (0 - 0). Put -57, w, -3 in increasing order.
-57, -3, w
Let b = 9.73 + -9.83. Sort b, 2, 4/15 in descending order.
2, 4/15, b
Let p = 703.2 - 645. Let y = p - 58. Put -1/2, -2, y, 0.5 in descending order.
0.5, y, -1/2, -2
Let h be 172/2709*9/2. Put h, 326, -0.1, 3 in increasing order.
-0.1, h, 3, 326
Let m = 428 + -429. Put 0.2, m, -3, 3 in decreasing order.
3, 0.2, m, -3
Let p(u) = -u**3 - 8*u**2 + 49*u - 3. Let j be p(4). Sort 0.09, 0.6, j, -0.4.
-0.4, 0.09, 0.6, j
Let v = 441 + -881/2. Sort v, 7/3, 2/3, -3 in increasing order.
-3, v, 2/3, 7/3
Let h = 102 - 108. Put h, -8, 3 in ascending order.
-8, h, 3
Let y be (-9)/2*4/(-6). Let s(l) = 5*l**3 + 4*l**2 - l - 4. Let p be s(-3). Let h be p/30 + 1/y. Sort h, -2/7, 0.3 in increasing order.
h, -2/7, 0.3
Suppose 10*z - 6*z + 12 = 0. Let r = -189 + 194. Put r, 9, z in decreasing order.
9, r, z
Suppose -3*o + 2*x + 1 = 12, 2*o = -3*x - 29. Let r be 4/16*((-198)/(-189) + (-18)/(-63)). Sort r, -2, o in descending order.
r, -2, o
Let z = -2 + 1. Let f(g) = 3*g + 145. Let x be f(-46). Sort x, z, 2 in ascending order.
z, 2, x
Suppose -24*y - 2*b = -29*y + 23, y = -b - 1. Sort 16, y, -3 in ascending order.
-3, y, 16
Let l = -388/9 - -394/9. Put -5, 2, 16, l in descending order.
16, 2, l, -5
Let x be (17/(765/(-12)))/(2/(-15)). Put x, 1, -11 in descending order.
x, 1, -11
Let p(x) = x**2 - 11*x - 26. Let c be p(13). Sort -15, c, 3 in increasing order.
-15, c, 3
Let i = 75 + -77. Let y = 2 - -3. Put i, y, 1 in decreasing order.
y, 1, i
Let d = -134.05 + 138. Let j = 366.95 - 367. Let k = j - d. Sort -2, -1/5, k in decreasing order.
-1/5, -2, k
Suppose -6*b + 10 = 4*v, 16*b - 20*b + 15 = v. Let y(z) = z**3 + 4*z**2 + 2*z - 4. Let u be y(-3). Sort 6, u, b.
u, b, 6
Suppose -23*r + 46 = -23. Sort -3, r, 4, 5 in descending order.
5, 4, r, -3
Let t = -24 + 21. Suppose 0 = -2*m + 4 + 30. Put m, t, -5 in decreasing order.
m, t, -5
Suppose -2*v + 3 = 21. Let a be 3/v - (-35)/15. Put 0, -0.3, a in decreasing order.
a, 0, -0.3
Suppose 0 = -5*m - 2*q - 0*q + 24, -5*q = -4*m + 6. Suppose -1 + 10 = 3*d. Suppose -k - v - 17 = 4*k, 4*k - d*v = -6. Put m, k, 3 in descending order.
m, 3, k
Let n = -254.83 + 255. Sort -2/11, 4, n in descending order.
4, n, -2/11
Let u be 1 + 2 - (4 - -2). Suppose -2*t - 7 = -2*i + 7, 0 = -3*i + 2*t + 17. Sort u, -4, i, -5 in decreasing order.
i, u, -4, -5
Let m(o) = 5*o**2 + 2*o + 1. Let y be m(-3). Let n be (6/(-5))/((-12)/y). Suppose 0 = 25*b - 13*b + 12. Sort n, b, 5 in descending order.
5, n, b
Let g(m) = -3*m + 31. Let y be g(12). Suppose 0 + 2 = f, 5*f - 6 = u. Sort 10, y, u in increasing order.
y, u, 10
Let t(i) = i**3 - 6*i**2 + 6*i. Let j be t(5). Suppose 4*n + 46 = 82. Sort -3, n, j in descending order.
n, j, -3
Suppose -4*t - 15 = -o - t, 4*t + 20 = -2*o. Suppose -90 = -0*j + 9*j. Sort o, 3, 4, j in increasing order.
j, o, 3, 4
Let p(w) = w**3 - 5*w**2 - 17*w + 24. Let v be p(7). Sort -5, -2, -13, v.
-13, -5, -2, v
Let j = 7 + 5. Let y be j/(-20)*(-20)/54. Let l = -0.7 + -2.3. Put y, l, 0.2 in descending order.
y, 0.2, l
Let o(g) = g**2 - 6*g + 15. Let t be o(4). Suppose 6*b + 5*m - 13 = 8*b, 4*b = -m + t. Sort -25, b, -1.
-25, -1, b
Let k = 13.6 + 15.4. Put -4, 2, k, 1/2 in increasing order.
-4, 1/2, 2, k
Let p = -116.6 + 120.6. Sort 102, -3, p in ascending order.
-3, p, 102
Let y be (3/4)/(2/(-8)). Let f = 92 - 87. Sort y, f, 0 in descending order.
f, 0, y
Let b = -1403 + 1396. Sort -5, 1, 2, b in decreasing order.
2, 1, -5, b
Let q(f) = f**3 + 6*f**2 + 4*f - 7. Let h be q(-5). Let t be 2/((-8)/(-6) + h). Let l = 28 + -27.5. Put t, l, -3/2 in decreasing order.
l, -3/2, t
Suppose 0 = 4*b + 4*c, -3*b = -0*c - c - 4. Let o(x) = -2*x**2 + 5*x - 3. Let i be o(b). Sort 5, 29, i.
i, 5, 29
Let x = 1 - 23. Let h = -18 - x. Put -1, -4, h in ascending order.
-4, -1, h
Let l = 12 - 10. Suppose 0 = -l*x + d - 1, -x + d = -3*x - 3. Put x, -5, 1 in decreasing order.
1, x, -5
Let f = -13.5 - -10.5. Sort 0.4, f, 1 in descending order.
1, 0.4, f
Let u be (-2)/(-3) + 32/(-42). Let z = -4.8936 + -0.1064. Sort -3, u, z.
z, -3, u
Let a = -1.42 + 0.12. Let w = -1 - a. Let t = 114 + -459/4. Put t, 4, w in ascending order.
t, w, 4
Let m be ((-18)/(-15))/(6/(-15)). Let x be 6 - 33/(-2 - -5). Suppose -12 = c - 4*c. Sort m, x, c in descending order.
c, m, x
Let z