2611.4. Sort 0.48, 4, t in increasing order.
t, 0.48, 4
Let s = 2.56 + -3.59. Let w = s + 0.83. Sort 5, -1, w.
-1, w, 5
Let m(p) be the second derivative of -p**3/6 + 2*p**2 + 3*p - 4. Let d be m(1). Let r = 4.6 - 5. Put 2, r, d in increasing order.
r, 2, d
Let o = -2 + 3. Let p be 2/3 - o/(-3). Let f = 3 - 4. Put p, f, 5 in descending order.
5, p, f
Let s = -40 - -39. Put 4, 5, s, 26 in increasing order.
s, 4, 5, 26
Let v be -2 + (-1 + 5 - -2). Let k be v/(-4) - 1 - -3. Put k, -4, -2 in ascending order.
-4, -2, k
Let o = 26.8 + 4.2. Let r = 30 - o. Sort 4, r, -0.2, 8 in decreasing order.
8, 4, -0.2, r
Let q be 568/20 + (-4)/10. Let m = -24 + q. Suppose 10 = -9*k + m*k. Put 3, 1, k in descending order.
3, 1, k
Let f = -372 + 374. Sort f, 5, 240 in decreasing order.
240, 5, f
Let i be (1 - 0)/((-1)/53). Let t = -157/3 - i. Let y = -2.256 + 0.256. Put t, y, 9 in increasing order.
y, t, 9
Let l = 452 + -449. Suppose 4*g - 15 = 7*g. Let r = -1 + g. Sort -5, l, r in ascending order.
r, -5, l
Let o = -499 + 494. Sort -153, 0.4, o in descending order.
0.4, o, -153
Let c = 0.571 - 3.571. Put c, -2, -1 in decreasing order.
-1, -2, c
Let k = 0 - -2. Suppose -k*g + 3*g - 3*d - 12 = 0, 0 = -5*d - 20. Suppose 0 = 5*o + 5*m + 15, -m = 5*o - g*m - 1. Sort o, -5, -2 in decreasing order.
o, -2, -5
Let l = 42.5 - 0.5. Let h = -38 + l. Suppose z - 2 = 0, -16 + 7 = 5*o - 2*z. Put h, 0.1, o in increasing order.
o, 0.1, h
Let g(j) = -6*j - 79. Let t be g(-12). Sort 4, 2, 5, t in ascending order.
t, 2, 4, 5
Let g(u) = -u**3 + 8*u**2 - 8*u + 11. Let m be g(7). Suppose -12 = 3*i + i + m*c, -2*i + 4*c - 18 = 0. Sort 3, i, 2, -3 in ascending order.
i, -3, 2, 3
Let z be 74/14 + 4/(-14). Let f(k) = -k**3 - 9*k**2 - 12*k + 9. Let c be f(-7). Let u = 18 - 17. Put u, z, c in descending order.
z, u, c
Let o(t) = t**3 + 4*t**2 + 2*t. Let g be o(-2). Let f(j) = j**3 - 2*j**2 + j - 1. Let q be f(1). Let n = 1794 - 1789. Put q, g, n in increasing order.
q, g, n
Suppose -f - o + 3*o - 3 = 0, f + 11 = -2*o. Let u = 368 + -372. Sort u, -2/17, f.
f, u, -2/17
Let f(u) = -u**3 - 19*u**2 - 2*u - 36. Let v be f(-19). Suppose -z + 3 = -0. Sort -5, v, z, -1 in decreasing order.
z, v, -1, -5
Let x be 1*(52/(-117) - 93/(-27)). Sort -21, -5, -1, x in decreasing order.
x, -1, -5, -21
Let s = 0.3809 - 0.3609. Let l = 0.4 + -0.3. Put l, 0.4, s in descending order.
0.4, l, s
Let x = 0.075 + -7.075. Let o = -6.5 - x. Sort -5, o, -1/4 in increasing order.
-5, -1/4, o
Let t = -552 + 556. Suppose -x + 5 = -2*x, 0 = -j - x - 9. Put t, j, -3, 9 in descending order.
9, t, -3, j
Let q = 2314 + -2312. Sort 0.48, -5, q, -3 in increasing order.
-5, -3, 0.48, q
Suppose -3*g = 2*q - 75, 5*q + 4*g + g - 180 = 0. Let s = q - 36. Put 3, 1, s in descending order.
3, 1, s
Let c = 889.9 - 890. Sort c, 0, 19/7 in increasing order.
c, 0, 19/7
Suppose 0*w = w + 2. Let a(h) = -h**2 + 7*h - 8. Let i be a(6). Let y = i - -3. Put y, w, -4 in increasing order.
-4, w, y
Let m(a) = a**2 - 18*a + 5. Let v be m(18). Let x be (-2 + 1 + 0)/(v - 4). Sort 3, -6, x in decreasing order.
3, x, -6
Let m = 29 + -28. Let j be 2/m*((-45)/(-6))/(-5). Put -5, j, 3 in descending order.
3, j, -5
Let k = 2625 - 2621. Sort k, 30, -2, -3 in decreasing order.
30, k, -2, -3
Suppose -4*g + 14 = -5*b, 2*b - 3*g - 1 = -8. Suppose 5*p - 4*z - 31 = 0, -2*p - 5*z = 7 + 7. Suppose p*w + 17 - 2 = 0. Sort -1, b, w in increasing order.
w, b, -1
Let o = 4870 - 4851. Suppose -2*x + 4 = -x. Put x, -4, o, 0 in descending order.
o, x, 0, -4
Let c = -4.94 - -4.86. Put c, -5, -2/9, 3/4 in decreasing order.
3/4, c, -2/9, -5
Let h = 15 + -21. Let t = -0.4 + h. Let j = 6 + t. Sort -5, j, 5 in decreasing order.
5, j, -5
Let d = 3191 - 3202. Let c(o) = -2*o**2 - 2*o + 2. Let m be c(-2). Put m, 2, d in increasing order.
d, m, 2
Let r be 7 + (1 + 0)/1. Suppose r*y = 10 - 2. Put -1, y, -3 in ascending order.
-3, -1, y
Let u be (2/(-10))/((-4)/20). Let g(r) = -r + 4 - 2*r + r. Let o be g(3). Sort u, 0, o in descending order.
u, 0, o
Let t(i) = 27*i + 23. Let u be t(-1). Sort -2, -28, u, 4 in decreasing order.
4, -2, u, -28
Let p be 8/(-14) - 52/(-42). Let q = 1.67 + -1.6. Sort p, 2/17, q in increasing order.
q, 2/17, p
Suppose -16 = -2*o + 6*o. Let b be 48/(-36)*18/o. Let m be 85/15 + 2/b. Sort 5, m, 2/7 in descending order.
m, 5, 2/7
Let h(a) = -a + 4. Let n be h(-9). Suppose -7 - n = 5*g. Sort 1, 5, g.
g, 1, 5
Suppose 157*t = 161*t - 20. Suppose 0*u = 4*u - 12. Put u, 2, t in decreasing order.
t, u, 2
Let c(q) = -q**3 + 7*q**2 + 8*q + 8. Let x be c(8). Suppose -2*t + x = -0. Let r = 87 - 87.4. Sort t, 0, r.
r, 0, t
Suppose -5*u - i + 5 = -23, -16 = -2*u - 2*i. Let m(z) = -14*z**3 + 2*z**2 - 1. Let q be m(-1). Suppose 4*x = -x + q. Put -5, x, u in increasing order.
-5, x, u
Suppose o + 32 = -4*r - 3*o, 0 = 3*o + 9. Let g(u) = 3*u**3 - 8*u**2 - 17*u + 1. Let w be g(-2). Sort 5, r, w in increasing order.
w, r, 5
Let w(s) = -7*s**2 + s - 1. Let d be w(1). Let k = -0.056 - 0.644. Let z = -0.3 + k. Sort z, d, -0.1.
d, z, -0.1
Let a be (20 + -15)*2/(-215). Sort 2, a, 0.5, 4 in increasing order.
a, 0.5, 2, 4
Let y be ((-12)/10)/((-12)/40). Let p be (-16 - -13)*(-1 + 0). Put y, p, -4 in increasing order.
-4, p, y
Suppose 327*n = 322*n + 20. Put 118, -2, -5, n in descending order.
118, n, -2, -5
Let l = 6007.31 - 6007. Let g = 1 - -2. Sort -1, l, g in decreasing order.
g, l, -1
Let j be (-130)/(-35) - 16/4. Let c = -0.02 + -0.38. Sort j, -1/4, -5, c in decreasing order.
-1/4, j, c, -5
Let y = 11.65 + -11.7. Let p(g) = -g - 1. Let q be p(3). Sort y, q, 3.
q, y, 3
Let u be 15/((-450)/15) - (-1 + 1). Sort u, -0.1, 35, 0 in ascending order.
u, -0.1, 0, 35
Let q = -3329 + 4119. Sort 1/6, -0.3, q.
-0.3, 1/6, q
Suppose 2*c + 36 = 4*l - 2*c, -4*l + 63 = 5*c. Let b be -2*(-3)/l*6. Suppose -a + 3 = -1. Put 2, b, a in decreasing order.
a, b, 2
Let p be 303/(-808)*(2/6 + -1). Sort -6/31, 1/2, p.
-6/31, p, 1/2
Suppose l + 3 = -f + 4, -l = 5*f + 11. Let s = -4 - -4. Put 16, l, 3, s in increasing order.
s, 3, l, 16
Suppose 0 = -5*v - 3*k - 14, v + 3*v = 4*k + 8. Let x be -3 - v - (1 + -3). Let j be ((-100)/5)/(-5) - x. Sort -4, j, 3.
-4, 3, j
Let r = -0.0159 - 13.9841. Put 0, r, 0.2 in increasing order.
r, 0, 0.2
Suppose 4*i + 52*m - 50*m + 6 = 0, 0 = -5*i - 4*m. Put 11, i, 2/7 in ascending order.
i, 2/7, 11
Let s be 4 + 646/(-68)*2/4. Sort -14, 0.1, s in descending order.
0.1, s, -14
Suppose -4*l - 14*m = -7*m - 36, m = -2*l + 8. Sort 18, -5, 7, l in decreasing order.
18, 7, l, -5
Let w = 210 + -210. Put w, -2, 10, -1 in descending order.
10, w, -1, -2
Let n = -52 + 46. Suppose 7 = 3*b + a, -b - 4*a + 13 = -4*b. Suppose d - b = 2. Put n, d, -2 in increasing order.
n, -2, d
Let d = -32/5 - -1046/15. Let p = d - 64. Suppose 0*l = -4*l - 8. Put -0.2, l, p in descending order.
-0.2, p, l
Suppose -s = -7 + 7. Put -1, 1, -15, s in descending order.
1, s, -1, -15
Let f be 14/28*(-3 + -1). Let h = f + 3/2. Put 1, -1, h in descending order.
1, h, -1
Let a be (1 + 2)*-1 - -2. Suppose 16*w - 48 = -0*w. Sort 2, 16, a, w.
a, 2, w, 16
Let w = -318 + 320. Sort w, 0.2, 7, -1/8 in increasing order.
-1/8, 0.2, w, 7
Let m = -41 + 40. Let f be (8*m/10)/(3/15). Sort 2, 5, f in descending order.
5, 2, f
Let d be (-2 - -1)/(5/(-25)). Suppose -d*u - 45 = -15. Let h = u - -7. Sort -3, 4, h in decreasing order.
4, h, -3
Let o = -6.3 - -8.3. Let c = 6 - 0. Let l = c - o. Put -2, -4/9, l in decreasing order.
l, -4/9, -2
Let d be 2*(1136/(-380) - 6/(-2)). Put 0.5, -1, d in increasing order.
-1, d, 0.5
Suppose 0 = f - c - 2, 5*f - 13*c + 6 = -16*c. Put 1, f, -22 in descending order.
1, f, -22
Suppose 0 = -19*k + 15*k - 20. Sort k, -4, 4, 2.
k, -4, 2, 4
Let r be 3 - 2/1 - -4. Suppose -r*v + 0*t = t + 2, -3*v - 5*t + 12 = 0. Let h be -1 + (1 + 0)/v. Put 1, -3, h in decreasing order.
1, h, -3
Let n = -0.97 - -0.37. Let w = -0.27 - 0.29. Let f = n - w. Put 0.4, -4, f in descending order.
0.4, f, -4
Let v = 0.7 - 4.7. Suppose 3*g = -3*j - 9, 3*j + 18 = 4*g + 30. Sort 4, v, g in increasing order.
v, g, 4
Let y = 0.14 - 2.24. Let z = y + 2.1. Sort z, -4, 0.3.
-4, z, 0.3
Let o = -303 + 309. Sort -3, o, 4.
-3, 4, o
Let b(t) = -93*t - 163. Let j be b(-2). Suppose 0 = -z - 0*z - 3. Put z, -4, j in decreasing order.
j, z, -4
Let 