 a be h(u). Put -4, -3, a in decreasing order.
a, -3, -4
Let n = 158 - 157.6. Let v = -12 + 8. Sort n, v, 0.
v, 0, n
Let f = -7 - 1. Let l = 7.93 + f. Sort 0.3, -1, l in ascending order.
-1, l, 0.3
Let j be (-462)/(-552) - (-15)/(-20). Sort j, 10, 1/6, -0.3 in decreasing order.
10, 1/6, j, -0.3
Suppose 0 = t - 4*t - 9. Sort -2, 14, t.
t, -2, 14
Suppose -4*c - 24 = -2*u, -5*c - 9 = -3*u + 22. Put -2/9, 4/3, c in decreasing order.
4/3, -2/9, c
Let u = 3 + -40. Let m = u + 147/4. Let j = -22.4 + 17.4. Sort j, m, -2 in decreasing order.
m, -2, j
Let h = 2 - -7. Suppose -1833*o = -1829*o + 20. Put h, 3, -2, o in descending order.
h, 3, -2, o
Let n be (5/10)/((-2)/(-12))*3. Let k = n - 10. Sort k, -2/5, 2/11 in increasing order.
k, -2/5, 2/11
Let p = 477 + -1907/4. Put p, 6, -0.3 in decreasing order.
6, p, -0.3
Let k be -2 + (12/36)/((-4)/(-96)). Let v = -1.9 - -2. Sort v, 2/7, 4, k in ascending order.
v, 2/7, 4, k
Let z = -0.057 - -5.357. Let b = 1 - -4. Let d = b - z. Put d, -4, -1/7 in descending order.
-1/7, d, -4
Let p(w) be the first derivative of w**3/3 + 2*w**2 - 14*w - 19. Let k be p(-6). Sort k, 0.4, 4/3, -0.1 in decreasing order.
4/3, 0.4, -0.1, k
Let u be -5 + (6/3 - 1). Suppose -39 = 2*r + 11. Let t be r/15 - 4/(-6). Sort u, t, 0 in ascending order.
u, t, 0
Let z = 20.9 + -21. Let i = 0.02 + -0.03. Let s = -2.01 - i. Sort s, z, 4.
s, z, 4
Let v(o) = o + 9. Let s be v(-5). Let t(j) = j - 2. Let a be t(7). Let x be 3/(12/1) + 1. Put a, x, s in decreasing order.
a, s, x
Suppose s + 46*s = -235. Let l = 23 + -33. Sort 0.1, s, l in decreasing order.
0.1, s, l
Let o(x) = -x + 5. Let d be o(5). Suppose 2*t + 5*m = 15, -5*m + d = 5*t - 30. Suppose -t*h = -w - 21, 0 = -h - 4*w + 8 + 13. Sort h, 1, 4 in decreasing order.
h, 4, 1
Let z(m) = -m**3 + 8*m**2 + 5*m - 45. Let g be z(8). Put 2, g, 3, -6 in decreasing order.
3, 2, g, -6
Let f(l) = -6*l - 4. Let r be f(-4). Suppose 0 = 3*z + z - r. Let b = 452 + -451. Put z, -2, b in increasing order.
-2, b, z
Let f be (-1 + 2 + -2)/(-3). Let u be (-24 - -2)*(-376)/10340. Sort u, 3/13, f in descending order.
u, f, 3/13
Let s(j) = -23*j + 64. Let d be s(2). Sort 2, d, 4 in ascending order.
2, 4, d
Let p = 138 - 141.66. Let r = -0.34 + p. Put r, -0.4, -3/2 in decreasing order.
-0.4, -3/2, r
Let j(a) = -48*a - 51. Let g be j(-1). Put -1, g, 5, 44 in ascending order.
g, -1, 5, 44
Suppose -2*j = 2*v - 16, 0 + 2 = 4*j - 2*v. Suppose -159 = 2*l + 69. Let u = 118 + l. Sort u, j, -4 in descending order.
u, j, -4
Suppose -2 - 3 = u, 15 = 2*x - 3*u. Suppose 3*h = -30 - 12. Let b be 4/h + 0/2. Sort b, x, 2/3 in descending order.
2/3, x, b
Let y = 51287 - 360096/7. Let l = 155 + y. Let p(g) = -g + 6. Let j be p(7). Sort -1/6, j, l in increasing order.
j, l, -1/6
Let i = 1201 - 1206. Sort 1, 10, -4, i in descending order.
10, 1, -4, i
Let j = -286 + 286. Sort -1, j, -37 in descending order.
j, -1, -37
Let h(o) = o**2 + 4*o + 6. Let f be h(-2). Let u be (1*f)/(23/(-46)). Sort u, -2, -16.
-16, u, -2
Let x be (36/(-30))/((-40)/50). Put 0, 3/5, x, -23 in decreasing order.
x, 3/5, 0, -23
Let p = -2311 + 2329. Sort p, 5, -1.2, -0.5 in descending order.
p, 5, -0.5, -1.2
Let j be (16/(-40))/((-2)/20). Suppose -8 = -j*o + 3*v - 4, 4*o + v = 20. Suppose -5 = g - o. Put g, -4, 1 in increasing order.
-4, g, 1
Suppose -7*c = -2*c. Let d be (-2)/3*27/(-6). Suppose -6 = d*x - c. Sort x, 5, 2.
x, 2, 5
Suppose 2*d - 4*f = 3*d - 4, 0 = 4*d + 4*f + 8. Sort 48, 4, d in ascending order.
d, 4, 48
Suppose -4*z - 6 = -9*j + 14*j, 5*z - 15 = 5*j. Put 4, z, 57 in descending order.
57, 4, z
Suppose 16 = u + u - 3*v, u - 1 = -2*v. Suppose 34 = -h + 37. Let d be h*(2 + -2*(-9)/(-6)). Put u, d, -5 in decreasing order.
u, d, -5
Let j(l) = 2*l**2 - 3*l - 4. Let w be j(3). Let d be (19/4)/((-17)/68). Put d, w, 4 in ascending order.
d, 4, w
Let h be 6 - (-15 + 17)/(3/6). Suppose -3*m = 4*r + 2 + 1, m = 5*r + 18. Sort h, 0, m, -2 in increasing order.
-2, 0, h, m
Suppose 4*z + 0*z = 0. Let r = 94 - 97. Sort r, z, -1/8 in descending order.
z, -1/8, r
Let m(y) = 7*y - 48. Let n be m(5). Put 2, -1, n in descending order.
2, -1, n
Let n = 171 - 171.2. Put n, -0.03, 4 in increasing order.
n, -0.03, 4
Let f = -79 - -80. Sort 0, f, -2, 3 in descending order.
3, f, 0, -2
Suppose -2*v + 8 = -4*s, -v - 3*s + 11 + 3 = 0. Let x be 1*(22/26 + v/52). Sort 0, -4, x, 3.
-4, 0, x, 3
Let s be -3*(76/(-39) - -2). Let z = -194.5 - -199.5. Sort z, 6, s.
s, z, 6
Let u be (-5)/6 - (7/(-6))/1. Sort u, -0.2, 0.106 in descending order.
u, 0.106, -0.2
Let z be -9 + -6 + 10 + 0. Sort 8, z, 1 in descending order.
8, 1, z
Suppose 26 = 3*d - 52. Suppose -27 = c - d. Put c, -4, 0 in descending order.
0, c, -4
Let w = 1497 - 1499. Put 3, 5, w, 0.3 in descending order.
5, 3, 0.3, w
Let m = -1110 - -1108. Sort m, 20/21, 1 in ascending order.
m, 20/21, 1
Let a = 125 + -127. Let v = -4.02 + 0.02. Sort a, v, 0.3 in decreasing order.
0.3, a, v
Let w = 67/3 - 341/15. Put w, 0, -4, -2.1 in decreasing order.
0, w, -2.1, -4
Let a(m) = -m**2 - 4*m + 14. Let l be a(-6). Suppose 0 = -3*x + l*x - 8. Put -1, 0, x, 2 in increasing order.
x, -1, 0, 2
Let y = 225 + -1349/6. Let f = 4.1 + -2. Sort y, 5, f, -3 in increasing order.
-3, y, f, 5
Let o be (9/(-15))/(2/(-10)). Suppose -n + 7 = o*i, -i - 4 = -4*n - 2. Suppose -y + 3*a + 3 = 0, -5*y + 0*a + i*a + 2 = 0. Put -3, 5, y in ascending order.
-3, y, 5
Suppose 77 = 30*f + 17. Sort 6, -3, f, -11.
-11, -3, f, 6
Let z(m) = m**2 - m - 4. Let g be z(-2). Suppose 0 = 4*x - w + 3, -x - g*w = -2*x + 8. Put -6, x, 4 in descending order.
4, x, -6
Suppose -4*q - 8 = 0, -21*g + 24*g = -3*q - 42. Sort -1, -8, g.
g, -8, -1
Let n = -0.088 + -35.912. Let t be 6/(-8) - (-3 + (-50)/(-8)). Put t, n, -4/9 in increasing order.
n, t, -4/9
Let s be (-630)/(-75)*(-61)/2. Let u = -257 - s. Sort u, 0, -2/3, -0.3 in decreasing order.
0, -0.3, -2/3, u
Let x(s) = 0*s**3 + s**3 - 5*s + 4*s**2 + 0*s**2 + 4 + 0*s. Let h be x(-5). Let y(p) = p**2 + 11*p - 9. Let u be y(-12). Sort u, h, -4.
-4, u, h
Suppose -4*s = s - 30. Suppose 6*k - 60 = 16*k. Let j = s + k. Sort -1, -4, j in descending order.
j, -1, -4
Let y(m) = -m + 15. Let h be y(12). Suppose h*s = 6*s. Put 1, -1, s, 3 in ascending order.
-1, s, 1, 3
Let x(w) = -w + 5. Let o be x(7). Let s = 19 + -21. Let r be (-4)/8*s/7. Put o, -0.3, r in descending order.
r, -0.3, o
Suppose -f - 4 = -6*h + 10*h, -4*f - h = 1. Suppose 4*w = 6*w - 4. Put -20, f, w in decreasing order.
w, f, -20
Let w = 429 + -423. Let m = 3 + -13. Let g = w + m. Sort g, 0.3, -0.4 in decreasing order.
0.3, -0.4, g
Let d = -0.63 - 0.37. Let t = 2 + -5. Sort 0.4, t, d in descending order.
0.4, d, t
Suppose 4*t + 4 = 2*m, m - 9*t + 11*t + 10 = 0. Put -1, -5, -14, m in increasing order.
-14, -5, m, -1
Let z(k) = -k**3 - 8*k**2 - 8*k - 6. Let x be z(-7). Let f = 430.89 - 431. Sort -2/7, f, x in decreasing order.
x, f, -2/7
Let r = -12.27 + 12.7. Let c = -0.57 - r. Sort -12, c, -0.1, 0.1 in decreasing order.
0.1, -0.1, c, -12
Let z(t) = -t - 11. Let h = 41 + -47. Let b be z(h). Sort b, 4, -58 in decreasing order.
4, b, -58
Let s = -0.007 + -21.993. Let o = s - -6. Let f = 20 + o. Put f, -0.5, 0.4 in descending order.
f, 0.4, -0.5
Suppose n + x = 0, n - 20 = -2*n + 2*x. Sort -39, -1, n in increasing order.
-39, -1, n
Suppose 2*w + 195 = 4*l - l, -3*w = -5*l + 294. Let q = w - -95. Let a(n) = n**2 + 5*n + 2. Let z be a(-4). Sort z, 4, q in descending order.
4, q, z
Let i(h) = -h**2 - h + 7. Let n be i(-4). Let k be n/20*(-4)/12. Put 5, k, -3/4 in decreasing order.
5, k, -3/4
Suppose 5*l - 5*c - 10 = -0*c, 0 = 4*l - c + 1. Put 5, l, -81 in descending order.
5, l, -81
Let c be 3/((-7)/((-175)/15)). Sort 7, c, -5 in ascending order.
-5, c, 7
Let a = 29 + -21. Suppose -20 = -4*n + 3*y, 3*n + 4*y + a = -n. Sort -2, -9, n.
-9, -2, n
Let d = -938 - -937. Put -1/2, d, -2/17, 0 in descending order.
0, -2/17, -1/2, d
Let r = 2 + 0. Suppose 0*l - l = -2, -r*l = -2*y - 70. Let n be y/(-6) - 2/4. Sort 2, -2, n in descending order.
n, 2, -2
Let j = -72.126 + 0.126. Put 0, j, -3/8, 0.5 in descending order.
0.5, 0, -3/8, j
Let o = 427 - 435. Sort 4, -4, o.
o, -4, 4
Let y = -17 - -21. Let v be (y/(-12))/((-2)/12). Let s(f) = -f**3 + 5*f**2 + 14*f. Let j be s(7). Sort -2/15, j, v in de