 i in decreasing order.
4, i, l
Let t be (-7 - 145/(-20))*-4. Let a be 20/40*2*t. Put -0.073, a, -3/4 in increasing order.
a, -3/4, -0.073
Let o = 947 + -429. Let l be 2/(-24)*-14*333/o. Put 5, -0.08, l in decreasing order.
5, l, -0.08
Let z = -311 - -312. Let p be (-3 + z)*(-2 + 4). Sort p, 1, -2.
p, -2, 1
Let t = -709 + 948. Sort -3, 0, t.
-3, 0, t
Suppose 0 = 5*u + 2*r - 30 - 28, 0 = -3*u - 3*r + 33. Suppose -72*k - u = -78*k. Put k, -4, 5 in ascending order.
-4, k, 5
Let i(d) = d**2 - 25*d - 64. Let n be i(25). Let j = n - -69. Let x = -4.5 + 4. Sort x, j, 0.4 in increasing order.
x, 0.4, j
Let f(o) = -o**3 - 2*o**2 + 16*o - 7. Let i be f(3). Let m be 1/(-2) - (-4 + 4). Let a = -43/4 + 11. Put a, m, i, 0.4 in descending order.
0.4, a, m, i
Let q = 487 + -325. Suppose 437*r + q = 434*r. Sort 4, r, 1 in increasing order.
r, 1, 4
Let k be 11/2*23/((-759)/(-12)). Suppose 0*i = d + 4*i + 7, -3*d = -i + 8. Sort d, -2, k in decreasing order.
k, -2, d
Let z be (-1)/(-2) - 1173/3910. Let q = 0.95 - 1. Sort q, 2/37, -0.2, z.
-0.2, q, 2/37, z
Let u = 8.89 - 8.94. Let v(q) = -5*q - 4. Let l be v(-2). Let h be 40/105 - l/9. Put -1, u, h in decreasing order.
u, h, -1
Let x be 1*59 + (1 - 1). Suppose 18*y - 4*h - 296 = 23*y, -4*y = -5*h + 286. Let o = x + y. Sort o, 1, 23.
o, 1, 23
Let h(b) = b**2 - 4*b + 2. Let a be h(2). Let y be (-4)/10*((-8)/12 + 4)*3. Let c be (-4 - -3)/((-2)/4). Sort y, c, a in increasing order.
y, a, c
Let a = -904 + 1967. Suppose a = 2*i + 1103. Sort 3, i, 1 in descending order.
3, 1, i
Let t = 23527.6 + -23528. Put -1/4, -9/2, t, -0.41 in descending order.
-1/4, t, -0.41, -9/2
Let x be 7*2 - (-188 - -201). Let b(y) = -y**2 + 48. Let r be b(0). Let z be ((-1)/4)/((-21)/r). Sort 3, x, z, 2/3 in decreasing order.
3, x, 2/3, z
Suppose -3*h + 2*h + 36 = -4*u, 0 = 5*h + 2*u - 114. Let o be ((10/(-12))/((-40)/h))/1. Sort -4, -2/3, o in decreasing order.
o, -2/3, -4
Let h(l) = l**2 - 34*l - 138. Let q be h(-4). Sort 158, 3, 2, q, -2 in descending order.
158, q, 3, 2, -2
Let i(t) = 174*t + 349. Let w be i(-2). Sort -656, -3, 0, w in descending order.
w, 0, -3, -656
Let b(w) = -144*w + 432. Let r be b(3). Sort 19, 2, r in ascending order.
r, 2, 19
Suppose -570 = -64*n + 177*n + 172*n. Let y(o) = -5*o**3 + 3*o + 2. Let g be y(-1). Sort n, g, 3, 1 in decreasing order.
g, 3, 1, n
Suppose 281 = -100*q - 9*q - 155. Sort -3, q, 4, 3, -2 in ascending order.
q, -3, -2, 3, 4
Suppose -562 = -28*w + 894. Let s = -12 + 7. Put -4, w, s in descending order.
w, -4, s
Let p be (-12)/8*(2 - (-2 + 6)). Let l be 0 + -4 + p + 6 + -3. Let m = -6 - -13. Sort l, 1, m.
1, l, m
Let i be (-9 - -12)*(-2)/(-6). Let d = -3.85 - -4.25. Put i, d, 1/5, 0.11 in increasing order.
0.11, 1/5, d, i
Suppose 52*b + 550 = 47*b - 5*i, 4*b + 449 = 5*i. Sort 3, -7, b in descending order.
3, -7, b
Let g(h) = 4*h - 1. Let q be g(0). Let t = -373 + 368. Sort -3, 2, q, t in ascending order.
t, -3, q, 2
Let d = 2 - 0. Let u = -877 + 819.1. Let b = u + 57.97. Sort d, 0, b in decreasing order.
d, b, 0
Suppose -1824 = -9*b + 2928. Let t = b - 506. Sort t, -1, 4 in descending order.
t, 4, -1
Let u(c) = -2*c**2 + c - 1. Let r be u(2). Let l be ((-6)/4*-2)/r. Let j = -181805 + 181804.5. Sort -8/5, l, j in descending order.
l, j, -8/5
Let g = -44227 - -44226. Put 18, -6, g, 2 in descending order.
18, 2, g, -6
Suppose -2*c = -u - 12, -6*c = -7*c - 2*u + 6. Suppose -n - 4*l + 15 = 0, -4*l = -6*n + 3*n - 35. Put c, 1, -9, n in increasing order.
-9, n, 1, c
Let t = -74 - -81. Let c = -380 + 376. Sort t, c, 3 in increasing order.
c, 3, t
Let x = 0.093 + 49.907. Let o = 48 - x. Sort 0.1, 0.2, o, 9.
o, 0.1, 0.2, 9
Let n = 361 + -754. Let s = -317 - n. Sort -1, -0.1, s, 3 in decreasing order.
s, 3, -0.1, -1
Let l(g) = -73*g + 32. Let i be l(-3). Let r = 250 - i. Suppose 18 - 2 = -4*p. Put r, 0, p in descending order.
0, r, p
Suppose -2*r + 1 = -3*r + 2*l, -5*r + 5*l = -5. Suppose -12 = -4*i, 0 = -4*s - 3*i - r. Suppose -3*h + 3 = -6. Put 5, h, s in descending order.
5, h, s
Let g be ((-2)/21)/((-20)/(-3) + -7). Sort 6/29, -2/5, g.
-2/5, 6/29, g
Let a = -759.07 - -9.07. Sort -2, -5, a in decreasing order.
-2, -5, a
Let k be -2*6/(-3)*-1. Let s be (54 + -6)/96*(1/2 - 1). Sort s, k, 1.1, -0.3.
k, -0.3, s, 1.1
Let t = 57.107 + -57.607. Let k = -4 - -3.6. Let y = k + 0.2. Sort t, 1, y, -0.03 in increasing order.
t, y, -0.03, 1
Suppose -3*h = 1 - 7. Let k(p) = -p - 2. Let t be k(-4). Let g be -7 + 9 + t/(-1). Put h, 1, -3, g in descending order.
h, 1, g, -3
Let q = -15002 - -14999. Put 5, -59, q, 3, -0.2 in ascending order.
-59, q, -0.2, 3, 5
Suppose -3*j - q = 2*j + 12, 0 = q - 3. Suppose 3*z + 4*f + 16 = -2*z, -16 = -2*z + 4*f. Sort 3, 8, j, z in increasing order.
j, z, 3, 8
Let r be (-2*(-8)/12)/((-12)/18). Let y be -2 - 960/(-50) - r/(-10). Let v = 0 + 0.4. Put v, 3, -0.3, y in descending order.
y, 3, v, -0.3
Let y be (-27322)/5852 - (-6)/4. Let i = 26/7 + y. Let n = 1.1 + -0.1. Sort i, 4, n in decreasing order.
4, n, i
Suppose 161*f - 5*i = 157*f + 52, 0 = 4*i. Let j = 12 + -17. Sort f, j, -2 in descending order.
f, -2, j
Let g(k) = k**3 - 8*k**2 - 5*k - 31. Let r be g(9). Put -40, -4, 2, r in ascending order.
-40, -4, 2, r
Let q = -1.93 - -8.83. Let p = -6.8 + q. Sort p, 2, -0.1, -5.
-5, -0.1, p, 2
Suppose -2*g - 3976 = -3*m - 2*m - 416, g = 0. Sort m, 2/17, -4 in decreasing order.
m, 2/17, -4
Let b be 3/(-6)*((-350)/(-105) + 8/3). Put -10, -5, b, -2, 10 in descending order.
10, -2, b, -5, -10
Suppose 2*f - 3*f = 5. Suppose 0 = 670*s - 665*s + 4*j - 88, -4*s + 101 = 5*j. Sort f, -1, 23, s.
f, -1, s, 23
Suppose 16*k + 9390 = 1134. Let v = 505 + k. Put 4, v, -1 in increasing order.
v, -1, 4
Let v = -197 + 191. Sort 245, v, 4 in increasing order.
v, 4, 245
Let r = 83.114 + -83. Let q be (8 + 124/(-16))/((-1 - 2)/3). Sort r, q, 4, 1 in ascending order.
q, r, 1, 4
Let o = -127 + 87.5. Let x = 28 + o. Let z = x - -7.5. Put 0, -6/7, z in descending order.
0, -6/7, z
Let l = 3815 - 3812. Put -5, 3/5, -2/9, l, -2 in descending order.
l, 3/5, -2/9, -2, -5
Let n be 6/4 + 2/(-52)*473/11. Let m = 7 + -2. Sort 68, m, 4, n in decreasing order.
68, m, 4, n
Let c = 26814.8 - 26816. Sort c, 3/7, -2, 1/3.
-2, c, 1/3, 3/7
Let s = -1 - -3. Suppose 2*h = 3*h - s. Let b = 846 + -848. Sort 0.5, b, -0.04, h in ascending order.
b, -0.04, 0.5, h
Let p be 3/(-2 + 5) + (-22 - -25). Suppose m + 28 = p*l - 41, -3*m - 3*l = 147. Sort m, -4, 5, 2 in increasing order.
m, -4, 2, 5
Let s be (-3 - 0)*(0 - 4). Suppose -3*n - 45 = -s*n. Suppose -u + 4*u = m + 8, 5*u + n*m = 0. Sort u, -0.2, 0.4 in decreasing order.
u, 0.4, -0.2
Let s = 197.1 + -201. Let r = -4.3 - s. Sort r, -1, 0.2, -0.3 in increasing order.
-1, r, -0.3, 0.2
Let u = 7 + -11. Let h be 126/(-35) - u/(-10). Suppose -13*z + 40 = 24*z + 3*z. Put z, 5, -5, h in decreasing order.
5, z, h, -5
Let o be (1940/(-180) + 11)/(1/18). Put 3, o, -2, 483 in ascending order.
-2, 3, o, 483
Let v = 174 + -332. Let i = -159 - v. Sort i, 0, -3 in increasing order.
-3, i, 0
Let k = 3498 + -3497.8. Sort k, 385, -2 in decreasing order.
385, k, -2
Let g = 38663 - 502621/13. Let a = -0.1 - -0.3. Sort -5/8, g, a.
-5/8, g, a
Suppose 3*c = -5*c + 48. Let o be -8 + 25/4 + 2. Put c, 4, o in increasing order.
o, 4, c
Suppose -42*v - 338*v = -108*v - 1360. Let k be (-6)/5*50/(-15). Suppose k*s = -4*u - 20, 2 = -2*s - 4. Sort 4, v, u, 0 in decreasing order.
v, 4, 0, u
Let j be (1253/21 + 0)/((-2)/6). Let f = j - -174. Put -4, 2, 7, f in ascending order.
f, -4, 2, 7
Suppose -101*n + 9 = -3 + 12. Sort 2, -4, n, -148.
-148, -4, n, 2
Let q = -1921.9 - -1922.1. Let x = 76 + -188. Sort 0, -4, x, q in decreasing order.
q, 0, -4, x
Let v be ((-9)/30)/((-186)/124). Let a = -0.33 + 0.03. Let y = 0.001 - 2.001. Sort y, v, a.
y, a, v
Suppose -4*v + 2*i + 148 = -v, 0 = -3*v - 3*i + 168. Suppose 0 = -11*c + 23 + 10. Suppose 16*q - 15*q + c = 0. Sort v, q, -5.
-5, q, v
Suppose 4*x - 424 = -432, 2*x = 2*f - 6. Let n = 6 - 4. Sort n, -9, 5, f in decreasing order.
5, n, f, -9
Let v = 68 + -65. Let i be (1 - v)*(-10)/(-5). Put 4, -5, -1, i in descending order.
4, -1, i, -5
Let o(f) = 110*f - 3964. Let m be o(36). Put 2, m, -332 in descending order.
2, m, -332
Let i(t) be the second derivative of t**5/20 + t**4/3 + t**3