/6 - t**2/2 - 13*t - 1. Let g be i(-2). Put 1, g, 15 in increasing order.
1, g, 15
Let n = 31.32 - 2.62. Let m = 28.2 - n. Sort m, 5, 0.23 in descending order.
5, 0.23, m
Let x be (-18)/(((-18)/(-20))/((-30)/(-25))). Let d = -17 - x. Suppose 2 = d*l + 2. Sort -3, 5, l in ascending order.
-3, l, 5
Let r(g) = -5*g**2 + 4*g + 222. Let z be r(7). Sort 7, -21, 1, -5, z in ascending order.
-21, -5, 1, z, 7
Let n = 22 - 15. Let o = 215 + -185. Suppose 9*s = -3 + o. Put -2, s, n in decreasing order.
n, s, -2
Suppose -w - 4*w + 18 = -3*s, s = -5*w + 14. Let d = -2567 + 2569. Put -6, w, -5, d in decreasing order.
w, d, -5, -6
Let w = 0 + -1. Suppose 4*f - 6 - 2 = 0. Suppose -13819*q + 13825*q + 67 - 1 = 0. Sort f, q, w.
q, w, f
Let c be (-6 + 0)*(-7)/(-42)*-3. Let y be ((-13)/(-2))/(10/40). Let r = 26 - y. Sort -3, r, -10, c in descending order.
c, r, -3, -10
Let t = 20.836 - 21.966. Sort -2/41, -1, t in decreasing order.
-2/41, -1, t
Let a = -0.213 + 0.513. Sort -0.11, -3, a, -0.5.
-3, -0.5, -0.11, a
Let i = 0.04421 + -0.34421. Sort 2, -0.4, i, 1/9, 0.1.
-0.4, i, 0.1, 1/9, 2
Suppose 6*u - 7*u + 9 = 0. Let r = -10 + u. Suppose -4*a + 9*a - 20 = 0. Sort 0, r, a.
r, 0, a
Let u(y) = -3*y + 1. Let s be u(6). Suppose 2*d = 3*k + 351 - 346, k = -3. Sort d, s, -3 in descending order.
d, -3, s
Let i be (-5)/(-3)*3*(-12)/(-30). Let l = -18.6 + 21. Let b = l - 1.5. Sort 1/2, b, i in increasing order.
1/2, b, i
Suppose 12 = x - 5*l - 7, 2*x - 3*l = 17. Suppose 58*o + 9*o - 9203 = -10007. Sort 0, o, -1, x.
o, -1, 0, x
Suppose 0 = -2*p - z - 15, 3*p = -2*z - 0*z - 25. Let h be (-1)/(-1) + 30/p. Suppose 57*s = -53*s + 135*s + 100. Sort s, h, 4 in decreasing order.
4, s, h
Let k = 3.89934 - -0.10066. Let o be 5/(-4) + (-2 - -3). Put o, 5, 0.4, k in decreasing order.
5, k, 0.4, o
Let z = -192374.6 - -192375. Let q = 46 + -183. Put q, z, -2/15 in increasing order.
q, -2/15, z
Let p = 238 + -291.6. Let s = p - -49. Let d = s - 0.4. Put 1/8, d, -0.08 in decreasing order.
1/8, -0.08, d
Let g = 401 - 282. Let h = -122 + g. Let m(r) = 2*r + 4. Let z be m(-4). Put h, 0, z, 1 in increasing order.
z, h, 0, 1
Let d = -58 + 53. Let x be (-2)/(-2 + (1 - (3 - 6))). Put x, d, -16 in descending order.
x, d, -16
Let b = 9930 + -12001. Sort -3, 0.4, b in increasing order.
b, -3, 0.4
Let q = -1574 + 1586. Put 0, -1/13, q in ascending order.
-1/13, 0, q
Let z be ((-12)/(-3))/(-1) - (-16 + (-2926)/(-247)). Let r = 12 + -17. Put r, 0, -11, z in ascending order.
-11, r, 0, z
Let w = 51/5 - 10. Let t = 35.52 + -35.51. Sort 0.4, t, 1, w in ascending order.
t, w, 0.4, 1
Let f = -144080 + 144077. Let k = 2.3 + 0.7. Put 4, k, f, -4 in descending order.
4, k, f, -4
Let l(n) = -4*n + 18. Let t be l(-7). Suppose 49*h = t*h + 123. Put h, -0.2, 3 in descending order.
h, 3, -0.2
Let v = 15.3 - 5.5. Let o = v - 5.8. Sort o, 0.4, 3, -0.1 in decreasing order.
o, 3, 0.4, -0.1
Suppose 31*o - 6 = -2*l + 28*o, -3*l = 5*o - 8. Put -10, -1, l in decreasing order.
l, -1, -10
Suppose 0 = 5*t - 15 - 10. Let m = -62319 - -62317. Let z(j) = -j**3 + 7*j**2 - 4*j - 8. Let i be z(6). Put 0, m, i, t in decreasing order.
t, i, 0, m
Let g(f) be the second derivative of f**5/20 - 5*f**4/12 + f**3/2 + 7*f**2/2 - 2*f - 1. Let s be g(4). Put 1, s, 4, 2 in decreasing order.
4, s, 2, 1
Let g = -20935/7 - -2991. Put g, 0.21, -1/5 in increasing order.
-1/5, 0.21, g
Let i(x) = x - 80. Let n be i(85). Put 0.03, 4, n, 2 in descending order.
n, 4, 2, 0.03
Suppose 0*x = -3*g + 2*x - 19, 2*x = -2*g - 6. Put 2, -3, 14, g in descending order.
14, 2, -3, g
Let b = -4.91 - 0.09. Let w = 267.4 + -267.2. Let o be (-2)/7 + (-576)/(-693). Put b, o, w, -1 in increasing order.
b, -1, w, o
Let r(g) be the first derivative of -37*g + 3/2*g**2 + 20. Let n be r(14). Sort 3, -3, n, -1 in decreasing order.
n, 3, -1, -3
Suppose -1490*j - 850 = -1660*j. Let b = 0 + 3. Sort -8/7, b, j, -0.4 in descending order.
j, b, -0.4, -8/7
Suppose 3*a + 0*x + x = 0, -4*a = 4*x - 8. Let m = 5 + a. Suppose -47*p - 469 + 46 = 0. Sort -5, m, p in decreasing order.
m, -5, p
Suppose -5*n = -9*n - 12. Let h be -2*((-6)/n - 0). Let t be -3 - ((-2)/8 + (-5)/h). Sort -1, t, 1, -5.
-5, t, -1, 1
Let o be (5/(-5))/((-22)/(-10) + -2). Let y(h) = h**2 + 8*h + 14. Let d be y(o). Let z be (-6)/4*(-4)/(-3). Sort z, d, 0 in descending order.
0, d, z
Let j = -83 - -89. Let h(p) = -6*p - 3 + 21 + 2*p - 1. Let s be h(j). Put -3, s, 4 in increasing order.
s, -3, 4
Let c(k) = -16*k**3 - k**2 + 2. Let s be c(-1). Suppose 4*j - s = 3*m, 3*j = 6*j + 4*m - 19. Put -0.12, 0.2, j in descending order.
j, 0.2, -0.12
Let b = 4248.93 + -4249. Sort -1/3, -0.257, b in ascending order.
-1/3, -0.257, b
Suppose -4 = -x, 21*v = 25*v - 5*x + 24. Put 0.09, -0.2, 5, v, 1 in decreasing order.
5, 1, 0.09, -0.2, v
Let x = 109 - 105. Suppose -3*v = -v - 2*b - 10, x*v - 5 = -b. Suppose 5*d + 3*i = -230, 3*d - 2*i + i + 138 = 0. Put -2, d, v, 3 in decreasing order.
3, v, -2, d
Let t = 3.31 + 0.29. Let j = -1993.86 - -1998.86. Sort 1, j, 3, t.
1, 3, t, j
Let b be 0/(-14) - (-2)/1. Suppose 0 = b*d - d - 0*d. Suppose 2*x - 4*r + 4 = d, -x + r + 5 = 6*r. Put -14, -5, x in descending order.
x, -5, -14
Let h be (-252710)/(-90) - 2/(-18). Let r be 4/9 - 816/h. Put -1/4, -3, -1/5, r in decreasing order.
r, -1/5, -1/4, -3
Let n(z) = 10*z - 99. Let f be n(10). Put f, -0.3, -133 in descending order.
f, -0.3, -133
Let l(f) = f**3 - 11*f**2 + 36*f - 166. Let r be l(9). Sort 111, 13, 4, r in increasing order.
r, 4, 13, 111
Let a be (-6)/(-39) - (31/(-52) - (-40)/160). Sort -1/2, a, -0.07, 2, 1/3.
-1/2, -0.07, 1/3, a, 2
Let a(o) = 2*o**3 + 13*o**2 - 2191*o + 31. Let m be a(30). Let v = -1 - -4. Put -1, m, -5/4, v in decreasing order.
v, m, -1, -5/4
Let f(w) = 2*w + 3. Let j be f(1). Suppose -3*o + m - 3 = 0, -3*o - 3*m - 9 = -2*m. Let g be (-9 + 11)/(o/(-4)). Put j, g, -3 in increasing order.
-3, g, j
Let g = 734 - 732.72. Let j = 1.78 - g. Let x = 1.98 + 0.02. Sort j, x, -6 in decreasing order.
x, j, -6
Let m = -67.95 + 71.95. Let q = -0.03 + 4.03. Let o = 3.9 - q. Sort 0.2, o, m, 1/4.
o, 0.2, 1/4, m
Let t = 2156/10107 + 10/1123. Let p = -13 - -8. Put -0.56, p, t in increasing order.
p, -0.56, t
Let w be 1*(2 - 1) - -4. Let u = 4191 - 4191.4. Sort u, w, -3, -30 in decreasing order.
w, u, -3, -30
Let r = 4.32 - 1.32. Let u be (-72)/(-154) + 10/(-35). Sort r, 0, u, -1/10 in decreasing order.
r, u, 0, -1/10
Let p be (-18)/16 - (-918)/7344. Sort -4, p, 5, -5, -41 in decreasing order.
5, p, -4, -5, -41
Suppose 210*q - 226*q = 48. Put q, 2, 447 in decreasing order.
447, 2, q
Let r(h) = -h**3 + 11*h**2 - 2*h + 26. Let n be r(11). Let v(y) = -2*y - 12. Let s be v(-10). Suppose -n*p = -s*p. Put 3, p, 1 in ascending order.
p, 1, 3
Let r = 2.01 + -1.45. Let g = 1.06 - r. Put -3/4, g, -83 in ascending order.
-83, -3/4, g
Suppose 0 = 1804*q - 1817*q + 2106. Sort -2, 2, -3, q in increasing order.
-3, -2, 2, q
Let i = -1804 + 1803. Put 1388, i, -2 in decreasing order.
1388, i, -2
Let r(t) = t**3 + 7*t**2 - 9*t - 5. Let w be r(-8). Let i = -2070 + 2060. Sort w, -3, -2, i in descending order.
w, -2, -3, i
Let x = 81 - -5. Suppose 78*i - x*i - 24 = 0. Put 9, i, -5, 4 in decreasing order.
9, 4, i, -5
Let p = 13.197 + -0.247. Let k = p + -13.15. Let g be (33/6)/((-1)/(-2)). Put g, 2, k in decreasing order.
g, 2, k
Let u(j) = -j**3 + j**2 + j - 2. Let y be u(0). Let w(l) = l + 31. Let z be w(-20). Suppose -8 = z*m - 3*m. Sort y, m, -16 in increasing order.
-16, y, m
Let z(g) = -8*g + 63. Let h be z(9). Put -2/7, -4, h in increasing order.
h, -4, -2/7
Let a(w) = w**3 + 21*w**2 + 2*w + 18. Let v be a(-21). Let s be v/8 - ((-64)/14 + 1). Sort 4, s, 2, 1/8 in increasing order.
1/8, s, 2, 4
Let k = 391 - 400. Let b = -162 + 157. Sort 1, k, b.
k, b, 1
Let n = 5 + -9. Let l = -513 + 553. Suppose 0 = l*p - 100*p + 120. Sort -3, -2, p, n in ascending order.
n, -3, -2, p
Suppose 3*w + 3*o - o = -4, -2*o = -2*w - 6. Let d = -63/4 + 16. Put w, 0.2, -5, d in descending order.
d, 0.2, w, -5
Let m be (-4)/7 + (-90)/63 - 8. Put m, 4/15, 2/5, -2 in descending order.
2/5, 4/15, -2, m
Let x be 46/(-8) + 2 - (-6 - (-75)/12). Put -0.2, 1/2, x, 3, 1/14 in decreasing order.
3, 1/2, 1/14, -0.2, x
Let h = -19634 + 19627. Put h, -1/2, -2/5, 6/5, -1/6 in descending ord