 = -1.1 - -1. Sort l, y, 0.1 in decreasing order.
0.1, y, l
Suppose 2*k + 70 - 76 = 0. Sort -4, -5, -2, k in increasing order.
-5, -4, -2, k
Let f(o) = -o**3 + 6*o**2 + 9*o - 5. Let k be f(7). Suppose -2*t + k + 1 = 0. Let j = t - 0. Sort j, -4, -1 in descending order.
j, -1, -4
Let k be 54/10 - 4/10. Suppose k*b + 0*b + 15 = 0. Let w(a) = a**3 - 5*a**2 - a + 10. Let x be w(5). Sort b, -5, x in increasing order.
-5, b, x
Let a = -49/290 - -2/29. Let s = 18 + -88/5. Sort a, s, 1/2.
a, s, 1/2
Let v = -100 + 103. Put v, 4, -4, -1 in ascending order.
-4, -1, v, 4
Let s(j) = -j**3 + 6*j**2 - 4*j - 3. Let c be s(5). Let n = 55 + -58. Sort n, c, -4 in increasing order.
-4, n, c
Let q(m) = -m**3 - 5*m**2 + 3 - 4*m + 4*m + 3. Let h be q(-5). Suppose -2*d + h = y, 3*d = 3*y - 0*d + 9. Put 0.3, -3, y in decreasing order.
0.3, y, -3
Suppose 0 = 3*w - 2 + 11. Let o = 3 + -2. Sort o, 4, w in increasing order.
w, o, 4
Let o = -54 + 55. Put -1, -4, o in ascending order.
-4, -1, o
Let q = -41 + 46. Sort 0, -1, q.
-1, 0, q
Let v be (-3)/(30/(-8))*(-37 - -32). Put 2, 0, v in ascending order.
v, 0, 2
Let k = -2 + 3. Suppose 0 = -t + 3 + k. Suppose 7 = -4*r + 3*q, q = -2*r - 4*q + 3. Sort r, -4, t.
-4, r, t
Let p = -3.6 - -5.9. Let u = p - 1.8. Sort 8, u, 0.4 in descending order.
8, u, 0.4
Suppose 2*m + 4*p - 4 = 0, -5*m - 5*p = -11 + 1. Suppose 0 = -5*f + m*f - 12. Put 0, 1, f in decreasing order.
1, 0, f
Let i = 74 + -68. Sort 4, -3, i in descending order.
i, 4, -3
Suppose -15*d = -12*d - 3. Let z = 0.08 + 3.92. Sort z, 0.4, d in ascending order.
0.4, d, z
Let l(a) = a + 1. Let d be l(2). Let h(k) = k**3 - 3*k**2 + k + 1. Let q be h(d). Sort q, 2, 1 in descending order.
q, 2, 1
Let i = 18.2 - 17.2. Sort 0.073, i, 0.4 in decreasing order.
i, 0.4, 0.073
Suppose -5*z = -5*c + 5, 0 = -4*c + 6*c - 4*z + 2. Suppose -4*o = -1 - c. Sort 3, -2, o in decreasing order.
3, o, -2
Suppose n - 34 = -3*n - 2*g, -n = 3*g - 6. Let v = -5 + n. Suppose -13 = v*i + a, 0*a = -5*i - 4*a - 8. Sort i, 2, 0.
i, 0, 2
Suppose 4*q - 3 = 9. Suppose 5*v - 4*v = 2. Sort v, q, -2 in decreasing order.
q, v, -2
Let r = 12 - 23. Sort 5, r, -4.
r, -4, 5
Let q be (-10)/((2/(-4))/((-4)/(-16))). Sort q, -5, -1, 3.
-5, -1, 3, q
Let d = -0.8 - 6.2. Let n = d + 10. Sort n, -4, -2 in decreasing order.
n, -2, -4
Let t be (-1)/2 - (-175)/14. Sort 5, -2, t.
-2, 5, t
Suppose -u - 2*u - 6 = 0, -4*u - 6 = -h. Put 0, 5, -3, h in ascending order.
-3, h, 0, 5
Let i = 0.8 - -0.2. Let v = -17 - -20. Sort i, v, 2 in decreasing order.
v, 2, i
Let h(o) = -o**3 + 5*o**2 - 5*o + 6. Let j be h(4). Sort 4, 3, j in increasing order.
j, 3, 4
Let c = -1.5 - -1. Sort 5, 1, c in descending order.
5, 1, c
Let c = 0.95 + 0.05. Let x be (-1*(0 - 0))/(-2). Put c, -2, x in decreasing order.
c, x, -2
Let r = 4 - -2. Let v = r - 6. Put v, 4, -5 in increasing order.
-5, v, 4
Suppose -3*q + 16 + 2 = 0. Suppose 0 = t - q*t. Sort 0.3, t, -0.4 in decreasing order.
0.3, t, -0.4
Let y(f) = -f**2 - 5*f + 8. Suppose 0 = -2*l + 4*u - 32, l - 3*u + 0 + 21 = 0. Let w be y(l). Let p be (w - 3)*(3 - 2). Sort -3, p, 3 in decreasing order.
3, p, -3
Let l = -176 - -171. Let n(i) = i**3 + 7*i**2 + 6*i. Let f be n(-6). Sort 2, f, l in increasing order.
l, f, 2
Suppose 5*y - y = 0. Sort 2, y, 5 in increasing order.
y, 2, 5
Suppose 4 = -3*n + 19. Suppose -16*m + 19*m - 18 = 0. Let h be (-34)/(-8) + 5/(-20). Sort m, n, h in decreasing order.
m, n, h
Let a(u) = -11*u - 77. Let n be a(-7). Suppose 0*f - 9 = i - 2*f, 4*i - f = -15. Sort n, i, 2 in decreasing order.
2, n, i
Let o = 0 - -0.12. Let v = o - 0.32. Put -3, v, -1 in increasing order.
-3, -1, v
Suppose 0 = 2*m + 2*m - 12. Let v(s) = s**3 - 5*s**2 + 4*s + 1. Let c be v(m). Let o = -86 + 91. Sort c, o, 0 in descending order.
o, 0, c
Let h be 30/(-14) + 2 + 0. Let t = 71 + -69. Sort t, h, -4.
-4, h, t
Suppose -3*u - 5*t + 34 = 0, -1 - 1 = u - t. Suppose -6 + 0 = -u*l. Suppose d = -2*d - 5*a, -3*d = -l*a. Sort d, -5, -2.
-5, -2, d
Let q be 2/(-4 - -2) + 4. Sort 4, q, 5 in ascending order.
q, 4, 5
Let w be (12/(-30))/((-3)/(-15)). Sort w, -3, 0 in ascending order.
-3, w, 0
Let s = 1.153 - 0.153. Sort 1/11, -1/3, 5, s.
-1/3, 1/11, s, 5
Let d(q) be the first derivative of q**3/3 - 3*q**2 + 2*q - 4. Let b be d(6). Let i be (b + (-36)/15)/(-2). Put -2/7, -3, i in decreasing order.
i, -2/7, -3
Suppose 5*b - 46 = -3*k, 3*b = 4*k - 13 - 0. Let m = k - 4. Let d = -2 - -7/3. Sort -2/3, m, d.
-2/3, d, m
Suppose -8 = -p + 3. Let w = 8 - p. Put w, 4, 2 in decreasing order.
4, 2, w
Suppose 3*q = -q - 20. Let j(o) = o**2 - 9*o + 4. Let p be j(9). Sort 2, p, q in increasing order.
q, 2, p
Let u = -61 + 111. Suppose 0 = -3*g - 5 + u. Suppose 4*w - w = g. Sort -2, w, -1 in decreasing order.
w, -1, -2
Let q = -10 - -5. Let o = q + 1. Put 6, o, 4 in decreasing order.
6, 4, o
Let g = 153 + -1987/13. Put -0.1, 2/7, -3/5, g in increasing order.
-3/5, -0.1, g, 2/7
Let h = -1.13 + 1.09. Let o = 10 - 6. Put h, -4, o in descending order.
o, h, -4
Let j = 4 - 3.8. Let p = 54 + -377/7. Sort p, 1/10, j in ascending order.
1/10, p, j
Let u be (-4)/(-18) - (-43)/9. Suppose y - 6 = 2*t, -2*y + t + 4 = -t. Let a = y - -2. Put a, u, -1 in decreasing order.
u, a, -1
Let a be (3 - 1) + (-5)/2. Let b = 103 - 102.7. Put b, a, -5 in descending order.
b, a, -5
Let q = 1.49 + -1.39. Sort 1/5, -2, q, -1/4 in decreasing order.
1/5, q, -1/4, -2
Let s = 8 + -8.5. Let q = -9.1 - s. Let i = q - -9. Sort 6, 3, i in decreasing order.
6, 3, i
Let k be 1 + (2 + 16)*1. Suppose -1 = 2*q - 5*q + 4*b, -5*q - 2*b + k = 0. Let x be 3/(-2) - 3/(-6). Sort -2, x, q.
-2, x, q
Let a = 44 - 47. Suppose -3*z = -4*u - 1 + 18, -5*u + 23 = -2*z. Put a, u, 3 in ascending order.
a, 3, u
Let i be 1/(-4) - 6/40. Suppose -2*n = 3*p + 11, 4*p - p = 5*n + 17. Sort p, -2/11, i in increasing order.
p, i, -2/11
Let t = -14 + 19. Put -3, -2, t, 0 in descending order.
t, 0, -2, -3
Let r = -4 - 1. Suppose 3*v - x + 4*x + 6 = 0, 3*v = -x - 4. Let j = v + -2. Put -1, j, r in ascending order.
r, j, -1
Let d(j) = j**3 + 4*j**2 + 2*j + 3. Let y be d(-3). Let t = y - 4. Put t, -2, -1 in ascending order.
-2, -1, t
Let b = 16 - 21. Let t = -0.11 + -9.89. Let d = t - b. Put 0, d, 0.3 in increasing order.
d, 0, 0.3
Let j = 4 + 2. Suppose -5*u = 10, -o + 2*u + j = -2. Suppose 15 = -3*c, 0 = -3*x - 4*c - 0*c - 20. Sort -4, o, x in increasing order.
-4, x, o
Suppose -4*l - 24 = -0*g + 4*g, 3*g - 2 = 2*l. Sort g, -3, -0.3 in increasing order.
-3, g, -0.3
Suppose -5*g - 17 = -97. Suppose 5*c + 4*i - 38 = -12, 4*i - g = 0. Suppose 0 = c*f + k - 1, 3*f + 3*k + 2 = -4. Sort 5, 0, f.
0, f, 5
Let s = 6 + -6.3. Let j be (-6)/(-9)*-1*6. Sort j, 0.5, s in increasing order.
j, s, 0.5
Let c(m) = m**3 + 4*m**2 - 6*m + 5. Let r be c(-5). Suppose -r = 3*a + 8. Put -4, 5, a in ascending order.
a, -4, 5
Let b(q) = q. Let z be b(4). Let s = -13 - -18. Let p be (3 - s) + (-4)/2. Put p, 0, z in ascending order.
p, 0, z
Let i(t) = -t**2 - t + 6. Let s be i(2). Put 4, -5, 2, s in ascending order.
-5, s, 2, 4
Let v be 4/10 - 66/40. Let k = 0.24 + 0.06. Let w = -172 + 171.8. Sort w, v, k in descending order.
k, w, v
Let u = 92/5 + -19. Let m = -3.07 + 0.07. Let a = -2 - m. Sort u, -2/3, a.
-2/3, u, a
Let t be (-108)/210 + -1 + 18/10. Let j = 0.4 - 0. Let f = j - -0.1. Sort 1, f, t in increasing order.
t, f, 1
Let l = 3 + 1. Put l, -3, 0.06 in increasing order.
-3, 0.06, l
Let g = -83.1 + 79. Let i = g - -4. Sort i, 0.4, -0.3 in descending order.
0.4, i, -0.3
Let t = 0.16 - 1.06. Let w = t - -0.8. Let b = -0.1 + -3.9. Put w, b, 1/2 in ascending order.
b, w, 1/2
Let g be (-40)/(-42) + 18/(-27). Sort -2/13, g, 1/4 in increasing order.
-2/13, 1/4, g
Let i = 1 - -2. Put -4, i, 2/3 in increasing order.
-4, 2/3, i
Let f = -0.15 - -0.1. Put f, -1/4, -0.1 in decreasing order.
f, -0.1, -1/4
Let s(v) = 5*v + 28. Let k be s(-5). Put 0, -5, k in decreasing order.
k, 0, -5
Suppose 0 = -8*p + 3*p + 15. Let u = -9 - -11. Put u, p, -3 in descending order.
p, u, -3
Let r = 14 + -10. Let m = -3.98 + r. Let f = 0.12 - m. Sort 4/5, f, -2/11.
-2/11, f, 4/5
Let c(i) = -i**3 + 4*i**2 - 2*i + 8. Let u be c(4). Sort -5, u, -4, -10 in decreasing order.
u, -4, -5, -10
Let p = -4 + 4.4. Let f = 612491/1057290 + 1/5422. Let r = -11/15 + f. Sort