b be n(7). Put b, s, 5 in increasing order.
s, b, 5
Let x = -4.4 + 1.4. Let i = x + 1. Let u = 5.7 - 6. Put 0.3, u, i in increasing order.
i, u, 0.3
Suppose 2*l - 34 = 2*j, 6*j - 4*j + 22 = -2*l. Sort 5, 0, 4, j.
j, 0, 4, 5
Let n = -4.4 - -2.4. Let w = -0.27 + -0.03. Let u = w - -0.3. Sort n, 7, u.
n, u, 7
Let j = -13840/11 - -1258. Let q = -61/4 - -15. Put 0.2, q, j in decreasing order.
0.2, j, q
Suppose -43*o + m = -48*o - 6, 2*m = -3*o - 5. Let l = 2 - 1. Put l, o, 3, 4 in increasing order.
o, l, 3, 4
Suppose -4*t + 2*t - 12 = 4*o, -3*o = 0. Let l(r) = 8*r - 4. Let m be l(4). Suppose 2*w - 3*z - 2*z = m, 16 = w - 3*z. Sort t, w, 1 in decreasing order.
w, 1, t
Let s = 80 - 80.4. Let b = -2299 + 29917/13. Sort b, -1, s in descending order.
b, s, -1
Let n be (0 + (-2)/(-2))*-1. Let c = -10114 - -10106. Sort c, 3, n in ascending order.
c, n, 3
Suppose -5*i - 5*s - 24 = 16, s + 4 = 0. Sort -9, -1, i in descending order.
-1, i, -9
Let v(d) = 78*d - 75. Let u be v(1). Sort -1, u, 4, 2.
-1, 2, u, 4
Let m = -7 + 3. Let w be 1/(-27 + 3)*-302. Let v = 37/3 - w. Sort v, m, 1/17.
m, v, 1/17
Let p = -34 - -31. Let w = 28 + -23. Sort -5, 2, p, w.
-5, p, 2, w
Let m = -8 - -2. Let f = -62 - -42. Let s be (f/m)/((-12)/18). Sort s, -3, 2.
s, -3, 2
Let r be (0/(-2))/(0 - -3 - 4). Sort -1, -2/3, 4, r in increasing order.
-1, -2/3, r, 4
Suppose -2*z - 3 = z. Let h be (-2)/(-10)*(1 - z). Let p = -3.77 - 0.23. Sort h, p, 0 in ascending order.
p, 0, h
Let q be -3 + 2 + -46 + 2 + 3. Put q, -1, -2 in decreasing order.
-1, -2, q
Let j = 44 + -44. Suppose 5*s - 5*z - 5 = 0, j = -4*s - 0*z - 3*z - 31. Sort s, 4, -1 in descending order.
4, -1, s
Let o = 12 + -3. Let h = o + -21. Let i = -11 - h. Put i, 5, 0.4 in decreasing order.
5, i, 0.4
Let z be (-30)/(-135) + 4/(-18). Put 33, -5, 5, z in descending order.
33, 5, z, -5
Let s(n) = n**3 - 7*n**2 - 5*n - 17. Let h be s(8). Suppose t - o + 3 = -h, o = 2*t + 15. Put 2, t, 54 in decreasing order.
54, 2, t
Let c be -1*(-7 + 63/9). Put c, -18, 6 in decreasing order.
6, c, -18
Let f = -952 - -954. Put -3, f, -4, -25 in descending order.
f, -3, -4, -25
Let a be (-3)/(-6) + 108/24. Sort a, -3, -2, 4 in decreasing order.
a, 4, -2, -3
Let j(x) be the first derivative of -x**4/4 + x**3 - 2*x - 26. Let g be j(2). Let p = 11 - 6. Sort 19, g, p in decreasing order.
19, p, g
Let r = 71.992 - -0.008. Let d = -72 + r. Let z = -1 - -3. Sort z, d, -0.4 in descending order.
z, d, -0.4
Let y be 1*-2*(-6)/12. Let d be (6/12)/(y/6). Suppose -d = -3*j + 2*j. Sort 1, -2/13, j in descending order.
j, 1, -2/13
Let v = 478.5 + -479. Sort 3, v, -118 in descending order.
3, v, -118
Let t = -6 - -11. Let l be ((-5)/115)/((-22)/(-44)). Put l, 0, t, -0.2 in descending order.
t, 0, l, -0.2
Let j = -1055.7 + 1056. Sort j, -2/9, 56.
-2/9, j, 56
Suppose 15 = -0*p + 3*p + 3*w, 21 = p + 5*w. Let c = -193 + 195. Put p, 4, c in increasing order.
p, c, 4
Let j be ((-2)/(-6))/(2/4). Let s = -87757/4 + 21939. Sort s, j, -2, -1/8 in descending order.
j, -1/8, s, -2
Let n(t) = t - 1. Let m be n(2). Let y = -15 - -20. Put 3, y, m in increasing order.
m, 3, y
Let c be 2/1 + (-1 - 1). Let m be (-4)/(-6)*(78 + -75). Put c, 3, m in ascending order.
c, m, 3
Let h = 21 + -40. Let x = h + 19.1. Sort 2/15, -1/2, x in descending order.
2/15, x, -1/2
Let j = 13 - 9. Suppose 16 = 3*n + 2*x, 2*n - 3*x = -x + j. Let c(s) = s**2 - 12*s - 16. Let a be c(13). Sort 5, n, a in descending order.
5, n, a
Let m(n) = n**2 - 10*n + 29. Let d be m(6). Suppose 8*p = -3*b + 4*p - 92, 0 = -d*b + 4*p - 100. Put 4, -4, b in ascending order.
b, -4, 4
Let w = -1.423 - -0.098. Let b = 0.025 + w. Sort -1, b, -2/9 in ascending order.
b, -1, -2/9
Suppose -2*q + 24 = 5*d, -d - 3*q + 4 = -6. Suppose d*h = 2*h - 2. Put -3, h, 2 in descending order.
2, h, -3
Let k = 550.6 + -551. Put k, 2/45, 0.1, -0.7 in descending order.
0.1, 2/45, k, -0.7
Let x(d) = -2*d**2 - 18*d - 35. Let u be x(-5). Sort u, 4, 0.34.
0.34, 4, u
Let d = 7 - 4. Let i(w) = -1 - 3 - 9 - w**d + 10*w - 10*w**2. Let c be i(-11). Sort 0.4, c, 3 in decreasing order.
3, 0.4, c
Suppose 270 = -4*h + 258. Sort h, -15, 1, 0.
-15, h, 0, 1
Let n = -0.51 - -0.64. Sort -3, n, 3.
-3, n, 3
Let t = 1.463 + 42.537. Sort t, 1, 2 in ascending order.
1, 2, t
Let k = -2 - -4. Suppose 0 = 5*c - 2*g - 15, 4*g - 6 = 16*c - 18*c. Put -1, c, k, -3 in increasing order.
-3, -1, k, c
Let g = 55.8 - 50.8. Put 6/37, g, 0.5 in ascending order.
6/37, 0.5, g
Let c = -3 + 3. Let f(v) = -52*v + 889. Let m be f(17). Put c, m, -14, -3 in increasing order.
-14, -3, c, m
Let k = 603 + -5425/9. Sort 3, -1/7, k.
-1/7, k, 3
Let w(z) = -22*z + 875. Let u be w(40). Sort 11, u, -2, -3 in decreasing order.
11, -2, -3, u
Suppose -d + 336 = 5*d. Let t be (-42)/d - (-426)/(-8). Let i be t/12 + -2 + 6. Sort 5, 3, i in descending order.
5, 3, i
Let v be (-4)/10 + 2/(-5). Let r be (20/(-110) + (-39)/(-154))*4. Sort v, 2, r in increasing order.
v, r, 2
Let g(w) = w**3 - 25*w**2 + 2*w - 55. Let p be g(25). Put 0.22, p, 0.4 in ascending order.
p, 0.22, 0.4
Let u = -18 - -6. Let p = 11 + u. Suppose -3*j + 6*j + 9 = 0. Sort j, 2, p in descending order.
2, p, j
Let a(l) = 2*l + 14. Let u be a(-7). Let z(v) = 2*v + 4. Let i be z(u). Put 5, 3, i in decreasing order.
5, i, 3
Let p = -1226 + 1244. Sort -8, p, 0, 3.
-8, 0, 3, p
Let w = 10 + -7. Let d(r) = 6*r**3 + 8*r**2 - 5*r - 3. Let l(v) = 5*v**3 + 8*v**2 - 4*v - 2. Let c(y) = -4*d(y) + 5*l(y). Let h be c(-8). Sort w, 5, h.
h, w, 5
Let r be 5 + 11 + -14 + 0. Put 0.5, r, 57 in decreasing order.
57, r, 0.5
Let f be -4 - (-4 - ((-60)/(-3))/4). Suppose -4*s + 36 + 51 = -h, f*s - 2*h - 108 = 0. Put -0.4, s, 2/13 in increasing order.
-0.4, 2/13, s
Let g(b) = b**2 + 4*b + 4. Let s be g(-3). Suppose 118 = 41*h - 87. Put h, s, -6 in descending order.
h, s, -6
Let v be 18740/48*(-5)/2625. Let a = 2/315 - v. Sort 1/4, a, -3/13, 5 in increasing order.
-3/13, 1/4, a, 5
Let f = 0.03 + -1.13. Let y = 74 + -74.5. Sort f, y, 2/3.
f, y, 2/3
Let n = -24 + -6. Let l = n + 27. Sort -2/3, l, 0.5 in descending order.
0.5, -2/3, l
Let i be 48/10 + -3*16/60. Sort -27, i, -5.
-27, -5, i
Let a = -19 - -2. Suppose -4*r - 5*g = -3*g + 6, 0 = -g + 1. Put a, r, 0 in descending order.
0, r, a
Let z be -5*(-10)/18 + 8/36. Let d be 26/(-4) - z*1/(-2). Put -3, d, 5, 1 in increasing order.
d, -3, 1, 5
Suppose -6*t - 172 = -148. Let k = -8 - 10. Let y be 3/2*96/k. Put t, 2, y in decreasing order.
2, t, y
Suppose -5*s - 2*y + 16 = 13, 4*y = s - 5. Sort s, 0.2, 0.3 in decreasing order.
s, 0.3, 0.2
Let q(o) = o**2 + 2*o - 2. Let f be q(-3). Let n be (-18)/(-3)*f - 3. Let d be (1/(-3))/(n/(-9)). Put 2, -2, d in decreasing order.
2, d, -2
Suppose x + 2*a - 5 = -16, -a - 7 = x. Let i be 300/145 + (-22)/319. Sort i, x, 8 in decreasing order.
8, i, x
Let c = 884 + -897. Put -4, c, 3/5, -1 in increasing order.
c, -4, -1, 3/5
Let n = -25.11 + 25. Let v = n + 5.11. Let l = -52/5 + 10. Put l, -1, v in descending order.
v, l, -1
Suppose 13*t - 20 = 17*t, -r + t = -6. Sort -4, -5, -8, r in descending order.
r, -4, -5, -8
Let u = 4.567 - -0.033. Let b = 5 - u. Let t be (1/6)/(3/9). Sort b, 1, t in decreasing order.
1, t, b
Let v be (8 - 17)/((-6)/4). Suppose 2*u - 3*d - 4 + 9 = 0, 3*u + v = 3*d. Let x be u*(-3 - (-4 - -2)). Put -3, x, 5 in ascending order.
-3, x, 5
Let f = -1.5 - 2.1. Let a = 0.9 - f. Let k = -4 + a. Sort 5, -1, k in descending order.
5, k, -1
Let i = 0.27 + 0.03. Suppose -4*v = -4*g - 48, 0*v - 3*v + 5*g = -28. Sort i, v, -1/4 in increasing order.
-1/4, i, v
Let k be (-12)/15 - (240/(-50) - -5). Sort 6, k, 2.
k, 2, 6
Let m = 34.6 - -1.4. Let p = 35.98 - m. Put -4, p, 4/9, 5 in descending order.
5, 4/9, p, -4
Let j be (42 + -18)*((-4)/(-6) - 1). Sort -5, j, 3 in descending order.
3, -5, j
Let w = -23 - -25. Suppose -a - 5 = -0*h + 3*h, -w*a = -3*h - 17. Let x = 3 + -1. Sort h, -5, x.
-5, h, x
Let a = 19 - 16. Let w(r) = -4*r**2 - 1. Let d be w(-1). Sort 5, d, 0, a.
d, 0, a, 5
Let l = -2.95 + 3. Let q = -122 - -121.9. Suppose 5 = 4*j - 3. Sort q, l, j in decreasing order.
j, l, q
Let p be -12*6*(-2)/(-3). Let w = 45 + p. Sort -4, 0, 5, w in descending order.
5, 0, w, -4
Suppose -x + 16 = 4*l, -3*x + l + 14 = -73. Let d = x - 25. Sort 5, d, 4, 1 in decreasing order.
5, 4, d, 1
Su