 Sort t, 4, j.
t, j, 4
Let z = 158668 - 1426381/9. Let c = -181 + z. Put 0.2, c, 3 in decreasing order.
3, c, 0.2
Let p be (3 - (-17)/(-5)) + 0. Let r = -1 + 0. Sort p, 2/7, r in decreasing order.
2/7, p, r
Let q = 32 + -28. Sort 0.2, 0.4, q in decreasing order.
q, 0.4, 0.2
Let v = -24 - -22. Sort 0.1, -10/3, v.
-10/3, v, 0.1
Let o = 0.07 - 38.07. Sort o, -2/11, 5 in increasing order.
o, -2/11, 5
Suppose 2*k + 3*k - 15 = 0. Suppose -3*t - 30 = 5*g, g + t = -k - 5. Let f = g - -2. Sort f, 0, -5 in increasing order.
-5, f, 0
Let f = -4.89 - 0.11. Let b(a) be the second derivative of -a**5/20 + a**4/2 - 2*a**3/3 - 2*a**2 + a. Let q be b(5). Put -1, f, q in descending order.
q, -1, f
Suppose -y + 5*k + 17 = 0, -y + 7 = -0*y - 3*k. Let j be 34/y + 1/4. Put -3, j, 4 in ascending order.
j, -3, 4
Suppose 4*h = -2*f - 2, -f + 5 = -2*h - 14. Put -1, f, -3 in ascending order.
-3, -1, f
Let m be ((-162)/(-4))/((-7)/34). Let a = -197 - m. Sort -1, 3, a in decreasing order.
3, a, -1
Let s = -3.5 + 3.8. Put s, -1/4, -5 in descending order.
s, -1/4, -5
Let z be (-8)/20 - 2/(-30). Let w = 6 + -13. Let s = w - -8. Put -5, z, s in decreasing order.
s, z, -5
Suppose -6*p - 15 = -3*p. Put 5, p, 4 in increasing order.
p, 4, 5
Let s(v) = -2*v**2 + 35*v - 12. Let d be s(17). Let q = -8 + 3. Sort 4, q, d in descending order.
d, 4, q
Let f = -190 - -1334/7. Sort f, 1, 10 in descending order.
10, 1, f
Let d = -11 - -10. Let r(g) = 5*g + 1. Let p be r(d). Put 2, p, 3 in ascending order.
p, 2, 3
Suppose -5*i + 28 = l, l + i = -2*l + 28. Suppose -d - d + l = 4*m, -5*d - m - 16 = 0. Let k = -6 - d. Sort 0, k, -5.
-5, k, 0
Let h be (-3 - 2)*4/(-10). Sort h, -4, 6 in increasing order.
-4, h, 6
Let z be (-84)/(-140)*(-10)/8. Sort z, -0.2, 1/4.
z, -0.2, 1/4
Suppose l = -2*l - 3*q, -6 = -2*l + 4*q. Let h be (-9)/((3/(-2))/3). Suppose -4*u - u + 5 = 4*w, -u - h = -3*w. Sort l, u, 2 in decreasing order.
2, l, u
Let v = 5.4 - 8.5. Let y = v - 0.9. Let q = -1 + 0.5. Sort q, y, 5 in decreasing order.
5, q, y
Let x = 0.47 + 0.03. Let g = x - 0.6. Sort 1/6, -3, g in descending order.
1/6, g, -3
Let m(j) = -j**2 - 4*j - 3. Let l be m(-2). Sort -4/3, -0.3, l in descending order.
l, -0.3, -4/3
Suppose 4*f - 18 = f. Suppose f = 2*y - 4*y. Sort -4, y, 2 in descending order.
2, y, -4
Let u = -12.24 - -12. Let c = 0.06 - u. Sort -2, c, -1 in ascending order.
-2, -1, c
Let s = 0.16 + 1.84. Sort -0.5, s, 0.5 in decreasing order.
s, 0.5, -0.5
Let f be (6 - 3) + (1 - 3). Let n = 73 + -73. Put -3, n, f in ascending order.
-3, n, f
Let q = 2/51 - -5/17. Put 2, 0.3, -7, q in descending order.
2, q, 0.3, -7
Let d = 0 + -0.5. Suppose -188*n + 177*n = -44. Sort n, d, 1 in increasing order.
d, 1, n
Suppose -5*s = 5*j - 15, 9 = s + 2*s + 4*j. Let b = s + 0. Let u be (6/2)/(-1) - -4. Put b, u, 4 in decreasing order.
4, b, u
Let o(v) = 5*v**3 - v - 1. Let q be o(-1). Let h = -0.27 + 0.37. Put -4, q, h in increasing order.
q, -4, h
Let d(v) = -v**2 + 3*v - 2. Let g be d(2). Suppose g*z + 3*f = -3*z + 18, -4*f = -2*z - 18. Put z, -1, -3 in descending order.
z, -1, -3
Suppose d = 4*d + 24. Sort d, 2, -5 in decreasing order.
2, -5, d
Suppose 4*k + 2 + 8 = -5*j, 4*j - 2*k - 18 = 0. Let f be j/7 - 6800/84. Let x = f - -80. Put 1/3, -1/4, x in increasing order.
x, -1/4, 1/3
Suppose z + 3 = -1. Put 5, 0.1, z in ascending order.
z, 0.1, 5
Let y = -3 - -8. Suppose a - 10 = -y*v - 26, -4*v = 5*a - 4. Sort -2/13, v, -2/7 in increasing order.
v, -2/7, -2/13
Let v = 73.1 - 73. Put v, 1, 3 in decreasing order.
3, 1, v
Let g(y) = -y**3 - 3*y**2 - y + 1. Let f be g(-3). Let j = -8 - -5. Let k = j + -1. Put f, 1, k in ascending order.
k, 1, f
Let v = -230/7 - -33. Let g = -4.06 - -4. Let f = 1.94 - g. Sort v, 1, f in ascending order.
v, 1, f
Let l = -56 - -57. Let z = 3 + -8. Put -2, l, z in descending order.
l, -2, z
Let r = 119 + -117. Put r, -4, -5 in descending order.
r, -4, -5
Let y = -111 - -111.3. Let k = 1 - -3. Let w be k/(-2) - 2*1. Put w, y, -1/6 in descending order.
y, -1/6, w
Let a = -4 - -7. Suppose -3*p + 0 + a = 0. Put -1/6, p, -3 in descending order.
p, -1/6, -3
Let i be (-12)/(-18)*(-9)/3. Sort 4, i, 1.
i, 1, 4
Suppose 2*v - 26 = 4*i, -v - 5*i + 3 = 18. Sort v, -0.2, 0 in decreasing order.
v, 0, -0.2
Let s(a) = a**3 + a**2 + a + 2. Let n be s(0). Suppose 0 = -o + 3*o + n*x - 8, -o + 3*x = -16. Suppose 3*t - 12 = o*t. Put -4, -1, t in increasing order.
-4, t, -1
Let r = 3 + -3.7. Let a = 0.4 + r. Let n = -650.4 - -650. Sort n, a, 0.4.
n, a, 0.4
Suppose 4*d + 5*l = l - 20, 3*l - 13 = 4*d. Let k = 23 + -14. Let s = k + -10. Sort 5, d, s in decreasing order.
5, s, d
Let q = -0.081 - 0.619. Sort q, 4, 0.2 in increasing order.
q, 0.2, 4
Let v = 3532/9 + -392. Suppose 0*x = -4*x + 60. Let s = x - 12. Sort 3/4, v, s in descending order.
s, 3/4, v
Suppose -4*c + 2*c - 6 = 0. Suppose 0*r + 20 = 5*r. Suppose -r*p - l + 6 = -2*l, -2*p = l. Put p, -4, c in descending order.
p, c, -4
Let s(t) = t**2 + 3*t - 1. Suppose -2*k - u - 46 = 0, -4*k + 4*u - 80 = -k. Let z be 2/(-6) + k/9. Let c be s(z). Sort c, 4, -2 in descending order.
4, c, -2
Let q be (165/45)/((-2)/42). Let n = q + 384/5. Sort n, -5, -1/2.
-5, -1/2, n
Let o = 115.5 + -115. Sort -4, o, 2/3 in ascending order.
-4, o, 2/3
Let q = 1 - -7. Let i be 6/(-8) - (-14)/q. Sort -0.1, i, 0.
-0.1, 0, i
Let q(h) = 2*h - 6. Let a(o) = -5*o + 17. Let w(g) = -3*a(g) - 8*q(g). Let v be w(0). Sort 0, 6, v in descending order.
6, 0, v
Let i be ((-1 - 0) + -4)*-1. Suppose 3*s - 6 = i*s. Put s, 4, 0 in descending order.
4, 0, s
Let a = 0.8 - 3.8. Let j = -1/23 - 43/69. Sort j, -0.3, a in ascending order.
a, j, -0.3
Let h = 18 + -26. Let q = 7.9 + h. Put 0.5, q, -3 in decreasing order.
0.5, q, -3
Let w(o) = -o + 1. Let b be 2 + (-2 - -3) + -7. Let p be w(b). Sort -3, 4, p.
-3, 4, p
Let k be 0/(4/(5 - 1)). Put 1, k, 3 in ascending order.
k, 1, 3
Let v = 1157/21 + -87/7. Let x = v + -43. Let w = 4 - 6. Sort w, x, -3 in increasing order.
-3, w, x
Suppose 0 = 2*z - g + 56, 3*g + g - 104 = 4*z. Put -1, z, 0 in descending order.
0, -1, z
Let d be (-2)/(0/(-1) - -1). Let h be (((-12)/(-10))/(-3))/((-52)/130). Put -8, d, h in increasing order.
-8, d, h
Suppose 5*p - 2*p + 6 = 0. Sort 0, -8, p in descending order.
0, p, -8
Suppose -13*v + 17 = -9. Sort 3, v, 4, -5.
-5, v, 3, 4
Let d = 0.9 - 0. Let r = d + 1.1. Sort 2/7, r, 0 in descending order.
r, 2/7, 0
Let w be 4/6*36/(-24). Put w, 1, 5 in descending order.
5, 1, w
Suppose -5*y - 46 = -28*y. Let g(d) = -d + 2. Let x be g(-2). Sort -3, x, y in increasing order.
-3, y, x
Let t be (2/(-4) + 1)*-2. Sort -4, t, 1 in ascending order.
-4, t, 1
Let o = 0.2 + -0.7. Let x be 3/3 + (-38)/15. Let c = 11/5 + x. Put o, 0, c in ascending order.
o, 0, c
Let r = 0.8 - 0.5. Let i = 5 - 5.2. Suppose 4*c - 15 = c. Put r, c, i in increasing order.
i, r, c
Suppose 3*d - 22 = 5*k, -2*d + k = -7*d + 18. Suppose d*c = -0*c + 8. Let a(o) = o**2 + 3*o - 5. Let p be a(1). Put 3, p, c in increasing order.
p, c, 3
Let p = 5 - 6. Let z be (0 - p - -2) + -6. Let s be (-6)/(-4)*3/9. Put -4, s, z in ascending order.
-4, z, s
Suppose -4*q - v = 7, -q + v = -v + 13. Let f be 39/45 - (-2)/q. Sort 0.3, -2, f in ascending order.
-2, f, 0.3
Let b = -96 + 95. Put b, 1, -4, -2 in decreasing order.
1, b, -2, -4
Let a be ((-6)/10)/((-1)/5). Suppose a*y = -5 - 1. Suppose 7*p - 52 + 17 = 0. Sort 1, y, p in ascending order.
y, 1, p
Let u(c) = -c**2 - 7*c + 7. Let h be u(-9). Let s = h + 6. Sort 3, s, -2.
s, -2, 3
Let k = 0.2 - 8.2. Let u = -0.56 + -2.44. Let v = k - u. Sort -4, 0.6, v.
v, -4, 0.6
Suppose f = z, 4*z - 4 - 21 = -f. Put -3, 3, -8, f in decreasing order.
f, 3, -3, -8
Suppose -5 = 3*z - 2. Let c(o) = -o + 1. Let m be c(-3). Let h = -22 - -17. Put z, m, h in descending order.
m, z, h
Let n = -1 + 1.02. Let j = n - -1.98. Sort j, 0, -1.
-1, 0, j
Let q = 99 + -105.3. Let d = q + -0.7. Let c = -6.9 - d. Sort -0.2, c, -2.
-2, -0.2, c
Suppose -5*a = -6 + 56. Put 2, -2/3, 0.1, a in descending order.
2, 0.1, -2/3, a
Let d(j) = j**2 - 2*j - 3. Let q(w) = -w**3 + 2*w**2 + w + 4. Let m be q(3). Let o be d(m). Sort -2, o, -1 in decreasing order.
o, -1, -2
Suppose -2*q = -n + 4*n - 10, 0 = -4*q + 3*n + 2. Suppose 7 = -q*h + 1. Let m = -0.4 + 0.3. Put m, h, -4 in increasing orde