5/(-3). Put 1, x, u in decreasing order.
x, 1, u
Let c = -1 - -4. Suppose 4*w = -7 - 13. Suppose -26*l = -32*l + 12. Sort l, w, c in descending order.
c, l, w
Let p be (1 - 2)*4/20. Let o = -0.6 - -0.3. Let n = o + 0.4. Sort n, 0.3, p.
p, n, 0.3
Let f(k) = -k - 5. Let m be f(-6). Let d be 3*(m*20)/2. Suppose 4*x = -4*t + 6 - d, -5*t + 15 = -4*x. Sort 4, 3, x in descending order.
4, 3, x
Suppose -a - u = -8, 2*u = 4*a - 2*a - 4. Let k be (-1)/3 + (-20)/(-6). Let b = -4 + 4. Sort a, k, b in increasing order.
b, k, a
Let d = 12 - 3. Let c = d + -8.9. Suppose 0 = -3*z + 3*v - 18, 0 = -2*z - v + 2*v - 7. Sort z, 0.3, c.
z, c, 0.3
Let z = -8 - -5. Suppose 5*o - 24 = 2*l, 5*l + 4 + 5 = 4*o. Suppose o = -2*f + 2. Sort z, f, 0 in ascending order.
z, f, 0
Let x be ((-30)/(-12))/(5/4). Let u be (4 - 16/4)/x. Put 1, 0.2, u in decreasing order.
1, 0.2, u
Let u be 4 - 1 - 3/(12/16). Suppose 2*m = 5*m - 15. Sort u, m, -4.
-4, u, m
Suppose g - 5*d + d + 63 = 0, -5*g - 205 = 2*d. Let i = g + 560/13. Sort i, -4, -0.4.
-4, -0.4, i
Let k be (2 + -1)*6 - 1. Suppose -3 = h - 3*m, -23 = -4*h - 4*m - 3. Let u(l) = l**2 - 4*l + 4. Let q be u(4). Sort h, k, q in decreasing order.
k, q, h
Let t = 16 - 26. Let h be (3/(-5))/((-8)/t). Let k be 1 + (2/(-16) - 1). Sort -0.3, h, k.
h, -0.3, k
Let k = 5.3 - 5. Let g = 0.8 - k. Let a = -8.2 + 8. Sort -3, g, a.
-3, a, g
Let n = 4 - 8. Let m be ((-2)/(-1))/(-2 + 1). Let z = m - n. Put 1, 4, z in increasing order.
1, z, 4
Let z be 2/3*(-2 - 4). Suppose 2*i + 0 = -2. Put i, -2/3, z in descending order.
-2/3, i, z
Let n be (-10)/2 - (-18)/9. Sort 2, 3, -1, n in ascending order.
n, -1, 2, 3
Suppose -3*s - 23 = 5*b, -4*s + 3 + 13 = -5*b. Sort 5, s, -21 in decreasing order.
5, s, -21
Let c(v) = 4*v + 1. Let l(g) = -g. Let k(t) = -c(t) - 3*l(t). Let f be k(0). Sort 4, f, -5 in decreasing order.
4, f, -5
Let k = -50 - -50.3. Sort k, -4, -3/7 in ascending order.
-4, -3/7, k
Let t = 3.1 - 0.1. Put 0.2, t, 1/3, 5 in descending order.
5, t, 1/3, 0.2
Let i = -19 + 32. Suppose 5*o + 3 = -2*v + i, -2 = -o + 2*v. Sort -3, -1, o.
-3, -1, o
Suppose 4*r + f - 272 = 0, 0*r + r = 4*f + 51. Suppose -5*x + 50 = 5*k, 5*k + 15 = -4*x + r. Let g be (-6)/15 + k/5. Put 1, -2, g in increasing order.
-2, 1, g
Let x(d) = d**2 + 15*d - 10. Let z be x(-16). Suppose -17*w + z = -14*w. Sort 3, w, -3 in ascending order.
-3, w, 3
Suppose 0*k = -2*k + 4. Let q be (2 - (-2 + 4))*-1. Put k, -1, q in decreasing order.
k, q, -1
Let b be ((-4)/14)/(1/(-7)). Let i be 1*1/(b/4). Let k = 1 + 3. Sort i, 1, k in descending order.
k, i, 1
Let i = -2.7 - 1.3. Let d = -7 - -12. Let a = d + -4.9. Sort i, a, 3 in ascending order.
i, a, 3
Suppose 2 = 2*b - 2. Let z be b/9 + 669/27. Suppose 6*v = v - z. Put -1/7, -3, v in increasing order.
v, -3, -1/7
Let y(l) = 3 + l - 1 - 3. Let b be y(6). Suppose -4*w - 2*n = -2, b*n = 1 - 26. Sort 0, -3, w.
-3, 0, w
Let u be -1 - (0 - 49/32). Let y = 1/32 - u. Put -2, y, 0.2 in ascending order.
-2, y, 0.2
Let v = -0.086 + -5.214. Let l = v + 1.8. Let w = -3 - l. Put -4, w, -3 in increasing order.
-4, -3, w
Let f be (2 + 2)*1/2. Let y(d) = -d + 4 + 0*d + f*d. Let u be y(-2). Sort u, -2, -4 in increasing order.
-4, -2, u
Suppose -4*b + 3*f - 33 + 147 = 0, 0 = -4*b + 5*f + 118. Suppose -b = 4*r + 2*s - 5*s, -5*r + 10 = 5*s. Sort -2, r, 0 in increasing order.
r, -2, 0
Let n = -2 - -2.1. Let t = -0.68 - 1.32. Sort n, t, -5.
-5, t, n
Suppose 0 = y + y - 8. Sort y, -0.2, 1/9.
-0.2, 1/9, y
Suppose -3*i + l - 9 = 0, -2*i = 3*i + 3*l + 1. Put -10, i, 1 in increasing order.
-10, i, 1
Let v(a) = a**2 - 16*a. Let y be v(16). Put -4, y, -7, -3 in decreasing order.
y, -3, -4, -7
Let t = 2/101 - -501/202. Let l = 0 - -0.1. Let o = l - 0.2. Put o, -0.5, t in decreasing order.
t, o, -0.5
Let z = -13 - -4. Let k = -14 - z. Sort 0.1, k, -1/5 in increasing order.
k, -1/5, 0.1
Let n be (-143)/385 - 3/15. Let v be (-1)/1 + 7/4. Put n, 0.4, v in ascending order.
n, 0.4, v
Let o = -2 - -1.98. Let p = o - -3.02. Put 0.1, p, 1 in descending order.
p, 1, 0.1
Let g be 1 - 4/((-16)/(-12)). Suppose -2*d - 18 = d. Let y be d/9 + 11/3. Sort g, 0, y.
g, 0, y
Let p(h) = -h**3 + 2*h**2 - h. Let u be (3/(3/3))/3. Let w be p(u). Let i = 2.5 + -0.5. Sort w, i, 0.02 in decreasing order.
i, 0.02, w
Let h(j) = j**3 + 4*j**2 - 6*j - 3. Let w be (1 - -2)/(3/2). Suppose w*n + 31 = -5*k, -5*n = -3*k - 0*n. Let b be h(k). Put 3, -1, b in descending order.
3, b, -1
Let x = 12 - 7. Suppose -3*t - 2*t = -x. Put t, -1/7, -7 in ascending order.
-7, -1/7, t
Let y be (-11)/((-55)/(-6))*20/(-16). Sort 5, -0.5, y, 2/77.
-0.5, 2/77, y, 5
Let v = 0.11 + 0.09. Sort 2/13, v, -3 in decreasing order.
v, 2/13, -3
Let x(j) = -j**2 - 7*j - 6. Let b be x(-4). Let o = 4 - b. Sort -3, o, 5.
-3, o, 5
Let d = -9 + 14. Suppose -3*y = 3*f - 1 + 22, 2*f + 5 = y. Sort d, f, 4.
f, 4, d
Suppose 0 = 5*i + 2*b - 21, 4*b = 3*i + 1 + 2. Suppose -5*k - 4 = -3*u + i, -5 = 5*u. Sort k, 2, -5 in increasing order.
-5, k, 2
Let g = 0.09 + -0.06. Let x = 703 - 706.97. Let w = x - g. Sort w, 1/3, -0.1 in decreasing order.
1/3, -0.1, w
Let a be (6/4)/((-15)/1). Let j = 0.02 - 5.02. Let y = -4 - j. Put a, y, -4 in descending order.
y, a, -4
Let c be (30/21)/((-2)/(-28)). Sort -3, c, 4.
-3, 4, c
Let h(o) = -3*o**2 - 13*o - 4. Let z be h(-4). Sort 1, 5, z.
z, 1, 5
Let p = 286 + -184. Let x = 13655 + -110055/8. Let c = p + x. Sort c, 4, 0.5 in increasing order.
c, 0.5, 4
Let u be 4/22 + 14/(-77). Suppose 3*r = 5*a + 29, u = -0*a - 2*a - 2*r - 18. Let j = a - -12. Put 0, j, -0.5 in descending order.
j, 0, -0.5
Let u = 0.52 + 0.08. Let z = 0.1 - u. Let y be (0 + 4)/2 + 2. Sort y, 0.3, z in decreasing order.
y, 0.3, z
Let n = 8.89 + 0.11. Put n, 5, -0.4 in descending order.
n, 5, -0.4
Let g(m) = -m + 10. Let s be g(7). Put -16, s, 5/2 in ascending order.
-16, 5/2, s
Let f = -8 + 8.3. Let v = 150 - 301/2. Suppose 5*j = t, -4*j = -9*j + 3*t. Sort f, j, v in ascending order.
v, j, f
Let j = -2.17 + 0.17. Let y = -13 + 8. Put y, 0, j in descending order.
0, j, y
Let j = 342943/472206 - 3/44972. Let d = 7/12 - j. Sort -0.08, d, -3/4 in decreasing order.
-0.08, d, -3/4
Let w be (-2)/(-3) - 5/6. Let h = 1 - -4. Sort w, 2/9, h in descending order.
h, 2/9, w
Let l = -1.2 + 0.2. Suppose -4 = 2*y, -10 = 4*a - y - 0*y. Sort l, -2, a.
a, -2, l
Let z = -1.2 - -0.2. Sort -0.4, z, -0.07 in descending order.
-0.07, -0.4, z
Let c(a) = a**3 - 6*a**2 + 4*a + 7. Suppose -5 = -3*s + 2*s. Let h be c(s). Put h, -5/3, -3 in descending order.
h, -5/3, -3
Let c be ((-3)/(-6))/((-2)/(-20)). Let w(r) = r**2 + 4*r - 35. Let s be w(-8). Suppose 0 = 5*q - x - 21, 0*q - 2*x = -q + 6. Sort s, c, q.
s, q, c
Let c = 0 - 1. Let r be ((-3)/(-2))/(c/(-2)). Let b be 1 + r/(-30)*2. Sort 5, 1, b in ascending order.
b, 1, 5
Let g(f) = 2*f**2 + f - 3. Let k be g(-2). Sort -10, 5, -0.4, k in ascending order.
-10, -0.4, k, 5
Suppose 4*l + 0*l - 1188 = 0. Let o = 3851/13 - l. Let a = -73/78 - o. Put a, -4, 3 in ascending order.
-4, a, 3
Let c(y) = y**3 + 4*y**2 - 6*y - 3. Let r be c(-5). Let g be 0/8 - (1 - 0). Put g, r, 4 in ascending order.
g, r, 4
Let w = 14.4 - -0.6. Let u = -16 + w. Sort 3/8, u, -0.5 in increasing order.
u, -0.5, 3/8
Let q = 1.1 + 5.9. Sort -6/7, 0.2, q in decreasing order.
q, 0.2, -6/7
Let z = 3.94 - -0.06. Let j = 88.6 + -89. Sort j, 1, z.
j, 1, z
Let t(f) be the first derivative of f**3/3 + 5*f**2/2 - 10*f + 4. Let p be t(-7). Put p, -4, -1 in decreasing order.
p, -1, -4
Suppose -n - 56 = -57. Sort n, -3, 0.
-3, 0, n
Let c = -16 + 20. Sort -1/5, -2/5, c in ascending order.
-2/5, -1/5, c
Let v be (2 - 44/(-12))*-3. Put 3, 0, 5, v in ascending order.
v, 0, 3, 5
Let o = 196 + -1369/7. Let i = 10.2 + -11. Let m = 0.5 + i. Sort -1, o, m in decreasing order.
o, m, -1
Suppose 3*v + 5*n - 3 = 2*n, 5*v = 5*n + 45. Let f(i) = i - 12. Let a be f(7). Sort a, -1, v.
a, -1, v
Let r = 17 + -14. Sort -0.1, 0.5, r.
-0.1, 0.5, r
Let d = -11 + 4. Let z(s) = -s**2 - 7*s + 2. Let h be z(d). Let q = -3 + h. Sort q, 1, 5 in increasing order.
q, 1, 5
Let n = -6 - -8. Suppose 0 = -v - 5*t + 25, -3*t = -2*v - n*t + 6. Let a(u) = -u**2 + 6*u - 5. Let z be a(v). Put z, 3, -5 in descending order.
3, z, -5
Let l = 4 - 3. Let o = l - 1.1. Let w = 15 + -11. Put o, w, 6/7 in increasing or