ending order.
o, 4, d
Suppose 9 = -223*f + 10 - 1. Sort -3, -93, f, 2 in decreasing order.
2, f, -3, -93
Let i(f) = 26*f - 11 + 43 + 0*f + 34. Let n be i(-4). Sort -5, 3, n, 5 in ascending order.
n, -5, 3, 5
Let m(h) = 4*h - 11. Let v be m(6). Suppose 0 = v*i - 43 - 9. Put i, -2, 3 in decreasing order.
i, 3, -2
Let b be (-13)/845*15*13/(1 + -2). Put -5, -2, -1, b, -27 in descending order.
b, -1, -2, -5, -27
Suppose -3*d - a + 6 = 0, 0 = -94*d + 98*d - 3*a - 8. Sort 4, 1, 3, d, 661.
1, d, 3, 4, 661
Let u be (-1674)/756 + 6/28. Sort u, 0.014, 2/11, -0.01.
u, -0.01, 0.014, 2/11
Let a = -780 - -773. Sort -52, a, -2 in ascending order.
-52, a, -2
Let m = -609.1 + 608.6. Sort -5, 0, 37, m in decreasing order.
37, 0, m, -5
Suppose 49732*v - 49768*v - 612 = 0. Let f = -0.1 - -0.1. Sort f, v, -0.2 in descending order.
f, -0.2, v
Let x = 156 - 147. Let z be (24/(-1304))/(x/(-6)). Let l = z + 312/1141. Sort 4, 45, -2/3, l in descending order.
45, 4, l, -2/3
Let b = 1.1 + -1. Let q = -24.33 + -1.87. Let t = q - -29.2. Sort t, -2/5, 3/8, b in ascending order.
-2/5, b, 3/8, t
Let h(q) = 3491*q + 50. Let d be h(11). Let r = d + -268239/7. Let f = r - 131. Sort f, -0.16, 1 in descending order.
1, f, -0.16
Let z be (-33)/234 - 284/(-923). Let r be 3 + 0 - (12 - 9). Put 5, r, -3, z in ascending order.
-3, r, z, 5
Let c = 31 - 17. Let g = -14 + c. Let t = 2.9 - 2.3. Put t, 0.5, g in ascending order.
g, 0.5, t
Let p be (108/432)/(1*-1*(-5)/20). Sort -10, 16, p, -4, 4 in decreasing order.
16, 4, p, -4, -10
Let i = 3278 - 3337. Sort 0, 6, -1, i in decreasing order.
6, 0, -1, i
Suppose -2*v + 6 = -4. Let w = 76.41 - 76.44. Put v, -2, 0.1, w in increasing order.
-2, w, 0.1, v
Let b = 1194 - 1200. Sort b, 51, 2 in ascending order.
b, 2, 51
Suppose -3*a - 3*x = -9, -4*a + 2*x = -8*a + 2. Let m be a/(-4)*4/(-26). Sort 1/4, m, 3/2.
m, 1/4, 3/2
Let b be 620/(-18) + 8/18. Let r(y) = y**3 + 34*y**2 + 2. Let s be r(b). Let d = 19 + -4. Put s, -2, d in descending order.
d, s, -2
Let u(g) = -167*g + 332. Let q be u(2). Put -5, q, -7, 0, -1 in decreasing order.
0, -1, q, -5, -7
Let y = 686 + -680. Suppose 5*w + 25 = 0, -w + 3 - 12 = -4*x. Put -9, x, y, 2 in descending order.
y, 2, x, -9
Suppose -2*d + 243 = 251. Sort 2, 87, -5, d, 3.
-5, d, 2, 3, 87
Suppose 20*g = 298 - 138 - 40. Put -2, g, -9, 1, 3 in ascending order.
-9, -2, 1, 3, g
Let h(y) = 32*y**3 + 217*y**2 - 50*y - 4. Let f be h(-7). Sort -7, 15, -1, f, -2 in ascending order.
-7, -2, -1, f, 15
Let c = -290 - -244. Let l(w) = w**2 - 8*w + 11. Let p be l(6). Put c, p, -4 in descending order.
p, -4, c
Let t be ((-1152)/(-2080) - 18/45) + 62/104. Put 0.14, -143, t in increasing order.
-143, 0.14, t
Let m = 6 + -1. Let j = 2986 - 2986.1. Put j, m, -6 in decreasing order.
m, j, -6
Suppose -3*x + 9 = -4*n, 5*n = -102*x + 104*x - 20. Put -65, x, 5, -4 in descending order.
5, -4, x, -65
Let k be -3 - 10/(-3) - (-56)/(-6). Let s be ((-8)/18)/(-3 + (-21)/k). Let h = -4 - -2. Put h, s, -2/5 in descending order.
s, -2/5, h
Let u = -1500.6 + 5181.6. Sort -3, 0, u in ascending order.
-3, 0, u
Let o = -544.1 + 543.1. Sort 0.01, o, 242 in ascending order.
o, 0.01, 242
Let l be ((-12)/9*-4)/((-8)/(-12)). Suppose 0 = -o + 4 + l. Suppose v + 9 - o = 0. Put v, 5, -3 in descending order.
5, v, -3
Let f = -6470 + 6469.66. Sort -9, 4, f, 0.3 in decreasing order.
4, 0.3, f, -9
Suppose -2*w - 59 = 59. Suppose 161*k - 167*k = 342. Let p = w - k. Put 7, -3, p in ascending order.
-3, p, 7
Suppose 0 = -4*u + f - 11, -5*f = 2*u + 2*u + 41. Let k be 744/16*(42/63 + (-16)/12). Put -5, u, k in increasing order.
k, -5, u
Let v = -12556 - -12557. Put v, -287, -4, 3 in increasing order.
-287, -4, v, 3
Let u = 277 + -268. Suppose -115 = -u*l - 88. Put 4, l, -6, -3 in decreasing order.
4, l, -3, -6
Let g = -1219 + 1218.7. Put -71, -4, g in decreasing order.
g, -4, -71
Let p = 226 + -42. Let v = p + -154. Let b = v - 29.7. Put 0, -2/121, b in descending order.
b, 0, -2/121
Suppose 0 = 5*s - 2 - 3. Let m = -378 - -380. Let f be 1/m - 305/122. Put s, -1, f, -10 in descending order.
s, -1, f, -10
Let r be ((-9)/(-12))/3 - 1. Let k be (-28)/21 + (-22)/66. Let n = -0.1 - -0.1. Sort k, n, r in decreasing order.
n, r, k
Let z = 7648 - 7646. Suppose -10*x - 5 = -5*x. Let i(n) = -n**3 - 5*n**2 + 3. Let o be i(-5). Sort z, x, o, -5 in descending order.
o, z, x, -5
Let m = -44.9 + 45. Put m, 5, -2, -109, -3 in descending order.
5, m, -2, -3, -109
Let y(c) = c**3 - 8*c**2 + 4*c + 5. Let d be y(7). Let o = d - -17. Let i(a) = 3*a**3 + 7*a - 7. Let h be i(1). Sort 0, -3, o, h in ascending order.
-3, 0, o, h
Let v = -14 + 13.8. Let u(p) = 90*p - 32*p - 34*p - p**3 - 8*p**2 - 34*p - 18. Let w be u(-7). Sort -5, -3, w, v.
-5, -3, v, w
Let m be (-2*(-22)/(-4))/((-82)/(-246)). Sort 6, 0, m, 5.
m, 0, 5, 6
Let i = -307 + 135. Let c = -175 - i. Sort c, -0.15, 1/5 in increasing order.
c, -0.15, 1/5
Let r be (-4)/18 + 400/(-225). Sort 5, 0, -10, 1, r in descending order.
5, 1, 0, r, -10
Let t = 6659 - 6657. Sort 0, 4, -262, t in decreasing order.
4, t, 0, -262
Let s be (-412)/1133 + 608/(-22). Sort 7, -2, 2/13, s in decreasing order.
7, 2/13, -2, s
Suppose -159*f + 164*f - 135 = 0. Let r be (19 - f)*((-5)/(-2))/5. Sort 1, -9, r in decreasing order.
1, r, -9
Suppose -25 = -4*x - x. Let f(d) = d**2 - 23*d - 4. Let b be f(0). Put x, 1, b in increasing order.
b, 1, x
Let s = 23 - 20. Suppose 7*l - 20 = s*l. Suppose 3*g - 5 = -4*r, -5*g = -4*g + 3*r - l. Sort 3, 4, g in descending order.
4, 3, g
Suppose 5 - 36 = -31*l. Suppose -14 = -2*g - 0*g. Suppose 6 = 5*r - 9. Put l, r, g, -1 in decreasing order.
g, r, l, -1
Let i = -4582 - -4572. Sort 36, 3, 0, i.
i, 0, 3, 36
Let i(l) = -l - 3. Suppose 0*z + 48 = 2*z. Let a be 3/(z/(-15) + 1). Let m be i(a). Put m, -5, -1 in increasing order.
-5, -1, m
Let y = -8 - -9. Let r be -4 + (-5)/((-15)/6). Let m be r - (3 + y + -3). Put m, 3, -4, -1 in descending order.
3, -1, m, -4
Suppose -2*j = 2*t + 1436, t - 47 = -53. Put 3, -5, j, 5 in increasing order.
j, -5, 3, 5
Let i = -11255 + 11252. Let k = 959/8 + -120. Sort 1/5, -0.9, k, i in increasing order.
i, -0.9, k, 1/5
Suppose -6 = 3*w - 5*u - 20, 5*w - 13 = -2*u. Let r(t) = -t**3 - 64*t**2 - 67*t - 255. Let x be r(-63). Sort 5, -2, x, w in ascending order.
x, -2, w, 5
Let r(x) = x**3 - 5*x**2 + x + 19. Let c be r(5). Suppose -c = 10*d - 18*d. Let a = 10 + -15. Sort -3, a, 2, d in descending order.
d, 2, -3, a
Let d(v) = -2*v**3 + 61*v**2 - 54*v + 715. Let h be d(30). Suppose 3*a = -6 - 6. Put h, a, 53 in descending order.
53, a, h
Suppose 4*k - 17*t = -16*t - 18, 2*k - 4*t + 30 = 0. Sort -4, k, 5, 2, 1 in decreasing order.
5, 2, 1, k, -4
Let s(b) = -45*b - 105. Let c(y) = 7 + 4 + 11*y + 15. Let p(f) = -25*c(f) - 6*s(f). Let r be p(-5). Sort r, -3, 0 in increasing order.
-3, 0, r
Let t be (-8)/(-6)*(-54)/12. Let q be t/(-9) + 50/15. Let c be (-32)/(-56) - (-33)/77. Put -3, q, 2, c in decreasing order.
q, 2, c, -3
Let s = 63 - 45. Suppose -i = -14 + s. Let l be 9 - 9/(36/(-8)). Sort 4, l, i in decreasing order.
l, 4, i
Let o = -10908 - -10912. Put 3, 0.27, o, 7 in increasing order.
0.27, 3, o, 7
Let s = -5.5 + 5.336. Let d = s + 0.095. Let y = -0.969 - d. Sort y, -0.4, -1.
-1, y, -0.4
Let d(c) = c + 10. Let i be d(-4). Let j = 2751 + -2750. Put -2, 3, j, i in increasing order.
-2, j, 3, i
Suppose 3*w = -3*y + 54, -y + 5*y + 5*w - 75 = 0. Let l be 6/54*y/2. Let k = 125 - 122. Sort -2/13, l, k in increasing order.
-2/13, l, k
Let v = 1282.4 - 1279.4. Put v, -6, 104 in decreasing order.
104, v, -6
Let q = 1.12 + -33.42. Let r = 31.816 + 0.184. Let o = q + r. Sort -1/8, -2/9, o, 0.5 in increasing order.
o, -2/9, -1/8, 0.5
Suppose 0 = -4*h - 4*u + 36, u + 52 = 3*h + 9. Let p be (-2)/(-8)*(h - (-21)/3). Sort p, 4, 22 in descending order.
22, p, 4
Let r = -66 + 66. Suppose 5*o - 5 - 5 = r. Let z = 20.4 + -20. Sort z, o, -2, -8/5.
-2, -8/5, z, o
Let s(p) = p**2 - 7*p. Let q be s(7). Suppose 107*u = 123*u + 80. Suppose -2*w + 2 = -0. Put q, 4, w, u in increasing order.
u, q, w, 4
Let k = -87 + 89. Let l = 48 + k. Let n be (-5 - 2)*l/(-35). Sort n, 2, -4, 0 in descending order.
n, 2, 0, -4
Suppose 21*l - 75 + 111 = 99. Put 7, 0.4, 16/9, l in ascending order.
0.4, 16/9, l, 7
Let j = -1.061 + 0.061. Let f = 15