t h be l(-30). Put 0, m, 3, h in decreasing order.
3, m, 0, h
Suppose 13*u - 127 = -p + 12*u, 5*u - 15 = 0. Sort 5, -3, p in decreasing order.
p, 5, -3
Let u = 0.012 - -26.988. Let v = -29 + u. Sort v, 2/5, 0.5.
v, 2/5, 0.5
Let w = -28 + 20. Let h = w + -3. Let o = 11 + h. Put -0.5, o, -1 in increasing order.
-1, -0.5, o
Suppose 4 = -6*x - 8. Let m(i) = -i**2 + i + 2. Let r be m(2). Let p = r - 5. Sort x, p, 3 in increasing order.
p, x, 3
Let r = -870 - -867.989. Let u = r + 0.011. Let w = 0.1 + -0.2. Put w, -1/4, u in ascending order.
u, -1/4, w
Let r be (-315)/20 + (-5)/20. Sort r, -3, -2 in decreasing order.
-2, -3, r
Let n = -0.2 - -0.2. Let a be (2/(-6)*0 - 1) + 3. Sort n, a, -9 in ascending order.
-9, n, a
Let q be 3/9 - (1 - (-4)/(-3)). Put -0.15, -5, q in increasing order.
-5, -0.15, q
Let c = -29/36 + 1/18. Let o = -1007336/7 - -143604. Let z = o - -302. Put c, z, 0.5 in increasing order.
c, 0.5, z
Let l = -1183/2995 + -3/599. Put 0.2, -14, 0, l in decreasing order.
0.2, 0, l, -14
Suppose 52 - 22 = -6*u. Put 4, -1, -61, u in descending order.
4, -1, u, -61
Let f = -1.6 - -2. Let v(q) = q**3 - 14*q**2 - 6*q - 18. Let k be v(15). Let d = 119 - k. Put f, 0, d in descending order.
d, f, 0
Let c be -5 + (5 - 7)*-2. Sort -2, c, -4 in increasing order.
-4, -2, c
Let j = 192 - 63. Suppose 33 = -3*z - j. Let w be (6/z)/(2/6). Sort w, -0.4, -0.5 in descending order.
w, -0.4, -0.5
Let g(b) = -9*b - 54. Let q be g(-10). Sort q, 0, -5, 4.
-5, 0, 4, q
Let l(b) = -b**2 - 16*b - 12. Let u be l(-11). Sort -5, 1, u.
-5, 1, u
Let g = 2.6 - -1.4. Let w = g - 0. Put w, -3, 1 in ascending order.
-3, 1, w
Suppose 0*w = -4*w. Let k(h) = 2*h + 7. Let g be k(-4). Sort g, w, 5 in ascending order.
g, w, 5
Suppose 7*u = 377 - 286. Sort u, 1, 0, -4 in ascending order.
-4, 0, 1, u
Let s be (-26 + 7)/(-19) - 2/2. Sort 5, 346, s.
s, 5, 346
Let u(k) = -k**2 - 2*k + 1. Let v be u(-3). Suppose z - 5*z - 20 = 5*h, 0 = h - 5*z - 25. Suppose h = 7*w - 3*w. Put -5, v, w in decreasing order.
w, v, -5
Let j be ((-2)/(-3))/(24/108). Suppose -n = -j*h + 8, -5*h = 2*n - 2 - 4. Suppose -l + 5 = 4*m - 0*m, 15 = 3*l + 2*m. Sort n, 2, l in descending order.
l, 2, n
Suppose 0 = 6*w - 3*w - 225. Let b = -79 + w. Let m = -2.5 + 2. Put m, 5, b in descending order.
5, m, b
Let w be (-85)/(-170)*(-8)/(-1). Put 1/2, -10, w in descending order.
w, 1/2, -10
Let r = -452587/65 - -6961. Let d = r + -8937/260. Let y = d + 36. Sort y, 1/6, -0.1.
y, -0.1, 1/6
Let u = 3 + -1. Suppose 36*b - 20 = 31*b. Suppose u*d = -0*d + b*w + 18, -d + 4*w = -19. Sort 5, d, 2 in increasing order.
d, 2, 5
Let v = -193 + 194. Let m = -3 - -7. Suppose 0*i + i - 8 = 2*p, 5*i - p - m = 0. Sort v, 6, i in increasing order.
i, v, 6
Suppose 2*a = 4, -2*k = 2*k + 2*a - 68. Suppose 3*z - 4*z + 4*i = -k, -5*z + 26 = -2*i. Sort 5, -1, z in descending order.
5, z, -1
Let q = 0.3 + 0.42. Let o = 0.42 - q. Let k = 4.4 - -0.6. Put o, -1/7, k in descending order.
k, -1/7, o
Let a(w) = w + 1. Let d be a(1). Let p be 30/20 - d/4. Sort p, 4, -3, -2 in decreasing order.
4, p, -2, -3
Let z = -731 - -737. Put 36, z, -4 in descending order.
36, z, -4
Suppose 4*j + 2*m + 189 = 3*m, -j - 48 = -m. Sort 0, j, 7 in ascending order.
j, 0, 7
Let c be (-1)/((-2)/4) - (-910)/(-336). Let z = c + 37/24. Sort 6, 0, -1/4, z in increasing order.
-1/4, 0, z, 6
Suppose d + 16 = -0. Let z = d + 20. Put 9, 2, z in decreasing order.
9, z, 2
Let b be 0/(1/((-1)/(-2))). Let d(v) = v**3 - v**2 + v. Let p be d(b). Suppose 12 = -2*i + t, 2*i + i + 2*t + 11 = p. Put 5, -2, i in increasing order.
i, -2, 5
Let o = 5.87 - 9.876. Let n = 0.006 + o. Let l = -67 - -738/11. Put l, n, -0.4 in descending order.
l, -0.4, n
Suppose -3*u + 0*s + 2*s + 32 = 0, 5*s + 20 = 0. Let i = 13 - u. Let h(m) = -m**2 + 9*m - 3. Let v be h(9). Put -13, v, i in decreasing order.
i, v, -13
Let g = 3 + -2. Let x be (2/5 + (-36)/15)*-1. Suppose -2*m + 14 = -5*u, -x - 3 = -u + 3*m. Sort g, 2, u in decreasing order.
2, g, u
Suppose 3*q - 4 = -u, -2 = -3*q + 2*q. Suppose 0 = -14*r + 62*r - 48. Sort u, 6, r in descending order.
6, r, u
Suppose 6*h + 5*d - 10 = h, -6 = h - 3*d. Suppose 91529*a - 91539*a - 20 = 0. Sort 2, h, a in ascending order.
a, h, 2
Suppose -2*z = 4*y - 20, y - 2*z + 7*z - 23 = 0. Let t(f) = f**2 - 6*f + 2. Let k be t(5). Put y, 4/3, k in descending order.
y, 4/3, k
Let y be 2/(((-2)/(-7))/1). Suppose -8*a = -188 + 180. Sort y, 3, a in descending order.
y, 3, a
Suppose -i = -3*i - 8. Let r(c) = -7*c + 10. Let m be r(0). Sort m, i, -3.
i, -3, m
Let j = 0.22 + -0.02. Sort -1/6, j, -15 in increasing order.
-15, -1/6, j
Let y(m) = -m**2 - 3*m - 3. Let j be y(-2). Suppose w + 16 = 9*g - 6*g, g - 20 = 4*w. Sort w, 0, 3, j.
w, j, 0, 3
Let m(h) = 7*h - 2. Let y be (-1)/6 - 21/(-18). Let d be m(y). Let i = 5 + -10. Sort -3, d, i.
i, -3, d
Let s(l) = -l**2 - 43*l - 387. Let g be s(-30). Let r be 1/((-18)/(-10) - 2). Sort g, -4, r.
r, -4, g
Suppose -6*x + 8*x - 6 = 0. Put 5, x, 12, -6 in decreasing order.
12, 5, x, -6
Let c = 183 - 186. Sort c, -17, 5 in descending order.
5, c, -17
Suppose -13*r + 16*r - 208 = 4*s, 0 = 2*r + 4*s - 172. Put 3, -2, r, 2 in ascending order.
-2, 2, 3, r
Let h = 1.71 + 275.29. Let g = 272 - h. Let a = 14 - 13.1. Put 0.4, a, g in descending order.
a, 0.4, g
Let b be -2 + ((-1)/1)/(22/44). Let m = 3.4 + -0.4. Put -0.2, b, m in decreasing order.
m, -0.2, b
Suppose b + 25 = 3*a, -20 = 5*b - 0. Suppose a*l + 4 = -24. Sort 1, -10, l, 0.
-10, l, 0, 1
Suppose -4*p + 18 = -2*z, 0*z + 19 = z + 5*p. Let g = -24 + -46. Let h = g + 69.7. Sort z, h, -0.4 in descending order.
h, -0.4, z
Suppose -2*y + 2*i + 0*i = 0, -5*i = -2*y. Sort y, -5, -4.
-5, -4, y
Let i(y) = -y**3 + 68*y**2 + 37*y - 63. Let t(p) = 23*p**2 + 12*p - 21. Let v(g) = 2*i(g) - 7*t(g). Let c be v(-12). Sort 0, -21, c.
-21, c, 0
Suppose -4*b = -0*b + 40. Let w be 13/5 + -3 + 1/(-10). Put w, b, 4 in decreasing order.
4, w, b
Suppose -4*n - 5*o = 32, -8*o + 4*o - 28 = 4*n. Sort -1, n, -5, 3 in decreasing order.
3, -1, n, -5
Let a = -207/2 - -102. Let o be (4/(-25))/(4/(-10)). Put -8, -1/2, o, a in descending order.
o, -1/2, a, -8
Suppose -3*x - 10 = -22. Let c be 28/(-16) + 2/(-8). Sort 3, x, 1, c.
c, 1, 3, x
Suppose 18*t - 23*t + 5 = 0. Sort -34, -3, t, 2 in increasing order.
-34, -3, t, 2
Suppose 4*d + 0*m - m - 36 = 0, 0 = -3*d - 3*m + 27. Let y = 14 - d. Let j be 3 - (258/45)/2. Sort y, j, -5/4.
-5/4, j, y
Let k = -165 - -170. Put k, -3, -24/11 in ascending order.
-3, -24/11, k
Let z(u) = -2*u**3 - 17*u**2 - 19*u + 11. Let i be z(-7). Put 92, -2, i in increasing order.
i, -2, 92
Suppose 5*w + 6 = 4*j, -j = 3 - 2. Let z = -123 - -127. Sort w, z, -3 in decreasing order.
z, w, -3
Let q = -442 - -442. Sort -1/6, q, -4, -0.02.
-4, -1/6, -0.02, q
Let l(p) = 4*p + 43. Let s be l(-10). Let k = -44 - -41. Sort 0, k, s in ascending order.
k, 0, s
Let v = 3331 - 3331. Let c = 0.2 - -0.3. Put c, 4, v in decreasing order.
4, c, v
Let f = 18 - 15. Let m(i) = -14*i + 86. Let x be m(6). Sort 0, f, x, -1 in increasing order.
-1, 0, x, f
Let h(o) = o**3 - 8*o**2 + 7*o - 2. Let k be h(7). Let y(u) = u**3 + 7*u**2 + 3*u - 26. Let n be y(-6). Put k, -1, n in increasing order.
n, k, -1
Let d = -72.4 + 70.4. Sort 1, d, -12/5 in ascending order.
-12/5, d, 1
Let k(i) = i + 6. Let q(f) = -f - 5. Let m(v) = 3*k(v) + 2*q(v). Let b be m(-9). Sort 1/3, -3/2, b.
-3/2, b, 1/3
Let c be -3*(2 - (1 - 0)). Let y be (6/9 - (1 + c)) + -2. Let u = -40/9 + 244/63. Sort 0.2, u, y in decreasing order.
y, 0.2, u
Let j(l) = -2*l**3 - 27*l**2 - 84*l - 29. Let y be j(-9). Sort 3, -3, 64, y.
-3, y, 3, 64
Let p be -4 - (0 - (-216)/(-56)). Sort 3/7, 0.1, -1/5, p in ascending order.
-1/5, p, 0.1, 3/7
Let f = 525 - 525. Sort -251, 4, f, -2/13.
-251, -2/13, f, 4
Let d(k) = k**3 - 4*k**2 - 4*k - 2. Let j be d(5). Suppose -2*l + 6 = -l + 4*v, j*v = 6. Let g be -5 + ((-32)/(-4) - 4). Put g, 1, l in increasing order.
l, g, 1
Let j = 666 - 667.3. Put 5, -0.5, j, -0.4 in descending order.
5, -0.4, -0.5, j
Let x(d) = -d**3 + 26*d**2 + 27*d - 1. Let y be x(27). Suppose -2*q = -6 - 4. Let f = q + y. Sort f, 0, -4.
-4, 0, f
Let a = -9.8 + -0.2. Let u = 9.7 + a. Let k = 24 + -265/11. Sort -2/7, u, k in descending order.
k, -2/7, u
Let s be 1 - 1 - 8/(-2). Let 