 = -4*u. Let k = s + -55. Put -3, 0, k, -12 in decreasing order.
0, k, -3, -12
Let k = 308 + -1847/6. Put -3, k, -2/17, -0.3 in ascending order.
-3, -0.3, -2/17, k
Suppose -139*q + 172 = -96*q. Put 5, -64, q in decreasing order.
5, q, -64
Let d be 0 - (3 + 15/(-3)). Let v be (-3395)/194 - (-3)/2. Put d, -1, v, 1 in ascending order.
v, -1, 1, d
Suppose -4*i + 2*i + 8 = 0. Suppose -4*p - 2 = 2*r - 16, 3*p + 4*r - 13 = 0. Sort -4, p, i in descending order.
i, p, -4
Let k be (3/(-6)*-1)/(3/18). Suppose -9 = -k*v + 3*i, i = v + 2*v - 7. Sort -3, -2, v, 1 in descending order.
v, 1, -2, -3
Suppose -l = -2*j + 2, 0 = l - 5*j + 9 - 4. Let q = l - -2. Suppose 5*s - 33 = -q*f, -f + 4*f = -2*s + 22. Sort -3, s, -1.
-3, -1, s
Let f be -15*(40/24)/1. Suppose -2*r - 8 = -2*k + 34, 0 = 2*r + 2*k + 50. Let h = f - r. Put -1, h, 5 in descending order.
5, -1, h
Suppose -g + 6*g = -10, -2*a - 4*g = -46. Suppose -9 = -3*q + a. Let t = -17871 - -17866. Sort 3, t, q in increasing order.
t, 3, q
Let x = 133 - 113. Let z be (x/(-60))/((-562)/(-282) - 2). Put -4, z, 3 in descending order.
z, 3, -4
Let n = -15.4 - 84.6. Let t = -102 - n. Put -0.4, 5, t, 2/5 in ascending order.
t, -0.4, 2/5, 5
Let m be -3 + -3 + 4/2. Let x = -71.48 - -72. Let b = -0.62 + x. Put b, m, 0.2 in decreasing order.
0.2, b, m
Suppose 23*v - 62 = -8*v. Sort 0, 5, v, 14 in increasing order.
0, v, 5, 14
Let s be 5/(1/2*-2). Suppose 0 = 44*c - 294 + 74. Sort -14, s, c.
-14, s, c
Suppose -5*f = -5*r + 5, f + 6*r - 4*r = -13. Put 0.5, 1/8, f, -2 in descending order.
0.5, 1/8, -2, f
Suppose 0 = -13*j + 10*j + 5*r + 13, 0 = 4*j + 5*r + 6. Sort -52, j, 0, -4 in decreasing order.
j, 0, -4, -52
Let p be 1/(-8)*(79 + -71). Sort p, 48/11, -0.4.
p, -0.4, 48/11
Let h be 75/(-650)*(-8)/(-6). Sort -3, h, -0.5, -7.
-7, -3, -0.5, h
Let n = 106.4 - 107. Let u = n - -0.1. Sort -0.13, u, -2/5.
u, -2/5, -0.13
Let n = 20.95 + -21. Let d = -28.05 - n. Let p = -26 - d. Put 6, p, 0 in increasing order.
0, p, 6
Let b = 23 + -24.1. Let j = -39 - -42.9. Let y = j - b. Put y, -4, -3 in ascending order.
-4, -3, y
Let j = 2509 + -3356. Sort 4, 5, j in decreasing order.
5, 4, j
Let m = 10 + -6. Suppose 0 = -p - 1 + 22. Suppose r + p = -0*r + 4*n, 2*n = -r + 3. Put r, m, 8 in ascending order.
r, m, 8
Let i be ((4 - 1)/(-3))/((-3)/(-42)). Sort -5/4, i, -1 in ascending order.
i, -5/4, -1
Let v = -488 + 491. Let h be (-1 + -1)/(8/20). Sort 5, h, v in increasing order.
h, v, 5
Let f = -260 - -3382/13. Let a = f - 23/65. Sort 0.3, 4, a in decreasing order.
4, 0.3, a
Let c be ((-4)/(-6))/1*-33. Let w = c + 22. Put w, -4, 0.1 in decreasing order.
0.1, w, -4
Suppose -55*w + 918 = -61*w. Let r be (6/4)/(w/(-68)). Put 0.2, -2, r in increasing order.
-2, 0.2, r
Let u = 72/5 + -15. Suppose -2*o - 2*o = 8. Let v = -757 + 756. Sort u, v, o in decreasing order.
u, v, o
Suppose -4*w + 55 = -9*w. Let n be 31/w - (-16)/(-88). Suppose 4 = -l - 2*a, -5*l - 3*a - 6 = -0. Sort 8, n, l in increasing order.
n, l, 8
Suppose 0 = -8*w - 3*w + 22. Sort -136, -4, w in increasing order.
-136, -4, w
Let o be (66/9)/(2/3). Let k(d) = -d + 9. Let t be k(o). Let m be 4*t/(-8) + 5. Put 2, m, 5 in decreasing order.
m, 5, 2
Let n(y) = -y**2 - 2*y - 1. Suppose 5*u = 17 + 38. Let x(d) = 3*d**2 + 6*d + 2. Let h(o) = u*n(o) + 4*x(o). Let v be h(2). Sort 1, 2/7, v.
2/7, 1, v
Let j = 67.5 + -49. Let h = j - 19. Put -2, 2/5, -1, h in descending order.
2/5, h, -1, -2
Let y(d) = 6*d**2 + 2*d**3 - 2*d + 6*d**2 - 26 - d**3. Let k be y(-12). Sort 0.08, k, -0.3 in descending order.
0.08, -0.3, k
Let q = 35.32 - 0.32. Let v = q + -36. Sort -4, -2/3, v in descending order.
-2/3, v, -4
Let x = 4 - 2. Let j be (-2)/(-10) - (-1407)/(-3685). Sort x, -3, 1/2, j in descending order.
x, 1/2, j, -3
Let p = 494 + -568. Put -4, -5/3, p in decreasing order.
-5/3, -4, p
Let f be (-7)/5 + 63/45. Let k = 7 - 3. Put k, -5, f in decreasing order.
k, f, -5
Let o(z) = -z**2 + 48*z - 130. Let d be o(45). Put 4, d, -658 in descending order.
d, 4, -658
Let d(r) = -r**2 - 3*r + 13. Let w be d(3). Let h = 16 - 5. Put 1, w, h in increasing order.
w, 1, h
Let y be 2604/672 - (-3)/24. Sort 52, -3, 1, y in increasing order.
-3, 1, y, 52
Suppose -3*j - 3*x = -12, -2*x = -3*j - 6*x + 15. Let b be ((-2)/6)/(5/(-30)). Sort -5, b, j, -1 in ascending order.
-5, -1, j, b
Let z = -264 - -268. Sort 5, 0, z in decreasing order.
5, z, 0
Let v be 2 + 3/(-4) - 1. Suppose k + 4*g - 68 = 5*k, -4*k + 3*g - 66 = 0. Let b be -7 - 1/(5/k). Sort v, b, -1.
b, -1, v
Let m(n) = 5*n - 80. Let a be m(16). Put 5, 0.3, 0.1, a in descending order.
5, 0.3, 0.1, a
Suppose 5*a - 10 = 5*c, -4*c + 11*a = 8*a + 4. Put -88, 3, c in descending order.
3, c, -88
Let j = -449 - -414. Put 4, j, -0.1, 2 in increasing order.
j, -0.1, 2, 4
Let y = -0.2 - 0.8. Let v(d) = d**2 + 6*d - 51. Let m be v(-12). Suppose -8 = 2*j + 2*q, 3*q + m = j - q. Put 0.1, y, j in increasing order.
y, 0.1, j
Suppose -p = 5*v + 25, 6*v = -3*p + 4*v - 10. Let m be 1 + (1 - 0) + -1. Sort -5, m, p in descending order.
m, p, -5
Let v = -323 + 323.3. Let f be (-1)/(0 - (-15)/(-2)). Put f, -4, -0.5, v in descending order.
v, f, -0.5, -4
Suppose 0 = 4*n + 2*o - 13 - 1, -3*o + 6 = 3*n. Suppose -n - 15 = 5*x. Put 0.3, 5, x in decreasing order.
5, 0.3, x
Let j be (-4)/6 - ((-154)/(-21) - 5). Put 5, 1, j, 98 in descending order.
98, 5, 1, j
Let i(c) = 3*c + 14. Let n be i(-4). Suppose v + 76 = 2*r, -n*r = -7*r - 2*v + 172. Let h = r + -33. Put -9, -3, h in increasing order.
-9, -3, h
Suppose 4*y = 4*s + 4, 5*y + 20 = -s + 43. Put 5, y, 57 in descending order.
57, 5, y
Let k = -1088 - -1087.9. Let u = -1 + 1. Sort 3, u, k, -9 in increasing order.
-9, k, u, 3
Let z = 3474/7 + -496. Sort 10, -0.1, z, 2/3.
-0.1, z, 2/3, 10
Let g = 0 - 0. Let j = -9 + 8. Let p be ((-2)/(-36)*-3)/(j/2). Sort g, 4/7, p.
g, p, 4/7
Suppose 0 = 5*r - 0*r - 15. Let c(d) = d**2 + 5*d - 1. Let y be c(-4). Let s(w) = 3*w + 13. Let z be s(-3). Sort z, r, y in ascending order.
y, r, z
Suppose 2*v - 3*o - 29 = 0, -2*o + 53 = 3*v - 10. Let q = -56/3 + v. Let w = -349 - -342. Put q, w, -3 in decreasing order.
q, -3, w
Let l be (2/(-5))/(16/(-120)) + -7. Sort -3, l, -35.
-35, l, -3
Let m = 3499/2 + -1749. Sort m, -3/2, 75 in ascending order.
-3/2, m, 75
Let b = 3.4 + -2.9. Let o be (((-4)/(-3))/(-4))/((-4)/(-24)). Sort b, 0.2, o in decreasing order.
b, 0.2, o
Let k = 16 + -15.9. Sort k, -1/4, -2/7, 2/3 in descending order.
2/3, k, -1/4, -2/7
Let z be 6*4*1/12. Suppose -2*r + z*i + 12 = 4*i, 0 = -i + 4. Sort 4, r, 0 in decreasing order.
4, r, 0
Let x = -441 + 443. Sort -79, x, 1.
-79, 1, x
Let c(n) = 2*n**3 - n. Let f be c(-1). Let v be (-2)/13 + 2958/(-377) + (-25 - -37). Sort -2, v, f in descending order.
v, f, -2
Let c be (-4 + 2)/(3 - (-127)/(-43)). Let u = -41 - c. Sort -1, u, 1/7, -2 in decreasing order.
u, 1/7, -1, -2
Let n be (-4)/(-22) + 124/44. Let x(z) = -10*z**2 - 11*z + 3 + 2*z**3 - 4 - z**n. Let g be x(11). Put g, -2, -6 in decreasing order.
g, -2, -6
Let p = 0.1 + -3.1. Let h = -192.74 + 194.74. Sort 0.03, p, 2/19, h in decreasing order.
h, 2/19, 0.03, p
Suppose -6*f + 11*f = 10. Suppose -3*h = 5*k - 17, f*k + 5*h - 10 = 3*h. Let j be (-1)/(-3) + k/(-12). Sort j, -5/4, -5 in descending order.
j, -5/4, -5
Suppose -58 = 5*g + 32. Let p = g + 27. Suppose -p + 0 = 3*t. Sort -0.2, -2/13, t in descending order.
-2/13, -0.2, t
Let v be (4/6)/(1/3). Suppose -v*g - 15 = -13. Let z be (-9 - g) + 1 - 2. Sort z, -3, 5.
z, -3, 5
Let w = -0.8 + 0.3. Let t = -1751 + 1748. Put w, t, 0, 9 in decreasing order.
9, 0, w, t
Suppose -11*y + 31 = -10*y. Let x = -42 + y. Sort 0, x, -2 in descending order.
0, -2, x
Let k = 0 + -7. Let p be (-1)/(-11) - (-17 - (-2128)/176). Put p, k, -2 in descending order.
p, -2, k
Suppose -32 = 2*b + 6*b. Put 0, b, -12 in descending order.
0, b, -12
Let j = 44371/2256 - 1/752. Sort 1/2, 2/3, j in descending order.
j, 2/3, 1/2
Let w be (-9 + 0)/((-15)/10). Suppose w*h - 15 = h. Sort -2, -4, h in decreasing order.
h, -2, -4
Let c be (2/(2/1))/((-1)/3). Sort 1, -4, c, 0 in decreasing order.
1, 0, c, -4
Suppose -w = 3*a + 4, 3*w + 2*w + 20 = -2*a. Let v(s) = 38*s - 36*s + 0 + 3. Let l be v(0). Sort a, 1, l in decreasing order.
l, 1, a
Let b(d) = -d**3 + d**2 - d + 21. Let c be b(0). Let j = c 