 ascending order.
t, a, 2/9
Let r = -415/6 - -69. Let c = 19.1 - 20. Let w = -4.1 + c. Sort r, w, 1/11.
w, r, 1/11
Let r(v) = 3*v - 6. Suppose 5*a - 14 - 16 = 0. Let n be r(a). Suppose -2*i + 5*i = -n. Sort i, -5, 2.
-5, i, 2
Let p = 487/5 - 97. Sort 1/3, p, 5 in decreasing order.
5, p, 1/3
Let s be 8/6*(2 + 1). Let o = -5 - -7. Sort o, s, 0 in increasing order.
0, o, s
Let n = 9 + -6. Put 2, n, -2/9 in descending order.
n, 2, -2/9
Suppose 0 = -0*m + m - 2. Let p = 4 - m. Suppose -2 = -5*t + 3*t. Sort t, 0, p in decreasing order.
p, t, 0
Let m = -98 - -103. Sort m, -5, -2, 0 in decreasing order.
m, 0, -2, -5
Suppose 11 = -2*b + b - 5*l, 2*b + 7 = -5*l. Suppose b - 3 = -q. Let a be 1 - q/(-3) - 1. Sort -3, 1/3, a in ascending order.
-3, a, 1/3
Suppose -p + 3*p = 0. Suppose -5*y = b - 23, -4*b = -3*b - 3. Sort y, 5, p in descending order.
5, y, p
Let b = 3/1021 + 34615/33693. Let s = b + -4/11. Put s, 0.4, 0.1 in increasing order.
0.1, 0.4, s
Let p = -14 - -11. Let u be (0 - 1) + 21/27. Sort p, -2/13, u in decreasing order.
-2/13, u, p
Let d(l) = l + 1. Let n be d(3). Let k = n + -6. Put 1, 2/9, k in descending order.
1, 2/9, k
Let p be ((-21)/14)/((-1)/30). Suppose -6*v = -3*v - p. Suppose 5*i + 10 = -0*i, 5*i + v = f. Put -4, -3, f in decreasing order.
f, -3, -4
Suppose 3*f - 8 = -2*i + 2, 4*f = 3*i - 15. Suppose -5*q + l + 10 = 0, 4*l - 3*l = 2*q - 1. Let u = -0.06 - -2.06. Sort u, i, q in descending order.
i, q, u
Let r = 8 + -8.06. Let o = 4.06 + r. Sort 3, -3, o.
-3, 3, o
Suppose -2*d + 0*y - y = 5, 25 = 3*d - 5*y. Let q be 5 - 0/(d - -1). Suppose t - 2*s = 4*t + 4, 0 = -2*t + q*s - 9. Sort -5, 3, t in decreasing order.
3, t, -5
Let u = -233/570 + 1/114. Put 0.5, -5, -5/3, u in descending order.
0.5, u, -5/3, -5
Let h = -102 + 105. Put h, 1, -5, 2 in increasing order.
-5, 1, 2, h
Let f be 3/2*10/15 + -4. Let v be (-5)/(2 + (1 - 4)). Sort -1, f, v in decreasing order.
v, -1, f
Let y be ((-1)/3)/((-3)/9). Suppose 7 + 3 = 2*z. Put y, z, 4 in descending order.
z, 4, y
Let u be 1/(-2 - -4)*-4. Let h be ((-4 - -2) + -3)*(0 - -1). Sort -4, h, u in descending order.
u, -4, h
Let h be 77/3 - 10/15. Suppose -4*b - h = -3*s, 2*b + 0*b = -s - 5. Sort -5, -1, b in ascending order.
-5, b, -1
Let i(x) = -3*x - 1. Let w be i(-3). Suppose t - 2*m - 8 = 0, -3*m = -5*t - m + w. Sort 1/4, -2, t.
-2, t, 1/4
Let s be 3/24*6*-4. Sort 0.1, 0.2, s in decreasing order.
0.2, 0.1, s
Let f be 0/(3 - (0 - -2)). Suppose f + 4 = -r. Put r, -1, 1 in decreasing order.
1, -1, r
Suppose 5*l - 5 = 0, f - l - 1 = -f. Let r be ((-22)/f)/(52/4). Let k = 23/52 + r. Sort 3, -2/7, k in ascending order.
k, -2/7, 3
Let k(v) = -v - 5. Let l be k(-1). Let z(x) = x - 2. Let a be z(6). Put a, l, 0 in ascending order.
l, 0, a
Let b = 9 + -6. Let p(t) = -t**2 + 5*t - 3. Let z be p(5). Let r be (2/z)/(4/3). Sort r, b, 0.4 in ascending order.
r, 0.4, b
Suppose 5*l - n + 13 = 0, 5 = -l + 2*n - n. Let t be (6 - -2)*(-1)/l. Sort 2, t, -6 in descending order.
t, 2, -6
Let h(u) = -u**2 - 4*u - 2. Let c be h(-3). Put -20, c, 5 in increasing order.
-20, c, 5
Let t = 18 - 17. Put t, 3/5, -1/2 in ascending order.
-1/2, 3/5, t
Let g = -46/5 - -9. Put 4, g, -0.3 in descending order.
4, g, -0.3
Let z be (-32810)/(-756) - (-6)/21. Let o = z + -19/54. Let n = o + -43. Sort n, 0.3, -0.3.
-0.3, 0.3, n
Let s be 50/(-8) + (-3)/(-12). Let u = 9 + s. Let x(i) = i + 1. Let f be x(u). Put 3, 5, f in descending order.
5, f, 3
Let j = -6 + 10. Let k be 1*2/4*2. Suppose 7*i = 3*i - 8. Put j, k, i in descending order.
j, k, i
Suppose 0 = 5*x - 21 - 9. Let t(v) = -6*v - 1. Let m be t(-2). Suppose j + m = -4*d, -5*d - 19 = -4. Put -2, j, x in ascending order.
-2, j, x
Let r(n) = -n + 11. Let y be r(6). Suppose s - 4*i + 20 = -2*s, s - 2*i = -10. Sort y, -4, s.
-4, s, y
Let i(d) be the third derivative of -d**6/120 + d**5/60 - 2*d**2. Let q be i(1). Let j = 68 - 63. Sort q, 1, j in decreasing order.
j, 1, q
Let q be (-201)/(-39) + -3 + -2. Let k be (4/(-10))/(21/(-15)). Put q, k, 3/5 in increasing order.
q, k, 3/5
Let u = 1/2 + -2. Put 0.01, 1/7, u in descending order.
1/7, 0.01, u
Let n = -18 - -13. Let c = 7 + n. Put c, 4, 0 in decreasing order.
4, c, 0
Suppose -2*b = -13 + 5. Let s be (-95)/60 - (-1)/b. Put -3/7, 3, s in descending order.
3, -3/7, s
Let z(a) = -a + 27. Let w be z(0). Let b be 114/w - 2/9. Let u = 2 + -2.1. Sort b, u, -5 in decreasing order.
b, u, -5
Let f = -506/7 + 72. Put 3, f, 0, -3 in descending order.
3, 0, f, -3
Let u = 131/3 + -44. Let b = u - -1/2. Sort b, -2/5, -0.5.
-0.5, -2/5, b
Let w(r) = 12*r + 9. Let u be w(-1). Sort 17, u, -2 in descending order.
17, -2, u
Let g be (1/(-3))/(14/28). Let h be ((-4)/(-21))/((-4)/6). Put g, 0.5, h in descending order.
0.5, h, g
Suppose 5 = 5*b - 4*b. Sort -5, b, -23.
-23, -5, b
Suppose 0 = -2*n + 4 - 2. Let w(j) = j**3 - 2*j**2 - 6*j + 2. Let c be w(4). Suppose 3*t + c = n. Sort t, 0, -5 in decreasing order.
0, t, -5
Let m(d) = -d**2 + 5*d + 10. Let w be m(7). Put -3/2, w, 3 in ascending order.
w, -3/2, 3
Suppose -3*p - 5 = 2*p. Sort -3, p, 4 in decreasing order.
4, p, -3
Let k = 9 - 6. Let l(i) = 2*i + 2*i**2 + 0*i + 4 - 3 - i - i**3. Let m be l(3). Sort 3/5, k, m.
m, 3/5, k
Let k = 0.16 - 2.16. Sort -0.09, k, -1/2 in ascending order.
k, -1/2, -0.09
Let a be 4/2*3/(-24). Sort 2, a, 4 in ascending order.
a, 2, 4
Suppose 5*s + y = -0*y + 60, 0 = 5*s - y - 50. Let i(q) = -q**2 + 10*q + 7. Let m be i(s). Let o be 0 + -1 + 5/1. Sort -1, o, m in descending order.
o, -1, m
Let c = 42 + -36. Sort c, -2, 2.
-2, 2, c
Let w be 1 + 16/(-6) + (-4)/12. Suppose -2*q - q = -60. Put w, q, -1 in decreasing order.
q, -1, w
Suppose 2*w - 5*w = 24. Let a = w - -11. Sort -5, 0, a in decreasing order.
a, 0, -5
Let l be -4 + -1*(-5 - -2). Put 4, -4, 1, l in increasing order.
-4, l, 1, 4
Suppose -4*l = -l. Suppose 2*y = -l*y + n - 4, 2*y = -2*n + 2. Let i(z) = -z**2 - 6*z - 4. Let k be i(-6). Sort k, y, 4 in descending order.
4, y, k
Let f be 4/(-8)*26/5. Sort 1/4, f, 5 in ascending order.
f, 1/4, 5
Let f = 119 + -593/5. Let q be -1 + 1 - (-21)/9. Let b = q + -2. Put 1/4, f, b in ascending order.
1/4, b, f
Suppose -3*l + 6*l - 51 = 0. Let b = l - 16. Sort 0, b, 5 in descending order.
5, b, 0
Let w be -3 + 0/(-2 + 3). Sort -2, w, -5 in ascending order.
-5, w, -2
Let r = -9/10 - -3/10. Put -0.3, r, -4/3 in ascending order.
-4/3, r, -0.3
Let l(k) = -k**2 - 10*k + 3. Let c be l(-9). Let b be (3 - 7)*(-9)/c. Let o be -2 + -2*6/(-4). Sort 0, b, o in increasing order.
0, o, b
Suppose 2*p - k + 8 = 3*p, -3*p + 40 = -5*k. Sort -5, p, -3 in descending order.
p, -3, -5
Let o(c) = c - 1 + 4 + 0*c**2 - 7 - c**2. Let d be o(0). Put -1, d, 4 in increasing order.
d, -1, 4
Let m be ((-3)/(6/(-10)))/(-1). Suppose 3*w - 35 = -29. Sort 3, w, m in ascending order.
m, w, 3
Let c = 1.2 - 19.2. Let m = c + 17. Sort 2, -0.4, m in ascending order.
m, -0.4, 2
Let k = -54 - -51. Sort -4, k, 2 in decreasing order.
2, k, -4
Let o be 8/(-10) - 2/(-5). Let l = -14 + 28. Let s be 4/l + 38/(-35). Put s, o, 4 in increasing order.
s, o, 4
Let d = 0.4 + 2.6. Let u = 3.9 - 6.9. Sort 0, u, d in increasing order.
u, 0, d
Let b = 0.61 - 0.09. Let k = 0.12 - b. Let m = -0.2 - -0.4. Sort 2/17, m, k in increasing order.
k, 2/17, m
Let u = -0.12 - -6.12. Let k = 55.6 - 50. Let d = k - u. Sort 4, -4, d in decreasing order.
4, d, -4
Let s(f) = -f**2 - 8*f + 4. Let k be s(-9). Let g(l) = -l + 1. Let x be g(-6). Let i(h) = -h + 8. Let a be i(x). Put 4, a, k in decreasing order.
4, a, k
Let t be (-4 - 0)/((-8)/(-4)). Sort t, 8, -3 in increasing order.
-3, t, 8
Let f = 0.3 - -0.2. Let u = 0 + 0.1. Let j = u + -0.5. Put f, 0, j in ascending order.
j, 0, f
Suppose 2*p + 4*w = 26, -5*w - 35 = -0*p - 5*p. Suppose p = -3*a, -4*a - 1 = -4*t + 15. Sort t, -2, -1 in descending order.
t, -1, -2
Let h be (((-8)/(-6))/2)/4. Let b = 15.4 - -3.6. Let f = b + -16. Put 0, f, h in increasing order.
0, h, f
Suppose -5*w + 10 = 3*k + k, 5*w + 2*k = 0. Let r be (-8 - (0 + w)) + 1. Put -4, r, 3 in descending order.
3, -4, r
Let s = 0.37 - 0.07. Let k = 57.5 - 57. Sort -2, s, k in increasing order.
-2, s, k
Let s = -4 - -3.92. Let i = 0.08 + s. Sort 2/3, -0.2, i in decreasing order.
2/3, i, -0.2
Let b = -55 - -53. Sort -0.3, -0.1, b, -0.8.
b, -