 Sort 3, -2, h in decreasing order.
3, h, -2
Let a = -3 + 3.4. Let f = -5.7 + 5.3. Put a, -1/4, f in increasing order.
f, -1/4, a
Let n be (786/(-20))/(65/10). Let m = 31/5 + n. Let a = 2 - 1.6. Put 5, m, a in increasing order.
m, a, 5
Let q = -8 + 11. Let x = q - 6. Sort 3, 1, x in ascending order.
x, 1, 3
Let m(p) = 2*p**2 + 7*p + 1. Let i be m(-4). Suppose 3*o + 0*c = 5*c + 86, -c = 4. Suppose i*q = 7 - o. Sort q, 2, -5 in descending order.
2, q, -5
Let u = -64891/4 + 16122. Let t = 100 + u. Let x = -86 - -83. Sort t, -1/4, x in ascending order.
x, t, -1/4
Let y = -3 + 3. Let d = 0.1 + y. Put 6/7, -1/4, d in ascending order.
-1/4, d, 6/7
Let k(q) = -q - q**2 + q**2 - 1 - q**2. Let z be k(-2). Suppose 2*c + c = 0. Put c, 2, z in decreasing order.
2, c, z
Let l be (7 - 3 - 2) + (-6)/5. Put l, 5, -5, 2 in ascending order.
-5, l, 2, 5
Let a = -23 - -19. Sort 4, 3, a in increasing order.
a, 3, 4
Let y = 7/15 + 1/30. Let k = -0.4727 - 0.0273. Put y, k, 3 in descending order.
3, y, k
Let r be 3 + -1 + 0 + -1. Suppose 0 = -12*z + 37 - 13. Put 0, z, r in ascending order.
0, r, z
Let l = -0.01 - 2.99. Let j = l - -3.5. Let g = j - 0.8. Put g, -0.2, 0.4 in descending order.
0.4, -0.2, g
Let f(o) = o**2 - 8*o + 1. Let v be f(6). Put -4, v, 3 in descending order.
3, -4, v
Let u = -0.2 + -0.1. Sort 2, 1, u.
u, 1, 2
Let w = 1.9 - 2.4. Sort w, -2/13, -1.
-1, w, -2/13
Let z = 10 - -3. Let w = -13.05 + z. Put 1/5, w, 2/17 in increasing order.
w, 2/17, 1/5
Let o be (-37 + 40)*(-1 - -3)/(-2). Put o, 0, 8 in increasing order.
o, 0, 8
Let q be 9/(-1) - 1/1. Let y be 2/q + (-104)/(-20). Suppose j - 1 = h - 5, y*j = 0. Sort 1, h, 5 in decreasing order.
5, h, 1
Let o = -0.58 + 2.88. Let d = 0.7 + o. Let v = d - 3. Sort v, 2, -2/9 in decreasing order.
2, v, -2/9
Let u(s) = s**3 - 7*s**2 + 4*s - 25. Let m be u(7). Let w = 8 - 3. Sort 4, m, w in ascending order.
m, 4, w
Let i = -0.2 - -0.3. Suppose -5*m = w - 17, 2*w = -4*m - m + 19. Put 0.4, w, i in ascending order.
i, 0.4, w
Let x = -116/605 - 1/121. Sort x, -2, -3 in descending order.
x, -2, -3
Let c = -6 + 4. Let b be 0 + 0 - 4/(-18). Let s = -5 + 1. Put c, b, s in descending order.
b, c, s
Suppose -11 = -3*y + 4. Let w = 0.35 + -0.3. Let h = w - -2.95. Sort h, y, -0.2 in increasing order.
-0.2, h, y
Let g(k) = -5*k**3 + k**2 + 2*k + 1. Let q be g(-1). Suppose q*t = -5*f + 3*f - 110, -t = f + 25. Let y be (-45)/18*2/t. Sort y, 1/5, 0.5 in ascending order.
1/5, y, 0.5
Let r = -0.4 + 0. Let y(k) = k**2 + 2*k - 6. Let v be y(-4). Let c be v + 3/((-84)/68). Sort -3/8, r, c.
c, r, -3/8
Let b = 14 + -7. Suppose -b = h - 2*i, 3*i - 14 = 5*h - 0*i. Let l be 8*2/(3 + 1). Put h, l, -3 in increasing order.
-3, h, l
Suppose -5*i = -2*i + j - 4, 0 = -5*i - j + 8. Suppose 0 = -2*g + 4*g - 6. Suppose 0*u - 5*p = g*u + 19, -i = 2*u - 2*p. Put u, 0, -5 in descending order.
0, u, -5
Let s be 3 - 4 - (2 - 1). Sort -1, 3, s.
s, -1, 3
Suppose 4*r - 2*c = -18, -r - c - 9 = -6*c. Let i(q) = -q**3 - 3*q**2 - q + 2. Let h be i(-2). Sort -1, r, h in descending order.
h, -1, r
Let l be 19/(-6) - (-51)/17. Sort -0.5, l, 0.03, -5 in ascending order.
-5, -0.5, l, 0.03
Let v = -208 + 1874/9. Put 2/3, v, 5, -6 in descending order.
5, 2/3, v, -6
Let m = 6 + -8. Let g = m + 0. Sort 0, g, 1/12.
g, 0, 1/12
Suppose -5*q = 4*a + 6, 3*a = -4*q - 3 - 2. Let i(x) = 2*x**2 - 7*x + 3. Let o be i(3). Sort o, a, -4.
-4, o, a
Let c(k) = k - 6. Let t be c(8). Suppose 3*p - 11 = v, p - 6*p + 18 = -2*v. Sort 1, p, t in descending order.
p, t, 1
Let y(x) = -4*x**3 + 3*x**3 + 2 - 13*x**2 + 19*x**2 + 7*x. Let s be y(7). Sort 3, -5, s in descending order.
3, s, -5
Let j(i) = -i + 2. Let l be j(-12). Suppose -k - k = -l. Sort -1, 0, k in ascending order.
-1, 0, k
Let t = 2.2 + -2. Let d = -8 - -12. Let p = d - 1. Put t, p, -2 in increasing order.
-2, t, p
Let i = -49/55 - -4/5. Let s = -63 - -65. Sort s, -0.3, i.
-0.3, i, s
Let a(y) = -y + 2. Let r be a(-2). Let h(z) = z**3 + z**2 - 17*z + 10. Let i be h(-5). Sort r, i, -4 in decreasing order.
r, -4, i
Let j(i) = i**2 - 6*i - 3. Let o be j(7). Put o, -0.2, 2/27 in descending order.
o, 2/27, -0.2
Let t = 32 + -32.4. Sort 0, t, 1 in descending order.
1, 0, t
Suppose -5*f = -4*v + 1 + 16, -f - 3*v = 11. Sort -1, f, 3 in descending order.
3, -1, f
Let q = 4 - 0. Suppose 0 = -4*b - 1 - 3. Let y be (-2 - (-6)/3)/b. Sort -4, q, y.
-4, y, q
Suppose 0 = -w + 2 - 7. Put 1, w, -3 in ascending order.
w, -3, 1
Let h = -2 + 6. Let d = 1.42 - 1.22. Sort h, -3/4, d.
-3/4, d, h
Let q be 24/(1 + 2) + -2. Suppose q*y = 3*y. Sort 4, y, 7 in decreasing order.
7, 4, y
Let p = 96.6 + -89. Let h = 8 - p. Sort 1, 0.1, h in descending order.
1, h, 0.1
Let s = -8 + 7.6. Let j = 0.05 + -3.05. Let c be 2/(-4) - (-9)/26. Sort s, j, c in increasing order.
j, s, c
Let x be ((-5)/60*-4)/((-1)/(-3)). Sort 2, -4, -14, x in ascending order.
-14, -4, x, 2
Let l = 2 - 2. Suppose l = 5*v - 19 - 1. Suppose 4*f - v = 3*f. Put -2, -5, f in increasing order.
-5, -2, f
Let h = 6 + -4. Let i = -4 - -3. Put 4, i, h in increasing order.
i, h, 4
Let s(u) = -u**3 + 10*u**2 - 10*u + 10. Let t be s(9). Let o(v) = -4*v + 2. Let r be o(t). Sort 3, r, -4 in ascending order.
-4, r, 3
Let y = 12.8 + -1.8. Let j = -11 + y. Sort j, 2, 0.3 in increasing order.
j, 0.3, 2
Let i be (-3)/(-21)*(-4 + 1). Sort -0.2, 5, i in decreasing order.
5, -0.2, i
Let i = -1 - -1.4. Let g = 2 + -4. Sort g, i, 1/3.
g, 1/3, i
Let t be (12/(-24))/(1/(-74)). Suppose -t = 5*l - 12. Put 2/7, l, -0.9 in descending order.
2/7, -0.9, l
Let f(u) be the third derivative of -u**6/120 + u**5/20 + u**4/6 + u**3/2 + 6*u**2. Let g be f(4). Sort 2, g, -3 in decreasing order.
g, 2, -3
Let i be (-2)/7 + (-19)/7. Let z be ((-14)/21)/(1/i). Sort -3, 1, z.
-3, 1, z
Suppose 0 = -9*x + 3*x + 30. Put x, 7, 3 in descending order.
7, x, 3
Let l = 0.59 + -0.19. Put 1/11, l, -0.15 in descending order.
l, 1/11, -0.15
Let c = 6 + -4. Sort -4, c, 3/7 in descending order.
c, 3/7, -4
Suppose -20 = -5*m + 5*p, -4*p - 2 = -m + 4*m. Let n be (2 + -2)*3/(-6). Put n, 7, m in decreasing order.
7, m, n
Let l(s) = 6*s + 3*s - 9*s**2 + s**3 - 6 + 1. Let p be l(8). Let u = 1 - 0.7. Put 1, u, p in decreasing order.
p, 1, u
Let a(u) = -u - 2. Let t be a(5). Let v be 4/(-14) - 16/t. Suppose -5*m - 8 = -3*m. Put m, v, -2 in increasing order.
m, -2, v
Let v(q) = -q**3 + 12*q**2 - 5. Let h be v(12). Let s = -6 + 5. Sort h, 2, s in descending order.
2, s, h
Let f = 6 - 2. Suppose f*a + a = 25. Suppose -3 = a*s + 2. Sort 0, 5, s in descending order.
5, 0, s
Let m be -2*(-2)/(4/3). Suppose 0 = s + m*s + 16. Sort s, 2, 3.
s, 2, 3
Let x = -271/3 - -90. Sort x, -12/13, 5.
-12/13, x, 5
Let d = 5 - 15. Let l = 7 + d. Sort l, 4, -2 in decreasing order.
4, -2, l
Suppose -10*k - 6 = -12*k. Sort k, -2, -4 in decreasing order.
k, -2, -4
Suppose -3*k - 3*x = -6, 0*k - 2*x - 16 = -3*k. Suppose -1 = k*j + 7. Put j, -3, 5 in decreasing order.
5, j, -3
Let q be 3/2 + 15/6. Suppose -w + 8 = q*u, -5*w - u - 10 - 7 = 0. Sort -3, 1, w in decreasing order.
1, -3, w
Suppose -5*u - 3*u + 24 = 0. Sort u, -5, -3, 1.
-5, -3, 1, u
Let c be (6/(-2) + 0)/1. Let l(a) = -a**3 - a**2 + a + 21. Let t be l(0). Let h be (-2)/(-6) - 10/t. Sort -2/15, c, h.
c, h, -2/15
Let n = 0.2 + -0.1. Put -0.29, n, -0.1 in descending order.
n, -0.1, -0.29
Let n be (1/2)/(1/(-16)). Let i be ((-3)/2)/((-6)/n). Let j = -14 + 18. Sort i, j, 1/4 in descending order.
j, 1/4, i
Let f be -7 + (0/3)/(-1). Suppose 3*h - 3 = -0*h. Sort -3, h, f in decreasing order.
h, -3, f
Suppose 0 = -2*p + 4*p - 4. Sort p, -0.2, -3 in decreasing order.
p, -0.2, -3
Suppose -4*t - 10 = t. Let j(s) = s**2 + s. Let h(d) = d**3 + 2*d**2 + d + 4. Let p(i) = h(i) - 5*j(i). Let u be p(4). Put t, u, 5 in decreasing order.
5, u, t
Suppose -4*a + a + 24 = 0. Let j = -12 + a. Let r be (-6)/(-10) + (-4)/(-10). Sort j, -3, r.
j, -3, r
Let q = -2.42 + 2.5. Let c = q - -0.32. Sort c, -0.2, -22 in descending order.
c, -0.2, -22
Suppose 5*b - 3*p = -17, 0 = -2*b - p + 2*p - 6. Sort b, -7, -0.4 in decreasing order.
-0.4, b, -7
Let t = -8.1 - -8. Let u = -0.14 - 0.16. Sort t, 5, u in descending order.
5, t, u
Let u = 10 - 9.6. Sort 4, -4, u in decreasing order.
4, u, -4
Let d be (-4)/(-5)*22/(-88). Sort -1/7, d, 5, 9 in ascending o