2, a in decreasing order.
a, -2, -5
Let v = -18.739 + 19.089. Sort -5, -3/8, v.
-5, -3/8, v
Let f = 7006 + -7017. Sort 6, f, -1.
f, -1, 6
Let n = -3041 + 3044. Let c = -0.99 + 0.59. Let k = 0.776 - 0.8. Sort n, k, c in descending order.
n, k, c
Let q(j) = -5*j**2 - j + 1. Suppose 5*f = -3*d - 12, -4*d - 2 = -3*d + f. Let v be q(d). Let w be ((-5)/(-10))/((-10)/(-260)). Sort -2, w, v in ascending order.
v, -2, w
Let k(o) = -o**2 - 51*o - 571. Let m be k(-22). Put -1, 3, m, 4 in descending order.
m, 4, 3, -1
Let g = 1618 + -1618.4. Sort 1, g, 3/5, 1.5 in increasing order.
g, 3/5, 1, 1.5
Let p(h) = -h**2 + 91*h - 1472. Let s be p(70). Sort 2, 135, s in descending order.
135, 2, s
Let w = -29 - -26. Let j = -66 - -124. Let o = j - 43. Put w, -2/7, o in descending order.
o, -2/7, w
Let l = 9949 + -9951. Put -9, -4, l, 26 in descending order.
26, l, -4, -9
Let k be 8512704/(-25228) + 4/14. Let v = k - -2360/7. Let j = 859/18921 - v. Put 2/7, -3/5, j in decreasing order.
2/7, j, -3/5
Let l = -0.141 - 17.659. Let n = l - -13.8. Put n, 0, 7 in descending order.
7, 0, n
Let t be 2/5 - (-92)/(-5). Let z be (2460/75 - 33)*-15. Sort 2, t, z in ascending order.
t, 2, z
Suppose -4*i - 154 = 3*o - 1164, i + 3*o = 257. Sort 4, i, -4 in descending order.
i, 4, -4
Suppose 0*p = 2*u + p - 3820, 4*p + 9524 = 5*u. Suppose 36 = -u*h + 1914*h. Sort 0.4, 0.2, h, 1 in decreasing order.
h, 1, 0.4, 0.2
Let j = 215/1743 - 7/249. Put 4, 1365/2, j in descending order.
1365/2, 4, j
Let y be (-11 - (-1 + 1))*-1. Suppose 2*w + 3 = y. Let s(p) = -2*p**3 - 4*p**2 + 8*p + 13. Let c be s(-2). Put w, c, 5 in decreasing order.
5, w, c
Let m(y) = y**3 + 12*y**2 + 52*y + 325. Let i be m(-10). Let x(c) = 4*c + 3. Let p = 2 - 4. Let t be x(p). Put t, -2, i in increasing order.
t, -2, i
Let a be (-21 - -17) + (-2 - -7). Let m = -3.129 - -0.129. Sort -1/8, a, 3, m in descending order.
3, a, -1/8, m
Suppose 103*k = -1793 + 1690. Put 2, k, -221, 5, -5 in descending order.
5, 2, k, -5, -221
Let q = 7.22 + -6.72. Let m = 2.09 - 0.09. Let y = -3 + m. Sort 2, y, q, -6 in increasing order.
-6, y, q, 2
Let d = 0.17 + -0.07. Let m = -14620 + 14619. Put 2/3, 9, d, m in increasing order.
m, d, 2/3, 9
Let j(z) = -2*z**2 - 25*z + 711. Let u be j(-26). Put -5, u, 1, -6, 21 in ascending order.
-6, -5, 1, u, 21
Let x be 6/(-7)*(-1729)/(-38). Sort 2, x, 14.
x, 2, 14
Suppose -5*u - 6 = 5*d - 26, 3*d - 6 = -5*u. Let k(g) = -g**3 + 7*g**2 + g - 6. Let b be k(d). Put 5, -15, b in decreasing order.
5, b, -15
Suppose -436 = 4*d - 5*m, -d = -42*m + 38*m + 120. Sort 9, -5, d in increasing order.
d, -5, 9
Suppose -i = -3*x + 307, 7*x = 3*x + 5*i + 402. Let n be 21/28 + x/(-4). Sort -4, -1, -2, n in ascending order.
n, -4, -2, -1
Let v = -0.15 - -0.05. Let b be ((-42)/15 + 1)*20/56. Let l = -11/14 - b. Sort l, -2, v in descending order.
v, l, -2
Suppose 23*h - 18*h + 20 = 0. Let c = -103 + 73. Let b = 28 + c. Sort -3, h, 3, b in descending order.
3, b, -3, h
Let j = 773/2325 + 2/2325. Put 2/55, j, 0, -44 in decreasing order.
j, 2/55, 0, -44
Let n be 5*-1 + (-258)/(-48). Let y = -1 + 2.8. Let v = y - 1.8. Put v, n, 1 in ascending order.
v, n, 1
Let x = 1747 + -1733. Put -3, x, 23 in ascending order.
-3, x, 23
Let v = 2875.02 - 2875. Let s = 3 + -4. Put v, 4, s, -0.3 in descending order.
4, v, -0.3, s
Suppose 4*g - 2515 - 1845 = 0. Put -4, g, 5 in ascending order.
-4, 5, g
Suppose -4 = -5*s - 3*a, 8 = -3*s + 6*s - a. Let l = -252 + 128. Let u be l/93 - ((-1)/3 - -1). Put u, 4, s, 1 in descending order.
4, s, 1, u
Let o(f) = 4*f + 5*f**2 + 1 - 7*f**2 - 4*f. Let n(q) = -q**3 + 17*q**2 - 54*q + 24. Let d be n(13). Let c be o(d). Put c, -5, -1 in descending order.
-1, -5, c
Suppose -30*b + 114 = -576. Sort b, 7, 16.
7, 16, b
Let f = -892.8 - -888.8. Put 27, 25, f, -1 in descending order.
27, 25, -1, f
Suppose 20 = i + 2*o, 3*i - 5*o - 884 = -824. Let w(c) = -6*c - 20. Let z be w(-4). Sort z, -4, 5, i in increasing order.
-4, z, 5, i
Let z be (10/(-8))/((-2)/(-8)). Suppose -c - 148*o + 21 = -151*o, -21 = -5*c + o. Put z, 2, c in ascending order.
z, 2, c
Let f(k) be the second derivative of -k**4/12 - 4*k**3/3 + k**2/2 + 43*k. Let o be f(-8). Let j = 6 + -2. Sort o, -1, j in increasing order.
-1, o, j
Let t be (-8)/(-21) + 2/(-7). Let n = 0.43876 - 4.43876. Sort n, t, 0.06, -0.03 in increasing order.
n, -0.03, 0.06, t
Let q(l) = 5*l**2 - l. Let i be q(-1). Let m be i*(2/(-4) - (-1 - 0)). Suppose 0 = 3*o - b - 0*b + 1, 0 = -m*b - 15. Sort -5, 3, o, -1 in descending order.
3, -1, o, -5
Suppose 0 = 166*o - 85*o - 2 + 83. Sort -5, -7, o, 1 in ascending order.
-7, -5, o, 1
Suppose 0*v = h - 3*v - 18, 34 = 3*h + v. Suppose 3*i = h, 5*m - i = 2*m - 322. Let s be m*(-1)/72 + (-30)/135. Sort s, 0, -1.
-1, 0, s
Let j = -6/23 - 103/46. Let v = -408 + 413. Sort 3, j, v in decreasing order.
v, 3, j
Let n = -9144 - -9150. Sort -4, 4, 15, n, -1 in decreasing order.
15, n, 4, -1, -4
Suppose 5*a = -9 - 16, -5 = 3*c + a. Sort -2, c, 5, 18 in descending order.
18, 5, c, -2
Let c = 5376 + -5377. Sort -5/2, 19, c.
-5/2, c, 19
Let i be (22 + (-3 - 15))/(13 + 1). Put 1/185, -1/4, i in descending order.
i, 1/185, -1/4
Let t = -1230 + 1232.31. Sort -5, 1/3, t, 0.3, -2 in increasing order.
-5, -2, 0.3, 1/3, t
Let r = 3 - 6. Let s = -318 + 318. Let v(p) = 2*p**2 + 5*p + 5. Let j be v(s). Sort j, 6, 2, r in increasing order.
r, 2, j, 6
Let k(i) = 80*i**2 - 84*i + 5. Let y be k(1). Sort 4, 4080, y in decreasing order.
4080, 4, y
Let p(v) = -61*v - 643. Let f be p(-11). Sort -3, f, -1/8 in decreasing order.
f, -1/8, -3
Let u be (-85)/25 - 2/(-5). Suppose z + 2 = -5*s, 0 = 14*z - 9*z + 10. Sort 5, s, u, 4 in increasing order.
u, s, 4, 5
Let g be (-60)/140 + (-4 - 59/(-7)). Put -0.5, 2/259, 3/4, g in increasing order.
-0.5, 2/259, 3/4, g
Let h = 4.6 - 2.6. Let c = -0.14 - 2.86. Let f = 0.113 + -0.183. Sort h, -0.5, c, f in decreasing order.
h, f, -0.5, c
Let p = -20.66 + 20.71. Sort p, 37, -0.1, -1/8 in decreasing order.
37, p, -0.1, -1/8
Suppose 3*y = -y. Let p = -71.72 + 84.8. Let n = -12.08 + p. Sort 0.09, y, n.
y, 0.09, n
Let t be -1 + -36 + 271 + -233. Let y be 0 + -2 + (-2)/(-2). Put -5, 4, y, t in decreasing order.
4, t, y, -5
Let h(u) be the first derivative of u**3/3 - 12*u - 13. Let z be h(3). Let c = -20 - -5. Sort c, -4, z in ascending order.
c, -4, z
Let z = 17 + -20. Suppose -2992 = -14*v - 30*v. Sort z, 2/3, v.
z, 2/3, v
Suppose 46 = -19*m + 41*m - 24*m. Sort 12, 1, m, -1.
m, -1, 1, 12
Let m be 0*90/(-420)*7/(-6). Suppose 4*i - 4 - 3 = t, 0 = -3*i + 3*t + 3. Sort 3, i, m in ascending order.
m, i, 3
Let y = -9 - -5. Let q be -50 + (144 + -143)/((-1)/(-11)). Put y, -5, q in increasing order.
q, -5, y
Let j(h) = 2*h**2 - 74. Let n be j(-6). Put n, -816, -3 in increasing order.
-816, -3, n
Let z = -0.29531 - 0.10469. Sort z, -244/5, 4 in increasing order.
-244/5, z, 4
Let s be 6 + (-29 - 7)*4380/171. Let y = -916 - s. Let p = -0.3 + 0.1. Sort 0.5, p, y.
p, y, 0.5
Let o be (-1017)/(-452)*(40/180 - (-14)/(-9)). Let z = 3.5 - 3. Let b = -0.2 + 3.2. Sort o, z, b, 0.4.
o, 0.4, z, b
Let d = -44.98 + 44.95. Sort 47/6, -0.2, d in ascending order.
-0.2, d, 47/6
Let o = 1663 - 1654. Sort o, 45, 0 in decreasing order.
45, o, 0
Let t be (-1)/4 - 75/(-12). Suppose -7*i + t*i = 0. Let l be (-12)/(-10) - i - 1/5. Sort 0, l, -2/21 in decreasing order.
l, 0, -2/21
Suppose -61*y + 4 = 2*d - 63*y, 13 = 2*d + y. Sort -21, -2/3, d, 1 in ascending order.
-21, -2/3, 1, d
Let z be (2/6)/(1*8/72). Sort -37, 5, z in descending order.
5, z, -37
Suppose -37*c + 40*c + 5*d + 28 = 0, -2*d = -4*c + 6. Suppose -2*m - m - 9 = 0. Put 2, c, 3, m in ascending order.
m, c, 2, 3
Let x = -6423 - -57809/9. Let u = 68 + -68.65. Sort 5, x, u in ascending order.
u, x, 5
Let s be (1 + 1)*4/8. Let i = 329 + -334. Let l(y) = -y - 8. Let n be l(i). Sort s, n, 3, -5 in decreasing order.
3, s, n, -5
Let i = 11 - 7. Let a be (-1*2)/((1/4)/(76/(-304))). Put 5, a, i in descending order.
5, i, a
Let t be ((-17)/((-833)/(-322)))/(1/(-7)). Let u = 185/4 - t. Sort -3, u, 3/7, 6.
-3, u, 3/7, 6
Let c = -4.23 - -3.984. Let o = c + -0.654. Sort o, 0, -5 in decreasing order.
0, o, -5
Let d = -439.95 + 6.95. Let f = d + 437. Let s be 1/3*2/(-2). Sort s, 0.17, f in ascending order.
s, 0.17, f
Suppose