Put -145, 1, m in decreasing order.
1, m, -145
Let j = 2 + -5. Let y = -38.4 - -38.1. Put y, 8, j in decreasing order.
8, y, j
Suppose -3*n + 0*n - 3*d = 6, -4*n = 5*d + 5. Let b be (0 - -10)*(-4)/(-8). Put -4, b, n in increasing order.
n, -4, b
Let i be (-6)/(-16) - (-1157)/(-4984). Put -2, i, 0.11 in ascending order.
-2, 0.11, i
Let h = -6.1 - -6.2. Let a be 1/(-6) + (-3)/(-18). Suppose 3*i + 5*t = -21, a = -4*t + 5*t + 3. Put i, h, 1/4 in descending order.
1/4, h, i
Suppose 0*x - x = 3. Suppose -r = -f, -3*r - 5*f + 24 = -16. Sort 2, 4, r, x in decreasing order.
r, 4, 2, x
Let q = 966 + -978.94. Let l = -0.06 + q. Let g = 3188 - 9565/3. Sort g, l, 0 in decreasing order.
0, g, l
Let n be 20 + (-2 - (0 - 1)). Suppose -n + 16 = -s. Let u = -65 + 62. Sort u, -4, s in increasing order.
-4, u, s
Let b = 88 + -98. Sort b, 2/5, -4 in descending order.
2/5, -4, b
Let h = -269/1395 + -2/279. Let o = -35 - -35. Sort 0.4, o, -4/5, h in decreasing order.
0.4, o, h, -4/5
Let p be ((-2)/20)/((-17)/(935/44)). Put p, 0.1, -0.09 in descending order.
p, 0.1, -0.09
Let i(x) = 2*x + 10. Let y be i(-8). Let h = -87 - -85. Put h, y, 4 in descending order.
4, h, y
Suppose -11*l = 17 + 5. Sort -3, 4, l.
-3, l, 4
Suppose 2*q = -19*q - 84. Suppose x = -4*x + r + 2, 0 = 3*x + 5*r - 18. Sort -3, q, x, -10 in descending order.
x, -3, q, -10
Suppose -4*p - p - 2*w = -45, -3*p + 4*w = -53. Sort 5, -1, 2, p in increasing order.
-1, 2, 5, p
Let v = 9.32 + -14.32. Sort -22/5, v, 11.
v, -22/5, 11
Suppose x - 10 = -0. Let l be (2 + -1)/((-2)/x). Let s = 1674 - 1677. Put l, s, -1 in decreasing order.
-1, s, l
Let n = -599 + 598.9. Put 1, n, -1/6 in increasing order.
-1/6, n, 1
Suppose -4*j = -20, -14*j + 16*j = 5*b + 35. Sort b, -3, 10 in descending order.
10, -3, b
Suppose t - 2*t = -k - 1, 5*k - 4*t + 5 = 0. Let c(l) = 2*l + 7. Let z be c(-3). Let v be ((-44)/5 + 8)/(z/5). Put 4, v, k in decreasing order.
4, k, v
Let r(o) = o**2 - 6*o - 5. Let j be r(7). Let u(i) = i**2 - 5*i + 6. Let y be u(8). Let n be 65/y - j/12. Put 3, -3, n in increasing order.
-3, n, 3
Suppose -908 = 21*o + 2431. Sort -5, o, -2.
o, -5, -2
Suppose 70*r + 30 = 64*r. Let c be ((-7)/(175/(-10)))/((-1)/5). Put 7, r, -4, c in decreasing order.
7, c, -4, r
Suppose 102*m - 11*m + 273 = 0. Sort m, 1, -1, -310.
-310, m, -1, 1
Let h = 20.966 - 16.966. Let g = -13/2 - -41/6. Let s be (-1)/(-3) - 1/6. Sort g, s, h in decreasing order.
h, g, s
Let o = -44 - -48. Suppose -4*s = y + o*y - 5, -3*y + 3 = -2*s. Sort y, -10, -5 in ascending order.
-10, -5, y
Let x = 342 + -337. Sort x, 4, 3 in increasing order.
3, 4, x
Suppose -l + 2*l = -17. Let i = 21 + l. Suppose -c + 0*p - 10 = -4*p, -3*p + 14 = -i*c. Sort -4, 5, c in descending order.
5, c, -4
Let c = 22 + -25. Suppose 2*g + 2*q - 19 = -7, q = 5. Put -4, g, c in ascending order.
-4, c, g
Let t(r) = -r**3 + 3*r - 1. Let w be t(2). Let g(h) = -h**3 - 7*h**2 - h - 9. Let f be g(-7). Put 18, w, f in descending order.
18, f, w
Let x be (40/(-15))/4*42/(-4). Sort 0, x, 3/4.
0, 3/4, x
Let i be -5 + (-7 - (-10 + 2)). Sort 3, -7, i, 5.
-7, i, 3, 5
Let x = -1120 - -1120. Put 106, x, -2 in ascending order.
-2, x, 106
Let y = -237/148 - -50/37. Sort -2/1035, 2/7, -2/21, y in descending order.
2/7, -2/1035, -2/21, y
Let a = -1.758 - 1.242. Sort a, -5, 8 in increasing order.
-5, a, 8
Let u = 5 + -11. Suppose t + 4 = i, -4*i = -9*i. Put 5, u, 4, t in descending order.
5, 4, t, u
Let t = 545.1 - 545. Sort t, 0, -11, 1 in increasing order.
-11, 0, t, 1
Let r(c) = -c**3 + 3*c**2 + 3*c. Let o be r(4). Let t = 141 - 96. Suppose 10*g - t = 19*g. Sort 4, o, g.
g, o, 4
Suppose 20*n + 0*n + 0*n = 0. Sort -6, -4, 2, n in ascending order.
-6, -4, n, 2
Let w = 10.939 + 0.061. Sort w, 0.2, -4 in ascending order.
-4, 0.2, w
Let n = 2.7 + -3.5. Let i = n - -1.3. Put i, 1, 4/9 in decreasing order.
1, i, 4/9
Let c = -394 + 402. Sort c, -0.04, -3 in decreasing order.
c, -0.04, -3
Suppose 5*r = 6 + 9. Let n be ((-2)/4)/((-4)/48). Suppose 0 = -2*i - t - 9, -n - 6 = 4*t. Put 1, r, i in descending order.
r, 1, i
Let m(v) = 0 - 2 - 5*v + 4*v**2 - 5*v**2. Let o be m(-3). Suppose o*i = -3*d - d, 0 = d + 2. Sort 1, i, 0.2 in descending order.
i, 1, 0.2
Suppose 8*d - 6*d - 6 = 0. Suppose -3*k + d = -2*k. Suppose -x - 10 = 3*u, 10 = -5*u - k*x - 12. Put u, 3, 5 in increasing order.
u, 3, 5
Let l = 112 + -118.3. Let x = 6 + l. Let m = -173 - -172.9. Sort x, 0.1, m in descending order.
0.1, m, x
Let x be -1 - (1386/81)/(-14). Sort -0.04, -0.4, x.
-0.4, -0.04, x
Let b = 141 + -140. Let p = -5 + 3. Put b, -3, p in increasing order.
-3, p, b
Suppose 4*l = 3*l + 2. Suppose 25 = -3*u - 4*x, l*u + x + 3*x + 22 = 0. Sort u, 3, -12 in descending order.
3, u, -12
Let k = -12 + -9. Let a be 6/k + 37/7. Let x = -25 + 26. Sort -1/4, x, a in decreasing order.
a, x, -1/4
Let a(m) = 4*m - 3. Let i(p) = 3*p - 4. Let z(j) = -2*a(j) + 3*i(j). Let g be z(5). Sort g, 6, -4 in ascending order.
-4, g, 6
Let q(o) = -o**2 - 15*o + 53. Let b be q(3). Sort -4, b, -178.
-178, -4, b
Let i = -108 - -108. Sort -6, i, -16.
-16, -6, i
Let w = 9 + -4. Suppose -2*b + 39 = -w*b. Let l(t) = -t - 12. Let y be l(b). Put y, 4/3, 0.05 in increasing order.
0.05, y, 4/3
Let j = -32 + 65. Let p be (0 - 5)*j/(-385). Put 5, p, 2 in ascending order.
p, 2, 5
Let h = -15.2 + -2.8. Let v = h - -21. Let c(y) = -y**2 + 9*y - 10. Let z be c(7). Sort 1, z, v in descending order.
z, v, 1
Suppose -5 = -3*o - a, -25 = -5*o - 4*a - 5. Sort o, -4/7, 4 in decreasing order.
4, o, -4/7
Let g = 52 + -88. Let t = -35.94 - g. Put -0.2, 2/11, t in descending order.
2/11, t, -0.2
Let q(v) = v**3 + 9*v**2 + 17*v - 17. Let z be q(-5). Let f be (-6)/12*(-4)/(-18). Let l be 8/(-28)*(-2)/2. Sort l, f, z in ascending order.
z, f, l
Suppose -170*q + 174*q - 8 = 0. Sort 10, q, 5 in decreasing order.
10, 5, q
Suppose -2*w - 9 = -w + 4*s, 3*w + 4*s - 5 = 0. Let c be (1 - 0)/(w/(-2)). Sort 2/11, 1/2, c in ascending order.
c, 2/11, 1/2
Suppose -2*y - y = 15. Suppose -3*i - 2*u - 7 = -9, -5*i + u = -12. Let v = 3 + -5. Sort i, y, v.
y, v, i
Let f = 0.2993 + 0.1807. Sort -4, f, 0.2, 0.3 in decreasing order.
f, 0.3, 0.2, -4
Let f be 2/(-4)*6*1/(-3). Let x = -0.01 - 2.99. Let l = -5 - x. Put l, f, 5 in decreasing order.
5, f, l
Let w = -10.7 + 12. Let f = 34.8 + -33. Let j = f - w. Put j, 6/5, -13 in decreasing order.
6/5, j, -13
Let f = 697.9 + -698. Put f, -2/19, 3 in descending order.
3, f, -2/19
Let n(y) = -y + 9. Let z be n(8). Let i be (z - 1)/(-1) - 9. Put 0.1, i, -2 in decreasing order.
0.1, -2, i
Suppose -2*x - 2 = 0, 2*x + 112 - 114 = a. Put -0.62, 9, a in increasing order.
a, -0.62, 9
Suppose -65*o + 12 = -69*o. Put 4, o, -59 in descending order.
4, o, -59
Suppose 5 = 2*r + 5*z, 0 = 5*r + 3*z - 4 + 20. Sort 0.3, 4, -0.2, r in increasing order.
r, -0.2, 0.3, 4
Let p = 54/31 - 247/124. Sort 2/3, p, 2/17, 0 in descending order.
2/3, 2/17, 0, p
Suppose 0 = -7*r + r + 12. Let j(h) = -1 - h**3 - h - 4*h**2 - h - 8 - r*h**2. Let u be j(-6). Sort 5, -4, u.
-4, u, 5
Suppose -4*j + 2*p - p = 17, j - 2*p = -13. Suppose 7*v - 2*v = 10, -12 = -c - 3*v. Sort j, -1, -8, c in descending order.
c, -1, j, -8
Suppose -4*b - 17 = 8*k - 5*k, -3*b - 14 = k. Sort b, -47, 2.
-47, b, 2
Let i be -2 + 20*3/27. Let l = 0.59 + -3.69. Let g = 3 + l. Put g, i, 0.3 in decreasing order.
0.3, i, g
Let z = -63 + 59. Sort -5/16, z, 4/7.
z, -5/16, 4/7
Let h(c) = -c**2 + 14*c - 30. Let v be h(11). Put -2, 1, v, -6 in descending order.
v, 1, -2, -6
Suppose -3*n + 4*s = -228, 5*n - 4*s = -0*n + 372. Let p = n + -80. Put 4, -4, 1, p in descending order.
4, 1, -4, p
Let f(g) = -10*g - 1 + 3 + 9*g. Let d be f(4). Let r be ((-160)/12)/5*-3. Sort -1, d, r in decreasing order.
r, -1, d
Suppose -22*b - 461 = -131. Sort b, 5, 2, 3 in increasing order.
b, 2, 3, 5
Let f be 4/(-18) + (-518)/(-63). Suppose 3*z - f = -3*n + 4*z, 5*z = -5*n + 40. Sort -0.2, -8, n.
-8, -0.2, n
Let v = -49 + 44. Let u be (0 - (-2)/v) + 13/(-5). Put -5, u, -4 in ascending order.
-5, -4, u
Let r = -11 - -10.8. Suppose 7*p = p - 48. Let f be p/(-2) - 75/20. Sort -9, r, f in descending order.
f, r, -9
Let j be 18*(-2)/12*-4. Let n(t) = -2*t + 13. Let m be n(6). Suppose 4*f = -m + 9. Sort f, 5, j in decreasing order.
j, 5, f
Let i = -365 - -370. Sort 3