-4*t. Sort b, 4, 2 in ascending order.
b, 2, 4
Let l = 7367 + -21827/3. Let z = l - 92. Let x be (-4)/6 - 4/6. Put z, x, 0.2 in decreasing order.
0.2, z, x
Let p be 25/(-9) - (-4)/(-18). Suppose -23*i - 98 = -9*i. Put i, 3, p in ascending order.
i, p, 3
Let f be ((-3)/6)/((-6)/48). Suppose 0*v - f*v = -40. Suppose -v*r + 8*r = 10. Put 1, r, 2 in decreasing order.
2, 1, r
Let p = 9/13 + -31/26. Put -4/5, 3, p in descending order.
3, p, -4/5
Suppose 56 = 5*q + 21. Suppose q + 2 = 3*w. Let y = 10 + -9. Put w, y, -5 in descending order.
w, y, -5
Suppose 0 = -4*o - 9 - 3. Let m(p) = -2*p - 5. Let y be m(-3). Let r = 27 - 22. Put r, y, o in descending order.
r, y, o
Suppose -x = 4*z - 2*x - 10, 12 = 2*z + 3*x. Suppose -3*p = 3*k, -z*k - 3 = 3*p + k. Let s be (-24)/(-18)*6/(-4). Put -1, p, s in decreasing order.
p, -1, s
Let r = 13 - 8. Suppose -2*n = l + 3, n - r = -5*l - 20. Let t = -345 + 346. Put l, -4, t in descending order.
t, l, -4
Suppose -3*l - 6 + 7 = -5*t, -l - t - 5 = 0. Put l, 4, 2/9, -4/5 in ascending order.
l, -4/5, 2/9, 4
Suppose -1 + 20 = -3*m - 5*l, 5*m + l - 5 = 0. Suppose -o = -6*o. Suppose -43 = -13*k - 4. Put m, k, o in increasing order.
o, m, k
Let l be (0 + 2 - 15/9)/(-1). Let z = -20.05 + 0.05. Sort 2, l, z in descending order.
2, l, z
Let t be 3/1*(2 + -3). Let y be (-4)/(-5 + (-6)/(-2)). Sort -5, y, t in increasing order.
-5, t, y
Let k = -16 - -1. Let c be ((-12)/k)/(4/(-30)). Sort 1, c, -3/7.
c, -3/7, 1
Let l = -4 - 0. Let x = 295 + -293. Sort -3, l, x.
l, -3, x
Suppose -12*o - 13 - 47 = 0. Put o, -3, -12 in descending order.
-3, o, -12
Suppose 83*b = 77*b + 24. Put -2, -5, 5, b in descending order.
5, b, -2, -5
Let k(o) = -o + 12. Let d be k(7). Let w(z) = -2*z**2 + 12*z + 1. Let r be w(6). Let l be r/(-2) - (28/(-8) - -2). Sort l, d, 4 in increasing order.
l, 4, d
Let h = 4.96 - 5.96. Put 71, -2/7, h in decreasing order.
71, -2/7, h
Let a = -159 + 158. Suppose 3*s - 2*i + 2 = 0, 0*s = s + 5*i - 22. Sort s, a, 1.
a, 1, s
Let w be (2 + -10)*2/4. Let p = -344 - -236. Let l = p + 108. Sort l, 4, w in descending order.
4, l, w
Let x(s) be the second derivative of -s**3/2 - 4*s**2 - 5*s. Let y be x(-7). Suppose 15*g - y*g - 2 = 0. Put 4, g, 0 in increasing order.
0, g, 4
Suppose 65*u - 58*u = -35. Put -20, u, -1, -2 in decreasing order.
-1, -2, u, -20
Let k(d) = -d**3 + 3*d**2 - d + 18. Let a be k(4). Sort a, 0, 2, -36.
-36, a, 0, 2
Let p = -0.19 + 0.11. Let d = p - -0.08. Let u be (-1 + -4)/(1 + -2). Sort u, d, -2/5.
-2/5, d, u
Let r(m) = -m**3 - 7*m**2 - 7*m - 5. Let a be r(-6). Let o = a - -3. Let f = 111/2 - 223/4. Put f, -0.09, o in descending order.
o, -0.09, f
Let w = 238604666/85631 + -1/85631. Let o = -2780 + w. Let d = 7 - o. Put 0.01, 4, d in decreasing order.
4, d, 0.01
Let c = -43/7 + 373/63. Let j be (12 - 17)*(2 + (-264)/130). Put c, -0.2, j, 2 in descending order.
2, j, -0.2, c
Let g(s) = s**2 + 25*s + 137. Let z be g(-17). Put 4, z, -190 in descending order.
4, z, -190
Let l = -77 + 72. Put 8, l, 25 in descending order.
25, 8, l
Let r = 162 - 157. Put -1/2, 1, 0, r in increasing order.
-1/2, 0, 1, r
Let y be (33/18)/(-11)*(-8)/(-6). Sort -5, 3/2, 1/9, y.
-5, y, 1/9, 3/2
Let u = -1745 - -1732. Sort 0.3, 5, u, 4 in increasing order.
u, 0.3, 4, 5
Let h = 5 - 5. Suppose -5*b = -5 - 10. Suppose 12 = 3*g + b. Sort h, g, -7 in decreasing order.
g, h, -7
Suppose -1 - 2 = -3*p. Let h = -41 + 40. Put -2, p, h, -3 in ascending order.
-3, -2, h, p
Let y = 3 + -3.2. Let w = 7 - 29. Let v = -45/2 - w. Put v, y, 5 in decreasing order.
5, y, v
Let n = -37 + 57. Let o = 16 - n. Let h be 3 + o/4 + -3. Put -4, -5, h in descending order.
h, -4, -5
Let l = 275 - 275. Let x = -0.3 - 0.1. Sort l, 1/3, x in ascending order.
x, l, 1/3
Let j = 5/957 - 1273/121539. Put j, -2, -1/4 in ascending order.
-2, -1/4, j
Let i = 82 + -78. Put 5, 183, i in increasing order.
i, 5, 183
Let s = -14 - -21. Suppose -h + 3*j = -0*j - s, 19 = 5*h + j. Put 17, h, 3 in descending order.
17, h, 3
Let n = 4.5 - 5.4. Let i = -2.3 + 4.2. Let y = i + n. Sort -0.3, y, -3 in descending order.
y, -0.3, -3
Suppose 83*o + 217 - 1960 = 0. Put 1, 0.6, o in increasing order.
0.6, 1, o
Let w be 5*(2 - 12/(-3 - -6)). Suppose 4*g + 29 - 1 = -4*l, -2*g = l + 9. Put w, l, 2 in ascending order.
w, l, 2
Let s = -41 - -102. Let l = s + -36. Let p = -13 + l. Sort p, 1, -2/9 in descending order.
p, 1, -2/9
Let h = -5387 - -5384. Let f = -4 - 3. Sort f, h, 3 in increasing order.
f, h, 3
Let k = 1 - 0.9. Suppose -5*u + 3*v = 2*v - 679, -u = -4*v - 151. Let r = 947/7 - u. Put k, 5, r in increasing order.
k, r, 5
Let v = 426 + -424. Put 1/4, -14, -5, v in descending order.
v, 1/4, -5, -14
Let j = -116 - -115.17. Let g = j - 0.17. Put 3, g, -5 in descending order.
3, g, -5
Suppose 3*u + 16 = -u. Suppose 36 = 23*i - 41 + 8. Sort -5, -3, i, u in decreasing order.
i, -3, u, -5
Let o be (-10 - (-4 - 0))/(-1). Suppose -2 = o*s + 10. Sort 4, 3, s in decreasing order.
4, 3, s
Let c be 4/(-2) + (-2 - -2). Suppose 2*d - 3*h = 11, 3*d + h + 2*h - 9 = 0. Sort d, c, -1.
c, -1, d
Let g = 12 + -14. Let v(w) = 3*w**2 + 4*w + 5. Let a be v(g). Suppose 0 = 3*r + 3 - a. Put -3, 1, r in descending order.
r, 1, -3
Let p = -2 - -1.6. Let q = -9.06 + 8.06. Sort -3, p, q, 0.
-3, q, p, 0
Let s = 4.85 + -4.85. Sort s, 3, 0.5 in ascending order.
s, 0.5, 3
Suppose -3*n + 3 = -2*j - 15, -4*n - 3*j + 7 = 0. Suppose -4*z = -6*z + n. Suppose -2*u + 2*y - 2 + 0 = 0, 2*y - z = u. Put 3, 5, u in descending order.
5, 3, u
Suppose 3*c = 2*c + 4. Suppose 2*m = 2*r - 38, 0 = -5*r - c*m + 43 + 34. Let n = -14 + r. Sort n, -4, 2 in decreasing order.
n, 2, -4
Let n = 3 + 0. Let u = 1273 + -1274. Put u, n, -2/5, 0.1 in decreasing order.
n, 0.1, -2/5, u
Suppose 5*u - 3*r - 85 = -87, -5*r = -5*u. Suppose 0 = b - 2*l - 10, -l - 7 = -4*b - 4*l. Put 8, u, b in descending order.
8, b, u
Let i = 10 - 4. Suppose i*z - 22 = 4*z. Let f = z - 9. Sort -1, f, 4 in ascending order.
-1, f, 4
Let u = -22 - -37.5. Let h = u + -16. Put -0.3, -5, 2/9, h in decreasing order.
2/9, -0.3, h, -5
Let o(x) = -3*x**3 + x**2 - x - 1. Let q be o(-1). Let w(t) = 5 - 6*t**2 - 3 - t**2 + 8*t**2. Let m be w(-2). Sort q, -4, m in descending order.
m, q, -4
Let a = 1179 + -1179. Let c(q) = 16*q + 2. Let j be c(2). Put j, a, 2 in increasing order.
a, 2, j
Let b be -3*1*(2 + -1). Suppose -99 = 4*l - 339. Let n = l + -61. Put -9, n, b in ascending order.
-9, b, n
Let p = 2.2 - 40.2. Let k = p - -38.07. Sort 5, k, -1/6, 1/6.
-1/6, k, 1/6, 5
Let r = -4 + 7. Let l = -2389 + 2394. Put -4, 2, r, l in decreasing order.
l, r, 2, -4
Suppose 2*n - 112 = k, n - 4*n + 174 = -3*k. Let l be 8/(-222)*n/(-12). Let s = 61/148 - l. Sort s, 4/9, -2 in decreasing order.
4/9, s, -2
Let v(n) = -n - 1. Let a be v(4). Let q be 2/4*a/10. Let z = -0.228 - -0.128. Put 2/13, z, q in descending order.
2/13, z, q
Let o(w) = -w**2 + 3*w + 12. Let g be o(6). Let p = -117 + 113. Sort g, 2, -3, p in descending order.
2, -3, p, g
Suppose 0 = 2*g + 13 - 13. Let l = -29/28 + 9/7. Put l, g, -1/3 in descending order.
l, g, -1/3
Let h = -0.366 + 0.066. Sort h, 14, -3, 3.
-3, h, 3, 14
Let t be (-4)/(-7) + -1 + 0. Let j = -2267.4 + 2267. Sort t, -5, j, -1.
-5, -1, t, j
Let d be 4*4/(-32)*-8. Let l be (7/2)/7*2. Suppose 6 = 3*h - 2*h. Sort l, h, d in increasing order.
l, d, h
Let y(c) = -5*c + 207. Let o be y(54). Sort -6, 2, o in increasing order.
o, -6, 2
Let i = -17 - -13. Let z = 0.135 + 0.065. Sort -2/7, -1, i, z in increasing order.
i, -1, -2/7, z
Let k = 667618393/112 + -5961135. Let z = -529/16 - k. Let p = z + -223. Sort -0.2, 5/3, p in decreasing order.
5/3, p, -0.2
Let u = 1 - 1.2. Let i be (-8)/(-12) - (-34)/3. Let b be i/54 + (-2)/(-18). Sort b, u, 3 in descending order.
3, b, u
Let z = 1.9744 - -0.0256. Sort z, -0.3, -3/4, -6 in decreasing order.
z, -0.3, -3/4, -6
Let t = 3.39 - 3.69. Put 1/2, -22, t in descending order.
1/2, t, -22
Let y be (-12)/8 + (-2)/((-18)/15). Let w = -1/3 - y. Put w, 1, 0 in ascending order.
w, 0, 1
Let c = -635 + 637. Put -9, 1, c in descending order.
c, 1, -9
Let j be (-124 - -127)*2/(-8). Sort 3/7, j, 5, -3/5.
j, -3/5, 3/7, 5
Let h be (-6)/4*16/(-36). Let n be 125/420*(-366)/(-15). Let g = n - 47/6. Put h, 4, g in descending order.
4, h, g
Suppose 36*v +