, 3, x, -1 in descending order.
5, 3, x, -1
Let u(t) = 36*t + 225. Let v be u(-8). Put 4, 0, v in decreasing order.
4, 0, v
Let s be 15/180 + 7/(-84). Let a = 5 + -7. Sort 1, a, s, 2 in decreasing order.
2, 1, s, a
Let p = -0.03 + 0.93. Let v = 1 - p. Let g = -592 + 592.04. Put 4, v, g in descending order.
4, v, g
Suppose 0 = 12*w - 18 + 54. Put -5, -4, 6, w in descending order.
6, w, -4, -5
Let n = 69.8 - 63. Let k = n - 7. Put -5, 4, k in increasing order.
-5, k, 4
Let r = -20 - -6. Let x = -14 - r. Let i = 0.2 - x. Sort i, 0, -3 in decreasing order.
i, 0, -3
Suppose 3*y + 6*x - 78 = 3*x, -2*x = -2*y + 52. Suppose b = 3*b - 2*w + y, 3*w + 57 = -5*b. Suppose 15*m + 215 = 290. Sort 1, m, b in decreasing order.
m, 1, b
Suppose 0 = -a - 3*v - 14, -6*a + 2*a - 4*v = 16. Let u be 1 + (-36)/8 + a/(-2). Sort u, 3, 4 in decreasing order.
4, 3, u
Let u(j) = 5*j - 58. Let m be u(12). Sort 4, -2, m, 52 in decreasing order.
52, 4, m, -2
Let t(a) = 11*a**2 - 5*a + 1. Let z be t(-3). Let f = z - 113. Sort -3, -5, f, 5 in decreasing order.
5, f, -3, -5
Let x = 2/33 + 4/33. Sort x, 42, -5, 4/9.
-5, x, 4/9, 42
Let y(c) = -6*c**2 + c. Let x be y(1). Let a be (20/(-8) + 4 + -1)/((-7)/(-70)). Sort x, -3, -2, a.
x, -3, -2, a
Suppose -37 = -3*q + 14. Suppose 0 = -3*d - 3*t + 27, -5*d - 3*t + q = -4*d. Let j = -0.24 + -0.06. Sort 2/11, j, d.
j, 2/11, d
Suppose 2*j - 7 = 3. Let o(w) = -w**3 + 3*w**2 + 2*w - 7. Suppose l + 4*l - 3*k = 30, -l + 18 = -3*k. Let c be o(l). Put j, -4, c in decreasing order.
j, c, -4
Suppose 31 - 4 = -9*h. Put -1, h, 29, 5 in ascending order.
h, -1, 5, 29
Let o = 19 + -10. Let g = o + -13. Let b = 4.4 + g. Put -0.1, b, -1 in increasing order.
-1, -0.1, b
Suppose 0 = -3*x + 7*x + 8. Let f be -27 - -25 - (2/x)/(-1). Put f, 10, 5 in descending order.
10, 5, f
Let s(m) = -m**2 - m - 1. Let y be s(-1). Let f be ((-3)/2)/((-14)/28). Suppose -f*r = 5*u - 20, 2*u - 17 = -r - 2*r. Sort r, y, 2.
y, 2, r
Let v = -37 + 39. Suppose 2 = z + v*g, -z + 2*z = -4*g + 4. Let n be 1/(-3)*6/(-2). Put z, 4, n in increasing order.
z, n, 4
Let u = 54 - 15. Suppose -3*v = -3*h - 4*v + 51, u = 3*h + 5*v. Let c = h - 15. Sort c, -4, 5 in decreasing order.
5, c, -4
Let k = -40 + 90. Sort -2, k, -6.
-6, -2, k
Let b be 5/(2/6*3). Let c = 1.7 + -1.4. Suppose -2*u - 2*v + v - 7 = 0, 5*u + 16 = -v. Sort c, u, b in decreasing order.
b, c, u
Let q be -7 - ((-1404)/84 + 10). Let x = -2/955 + 1972/29605. Let g = 79/21 - 17/7. Sort g, x, q in decreasing order.
g, x, q
Let j = 1 - 2. Let f = 562 - 562. Put 4, f, j in decreasing order.
4, f, j
Let f be -1 + (-15)/42*-2. Sort 22, -0.5, f.
-0.5, f, 22
Let q = -4.7 - -0.7. Let n = -171 + 1883/11. Put n, -0.27, q in decreasing order.
n, -0.27, q
Let r(n) = n**2 + 12*n - 17. Let h be r(-12). Suppose 4 = 7*p - 10. Sort -1, h, p in increasing order.
h, -1, p
Let s = 1548 - 1550. Put s, -212, 0 in increasing order.
-212, s, 0
Let a = 6.177 + -0.177. Sort a, 5, -2.
-2, 5, a
Suppose 4*r - 14 = l, 0*l = l - 2. Suppose -r*v - 52 = 4*g, 2*v + 89 = -5*g + 5*v. Let w = -11 - g. Sort -2, 4, w in descending order.
w, 4, -2
Suppose 5*h - 24 = -2*r, -2*h - 3*r + 10 = -2*r. Suppose -16 = -4*d - u, -d + 4*u - u + h = 0. Let c = 79 + -74. Sort c, d, -4 in ascending order.
-4, d, c
Let b be (-22)/(-99) + 176/18. Suppose 14 - b = -t. Sort -3, t, 4 in descending order.
4, -3, t
Let f = 0.01 - -2.99. Let p(q) = -3*q - 108. Let r be p(-36). Put f, 6, r in descending order.
6, f, r
Suppose u + 0*o + o = 4, -5*u = 4*o - 22. Suppose 2*b = 3*t - 8, -u*b - 16 = 5*t - 2*b. Let k = -3 + 2.5. Put k, t, 1/3 in decreasing order.
1/3, t, k
Let b(p) = -4*p - 66. Let l be b(-19). Let v be (-2)/l - 1/(-5). Put v, -4, -12 in descending order.
v, -4, -12
Suppose 7*u - 28 = -5*q + 10*u, 3*u + 3 = 0. Sort q, 0.201, 2 in descending order.
q, 2, 0.201
Suppose -17*n + 12*n + 10 = 0. Suppose w = u + 14, -4*w + 9 - 25 = 4*u. Sort n, -5, u in ascending order.
u, -5, n
Let h = -863/4 + 215. Put h, 0.055, 0 in descending order.
0.055, 0, h
Let t = 11 + -17. Let z be (t/(-9))/(14/6). Let r = 9 + -5. Sort 1, z, r.
z, 1, r
Let o = -26 - -30. Let p be (-2)/o*-1*-2. Sort -2, -3/7, -2/7, p in increasing order.
-2, p, -3/7, -2/7
Let w = -71/87 + -1/58. Sort 1/3, w, 3 in descending order.
3, 1/3, w
Suppose 4*p - 6 = -u, -5*u - 2*p - 3*p + 30 = 0. Suppose u*k + 5 = 11*k. Suppose -y - 2*n - 7 = 0, -4*n = -3*y - k - 0. Sort -1, y, 0.3 in increasing order.
y, -1, 0.3
Let c = 6589/5 + -1317. Let p be (-35)/5 - (-3 - -1). Sort 4, p, 3, c in ascending order.
p, c, 3, 4
Let y(d) = -3*d + 12. Let l be y(7). Let w = -8 + l. Sort w, 3, 0, 5 in descending order.
5, 3, 0, w
Let r(c) = -2*c**2 - 13*c - 17. Let l be r(-5). Sort 0, l, 18 in descending order.
18, 0, l
Let y = -0.02 + -0.38. Suppose -3*m - 6 = n, m - 3*n - 4 = 4. Sort 5, m, 3, y in decreasing order.
5, 3, y, m
Let z = -0.84 - -0.65. Sort -3, z, -1/3, 0 in decreasing order.
0, z, -1/3, -3
Let v = 297 + -292. Sort 3, v, 1, -24.
-24, 1, 3, v
Let k be -3 + (75/5 - 8). Put -1, k, -10, 5 in decreasing order.
5, k, -1, -10
Let m(k) = -2*k + 4. Let j be m(3). Let f = -235 + 123. Let q = f + 104. Put 1, j, q in descending order.
1, j, q
Suppose 0 = 2*r - 5*t, 5*r + 0*r - t = 23. Suppose 0 = -17*b + 98*b. Let s be (-1 + -2)*-1*1. Sort s, b, r.
b, s, r
Let g = 3 - 0. Suppose 0 = -4*c - c - 15, -c = 3*d + g. Let l(y) = y + 4. Let a be l(-2). Sort d, 3, a.
d, a, 3
Let d = -277 + 394. Sort 4, -5, 2, d in decreasing order.
d, 4, 2, -5
Let b = -0.063 - -81.063. Let q = b - 80. Put -4, -2, q, -3 in decreasing order.
q, -2, -3, -4
Let x be -2 + (14 - 0) + -8. Put x, -4, -5 in ascending order.
-5, -4, x
Let o(p) = -p + 9. Let x be o(7). Suppose -2*y - 3*y = -2*m - 18, -5*m = 20. Suppose -4*w + 3*j = 1, -4*j = -y*w + 3 - 1. Sort w, x, 6 in descending order.
6, x, w
Let u = 12 - 7. Let w = 694 - 690. Put w, -8, u in increasing order.
-8, w, u
Let u = -6 - -21. Let h = -61/4 + u. Put -0.2, h, 0.5 in decreasing order.
0.5, -0.2, h
Let h(v) = v**2 + v - 4. Let i be h(3). Let k = -7 + i. Sort -1, k, -5.
-5, -1, k
Let x be (-2)/4 + 66/(-132). Let v = 3 - 3.5. Put v, 0.4, -0.02, x in increasing order.
x, v, -0.02, 0.4
Suppose 108*o - 119*o = 44. Sort o, 0, -1, 1 in increasing order.
o, -1, 0, 1
Let z be 2*((6 - 6) + 2/(-1)). Sort -2, z, -12 in descending order.
-2, z, -12
Let r(z) = 11*z + 50. Let i be r(-5). Let k be 1*i/45*12/(-8). Suppose -2*d + 11 - 1 = 0. Sort -0.1, d, k in increasing order.
-0.1, k, d
Let n = -0.34 + -0.06. Let s = 0.09 - 0.02. Let a = -3.07 + s. Put n, a, 0.3 in descending order.
0.3, n, a
Let v = 0.22 - -0.08. Let h = 11.9 + 1.5. Let r = h - 13. Sort r, v, -2 in descending order.
r, v, -2
Suppose -23*o - 5 = -24*o. Suppose 4*m = 2*q - 10 - 6, -9 = 3*q + o*m. Let u be (-1)/(q + -3 - 2). Sort 4/3, -0.1, u.
-0.1, u, 4/3
Let u = -9 - -5. Let s be (-10)/7 + (-1)/4*u. Put 2, s, 4, -4 in increasing order.
-4, s, 2, 4
Let k(a) = -2*a**2 + 28*a + 30. Let w be k(15). Sort 3, 5, w, 2 in increasing order.
w, 2, 3, 5
Let z = -0.738 - -3.738. Let f = 0 - -4. Let y = f + -3.6. Put 2, y, z in decreasing order.
z, 2, y
Let p = -4 + 5. Let x = 32 + -27. Sort -1, p, -2, x in descending order.
x, p, -1, -2
Let i be 5/(-2)*(-4056)/390. Sort -2, -1, 2, i in ascending order.
-2, -1, 2, i
Let f = 12 - 37/3. Suppose -2*u = 2*u. Let d = 3 - u. Sort -1/5, f, d in descending order.
d, -1/5, f
Let l = 1346 + -1347. Put -5, 5, -2, l in descending order.
5, l, -2, -5
Let s = 1378 - 1379. Sort -0.2, 2/9, -1/8, s.
s, -0.2, -1/8, 2/9
Let l = -22 + 23. Let m be (-4)/(-16) - l/(-4). Let f = 30.1 + -30. Put f, 0, m in descending order.
m, f, 0
Let q be 4/2 - (1 - 3). Let p = 6 - 6. Let i be 2/(-5) - (-88)/170. Put p, q, i in ascending order.
p, i, q
Let g = 775 - 776. Sort 5, g, -4 in increasing order.
-4, g, 5
Let j = -21 - -25. Let z = -3 - j. Let i = -6.5 - z. Sort -0.2, i, -1 in descending order.
i, -0.2, -1
Let o(z) = -z**2 - 21*z - 17. Let u be o(-20). Let g = 3 - 1. Let r = g + -5. Put 2, u, r in descending order.
u, 2, r
Let i = 0.54 - 0.04. Put 22, i, -0.7 in increasing order.
-0.7, i, 22
Let r(a) = 4*a**2 - 8*a - 10. Let g be r(3). Suppose v = -2 + 5, 0 = -2*l + 3*v - 17. Let y = -4 - l. Sort 3, y, g.
y, g, 3
Let k = 6.4 - 6. Let o be (-11)/(55/(-20))*(-4)/(-16).