decreasing order.
1, i, j
Let d = 0.132 - 0.104. Let r = 0.228 - d. Sort 1, r, -6 in descending order.
1, r, -6
Let c(v) = -5*v - 48. Let h be c(-10). Let a be (-6)/(-4) + 0 - 99/18. Sort h, 4, a in increasing order.
a, h, 4
Suppose 4*a - 16 = -4*y + 4, -5*a + 41 = y. Suppose 5*h + 16 = 4*p, 3*h - 7 - a = -4*p. Put 10/9, h, 5 in descending order.
5, 10/9, h
Suppose -j - 114 = -3. Let w be j/39 + 4/(-26). Let y(b) = -b**3 + 4*b**2 - 3*b + 3. Let l be y(2). Sort 3, l, w.
w, 3, l
Let a(z) = -z**2 - 2*z - 2. Let x be a(-1). Suppose 0 = -7*l + 5 + 2. Sort x, 2, l in descending order.
2, l, x
Let u be -4 + 2 - (34 - -2). Let g = -30 - u. Let w = 0 - 0. Sort g, -4, w in increasing order.
-4, w, g
Let b(u) = u**3 + 5*u**2 + 3. Let o be b(-5). Suppose 3 = s - 2*s. Put 5, 1, s, o in increasing order.
s, 1, o, 5
Let l be (-63)/(-7) + -2 - (-3 + 15). Sort -575, -3, l in descending order.
-3, l, -575
Let c = 108 - 180. Let y be c/(-15) + (-12)/15 + 1. Sort y, -8, 2 in decreasing order.
y, 2, -8
Let k = -450.1 + 450. Sort -110, 4, k.
-110, k, 4
Let c(f) = -f**3 + 5*f**2 + 6*f + 5. Let u be c(6). Suppose u*i + 31 = 3*v + 3*i, -3*v + i + 29 = 0. Suppose 13 = g - 2*y, -28 + 11 = -5*g - 2*y. Sort v, g, 0.
0, g, v
Let o = 27 - 20. Let b be 1 + 1 + (2 - o). Let z be 1*-2*b/(-6). Sort z, -3, 2 in increasing order.
-3, z, 2
Let o be 41/(-155) - (-24)/120. Put -4, 0.5, o, -0.1 in descending order.
0.5, o, -0.1, -4
Let m = -4.1 + 4.083. Let b = m - -9.017. Put b, 0.5, 1/4, 1 in ascending order.
1/4, 0.5, 1, b
Let i = 532 + -528. Sort 0, -1/2, 2, i in decreasing order.
i, 2, 0, -1/2
Let z = 4 - 5. Let w(o) = o**2 + 9*o + 2. Let q(g) = -2*g**2 - 3*g + 5. Let j be q(2). Let l be w(j). Sort z, l, -0.1 in ascending order.
z, -0.1, l
Let c = 1.4 - 9.4. Suppose 5*n + 2*i - 10 = 0, n - 2*i + 10 = 3*n. Let r be (-22)/6 + (n - -3). Sort -3/2, c, r in decreasing order.
r, -3/2, c
Let h(f) = -8*f**2 + 1. Let m = 0 + 1. Let a be h(m). Let w = 10 + a. Sort w, 7, 4.
w, 4, 7
Let g = -13 + 10. Let b(p) = -p**3 - 2*p**2 + 4*p - 1. Let o be b(g). Put 2, o, 6 in decreasing order.
6, 2, o
Let t = 23 - 19. Let l = 0 + t. Suppose 0 = -5*s + 7*s + 10. Put s, l, -1 in decreasing order.
l, -1, s
Let o = 27 - -3. Let a = o - 30.5. Sort 7, a, 0.2 in decreasing order.
7, 0.2, a
Let q(x) = 4*x - 7. Let k be q(3). Suppose 1 + 2 = -b, -5*a - 20 = -k*b. Sort a, 4, 3 in ascending order.
a, 3, 4
Let l = 9.54 - 10. Let s = l - 0.04. Put -0.02, -1/3, s in increasing order.
s, -1/3, -0.02
Let v(p) = -p**2 + 10*p - 4. Let k be v(10). Suppose -3*q + 0 = -s + 14, -4*s = q - 4. Sort -5, k, -2, s in decreasing order.
s, -2, k, -5
Suppose 4*c - 3*d + 15 = 0, 0 = -4*c - 4*d + 14 + 6. Suppose 0*s + 12 = 2*s. Suppose -2*a = 2 + 2. Put s, c, a in descending order.
s, c, a
Let u be (-7)/35 + (-1)/(-5). Suppose -3*l + 2*d + 2 = u, -4*l + 14 + 17 = 3*d. Put 1, 0, l, -2 in descending order.
l, 1, 0, -2
Let y = 21.51 + -16.91. Sort 0.5, -10/3, 1/3, y in decreasing order.
y, 0.5, 1/3, -10/3
Let f be (2/(-4)*2)/(1/4). Suppose 3*u + 2*s = -17, -2*u + 5*s = 2 - 16. Suppose 2 = 2*a + 6. Put a, u, f in decreasing order.
a, u, f
Let m = 2.82 + -4.52. Put -1/3, -3, m in descending order.
-1/3, m, -3
Suppose 0 = -3*q + 7*q + 20. Let p be (-180)/(-135)*9/(-12). Sort 4, p, q in decreasing order.
4, p, q
Suppose 23*y + 97 = 5. Sort -5, y, 4 in increasing order.
-5, y, 4
Suppose -5*p = 2*l - 11, 0 = -12*l + 15*l + 2*p. Suppose 0 = 5*y + 33 - 13. Put -7, y, l, 5 in descending order.
5, l, y, -7
Suppose -182 = -5*m + 31*m. Put -6, m, 4, 1 in decreasing order.
4, 1, -6, m
Suppose 0*m - 25 = -5*m. Let f = m + -3. Let s = -1449.6 - -1449. Sort s, f, 1 in ascending order.
s, 1, f
Let x be (-28)/(-21)*42/(-4). Suppose -4*t - 4*o = -16, -2*t + 17*o - 14*o = -13. Sort x, t, -4 in descending order.
t, -4, x
Suppose 0*p = 3*p + 6. Let j = -904 - -891. Sort -4, p, j in descending order.
p, -4, j
Let z = 54 + -49. Sort z, -2/7, 0.3 in decreasing order.
z, 0.3, -2/7
Let k = -3.86 - -3.66. Sort 5, k, -166 in decreasing order.
5, k, -166
Let j = 4270 + -4273. Suppose 2*o - a - 4 + 0 = 0, -2 = -2*o + 2*a. Suppose -o*i = -0*t - 2*t - 10, -3*t + 5*i - 15 = 0. Put j, 1, t in descending order.
1, j, t
Let k(r) = r**3 - 7*r**2 - 8*r - 4. Suppose u + 5*t + 0*t = -12, u - 3*t - 20 = 0. Let l be k(u). Sort 2, l, -1 in ascending order.
l, -1, 2
Let i = -4.04 + -321.96. Put -4, i, -1, -3 in descending order.
-1, -3, -4, i
Let t = -13.16 - -120.16. Sort 4, -1/7, t in increasing order.
-1/7, 4, t
Let v = 0 - 2. Let q(p) = -p**3 - 10*p**2 + 9*p - 26. Let k(n) = 3*n - 5. Let a be k(-2). Let h be q(a). Sort 5, h, v in ascending order.
h, v, 5
Let h = 3565/18 - 198. Put 0.1, h, 5 in ascending order.
h, 0.1, 5
Let i(f) be the third derivative of -f**5/20 + f**2. Let t be i(-1). Let x(u) = -u**2 + 5*u - 6. Let r be x(4). Put -6, t, r in increasing order.
-6, t, r
Let f = -18 + 26. Suppose 0 = -5*d + 2*t + f, -4*d = -0*t - 4*t - 16. Suppose d*j + 12 = -3*j. Sort j, 1, 0 in descending order.
1, 0, j
Let g = 1.6 - -1.4. Put -2/3, g, -0.1 in ascending order.
-2/3, -0.1, g
Let m = -2 + 3. Let a(y) = 5*y - 58. Let x be a(12). Let g = -9 - -16. Sort g, x, m in increasing order.
m, x, g
Let a = -0.1 - -0.2. Let w = -72.4 - 12.6. Let s = w - -82. Put s, a, 0.08 in ascending order.
s, 0.08, a
Let s = 3.89 + 0.11. Let c = -2443/1628 - -1/1628. Put 11/3, c, s in descending order.
s, 11/3, c
Let r be 2/12 - (-127)/(-6). Let k = 45 + r. Let y be (10 - 13)*(-2)/k. Sort y, -4, 3 in descending order.
3, y, -4
Let c be (-9 - (6 - 9)) + 12. Sort 3, -5, 0, c in descending order.
c, 3, 0, -5
Suppose 5*q = -8 - 17. Suppose -p = -27 - 65. Let f = p - 90. Put f, q, -18 in decreasing order.
f, q, -18
Suppose -4*u = y - 5, -12*y + 5 = 2*u - 9*y. Sort u, 0, -78 in increasing order.
-78, 0, u
Suppose 19*s = 1048 - 3575. Put -2, 3, s in descending order.
3, -2, s
Suppose 5*s = 5*a - 3*a + 5, -2*s = 5*a - 31. Suppose a*d + 1 = -14. Sort d, 1, -15 in descending order.
1, d, -15
Let n = -523 - -527. Put 4/7, 3, 49, n in descending order.
49, n, 3, 4/7
Suppose 0 = -12*z + 14 - 2. Suppose -2*q + 6 = -2*a, -a - z = q + 2. Put -2/3, -0.1, -2, a in descending order.
-0.1, -2/3, -2, a
Suppose -1 - 29 = -30*l. Sort -3, l, -2, 18 in decreasing order.
18, l, -2, -3
Let q = -0.17 - 0.43. Let x = 0.234 - 0.004. Let t = x + 0.27. Put 4, q, t in descending order.
4, t, q
Let w be 32/64 + 82/(-12). Sort 3, -1, w.
w, -1, 3
Suppose 0 = 10*u - 194 + 184. Put 152, -2, -5, u in descending order.
152, u, -2, -5
Let y = -124 - -122. Let i = -0.08 - -7.08. Let a = 9 - i. Sort y, a, 0 in increasing order.
y, 0, a
Let n = 2.6 - 7.6. Put 2/11, 1.2, n, -0.3 in decreasing order.
1.2, 2/11, -0.3, n
Let o = -1.103 + 1.733. Sort 8, -0.3, o in increasing order.
-0.3, o, 8
Let t(z) = -z + 1. Let a be t(-1). Suppose 2*n = -a*n. Suppose n = 5*s - 6 - 4. Sort 5, -4, s.
-4, s, 5
Let r be (-54)/(-90)*(-10)/45. Sort 33, r, 4 in ascending order.
r, 4, 33
Let p(y) = 2*y**3 - y**3 + 0*y**3 + 7 - y**2 + 0*y**2. Let s be p(0). Let c = 5 - s. Sort c, -3, 4 in increasing order.
-3, c, 4
Let t = -128 - -127. Let g = -0.6 - 2.4. Sort 0.1, g, t.
g, t, 0.1
Let o = -29 - -31. Let i be 3/4 + -1*o. Put -0.3, 0, i in ascending order.
i, -0.3, 0
Let y = 1196/9 - 133. Let h = -0.96 - -1.06. Put -4, h, y, 2/9 in increasing order.
-4, y, h, 2/9
Let b = -12 - -4. Let o be (8/(-10))/(1/5). Let d = o - b. Sort d, 3, -2 in decreasing order.
d, 3, -2
Let g = -804 + 806. Sort 3, 18, g, -2 in descending order.
18, 3, g, -2
Suppose -23*u + 27*u - 12 = 0. Suppose 0*z + z - 4*c = 14, -9 = u*c. Let n be (-5)/((-1)/2*-2). Put n, z, 0 in ascending order.
n, 0, z
Let x = 605 - 597. Sort 5, 4, x, 2/11 in ascending order.
2/11, 4, 5, x
Let k(s) = -52*s - 523. Let n be k(-10). Let w be 0*(2 + 10/(-4)). Suppose w = -q - 1. Sort 1, q, n in ascending order.
n, q, 1
Suppose -10*k = -8*k - 18. Suppose 4*d - 1 = f + 2, -5*d = 3*f + k. Sort -2, f, 2 in decreasing order.
2, -2, f
Let i be ((-63)/42)/((-1)/(-2)). Put 2, -0.09, i, 3 in ascending order.
i, -0.09, 2, 3
Let b = 254 + -246. Sort 0.05, 1, b in decreasing order.
b, 1, 0.05
Suppose -4*o = -3*o - 6. Suppose o*f - 7 = -f. Sort f, -5, 5 in decreasing order.
5, f, -5
Let t = 613 + -630. Sort t, 2, 4 in decreasing order