 Sort -1, u, 5, 7 in decreasing order.
7, 5, -1, u
Suppose 2*b + 21 - 3 = 0. Let w = -13 - b. Let h be (58/87)/(3 + (-6)/9). Put 4, h, w in increasing order.
w, h, 4
Let g = 0.35 - 0.5. Let x = 0.05 + g. Let u = 3 - 0. Sort x, -5, u in descending order.
u, x, -5
Let f(y) = -y - 5. Let z be f(0). Sort z, 1, 3 in decreasing order.
3, 1, z
Suppose 5*x = -4*b + 6, b - 3*x - 2*x = -11. Put 10, 1, b in decreasing order.
10, 1, b
Suppose 0 = -4*q + i + 1223, 2*i - 6 = 4*i. Let t = q - 528. Let l = t - -2009/9. Sort l, 0, 1 in decreasing order.
1, l, 0
Let z be (-12)/((-12)/5 + 2). Suppose -2*g + 5*s + z = 0, 3*g - 3*s - 31 = s. Suppose w + 2*d - 4 = 0, -w - 28 = 3*w - 3*d. Put 4, w, g in increasing order.
w, 4, g
Let x = -2.9 + -1.1. Suppose 2*m - 17 = m. Suppose -2*q - m = -5*p, 0*q - 5 = -5*p + 5*q. Sort p, x, 2/9 in ascending order.
x, 2/9, p
Let p be (12/5 - 1)*14/49. Sort p, 14, 1 in decreasing order.
14, 1, p
Let x = -4 + 3.6. Let c be (-9)/(-69) - 24/(-18). Let r = c + -3/23. Put x, r, -1/2 in ascending order.
-1/2, x, r
Let y = -0.3 - -0.2. Let b(w) = w**3 + 7*w**2 - 7*w + 11. Let k be b(-8). Let f be (-7)/(-3)*k + -3. Sort y, f, -3.
-3, y, f
Let z(w) = -w**2 - w + 3. Let q be z(-3). Let f(p) = -7*p**3 - 2*p**2 - 2. Let b be f(2). Let g be (-144)/b + 2/(-11). Put g, 3, q in descending order.
3, g, q
Let q be (7/21)/(10*2/12). Put 3, -3/8, -1, q in ascending order.
-1, -3/8, q, 3
Let v be 2/4*-2 - 11. Let k = 16 + v. Let h be (-5)/(-15) - (-26)/3. Put k, h, 5 in increasing order.
k, 5, h
Let b = -33 + 34. Put 2, -0.9, b in descending order.
2, b, -0.9
Let l(q) = -q**3 - 7*q**2 + q + 10. Let i be l(-7). Suppose -5*d = -4*t + i, 3 = -3*d + 5*d - 3*t. Sort d, 3, 1 in decreasing order.
3, 1, d
Let n = -17 - -14. Put n, 3, 4 in decreasing order.
4, 3, n
Let y = 7 - -2. Let a(k) = -k**2 + 9*k + 3. Let u be a(y). Put -4, -3, u in decreasing order.
u, -3, -4
Let z = 0.9 + -0.4. Let h = -0.2 - 4.8. Put h, z, 0.4 in increasing order.
h, 0.4, z
Let c = 5/3 + -7/6. Let i = -1.4 - -2.4. Sort c, i, 0.1 in decreasing order.
i, c, 0.1
Suppose 4*a = 57 - 17. Let r = -14 + a. Let v(m) = -m + 4. Let c be v(1). Put r, 3/8, c in increasing order.
r, 3/8, c
Let l = -8.5 + -1.5. Let v = 7 + l. Let d = 24/13 + -94/65. Sort d, v, -1/3 in descending order.
d, -1/3, v
Let p = -0.25 + 2.25. Sort 0.7, 0.5, p in ascending order.
0.5, 0.7, p
Let j = -3 - 0. Let x = 1.5 + -2.3. Let i = x + 4.8. Put i, 2, j in decreasing order.
i, 2, j
Suppose 0 = 3*v + 2*k, -v - 4*k + 0*k - 10 = 0. Suppose -l + v*o + 2*o - 11 = 0, 0 = 2*o - 4. Let s = 3.9873 - -0.0127. Sort s, 2/3, l in ascending order.
l, 2/3, s
Let n = 3 - 2. Suppose -9 = -5*m + n. Suppose 0*q = m*q + 4. Put 4, -4, q in descending order.
4, q, -4
Let q be (1*4/7)/((-12)/28). Put -5, 0.7, q in descending order.
0.7, q, -5
Let p = -6 + 5.7. Suppose -2*s - 12 = -3*k, 4*k - 27 = 3*s - 10. Let y be 3*((-28)/15 + k). Put 2/9, p, y in descending order.
y, 2/9, p
Let b(m) = -m**2 - 20*m - 23. Let o be b(-19). Put -5, -4/5, -2/7, o in ascending order.
-5, o, -4/5, -2/7
Let z = -64 - -51.6. Let s = z + 12. Sort 0.3, s, -1/2.
-1/2, s, 0.3
Let q = 10 + -7. Suppose -3*s - 5*m + 23 = 0, q*s - 4*m + 15 = 2*s. Let y = 1 + s. Sort y, -4, 0 in increasing order.
-4, 0, y
Let n = -3.971 - 0.029. Put -3/8, -0.02, n in ascending order.
n, -3/8, -0.02
Suppose -2*f - 13 + 3 = 0. Let o be ((-15)/9 - -1)*-3. Put o, -2, f in descending order.
o, -2, f
Suppose 0 = 3*w - 4*w + 5. Put 4, w, -13 in ascending order.
-13, 4, w
Let u = 88 - 266/3. Put 3, u, -2 in decreasing order.
3, u, -2
Let z be (-3*1)/((-3)/(-2)). Let d = -69 - -70. Let k be 3/((d - 0) + z). Put k, -4, 0 in descending order.
0, k, -4
Let k = 13 + -11. Let y be (-1 + 6/(-4))*-2. Sort y, -2, k in descending order.
y, k, -2
Let l be 5/((-30)/26) + (-4)/(-12). Sort -0.05, 0.3, l in decreasing order.
0.3, -0.05, l
Let t = -81 - -84. Let s = 6 - 0. Suppose 35 = 4*r + s*w - w, -4*r = w - 23. Put r, -1, t in ascending order.
-1, t, r
Let q = 11 - 12.08. Let i = q + 0.08. Let z = 2 - i. Sort z, -1/3, -5 in decreasing order.
z, -1/3, -5
Let w = 67 + -67. Put 2, w, -74 in descending order.
2, w, -74
Let u = 4 + -3. Let p be -1*u - 56/14. Let b = 0 + 0. Sort -2, p, b in descending order.
b, -2, p
Suppose -12*d = -6*d + 42. Sort 2, d, -5 in descending order.
2, -5, d
Suppose j = 4 - 7. Sort 2, 0.3, j, -0.04.
j, -0.04, 0.3, 2
Let k be (2/2 - -2)/(-1). Suppose z + 1 + 3 = 0. Put 1, k, z in descending order.
1, k, z
Let h be (-84)/(-22) + -2 + -2. Sort -3, h, 5 in ascending order.
-3, h, 5
Let i(m) = 5*m - 13. Let k(z) = 4*z - 12. Let f(x) = 3*i(x) - 4*k(x). Let w be f(9). Put 5, w, -3 in increasing order.
-3, w, 5
Let h = 8 + -4. Suppose r = -h*r - 4*z - 15, 0 = -r - 4*z - 19. Sort -5, 5, r in descending order.
5, r, -5
Let w = 4.7 - 5. Let u = -16 + 14. Put u, w, -1 in increasing order.
u, -1, w
Let f be (-2)/(-8) - (-65)/(-20). Let b(q) = q**2 + 2*q. Let m be b(3). Let t = m + -11. Sort -4, f, t in descending order.
t, f, -4
Let u be ((-14)/(-21))/(2/(-6)). Let v be u/(-8) + 10/(-16). Put 4, v, 3 in descending order.
4, 3, v
Suppose 4*o + 3*j = -24 - 0, -1 = -5*o + 4*j. Sort 1, o, -4 in decreasing order.
1, o, -4
Let f(x) = 5*x**2. Let w be f(1). Suppose 5*b = g - 13, 4*g - b + 7 = -g. Put 3, g, w in descending order.
w, 3, g
Let b = 11 + -8. Suppose -8 = -2*a - 4*w, 0*a - b*a + 5*w - 21 = 0. Sort a, -1, -3.
-3, a, -1
Let n(v) = v**2 - 2*v - 13. Let a be n(-4). Sort -1, a, -2 in increasing order.
-2, -1, a
Let m = 4.5 - 5. Let y = -0.7 - m. Put -2, y, 3 in increasing order.
-2, y, 3
Let n(i) = -i**2 + 5*i + 2. Let z be n(5). Let m be 0 - 1*(-4 + z). Suppose 5*p - 12 + m = 0. Put p, 0, -4 in decreasing order.
p, 0, -4
Suppose 5*c - 12 = -3*y, 9*y - 4 = -c + 8*y. Put 3, 5, c, -3 in descending order.
5, 3, c, -3
Suppose 3*d + 10 = 3*x - 8, 0 = 2*x + 3*d + 8. Let t be -1 - 0/2 - 3. Suppose -5*y = -4*p + 13, 2*y = -y + 2*p - 9. Sort y, x, t.
y, t, x
Let j = -96 + 87. Sort -4, j, 3.
j, -4, 3
Let c(y) = y**3 - 6*y**2 + 7*y - 2. Let a be c(6). Suppose -3*j - 4*d + a = -0*j, -47 = -4*j + d. Suppose 7*x - 3*x = j. Sort -4, -2, x in ascending order.
-4, -2, x
Let p be 3/(-5) - (-2)/(-5). Let v(y) = y**3 - y**2 - 2*y - 2. Let m be v(0). Sort 3, p, m in increasing order.
m, p, 3
Suppose -r + 0*r - 1 = 0. Let i be (r - 1) + (-6 - -3). Let j be (-3)/i*(0 - -1). Put j, -4, 2/11 in increasing order.
-4, 2/11, j
Let o = 13 - 8. Put o, 0.3, -1/2 in increasing order.
-1/2, 0.3, o
Suppose -c + 1 = v - 0*c, 3*c - 3 = 5*v. Sort -5, -1, -4, v in descending order.
v, -1, -4, -5
Let s = -0.57 + 0.58. Put -0.3, s, -1/4, -1 in increasing order.
-1, -0.3, -1/4, s
Let t(a) = a**2 - 7*a - 1. Let o(f) = -3*f**2 + 21*f + 4. Let h(v) = -6*o(v) - 17*t(v). Let p be h(8). Sort -5, p, -3 in decreasing order.
p, -3, -5
Suppose -i + 5*n = 3, 3*i + 7 = 4*i + 5*n. Let d = i - 4. Let a(g) = -2*g**3 - 4*g**2 - 3*g - 2. Let q be a(-2). Sort d, q, -3 in ascending order.
-3, d, q
Suppose 0 = 6*f - f - 180. Suppose -5*u = f + 54. Let a be (-16)/u*(-1)/(-4). Sort a, 4/3, 5 in descending order.
5, 4/3, a
Let u = 30 + -89/3. Sort 0, u, -2 in decreasing order.
u, 0, -2
Let p = 34/5 - 6. Let f = 22 + -91/4. Sort -0.2, p, f in descending order.
p, -0.2, f
Let f(x) = -2*x. Let b be f(-1). Let w be (-2)/4 + b/(-4). Let y be (1/(-2))/((-3)/24). Put w, 0, y in ascending order.
w, 0, y
Let r = -13 - -13.01. Let p = 13 - 18. Sort 0, p, r in decreasing order.
r, 0, p
Let h(x) = 2*x**3 + 37*x**2 + 18*x - 6. Let w be h(-18). Let k(g) = g**2 + 5*g + 3. Let s be k(-4). Put s, w, 1 in ascending order.
w, s, 1
Let g = -8 + 10. Let q be (-1)/(15/(-9) + g). Put 3, 4, q in decreasing order.
4, 3, q
Let t = -7 + 4. Suppose -4*q = 2*s - 8, 7*s - 3*s - 4 = 4*q. Sort t, -6, s in decreasing order.
s, t, -6
Let o = -26 + 28. Sort 4, -4, o in decreasing order.
4, o, -4
Let t = -135 - -138. Put t, 9, -5 in decreasing order.
9, t, -5
Let k = 2 - 1. Sort 0.4, k, -3, 3.
-3, 0.4, k, 3
Suppose -2*z - 12 = -2. Sort -0.4, -0.5, -0.1, z.
z, -0.5, -0.4, -0.1
Let g = -0.11 - -11.11. Let d = -8 + g. Put d, 3/7, -2/17 in descending order.
d, 3/7, -2/17
Let p(r) = -2 + 5*r - 2*r**3 - 7*r**2 - 13*r + 3*r**3 + 0. Let l be p(8). Sort l, 3, 5 in descending order.
5, 3, l
Let p(b) = -2*b