t a be o(-10). Let v be a*-3 + (-7 - -10). Sort -2, v, 2 in descending order.
2, v, -2
Let k(y) = -y**3 - 4*y**2 + y + 5. Let w be k(-4). Suppose -w = -4*v + 7. Suppose -o + 2*p - p = 0, v*o - 4*p = -8. Put -5, 2, o in decreasing order.
o, 2, -5
Let o = -40 + 60. Suppose -o*a = -15*a. Let v = 4 - 3. Put v, a, -2/11 in decreasing order.
v, a, -2/11
Let n = -0.38 + 14.88. Let r = n + -19. Let c = 4 + r. Sort -2/17, c, -1.
-1, c, -2/17
Suppose 0 = -2*m + 5*m + 6. Let l be ((21 + 3)/(-3))/(-2). Suppose 0 = -2*k - 2*k - 3*x - 11, 5*k = -x. Put k, l, m in decreasing order.
l, k, m
Suppose -2*r = -0*r. Suppose -2*l = -3*o - 17 - 2, 0 = 3*l - 4*o - 26. Sort 4, r, l in increasing order.
r, l, 4
Let i be (-1 - -2) + (-14)/10. Sort i, 0, 0.5 in ascending order.
i, 0, 0.5
Let v = 0 + -10. Let h = -16 - v. Let x be ((-4)/30)/((-2)/(-10)). Sort x, h, 0.2 in decreasing order.
0.2, x, h
Let v = -3.6 - -4.4. Let y = 6 - 5.6. Sort y, v, -1/10 in ascending order.
-1/10, y, v
Suppose -3*l + 7*l = -5*x + 4, -x + 5 = 5*l. Put -3, 2, l, 0 in descending order.
2, l, 0, -3
Let b = -3.1 - -3.05. Suppose -o = 2 - 0. Sort 0, o, b in descending order.
0, b, o
Suppose l = 3*r - 7, -4*l = -2*l - 10. Sort r, 0, 2 in descending order.
r, 2, 0
Let x be (-1)/(((-2)/(-2))/2). Let g(y) = -y**3 + 3*y**2 - 4*y + 3. Suppose -4*u + 5 + 3 = 0. Let p be g(u). Sort 5, p, x in descending order.
5, p, x
Suppose -4 + 0 = -b. Let i = 6 + -11. Sort b, 5, i in descending order.
5, b, i
Let g(w) = -6*w - 32. Let x be g(-6). Let k(l) = 3*l**3 - l**2 + l - 1. Let i be k(1). Suppose -5 = -u - i*o, u + 0*o + o = 1. Sort 1, x, u in ascending order.
u, 1, x
Let w = -16.5 + 17. Sort -0.1, w, -4 in increasing order.
-4, -0.1, w
Let g(f) = -f**3 + 5*f**2 - 2*f - 4. Let t be g(4). Suppose 6 = -t*h + 6*h. Let a(c) = -c**2 + 2*c + 3. Let q be a(-2). Put 4, h, q in decreasing order.
4, h, q
Suppose 0 = -a - 0*a + 5*h + 27, -4*a - 5*h = 17. Let w = 4 - 6. Sort w, a, 5 in descending order.
5, a, w
Let l = 1 + -1. Suppose -42 = -l*q - 2*q. Suppose -y - q = -4*t, 2*y - 6*y + 2*t = 14. Sort 0, y, -3.
-3, y, 0
Suppose -3*v = -z + 86 + 19, 2*z = -3*v - 114. Let o be 3/v - (-2)/8. Let j be -3*(-4)/(-12) + 4. Put o, j, -5 in ascending order.
-5, o, j
Let c be (32/280)/(12/14). Let n = c - 19/30. Put 1, 4, n in descending order.
4, 1, n
Let w = 0 + 2. Let c be 0 - (w/(-6) - 0). Let d = 1/391 - -769/5083. Put d, c, 1 in ascending order.
d, c, 1
Let y be (8/12)/(10/(-15)). Sort -4, y, 2 in descending order.
2, y, -4
Suppose t = -3*t - 20. Let m be (0/(-2))/(-6 - -4). Sort t, 3, m in descending order.
3, m, t
Let x = 14 + -10. Suppose -8 - 4 = x*g. Let j be 52/(-14) - (-2)/(-7). Sort g, j, 1 in ascending order.
j, g, 1
Suppose 2*b + 4*n - 12 = 0, 0 = 4*n - 16 - 0. Let q = b - 3. Sort -0.1, -2/3, q.
q, -2/3, -0.1
Let b(z) = -3*z**3 + z**2 - 1. Let m = -3 + 4. Let w be b(m). Let a(c) = -c + 2. Let t be a(3). Sort 2, t, w in ascending order.
w, t, 2
Suppose 4*m = -3*s - s + 24, 0 = 4*s - 5*m + 12. Suppose h + 14 = -3*l, -s = 3*h - 0*h + l. Let i be (0 + 1)*(-1 + h). Sort i, 4, 2 in decreasing order.
4, 2, i
Let w be ((-3)/2)/(36/120). Sort -30, w, 5 in ascending order.
-30, w, 5
Let c(v) = v**3 + 4*v**2 - 2*v - 4. Let q be c(-4). Let r = -61 + 66. Sort q, r, -3 in ascending order.
-3, q, r
Let s = -12.6 - 0.9. Let t = s + 14. Put t, 1/3, 4/3 in decreasing order.
4/3, t, 1/3
Let a = 7 + -10. Let x be a/((45/(-6))/(-5)). Sort x, 1/3, -1/4 in descending order.
1/3, -1/4, x
Let b = 4/17 + 9/34. Put b, -0.2, 0.4, -0.1 in descending order.
b, 0.4, -0.1, -0.2
Let m(v) = v**3 + 7*v**2 + v + 5. Let f be m(-7). Let i be 2 - -1 - f - 0. Suppose 0*q + 3*q + 15 = 0. Sort q, -3, i.
q, -3, i
Let u be 4 - (1/1)/(-1). Suppose 15*n - 17*n + 6 = 0. Sort n, u, -4 in ascending order.
-4, n, u
Let c be (1/3)/(2/6). Suppose 0 = 3*v - 6, 2*j - 10 = j - 3*v. Suppose -j*d - 5*y = -y, 0 = d + 2*y - 2. Sort d, c, 2 in decreasing order.
2, c, d
Let c(u) = -u**2 - 3*u + 4. Let o be c(-3). Suppose -y - 20 = -5*f, -f + 5*y + 22 = -2*f. Suppose s - f = -0*s. Put o, s, 2 in descending order.
o, s, 2
Let b = -1 - -1. Suppose 0 = 3*r + 3 - b. Sort 1, r, -4.
-4, r, 1
Let d = 0.03 + -0.33. Let q = -2 - -2.5. Sort d, q, 0.1 in descending order.
q, 0.1, d
Let p be 10/10*3/12. Sort 7, -2/9, p, 5 in descending order.
7, 5, p, -2/9
Suppose -4 = -a + 2*w, 4*a + 5*w = 6*w - 5. Sort -5, 2/5, a, 0.2 in decreasing order.
2/5, 0.2, a, -5
Let w = 0.27 - -0.03. Sort 1/3, w, -2, 0 in descending order.
1/3, w, 0, -2
Suppose -7*r = -2*r + 15. Sort -1, r, 4 in descending order.
4, -1, r
Suppose -2*d = d - 12. Suppose d*y - 3*y + 12 = 0. Let v = -7 - y. Put v, 1, -4 in descending order.
v, 1, -4
Suppose -2*b + 18 = 8. Let k be (-6)/(-5)*b/(-2). Sort k, -2, -4 in increasing order.
-4, k, -2
Let b be 2 + (0 - (-1 - 0)). Put 6, 2, b in increasing order.
2, b, 6
Let i = -505 - -7065/14. Let z = -1/7 + i. Let x = 3 + -2.5. Put x, -3, z in increasing order.
-3, z, x
Suppose -1 = -q - 11. Let k = 19 + q. Suppose -3*d + 0 = -k. Sort 1, -4, d in decreasing order.
d, 1, -4
Let v = 1 + -1. Let h = 26 + -24. Sort 5, h, v.
v, h, 5
Let j = -571/1608 - 4/201. Put 0.3, 0.2, j in ascending order.
j, 0.2, 0.3
Let w = -54 + 54.7. Sort w, 4, 5, -0.5 in ascending order.
-0.5, w, 4, 5
Let v = -34 + 30. Sort 5, v, 1, 3.
v, 1, 3, 5
Suppose 5*l - 18 = -2*u, -3*u = -5*l - 3 + 1. Let n = 6 - l. Put n, -3, -9 in descending order.
n, -3, -9
Let l be 6*(-4)/(-11 + -1). Sort -2, l, -5.
-5, -2, l
Suppose -5*g + 10 = -5*v, 3*g - v + 1 = -5*v. Put 2, 5, g, -5 in increasing order.
-5, g, 2, 5
Suppose 0 = -5*d + 5*w, 2*d - 4*w = -7 + 17. Sort 5, d, -0.2 in decreasing order.
5, -0.2, d
Let w = -62 - -64. Sort 1/9, 3, w in increasing order.
1/9, w, 3
Let r = -5.45 + 0.45. Put r, 4, 0, -2 in decreasing order.
4, 0, -2, r
Let h be 2*3/(-15) + 2/5. Put 2/5, -1, h in descending order.
2/5, h, -1
Let b = -10 - -5. Let m be 34/10 + (-2)/5. Put m, b, -1 in descending order.
m, -1, b
Let z = -37/4 + 19/2. Let j = -2 + 6. Let k = -1 - -1. Put j, k, z in ascending order.
k, z, j
Let o = -0.3 - -0.4. Let l = o + -0.05. Let c = l - 0.35. Sort c, 1/2, 3/4 in decreasing order.
3/4, 1/2, c
Let b be (-8)/(-6) - (-2)/3. Put -3, -1, b in decreasing order.
b, -1, -3
Let z be -2 - (-10)/6 - (-8)/(-12). Suppose 3*s + 5 = -j, 2*j - 23 = 2*s + 3*s. Put s, 2, z in descending order.
2, z, s
Let y = 273.06 + -270. Let a = -0.06 + y. Sort 0.1, a, -0.2 in decreasing order.
a, 0.1, -0.2
Suppose 0 = 4*h - 20, -2*q + 3*h - 35 = -12. Let a = q - -25. Let v be 5/7 + 6/a. Sort 0, 2, v.
0, v, 2
Let l = -150 + 149. Suppose -4*k - 3*v = 12, 2*v + 5 + 3 = 4*k. Sort k, l, 4 in descending order.
4, k, l
Suppose -4*n = -0*n - 8. Let u = 10 + -14. Let v be (-8)/(u + 2) - 0. Sort v, n, -2 in decreasing order.
v, n, -2
Let u = 11 - 6. Let v(z) = z**2 + 9*z - 2. Let y be v(-9). Put 3/8, y, u in descending order.
u, 3/8, y
Suppose 0*o - o = -2. Let g be -1*o*8/(-4). Sort g, -2, 0 in descending order.
g, 0, -2
Let k = -6.12 + 7. Let z = -0.12 - k. Put 4, -0.2, z in descending order.
4, -0.2, z
Let f be (-30)/(-9) + 1/(-3). Suppose 0 = 4*r, 0 = -0*j + 5*j + r - 5. Put f, -5, j in descending order.
f, j, -5
Let q = -7 + 10. Suppose c + 0*m + 5*m = 8, c - q*m = -8. Put c, 5, -1 in descending order.
5, -1, c
Let w(z) = z**3 + 6*z**2 + 4*z - 5. Let x be w(-5). Sort -2, x, 4.
-2, x, 4
Let z = -3 - -13/5. Let h = -3.3 - -3. Put z, h, 4/7 in decreasing order.
4/7, h, z
Let t(r) = -r + 9. Let f be t(7). Let x = -3 - f. Let n = -9 - x. Put n, -3, -5 in descending order.
-3, n, -5
Let h = -2 - -5. Suppose -h*b = -7*b + 20. Sort -2/23, -1/3, b.
-1/3, -2/23, b
Let j = 2286/13 + -1998/13. Let i = j + -22. Put i, -4, -0.2 in descending order.
i, -0.2, -4
Let d = 0.08 + 4.92. Let k = 0 + d. Sort k, 0, 0.4 in descending order.
k, 0.4, 0
Suppose -3*b - 5*l + 0*l = -31, -5*l = 4*b - 43. Suppose -3*q + b = -0. Sort -4, -3, q.
-4, -3, q
Suppose -b = 4*b + 5. Suppose 2*h + 2 = 4*h, -w + 2 = 2*h. Put b, 0.1, w in decreasing order.
0.1, w, b
Let i = 0.4 - 0.4. Let l = -0.3 - -0.1. Sort i, -5, l in descending order.
i, l, -5
Let k = -16 - -12. Let x = -14.5 - -19. Let u = k + x. Sort u, 4, -5.
-5, u, 4
Let u = 21 - 16. Let o = -10 - -16. Suppose 20 = 5*a, 2*a - 5 = 3*f + o. Sort 