Sort f, 0.4, h in descending order.
0.4, f, h
Let r = -5.7 + 2.7. Sort 1, r, 2 in decreasing order.
2, 1, r
Let g = -10 - -6. Sort 4, g, 1.
g, 1, 4
Let c be -3 - (-4 - 2)*-1. Sort 1, 0, c in descending order.
1, 0, c
Let w be 29/(-9) - 2/(-9). Let m be (-13)/w + (-6)/(-9). Put -2, -1, m in increasing order.
-2, -1, m
Let y(a) = a**3 - 10*a**2 + 9*a + 2. Let i be y(9). Let u be 1/(-1)*(2 + -2). Sort i, -5, u in ascending order.
-5, u, i
Let s = 7 - 12. Put s, 3, 0.1 in ascending order.
s, 0.1, 3
Let m be ((-4)/6)/((-3)/3). Put m, 0.3, -2 in descending order.
m, 0.3, -2
Suppose -m = 3*p + p - 48, 4*m = -4*p + 48. Let o be (-1)/(-2)*p/3. Put 1, -5, o in decreasing order.
o, 1, -5
Let r be (-1 - 5/10)/(2/(-4)). Let u(w) = -w**3 - 4*w**2 + 6*w + 7. Let t be u(-5). Put t, r, 5 in ascending order.
t, r, 5
Let f(b) = -2*b - 1. Let y be f(-2). Let o be y/1 + (-55)/20. Sort 2, o, 2/7.
o, 2/7, 2
Suppose -2*z - 1 = -o - 8, z = 5*o - 1. Suppose 3*g - 1 = -z*i, -4 = 4*i - g + 5*g. Sort i, -4, 3 in descending order.
i, 3, -4
Suppose x + 2*x - 3 = 0. Sort x, 4, -2 in decreasing order.
4, x, -2
Let s be (5/(-10))/((-2)/(-8)) - -12. Put s, -2, 0 in ascending order.
-2, 0, s
Let m be 2/8*-2*-2. Let o(p) = 2*p**3 + p**2 - 1. Let s be o(m). Suppose 3*t + 8 = -7. Sort -3, s, t in decreasing order.
s, -3, t
Suppose 8*g = 3*g + 5. Let u = 1 + 2. Sort u, g, -3 in decreasing order.
u, g, -3
Let f be (-12)/(-30) + (-13)/(-5). Let r be 8/(-3) + (f - 1). Let a = 0.04 - -1.96. Sort r, a, 1/3 in increasing order.
r, 1/3, a
Let j(u) = -u**3 - 5*u**2 - 3*u + 1. Let a be j(-4). Put a, -5, -15 in descending order.
a, -5, -15
Let m = 1/48 + -103/336. Sort 4, m, 1/2 in descending order.
4, 1/2, m
Suppose 0 = -q - 0*q - 7. Sort 5, -1, q in descending order.
5, -1, q
Let s = -17 + 15. Put -4, s, -3 in descending order.
s, -3, -4
Suppose 0 = 4*h + 29 - 9. Let x be (18/15)/(1/h). Let b(q) = -q**2 - 8*q - 7. Let v be b(x). Sort v, 3, -5.
-5, 3, v
Let l = 0.6 - 0.5. Let i = -0.7 - -0.4. Let f = i + l. Sort -5, -0.5, f.
-5, -0.5, f
Let v be 2/(-5*1/(-1)). Let g = 6 - 2. Let t = -4.3 + -0.7. Sort t, g, v.
t, v, g
Suppose -p = -0 + 3. Sort 2, p, 1.
p, 1, 2
Let q = 18 - 17. Put -6, q, -2 in decreasing order.
q, -2, -6
Let i = -75 + 78. Sort i, 1, -2/7 in increasing order.
-2/7, 1, i
Suppose 15 = 4*c - j, -4*c + 2*j + 18 = -0*j. Suppose 2*p - 11 = -c. Sort -4, p, 3 in decreasing order.
p, 3, -4
Suppose 2*z = -3*z - 25. Let l = -11 + 19. Let k = l - 3. Sort k, z, -4 in decreasing order.
k, -4, z
Suppose 7 = 7*q - 14. Let r be 10/2*(-4 - -5). Put q, r, -1 in descending order.
r, q, -1
Let a = -3 - -7. Let d be 1/(-2)*-4*-2. Let w(l) = -l**3 - 3*l**2 + 5*l + 4. Let g be w(d). Put a, -5, g in ascending order.
-5, g, a
Suppose 0 = -3*s - 4*q + 14 - 2, 2*s + 2*q = 8. Let u = -35 + 25. Let j be (-3)/(-15) - 48/u. Sort s, -4, j.
-4, s, j
Suppose -5*x + 2*x = 6. Let u be (1 - 4) + (-5)/x. Sort -4, 0.3, u.
-4, u, 0.3
Let d(y) = -y**2 - 15*y - 16. Let p be d(-14). Sort 5, 4/3, p in descending order.
5, 4/3, p
Suppose 103 = 6*q + 85. Sort -3, 4, q in decreasing order.
4, q, -3
Let i(z) = -z**2 - 6*z - 1. Let h be i(-5). Suppose h*a - 2*a = 5*p - 13, 2*p = -3*a - 10. Sort a, -3, 0 in decreasing order.
0, -3, a
Let r = -0.4164 - 0.0836. Let s = -2/129 - -88/129. Let i be -2*3 - (-1 - 1). Sort i, s, r in descending order.
s, r, i
Let m = 0.031 + -5.031. Let x = -4.3 + 4. Put x, m, 0.4 in ascending order.
m, x, 0.4
Suppose -2*g - 6 = -3*g. Suppose -u + 3*c = -15, -5*u - g*c + 5*c = 5. Put u, 5, 2 in descending order.
5, 2, u
Let t = -419/7 + 60. Let a = -0.03 + 2.03. Put a, t, -3/8 in decreasing order.
a, t, -3/8
Suppose 2*m = 5*m - 9. Suppose -3*i - 2 = -11. Let j(u) = -u**3 + 2*u**2 + u + 1. Let x be j(i). Sort -1, x, m.
x, -1, m
Let y = 6.3 - -22.7. Let m = 27.7 - y. Sort m, -0.1, -1.
m, -1, -0.1
Suppose -1 = -2*u + 3. Sort -5, u, -3 in ascending order.
-5, -3, u
Let l be 1*-15 + -8 + 8. Let w be ((-2)/5)/(21/l). Sort -4/7, w, -2 in ascending order.
-2, -4/7, w
Let o(j) = -j**2 + 5*j + 2. Let y be o(5). Let w = -5 + 1. Put 5, y, w in increasing order.
w, y, 5
Let h be -8 + 1 - 21/(-7). Put -2, 11, h in descending order.
11, -2, h
Let j = 0.6 + -0.67. Let l = j - 0.23. Let f = -3.4 + 0.4. Put -0.1, f, l in increasing order.
f, l, -0.1
Let x(d) = -2*d + 17. Let g be x(7). Suppose 2*c - c - 7 = 0. Suppose u = -3, -2*i - c*u - 21 = -2*u. Sort g, -5, i in decreasing order.
g, i, -5
Suppose 0 = -2*u + 5 - 13. Let v be 4 + 0 - (-2 + 4). Put -2, v, u in increasing order.
u, -2, v
Suppose 2*q - p - 2 = -0*q, -5*p + 12 = q. Suppose 0 = q*g + 5*y - 17, -g + 3*y - 10 = -2*g. Put g, -4, 4 in increasing order.
-4, g, 4
Let k = 1 + 3. Sort -4, k, -2 in decreasing order.
k, -2, -4
Let c = 8 + -9. Sort c, 2, 0 in increasing order.
c, 0, 2
Let g be (2/5)/((-4)/60). Let l = g + 14. Let k be 7/(-22) - (-4)/l. Sort -0.4, k, 1.
-0.4, k, 1
Let q = -4 - -4.4. Let h = -0.2 - 0.8. Let c = 2 + h. Sort q, c, 0.2 in descending order.
c, q, 0.2
Let t be 9/(-2)*1*-2. Let o be ((-6)/t)/(2/(-15)). Let v = 389/35 + -57/5. Sort v, o, -0.1.
v, -0.1, o
Let o = -1.713 + 0.043. Let z = o - -1.6. Let p = -0.33 + z. Sort -3/5, p, -4 in descending order.
p, -3/5, -4
Let k = 0.3 - 2.3. Put -1, k, 5 in increasing order.
k, -1, 5
Let z = 0.18 - 0.18. Sort -5, z, 0.2.
-5, z, 0.2
Let w be (-6)/(-3) + -3 + 2. Sort -4, -3, w.
-4, -3, w
Suppose 5*r = d - 22, d + 0*d = -5*r - 28. Let g = -8 - -2. Let l be g/9*(-30)/4. Put d, l, -2 in ascending order.
d, -2, l
Let c = 19 + -39. Let y be -3*(c/24)/(-5). Let p = 169 - 1355/8. Sort p, 2/3, y in ascending order.
y, p, 2/3
Let q(t) = t**3 + 10*t**2 + t + 13. Let f be q(-10). Let d = f + -5. Let w = 1 - 5. Sort w, -3, d in ascending order.
w, -3, d
Let b(m) = 2*m - 7. Let q be b(5). Suppose -q*g = -2*g - 4. Let d = 3 + -3.5. Sort d, g, 0.1 in increasing order.
d, 0.1, g
Let i = 4 + -8. Let o be (-4)/10 - 351/(-65). Sort -5, o, i in ascending order.
-5, i, o
Let w be (-3 - (-1 - 1))/1. Suppose -9*v - 23 = 22. Put w, v, 5 in ascending order.
v, w, 5
Let p be 2/3 - 24/9. Put p, 0, -1 in descending order.
0, -1, p
Let b = 0 + 1. Let n = -1.2 + b. Suppose 0 = g + 3*g. Sort 1, n, g.
n, g, 1
Let l(x) = -x**3 + 6*x**2 + 2*x - 8. Let o be l(6). Suppose 0 = a - 0 + o. Let j be (a/(-6))/((-2)/(-3)). Sort 2, j, -3.
-3, j, 2
Let b = -42 - -26. Let w = -11 - b. Let i = -0.6 - -2.6. Sort i, w, -3/5.
-3/5, i, w
Suppose 0 = -3*r + r - 18. Let u = r - -4. Sort 5, u, 0 in decreasing order.
5, 0, u
Let i = 8.3 - 8. Let u = i - -0.2. Let z(y) = y**2 - 4*y - 26. Let q be z(7). Sort u, -2, q in increasing order.
q, -2, u
Let d = -2 - -7. Let s = 0.9 - -0.1. Let p = s + 2. Put d, 2, p in decreasing order.
d, p, 2
Let g(i) be the second derivative of i**5/20 + i**4/4 - 2*i**3/3 - i**2 + i. Let o be g(-4). Sort o, -4, -3 in decreasing order.
o, -3, -4
Suppose -4*x = -3*g + 4 + 19, -3*x + 4*g - 19 = 0. Put x, 3, -2 in decreasing order.
3, -2, x
Let s = 4 - -7. Let y = s - 6. Put y, -0.05, -1 in increasing order.
-1, -0.05, y
Suppose -m - 40 = -5*m. Sort -3, m, 1 in increasing order.
-3, 1, m
Let q(g) = -g**3 - 2*g**2 + 4*g + 4. Let v be q(-3). Let s be (v - 7) + (-3)/(-1). Put s, 0, -4 in ascending order.
-4, s, 0
Suppose 3*z + 7 = 4. Put -2, z, -3 in decreasing order.
z, -2, -3
Let o = 74 - 74.15. Sort 2/7, o, 0, -0.4.
-0.4, o, 0, 2/7
Suppose -p - 4 = 3*p + 4*g, 5*p - 4*g = 13. Let t be (-1 + 0)*-1*p. Suppose 3*v - 5*u + 14 = 0, 2*u = 2*v - 2*u + 10. Sort t, v, 5.
v, t, 5
Let j = -2 + 4. Suppose 4*y = j*x - 13 - 1, 4 = 4*x. Sort y, 4, 5 in descending order.
5, 4, y
Let l be 2/(-4)*-1*-2. Let n = l + 1. Let z = -5 + 3. Sort 5, n, z in decreasing order.
5, n, z
Suppose -14 = -3*n + j, 2*n + 6*j + 19 = j. Put -4, 2, -50, n in ascending order.
-50, -4, 2, n
Let f = -51 + 48. Let a be ((-1950)/(-9))/((-7)/3). Let v = 93 + a. Sort f, v, 1 in increasing order.
f, v, 1
Suppose -3*c + 4*v - 5 = 0, -3*v - 2 = -v. Let n be (5/(-1) - c) + -6. Let s be n/20 - 8/5. Put s, -4, 0 in decreasing order.
0, s, -4
Suppose -2*u - 4*y + 78 = 3*u, 4*u = -3*y + 62. Suppose -2*n + 0*n + 22 = 2*s, u = 4*s - 2*n. Let r be 1 + -3 + 10/s. Sort 4, -1, r in descending order.
4, r, -1
Let p be (-14)/(-63) - (-32)/18. Put p, -5, 3 in decreasing order.
3, p, -5
Let