 Put c, -0.5, g in ascending order.
-0.5, c, g
Let w = 295 - 116. Let a = w - 105. Let o = -71 + a. Put 0.2, o, 2.1 in decreasing order.
o, 2.1, 0.2
Let u(c) = -2*c**2 + 40*c + 16. Let t be u(20). Suppose -22*v + t*v = -12. Let a be (28/(-10))/((-2)/(-10)). Sort a, -2, v in decreasing order.
v, -2, a
Let o = -11 + 16. Suppose -2*l = 3*b + 603 + 3231, -5*b + 2*l - 6374 = 0. Let g = 1275 + b. Sort 1, g, o in increasing order.
g, 1, o
Let w(d) = 2*d**2 - 89*d + 803. Let r be w(33). Sort 7, r, 4, -2, -3 in increasing order.
-3, -2, 4, 7, r
Let d(r) = -29*r - 352. Let s be d(-12). Sort s, 4, -3.
s, -3, 4
Let d = -12621 + 12616. Put 2, 1, d, 673 in decreasing order.
673, 2, 1, d
Let n = -53 - -48. Let c = -20 + 75. Let p be (1 - 0)/(11/c). Sort 3, p, n.
n, 3, p
Let k be 78/18 + -6 - -2. Sort -4, 0.3, -2, k, 1.22 in decreasing order.
1.22, k, 0.3, -2, -4
Suppose -a - 160 = -6*a - 5*o, -4*a + o = -133. Suppose -4*y - 2*d = -154, 31*y - 4*d + 74 = a*y. Sort 0.2, 2/9, y in descending order.
y, 2/9, 0.2
Let s(b) = -b**3 - 7*b**2 + 5*b - 12. Let c be s(-8). Let j be 1/c + (-1 - (-21)/18). Let x = 3.17 - 2.17. Sort 0.06, x, j in decreasing order.
x, j, 0.06
Let p = -15715 - -15717. Let t be (-6)/21 - (-10)/(-14). Sort t, p, -11, -5 in descending order.
p, t, -5, -11
Let i = 1809/35 + -359/7. Put 3/7, -0.01, -16, i in decreasing order.
3/7, i, -0.01, -16
Suppose 40*p = -22*p + 868. Put p, 1, 5, 0, 6 in decreasing order.
p, 6, 5, 1, 0
Suppose 4*o - 58 = 711 + 355. Put -1, 5, 3, 0, o in descending order.
o, 5, 3, 0, -1
Suppose b + 0*b = -u + 2, -b + 14 = -5*u. Suppose 3*w = b*j - 2, 0*j + 3*j = -12. Let n be (-1 + w/(-18))*(-6)/(-4). Put n, 0.1, 2/3 in descending order.
2/3, 0.1, n
Suppose 3186*c = 3168*c + 72. Sort 6, c, 26 in decreasing order.
26, 6, c
Let w(z) = 8*z**2 + 43*z + 11. Let o be w(-5). Suppose 5*m = -n - 7, 0 = -4*n - 2*m - 2 - 8. Sort n, o, 2, -1.
o, n, -1, 2
Let o = -8/113 - -330/1469. Put -5, -1/2, o, 7, 1/4 in ascending order.
-5, -1/2, o, 1/4, 7
Let v be 139 + ((-4)/(-14))/((-14)/(-2352)*12). Sort 5, 1, -1, v.
-1, 1, 5, v
Suppose 492*b - 496*b = 20. Let g be ((-29)/29)/(1 - b/(-4)). Sort 3, 56, -1, g in decreasing order.
56, g, 3, -1
Suppose -20 = -14*t + 9*t, 5*p - t = 166. Sort p, 0, 4 in decreasing order.
p, 4, 0
Let l = 484.4 + -484. Let n = 1.9 - -12.1. Sort l, n, 2/7 in ascending order.
2/7, l, n
Let z = 0.2 - 0.6. Let u = -73559 + 73559. Sort z, u, -10.
-10, z, u
Let l = -170.029 - -170. Let j = l - 2.971. Put 2, 16, j in increasing order.
j, 2, 16
Let i = 0.05058 - -0.04942. Put -3/10, -3/8, i in decreasing order.
i, -3/10, -3/8
Let n be 6/14 + 423/(-693). Let k = -44.7 - -45. Let r = 0.116 - 0.016. Put n, r, k, 0 in descending order.
k, r, 0, n
Suppose 5*i = d - 41 + 37, 5*d - 20 = 4*i. Let s(j) = -j**2 - 4*j + 4. Let q be s(-5). Let c be q + 3 + i + (0 - -2). Sort -3, 1, c.
-3, 1, c
Let t be (-45)/36 - (3 + (-35)/8). Put t, 1, -6 in increasing order.
-6, t, 1
Let m = -12 + 2. Let h = 5 + m. Suppose 10*t + 414 = 454. Sort 7, t, h in decreasing order.
7, t, h
Let l = 8465 + -8319. Put -2, -0.3, -4, l in decreasing order.
l, -0.3, -2, -4
Suppose -2*i - 3*i = 5*w - 195, 0 = -5*w - 15. Suppose -i = -l - 6*l. Suppose -3*n - 10 = -2*m - n, l = -2*n. Sort -5, -4/9, m, 0.5.
-5, -4/9, 0.5, m
Suppose -15*x + 11*x + q - 38 = 0, -7 = x + q. Let m be 2/2*x/(-9). Sort 2, 38, m in decreasing order.
38, 2, m
Suppose 1466 + 74 = 308*h. Put -5, 4, h, 12, -1 in increasing order.
-5, -1, 4, h, 12
Suppose 9 = -u - 0*v + 2*v, -3*u - 17 = -4*v. Let d(i) = i**2 - 11*i - 5. Let w be d(10). Let z(a) = -5*a**2 - 25*a - 15. Let m be z(-4). Sort u, m, w.
w, u, m
Let l = -10567/5467 - -270/497. Let g = -905/567 - -2/81. Let x = l - g. Put -0.3, 5, x, -1/6 in descending order.
5, x, -1/6, -0.3
Let n be 10 + ((-175)/(-15))/7*-3. Put 351, 0.1, n in increasing order.
0.1, n, 351
Let y = -37.323 + -1445.677. Put 3, 5/3, y in descending order.
3, 5/3, y
Let o(b) = 33*b**2 + 5*b. Let f be (-6 - (-14 + 3)) + (-3 - 1). Let p be o(f). Let c = p - 37. Sort -4, 0, 5, c.
-4, 0, c, 5
Let s = -6382/77 - -918/11. Sort 3, -3, -4, s in ascending order.
-4, -3, s, 3
Let i(v) be the second derivative of -v**4/12 + v**3/6 + v**2/2 - 24*v. Let h be i(-2). Let b = 52 - 53. Put b, 4, 5, h in increasing order.
h, b, 4, 5
Let n = 3139 + -3138. Let j be (50/(-24))/(134/9). Let o = 1/67 + j. Put n, o, -1, -2 in descending order.
n, o, -1, -2
Let c be 17/68 + 8/(-32). Sort -81, 2, -21, c in descending order.
2, c, -21, -81
Let f = -0.2 - 4.8. Let s = 196 + -197.05. Let z = s - -0.05. Sort -2/3, z, f, 0.2 in decreasing order.
0.2, -2/3, z, f
Let r be -6 + ((-62)/(-308))/(12/360). Let t = 169/385 - r. Sort t, -2, 18 in decreasing order.
18, t, -2
Suppose 4*g + 3 = 23. Let t = g + -10. Let r = -0.08383 - 0.11617. Sort r, -1, 1/3, t in descending order.
1/3, r, -1, t
Suppose 10*r - 1768 = -16*r. Suppose -36*k + 4 + r = 0. Put 3, k, -5, 4 in decreasing order.
4, 3, k, -5
Let t(x) = -18*x - 727. Let b be t(-41). Sort 8, -3, b in ascending order.
-3, 8, b
Let i = 6/7 + -25/21. Let k = -39/14 + 5/2. Suppose -2537*u - 644 = 161 - 3619 - 2260. Sort -4, i, u, k in descending order.
u, k, i, -4
Suppose 0 = -0*u + u. Let p = 3153 + -3145. Sort -2, 2, p, u in decreasing order.
p, 2, u, -2
Let i = -1058 + 1063. Sort i, -96, -20 in decreasing order.
i, -20, -96
Suppose -a = 4*q + 12, -2*a + 6*a = 3*q - 67. Let t be (a/40)/((-5 + 6)/5). Sort -4, 7, t, -1 in descending order.
7, -1, t, -4
Let q = -1136.3 + 1136. Let c = -2421.8 - -2421. Let z = 2.1 - 2. Put q, 5, z, c in descending order.
5, z, q, c
Let r = 1385 + -1385.3. Sort 1, 115, 0.5, r in increasing order.
r, 0.5, 1, 115
Let m = -62.67 + 60.67. Sort -0.4, 0.3, 4, m, 1 in increasing order.
m, -0.4, 0.3, 1, 4
Let s(a) = a**3 + 34*a**2 - 29*a + 214. Let d be s(-35). Put -5, -35, d, -12 in descending order.
d, -5, -12, -35
Let v = 24 + 208. Let f = 231.5 - v. Sort 5, f, 3/2.
f, 3/2, 5
Let h = 0.375 + 0.015. Let p = 18.3 + -18.7. Put p, -2, -5, h in descending order.
h, p, -2, -5
Let r be -3 + (-371)/(-119) + (-225)/612. Let m = 1.5 + -1.3. Let k = -1.8 - m. Sort -0.5, k, 1, r in ascending order.
k, -0.5, r, 1
Suppose a = 6*a + 25. Suppose 5 = -57*i + 55*i - 3*n, -20 = 4*i + 4*n. Sort -2, i, 4, a.
i, a, -2, 4
Suppose 8*x = 165 - 349 + 152. Put 2, 251, x in increasing order.
x, 2, 251
Let y(h) = 33*h**3 - h**2 + 2*h - 1. Let o be y(1). Let g = o - 71. Let k = -38 - g. Sort k, 4, -1, -2 in decreasing order.
4, k, -1, -2
Suppose -s + 10 = -11*r, -53*s + 57*s + 1 = 3*r. Put -865, 5, s in decreasing order.
5, s, -865
Let o = 5 - 10. Suppose -5*c - t = -5*t + 28, 0 = c + 2*t. Let p be -3*((-7)/(-14))/((-3)/10). Put p, c, o, 4 in decreasing order.
p, 4, c, o
Suppose -2*v + 54 = -2*m, -37 = m - 6*v + 7*v. Let d be ((-1)/(-4))/(m/128). Let s be d + 3 - (-609)/(-315). Sort -4, s, 4/5, -0.3 in decreasing order.
4/5, s, -0.3, -4
Let l be (-2 - -12)*4/10. Suppose -151*x - 61 + 444 = -70. Sort -5, -4, x, l in decreasing order.
l, x, -4, -5
Suppose -8*x - 189 = -x. Let v be -3*1/(-27) - 42/x. Put 0.2, v, 15/2 in decreasing order.
15/2, v, 0.2
Let d = -0.276 + -0.02. Let h = d - -0.35. Let w be 15/(-5) + (-26)/(-8). Sort 0.2, w, 1, h.
h, 0.2, w, 1
Let q = -253/5 - -51. Let w = -0.3454 - 0.0546. Sort 5, w, q, -11.
-11, w, q, 5
Suppose 0 = 22*b - 19*b + 3. Let c(r) = -14*r - 33. Let i(l) = 13*l + 33. Let y(a) = 5*c(a) + 6*i(a). Let d be y(-4). Sort -3, d, b.
-3, b, d
Suppose -17*b + 874 = 925. Sort -12, 4, 1, b in increasing order.
-12, b, 1, 4
Let b = -22071.11 + 22071. Sort -2, 2/5, 0, b, 7.
-2, b, 0, 2/5, 7
Let w = 134 - 133. Suppose 0 = 5*r - 4*t + 32, -5 = 2*r - 0*t + t. Sort 9, w, r in decreasing order.
9, w, r
Suppose -89*h - 294 - 362 = -211. Put h, -37, -9 in descending order.
h, -9, -37
Let m be 80/(-182) + 4/14. Let d = -0.1612 + 361.8612. Let o = 362 - d. Put o, 5, m in decreasing order.
5, o, m
Let v = -4646.02 + 4646. Sort 7/47, -2, v.
-2, v, 7/47
Let v = -0.8 - -0.3. Let u = 162 + -143.6. Let r = 18.5 - u. Put r, v, -2 in descending order.
r, v, -2
Let i = -317.422 - 0.578. Let z = 314 + i. Sort z, -1/4, 0.2, 10 in ascending order.
z, -1/4, 0.2, 10
Suppose 129 = -2*t - 4*w - 7233, 3*w - 7411 = 2*t. Put t, 2, 1, 5 in descending order.
5, 2, 1, t
Let k =