Put -0.3, v, -0.5, -4 in descending order.
-0.3, -0.5, v, -4
Let a be (-238)/63 - (-2)/(-9). Put 16, a, 1 in decreasing order.
16, 1, a
Suppose 4*v + 20 = -0. Let a = -4 - v. Put a, -4, 5 in descending order.
5, a, -4
Let o be (-6)/12*(0 + 0). Sort -7, -4, o in decreasing order.
o, -4, -7
Let b = 3.6 + -1.71. Let w = -0.11 - b. Let g = 5 + -5.3. Sort w, 5, g in decreasing order.
5, g, w
Let q = 0.2 - 0.3. Suppose 0 = s + 2*r - 11, -2*s + 2*r - 1 = -s. Let b = 3 + -2.8. Sort b, q, s in descending order.
s, b, q
Suppose 7*f - 2*f - 45 = 0. Sort -0.3, 2, f in descending order.
f, 2, -0.3
Let c be (-2 - 3/(-2))*2. Put c, -4, 5 in descending order.
5, c, -4
Let q be (-63)/14 - (-1)/2. Let a be (-2)/q - 5/15. Put a, 2, 1/5 in ascending order.
a, 1/5, 2
Let n(i) = 14*i - 7. Let d be n(1). Sort d, 3, 5 in descending order.
d, 5, 3
Let r = 158/5 - 32. Let o = -0.81 - -0.01. Let n = -0.7 - o. Sort n, r, -1 in ascending order.
-1, r, n
Suppose 0 = -4*l - 2*o + 6, -1 + 4 = -3*l - 3*o. Sort 0, 3/2, 2, l in ascending order.
0, 3/2, 2, l
Let y be (-1)/(-2) - 261/(-6). Suppose w = -3*w + y. Suppose 5*c - k - w = 0, k + 3*k - 31 = -5*c. Sort -0.4, c, 0.4 in decreasing order.
c, 0.4, -0.4
Suppose -5*c = 4*t + t - 50, -5*c + 25 = 0. Let n(d) = -10*d + 110. Let s be n(11). Sort 7, t, s in ascending order.
s, t, 7
Let h = 4985/34 - 293/2. Sort h, -2, 0.7 in increasing order.
-2, h, 0.7
Suppose -3*c + 4*f = -13 + 5, -2*c - 2*f - 4 = 0. Suppose c = -2*j - j + 9, -23 = -4*b - 5*j. Put b, -5/3, 0.4 in decreasing order.
b, 0.4, -5/3
Suppose 6*k = -13 + 1. Suppose -3*j + 5*j = 10. Sort j, k, 0.
k, 0, j
Let k(g) = 0*g**2 + 0*g + 2*g**2 - 2 + 2*g. Let f be k(-2). Let y be 33/55*10/(-3). Put f, -3, y in ascending order.
-3, y, f
Let m = 9.2 - 9. Let j = -18 - -13. Let o be (-5)/((-5)/2) + j. Put -5, m, o in ascending order.
-5, o, m
Let y = -1685/8 - -211. Let a be ((-6)/(-4))/(1/2). Let r = a - 0. Sort -2/3, r, y.
-2/3, y, r
Let q = -71 + 69. Put 10, -1, 5, q in increasing order.
q, -1, 5, 10
Suppose 0 = -0*m - 2*m. Let j(u) = -u**3 + u**2 + u + 5. Let g be j(m). Let q be (-85)/(-95) + 4/38. Sort 3, g, q.
q, 3, g
Let o be 3 + (-9)/(-15) + (-4)/(-10). Sort 5, o, -4, 3 in decreasing order.
5, o, 3, -4
Let d = -26 - -25. Let u = -6 - -2. Sort u, d, -2.
u, -2, d
Let s = 10 + -9. Sort 4, s, -5 in decreasing order.
4, s, -5
Let k = -17 - -31. Suppose 0 = -4*c - 3*n + k, 3*n - n - 12 = -4*c. Suppose 2*w + c = -8. Put w, -1, -4 in descending order.
-1, -4, w
Let o = -19 - -93/5. Sort 1, o, 0.1 in ascending order.
o, 0.1, 1
Let g(k) = -k**3 - 4*k**2 - 2*k - 4. Let f be g(-3). Let v be 580/70 - 2/7. Suppose -4*l + 0 = 2*y + 8, 0 = -4*y - 2*l + v. Put 5, y, f in decreasing order.
5, y, f
Let b be ((-1)/(-3))/((-3)/(-54)). Let t be 1 - 6/(-3) - b. Let j(p) = p**2 + 4*p + 4. Let a be j(t). Sort a, 3, -5.
-5, a, 3
Let g(p) = -p**2 - 7*p + 41. Let m be g(-9). Sort m, -1, 3 in ascending order.
-1, 3, m
Let a be 4/(-14)*(-21)/9. Sort -0.2, a, 0.2 in increasing order.
-0.2, 0.2, a
Let v(y) = y**2 + 2*y - 1. Let k be v(-3). Suppose z + 4*l = l + 19, -4*z - 5*l = -62. Let f = z + -9. Sort f, k, -1 in descending order.
f, k, -1
Let r = 391541/9 - 43333. Let l = 172 - r. Let j = -2 + -2. Sort 0.1, j, l in increasing order.
j, 0.1, l
Let q be (-1)/5 + 9/(-5). Let j(x) = x + 1. Let u be j(q). Let s(z) = -z**2 - 5*z - 4. Let y be s(-3). Put y, u, -5 in increasing order.
-5, u, y
Let p(w) = w**3 + 5*w**2 - 7*w - 5. Let f be p(-6). Let m(q) = q**2 - 7*q + 7. Let u be m(6). Suppose 0 = -4*n - 21 + u. Sort f, -1, n.
n, -1, f
Suppose 0 = -6*s + 5*s - 5. Sort s, -4, -14.
-14, s, -4
Let f = 22.1 - 22. Suppose l + 10 = -4*l, 3*m + 3*l = -9. Sort m, -4, f.
-4, m, f
Let o(v) = -17*v - 19. Let h be o(-1). Let c(k) = k**3 - 4*k**2 - 4*k - 4. Let j be c(5). Sort -4, j, h in decreasing order.
j, h, -4
Let z be 4/((-112)/(-76)) + -3. Sort -0.3, z, 1 in descending order.
1, z, -0.3
Let w be 2/3 - (-4)/(-6). Let m(n) = -n. Let s be m(w). Sort 1, -4, s in decreasing order.
1, s, -4
Let t(b) = -b**2 - 3*b + 2 + 0*b + 7*b. Let y be t(5). Let d be (-2)/(-8) + 10/(-8). Sort 5, d, y in increasing order.
y, d, 5
Let m = -50 + 50.3. Suppose 5*d = -6 - 4. Sort d, m, -2/9 in descending order.
m, -2/9, d
Let r be (-4)/10 - 13/30. Let h = -10 + 15. Let s be 15/6*6/h. Put -1, r, s in descending order.
s, r, -1
Suppose -6 = -4*v + 3*v. Suppose -2 - v = 4*g. Sort 1, g, 4 in descending order.
4, 1, g
Let t = -7 + 7.12. Sort t, 4/7, -4 in increasing order.
-4, t, 4/7
Let u = -5.8 - -0.8. Sort 2, 5, u in ascending order.
u, 2, 5
Let y(i) = -i**2 + 2*i - 1. Let l be y(1). Suppose l = -g - 2*g + 15. Put 1, -4, g in descending order.
g, 1, -4
Let s = 1.819 - -0.181. Let y = -5.4 - -5. Sort s, 4, y in ascending order.
y, s, 4
Let p = -3.9 - 0.1. Let n = -0.13 + 3.63. Let t = n + p. Sort -0.3, -1, t in ascending order.
-1, t, -0.3
Suppose 3*b - 8*b = -180. Suppose -5*s = -11 + b. Put s, 1, -3 in ascending order.
s, -3, 1
Let q = 8 + -5. Let i be 1/(-5) - (-21)/5. Let m = i - 9. Put q, 4, m in ascending order.
m, q, 4
Suppose 0*s + 20 = 2*s. Let g = s + -15. Put g, 2, -1 in descending order.
2, -1, g
Let o = -1 - 0. Let f = 96 - 96.4. Sort 0.4, o, f.
o, f, 0.4
Let j = 1 - -2. Let g = 1 - 4. Let q = g + j. Sort 1/6, q, 4 in increasing order.
q, 1/6, 4
Suppose 3*b - 1 = 8*t - 3*t, 4 = b + 2*t. Put b, -5, -4 in ascending order.
-5, -4, b
Suppose -5*x + t + 4 + 1 = 0, 2*t + 10 = -5*x. Let s be x*(-1 - (-6)/4). Suppose s = 2*r + 5 + 5. Sort -3/5, -3, r in increasing order.
r, -3, -3/5
Let v be 21/(-9) - 6/9. Let t be (v/9)/((-2)/(-30)). Sort t, 0, 3 in descending order.
3, 0, t
Let o = 83 + -82. Sort o, 5, 2, 3 in decreasing order.
5, 3, 2, o
Let u = 0.28 + -0.68. Sort u, 2, -3/7 in descending order.
2, u, -3/7
Let a(n) = -n**3 + 10*n**2 - 10*n + 4. Let p be a(9). Sort 0.1, 3, p in decreasing order.
3, 0.1, p
Let w(y) = -y**2 - 7*y + 3. Let p be w(-7). Sort 3/4, -3, p in descending order.
p, 3/4, -3
Let i = -99 + 94. Let p be ((-20)/8)/(2/(-4)). Suppose 3*a = 2*s + 16, 3*s - 15 + 1 = -p*a. Put a, 5, i in increasing order.
i, a, 5
Suppose 5*m = -3*q + 2 + 4, 2*m = q - 2. Suppose 5*g + r - 40 = -4*r, 5*g = -4*r + 35. Put 4, g, m in increasing order.
m, g, 4
Let g = -13 - -11. Sort g, 1, -1.
g, -1, 1
Suppose y - 11 = -8. Put 2, -4, 5, y in decreasing order.
5, y, 2, -4
Let t be (-1)/((36/(-3))/(-3)). Let k = 3082/11 - 280. Put k, t, -5 in descending order.
k, t, -5
Let h = -2 - -3. Suppose u + 7 = 9. Suppose 4*o = -u*o + 30. Put o, 3, h in descending order.
o, 3, h
Let w = 282 - 175. Let j = 75865/7 + -10945. Let f = j + w. Sort 3/7, f, 1 in decreasing order.
1, 3/7, f
Let t = 7 - 12. Let k(w) = w**2 + 6*w + 7. Let f be k(t). Let p be (-10)/4 + 1/(-2). Put f, -2, p in decreasing order.
f, -2, p
Let m be 0/(2 - (0 + 3)). Let o be ((-6)/(-4))/((-3)/20). Put o, m, -5 in ascending order.
o, -5, m
Suppose -5*i + 35 = 4*k, 0*k = 2*k - 4*i - 24. Suppose -2 = -4*z + k. Put 2, -3, z in increasing order.
-3, 2, z
Let j be (-1)/(-12)*(-16)/(-6). Let w = -5 + 6. Let h be w*4 - 250/70. Put j, -0.4, h in decreasing order.
h, j, -0.4
Let m be (25/(-15))/(0 + (-1)/3). Sort m, -1, 4 in descending order.
m, 4, -1
Let x(b) = -b**2 - 4*b - 1. Let y be x(-2). Let l(d) = d**3 + 5*d**2 - 6. Let j be l(-5). Let z be 4/12 - (-14)/j. Sort -3, y, z in descending order.
y, z, -3
Let j be 2/(-2 + -2)*18. Sort 2, j, -3 in descending order.
2, -3, j
Let k(a) = 17*a**2 - 1. Let y be k(1). Suppose 5*w + z = -4 + 14, 4*w + y = 4*z. Sort -1, w, -3.
-3, -1, w
Suppose -3*k - 9 = -4*q, -k - 4*k = -5*q + 10. Sort -1, -4, k, -6 in increasing order.
-6, -4, -1, k
Let k = -8 - -13. Suppose 0 = 2*z - 3*z - 1, -5*z + 3 = 2*i. Put -5, i, k in decreasing order.
k, i, -5
Let l = 6 - -1. Let b = l + -5. Sort b, -2, 2/9 in increasing order.
-2, 2/9, b
Let g be -5 + 2*(-585)/(-230). Sort -3, g, 2 in descending order.
2, g, -3
Let j be 6/10 - (-18)/(-15). Let g = -5.06 - -0.06. Put 2/13, j, g in descending order.
2/13, j, g
Let y(q) = -q**3 + 6*q**2 - 6*q + 2. Let p be y(5). Suppose -3*i - x = 3*x + 4, 0 = -x + 2. Let w be 2/(1 - (-1)/(-3)). Sort p, i, w in ascending order.
i, p, w
Let b(o) = o**3 - 13*o**2 - 16*o + 26. Let s be b(14). Sort s, -3, 5.
-3, s, 5
Let w = -4.6 + -1.4. Let c = 5