 c in decreasing order.
c, s, -2
Let r = 1 - 3. Let v = 98479 + -689352/7. Let z = -0.3 + -2.7. Sort v, r, 5, z in decreasing order.
5, v, r, z
Let b be (6/2 - (-1380)/(-180))*(-6)/14. Sort b, -3401, 5 in increasing order.
-3401, b, 5
Let g = 37.76 - -303.24. Put g, -1, 3/4 in descending order.
g, 3/4, -1
Let m = -7.036 + 7.436. Put 2, m, -504 in descending order.
2, m, -504
Let v be -46*-1*4/8. Suppose -5*h + 6 = 4*d - 582, -d = -h - 138. Let n = d - 142. Sort v, 5, 2, n.
n, 2, 5, v
Let j = 3988 - 55829/14. Put j, 0.1, 2, 1, -0.19 in descending order.
2, 1, j, 0.1, -0.19
Suppose -2*f = -q + 1, -q - f + 1 = -0*q. Let h be 2 + 8/(-4) - 14*12. Let n = h + 1514/9. Sort q, n, -3 in increasing order.
-3, n, q
Let g = 314/413 + -28/59. Let s be (-4 - 46/(-11))*-1. Sort g, 2, s, 4 in descending order.
4, 2, g, s
Let w = 7363 + -7363. Sort 43, 4, 5, w in decreasing order.
43, 5, 4, w
Let u = -26 - -25.9. Let y = -1604 - -1602. Put y, u, -9, -1.2 in ascending order.
-9, y, -1.2, u
Let y be 3/2*30/9. Let c be (-20)/(-24)*(-3 - (-7 + -2)). Suppose -j = -2 - 0, -c*j + 24 = -2*z. Sort 3, z, y.
z, 3, y
Suppose -5*h = 4*t - 1, 0 = -2*t + 2*h - 1 - 3. Let q be (5/4)/(17/68). Sort q, t, -3, 10.
-3, t, q, 10
Let o be (-60)/(-14) + (-8)/(30 + -13 - 15). Let q = -14/45 + 1/5. Put q, 5, -17, o in increasing order.
-17, q, o, 5
Let w(q) = -6*q - 87. Let l be w(-14). Let t be (18/(-2))/l*(-5)/3. Put -4, 2, t in descending order.
2, -4, t
Let j = 4090 - 4097. Let w = -2.2 - 0.8. Sort w, -6/5, 0.7, j in descending order.
0.7, -6/5, w, j
Let o be 10/14 - (-18)/63. Suppose 209*n - o = 210*n. Suppose 4*w = 5 + 23. Sort 0, w, n.
n, 0, w
Let w = -10865 + 10873. Sort 3, 5, -14, 0, w in descending order.
w, 5, 3, 0, -14
Let q = -52.4 + 52.9. Put q, -263, -0.3 in descending order.
q, -0.3, -263
Suppose 2*g + 0 = 2. Let f(t) = 3*t**2 + 21*t + 15. Let z be f(-6). Sort -7, g, 5, z in decreasing order.
5, g, z, -7
Suppose -27*y + 24*y = -3*s, 0 = -2*s - 3*y + 20. Suppose -4*n + 2*n + 3*o + 7 = 0, -5*n + 2*o = -23. Put n, -4, s in descending order.
n, s, -4
Suppose -l = -3*q + 7 - 18, 0 = l - 5*q - 17. Sort 6, l, -3, 7 in decreasing order.
7, 6, l, -3
Let d(v) = v**3 - 7*v**2 + 6*v. Let l be d(6). Suppose -74*m + 13 = -209. Sort l, -14, -4, m in increasing order.
-14, -4, l, m
Suppose 0 = 12*p + 18*p - 25 - 35. Sort -3, p, 4, 16 in increasing order.
-3, p, 4, 16
Let y = 1270 + -1252. Sort y, 3, 1 in increasing order.
1, 3, y
Let z = 3601 - 3606. Put -0.6, 2/3, z, -0.9 in descending order.
2/3, -0.6, -0.9, z
Let o be (9 + 3)*(-3 - (-21)/6). Let s be 2 - ((-2686)/(-1659))/((-2)/(-3)). Put s, 5, o in increasing order.
s, 5, o
Let z = -0.23604 - -0.16604. Sort z, -3, -2, -2/9 in increasing order.
-3, -2, -2/9, z
Let x be (-718)/(-20)*-8*(-30)/(-14). Let k = 616 + x. Put 1, 22, k in decreasing order.
22, 1, k
Let w = -5725/8 + 4515/8. Let a = 150 + w. Let h = 1.9 + -1.99. Sort a, 4/3, h, -2.
-2, a, h, 4/3
Let q = 27.4 + -12.7. Let v = -27.1 + q. Let b = v + 12. Sort 4, b, -3/4.
-3/4, b, 4
Suppose -364*o + 135 = -359*o. Suppose 32*b = -o + 91. Put -196, b, 0 in increasing order.
-196, 0, b
Let q(f) = -f**2 + 7*f + 1074. Let u be q(-29). Sort 1/4, u, 0 in increasing order.
0, 1/4, u
Let n = -144 + -93. Let y = n + 242. Put -5, -2/15, 16, y in decreasing order.
16, y, -2/15, -5
Let h = -0.00268 - 10.99732. Sort -3, 70, -5, h in decreasing order.
70, -3, -5, h
Let v = 835797 + -835763. Let r = 0.6 - 4.6. Let b be ((-6)/15)/(6/10). Put r, v, b, 1/3 in ascending order.
r, b, 1/3, v
Let i = -79.3 - -79.5. Let d be 2 - ((-16)/12 - -2). Sort i, d, -2.3 in ascending order.
-2.3, i, d
Let r(f) be the third derivative of -f**4/8 + f**3/6 - 3*f**2 - 1. Let v be r(2). Sort 2, -1, v, 0 in decreasing order.
2, 0, -1, v
Let r = 0 + -0.1. Let u = 17919 - 89598/5. Let f = -14 - -13. Sort u, f, r in increasing order.
f, u, r
Let n = 1026 - 623. Let a = n + -403.5. Let p = 0 - -0.4. Put -4/15, p, a in ascending order.
a, -4/15, p
Suppose 121 - 49 = 18*x. Suppose -11*g + f + 8 = -8*g, 5*f = g + 2. Sort x, g, 234 in ascending order.
g, x, 234
Let y(q) = -17*q - 870. Let j be y(-51). Sort j, 5, 3, -2.
j, -2, 3, 5
Let v = 23 - 18. Suppose 4*b + 25 = -0*b + s, 2*b + s + v = 0. Suppose 0 = -3*q - k + 5*k - 21, 0 = 4*q + 4*k. Sort -4, b, 2, q.
b, -4, q, 2
Let i = -1929.16 + 1929.1. Sort -2, -14, i, -0.2, -1 in increasing order.
-14, -2, -1, -0.2, i
Let d be (-20)/6*(-1644)/(-9590). Let b = 0.485 - 0.35. Sort d, b, -2/9 in increasing order.
d, -2/9, b
Suppose 2 = 2*c - c. Suppose 0 = 5*g + 3*u + 9, -4*g + g + u = -3. Let f = -1.47 - -4.47. Put 0.3, f, g, c in decreasing order.
f, c, 0.3, g
Let k = 57 - 45. Let y(f) = f - 11. Let m be y(13). Suppose -1 + 5 = -m*t. Put t, -3, k in descending order.
k, t, -3
Let d be (-29)/(-9) + (-2)/9. Suppose -2*k = -k - d. Sort k, 5, 1 in descending order.
5, k, 1
Let p be 95/76*10/3*(-24)/(-20). Put 4, p, -4, 95 in increasing order.
-4, 4, p, 95
Suppose 3*o = 7*n - 11*n + 147, 4*n - 4*o = 168. Suppose -10*b + n = 9. Put -1, b, -12 in descending order.
b, -1, -12
Let x be (-30358)/135915 + (-4)/(-20). Let s = x + 2/533. Let g = 95/357 - s. Put 2, 0.3, -0.05, g in ascending order.
-0.05, g, 0.3, 2
Let k(h) = -h - 3. Let f be k(-3). Let m = 3 + 6. Suppose -25*t + 348 = 211 + 237. Sort f, t, m in decreasing order.
m, f, t
Let w = -388 + 184. Let p = w - -200. Sort -39, p, 1, 2/3 in ascending order.
-39, p, 2/3, 1
Let z(i) = -5*i + 3 - 14 - 12 - 4. Let k be z(-9). Suppose -b + k = 14. Sort b, 5, 2.
2, b, 5
Suppose -3*h + 16 = -4*r, 3*h + 8 = -2*r - 0*r. Suppose 28*z + 1058 = 1002. Put 5, z, h, -3 in descending order.
5, h, z, -3
Let i = -5097.7 - -5098. Let h(d) = d**3 - 9*d**2 - 10*d + 7. Let l be h(10). Put -1/10, l, i in decreasing order.
l, i, -1/10
Let u(y) = y**3 - 274*y**2 + 3144*y + 1. Let b be u(12). Put b, 6, 0.03, -0.5, 4/7 in decreasing order.
6, b, 4/7, 0.03, -0.5
Let j be (-5 + 46)/(5/(-85)) - (-1 - 2). Put -0.3, j, -3, -5 in descending order.
-0.3, -3, -5, j
Let f = 74.6 - 138.6. Let c = -106 - -1588/15. Sort -0.1, f, c in increasing order.
f, c, -0.1
Let n = -3.3062 + 0.3062. Sort -0.2, -3/8, 5, n in decreasing order.
5, -0.2, -3/8, n
Let j be -4 + (-16)/(-4 - 0). Suppose 8*h + 36 = 11*h. Suppose 3*l + h + 3 = 0. Sort -4, l, j.
l, -4, j
Let k be 1 - -6*(1 - (-6)/(-4)). Let j be -8 + -1*(-60)/(-6). Sort k, j, -3 in increasing order.
j, -3, k
Let t be 24/8 - -21 - 38. Put -8, 16, t, 3 in increasing order.
t, -8, 3, 16
Let t be (0 - -1) + (-1)/1. Let o be (-2)/3 - 39/9. Let g = -16371 - -16381. Sort o, t, g, 3 in descending order.
g, 3, t, o
Suppose 2*p = 2*n + 20, 5*p + 265*n - 260*n = -20. Sort p, -1, 36, -5, 0 in increasing order.
-5, -1, 0, p, 36
Let o = -140.1 + 154. Let b = 27 - 45.9. Let l = o + b. Put -1, l, -2 in decreasing order.
-1, -2, l
Let h = 2042 - 2043. Sort 7, 4, h.
h, 4, 7
Let g = -8 + 5. Let o(v) = -4*v + 12. Let h be o(3). Let j = g - h. Sort j, 0, 4.
j, 0, 4
Let s = -2309 - -2298. Suppose -9 = -2*j - l, 0 = -5*j + l + 19 - 0. Sort s, j, -1 in ascending order.
s, -1, j
Let s be (-3)/2*8/(-6). Suppose 0 = s*b - b + 4. Suppose -55 = 5*a - 50. Sort 8, a, 2, b in descending order.
8, 2, a, b
Let p = -463 - -348. Let u = -115.03 - p. Put 1/2, 4, -2/3, u in decreasing order.
4, 1/2, u, -2/3
Suppose -5*t - 91 = -12*t. Suppose -5*k + 2*k - 3*l = -21, -37 = -3*k + 5*l. Let p be (-2 - k/(-4)) + (-77)/(-28). Sort t, 2, p in decreasing order.
t, p, 2
Let i = -65 + 68. Let h = 0.125 + -0.08. Let k = h + 0.355. Put 0.24, i, k in increasing order.
0.24, k, i
Let m = 27292 - 27305. Sort -4, m, -6, -0.4 in increasing order.
m, -6, -4, -0.4
Suppose -2*s + 1103 = 5*f, 69 = 3*f + 3*s - 591. Suppose -17*t + f + 289 = 0. Sort -1, -2, t in decreasing order.
t, -1, -2
Let u = 607 - 589.2. Let b = u - 18. Let k = -1.5 + 2. Put b, -7, 0, k in ascending order.
-7, b, 0, k
Let w = 390 + -376. Let i be 245/196 - w/8. Put -2/7, 0.3, i, 4 in ascending order.
i, -2/7, 0.3, 4
Let r = -16.86 + 20.86. Let y = -3440/741 - 6/247. Let o = 3 + -5. Sort -1, r, y, o in decreasing order.
r, -1, o, y
Let l = 2778 - 2729. Sort l, -1/4, 9 in ascending order.
-1/4, 9, l
Let f = 5 + -2. Let h = -4538 - -4543. Put -2/9, -4/3, f, h in ascending order.
-4/3, -2/9, f, h
Let q(u) = -29*u + 4463. 