 descending order.
-1/4, -0.4, i
Let t = 96 + -103. Sort 1/4, 0.4, -3, t.
t, -3, 1/4, 0.4
Let a = 4.65 - 5.95. Put -2/13, a, -1, 1.2 in descending order.
1.2, -2/13, -1, a
Let j = -183/4 + 46. Let q = 8/5 + -218/155. Let r = q - 4/341. Sort r, -0.2, j in increasing order.
-0.2, r, j
Let r = 180 + -182. Sort 1, r, 3, 6 in decreasing order.
6, 3, 1, r
Let b = 160 - 161. Let a be (-2 - b)*(-10 - 3). Sort 2, 1, a in descending order.
a, 2, 1
Suppose 5*h = 3*r + 125, h + h - 50 = -4*r. Suppose h = m - 6*m. Suppose 0 = 3*y + 3*z, -6*y - z - 12 = -8*y. Put 1, y, m in ascending order.
m, 1, y
Suppose 5*m - 8*m = -54. Let b = m + -16. Sort 0, 11, b in increasing order.
0, b, 11
Let o = -2.85 - -2. Let s = o + 0.85. Let y be (-6)/8*4/6. Sort s, 4, y.
y, s, 4
Let t be (-2 + (-3)/(-2))*-4. Let w = 42 - 34. Let a be (w/7)/(2/7). Put t, a, 3 in decreasing order.
a, 3, t
Let d(p) = p**3 + 7*p**2 + 3*p - 5. Let j be d(0). Put -2, 3, j in decreasing order.
3, -2, j
Let m = 1514 - 1513. Put 4, -30, -2/13, m in increasing order.
-30, -2/13, m, 4
Let c = -921 + 920. Sort 9, -29, c.
-29, c, 9
Let m = 147 + -144. Sort -5, -6, 2, m in decreasing order.
m, 2, -5, -6
Let p = 3629/8 + -452. Put 0.7, p, -1 in decreasing order.
p, 0.7, -1
Let i(x) = x + 1. Let b be i(-6). Let r = 8 + -3. Sort b, 1, 4, r in increasing order.
b, 1, 4, r
Let w(x) = -2*x**3 + x**2 + x + 1. Let r be w(-1). Suppose -7*y + 6*y - 6 = 2*t, -2*y = -8. Put r, -3, t, 5 in decreasing order.
5, r, -3, t
Suppose -40*m - 160 = 40. Put m, -3, 1, 9 in descending order.
9, 1, -3, m
Let z(x) = -4*x + 11. Let c be z(-5). Sort -4, 0, c, -1.
-4, -1, 0, c
Suppose 5*x + 32 = 3*r + 5, 5*r - 5*x - 35 = 0. Let a = -329 + 332. Put -21, a, r in decreasing order.
r, a, -21
Let z = -53 + 78. Suppose 5 = 4*y + z. Put -3, y, 1, 4 in increasing order.
y, -3, 1, 4
Let u(y) = -4*y - 2. Let o be u(-16). Let r be 6/(-36) + o/12. Let n be (-4)/(-8) + (-13)/18. Sort r, n, -0.4.
-0.4, n, r
Let d be 6/(-4)*(-14)/3. Let f(t) = -5*t**2 + 74*t - 72. Let v be f(1). Put 3, v, -5, d in descending order.
d, 3, v, -5
Suppose -4*j = 4*n - 24, 17*n = 14*n - 4*j + 19. Sort 4, 6, n, -3 in ascending order.
-3, 4, n, 6
Let g = -342 + 3082/9. Sort g, -5, 1.
-5, g, 1
Let g be 15/6*(-16)/(-20). Suppose 4*n = 2*w + 16, -g*n + 3*w - 2 = -6. Suppose 0*p = -n*p + 20. Sort 2, p, -1 in descending order.
p, 2, -1
Let g be (-1 + 2)/(1/(-4)). Let b(t) = -t**3 - 2*t**2 - t - 7. Let h = -70 + 67. Let a be b(h). Put g, a, 7 in decreasing order.
7, a, g
Let m = -226 - 58. Sort 1, m, 5.
m, 1, 5
Let i(w) be the third derivative of -w**5/60 + w**4/24 - 16*w**2. Let k be i(1). Sort k, 32, 4 in decreasing order.
32, 4, k
Let n(l) = -7*l**3 - 3 + 2 + 2*l - 1 + 3. Let v be n(-1). Let s(g) = -g**2 + 5*g + 4. Let f be s(v). Sort 5, f, -1 in decreasing order.
5, -1, f
Let r(l) = -6*l - 13. Let o be r(11). Let m = o - -239/3. Put m, 0.2, 5/4, -6 in increasing order.
-6, 0.2, m, 5/4
Let p = -64 - -69. Sort -3, 1, p, -5 in ascending order.
-5, -3, 1, p
Suppose 4*s - f = 93, -5*s + 2*s + 3*f + 63 = 0. Sort s, -1, 3, -5 in ascending order.
-5, -1, 3, s
Suppose 3*k + 3*m - 11 = 2*k, 4*k + 31 = 3*m. Let p(d) = -d**3 + 7*d**2 + 10*d - 8. Let l be p(8). Sort -3, k, l.
k, -3, l
Suppose o = 2*b + 7, -4*b - 7 = 9. Sort 170, o, -3 in decreasing order.
170, o, -3
Let n = 1.6 - 2. Let a = n - -0.1. Let z = -3 - -8. Sort z, a, -2/3 in decreasing order.
z, a, -2/3
Let q be 2 + (-3)/(12/8). Let u = 212 - 211. Sort 3, u, -1, q in ascending order.
-1, q, u, 3
Let u(l) = -l + 8. Let p be u(7). Let r be 33/21 - (p + 1). Let j = 41.48 + -41.68. Sort j, r, -0.1.
r, j, -0.1
Suppose -m + 3 = 2. Suppose y + 6 = 26. Suppose -3*q - 5*o + y = -o, 5*q = -4*o + 20. Put 2, m, q in decreasing order.
2, m, q
Let s(o) = 6*o + 68. Let n be s(-8). Sort n, -5, 1 in ascending order.
-5, 1, n
Let m be 8/4 + 3 + 2. Suppose 4*y + m = 27. Sort 3, y, -11 in descending order.
y, 3, -11
Suppose 110*j - 93 = 17. Let m(s) = s**3 - 3*s**2 - 4*s + 4. Let i be m(4). Sort i, 0, 5, j in descending order.
5, i, j, 0
Suppose -5*c = -c + 20, 0 = 4*y - 3*c - 23. Sort 0, y, 51, 4.
0, y, 4, 51
Let a = -260 + 265. Sort a, -14, 3 in decreasing order.
a, 3, -14
Suppose 4*c = -2*u + 18, u - 7 = -2. Sort 4, -5, c, 3 in decreasing order.
4, 3, c, -5
Let b(q) = -q**3 - 2*q**2 - q. Let g be b(-1). Let a = 2136 + -2135. Put 4, g, a in descending order.
4, a, g
Let z = 26/9 - 25/9. Let y = -25.6 - 0.4. Let p = y + 22. Put 1, p, z in decreasing order.
1, z, p
Suppose 0*j - 5*t + 11 = j, -9 = j - 5*t. Suppose -o - 2 = -j. Suppose 4 = y + i, y + i + 4 = 4*i. Sort 0, o, y in decreasing order.
y, 0, o
Let f = 0.3 - 0.1. Let r = -1.959 - 0.041. Put r, 2, f in increasing order.
r, f, 2
Let k = 53.3 - 50. Let v = 0 + 0.3. Let j = k - v. Sort 0, -2/3, j in decreasing order.
j, 0, -2/3
Let c(m) = 209*m + 1251. Let s be c(-6). Suppose -k + 3*r = -r + 6, -3*k - 4*r = -30. Put 5, s, -2, k in ascending order.
s, -2, 5, k
Let v = 20 + -28. Let n = v + 5. Let t = -3.4 - n. Put 3/7, -5, t in increasing order.
-5, t, 3/7
Let f = -1393/2 - -696. Put -2/11, 2/3, f in ascending order.
f, -2/11, 2/3
Let y = 5 - 9. Let u = -0.9407 - 0.0593. Let w = 0.02 + 4.98. Sort u, y, w in ascending order.
y, u, w
Let o = 11 - 16. Sort o, 5, -55, -2.
-55, o, -2, 5
Suppose 4*i = 3*g - 459 - 34, 3*i = 2*g - 330. Let k = g - 1110/7. Let w = 0.1 - -0.1. Put w, -2/5, k in decreasing order.
k, w, -2/5
Let m(s) = -10*s - 844. Let r be m(-84). Put r, 55, -2, -3 in descending order.
55, -2, -3, r
Let x be (-12)/8 + 7/2. Let q = 2 + x. Suppose 5*g - 2*h + 4*h + 30 = 0, 2*g = -4*h - 28. Sort g, q, 5 in increasing order.
g, q, 5
Suppose -2*t - 4*t = -66. Suppose 0 = -2*f + 5*n + 3 + t, n = -2. Put 4, -3, f, 5 in descending order.
5, 4, f, -3
Let k = 164 - 68. Let z be 3/(-5) - k/(-10). Let y be (-27)/11 + z + -6. Sort 3, y, 2.
y, 2, 3
Suppose 0 = 2*m - 0*m. Suppose -2*d - 3*g - 14 = 0, d - 5*d - 64 = -3*g. Put m, d, 2 in decreasing order.
2, m, d
Let n = 49 - 54. Let o = -2 + -1. Let b = 0.31 + 0.69. Sort n, b, o in descending order.
b, o, n
Let o(f) = -f**3 - 5*f**2 + 4*f - 10. Let r be o(-6). Let z be (r - 5 - -1)/5. Sort 0.04, -1, z in decreasing order.
0.04, z, -1
Suppose -9*j = 3181 - 3226. Sort 1, -4, 0, j in decreasing order.
j, 1, 0, -4
Let f = 490 + -3923/8. Sort 3, -0.6, 4, f in descending order.
4, 3, f, -0.6
Suppose -3*o = 2*h + 21, 8 = 2*o + 4*h + 30. Put o, -3, 2, 4 in increasing order.
o, -3, 2, 4
Let o be (4/(-5))/((-5)/25). Sort -4, 7, -11, o in increasing order.
-11, -4, o, 7
Let w = -9469/5 - -1894. Put 14, -1/3, w, -5 in descending order.
14, w, -1/3, -5
Let z = 0.06 - -1.14. Let a = 11.55 - 14.55. Sort a, 0, z in increasing order.
a, 0, z
Let u = -6.45 - -6.45. Sort 0.3, u, -0.1, 342.
-0.1, u, 0.3, 342
Let c be ((-960)/(-1680))/(9/7 + -1). Let a(y) = -y**3 - y**2 + 5. Let f be a(0). Sort c, f, 23 in descending order.
23, f, c
Let h(t) = t - 5. Let m be h(3). Suppose 5*q + 30 = -i + 11, 4*q + 4*i + 12 = 0. Sort 0, q, m in ascending order.
q, m, 0
Let o = -700 - -1401/2. Let j be (-14)/18 + -2 + 3. Put o, 1/9, 5/4, j in decreasing order.
5/4, o, j, 1/9
Let m = -495 + 500. Let c be ((-8)/6)/((-56)/24). Put c, m, -0.3 in decreasing order.
m, c, -0.3
Suppose 0 = a - 6*a - 3*w - 10, -3*a - 3*w - 6 = 0. Sort a, -1, 4, -6 in ascending order.
-6, a, -1, 4
Let y = -64.8 - -65. Sort y, -5/4, -0.5, -2.
-2, -5/4, -0.5, y
Let d = 57 + -57. Suppose 3 = 2*v - 7, d = h + 2*v - 13. Let z be (0 - -1)/((-1)/3). Sort h, 5, z.
z, h, 5
Let k = -19 - -19. Suppose v + 0*v - 35 = k. Suppose 5*l + 2*o + v = 0, 3*l - 3*o - o - 5 = 0. Sort 5, l, 2 in decreasing order.
5, 2, l
Let d = 187.8 + -130. Let u = -58 + d. Sort 0.5, u, -5 in increasing order.
-5, u, 0.5
Let w = 0.892 - -0.088. Let d = 0.68 - w. Sort d, -1/6, 0.3 in ascending order.
d, -1/6, 0.3
Let o(h) = -1 + 6 + 124*h - 7. Let v be o(-6). Let j = 20140/27 + v. Sort 4, j, 0.3 in decreasing order.
4, 0.3, j
Let a = 0.068 + -2.068. Let y = -24 - -121/5. Sort y, 4, 0, a.
a, 0, y, 4
Let w(h) = -42*h + 172. Let b be w(4). Let d(m) = m. Let v be d(1). Put v, 0, b in descending order.
b, v, 0
Suppose 3*k = -3*r + 8 - 17, r + 5*k = -23. Put -4, 3, -9, r in decreasing order.
3, r, -4, -9
Let i be 0 + -1 - (5 + -2). Let u be (-12)/10*(-15