Sort 4, 2, -1, d in descending order.
4, 2, -1, d
Let j be (-13)/585*-63 - 3*1. Let s = 14 + -13.95. Sort s, -2/13, j in descending order.
s, -2/13, j
Suppose 2*j = -2*j - 4. Suppose -p - 3*p - 2*f = 6, -4*p = 5*f - 9. Let m(g) = -164*g - 989. Let l be m(-6). Put p, -2, j, l in decreasing order.
j, -2, p, l
Let c = -3688 + 3690. Put -81.7, c, -3/4 in descending order.
c, -3/4, -81.7
Let d = -12 + 13. Let g = 305 + -298. Sort 0, d, 4, g.
0, d, 4, g
Let t = 1.8 + -9.8. Let a = t - -7.7. Let w be -9 - ((-4)/66)/((-30)/(-4365)). Put a, -0.09, w in descending order.
-0.09, w, a
Let o = 7632 - 7628. Sort -191, 0, o in decreasing order.
o, 0, -191
Let b = -4.0798 - 0.0562. Let c = -0.136 - b. Let w = -0.1 + 0. Put c, 0.1, w, -5 in increasing order.
-5, w, 0.1, c
Suppose 113*v - 38*v + 64 = 59*v. Let j(s) = 7*s**2 + s + 2. Let m(z) = -6*z**2 - z - 1. Let o(k) = 3*j(k) + 4*m(k). Let i be o(2). Sort 2, 0, i, v.
i, v, 0, 2
Let i = 0.216 + -0.398. Let c = -0.482 - i. Put -0.1, 3/2, c in increasing order.
c, -0.1, 3/2
Let g = -13828 - -13834. Let w = -10 + 6. Put w, g, -0.1 in decreasing order.
g, -0.1, w
Let c be (-234)/12*(-4 + 10 + -4). Sort -1/3, 1, c, -2/7 in increasing order.
c, -1/3, -2/7, 1
Let a = -8.118 + -0.082. Let i = -882.4 + 874. Let t = i - a. Sort -1, t, -0.4 in descending order.
t, -0.4, -1
Let k(t) = t + 6. Suppose 0 = 2*b - 34 + 26. Suppose 0*j + j + 3*c - b = 0, -2*j = -2*c + 16. Let n be k(j). Put -2, n, -13 in increasing order.
-13, -2, n
Suppose 2*u + 2*u + 106 = 2*c, -c + u = -49. Suppose -c = -b + 2*b. Suppose 4*n + 0*x + 2 = -x, 0 = 4*x + 8. Put b, -2, n in decreasing order.
n, -2, b
Let f = -453 - -468. Put -1, f, 1/15 in decreasing order.
f, 1/15, -1
Let w = 0.116 - 0.144. Let t = w + 8.928. Let y = t + -9.3. Sort -3, 5, y in descending order.
5, y, -3
Let l(s) = 7*s**3 + s. Let d be l(-1). Let r be (2 + 4/d)/(3/(-4)). Let w(g) = -g + 2. Let q be w(2). Sort r, q, 3 in ascending order.
r, q, 3
Let d be -5 + (3 - 1) - -15. Suppose 17 = -4*r + f + 2*f, 4*r - 4*f + 16 = 0. Let a be (-12)/(-9)*(-12)/8. Sort 0.3, a, d, r in descending order.
d, 0.3, a, r
Let g = 72.37 + -72. Let d = 38.37 - g. Let q = d + -37.8. Put q, 0.1, 2, -5 in increasing order.
-5, 0.1, q, 2
Let o be ((-11)/(6050/(-10)))/((2 + -5)/6). Put 4, 2/13, 6/5, o in ascending order.
o, 2/13, 6/5, 4
Suppose 1 = 3*s - 5. Suppose 0*b = 5*b + 3*l - 150, l = 5*b - 130. Let z be 2/(-3)*(-2)/(12/b). Sort -5, 4, s, z in increasing order.
-5, s, z, 4
Let q be (-6)/(-15)*175/28*2. Let d(u) = u**3 - 5*u**2 + 2*u + 25. Let y be d(q). Let n = -1 - -5. Put n, 0.2, y in increasing order.
0.2, n, y
Let f(t) = -49*t + 1517. Let v be f(31). Sort -0.9, 0.2, v, -0.29, -1/2 in descending order.
0.2, -0.29, -1/2, -0.9, v
Suppose -2*k + 5*z + 7 = 0, 0*k = k + 2*z + 1. Let q be -1 + -1*k - 285/(-171). Put 1/6, q, 0, -1/4 in descending order.
1/6, 0, -1/4, q
Let u = 7 - 4. Suppose 3*c = 10 - 4. Let s be c/3*120/(-48). Sort 0.1, u, s.
s, 0.1, u
Suppose -4*g = -r - 17, -16 = -6*g + 3*g + 4*r. Let x be ((-1)/g)/(((-58)/24)/29). Put -4, x, 0 in descending order.
x, 0, -4
Let x = 291/785 + 36/157. Put x, -7/5, -4/11, 1 in increasing order.
-7/5, -4/11, x, 1
Suppose -4*d + 5 = -5*r, -97*d + 93*d = 2*r + 2. Put 0.36, -14, -0.4, r in decreasing order.
0.36, -0.4, r, -14
Suppose 4*a = u + 7, -3*u - 32 = -23. Put 36, -13, a in ascending order.
-13, a, 36
Let z = -3.2016 - -2.7016. Suppose 0 = -5*v + 6 + 4. Put v, -4, 2/3, z in decreasing order.
v, 2/3, z, -4
Let l = 13 - 13.4. Let k = -34/11 + 100/33. Sort 3, k, l.
l, k, 3
Let x = 88 + -85. Let s be 5 + 4 + (-21)/x. Let t be (-120)/(-32) + s*-2. Sort t, -1/3, -2/7.
-1/3, -2/7, t
Let w be 4 - (37 - 3 - 7)*(-2)/(-6). Sort w, -3, 83.7 in increasing order.
w, -3, 83.7
Let x = -2785 - -2780. Put -4/9, -12, x in increasing order.
-12, x, -4/9
Suppose 13*u + 11*h = 9*u + 48, 48 = 4*u - 5*h. Put 2, 132, u in descending order.
132, u, 2
Let q be (114/(-40) + 1/4)/(259/(-1295)). Sort 3, q, 5, -4.
-4, 3, 5, q
Let a(v) be the second derivative of -11*v**5/20 + v**2/2 + 5*v. Let h be a(1). Let y be 7 + -16 + 9 + (-1)/1. Sort 4, h, y.
h, y, 4
Let k = -32376 + 32375.8. Let r be 0/(-1) + 9/(-7). Put -3, k, r in increasing order.
-3, r, k
Suppose 9*k - 15*k = -66. Let s(u) = u**3 - 10*u**2 - 9*u - 18. Let w be s(k). Suppose 0 = -12*b + 11*b - w. Put -0.19, b, 3 in increasing order.
b, -0.19, 3
Let h = -271 + 541/2. Let k be 147/(-666) - (2 - 52/24). Sort -1/4, k, h.
h, -1/4, k
Let u(k) = 2*k**2 - k - 1. Let t be u(-1). Let b = -828 - -830. Let n be (-22)/(-5) + b/(-5). Put n, t, -5 in increasing order.
-5, t, n
Let m = -2940/27569 + 2/1451. Put m, 4, 137 in descending order.
137, 4, m
Let u = 8786 - 8791. Suppose q - 22 = -0*q. Let j be ((-11)/q)/((-2)/4). Put -4, u, j in descending order.
j, -4, u
Let v = 50.978 - -0.022. Let d = -159.4 - -108. Let s = d + v. Sort s, 5, -0.04 in decreasing order.
5, -0.04, s
Suppose -x = 2*k - 2*x - 6, -k - 3*x + 17 = 0. Suppose t = h + 3*t + k, -4*h + 45 = -5*t. Let a be h*9/30*-2. Put 42, -2, a in ascending order.
a, -2, 42
Let m = -17820 - -17823. Sort 0.1, m, -22.
-22, 0.1, m
Let t = 5.921 + -5.201. Sort -2, -0.1, 2, 0.1, t in descending order.
2, t, 0.1, -0.1, -2
Suppose -191 = 3*p + r, -r = -5*p + p - 264. Let o be 3 - (p + 13) - (-3)/1. Put o, 4, 2 in decreasing order.
o, 4, 2
Let x = -2.515 + 577.015. Let t = x - 574. Sort t, -2/51, -3 in decreasing order.
t, -2/51, -3
Let v be 65/(16/((-352)/(-110))). Put 8, 0, v, 1 in descending order.
v, 8, 1, 0
Let r = -19.7 + 21. Let b be (-20 + 14 + 8)/(-7). Suppose 4*n - 5*i + 28 = 0, -2*n - 4*i + 2*i = -4. Put n, b, 0.5, r in decreasing order.
r, 0.5, b, n
Let c = 9.315 - 8.315. Let r = -3 - -7. Suppose 5*v + r = -16. Sort 3, v, c in decreasing order.
3, c, v
Let v be (-42)/(-27) - 30/18. Let h = -15.6 - -12.6. Sort h, v, 0, -1.
h, -1, v, 0
Let t = -161.77 + -14.21. Let x = 176 + t. Put x, 2, -4 in descending order.
2, x, -4
Let q = 160 - 156. Let w = -12 - 23. Let x = -33 - w. Sort -4, -2, q, x in increasing order.
-4, -2, x, q
Let z = 12462 - 12458. Put 4/5, z, -338, -0.3 in decreasing order.
z, 4/5, -0.3, -338
Suppose -i + 2*i + 6 = 0, -2*i + 12 = -4*o. Put o, -40, 2 in ascending order.
-40, o, 2
Let r = 4084.9 - 4086. Put r, 0.18, 0, 3 in decreasing order.
3, 0.18, 0, r
Let v = -0.8 - -0.4. Let s = 473 - 475. Let w be s/((-102)/68*(-40)/(-6)). Put w, v, 1/9 in increasing order.
v, 1/9, w
Suppose 0*t = 4*t - 32. Let a be (128/12)/16*2/t. Sort -1/4, a, -0.1, 3/7 in increasing order.
-1/4, -0.1, a, 3/7
Let t be (-1)/3 - (-16)/3. Suppose 0 = -9*o + 356 + 112. Suppose 34 + o = 43*v. Sort 1, -17, v, t in ascending order.
-17, 1, v, t
Let r = -4 - -5. Suppose 3*f = m - 4*m - 15, 0 = 5*f + 5. Let i = m + r. Put i, 4, -4, 2 in descending order.
4, 2, i, -4
Suppose 264*h - 61*h = -25*h - 456. Put -5, 3, 775, 0, h in decreasing order.
775, 3, 0, h, -5
Suppose 0 = -f + 4*h - 4, f - 2*h + 2 = -2. Suppose -3*t + 14*y - 39 = 6*y, -4*y = -4*t - 12. Put t, -9, f, -3 in descending order.
t, -3, f, -9
Let v = -269 + 266. Put 25, v, 4 in descending order.
25, 4, v
Let m = -484 - -489. Suppose -5*o + 3*s + 1 = 0, o - 5*s - 1 - 8 = 0. Sort 1, m, 2, o in descending order.
m, 2, 1, o
Let c = 0.8678 - 0.3678. Let r = 0.09 + -0.15. Sort c, r, 2/9 in descending order.
c, 2/9, r
Let u = 7.037 - 9.037. Put 2, u, 391 in ascending order.
u, 2, 391
Suppose 2*v = 10, m + 4*m - 5*v - 20 = 0. Let o be (0 - 1)*(m + -12). Sort -1, -75, 1, o.
-75, -1, 1, o
Let i be -2*((-3)/(-2) + 1). Suppose -m + 19 = -0*m + 3*c, 0 = -4*c + 20. Suppose 2*x = m - 12. Put -3, x, i in decreasing order.
-3, x, i
Let i = -14240 - -14236. Let u = 12 - 7. Let k = -1 + u. Sort k, i, 5.
i, k, 5
Let k(s) be the second derivative of s**4/12 + s**3/6 - s**2/2 - 12*s. Let r be k(-3). Let c = 1 - 5. Sort 1, r, c in decreasing order.
r, 1, c
Let m = 6562 + -6446. Sort -2, -5, m in descending order.
m, -2, -5
Let w(c) = 23*c + 237. Let m be w(-38). Let j = -615 - m. Put j, 5, 0, -4 in decreasing order.
j, 5, 0, -4
Let j = -6.64 - -5.74. Let v = 308 - 6466/21. Sort 5, v, 0, j.
j, 0, v, 5
Let y = 4 - 3. Let a(w) = w**2 + 3*w - 2. Let z be a(y). Sort -1, 3, z.
-1, z, 3
Let b = 49 + -52. Let a = b - -1. Suppose -6*n = -18 - 0. Sort n, 15, a in descend