.
-0.8, t, h
Suppose 0 = 3*h - 2*w - 8, 2*w - 8 = -5*h - 0*w. Sort -1, h, -9.
-9, -1, h
Suppose y + 3*y = -4*m - 4, -4*m = 8. Suppose 3*k + 2*g - 46 = 0, g = 2*k - 6*k + 68. Suppose -k = -3*x + 4*b, 5*x + b = -1 + 8. Put x, y, 4 in ascending order.
y, x, 4
Let d = 227 + -232. Sort 5, 0, d, 3 in ascending order.
d, 0, 3, 5
Let q = -97 + 180. Let i = q + -84. Sort 1/3, 1/4, 3/7, i in increasing order.
i, 1/4, 1/3, 3/7
Let m = 1979/525 + -80/21. Sort 3, -3, m in decreasing order.
3, m, -3
Suppose -21*y = -16*y + 15. Let u be (-4)/((-20)/y) - (-351)/(-65). Sort 5, u, 1/6, 1 in descending order.
5, 1, 1/6, u
Suppose -65*p - 44 = 346. Put 5, 0, p in descending order.
5, 0, p
Let a be 3*((-21)/(-9) - 3). Let o be (-1 - 0)/((-25)/25). Sort -6, -3, a, o in increasing order.
-6, -3, a, o
Let x be (-12 + -6 + 19)*(3 + 2). Put -13, -5, -4, x in descending order.
x, -4, -5, -13
Let d(m) = 2*m + 13. Let r be d(-7). Let y = -571 + 571.5. Put 1, r, 0.2, y in decreasing order.
1, y, 0.2, r
Suppose 4*y = -4*u, 2 = -3*u + 10*y - 12*y. Put -7, 4, u in descending order.
4, u, -7
Suppose 1 + 3 = 2*u. Suppose -5*h - 82 - 3 = 0. Let i(j) = j**3 + 16*j**2 - 16*j + 22. Let g be i(h). Put 3, u, g in increasing order.
u, 3, g
Let h(i) = -6*i + 17. Let v(u) = -3*u + 9. Let g(q) = -4*h(q) + 7*v(q). Let p be g(4). Suppose 3*c - 1 = -p. Sort c, -6, 5 in descending order.
5, c, -6
Let x = 5 - 3. Let h = -419/40 - -53/5. Let p = -1 - -1.1. Put x, p, h in descending order.
x, h, p
Let r = 2194/7 - 314. Let n = -50.967 + 51. Let j = 0.267 + n. Put 4, r, j in increasing order.
r, j, 4
Let y(t) = -2*t - 3. Let u be y(4). Let n = -98 - -101. Put n, 5, u in decreasing order.
5, n, u
Suppose -1 = -50*w + 51*w, -3*c + 3*w - 6 = 0. Suppose -2*b = 2*b + 4. Put b, 5, c in descending order.
5, b, c
Let r = 1006 + -1005.5. Sort -6/7, -1/5, r, -0.3.
-6/7, -0.3, -1/5, r
Suppose 5*v = 4*i - 129 + 120, 0 = -v - 5. Sort 3, 4, i, -18 in ascending order.
-18, i, 3, 4
Let d = 0.07 - -0.43. Let x = -219.58 + 222. Let z = -0.42 + x. Put z, -5, d in ascending order.
-5, d, z
Let k(i) = i**3 + 6*i**2 - 6*i + 10. Let t(f) = 8*f**3 + f**2. Let p be t(-1). Let h be k(p). Put 15, h, 4 in ascending order.
h, 4, 15
Let l be (150/180 + (-2)/(-4))*6. Sort l, 1, 5, -3 in descending order.
l, 5, 1, -3
Let x = 0.07 + -0.27. Let t = -0.141 + 0.141. Let a = 0.1 - -2.9. Put a, t, x in ascending order.
x, t, a
Let i = -17 - -21. Suppose -3*s - 75 = -3*c, -3*c + i*s - 40 = -4*c. Suppose -v + 2*y = -0*v - 12, -3*v + 4*y = -c. Put 15, v, -2 in increasing order.
-2, v, 15
Let i = -0.64 + -58.36. Let y = -56 - i. Sort 1/4, 0.2, y, 0 in ascending order.
0, 0.2, 1/4, y
Let y = 298 - 298.1. Put 0.1, y, 22, -2 in descending order.
22, 0.1, y, -2
Let n = 0.028 + 0.021. Let h = 1.049 - n. Sort h, 5, 4 in descending order.
5, 4, h
Suppose -10*r + 15*r - 20 = 0. Suppose 4*t = 2*t - m - r, -3*t - 2*m = 8. Sort 1, t, 2 in descending order.
2, 1, t
Let p = 137 + -136. Put -2, p, -18 in decreasing order.
p, -2, -18
Suppose 2*j - 11 = -3*j - n, -3*n - 7 = -5*j. Let f be (9/234)/(j/8). Put 2, -0.2, f in decreasing order.
2, f, -0.2
Suppose -1 = 2*a + 3. Suppose 13 + 7 = -5*s. Sort -3, a, s in decreasing order.
a, -3, s
Suppose 4*d = 2*l + 2, 4*d + l = 2*d + 7. Suppose 4*p = 5*p - b - 10, d*b + 30 = 4*p. Let i = -116 + 931/8. Sort -3, i, p.
-3, i, p
Let n(y) = y**3 - 8*y**2 - 7*y + 2. Let z be n(9). Let p be 16/28 - z/(-14). Put -4, p, -7 in decreasing order.
p, -4, -7
Let j(h) = h**3 + 1. Let a(f) = -f**3 - 1. Let g(t) = 6*a(t) + 7*j(t). Suppose -305*b - 8 = -297*b. Let m be g(b). Put -3, -5, m in descending order.
m, -3, -5
Suppose 0 = -p + 5*p - 3*a + 27, -a = 5*p + 10. Suppose -4*x - 10 = 2*g, 5 = x - 5*g - 20. Sort p, 3, x, -4 in ascending order.
-4, p, x, 3
Let r = -2.16 - -0.16. Let q = 3 - 3. Sort -0.4, r, q.
r, -0.4, q
Suppose l = 2*l + 4*u - 7, -6 = -3*l + 3*u. Suppose 2*k - 3*k - 2*n + 3 = 0, n + 6 = -l*k. Sort 1, -4, k in increasing order.
-4, k, 1
Let f be -2*(-2 - (-85)/10). Put -5, f, 0, -2 in increasing order.
f, -5, -2, 0
Suppose 0 = 67*r - 72*r - 45. Let b = 8 + r. Sort 4, 2, b in descending order.
4, 2, b
Let i = -47 - -88. Let x = 1077 + -1074. Sort i, 4, x.
x, 4, i
Let y(s) = -25*s + 175. Let n be y(7). Put -0.13, 8, n, 0.1 in descending order.
8, 0.1, n, -0.13
Let y = 7 - 10. Let q = -0.07 + -4.93. Let b be 96/(-28) - 4/7. Put b, y, q in ascending order.
q, b, y
Suppose -4 = -6*o + 8*o. Let c be 0 + (-7 - o - -2). Let g be 1*(-15)/(-9)*3. Sort c, -2, g in ascending order.
c, -2, g
Let s = 0.4 - 0.7. Suppose -19*u + 144 - 49 = 0. Put -3, u, s in ascending order.
-3, s, u
Let z(g) = -g**3 - 6*g**2 - 7*g - 5. Let p be (-60)/8*5/(30/4). Let c be z(p). Sort 24, -5, c.
-5, c, 24
Let h(g) = -2*g**3 + g**2 - g - 2. Let x be h(1). Put 4, 16, x in ascending order.
x, 4, 16
Let g be 5640/(-135) + 4/(-18). Let c = g + 40. Sort 2, c, 9.
c, 2, 9
Let d = -0.0201 - -1.0201. Sort -5, 3, 203, d in decreasing order.
203, 3, d, -5
Let a = -100.18 - 1.82. Let z = -102 - a. Put 1, -3, z in decreasing order.
1, z, -3
Let d be (-81)/(-15) + ((-6)/15)/1. Suppose -3*m + 3*a + 3 - 36 = 0, 3*m + d*a - 7 = 0. Sort 0, -2, m in decreasing order.
0, -2, m
Let t be (1 - -7) + 132/(-22). Let c(m) = 2*m**2 - m + 2. Let f be c(1). Let n = -35 + 22. Put t, n, f in decreasing order.
f, t, n
Let b(h) = -h**3 - 29*h**2 - 27*h + 26. Let f be b(-28). Suppose 4*t + 5*t + 9 = 0. Sort 2, -4, t, f.
-4, f, t, 2
Let m = -285 - -285.4. Put -0.5, m, -6/5, 27/7 in descending order.
27/7, m, -0.5, -6/5
Suppose 0 = -8*m - 6*m + 56. Sort m, 0, 2, -35 in increasing order.
-35, 0, 2, m
Suppose -3*y - 4*i - 7 = 12, -4*y + 4*i = 16. Let b be 2684/427 + (-1 - (-10)/(-2)). Put b, 0.05, y, -0.3 in decreasing order.
b, 0.05, -0.3, y
Suppose 0 = 4*r - 3*i + 6*i - 49, -3*i = 3*r - 39. Suppose -4*k - r = -k + 5*y, 5*k + 30 = 5*y. Sort 3, k, 0, -3 in ascending order.
k, -3, 0, 3
Let f = -414 - -414. Sort 4, -63, f.
-63, f, 4
Suppose 2 = -17*x + 16*x. Sort 0, -3, x, -5 in decreasing order.
0, x, -3, -5
Let y(w) = w**3 - 5*w**2 + w - 7. Let n be y(5). Let s = n - -4. Suppose -2 = -3*x - f + 12, x - 8 = -f. Sort s, x, 4 in descending order.
4, x, s
Let f = -173 + 175. Sort 0, 0.5, f, 3.
0, 0.5, f, 3
Suppose -10 + 0 = -2*f. Let b = -11 + 7. Sort b, -8, f in decreasing order.
f, b, -8
Let l = -20.5 - -28.8. Let o = -3.3 + l. Sort -2/5, -4, o in descending order.
o, -2/5, -4
Let v = 2196/7 - 314. Put v, 9/8, 0.2, -5 in descending order.
9/8, 0.2, v, -5
Let q = -42 + 44.01. Let m = q + -14.01. Let l = -3 - -2.6. Sort -5, l, m.
m, -5, l
Let q(j) = -2*j**3 + 12*j**2 + 2*j - 7. Let p be q(6). Put p, -3, -72 in descending order.
p, -3, -72
Let f = -24.4 - -25. Let x = -90 - -85. Put f, 6, x in decreasing order.
6, f, x
Let g = -71 + 71.3. Put -5, -2, 12/11, g in descending order.
12/11, g, -2, -5
Let p = 149.4 + -149.5. Put -5, 0.1, p, 1/7 in descending order.
1/7, 0.1, p, -5
Let v = -663.1 - -658.1. Let m be 2/6 - 7/12. Sort m, -0.4, v, -1/10 in ascending order.
v, -0.4, m, -1/10
Let z be 4/((-24)/16*(-4)/3). Let w be z + (-4 - (-2 - 4)). Sort w, -2, 2.
-2, 2, w
Let i(f) = f**3 - 12*f**2 - 14*f - 11. Let w be i(13). Let t be ((-1)/(-3))/(4/228). Let p = t + w. Sort -4, p, -0.5 in ascending order.
p, -4, -0.5
Suppose 18 = z + 17. Let q be 8/(-6)*(-3)/(-2). Put 0, -1, z, q in descending order.
z, 0, -1, q
Let d be (-10)/14 + (-2)/7. Let f(o) = -2*o**3 + 3*o**2 - 18*o - 19. Let b be f(-1). Sort -0.4, b, d in descending order.
b, -0.4, d
Let z = 0.3 - 0.7. Let t = z + 0.5. Let n = 364 + -367. Put t, 3, n in decreasing order.
3, t, n
Suppose 63 = 38*z - 89. Put -5, z, 1 in descending order.
z, 1, -5
Let b be (3/(-15))/(((-35)/(-100))/((-6)/(-24))). Let l = 5 + -8. Sort -15, l, b, -0.5 in descending order.
b, -0.5, l, -15
Suppose 4*y - 51 + 15 = -2*q, 4*y = -4*q + 56. Suppose 6*k = q*k + 16. Put -2, k, -1 in ascending order.
k, -2, -1
Let r = 0.234 - 0.024. Let i = 0.31 - r. Let j = 0.21 - 3.21. Put i, -9, j in descending order.
i, j, -9
Let h be 2/(-3) - 17/(-3). Let a = 2 + -5. Let u(i) = -i**3 - 29*i**2 + 60*i - 60. Let b be u(-31). Sort a, h, b.
a, b, h
Let a = -151/231 + -1/77. Let y = 11/20 + -147/340. Put 0, y, a in decreasing order.
y, 0, a
Let d = 16 + -17. Let w = -8 + 11. Let r 