2 + 2*t - 1. Let y be u(1). Let c = 1344 - 1340. Sort 3, c, y, -4.
-4, y, 3, c
Let b = 82471/45 - 9164/5. Put b, -0.1, 0.1, 1792 in decreasing order.
1792, 0.1, -0.1, b
Suppose 4*j - 16*f - 50 = -11*f, 4*f = -5*j + 1. Suppose 0 = 8*a - 3*a + 5. Let d = 10 + -21. Put a, d, j in descending order.
j, a, d
Let n = 4761 - 4766. Sort -48, n, -4, -1 in descending order.
-1, -4, n, -48
Suppose 113*t + 472 = -5*t. Let o be 5 + -1 - 0/3. Sort 2/27, t, o, -0.2 in descending order.
o, 2/27, -0.2, t
Let o = 164 + -164.805. Let z = 0.005 + o. Sort 0.2, 3/2, z in descending order.
3/2, 0.2, z
Let v = -1039 - -1061. Sort -1, -10, v in increasing order.
-10, -1, v
Let r = -148 + 128. Put -0.4, 1, 1/2, r, -3 in descending order.
1, 1/2, -0.4, -3, r
Suppose -11*l = -8*l - 32*l - 87. Sort -5, l, 2, -16 in increasing order.
-16, -5, l, 2
Suppose 0*l + l = -1. Sort l, -3/7, 5, 3, 4/5.
l, -3/7, 4/5, 3, 5
Let d be (-26)/((49/7)/(-7)). Let c be 4/d + 5/((-130)/4). Suppose 0 = 3*u - 4*s + 29, 20 = -5*s - 0. Sort c, 3, u, -5 in descending order.
3, c, -5, u
Suppose 0*b + b - 3 = 0. Suppose 0 = 13*d - 12*d + 3. Suppose -2*x + 18 = -2*w + 4, 32 = -5*w + 4*x. Put b, w, -1, d in descending order.
b, -1, d, w
Let c(w) = -w**3 - 9*w**2 - 7*w + 11. Let l be c(-8). Suppose 8*t + 13 = -l. Let n be (((-6)/9)/t)/(99/27). Put -2, 11, n in descending order.
11, n, -2
Let g = -6 - -2. Let s = 30831 + -30830.6. Put s, 5/4, g in descending order.
5/4, s, g
Let j = 8/9 + -11/9. Let p = 36 + 25. Let a = -61 + p. Sort 3, a, 2/11, j in increasing order.
j, a, 2/11, 3
Let b be (7/30 - 51/(-306)) + 36/(-15). Sort -1, 9, 3, 1, b in ascending order.
b, -1, 1, 3, 9
Suppose -17 - 7 = 2*a. Let t be 33/a - (-2)/(-8). Let s = -5791 - -5797. Sort 4, t, s in descending order.
s, 4, t
Let i = -0.412 - 38.988. Let w = 39.36 + i. Put -1/30, w, 5/3 in decreasing order.
5/3, -1/30, w
Let n = 0.0047 - -26.9953. Sort -1, -32, n.
-32, -1, n
Let i(m) = -13*m - 63. Let o be i(-5). Let v be 8 + -12 - 1/(1 - o). Sort -6, v, -1 in decreasing order.
-1, v, -6
Let r(b) = -60 + 38 + 36 + 5*b. Let f be r(-2). Suppose f*t - 5*p - 1 - 3 = 0, 0 = -2*t + 4*p + 2. Put -4, t, 4 in descending order.
4, t, -4
Let c = -0.2 - 0. Let x be -3 - (-11 - 4) - 10. Put x, 5, c in increasing order.
c, x, 5
Suppose -9885*d + 296 + 672 = -9896*d. Put -4, d, -3, 5 in descending order.
5, -3, -4, d
Suppose 8*a + d = -9, -a = -22*d + 14*d - 137. Suppose 3*p - 320 - 4 = 0. Sort 2, 0, a, p.
0, a, 2, p
Let h(d) = -d**3 - 6*d**2 + 11*d - 41. Let w be h(-8). Sort -0.4, w, 281, 0.4.
w, -0.4, 0.4, 281
Let b be ((-72)/(-96))/(11/8 + -1). Sort 4, -352, b in descending order.
4, b, -352
Let c be ((-408)/17 - -14) + (-44183)/(-4418). Put -0.1, -1/3, c in descending order.
c, -0.1, -1/3
Let l = -255 + 255.6. Let i = -18 + 15. Let k = 3.4 + i. Put l, k, 0.1, 2 in increasing order.
0.1, k, l, 2
Let p(h) = 7*h**3 - 12*h**2 + 37*h + 4. Let l be p(3). Put l, 5, -1 in descending order.
l, 5, -1
Let l = -7498 + 7491. Sort l, 0, -1904 in increasing order.
-1904, l, 0
Suppose h - 3 = 5*w + 2, 3*h + 7 = 4*w. Let d = 64 + -66.18. Let s = d + -0.82. Sort w, s, -1/5, 5 in decreasing order.
5, -1/5, w, s
Let h be (-288)/(-768)*(-8)/(-9). Suppose -20 = 6*t - t. Put -7, t, h in decreasing order.
h, t, -7
Let z = 20 - 65. Let d = z + 52. Let k = d + -5. Sort 0.1, -6, k, 3 in increasing order.
-6, 0.1, k, 3
Suppose 106*n - 105*n - 109 = 0. Put -4, 0, 1, n in increasing order.
-4, 0, 1, n
Suppose -6*r - 3*i - 117 = 0, -2*r + 4*i = -0*i + 44. Put r, 28, -1 in decreasing order.
28, -1, r
Let h = -18 - -24. Let m be (-13 + -4 + -1)*-2. Suppose -m*a = -38*a - 8. Sort a, h, -5 in ascending order.
-5, a, h
Let s = -136657 + 136657. Let v be (-6)/21 + 46/14. Suppose 3 = -2*y - v. Put y, s, -2 in ascending order.
y, -2, s
Let w = -12391 + 12392. Sort w, 5, -33, -34 in ascending order.
-34, -33, w, 5
Let x be ((-284)/4)/(2 - 3). Let c = x + -78. Let o = c + 11. Sort o, -1/6, 0.5, -19 in descending order.
o, 0.5, -1/6, -19
Suppose l = 4*z - 24, 786*z - 783*z - 33 = 2*l. Let t = 8 + 10. Suppose 2 + t = 4*w. Sort w, -4, z, 4 in descending order.
w, 4, z, -4
Let o be (-641013)/(-146)*4/6. Put 5, o, 2 in descending order.
o, 5, 2
Let c(k) = k**3 + 20*k**2 - 5*k + 393. Let v be c(-21). Sort v, 2, -35, -3 in decreasing order.
v, 2, -3, -35
Let w = -1633 + 1629. Sort -22, 5, -5, w in ascending order.
-22, -5, w, 5
Let h be (15/(-4))/(-15) - 135/220. Put -4, h, -0.5, -12/13 in increasing order.
-4, -12/13, -0.5, h
Suppose 0 = -2*p + 5*p. Suppose 8188 = -44*l - 165*l - 147*l. Sort p, l, -2 in ascending order.
l, -2, p
Let m = -133 - -1595/12. Let s be 14 - (-2 - 43/((-5590)/2040)). Put m, -3/5, s in descending order.
s, m, -3/5
Suppose 2*t = -t - 6, 0 = -5*z + 2*t - 91. Let n(c) = -c**3 - 17*c**2 + 38*c - 4. Let m be n(z). Sort -7, m, -8, -3 in increasing order.
-8, -7, m, -3
Let k = 172933/105 + -1647. Put 1/3, k, -2 in increasing order.
-2, k, 1/3
Let z = -511 + 524. Suppose 0 = -7*x + z*x. Sort x, 5, 8, -2 in decreasing order.
8, 5, x, -2
Let p = -36.37 + 34.97. Put -2, p, 55 in increasing order.
-2, p, 55
Let r = 45 - 40. Let c = 34.5 + -35. Let w be 2/(-2)*(-3 - -2). Sort c, r, w in descending order.
r, w, c
Suppose 12 = 4*s + 4. Let c(m) = -34*m - 12. Let l be c(s). Sort 0, l, 2, 4.
l, 0, 2, 4
Suppose -z + 105 = 4*z. Let p = z - 16. Let a = 0.783 - 0.683. Sort 3/2, -3/5, p, a in ascending order.
-3/5, a, 3/2, p
Let j = -621/2 + 62723/202. Put -0.1, 12, j in ascending order.
-0.1, j, 12
Suppose -4*b + 167 = -13. Let s = b - 67. Let n = s - -22. Sort 3, n, -5.
-5, n, 3
Suppose 7*m = -2*m. Let x = 0.1151 + 20.8849. Sort 1, x, m in decreasing order.
x, 1, m
Let n = -1 + 5. Let c be (-4 + 4 + -3)*-127. Let r = 376 - c. Sort -0.5, n, 0.3, r in descending order.
n, 0.3, -0.5, r
Let t = 4.9849 - -0.0151. Put -42, t, 17 in increasing order.
-42, t, 17
Suppose -9*x - 135 = -6*x. Let u = x + 41. Let p = 31 - 28. Sort 0, p, u, 2 in descending order.
p, 2, 0, u
Suppose 17938*t - 17943*t + 4*u = 21, -21 = -4*t - u. Let y = 0.3 - 0.2. Sort y, -2/7, t in descending order.
t, y, -2/7
Suppose 0*q + 842 = -5*d - 3*q, d + 5*q + 164 = 0. Let p = d - -167. Sort 2, p, 13/7.
p, 13/7, 2
Suppose -2*g - 3*g = 20. Let j(m) = m**3 + 10*m**2 + 13*m + 45. Let v be j(-9). Let p be ((12 - v)/12)/((-1)/4). Sort p, 2, g.
g, p, 2
Let j be (-32)/6 - ((4 - 10) + 1). Suppose 0 = 5*q + 2*o + 160, 0 = -q + 3*q + 2*o + 70. Sort j, 10, 2, q in increasing order.
q, j, 2, 10
Suppose -71 = 21*t - 29. Put 18, 1, t in increasing order.
t, 1, 18
Let s = 459 + -323. Let d = -135.8 + s. Let n be (-3)/(-20) + 4/(-10). Sort 5, n, 2/5, d in descending order.
5, 2/5, d, n
Suppose -116 = -2*o + 26. Let s = 31 + 44. Let k = s - o. Sort k, 3, -1 in ascending order.
-1, 3, k
Let l = 1.2 + -49.2. Let g = l + 22. Let w = g - -26.5. Sort -2, -2/7, w.
-2, -2/7, w
Suppose 5*a - 2*i = -10, 4*i + 1 = -4*a + 21. Let k = 295 - 290. Sort a, -2, k in increasing order.
-2, a, k
Suppose 0 = -4*d + 4 + 16. Let w(r) = 10674*r - 42698. Let b be w(4). Sort b, d, -13.
-13, b, d
Let d = -2612 + 2611.5. Put -0.4, d, 2732 in decreasing order.
2732, -0.4, d
Let c = 75 + -80. Let f be 4 + (c - -1) + 0. Let k(v) = v + 2. Let x be k(-1). Sort 5, x, f in increasing order.
f, x, 5
Let s = 2.577 - 4.577. Put 757, 1, s in descending order.
757, 1, s
Let v be 1*(-78)/(-15) - 10/50. Let i(h) = 2*h - v + 7 + 6 - h**3 + 37 - 20*h**2. Let w be i(-20). Sort -2/7, w, -0.4 in increasing order.
-0.4, -2/7, w
Let h(p) = -2*p**3 - 19*p**2 - 15*p - 48. Let q be h(-9). Suppose -3*l + 8*l = -15, q = j - 3*l. Sort -4, j, 19 in descending order.
19, j, -4
Let b = -2083/2128 - -37/304. Sort -104, -5, 2, 2/13, b in ascending order.
-104, -5, b, 2/13, 2
Let c = -210 + 212. Suppose -o - c = -5. Sort -4, o, -13, -5 in increasing order.
-13, -5, -4, o
Let g(k) be the second derivative of k**5/20 + k**4/3 + k**3/2 + 5*k**2/2 - 2*k. Let b be g(-4). Let q = -4075 + 4080. Sort q, b, 1.
b, 1, q
Suppose 2*f + 5*h - 771 = 0, -35*h + 38*h = -3*f + 1134. Sort 3, -1, f in ascending order.
-1, 3, f
Suppose 156*g = 190*g + 677 + 173. Put -12, g, -4, 2 in descending order.
2, -4, -12, g
Let n(p) = -p**2 - 3*p + 2. Let k be n(-4). Let d = -26989.3 - -26989. Sort k, 1/2, d, 1/4 in ascending order.
k,