Let t = -0.12 + 35.12. Put -5, 5/3, t in descending order.
t, 5/3, -5
Let p = 9 + -5. Put 0.2, 0, p in increasing order.
0, 0.2, p
Let x(y) = -7*y**3 + 2*y + 1. Let g be x(-1). Suppose 1 = p + g. Let u = -1 - -2. Sort 5, u, p.
p, u, 5
Let h = -4 - -3. Let r be -1*((-1 - -1) + -3). Let m(n) = -n**2 + 5*n - 4. Let c be m(r). Sort 4, c, h.
h, c, 4
Suppose 20 = 3*o + 5. Let k be (-2)/7 - (-74)/112. Sort k, o, 0.5 in increasing order.
k, 0.5, o
Let r(n) = n**2 - 9*n - 9. Let c be r(9). Let z = -4 - c. Put z, -0.05, -0.1 in decreasing order.
z, -0.05, -0.1
Let g(k) be the first derivative of -k**2/2 - k + 2. Let j be g(-2). Suppose -b + 2 - j = 0. Sort b, 0.3, 4.
0.3, b, 4
Let r = -0.36 + 0.06. Let b = -0.8 - r. Put 5, b, 6/11 in decreasing order.
5, 6/11, b
Let y(t) = t**2 - 4*t - 10. Let x be y(6). Let d be (-3)/x*(-7)/21. Sort d, -0.5, -3 in decreasing order.
d, -0.5, -3
Let r = 18 - 13. Let b = 6.91 - 7. Let m = b - 3.91. Sort r, m, 1/6 in increasing order.
m, 1/6, r
Let n = 0.25 + 0.15. Put n, -0.1, 7 in ascending order.
-0.1, n, 7
Suppose -4*n = 6*u - u - 26, 12 = 4*u + n. Suppose -2*c = -6*c. Sort -4, c, u in descending order.
u, c, -4
Suppose 3*x = 4*c + 1, -c - 3*x = 4*c + 35. Sort 4, 2, 0, c in descending order.
4, 2, 0, c
Let t(w) = 0*w**3 + 2*w**2 + 1 + 5*w**3 + 0*w**3 - 4*w**3 - 2*w. Let m be (2 - 5) + 0/(-1). Let b be t(m). Sort b, -3, -0.3 in ascending order.
-3, b, -0.3
Let o be (2/4)/(24/(-192)). Put o, -5, -1, 1 in decreasing order.
1, -1, o, -5
Let o = -8.1 + 8. Let w = -106.94 + 105. Let l = w + -0.06. Put 0, o, l in descending order.
0, o, l
Let g = 5 + -4. Let l = g - 2.6. Let k = l + 2. Sort k, -0.1, 0.3 in decreasing order.
k, 0.3, -0.1
Let c(b) = -b - 1. Let x be c(-5). Sort x, 5, -2 in decreasing order.
5, x, -2
Let b = 4 + -2. Let z be ((-2)/6)/((-1)/b). Let k = 1.2 + -1. Sort z, k, -0.4 in descending order.
z, k, -0.4
Let y = 257/9 - 85/3. Put -3/14, y, -4 in decreasing order.
y, -3/14, -4
Suppose -o = -f - 9, 5*o - f + 2*f - 51 = 0. Suppose o = -2*p - 0*p. Let a(k) = k**2 + 7*k + 6. Let r be a(-5). Put p, r, -3 in increasing order.
p, r, -3
Let c be (-10)/(-35) - (-26)/7. Let k = 1 + -1. Put c, 1, k in descending order.
c, 1, k
Let r = 1.5 + -0.7. Let l = r + 3.2. Sort 3/5, 0.1, l in descending order.
l, 3/5, 0.1
Suppose -4*l - l - 2*c + 456281 = 0, 2*l - 182513 = -c. Let h = -18616159/204 + l. Let o = -1/68 - h. Put 2/7, o, 2 in descending order.
2, o, 2/7
Let n = 16 + 1. Let u = n + -12. Let a = -6 + 6.5. Put -1/4, u, a in increasing order.
-1/4, a, u
Suppose 0*m = -2*m + 4. Suppose 2*d = -0*d. Suppose -v - 2*v - 12 = d. Sort m, v, 3 in decreasing order.
3, m, v
Let f(b) = 6*b**3 - 2*b**2 + 1. Let w be f(1). Let n(u) = 5*u + 20. Let z be n(-5). Put z, -4, w in descending order.
w, -4, z
Suppose -2*c - 3 = w - 0*c, -4*c - 16 = 0. Sort 2, w, -2 in descending order.
w, 2, -2
Let r be (-3 - -2)/2*-2. Let q = 45 + -30. Suppose q = -v - 2*v. Put v, -4, r in ascending order.
v, -4, r
Let o = -11 + 13. Let g(d) = -d - 2. Let s be g(2). Put 4, o, s in descending order.
4, o, s
Let f = -23 - -21. Sort 3, f, 4, 0 in descending order.
4, 3, 0, f
Let o = -3/37 + -25/148. Sort -4, o, -0.3.
-4, -0.3, o
Suppose z = 3*h - 0*h + 10, -4*h - 40 = 4*z. Let u = 5 - 3. Let x be (2 - 0 - 2)/u. Put 5, x, z in ascending order.
z, x, 5
Suppose -t = -0*t - 2. Let o = 26 + -22. Sort -4, o, t in increasing order.
-4, t, o
Let l be 1 - 9/6 - (-21)/(-6). Let b = -2 - -10. Suppose b + 12 = 5*r. Put -2, l, r in ascending order.
l, -2, r
Let w = -6.9 + 7.9. Let s be (4/10)/(2/10). Sort -3, s, w in decreasing order.
s, w, -3
Suppose g - 16 = -7. Let l = -11 + g. Put -5, l, 0 in decreasing order.
0, l, -5
Let w = -45.9 + 49. Let p = -3 + w. Put p, 0.5, -3 in decreasing order.
0.5, p, -3
Let p = -0.31 + 0.21. Sort 0.04, 0.5, -2, p.
-2, p, 0.04, 0.5
Suppose -b = 4*b. Let p = -2 - -3. Suppose 3*t - 2*t = -p. Put t, 4, b in descending order.
4, b, t
Let p = 0.16 + 2.84. Sort -1/5, p, 3.2 in increasing order.
-1/5, p, 3.2
Let l be (5/15)/((-1)/(-3)). Sort 2, -4, l, -1.
-4, -1, l, 2
Let u(t) = t. Let w be u(-10). Let l = w + 8. Put l, 3, 2 in ascending order.
l, 2, 3
Let w = -1.2 + 0.2. Let q = 88 - 85. Sort q, w, 0.1 in decreasing order.
q, 0.1, w
Let c = -0.2 + -0.2. Let k be (8/30)/((-18)/(-15)). Let u = -2.8 - -3. Put u, c, k in decreasing order.
k, u, c
Let g = 6.2 + -1.2. Let v = -0.11 + 3.31. Let s = 0.2 - v. Put -1/4, g, s in descending order.
g, -1/4, s
Let h = 1.1 - 4.1. Let d = 2.7 + h. Let g = -1 + 1.1. Put g, d, 1/2 in descending order.
1/2, g, d
Let x = -4 - -6. Suppose x = -f - 1. Let q = -3 - -6. Sort 2, f, q in ascending order.
f, 2, q
Let x be 123/39 - 14/91. Put 5/6, x, 6 in increasing order.
5/6, x, 6
Let n be ((-4)/(-10))/(16/20). Suppose 0*x - 28 = -2*x. Suppose 0 = -3*k - 12, 0 = -2*q + 3*k + x. Put n, q, -0.2 in increasing order.
-0.2, n, q
Suppose -5*i + c + 2 = -4*i, 5*c - 46 = -3*i. Suppose -w + 5*w = 0. Suppose 2*l - i*l - 5 = w. Sort l, 3, 1 in descending order.
3, 1, l
Let n = -61 - -64. Let g be 4/(-2) + -3 + 2. Put -4, g, n in decreasing order.
n, g, -4
Let s = -7 + 4. Put 0, s, -1 in increasing order.
s, -1, 0
Let k(v) = v**3 + 5*v**2 + 5*v + 5. Let z be k(-4). Let b be ((6/1)/3)/z. Let u be (-35)/(-7)*b/15. Put 2/9, u, 5 in decreasing order.
5, u, 2/9
Let w be (-39)/(-33) - (-2)/(-11). Sort 4, w, -2/7.
-2/7, w, 4
Suppose 1 = -2*i + 2*s - 3, -5*i + 6 = 3*s. Suppose i = -4*b - 6 - 2. Let v = 8 - 4. Sort -3, b, v in decreasing order.
v, b, -3
Let x = 193 + -197. Let a = -14875/498 + 179/6. Let s = -103/1743 + a. Sort s, x, -1 in ascending order.
x, -1, s
Let z = 95 - 951/10. Put z, 1/3, 2/17 in decreasing order.
1/3, 2/17, z
Let l = 128/171 - 10/19. Put 1, 2, l in descending order.
2, 1, l
Let x = 3 + -1. Let p = 6 + -3. Sort x, 0, p in increasing order.
0, x, p
Let p(r) = -r**3 + 6*r**2 - 4*r - 1. Let k be p(5). Let q = 5 - 9. Put k, -3, q in descending order.
k, -3, q
Let a = 3 + -3. Let o = -0.2 + a. Let l = -1.2 - o. Sort l, -0.2, 0 in increasing order.
l, -0.2, 0
Let b = -12 + 10. Let a = -2.3 - b. Sort a, -1/3, -2 in descending order.
a, -1/3, -2
Let k = 4 - 8. Let t = k + 3.9. Let v = t - -3.1. Sort -0.5, 2/3, v in decreasing order.
v, 2/3, -0.5
Let t(r) = -r**3 + 9*r**2 + 12*r - 5. Let d be t(10). Suppose -4*k + 9*k + d = 0. Put 0, k, -5 in increasing order.
-5, k, 0
Let t(v) be the third derivative of v**5/60 - 5*v**4/24 - v**3/6 - 2*v**2. Let z be t(5). Suppose -5*x - 8 = -3*x. Sort -5, z, x in ascending order.
-5, x, z
Let r = 4367/63 + 1630/9. Let m = 251 - r. Let p = 69 + -347/5. Sort 0, m, p in decreasing order.
m, 0, p
Let j = -34 - -14. Let q = j + 59/3. Put -0.4, -0.3, q in descending order.
-0.3, q, -0.4
Let t be -1 + 41/13 - (-6)/(-39). Put -2, -3, t in decreasing order.
t, -2, -3
Let g be (-1)/((-1)/(-3)*1). Suppose -36 + 20 = 4*t. Sort g, t, -0.1 in descending order.
-0.1, g, t
Let f = 2 - 2.5. Let y be 1 + (-33)/(-21) - 2. Put f, y, -1 in ascending order.
-1, f, y
Let r = 73 + -73.11. Put r, 5, -1/4 in ascending order.
-1/4, r, 5
Suppose -2*i = -6*q + 3*q + 19, 3*i + 30 = 3*q. Let k = i - -7. Sort 2, k, -0.1 in decreasing order.
2, -0.1, k
Let d = 16 - 13. Sort 2/5, d, -1/5.
-1/5, 2/5, d
Let f be (-2)/8*8/(-3). Let y = 2.3 - -0.7. Put -4/5, y, f in increasing order.
-4/5, f, y
Let o be (14 - 2)*(-5)/10. Put o, -3/7, 0.4 in increasing order.
o, -3/7, 0.4
Suppose -3*r = 3*o + 21, -20 = 4*o - 0*r - 4*r. Sort 3, o, -2 in increasing order.
o, -2, 3
Suppose -60*d + 62*d + 16 = 0. Put 0, d, -5, 1 in descending order.
1, 0, -5, d
Let w be -5*(-2)/10*0. Sort -2, w, 5, -1.
-2, -1, w, 5
Let d = 7 - 10. Let p = -47/32 - 1/32. Sort -0.5, p, d in descending order.
-0.5, p, d
Let y be -2 - ((-6)/(-3) + -1). Sort 4, y, 5, 1 in increasing order.
y, 1, 4, 5
Suppose -q - 10 = 3*h, -h + 2*q = -0*q + 15. Let l(s) = s**2 + 4*s - 3. Suppose 6 = -5*n - 19. Let d be l(n). Put h, 1, d in decreasing order.
d, 1, h
Suppose -f + 2*f = 2. Suppose t + f*t = 0. Let q be t + -2 - 11/(-7). Sort q, 0.2, 2.
q, 0.2, 2
Let o be (17 + -23)*(1 - 34/30). Sort o, -1/2, 0.9 in descending order.
0.9, o, -1/2
Let l be 18/84*(-14)/(-8). Put 4/3, l, -0.5 in increasing order.
-0.5, l, 4/3
Let v be (10/20)/((-1)/6). Put 12, v, 0 in decreasing order.
12