 t, h in descending order.
t, h, b
Let k = -53 - -53. Put -4, k, 0.5 in descending order.
0.5, k, -4
Let r = 5 + -21/4. Put -0.7, r, 3/7 in increasing order.
-0.7, r, 3/7
Suppose -b = -6*b - 85. Let z = b + 23. Put z, 3, 0 in decreasing order.
z, 3, 0
Let u be 2 - 3/(3/2). Let x(c) = -2*c + 2. Let y be x(-5). Let j be (-2 + 0)/((-8)/y). Sort 4, j, u in descending order.
4, j, u
Let c be 40/(-5)*(-6)/16. Sort c, 2, -3, 5.
-3, 2, c, 5
Suppose 3*r - 5 = 5*z - 2*r, -2*z + r = 2. Sort 4, -2, z, 2 in decreasing order.
4, 2, z, -2
Let y = 17.6 + -21. Let l = y + 0.4. Put 0.2, 0.5, l in ascending order.
l, 0.2, 0.5
Suppose -12 = 5*y - u, -2*u + 0*u - 12 = 2*y. Let m = 10 + -9. Let l = 9 - 9.3. Put y, l, m in descending order.
m, l, y
Let v(o) = 5*o - 31. Let j be v(9). Put 2, 3, j in decreasing order.
j, 3, 2
Let b = 7 + -2. Suppose 16 = -4*d, -5*i = -3*d - 4 - 13. Suppose -2*w + 0*w - 6 = 0, -5*p + 3*w - i = 0. Sort b, 1, p in ascending order.
p, 1, b
Let x = 1227/4 + -322. Let c = x + 15. Let j = 5 - 3. Put 3, c, j in increasing order.
c, j, 3
Let w = 0.8 - 0.6. Let z = 3.8 + w. Put z, 1/9, 2/5 in ascending order.
1/9, 2/5, z
Let v = 5 + -7. Let u(r) = 3*r**2 - 9*r - 1. Let k(g) = 7*g**2 - 19*g - 2. Let n(x) = -4*k(x) + 9*u(x). Let j be n(-2). Sort v, 2, j in increasing order.
v, 2, j
Let k = 1.9 + -0.8. Sort -2, k, -0.1 in descending order.
k, -0.1, -2
Let z = -0.1 - 0.4. Let t = -6 + 5. Let m = t - 3. Sort m, z, -1.
m, -1, z
Let x = 44 + -48. Sort x, 1, -3 in decreasing order.
1, -3, x
Suppose -4*c = 3*m - 13, 3*c - 5*m + 10 = -2. Suppose 0*h = 3*h - 12. Put 0, h, c in ascending order.
0, c, h
Let k(m) = m**3 + 3*m**2 - 2*m - 3. Let v be k(-1). Let h be (-21)/9 + 2/6. Put 3, v, h in descending order.
3, v, h
Let u(d) = 2*d - 1. Let x be u(2). Let c = -103/6 + 703/42. Let p = 0.3 + -0.5. Sort c, p, x.
c, p, x
Suppose 23*t + 10 = 21*t. Sort 2, t, -2 in decreasing order.
2, -2, t
Suppose 5*s + 9 = -2*z - 6, 0 = -3*s - 3. Suppose 0 = -0*q - 2*q + 6. Suppose 4*k + 9 = -q. Sort 2, z, k in descending order.
2, k, z
Let o(y) = -3*y. Let n be o(1). Let t be -3*12/(-9) + n. Let k = -8 + 5. Put k, 4, t in decreasing order.
4, t, k
Let v = -417/515 + 1/103. Let t be -1 + 1 - (-1 - 12/(-2)). Put v, t, -2/3 in descending order.
-2/3, v, t
Let p be 9*(-1)/(-3) + (1 - 2). Let r(n) = -n**2 - 5*n + 2. Let x be r(-6). Put 3, p, x in increasing order.
x, p, 3
Let h(u) = -u**2 - 2*u + 2. Let q be h(-3). Suppose 0 = -6*w + 3*w - 9. Put -4, w, q in ascending order.
-4, w, q
Suppose -l = 4*k + 1 + 3, 5*k = -4*l + 39. Suppose 0*v = 4*v - l. Let y(r) = -r**3 - 4*r**2 - 3*r. Let m be y(-3). Put -3, m, v in ascending order.
-3, m, v
Suppose 2*o - 3*p - 10 = 0, 0 = -5*p - 10. Let u be 16 - (-3 - -2)*2. Let w be 2/u + (-333)/81. Sort w, -3, o in descending order.
o, -3, w
Let f be 2/(-24)*40/15. Let w = -18 + 29. Let i = w + -8. Sort i, f, 5.
f, i, 5
Suppose 2*g - 7*g = 30. Suppose 2*y = 2 + 2. Suppose y = -2*k + k. Put -0.2, g, k in increasing order.
g, k, -0.2
Let s(v) = v**2 - 4*v - 5. Let q be s(5). Let l = 0 + -5. Let y = 10 + l. Sort y, 0.5, q in ascending order.
q, 0.5, y
Let f = 4.1 + -6.1. Sort -2/9, f, -4 in descending order.
-2/9, f, -4
Let u be (0 + -9)*(-2)/(-3). Let f be -1 - (0 - u)/3. Sort -1, f, -4 in descending order.
-1, f, -4
Let n = -7 - -7. Suppose -5*y + n + 25 = 0. Sort -3, 4, y.
-3, 4, y
Let q = -0.3 - 0. Let f(t) = t**3 + t - 2. Let y be f(3). Suppose 3*x + 0*x = 4*s - y, 20 = -5*x. Sort -0.1, s, q in ascending order.
q, -0.1, s
Let m = -1 + 1. Let a = 19 + -17. Put m, 1, a in descending order.
a, 1, m
Suppose 6*n = n + 25. Let g = -2.2 + 2.6. Let a = -5 + 8. Put a, n, g in ascending order.
g, a, n
Suppose 0*t = t. Let q be t + (-3)/(-11 - -2). Sort 1, -4, q in decreasing order.
1, q, -4
Suppose -3*m + 5*u = 12, -3*u + 15 = 2*u. Sort 3, m, 2, -3 in ascending order.
-3, m, 2, 3
Suppose -2*v = -3*j - 8, 3*j + 10 = -2*j. Let s be (7 - 3) + (-1)/(-1). Put v, s, -2 in descending order.
s, v, -2
Let r = -2.2 + 1.4. Let d = r - -4.8. Sort -4, -2/3, d.
-4, -2/3, d
Suppose 0 = -0*l - 2*l - 8, r - 15 = 3*l. Suppose -3*q - 4 + 3 = -2*t, -r*q + 13 = 5*t. Let o be (-1)/(-1) - 1/1. Sort o, -5, t.
-5, o, t
Let q = -4 - -8. Let t be (-10)/q + 6/4. Sort 0.5, t, 2 in descending order.
2, 0.5, t
Let q = 0.27 - 0.49. Let g = 2 + -1.98. Let h = g + q. Put h, 2, -4 in descending order.
2, h, -4
Suppose 0 = k + 2*k. Suppose n + 0*b - 2*b + 3 = 0, -4*n + 4*b + 4 = 0. Put k, n, -3 in decreasing order.
n, k, -3
Let c be (-10)/(-15) + 2/(-3). Put -1, 3, c in increasing order.
-1, c, 3
Let r be 2 - (2 + -2 + 2). Suppose r = -2*d - 5 - 5. Let w = -1 + 1. Sort -2, w, d in descending order.
w, -2, d
Let y(j) = -8*j - 30. Let v be y(-4). Let c be (-20)/(-6) - 2/(-3). Put c, v, -4 in ascending order.
-4, v, c
Let n(c) be the first derivative of c**4/4 - c**3/3 + 4*c + 3. Let i be n(0). Put i, 5, -2 in ascending order.
-2, i, 5
Suppose -3*a + 4*a = 3. Let f(v) = -v**3 - 4*v**2 - v - 1. Let n be f(-4). Suppose o = b - 0*b + n, o = -4*b - 2. Put 2, a, b in decreasing order.
a, 2, b
Let v(x) = x**3 - 2*x**2 + 2*x - 2. Let q = -3 + 10. Suppose -q = 2*k - 1, -5*k - 21 = -3*l. Let r be v(l). Put -1, -5, r in ascending order.
-5, -1, r
Let q = -2 - -3. Let h = -9 - -15. Let w = h - 2. Sort w, q, -5 in decreasing order.
w, q, -5
Let w = 16/7 - 19/7. Sort 0, 0.4, -0.5, w in decreasing order.
0.4, 0, w, -0.5
Suppose 5*q + 28 = -4*a + 3*q, a = 4*q + 11. Let n = 5 + -9. Sort n, -1, a in increasing order.
a, n, -1
Let y = 53 - 27. Suppose 2*f - y = -5*u, -4*u + 9 + 10 = f. Let w be (0 - 0)*(-2)/4. Put w, f, 4 in ascending order.
w, f, 4
Suppose g + 2*g - 6 = 0. Let l be ((-2)/(-3))/((-6)/9). Sort g, l, -2.
-2, l, g
Let d = 1.5 - 1. Let j = 0.18 + -0.38. Sort j, -1, d.
-1, j, d
Let b be 4/(-2) + 76/57. Suppose 2*k + 6 = -k. Sort -1/8, k, b in increasing order.
k, b, -1/8
Suppose 2 - 14 = 6*h. Sort h, 1, 27, -1 in ascending order.
h, -1, 1, 27
Let m be ((-18)/8)/(3/(-36)). Suppose 4*p - m + 3 = 0. Let w be ((-4)/6)/(p/(-9)). Put -1, 3, w in descending order.
3, w, -1
Suppose 0 = 4*c - 9*c. Suppose -4*q - 4 = c, 1 + 7 = 2*w - 2*q. Sort w, -0.4, -5 in increasing order.
-5, -0.4, w
Suppose 10 = -2*w - 0. Sort w, -4, 3.
w, -4, 3
Let r be (1/(6/(-3)))/(8/80). Put r, -1, -2, -3 in ascending order.
r, -3, -2, -1
Let l = -0.02 - -0.42. Let z = l - -4.6. Put 2, z, 0 in ascending order.
0, 2, z
Let k = -8.2 + 8. Let h = 0.7 + -1. Let r = k + h. Sort -5, r, -1/7.
-5, r, -1/7
Let s = 140 - 698/5. Sort -5, s, 22 in decreasing order.
22, s, -5
Let y = 3 - 2.96. Let v = -1.96 - y. Let k = 332/39 - 26/3. Put -3/5, v, k in ascending order.
v, -3/5, k
Let n be 6*((-20)/24 + 1). Sort -0.1, 1.5, -1, n in descending order.
1.5, n, -0.1, -1
Let n = -1.6 + 3.6. Suppose 0 = -3*q + 4*c, -2*q + 2*c - 3*c = 11. Sort q, n, 1/3 in increasing order.
q, 1/3, n
Let f = 7 - 7. Let b(n) = n + 3. Let r be b(-6). Put -5, f, r in ascending order.
-5, r, f
Let o be (-2 - 1)*(-195)/(-117). Let n(v) = 4*v**3 - v - 1. Let l be n(-1). Sort l, o, 3 in ascending order.
o, l, 3
Let v(s) = -3*s + 1. Let a be v(1). Put -5/3, 3, -3, a in decreasing order.
3, -5/3, a, -3
Let j(q) = -q - 12. Let v be j(-9). Put -5, v, 2 in decreasing order.
2, v, -5
Let x(p) = p**3 - 3*p**2 - 6*p + 4. Suppose 2*u + 7 - 23 = 2*o, 0 = u - 3*o - 16. Let h be x(u). Sort 3, 1, h in decreasing order.
3, 1, h
Let a = -1 + 0. Put 0.4, 0.5, -2/7, a in descending order.
0.5, 0.4, -2/7, a
Let k be 10/(-65) - (-126)/(-26). Sort k, 0, -1 in increasing order.
k, -1, 0
Let z(t) = t**2 - 5*t - 2. Let w be z(6). Suppose 4 = 2*k + 3*l, -10 = 2*k - l - 3*l. Suppose -3*f + 3 = 12. Sort f, w, k in decreasing order.
w, k, f
Let i be 2/7 + (-585)/63. Let x be 6/i*-2 + -3. Let r = -505/21 - -73/3. Sort 1/3, x, r in increasing order.
x, r, 1/3
Let p = 0.3 - 0.4. Let t = -23 + 38. Let k = 17 - t. Put k, 1, p in ascending order.
p, 1, k
Let l(o) = 2*o**3 + 24*o**2 + 20*o - 17. Let g be l(-11). Put -4, g, -7, 4 in increasing order.
-7, -4, 4, g
Let o = 2.01 - 0.01. Let s = -0.13 + 3.13. Let i = s + -2. Put o, -4, i in decreasing order.
o, i, -4
Let x = -2 - -1.5. Let k = 14 + -14.5. Let c = k - x. Sort 1/3, 0.5, c in decreasing order.
0.5, 1/3, c
Let p(w) = -2*w - 4. Let g be p(-4). Supp