 Sort t, -5, 11 in decreasing order.
t, 11, -5
Let p be 13/(-13)*7 - -4. Sort p, 1, 8, -5 in decreasing order.
8, 1, p, -5
Let v = 11 + -9. Suppose -v*t + 3 = -3*t. Let o be 2*-2*(-5)/(-2). Put o, 1, t in decreasing order.
1, t, o
Let r = 4 - 8. Let k be (-38)/r + (-2)/4. Let m = k - 14. Sort 3, m, 2 in descending order.
3, 2, m
Let t(n) = -3*n**3 + 7*n**2 - 21*n - 1. Let j(s) = -s**3 + 2*s**2 - 7*s. Let m(u) = -11*j(u) + 4*t(u). Let v be m(4). Put -3, -2, v, 4 in decreasing order.
4, v, -2, -3
Let r be (4/6)/(2 + (-116)/60). Suppose 5*a + r = -u, -2*a + 7*a + 35 = 4*u. Suppose -2*j = 5*o - 0*j - 9, -o - 3*j - 6 = 0. Sort u, -1, o in descending order.
u, o, -1
Let y = -46 + 51. Suppose 7 = y*n - 4*d + 17, -d + 5 = 0. Let j(u) = u + 5. Let i be j(-4). Sort n, -3, i in ascending order.
-3, i, n
Let f be ((-81)/6)/((-3)/6). Let p = -22 + f. Sort -2, 1, p.
-2, 1, p
Let o(q) = q**3 + 4*q**2 - q + 1. Let x be o(-6). Let m = x + 60. Let y be 2/8 + 3/12. Put y, m, 0.4 in decreasing order.
y, 0.4, m
Suppose 0 = -5*c + 1 + 4. Suppose 32*b + 9*b = -615. Sort c, -1, b.
b, -1, c
Let k = 5.51 + -5.31. Let r = -5.07 + 0.07. Sort k, -9, r in descending order.
k, r, -9
Let a = 1.42 - 1.92. Sort a, 3.4, 1, 3.
a, 1, 3, 3.4
Let r = 0.597 + -0.297. Let p = -9 + 4. Put r, 2/5, p in decreasing order.
2/5, r, p
Let m = -392 + 387. Sort 4, m, 2, -0.5 in increasing order.
m, -0.5, 2, 4
Let u(z) = z**3 - 8*z**2 + 6*z + 6. Let d be u(7). Let j = 31.7 + -30. Let k = j - 1.2. Sort -2, k, d in descending order.
k, d, -2
Let l be (((-18)/(-8))/(-1))/(194/(-10864)). Sort -6, l, 3 in ascending order.
-6, 3, l
Let u = -1 + -5. Let v(z) = -4*z**2 + 2*z. Let b be v(1). Sort b, u, 4, -1.
u, b, -1, 4
Let s = 608 + -5464/9. Sort 0.2, -4, s in increasing order.
-4, 0.2, s
Let x(j) = -4*j + 72. Let l be x(17). Put l, -3, 2 in descending order.
l, 2, -3
Suppose -2*i + 6 = -2. Suppose u + 10*a = 15*a, 0 = 2*u - 4*a - 6. Sort 0, u, i, -2 in decreasing order.
u, i, 0, -2
Suppose -4*a - 2*a = 0. Sort -2/9, a, -0.5.
-0.5, -2/9, a
Let d(w) = -4*w**3 + 33*w**2 + 25*w + 23. Let c be d(9). Put c, -2, 0, -63 in descending order.
c, 0, -2, -63
Let i = 91 - 63. Let l = i + -28. Sort l, 2, -3 in decreasing order.
2, l, -3
Let j = 5.48 - 8.48. Suppose 5*p - 35 = -4*k, -14 = -2*p - k - k. Sort -4, j, p in decreasing order.
p, j, -4
Let p be ((-24)/(-16))/(1/2). Suppose 0 = -5*j + 5*q, p*j - 2*q = -0*j + 2. Put 11, 5, j in descending order.
11, 5, j
Let x = 66 + -26. Let n = x - 43. Put -1/3, -3/7, n in increasing order.
n, -3/7, -1/3
Let g be (-3 - -4 - (1 - 0)) + 1. Suppose -5*m + 13 = -2*s, 4*m - 2*m = 2. Sort s, -2, -1, g.
s, -2, -1, g
Let w(z) = 2*z + 16. Let g be w(7). Let n = 48 - g. Let t = -18 + n. Put 8, 0.5, t in decreasing order.
8, 0.5, t
Let z = 351/7 - 50. Let c = 9.06 + -0.06. Let s = -25 - -24. Put c, z, s in decreasing order.
c, z, s
Let d = 0.858 - 21.858. Put d, 4, -0.4 in descending order.
4, -0.4, d
Let d = -601/2502 + 5/278. Let l = 4 - 3.7. Let w = 10.2 - 0.2. Put l, w, d in decreasing order.
w, l, d
Let f be 4/14 + 24/(-21). Let a be 3 - (2 - 0 - 62). Let n be 7 - 244/36 - (-4)/a. Put -2, n, f in descending order.
n, f, -2
Let p be -2 - -2 - (0 - -1). Let w = 761 - 765. Put p, w, -3 in increasing order.
w, -3, p
Suppose y = 5*y + 4. Let k be 1 + (-10 - -6) + -1*1. Sort y, k, -13.
-13, k, y
Let g be 0 + -5 + (1073/232 - (-3)/8). Let r(y) = 2*y. Let f be r(-2). Sort f, g, 3 in decreasing order.
3, g, f
Let r(j) = -j**3 + j**2 + 9*j + 6. Let a be r(3). Sort -3, -1, a, 0 in decreasing order.
a, 0, -1, -3
Let n = 2593/5 - 519. Let v = 0.01 + 0.09. Suppose w - 20 = 6*w. Sort v, n, w in descending order.
v, n, w
Suppose 83*x - 75*x = -16. Let c(h) = -h + 4. Let m be c(0). Sort m, 1, x, -3 in descending order.
m, 1, x, -3
Let z = 0.1 + 0.1. Suppose -8*m + 1362 = 1330. Sort 0.19, m, z in decreasing order.
m, z, 0.19
Let w(t) = -12*t + 15. Let u be w(5). Let k = u - -40. Sort -4, k, 4.
k, -4, 4
Suppose -4*l - v + 7 = 0, v + v = 3*l + 3. Put 177, 0.4, l in decreasing order.
177, l, 0.4
Suppose -5*o - 4*w + 25 = 0, 16*w = 3*o + 19*w - 15. Put -6, -7, 3, o in ascending order.
-7, -6, 3, o
Let d = 265 + -254. Put 3, -3, d, 4 in decreasing order.
d, 4, 3, -3
Let z(r) = r**3 + 6*r**2 + 9*r. Let u be z(-3). Suppose -3*h + 2*h + 3*b - 12 = u, 2*b - 1 = 3*h. Suppose -9 - 11 = 5*w. Put w, h, -2 in descending order.
h, -2, w
Suppose 2*l - 25 = 7*l. Suppose 2*v - 4*b - 6 = 2, 7 = 4*v - 5*b. Sort 2, v, 0, l.
l, v, 0, 2
Let c = -437 - -437. Let i = -8 - -7. Let l be -2*(1 - i - 1). Put -5, c, l in increasing order.
-5, l, c
Let i be 15/175 + (-94)/(-14) + -7. Let v = 2 + -4. Let f = v - -2.4. Put i, f, -3 in increasing order.
-3, i, f
Let s = 0.57 + -0.07. Suppose -1 = -b + 2, -4*a + 3*b + 15 = 0. Let w be (-4)/a*2/8. Sort s, w, 4 in increasing order.
w, s, 4
Let l be 0 - -2 - (10 - (9 - 2)). Sort l, 3, -2, 2 in increasing order.
-2, l, 2, 3
Suppose -4*j - 28 = -5*n, -4*n = -n - 4*j - 20. Suppose d = 4*d + 2*q - 2, -n*d + q - 1 = 0. Sort -1, d, 3 in descending order.
3, d, -1
Let m = -2 + 5. Suppose -m*u = -0*u - 36. Suppose -3*c - u = c. Sort c, 0, -2.
c, -2, 0
Let p = -39 - -40. Let z be -3 + 1*(p + 6). Suppose 0 = 2*k + 5 - 25. Put z, -2, k in ascending order.
-2, z, k
Let q be 6 + (-5)/1 + (-36)/12. Sort 23, 10, q, 2 in descending order.
23, 10, 2, q
Suppose 5 = 5*x + m, m + 17 = -4*x - 4*m. Let i(j) = j**3 + 22*j**2 - 3*j - 65. Let w be i(-22). Put 4, w, -2, x in ascending order.
-2, w, x, 4
Let t = 22.1 + -119. Let c = -97 - t. Put c, -9, 0.3 in ascending order.
-9, c, 0.3
Let j = -502 + 501. Let b be (-3)/((-3)/(-4)) - 0. Sort -2, b, j in decreasing order.
j, -2, b
Let x(o) = -o**2 + 10*o - 27. Let l be x(5). Sort l, -1, 0.2, -195 in decreasing order.
0.2, -1, l, -195
Suppose -4*p - 3*n - 15 = 0, 2*p - 4*n + 0*n = -2. Suppose 2*x + 1 - 3 = 0. Put p, x, -4, -1 in decreasing order.
x, -1, p, -4
Let r = 12 - 7. Let v(q) = 2*q - 13. Let g be v(6). Put g, r, 1 in ascending order.
g, 1, r
Suppose 22 - 23 = -k. Put -7, 8, k in decreasing order.
8, k, -7
Let j be 0/1 + 2/15. Suppose 4*a = 0, -b - b = 5*a - 24. Let t = -17 + b. Sort t, -1/6, j.
t, -1/6, j
Let n = -3.71 + 0.21. Let l = -3.9 - n. Sort l, -2, 3/5 in descending order.
3/5, l, -2
Let z be 12 - (60/6 + 2). Suppose -2*m - 4 = 4. Sort m, 3, z in ascending order.
m, z, 3
Suppose -3*m + 2*l = -13 - 6, 0 = 5*m + 2*l - 21. Sort -0.5, m, -311, 1 in descending order.
m, 1, -0.5, -311
Let n = 2.1 + -0.1. Suppose 0 = -2*r - 5*q + 75, r - 4*q = -q + 32. Sort r, -0.3, -0.2, n in decreasing order.
r, n, -0.2, -0.3
Let h = 1359 - 1359.05. Sort 2, h, 0.4 in descending order.
2, 0.4, h
Let x = -954 - -956. Put 20, x, 8 in decreasing order.
20, 8, x
Let w = -43 - -70. Let y = -31 + w. Sort 34, y, 0.2 in descending order.
34, 0.2, y
Suppose -3*j + 32 = j - 2*f, 4*f + 8 = 0. Suppose 12 = 4*p + 2*b, 3*p + j*b - 2 = 2*b. Put p, -0.1, 25 in increasing order.
-0.1, p, 25
Let u be 56/(-140)*((-87)/6 + 2). Let v(y) = -2*y**2 - 1. Let i be v(-1). Sort u, 1, i in decreasing order.
u, 1, i
Let z = 2949 - 2949. Put 1, 285, 4, z in decreasing order.
285, 4, 1, z
Let i = -5.0533 - -0.0533. Sort -4/9, 0.3, 2/39, i.
i, -4/9, 2/39, 0.3
Let d = 79.1 - 77.1. Let v = 7/15 - -1/5. Sort d, -2/7, v, 0.2 in descending order.
d, v, 0.2, -2/7
Suppose 5 = -v + 35. Let r = 34 - v. Let p be (-6)/2 + 1 + 0. Put r, 5, p in descending order.
5, r, p
Let m = 1766/5 - 353. Sort 1, m, 4, -5 in descending order.
4, 1, m, -5
Let g = -26.8 + 31. Let a = -0.136 - 0.064. Let d = g + a. Sort 1/5, d, 2/15 in increasing order.
2/15, 1/5, d
Let h = -17.6 + 18.6. Put 3, h, 22/9, -2 in ascending order.
-2, h, 22/9, 3
Let g be 9/12*(24/(-54) + 0). Put g, -4, -141, -3 in increasing order.
-141, -4, -3, g
Suppose 0*z - 4*z + 20 = -k, 5*k - 2*z = -10. Sort -2, k, -5, 4 in decreasing order.
4, k, -2, -5
Let x = -792 - -792.5. Sort x, 2/5, 8, -5 in increasing order.
-5, 2/5, x, 8
Let y = -0.25 + -8.75. Let c = 16.6 - 17. Put y, -0.2, c in increasing order.
y, c, -0.2
Let i = 401 + -402. Let v(b) = b**2 + 3*b - 5. Let l be v(-5). Let g(t) = t**3 + 3*t**2 + 2*t - 2. Let c be g(-2). Put l, c, i in decreasing order.
l, i, c
Let v = -379/4 - -3419/36. Put -1/3, v, 1.8, -2/5 in increasing order.
-2/5, -1/3, v,