order.
l, 4, 0.4, o
Let q = 902 + -891. Put 2, 3/2, -2/7, 3, q in decreasing order.
q, 3, 2, 3/2, -2/7
Let a = -10.826 - -11.226. Put 0.5, a, -0.11, -0.71 in decreasing order.
0.5, a, -0.11, -0.71
Let y(q) = -q**2 + 15*q - 32. Suppose -5*t - f = -4, 6 = 4*f - 10. Suppose 4*r + 24 - 76 = t. Let g be y(r). Sort -3, 1, g, 2.
g, -3, 1, 2
Let j = -132 - -188. Let o = j - 73. Suppose x = -2*a + 4*a - 4, 0 = 3*a - 12. Put o, x, 0 in increasing order.
o, 0, x
Suppose t = -0*t + 3*h + 21, 5*t - h = 133. Let g = -6.38 + 1.38. Sort g, -2, t in increasing order.
g, -2, t
Let c = 43612/9 + -4841. Let k = 14/3 - c. Let o = 4.1 + -3.93. Put -0.1, k, o in descending order.
o, -0.1, k
Suppose -2*u = -11*u. Suppose -2*g + 0*g + 6 = 0, 0 = -4*c + g + 309. Let a = -77 + c. Sort 2, a, u, 5 in increasing order.
u, a, 2, 5
Let y = 9149 + -9148.77. Sort y, 1, 94 in decreasing order.
94, 1, y
Suppose 0 = -2*d - 4*w - 46, -6*w - 10 = 2*d - 11*w. Let p be (-42)/d + (-4)/5. Put 11, p, 5 in decreasing order.
11, 5, p
Let c be 2/4 - (-51)/(-6). Let s(o) = 2270*o + 29513. Let b be s(-13). Sort b, c, -1, 2.
c, -1, 2, b
Let x = -3597 + 3826. Sort -1, 3, x in descending order.
x, 3, -1
Let j = 141 + -159. Let r be ((-27)/j)/((20/16)/(-5)). Put 4, r, -0.5, -4 in increasing order.
r, -4, -0.5, 4
Let a(j) be the third derivative of -11*j**4/12 - 131*j**3/6 - 75*j**2. Let c be a(-6). Let z be 2 + -1 + 2 - -1. Put 0, c, z in descending order.
z, c, 0
Let l be 1/((-2)/7 + 2261/(-833)). Put l, -3, 2, -2/15, 20 in descending order.
20, 2, -2/15, l, -3
Let d = 5 + -4.9. Let w = 309.7 + 72.3. Let n = -384 + w. Sort n, d, -0.3, -1 in increasing order.
n, -1, -0.3, d
Let c = 0.105 + -500.105. Let n = c + 504. Sort 2, 47, 0, n in ascending order.
0, 2, n, 47
Suppose -3*g - 9 = -3. Suppose 3624 - 3617 = -w. Sort g, w, 2, -1.
w, g, -1, 2
Let h = -54656018/3475 + 393102/25. Let z = -158/155 - -24752/21545. Let n = h - z. Sort -1, n, -0.1 in decreasing order.
-0.1, -1, n
Let z(k) = -71*k + 5. Let x be z(1). Let v = x - -61. Sort 3, -1, v, 73.
v, -1, 3, 73
Let s be (-3)/(-1)*(-658)/21. Let q = 94 + s. Suppose -5 = 3*r + 2*r. Sort -15, q, 4, r.
-15, r, q, 4
Suppose 156*p - 312*p = -152*p. Put -7, 1, p, -6 in ascending order.
-7, -6, p, 1
Let n = 199.036 + -199. Let g = n - 0.236. Sort -84, g, 4.
-84, g, 4
Let q be -1*(3 + (1 - 3)). Let l(n) = -4*n - 4. Let i be l(q). Suppose 9*t + i*t + 9 = 0. Sort t, 1, -0.8 in increasing order.
t, -0.8, 1
Let m = 1010 - 952. Sort 0, m, -0.2.
-0.2, 0, m
Let i = 3436 + -3436.2. Sort 2/27, -1, 1/4, i in descending order.
1/4, 2/27, i, -1
Let l = -0.00221 - -18.00221. Sort 82, -0.3, 3, l, -5 in decreasing order.
82, l, 3, -0.3, -5
Let n = 5084 + -5037. Sort n, 0, -5, -3, 2 in decreasing order.
n, 2, 0, -3, -5
Let t = 2/327 - 997/2616. Let b be (-2 - (-1)/((-1)/(-3))) + 2. Suppose -4*x + 2*s + 28 = 0, 0 = -x - b*x + 5*s + 40. Put -1.5, x, t in increasing order.
-1.5, t, x
Let a be 6/(-228)*-19 - 20/15. Sort a, -3/11, 87/8 in descending order.
87/8, -3/11, a
Let r = 6.6 - 6.611. Let s = r + 0.411. Put s, -2, 0 in decreasing order.
s, 0, -2
Let r = -25.39 + 25.4. Let v = 0.05 + r. Sort -2/7, v, -3 in descending order.
v, -2/7, -3
Suppose -3*x = -43*x + 13640. Sort -1, x, -3 in decreasing order.
x, -1, -3
Let z be (-2 + -1 - (-10)/(-290)) + 3. Let y = 67/261 + z. Put -7, y, 0 in descending order.
y, 0, -7
Let x be (-8)/(-20) + 2/5. Let c = -0.63 - -0.33. Let q = 0 + c. Sort x, -2, q in ascending order.
-2, q, x
Let d(h) = -11*h**3 - 88*h**2 + h + 11. Let q be d(-8). Sort -5, -2, -29, q in decreasing order.
q, -2, -5, -29
Let g = -3716 + 3661. Put 0, 1/5, 1, g in descending order.
1, 1/5, 0, g
Let s(p) = -2*p**3 + 19*p**2 - 21*p - 23. Let r be s(8). Sort -3, 6, r, -5 in increasing order.
-5, -3, r, 6
Let q = 0.6 + -2.6. Let f = 3.66 - 425.66. Let z = 428 + f. Put q, z, -2/7 in increasing order.
q, -2/7, z
Suppose 5*x - 9*x = 48. Suppose 2*c + 11*c + 139 = 191. Put c, x, 0, 1 in decreasing order.
c, 1, 0, x
Let z = -17 - -22. Suppose 6*r - 17 - 13 = 0. Suppose 2*o = -5*n + 136 - 30, -2*o = -r*n + 94. Sort 0, z, n in descending order.
n, z, 0
Let k = 0.4 + 0. Let x = 8781 + -8780. Sort 4/7, x, -2/9, k.
-2/9, k, 4/7, x
Let g(c) = -c + 34 + 18*c - c + 3*c. Let t be g(-2). Sort t, 68, 2, -3.
t, -3, 2, 68
Suppose 5*k = 4*h - 17, -21*h + 25*h + k = 11. Sort 2207, -5, h.
-5, h, 2207
Let n = -38.677 + 0.677. Let g = -33 - n. Let q = -22 - -12. Sort q, 1/2, g in decreasing order.
g, 1/2, q
Let j = -19 - -19.02. Let w = j - -0.04. Let r = 7.36 - 6.86. Put w, r, -2/3 in decreasing order.
r, w, -2/3
Suppose 99*f - 5*l - 1650 = 104*f, 0 = f - l + 328. Put 2, 3, f, 0, -10 in ascending order.
f, -10, 0, 2, 3
Let a be 10/4*28/(-20)*30/(-105). Sort a, -4, 17.
-4, a, 17
Suppose -4*l + 22*y + 10 = 27*y, -l + 11 = -3*y. Sort -2, 4, 1, l, -5 in ascending order.
-5, -2, 1, 4, l
Let c = 4179 + -4177. Sort -11, c, 0, 3, 1 in descending order.
3, c, 1, 0, -11
Suppose b - 4*g + 6 = 0, b = 3*b + 4*g. Let q(t) = 2*t - 5. Let m be q(5). Suppose 0 = -549*y + 559*y + 40. Put y, m, b in ascending order.
y, b, m
Let t(l) = l**3 + 12*l**2 + 21*l + 7. Let i be t(-10). Let z(p) = 16 + p**2 - 5*p + 5*p - 5*p - 10*p. Let n be z(14). Sort 1, i, n in ascending order.
i, 1, n
Let h be 8/(-60) + 253/(-15). Let l = h - -41. Let v be (2/l)/(2/6). Sort v, -5/3, -0.4 in decreasing order.
v, -0.4, -5/3
Suppose -o - 3*p + 395 = 0, 5*o = 6*p - p + 2035. Let g = -409 + o. Sort -1, g, -32.
-32, g, -1
Suppose 3*t + 18 = 2*j, 0 + 1 = -5*j - 4*t. Suppose -22 = -5*g - 5*a + 3, a - 11 = -j*g. Sort -60, 4, g.
-60, g, 4
Let j = 72150/17 + -4244. Put 0.5, -15/26, j in decreasing order.
0.5, j, -15/26
Let k = 110 - 108. Put 0.9, k, -3/2, -1/7, 0 in increasing order.
-3/2, -1/7, 0, 0.9, k
Let b(n) = -n**3 + 2*n**2 - 17*n - 45. Let l be b(-2). Sort 1, 3, l, 4, 474 in ascending order.
1, 3, 4, l, 474
Suppose 7*w = -18 + 53. Let u = -50 - -50. Suppose -5*d - 6 - 9 = u. Sort 3, 4, d, w in ascending order.
d, 3, 4, w
Let j be 22/(-330) + (-183)/(-1395). Sort 0.1, 4, j, -26 in ascending order.
-26, j, 0.1, 4
Suppose -60*s - 235 = -13*s. Suppose 4*l - 27 + 3 = 0. Sort -1, l, s.
s, -1, l
Let k be ((-10)/(-4) - 1)*(-122)/(-183). Suppose 21*o = 41 + k. Put 20, o, -1 in descending order.
20, o, -1
Let j be 1/(-2)*(-87)/(-87). Let b be 1/(-28) + (-16 - -7)/36. Sort b, j, 8.
j, b, 8
Let b = 458 + -457. Let m = -2 + -20. Let a be (m/(-55))/(1/(-5)). Sort 11, b, a, 5.
a, b, 5, 11
Let d be 2*(10 + -8)/((1 + -5)/(-4)). Put -131, d, -1, 2, -5 in increasing order.
-131, -5, -1, 2, d
Let j(y) = -14*y**2 - 1340*y + 384. Let o be j(-96). Suppose 0 = 4*v - 2*r - 44, 0 = -2*v - 5*r - 2. Put o, v, -1 in ascending order.
-1, o, v
Suppose 208 = 5*f - 5*t + 6*t, 2*f + 4*t = 76. Let y = 18 - f. Sort 0.3, 3, y.
y, 0.3, 3
Let j = 1291 + -1292.46. Sort 1, j, 7 in ascending order.
j, 1, 7
Let h = 5.971 + -6.471. Sort -38, 0.2, h in increasing order.
-38, h, 0.2
Suppose -581 - 1100 = -41*k. Sort 12, -1, -3, k in decreasing order.
k, 12, -1, -3
Let l = -6.6757 + 6.4657. Let f = -4 - -3.93. Sort l, -2, f in descending order.
f, l, -2
Let j = -113 - -112.468. Let y = 0.068 - j. Let c = y - -3.4. Sort c, -3/5, -0.5, 3 in increasing order.
-3/5, -0.5, 3, c
Let z = 445.7 + -361. Let u = z - 84.6. Let o = -0.1 - -0.3. Sort u, 1, 0, o.
0, u, o, 1
Let c(j) = -j + 6. Let x be c(6). Suppose 0 = s - 3 + 8, -l - s - 3 = 0. Let v be (l/(-6)*(-54)/(-3))/(-2). Put v, -4, x, 5 in ascending order.
-4, x, v, 5
Let t = 10.916 + -11.016. Sort 0.6, t, 0.3, 2/9, 0.2 in increasing order.
t, 0.2, 2/9, 0.3, 0.6
Let u = -9 - -9. Let d = 1.815 - -9.185. Sort d, u, -3, 2/11.
-3, u, 2/11, d
Suppose -7*p + 120 = -4*p - 15*p. Suppose -79 = -5*x - 3*s, 0 = -5*x + 3*s + 48 + 13. Let w = x + p. Sort 0, -4, w, -1.
-4, -1, 0, w
Let k = -196.6 + 197. Let q = 2.4 - k. Put q, -0.07, -0.2 in ascending order.
-0.2, -0.07, q
Let u = -5374 - -5379. Sort -1/5, u, 11, 2, -1/3 in decreasing order.
11, u, 2, -1/5, -1/3
Let r = 179.5 + -170.115. Let b = r + -0.385. Sort 5, b, 0.2 in decreasing order.
b, 5, 0.2
Let n = 11197/516336 + -1/5552. Sort -2, n, 5, -1 in descending order.
5, n, -1, -2
Let d = 371.5 - 339. Let f = d + -35.5. Put 5, 30, 1, f in increasing order.
f, 1, 5, 30
Let o = -682.1 - -680. Put