 -56/3 - -19. Let k = -0.54 + 0.54. Sort k, -2/5, z.
-2/5, k, z
Suppose y - 5*x = -7, 2*y - 4*y - 4*x + 14 = 0. Sort y, -4, 4 in decreasing order.
4, y, -4
Let g = -0.85 + 4.85. Let r = 4 + -1. Put g, -2, r in decreasing order.
g, r, -2
Let t be (-2)/6 + (-2)/3. Let q be -3 + (2/2 - 0). Let o = 3 - q. Sort -0.4, t, o in descending order.
o, -0.4, t
Let y = 14 - 13.4. Let n = 0.7 - y. Sort -5, n, 3/8 in decreasing order.
3/8, n, -5
Suppose 0 = -4*h - 2*h - 18. Put h, 2, 3 in ascending order.
h, 2, 3
Let q be (-15)/(-5) + 34/(-10). Let s = -64 + 190/3. Put s, q, 0.2 in decreasing order.
0.2, q, s
Suppose 2 = 3*p + i, 5 - 4 = -p - 2*i. Sort -4, -3, p.
-4, -3, p
Let v = 0.07 - 0.01. Let o = 0.34 + v. Let g be ((-6)/20)/(2/4). Sort o, g, 1 in increasing order.
g, o, 1
Let i(g) = g + 11. Let w be i(-6). Suppose -w*q + 2 = 17. Put 0, q, 4 in descending order.
4, 0, q
Let f = -11.2 - -12. Put f, 5, -0.5 in decreasing order.
5, f, -0.5
Let s = 42 + -44. Let b = -9.8 - -9. Let w = b + 1. Sort w, -1, s in decreasing order.
w, -1, s
Suppose 1 = 2*o - 1. Let m(t) = 3*t**3 - 2*t**2 + 2*t - 1. Let a be m(o). Put -1, a, 1 in decreasing order.
a, 1, -1
Let r(w) = -w - 7. Let i be r(-8). Let h = 0.43 - 0.33. Sort i, h, -1 in decreasing order.
i, h, -1
Let q = 167 + -161. Put q, 4/9, 1, 3/4 in ascending order.
4/9, 3/4, 1, q
Let k = 2.83 + 0.17. Sort 2/15, 1/6, k, 2/3 in ascending order.
2/15, 1/6, 2/3, k
Let o = -29 + 175/6. Let x = 10 - 10.3. Put 0, x, o in decreasing order.
o, 0, x
Let t = -58 + 55. Let z = -3 - -4. Suppose -4*n + 2 = 3*y, -n = 4*n + 3*y - 4. Sort n, z, t in descending order.
n, z, t
Let u = 8 + -7. Sort 12, -1, u.
-1, u, 12
Suppose t = -3*t. Suppose t = 4*v + 3*g - g - 28, 0 = 4*v - 4*g - 4. Sort -5, 2, v in ascending order.
-5, 2, v
Let p = 8.7 + -8.8. Put 6, p, 0.3, 4 in decreasing order.
6, 4, 0.3, p
Let g = -55 - -50. Sort g, -3, 4 in ascending order.
g, -3, 4
Let x be (-2)/(-3)*2/4. Put x, -3, -0.2 in descending order.
x, -0.2, -3
Suppose -2 = 3*r + 4*s, -5*r = -5*s + 2 + 13. Let y = -69 + 68.6. Put y, r, -0.2 in descending order.
-0.2, y, r
Let p = 0 - -3. Let m = -0.3 + -0.7. Let c = m - -1.2. Put 4, c, p in descending order.
4, p, c
Let g = 18 - 17.93. Let k = g + 0.43. Sort k, -3, 5.
-3, k, 5
Let h be (-12)/54*(-6)/(-8). Put -0.3, 10, h in decreasing order.
10, h, -0.3
Let m = 22 - 17. Sort -2/11, -0.3, m in descending order.
m, -2/11, -0.3
Suppose l - 9 = 6. Let y be (12/l)/(8/20). Put 1, -2, y in increasing order.
-2, 1, y
Let w = -100/159 + -2/53. Suppose h = -2*h + 12. Suppose 4*z - 1 = -d, 2*d + d - 3 = -h*z. Sort w, -3, z in descending order.
z, w, -3
Let l = 2.3 + -2.6. Sort 1/4, -6, -4, l.
-6, -4, l, 1/4
Suppose 5*u - u + 2*c - 36 = 0, 0 = 4*u - c - 42. Suppose u + 6 = 4*a. Suppose a - 14 = -5*x. Sort x, -1, -3 in descending order.
x, -1, -3
Let i(h) = 3*h**3 + 6*h**2 - 3*h - 10. Let p(g) = g**3 - g - 1. Let c(k) = i(k) - 2*p(k). Let u be c(-6). Sort 7, u, 4 in ascending order.
u, 4, 7
Let u = 148/1035 - 2/207. Sort 0.4, u, -8.
-8, u, 0.4
Let h(w) = -5*w**3 + 15*w**2 + w + 11. Let f(n) = 2*n**3 - 7*n**2 - n - 5. Let m(t) = 7*f(t) + 3*h(t). Let a be m(-2). Put 2, a, -3 in increasing order.
-3, a, 2
Suppose -o = -5*o. Let u(c) = 5*c**2 + c. Let b be u(1). Suppose 0 - b = -3*s, 2*y - s = 0. Put y, o, 4 in ascending order.
o, y, 4
Let j be -1 + (1 - (1 - 2)). Let z be (2 + j)*(-10)/(-6). Suppose b + z = 2*b. Put 0, 2, b in ascending order.
0, 2, b
Let p be 1 + (1 - 12487/(-485)). Let g = -44/97 - p. Let a = 28 + g. Sort -0.5, 0, a in increasing order.
-0.5, a, 0
Let g = -3 + 2. Suppose 4*a + a - 30 = 0. Let p be a/(-15) - (-12)/5. Put g, p, 4 in increasing order.
g, p, 4
Suppose -54 = 24*m - 6*m. Let s be ((-1)/(-2))/((-3)/(-30)). Put 3, s, m in decreasing order.
s, 3, m
Let z(i) = -i**3 - 5*i**2 + 7*i + 8. Let g be z(-6). Put -6, g, -4 in descending order.
g, -4, -6
Let x = 86 + -434/5. Sort -0.5, 1, x in descending order.
1, -0.5, x
Let z = 3 + -4. Let d be 3/(-9) + (-16)/6. Sort 4, z, d in decreasing order.
4, z, d
Let r(z) = 3*z**2 + 4*z - 1. Let f be r(-2). Suppose -5*n + 7*p - 4 = 3*p, 0 = -3*p - 12. Put n, f, 5 in descending order.
5, f, n
Let i = -1/63 - -68/315. Sort 1, -5, i in decreasing order.
1, i, -5
Let r(k) = -2 - k - 1 + 0*k. Let c be r(-8). Sort c, 4, 3 in decreasing order.
c, 4, 3
Let m(d) = d**2 + 21*d + 23. Let q be m(-20). Suppose 2*t + 4*o = 8, -5*t - 2*o + 14 + 6 = 0. Suppose -3*k - t = -5*k. Sort -5, q, k in decreasing order.
q, k, -5
Suppose 2*w = -2*c, w + 0*w = 1. Put -2, 1, c in decreasing order.
1, c, -2
Let p = 39.96 + -36. Let m = -0.04 - p. Sort m, 2, 1/2.
m, 1/2, 2
Let v = 3.94 - -0.06. Suppose 0 = -x + 2*a + 13, 0*a - 27 = -3*x + 3*a. Sort x, 1/9, v in decreasing order.
x, v, 1/9
Suppose -3*t + 0 - 6 = 0. Put t, 3, -3 in decreasing order.
3, t, -3
Let y be 4/(-8)*(2 - -6). Put -2, -1, y, 2 in increasing order.
y, -2, -1, 2
Suppose 3*q + 4*y + 32 + 4 = 0, -23 = q + 5*y. Let s(b) = b**3 + 11*b**2 - 2. Let c be s(-11). Sort c, q, 1.
q, c, 1
Let i = 6 - 6.1. Sort i, 5, -4 in ascending order.
-4, i, 5
Suppose 0 = -2*s - 2. Suppose -3*b = -5*b. Suppose b = 2*q - 0*q. Sort s, q, 4 in decreasing order.
4, q, s
Suppose -4*g + 4*o + 2 = -2, -4*g + o + 1 = 0. Let a = -1 - 3. Put g, -1, a in decreasing order.
g, -1, a
Let o = 18 + -15. Sort 4, 5, o, -4 in increasing order.
-4, o, 4, 5
Let o = -36 - -34. Sort 7, o, -1, 3 in decreasing order.
7, 3, -1, o
Let p = -4/29 - -161/116. Put -0.3, p, 3 in decreasing order.
3, p, -0.3
Let i = -8 + 11. Let o be 10/i*12/(-24). Let c(h) = -h**3 + 4*h**2 - 2*h - 2. Let k be c(2). Sort o, 2/19, k.
o, 2/19, k
Let b be (-1 - 0 - 0)*-1. Let w = 8 + b. Suppose 4*h - w*h = 5*t - 35, 0 = 2*h - 8. Sort 5, t, 1 in descending order.
5, t, 1
Let i = -17 + 11. Put i, 2/9, -0.4 in descending order.
2/9, -0.4, i
Let s = 4.3 + -4. Let a = 2 + -18. Let l = a + 21. Sort 1/4, s, l in decreasing order.
l, s, 1/4
Let o(k) = -k**2 + 6*k - 7. Let h be o(5). Let q be 0 + h - 27/(-15). Sort 5, q, 0.4.
q, 0.4, 5
Let d(z) = 12*z - 46. Let a be d(4). Sort -3, a, -1.
-3, -1, a
Suppose 5 + 10 = -v. Let z be (-3 + 0)*(-10)/v. Let h(o) = -4*o**3 - 1. Let t be h(-1). Put z, t, -3 in decreasing order.
t, z, -3
Suppose -5*c - 2*n - 368 = 0, c - 75 = 2*c - n. Let a = 1112/15 + c. Suppose 3*q + 5 = 2*l, -3*l - 2*l - 3*q = -2. Put -2, l, a in descending order.
l, a, -2
Let t = 26/3 - 9. Put t, 2, -4 in descending order.
2, t, -4
Let c = 0.6 + 3.4. Let m = 0.41 + -0.01. Put 0, m, c in ascending order.
0, m, c
Let a = 236 + -939/4. Sort -5, a, 0 in decreasing order.
a, 0, -5
Suppose 6 = 3*m - 24. Let r = m + -14. Put 3, r, 5 in increasing order.
r, 3, 5
Let n = -0.7 + 0.1. Let j = n + -7.4. Let y = 11 + j. Put -4/3, y, -5 in decreasing order.
y, -4/3, -5
Let g = 90 - 91. Put g, -26, 1 in decreasing order.
1, g, -26
Let x(c) be the second derivative of c**3/6 - 3*c**2/2 - 2*c. Let m be x(4). Sort 2, -1, m in decreasing order.
2, m, -1
Let s(q) be the first derivative of -q**2/2 - 15*q + 5. Let a be s(-10). Let i be 1/(-4) - 1/8. Put i, a, -0.1 in ascending order.
a, i, -0.1
Let s(x) = x + 1. Let m be s(0). Let q = -2 + m. Suppose -20 = -5*j + 9*j. Sort -3, q, j.
j, -3, q
Let l = -0.042 - 4.958. Sort 2/3, -2, l in increasing order.
l, -2, 2/3
Suppose -3*q = -q + 3*z + 23, -4*z - 32 = 3*q. Let x = 2 - 1. Put 4, q, x in increasing order.
q, x, 4
Let m(v) be the first derivative of v**2/2 - v - 5. Let t be m(-3). Sort -1, t, 1 in ascending order.
t, -1, 1
Let n be (36/(-27))/(8/(-6)). Let s be (4/(-3))/((-1)/3). Sort n, -4, s in ascending order.
-4, n, s
Let k(j) = -3*j - 2. Let t be k(-2). Suppose -t = -2*m + 2. Put m, 2, -2 in descending order.
m, 2, -2
Let k = -7.4 - -7. Sort 2/15, k, 0.4 in decreasing order.
0.4, 2/15, k
Let s = -6 + 9. Sort s, -4, -1/4 in descending order.
s, -1/4, -4
Let o = -1 + 0.94. Let l = o + 0. Let q = l + 0.06. Sort q, -2/13, 0.3 in descending order.
0.3, q, -2/13
Let b(k) be the second derivative of -k**4/12 - 11*k**3/6 - 11*k**2/2 + 3*k. Let q be b(-9). Suppose 0 = -3*t + q*t - 16. Sort t, 2, -3 in ascending order.
-3, 2, t
Let d = 278 - 280. Let t = -2 + 2. Let o = t + -0.1. Sort 0.1, d, o in increasing order.
d, o, 0.1
Let w be 5/(-52) + (-2)/(-8). Let m = 15.5 - 9. Let p = -