-2, t in descending order.
-2, t, -5
Let n = 2 - 1. Let k(i) = 7*i - 46. Let z be k(7). Sort z, -2, n in increasing order.
-2, n, z
Let k = 8 + -8.3. Let d = 19.34 + -0.34. Let t = 14 - d. Put k, -0.5, t in descending order.
k, -0.5, t
Let l = 19 + -49. Let m be (-162)/l + 2/(-5). Sort m, 1, 4 in increasing order.
1, 4, m
Suppose 26 - 1 = v. Suppose -5*u = -0*l - 3*l + v, -l - 3*u = 1. Suppose 48 = a + 48. Sort 2, l, a in descending order.
l, 2, a
Let l = 5.6 + -1.6. Sort l, 1/5, -1 in descending order.
l, 1/5, -1
Let l = -3 - -8. Let i(q) = -2*q + 6. Let t be i(5). Put l, 1, t in descending order.
l, 1, t
Let p = 0.7 - 0.5. Let a = -0.3 - p. Put -0.3, a, 0.3 in descending order.
0.3, -0.3, a
Let g be 1/((-3)/18*-2). Suppose 15 + 1 = -5*t + g*a, -t = -a + 2. Let c = -5 - -10. Put c, -2, t in descending order.
c, -2, t
Let g = -2.6 - -3. Suppose -3*f + 2*f = 1. Let o = -21 + 16. Sort g, f, o in decreasing order.
g, f, o
Let c = -92 - -83.6. Let h = -0.4 - c. Let q = h + -8.3. Sort q, 3, -4 in decreasing order.
3, q, -4
Let u = 0.16 - 0.46. Sort u, -8, -2/15.
-8, u, -2/15
Let t(x) = x**2 - 8*x - 7. Let s be t(9). Sort 5, -1, s.
-1, s, 5
Let v = -870.83 + 876. Let x = v - 0.17. Put 0.8, -1/9, x in decreasing order.
x, 0.8, -1/9
Let x = 1 - -1. Suppose x = 5*t + c + 3*c, -5*t = -c + 13. Sort 2, 4, t in descending order.
4, 2, t
Let y = -18 + 18.3. Let s = y - 6.3. Sort 4, 1, s in ascending order.
s, 1, 4
Let u(q) = 2*q + 25. Let r be u(-11). Sort r, 5, -5 in descending order.
5, r, -5
Suppose g + 2 - 20 = 0. Let o(x) = -x**3 - 5*x**2 - 4*x + 4. Let n be o(-4). Suppose -3 = 3*l - g, 5*a - n*l + 10 = 0. Sort -1, a, 5.
-1, a, 5
Suppose -2*y + 14 = 4. Sort -5, y, -2 in descending order.
y, -2, -5
Let n = 4 - 5. Let h = n + 1.4. Suppose 5*i - 3*z + 4 = 0, 5*z + 0*z - 15 = 0. Sort i, h, 0.5 in descending order.
i, 0.5, h
Suppose -2*d = -2*h + 2, 3 = -h - 1. Let g = -5 + 9. Sort 0, g, d.
d, 0, g
Let c be 1*8 - (-2 + 5). Let g be c/3*(-18)/(-20). Put 3, 0.4, g in decreasing order.
3, g, 0.4
Suppose i - 4 - 1 = 0. Let l be ((4 + -1)/(9/4))/(-2). Sort i, l, 1.
l, 1, i
Suppose 5*g - 11 - 39 = 0. Suppose 5*x + 0*x = g. Put -1/6, -2/13, x in decreasing order.
x, -2/13, -1/6
Let o be 1/(2 + (-9)/6). Suppose -q - o*q = -12. Suppose -4*m = -5*t - 21 + 3, 3*m + q*t = -2. Sort m, -2, 3 in descending order.
3, m, -2
Suppose 0 = 9*d + 5 + 31. Let f be 2/4 + 26/(-4). Let x = f - d. Sort 3, 2, x.
x, 2, 3
Let f(j) = -40*j + 3. Let z be f(2). Let c be (-14)/z + 34/(-66). Put -2, 0.5, c in decreasing order.
0.5, c, -2
Let i = 20/7 + -166/63. Sort i, -4, -3/2 in descending order.
i, -3/2, -4
Let k(s) = -4*s**2 - 3*s. Let h be k(-2). Let j = 6 + h. Sort j, -0.3, -5 in decreasing order.
-0.3, j, -5
Let x = 219 + -223. Suppose -2 = b + 1. Put b, 5, x in ascending order.
x, b, 5
Let p(b) = b**3 + 9*b**2 + 2*b + 2. Let d be p(-9). Let m be 13/12 + (-4)/d. Let f be (2/12)/1*2. Sort m, 0, f in ascending order.
0, f, m
Let t = -27 - -25. Put 2, t, -4 in decreasing order.
2, t, -4
Suppose 14*a - 3*a = a. Suppose 20 = -5*t - 2*w, 0 = 3*w + 2*w. Sort t, a, 3.
t, a, 3
Let j = -33 + 33. Let f(y) = y - 1. Let g be f(-3). Put g, j, -1 in ascending order.
g, -1, j
Let z = -395.8 + 396. Suppose -5*r = -15 - 0. Suppose r*v = 4*v + 2. Sort z, 4, v in descending order.
4, z, v
Let v be (-1)/4*2*6 - 2. Sort 3, v, 0 in increasing order.
v, 0, 3
Let j = 5 + 0. Let v = -5.6 + j. Let y = 1 + v. Sort 0.1, 1/2, y in ascending order.
0.1, y, 1/2
Let k be 0/(-6) + 1*3. Suppose -11 = 4*v - k. Sort -5, -3, v in descending order.
v, -3, -5
Let s = -0.9 - -0.58. Let h = 0.08 - s. Put 4, 0.5, h in ascending order.
h, 0.5, 4
Let x be 1/(-4) + (-24)/(-16). Let m = -3 - 4. Let h = m - -7. Put x, h, 1 in decreasing order.
x, 1, h
Suppose 5*v + 9 = 3*s, 0*s - 3 = -s + v. Suppose 4 = -4*p + s*p. Let r(o) = -o. Let q be r(-2). Put 3, p, q in ascending order.
p, q, 3
Let r = 17 + -16.8. Sort 0, -5, r, -5/3.
-5, -5/3, 0, r
Let q = 2.9 + -3.9. Let o = q - -6. Sort -2/5, o, -3/4 in decreasing order.
o, -2/5, -3/4
Let s(x) = -x**2 + 9*x + 12. Let o be s(9). Let i be (-9)/3 - (-42)/o. Put 3, -2/7, i in decreasing order.
3, i, -2/7
Let k = -0.11 - 0.21. Let s = 2 + -2.02. Let b = s - k. Sort 3, -2/19, b in ascending order.
-2/19, b, 3
Let w be 31/11 - 4/(-22). Suppose -4*c + 13 = -2*x - 3, 0 = -w*x + 6. Let s = -11 - -6. Sort 1, s, c in decreasing order.
c, 1, s
Let q be (-30)/(-12)*2*8/10. Sort 0, -3, 2, q.
-3, 0, 2, q
Suppose -2*k = -2*t + 4*t + 8, 4*k - 8 = 2*t. Let d = -9 + 21. Suppose 4*r = -d - 0. Sort t, r, 1.
t, r, 1
Let q be (-18)/(-2)*(5 - 3)/(-6). Put q, -1, -44 in descending order.
-1, q, -44
Let b = -2 - -2. Suppose 0 = 4*g + 3*o - 4*o + 24, 2*g - 2*o + 18 = 0. Put b, -1/3, g in increasing order.
g, -1/3, b
Let v = -0.028 - 4.972. Put 3/2, 3/4, v, 1 in ascending order.
v, 3/4, 1, 3/2
Let j be 2/(-8) + (-18)/(-8). Let s be (-2)/2*(-3 + 3). Sort s, 4, j in descending order.
4, j, s
Let d = 0.3 + 0.2. Let g = -0.85 - -0.15. Let x = -1.1 - g. Put d, x, 1 in descending order.
1, d, x
Suppose 0*x = -3*j - 2*x, -j - 3*x = 0. Suppose -k - 2 + j = 0. Suppose 4*t = -4*o - 0 + 32, 0 = 3*o - 5*t + 16. Sort o, k, 0.
k, 0, o
Suppose -2*u = 7*m - 5*m + 30, -2*u + 5*m = 9. Sort 0.4, u, -2 in descending order.
0.4, -2, u
Let a = 18 + -20. Suppose 0 = -5*g - 5*o - 10, 1 = -4*g + g - 2*o. Sort 2, a, g in ascending order.
a, 2, g
Suppose 12*z + 104 = 4*z. Put 1, 3, z, -3 in descending order.
3, 1, -3, z
Let w = -0.04 + -2.96. Let n be (-3)/(-2) - 0 - 2. Put w, n, 5 in ascending order.
w, n, 5
Let l = 65 - 64.5. Put -4/9, -5, l, -0.2 in increasing order.
-5, -4/9, -0.2, l
Let r = 14 + -11. Suppose 0*y + 5*o - 16 = y, -5*o + 32 = r*y. Put -5, 1, y in decreasing order.
y, 1, -5
Let n = -59/2 - -169/6. Let w = -42 + 41. Put 0, w, n in decreasing order.
0, w, n
Suppose 3*v = 2*n - 7, 0 = -5*n + n - 4*v - 36. Let f be (-5)/2 - (-6)/n. Put 0, 3, f in ascending order.
f, 0, 3
Let y = 13 - 8. Let g = 1.3 + 1.7. Put 0.3, y, g in ascending order.
0.3, g, y
Let g = -13 + 9. Let k be (690/184)/(6/8). Put 0, g, k in increasing order.
g, 0, k
Let q = 8 - 11. Let f be 5*(-5 - q)/2. Let b(r) = -r**3 + 7*r**2 - 7*r + 7. Let s be b(6). Sort s, f, -1 in increasing order.
f, -1, s
Let y = -0.4 - 0. Sort y, 0.1, -1 in ascending order.
-1, y, 0.1
Let h(x) = 7*x - 4. Let n be h(3). Let d = n + -12. Put d, 0, -0.1 in ascending order.
-0.1, 0, d
Let t = 34 + -32. Sort t, -6, -2 in ascending order.
-6, -2, t
Let a = 16 - 11. Let d = -0.04 + -1.96. Sort a, d, 2/7.
d, 2/7, a
Let s = -51 - -52. Put -2/13, -2/11, s in decreasing order.
s, -2/13, -2/11
Let k = -43.1 - -40. Let j = k - -3. Let t = -0.01 - 0.29. Put 3, j, t in decreasing order.
3, j, t
Let x = 0.5 + -0.4. Put 3, -1, x in decreasing order.
3, x, -1
Let s = 5 - 4.9. Sort 5, -0.3, s.
-0.3, s, 5
Suppose 0*l = -3*l. Suppose 0 = -2*x - x. Suppose x = 2*r - v + 10, 4*v = -r - 5. Sort r, l, 2 in decreasing order.
2, l, r
Let f be ((-1)/3)/((-1)/12). Suppose -10 = -f*x + 2*x. Suppose g = 2*n - 4*g - 10, 3*n + x*g = -35. Put n, -1, 5 in ascending order.
n, -1, 5
Suppose -6*r = -11*r + 25. Suppose 0 = -r*n - 2*v - 1, 3*n - 2 = -3*v + 1. Put 0, 3, n in descending order.
3, 0, n
Let t = -10.4 + 7.4. Sort 0.4, t, -0.7 in descending order.
0.4, -0.7, t
Suppose 0 = -o, 2 = 2*h - h + 3*o. Put 19, 0, -5, h in decreasing order.
19, h, 0, -5
Let n be 4/10 - 54/10. Let v = 2 + 4. Sort 0, n, v in ascending order.
n, 0, v
Let i(b) = b**2 + b + 1. Let j(k) = -k**2 - 3*k - 2. Let a(z) = 2*i(z) + j(z). Let h be a(0). Put -3, 2, h in descending order.
2, h, -3
Suppose 3*m = 5*k - 16, -3*m - 5*k - 56 = -0*m. Let n be (-3)/m + 1/(-4). Suppose -4*t + 4 = -n. Sort -4, 3, t in decreasing order.
3, t, -4
Let m be (-18)/((-6)/4 + 0). Suppose 3*b + 0 + m = 0. Sort 1, -2, b in decreasing order.
1, -2, b
Let c = 558/5 - 112. Let p = 0.88 - -0.12. Let k = -4 - p. Sort k, c, 3/2.
k, c, 3/2
Suppose -v = w, 2*w - 18 = -2*w + 5*v. Suppose w*a + a = 9. Let y be (-1*1*2)/1. Put a, y, 5 in decreasing order.
5, a, y
Let z(s) = 3*s - 1. Let m be z(-1). Let u = 3 + m. Put -5, u, -2 in descending order.
u, -2, -5
Let y be (4/6 - (-14)/(-18))/(-1). Let l = 7.6 - 7. Put l, 5, y in descending order.
5, l, y
Let t = 23.6 - 26. Let w = 2 + t