+ 22 = 5*s. Sort -1, s, 1 in descending order.
s, 1, -1
Let l be (1 - 6/(-9))*(2 - -1). Suppose 0 = 4*b - 2*b - 3*u + 1, 3*b - u = 9. Sort b, 0, l.
0, b, l
Let n = -0.2 + 0.4. Let x(t) = -t**3 - 7*t**2 - 7*t - 9. Let h be x(-6). Put n, 1/3, h in descending order.
1/3, n, h
Let f = 6 - 8. Let q = 5 - 6. Put f, 0, q in increasing order.
f, q, 0
Let o = 46 + -48. Put -4, -5, o in descending order.
o, -4, -5
Suppose -x + 0*x = 0. Suppose x = 3*r - 2 - 1. Suppose -3*a + 7 = -5. Put 0, r, a in decreasing order.
a, r, 0
Suppose -91 = 6*g + 59. Sort 5, -4, g in descending order.
5, -4, g
Let h(q) = q**2 - 1. Let x be h(-2). Suppose 2*u - 26 = -5*p, -2*p + 2 + 6 = 0. Suppose 5*n = b + u, -5*b + 0*b - 15 = -4*n. Sort -4, x, b in descending order.
x, b, -4
Let p = 15573 - 171063/11. Let t = 22 - p. Put 5/4, -0.2, t in ascending order.
-0.2, t, 5/4
Let l = 91.5 - 92. Let w be (78/(-15))/(2/(-20)). Let z be ((-6)/w)/((-6)/(-8)). Put l, -5, z in descending order.
z, l, -5
Let j = 0.7 + -4.7. Let o = -23.5 - -23. Put j, 0.1, o in decreasing order.
0.1, o, j
Suppose -18 = o + o. Let f = o + 6. Let a = -2 + 2.4. Put -0.4, f, a in decreasing order.
a, -0.4, f
Let k be (-7)/3 + 10/(-25)*-5. Sort 3/5, -3, k in increasing order.
-3, k, 3/5
Let y = -4 + -1. Let g be (-38)/(-12) - 4/6. Sort g, 0.3, y in ascending order.
y, 0.3, g
Let p be 0 - (16/(-9) - -2). Let m = -35 - -36. Put -3, p, m in ascending order.
-3, p, m
Let t = 1.2 - 1.6. Put -3/4, t, 5 in decreasing order.
5, t, -3/4
Let c = -0.08 + -4.92. Let k = c + 5.3. Let t = 2.7 + k. Put -0.1, t, 1/5 in decreasing order.
t, 1/5, -0.1
Let b = -26 - -23. Let z = -0.09 + -0.71. Let f = 0.3 + z. Sort f, 0, b.
b, f, 0
Let g = 4 - 6. Let o be (-8)/g + (0 - 1). Suppose -15 = o*y + 2*y + 4*f, -f = 5. Sort 5, 3, y.
y, 3, 5
Suppose -3*t - 3*t = -18. Sort t, -0.1, -24, -0.3 in descending order.
t, -0.1, -0.3, -24
Let q = 1.4 - 1.9. Put q, 4, -11 in descending order.
4, q, -11
Let t = 3 + 2. Let k = -10 - -12. Sort t, 4, k in descending order.
t, 4, k
Let c = -2.9 + 4.9. Sort 1, c, 7 in decreasing order.
7, c, 1
Let q be (-12)/(-15)*(-5)/(-2). Let y = 10 + -15. Sort y, q, -4 in decreasing order.
q, -4, y
Let d = 30 + -29.1. Sort 0, d, 2, -0.2 in ascending order.
-0.2, 0, d, 2
Let h = 16 + -17. Let p = -2 + 5. Sort p, h, -2/5 in ascending order.
h, -2/5, p
Let q be (-38)/(-5) + (-6)/(-15). Suppose -k + q = k. Suppose 0 = -2*b - k - 4. Put b, 1, 5 in increasing order.
b, 1, 5
Let v(n) = n - 1. Let q be v(-2). Put 7, 3, q in ascending order.
q, 3, 7
Suppose 2*w - 47 = -57. Let m = 6 + 6. Let c = m - 7. Sort -1/6, w, c in ascending order.
w, -1/6, c
Let f(x) = x**3 - x**2 - x - 1. Let a be (0/2)/(-1 - -4). Suppose -h = 4*n - 9, -2*h + 2 = -a*h. Let w be f(n). Put w, 0, -3 in decreasing order.
w, 0, -3
Let z = -395/6 - -66. Let r = -0.6 + 0.9. Sort z, -0.02, r in ascending order.
-0.02, z, r
Let n = -4.4 + 4. Let c = -1 - -1.1. Sort c, n, 0.04 in decreasing order.
c, 0.04, n
Let f be (1*2)/2 - 6. Let j be 4/(2 + 32/(-20)). Let q be (-1)/(-5) + (-10)/j. Sort q, -1/5, f.
f, q, -1/5
Let r = 16 + -18. Let j be ((-5)/4 + 0)*4. Put -3, r, j in increasing order.
j, -3, r
Suppose 2*l + 10 = -3*l. Let z = l + 7. Put -2/5, -4/3, z in descending order.
z, -2/5, -4/3
Let k = -10 - -15. Sort k, -1, 0 in decreasing order.
k, 0, -1
Let n = -3.99 - 0.01. Let m be (-3)/(-4)*-2 - (-3)/6. Sort -5, m, n.
-5, n, m
Suppose -8 = -5*t + 4*x - 8*x, -3*x = t + 5. Suppose -1 = 4*a + 3. Put t, a, 3 in ascending order.
a, 3, t
Let f = -4/15 - -2/15. Put -2, f, 5/4, 1/2 in increasing order.
-2, f, 1/2, 5/4
Let i(z) = -z**3 + 8*z**2 + z - 7. Let y be i(8). Sort -2/7, 2, y.
-2/7, y, 2
Let o be 370/(-186) - (-2)/1. Let b = 175/1023 + o. Let a = 8.5 - 9. Sort a, 3, b.
a, b, 3
Suppose 0*u + u + 2 = 0, 5*r - 2*u = 9. Suppose -61 = -5*j - 61. Sort j, -5, r.
-5, j, r
Let t = -8 - -15. Suppose t*q + 4 = 3*q. Sort q, 4, 3.
q, 3, 4
Let i(m) = m**3 + 10*m**2 - 24*m - 3. Let w be i(-12). Let n be (1 - -1)*1 + 0. Put 0, n, w in descending order.
n, 0, w
Let g be (-594)/(-126) - 2/(-7). Put g, 19, 3 in decreasing order.
19, g, 3
Suppose 234*d + 3 = 233*d. Sort d, -32, 2/5.
-32, d, 2/5
Let b(m) = 3*m + 75. Let q be b(-26). Put -2, q, -25 in decreasing order.
-2, q, -25
Let m = -15 - -10.8. Let o = 4 + m. Let v = -441/4 + 109. Put v, o, 2/5 in increasing order.
v, o, 2/5
Let n be (-5)/(-2) + 63/(-42). Sort -5, n, -8.
-8, -5, n
Suppose r + 1 = 2*r. Let o be 3/(-2 - (-38)/16). Suppose 0*f + 4*f + o = 0. Sort r, f, 2 in ascending order.
f, r, 2
Let p = -3.8 - -4. Let f = p - 0.1. Put f, 2, -3 in decreasing order.
2, f, -3
Let g = 32 - 34. Put g, 3, 5, -8 in increasing order.
-8, g, 3, 5
Let m = -0.11 + -0.19. Sort -3, m, -5, 1 in decreasing order.
1, m, -3, -5
Let t be 1/((-1)/(3/(-1))). Suppose 5*r - 50 = -0*r. Suppose -5*v = r, -4*g = 5*v + 1 + 13. Put t, -3, g in decreasing order.
t, g, -3
Suppose -b + 3*h + 12 = -2*b, 5*h = -b - 22. Put 1, b, -1 in increasing order.
-1, 1, b
Let s(u) = u**3 + 5*u**2 + 4. Let k be s(-4). Suppose d + k = w - 2*d, 0 = 5*w + 5*d - 20. Suppose -n + 3*n = -w. Put -2, 4, n in descending order.
4, -2, n
Let f = 19 + -24. Sort 0.3, f, 4/11 in descending order.
4/11, 0.3, f
Let x = -9 + 11. Sort 0, x, 3 in decreasing order.
3, x, 0
Suppose 4*p - 4 = -4*o, o - 1 = -3*p + 2. Let f = 0 - o. Suppose -5*s + 11 + 14 = f. Sort s, 0, -3 in descending order.
s, 0, -3
Let n = 7 + -4. Let u = 0.8 - 0.3. Let c = -2/7 - 1/21. Put c, u, n in decreasing order.
n, u, c
Let g be 17/4 - (-15)/20. Let c = -5 + g. Let v be (24/(-21))/(-2 - c). Put v, 1/3, 0.5 in descending order.
v, 0.5, 1/3
Let g = -0.08 + 0.32. Let m = -5.24 + g. Put m, 14, 1/10 in descending order.
14, 1/10, m
Suppose 3*t + 3 = 0, 0 = -3*l - 5*t - 6 - 8. Sort 11, l, 4 in decreasing order.
11, 4, l
Let p(t) = -4*t**2 + t. Let z be p(1). Sort -1, 0.4, z in ascending order.
z, -1, 0.4
Let c = 302299/393576 + -19/3174. Let t = c - 12/31. Let w = -119/4 - -30. Put -1, t, w in increasing order.
-1, w, t
Let x(i) = -3*i - 2. Let m be x(-2). Sort -2, m, 3 in descending order.
m, 3, -2
Let v be (5/(-3) - -2)/((-2)/6). Put 3, v, 20 in increasing order.
v, 3, 20
Let t(o) = o**2 - o - 3. Let d be t(-2). Put d, 1, -5 in increasing order.
-5, 1, d
Let f = 275 - 278. Let u be 1*-1*(2 + -1). Let z = 0.1 - -0.4. Put u, z, f in decreasing order.
z, u, f
Suppose 46 = -3*r + 34. Let s be (-2)/6 + (-4)/6. Put 0, s, r in increasing order.
r, s, 0
Let y = -262537495/636 - -412795. Let r = -6/53 + y. Let h = 0.5 - -1.5. Put r, h, -0.4 in ascending order.
-0.4, r, h
Let q = 0.027 + -0.927. Put q, -2/3, -2/11, 1 in descending order.
1, -2/11, -2/3, q
Let j be (-2)/(1*(-6)/3). Put j, -1, 5 in descending order.
5, j, -1
Let a = -0.17 - -0.2. Let j = -5.03 + a. Let i = 0.6 + -0.7. Put j, i, -3 in decreasing order.
i, -3, j
Let u = -21 + 21.11. Let t = -0.51 + u. Put -2, t, 3/5 in ascending order.
-2, t, 3/5
Let k be (375/192)/1 + -2. Sort k, 4/5, 2/3 in increasing order.
k, 2/3, 4/5
Let c = 68 + -67. Let b = -4 + 1. Put c, -4, b in decreasing order.
c, b, -4
Suppose 0*g = -2*g - 8. Let b(j) = -j**3 - 9*j**2 + j + 10. Let d be b(-9). Let z be (d + (-2 - 0))/1. Put z, -2, g in ascending order.
g, -2, z
Let u(y) = y - 1. Let i be u(7). Let m(q) = -q**2 + 8*q - 8. Let x be m(i). Put 1/7, x, 0.4 in increasing order.
1/7, 0.4, x
Suppose -t - 3 = -7. Put 5, -4, t in descending order.
5, t, -4
Let g = -3 + 8. Let u = 0.18 + -0.09. Let h = u - -0.41. Sort 2, g, h in descending order.
g, 2, h
Let n(w) = w + 17. Suppose 8*c + 52 = 4*c. Let g be n(c). Sort -9, 2, g in decreasing order.
g, 2, -9
Suppose 0 = -2*w - w - 3. Put 6, w, 1 in descending order.
6, 1, w
Let n = -54 + 50. Put -2, 4, n in decreasing order.
4, -2, n
Let k be (-4)/3*(-6)/4. Suppose 5*q = -4*c + 15, 12 = 4*q - c - 2*c. Suppose k*v = q*v. Put 3, v, -5 in ascending order.
-5, v, 3
Let g = -4 + -1. Let p(z) = z**2 + 5*z - 4. Let w be p(g). Sort -2, w, -0.1 in ascending order.
w, -2, -0.1
Let i be 88/(-32) + (-2)/8. Let d be (-4 - -2)/2*i. Sort 2, d, 1.
1, 2, d
Let f = 41 + -38. Put -0.4, -4, f in increasing order.
-4, -0.4, f
Let w be ((-12)/(-24))/(1/104). Let k = w - 264/5. Suppose 5*i + 8 = -2*v, v - 9 = 3*i + i. Put 1/2, k, i in increasing order.
i, k, 1/2
Suppose 