 Sort d, g, 0.4 in descending order.
0.4, g, d
Let o = 0.06 + -3.06. Let n(r) = -2*r**2 + r + 2. Let p be n(2). Sort p, o, -2 in descending order.
-2, o, p
Let j be 4 + (-7 - -4)*(-2)/6. Sort j, -4, -1/2 in decreasing order.
j, -1/2, -4
Let b = -6.17 + 1.07. Let p = b - -0.1. Let w be 4/6 + 2/(-21). Sort 1, w, p in decreasing order.
1, w, p
Suppose -8*x = -x - 28. Suppose 0 = 5*b + 4*z - 13, 5*z = b + 3*z - 11. Sort x, -1, b.
-1, x, b
Suppose -f + 1 = -2*u, 4*f - 12 + 38 = -2*u. Suppose 7*c - 28 = -0*c. Sort f, -4, c in decreasing order.
c, -4, f
Let a be 0 - (4 - (-1 - 0)). Let r(c) = -c**3 - 2*c**2 + 36*c - 5. Let u be r(5). Sort a, u, 3 in decreasing order.
3, u, a
Let l = -9.3 + 9. Let q = 6/5 + -7/5. Sort q, -1/3, l in increasing order.
-1/3, l, q
Suppose 3*o + 2*o - 15 = 0. Let k = -66 + 66. Sort o, k, -0.1 in ascending order.
-0.1, k, o
Let g be (-2)/(-5) - (-17)/(-5). Suppose q = -2*q - 6. Let b(a) = a**3 + 6*a**2 + 5*a + 3. Let u be b(-5). Put g, u, q in ascending order.
g, q, u
Let u = -0.07 - -2.27. Let n = u + -2.4. Sort 3, n, -0.4 in descending order.
3, n, -0.4
Suppose -8 + 2 = 2*p. Let r = -2 + -4. Let s = -11 - r. Sort p, 2, s in decreasing order.
2, p, s
Let q(d) = -d**3 + 15*d**2 - 14*d - 1. Let x be q(14). Sort 0, 1, -2, x in decreasing order.
1, 0, x, -2
Let b be 0 + -1 + 0 - -29. Suppose -4*n + b = 4*v, -v - 5*n + 23 = -0*v. Suppose 3*o + 13 = 4*u, 0 = o + v*u - 0*u. Sort 0, -2, o.
o, -2, 0
Let v(j) = -j**3 - 5*j**2 - 4*j - 4. Let h be v(-4). Let k be (-7)/(-6) + 6/(-9). Let z = -5/6 + k. Sort h, z, -5 in ascending order.
-5, h, z
Suppose 2 = 2*p, 3*p - 12 = -3*w - 0*p. Sort 2, -4, w in ascending order.
-4, 2, w
Suppose 0 = 3*r - 3*q + 10 + 32, -4*r = -q + 56. Let k be 4/(-8) - r/4. Suppose -k*s = x + 11, -s + 2*s = -5*x + 15. Sort x, -4, 0 in descending order.
x, 0, -4
Suppose 16 - 6 = 2*k. Put k, 0.1, -2 in ascending order.
-2, 0.1, k
Let t = -3.4 - 11.6. Let o = -11 - t. Let d = 2 - o. Sort d, 4, 0.4 in decreasing order.
4, 0.4, d
Let y = 239/2 - 119. Sort y, -47, 4/5 in decreasing order.
4/5, y, -47
Let l = 13 + -13. Put 4, l, 3 in ascending order.
l, 3, 4
Let q = -0.1 + 1.3. Let t = 70 - 65. Sort t, q, 4 in decreasing order.
t, 4, q
Let h(b) = -b**2. Let g be h(-1). Let d(p) = 5*p - 3. Let f be d(3). Suppose -4*t + t - f = 0, 2 = j - t. Sort g, -5, j.
-5, j, g
Let t = -16.9 + 17. Let n = 9 + -5. Put n, t, -2 in decreasing order.
n, t, -2
Let c = 82.6 - 83. Let k = 5 + -2. Let y = -0.2 + 0.2. Sort y, c, k in descending order.
k, y, c
Suppose d + 0*d - 5 = 0. Let i(y) = y**3 - 4*y**2 - 4*y + 5. Let q be i(5). Suppose 2*c + 2 = q. Put d, c, -3 in descending order.
d, c, -3
Suppose 2*y = -y - i - 25, 4*y - 5*i + 46 = 0. Sort 1, y, 2 in descending order.
2, 1, y
Let n = -7/30 + -1/60. Let z = -13 + 22. Let h be 6/(-7)*(-6)/z. Sort h, -3, n in descending order.
h, n, -3
Let g be 24/14 - (-4)/14. Let u = -60 + 64. Suppose q = -v + u, -g = -5*q + 23. Sort 0, v, -3 in increasing order.
-3, v, 0
Let j = 0 - 1. Let r be (-1)/(5/2)*-10. Let q be 2*((-6)/r - -2). Put j, 2, q in ascending order.
j, q, 2
Suppose -4*i - 248 = -4*m, -13 + 38 = 5*m. Let g be (1 - 6/i) + -1. Let q = 0 - 0.2. Put g, q, -3/8 in decreasing order.
g, q, -3/8
Let k(w) = 10*w - 59. Let f be k(6). Suppose 0 = 3*p - 2*c + 4, -2*c + 0 - 4 = p. Put p, f, -4 in descending order.
f, p, -4
Let h = 8 + -43/5. Sort -0.1, h, -2/5 in descending order.
-0.1, -2/5, h
Let h = 229.98 - 228. Let n = h + 0.02. Suppose -1 = -5*s + 24. Sort 4, n, s in descending order.
s, 4, n
Let i = -11 + 16. Suppose m = h + 2, -3*m - h + 16 = 2*m. Let k be ((-6)/(-4))/((-8)/16). Put k, m, i in ascending order.
k, m, i
Let i = -24 - -19. Put -1, 2, i in descending order.
2, -1, i
Let b = -91 + 91.43. Let y = b - 0.4. Sort 2, y, -1 in descending order.
2, y, -1
Let g be (2/(-14))/(20/(-35)). Put -0.5, g, 0.5, 0.01 in decreasing order.
0.5, g, 0.01, -0.5
Suppose 5*u + 12 = 2*y, u = -2*y - 3*y + 3. Let m = -5 + 2. Put u, -1, m in descending order.
-1, u, m
Suppose 0 = -4*l - 3*q + 35, 0 = 4*q + 1 - 21. Suppose -3*t = -0*d - d + 3, 5 = -d - l*t. Put -4, d, 6 in ascending order.
-4, d, 6
Let j = -127 - -152. Sort 2/11, 4, -2/9, j.
-2/9, 2/11, 4, j
Suppose -3*a = -4*o - 43, -3*a = -7*a - 2*o + 28. Suppose 2*f + a = -3*k, -3*k - 30 = -4*f - 3. Sort 0, -1, k in decreasing order.
0, -1, k
Let w be ((-4)/(-5))/(18/45). Put 1, 3, w in ascending order.
1, w, 3
Let j = -3.18 - -0.18. Put j, -2, 1 in increasing order.
j, -2, 1
Let a(z) be the third derivative of -z**4/24 - z**3/2 + 3*z**2. Let c be a(-7). Let p(i) = -i + 1. Let h be p(4). Sort -2/9, c, h in increasing order.
h, -2/9, c
Let x(c) = -c**2 - c - 1. Let t be x(-2). Let i be 14/t + 4/6. Let w be (-24)/(-8) + 74/(-26). Sort w, 0.5, i.
i, w, 0.5
Let o(u) = -u**3 - 9*u**2 - 7*u + 4. Let i be o(-8). Sort 1, 2, i, 3.
i, 1, 2, 3
Let a = 0.01 + 4.99. Let h = 0.04 - -0.46. Sort h, -5, a.
-5, h, a
Suppose -v = 3*h + 10, -h + 5 = -5*v - 13. Let n be (0 - -10)*1/h. Suppose 0 = -j - 4*j - 5. Put 5, j, n in ascending order.
n, j, 5
Let m = 0.7 - -0.3. Let s be (0 - (-4 + 3))/(-3). Sort m, -3, s.
-3, s, m
Let y(i) = -i**3 + 7*i**2 - 2*i + 9. Let w be ((-2)/(-8))/(3/84). Let b be y(w). Put 3, b, -3 in descending order.
3, -3, b
Let m be 3 - (-2)/(-4)*2. Let b be -2 - (31 + (-9)/3). Let r be ((-10)/b)/(1/(-3)). Sort -4, r, m in descending order.
m, r, -4
Let p = 17 - 6. Put p, -0.1, 5 in increasing order.
-0.1, 5, p
Let f = -1348/7 + 193. Sort f, 11, 1/4 in descending order.
11, f, 1/4
Suppose 0 = 2*v - 0*v - 5*o - 32, -4*v + 64 = -5*o. Suppose 5*q = -1 + v. Sort 0, q, -3 in descending order.
q, 0, -3
Suppose -4*j + 4*d = 40, -10 = 5*j + 3*d - 0. Suppose 6 = -7*g - 8. Put 0, g, j in ascending order.
j, g, 0
Let s = -27 - -53. Suppose -5*d = -3*v - s, 2*v + 3*d = -v + 6. Sort -4, v, 3.
-4, v, 3
Let u = -52 + 48. Sort u, 0.3, -2, -1/2.
u, -2, -1/2, 0.3
Let x = 92 - 90. Put x, -11, -0.3 in ascending order.
-11, -0.3, x
Let u(z) = -z + 9. Let f be u(6). Sort 0.073, f, 5 in increasing order.
0.073, f, 5
Let b be ((-7)/(-14))/(1/4). Suppose -1 + 10 = 3*m. Suppose 0*k = -m*k. Sort -4, k, b in decreasing order.
b, k, -4
Let k = -0.32 - -0.02. Let w = 30 - 26.6. Let a = w - 3. Put -4, a, k in decreasing order.
a, k, -4
Let t be (1 - (-13)/29) + 0. Let o = 494/261 - t. Let h = 0.073 - 3.073. Put 2, o, h in decreasing order.
2, o, h
Suppose 2*i = 8, -4*w = -w - 2*i + 11. Let b = 7 + -3. Sort b, 3, w.
w, 3, b
Let x = 14 - 12. Suppose -k + 3 = -x*k. Put 4, k, -1 in ascending order.
k, -1, 4
Suppose 0 = 4*f + 8 + 8. Suppose -2*k = -d + 5, -5*k - 5 = 4*d + d. Sort f, d, 4 in decreasing order.
4, d, f
Let j = -206/117 + 20/13. Sort j, -0.07, -1/2.
-1/2, j, -0.07
Let x = 37 - 33. Put 3, -5, x in ascending order.
-5, 3, x
Let s(a) = -a**3 - a**2 - a - 4. Let i be s(-3). Suppose 4*w + 3*d + 26 = -0*d, 3*w + d = -i. Suppose m = -0 - 1. Put m, -4, w in ascending order.
w, -4, m
Let u(s) = -s**3 + 4*s**2 - 3*s - 3. Suppose -m - 8 = l, -16 - 2 = 4*l - 3*m. Let x be l/9*-3 - -1. Let a be u(x). Put a, -2, 0.4 in ascending order.
a, -2, 0.4
Suppose o + 10 = 3*w, w = o - 3*w + 12. Let k = 4 + o. Sort -1, k, -2 in descending order.
k, -1, -2
Let v = 4 - -1. Suppose k - 5*y = -3*k + v, -k + 15 = -4*y. Let o be (-7 - k) + 0/2. Sort o, 4, -5.
-5, o, 4
Let t = 80 - 80. Let o be (1 + 3)*(-2)/4. Let b = 16 + -11. Sort o, b, t in increasing order.
o, t, b
Let y = 177 + -179. Sort y, 5, 3.
y, 3, 5
Let l = -0.2 - -0.21. Let f = -54.59 + 55. Let k = f - l. Sort 1/5, 3, k.
1/5, k, 3
Let q(b) = b - 6. Let y be q(6). Let s be 510/(-18) - 1/(-3). Let a be s/6 - 12/(-18). Sort a, -5, y.
-5, a, y
Suppose -14 - 1 = -5*x. Suppose 0 = n + x - 2. Sort -4, 4, n.
-4, n, 4
Let r = -13 - -8. Let p(k) = -k**2 + 4*k - 4. Let c be p(3). Let a be -2 + c - 28/(-10). Put a, r, -1/3 in ascending order.
r, -1/3, a
Suppose a + 3 + 2 = 0. Suppose w = 3*w. Suppose -2*d = 2*u - 5*d - 3, w = -3*u - d - 12. Put u, 5, a in decreasing order.
5, u, a
Let n be -10*(-4)/(-16)*-2. Let c be 9 + (0 + -5 - -2). Sort c, n, -4.
-4, n, c
Let n = 21 - 20. Sort 0, n, 5 in ascending order.
0, n, 5
Let c(t) be the second derivative of t**5/20 - 11*t**4/12 - 5*t**2/2 - 2*t. Let j be c(11). Sort j, 5, 0.2 in decreasing order.
5, 0.2, j
Le