o, k, m
Let i = 305.7 - 306. Sort 5, -4, 11/2, i.
-4, i, 5, 11/2
Let k = 0.139 + 1.831. Let j = 0.03 + k. Let c = 1.47 - 1.67. Sort 4/3, j, c in decreasing order.
j, 4/3, c
Let a = 40.3 + -34.3. Sort a, -3, 1.5.
-3, 1.5, a
Suppose -3570 = -12*r + 46*r. Sort r, 4, -5.
r, -5, 4
Let v = -0.1 - -0.6. Let y be 16*8/32*1/(-2). Sort v, -1/2, y in ascending order.
y, -1/2, v
Let v = 1.12 - 0.61. Let z = v + -0.21. Put -1, -8, z in increasing order.
-8, -1, z
Let r = -78 - -46. Let o = 27 + r. Put -14, o, 0.5 in ascending order.
-14, o, 0.5
Let u(p) = 2*p**2 + 26*p + 36. Let t be u(-11). Let s(a) = 2*a**2 + 10*a + 4. Let c be s(-4). Put 4, -1, c, t in ascending order.
t, c, -1, 4
Suppose 9*z + 17 + 10 = 0. Put z, -4, 3 in descending order.
3, z, -4
Let g = 10 + -6. Let b(s) = -6 + 4 - 2 - s**2 + 6*s - 4. Let p be b(g). Sort p, -1, 3 in increasing order.
-1, p, 3
Let x = -5.0029 - -0.0029. Put 4, x, 0.7, -0.05 in decreasing order.
4, 0.7, -0.05, x
Let q(f) = -f**2 + 9*f - 5. Let d be q(7). Let i(x) = -x**2 + 12*x - 12. Let n be i(d). Let o be (-1 + 0)/(3/n). Put o, 0, 3 in descending order.
3, 0, o
Let m = -134 + 138. Put m, 0, -15 in descending order.
m, 0, -15
Suppose -a - 3*a + 4*n - 16 = 0, 3*a = -2*n - 12. Let c be (1/a)/(2 + (-164)/80). Let y = 2 - 1. Put c, y, -4 in decreasing order.
c, y, -4
Let l = -3/2420 - -2447/21780. Sort -16, -21, l in descending order.
l, -16, -21
Let a = 0.03 - 1.43. Let z = -7.4 - a. Sort 4, -3/4, z.
z, -3/4, 4
Let v = -3 - -2.93. Let w = 0.57 + v. Let b = 2.4 + -2.1. Sort w, -0.2, b in increasing order.
-0.2, b, w
Suppose 38*t = 49*t. Sort -1, 5, t, -34 in ascending order.
-34, -1, t, 5
Let o = -0.15 - -16.15. Let q = 14 - o. Let l be 3/(-18) + (-6)/(-12). Put q, l, 5 in decreasing order.
5, l, q
Let z = 1616 + -1608. Suppose 4*c + 4*v + 16 = 0, 2*c + v - 2 = -6. Sort c, z, 2, 5 in decreasing order.
z, 5, 2, c
Suppose -4*f - 5*w - 16 = 0, 4*f + 3*w + 7 + 1 = 0. Put -5, 2, -3, f in descending order.
2, f, -3, -5
Let h(u) = -u**2 + 1. Let y be h(0). Suppose -9 - y = -3*v - 2*f, -15 = -5*v - 5*f. Suppose v*g - g + 3 = 0. Sort g, 5, 0.04 in descending order.
5, 0.04, g
Let w be (1 - (-8)/(-12))*3. Let i be (w/(-2))/(9/(-36)). Suppose -o - 5 = 5*n, -1 = -2*o - 2*n - 11. Sort 5, i, o in increasing order.
o, i, 5
Suppose -2*i + 43 + 49 = -2*p, -3*p - 6 = 0. Put i, -5, 2, 4 in decreasing order.
i, 4, 2, -5
Suppose -4*u = -26 + 10. Suppose -u*s + 2*s = -8. Put 3, s, -10 in ascending order.
-10, 3, s
Suppose -5*m - 5*b = 133 + 217, 4*b - 323 = 5*m. Let k = 63 + m. Sort 1, 4, k, 0 in increasing order.
k, 0, 1, 4
Suppose -13 = 3*w - 4*w - m, 4*m = 5*w - 38. Suppose 4*v + 4*f = -10 - w, 0 = 2*v - 2*f + 6. Let x be 2/v*2 + 5. Put x, -4, -2 in decreasing order.
x, -2, -4
Let f = -3 + 3. Suppose 3*w + 2*r = -r, -3*r = f. Let z = w - -3. Put -1, -5, z in ascending order.
-5, -1, z
Let z(k) = k**3 + 10*k**2 + 11*k + 17. Let s be z(-9). Let x be 2/s*15/(-10). Sort 5, 4, x.
x, 4, 5
Let p be -3*2/(-6)*-5. Let q = -41 - -49. Let l = -9 + q. Sort l, -7, p in ascending order.
-7, p, l
Suppose 0*s + 3*j - 1 = 4*s, -3 = 3*s - 3*j. Suppose s*t = -0 + 4. Let o(d) = d**3 + 9*d**2 + 4. Let x be o(-9). Put x, 1, t in ascending order.
1, t, x
Suppose 8*i = 11*i - 18. Let k be (-2)/(-1) + (-2)/2. Sort -1, i, k.
-1, k, i
Let m = 2556 + -2556. Put -2, -7, 6, m in decreasing order.
6, m, -2, -7
Let q(v) = v**2 + 12*v + 15. Let y be q(-11). Let m = 263 - 264. Sort m, 3, y, -3 in descending order.
y, 3, m, -3
Suppose 3*u + 9*k + 9 = 6*k, 4*k + 10 = -2*u. Sort -5, 1, -2, u in decreasing order.
1, u, -2, -5
Suppose -4*y - 3 + 7 = 5*a, 3 = 3*y + 3*a. Let s be (0/y + 6)*1. Suppose s*f - 4*f = -10. Sort -2, 1, f in decreasing order.
1, -2, f
Let i = -2.9 + 1.9. Let v be (-46)/(-45) + 6/(-27). Let s = 6 - 4. Put i, s, v in descending order.
s, v, i
Let a = 645970 + -9685622/15. Let j = a - 262. Put 2, 2/5, j in ascending order.
j, 2/5, 2
Let j be 1210/165 + (-5 - 1). Sort -0.5, 0.02, -2/3, j in decreasing order.
j, 0.02, -0.5, -2/3
Let t = 110.4 - 122. Let j = t - -1.6. Let n = 9.5 + j. Put -5, -6/7, n in descending order.
n, -6/7, -5
Suppose -y - 4*y = -5*l + 10, -5*l - y = -4. Put -36, -1, l in ascending order.
-36, -1, l
Let v = -80 - -85.1. Let i = -5 + v. Let y be (-2)/(-3)*(1 + 0). Sort i, -0.5, y.
-0.5, i, y
Let j be -8 - (-4 - -1)*2. Put 1/10, j, 1, -11/10 in ascending order.
j, -11/10, 1/10, 1
Suppose -12 = -o + 3*z, 2*o = 4*z + 24 - 4. Let g(w) = w - 3. Let u be g(o). Let h = -161 + 168. Put u, -4, h in decreasing order.
h, u, -4
Let q = -3 - -4. Let c = 0.9 - q. Let j be (-92)/(-112) - (-4)/(-7). Sort -4, j, c in decreasing order.
j, c, -4
Let c(h) = h**3 - 2*h**2 - 3*h + 2. Let o be c(3). Let y = 238.1 - 196. Let r = 42 - y. Sort o, r, 0.2 in increasing order.
r, 0.2, o
Let i = -165 + 160. Let b = -5.5 - -6. Sort b, i, 2, 0.4.
i, 0.4, b, 2
Let r(j) = j**2 + 33*j + 129. Let y be r(-28). Put -3, y, -2 in decreasing order.
-2, -3, y
Let j be (15/(-2))/((-5)/10). Let b be (j/(-15))/((-1)/(-3)). Let p be 5/(-4) + (-1)/(-4). Put b, 1, p in decreasing order.
1, p, b
Let n be (30/(-8))/((-6)/16). Suppose 0 = -4*w - w + n. Let j be (w/5)/(21/(-30)). Sort 5, 0, j in descending order.
5, 0, j
Let a(g) = -56*g**3 + 2*g**2 - 4*g + 1. Let o be a(1). Let f be (-12)/o*3*3/18. Put f, -3, -0.5 in descending order.
f, -0.5, -3
Suppose 0 = -w + 4*w - w. Suppose -4*l - 20 = 3*x - w, 3*l + 15 = 0. Sort 4, x, -3, -1 in ascending order.
-3, -1, x, 4
Let z(p) = -p**3 - 4*p**2 + 4*p - 3. Let x be z(-5). Suppose 4*c = 6*c - x. Suppose -5*a + 0*a - 2*b = 16, 0 = -5*a + 3*b - 1. Sort 2, c, a in decreasing order.
2, c, a
Let g(x) = x**3 + 6*x**2 - 31*x - 41. Let f be g(-9). Sort f, -3, 93.
f, -3, 93
Let j = -9.4 - -5.3. Let k = 2.4 + j. Let p = 2 + k. Sort p, -1.5, 1/11.
-1.5, 1/11, p
Let g be 2/(8 - -1*2). Let n = 625.5 - 626. Put n, 1, -0.9, g in decreasing order.
1, g, n, -0.9
Let y be (22/5)/(13/65). Suppose 5*b - 2*b = -4*q - y, -14 = q + 5*b. Put q, -1, -5 in ascending order.
-5, q, -1
Let s be (-10 - -237) + 1/1. Let b = s + -2510/11. Let u = 2 - 4. Sort b, u, 0.5.
u, b, 0.5
Suppose -5*f - 3 - 7 = 0. Sort -13, 4, f, 12.
-13, f, 4, 12
Let t = 365 + -365. Put 8/7, t, -3 in decreasing order.
8/7, t, -3
Let t(p) = 6*p - 132. Let k be t(23). Put k, -3, 14 in decreasing order.
14, k, -3
Let o = -24 - -42. Let j = o - 18. Put -3, 2, j in descending order.
2, j, -3
Suppose 2*b - 20 = -3*n, 2*n - 3*n = 4*b - 30. Suppose -11*y = -b*y. Sort y, -0.04, 2 in decreasing order.
2, y, -0.04
Suppose 0 = 11*b - 17 + 281. Put 5, 0, b in increasing order.
b, 0, 5
Let f be 1/(1 + (-16)/12). Let b be (f - -2)*6/12. Sort -2/3, 0, b.
-2/3, b, 0
Suppose 4*l = l + 9. Let f = 153 + -155. Sort -1, f, l, -7 in increasing order.
-7, f, -1, l
Suppose -60 = -5*i - 2*t, i + 5*t - 7 = 5. Let q be 10*3/i*8/10. Let r = -0.16 - -1.06. Sort r, q, 0 in descending order.
q, r, 0
Suppose 0 = -2*t + 5*u - 41, 25 = -4*t - 2*u + 3. Let z be ((-2)/(-12))/((-12)/t). Put -0.5, -1/3, 5, z in decreasing order.
5, z, -1/3, -0.5
Let a be 1 - -3*16/(-12). Let v = 0.02 - -0.01. Let l = v + 0.97. Put l, a, 3 in decreasing order.
3, l, a
Let v = 65.27 + -65.77. Let n = -4 - -12. Sort 2/9, v, 0.3, n in increasing order.
v, 2/9, 0.3, n
Let z be (-35)/(-10)*(-12)/(-7). Suppose 0*i = 2*i - z. Suppose 0 = -r + y - 4, -r - y = i*r - 9. Put 5, r, -5 in decreasing order.
5, r, -5
Suppose 3*v = 7*v. Let n = 19 - 14. Sort v, n, 14, -3.
-3, v, n, 14
Let w(s) = -s + 3. Let l be w(4). Let d be l/(20/6 + -3). Suppose -2*v - 10 = -4*k, 3*k - 3*v = -2*k + 13. Put d, 0, k in decreasing order.
k, 0, d
Suppose -2*g + 18*g = -64. Sort g, 2, -36.
-36, g, 2
Let q = -372 + 370. Put -1/3, q, 3, -11 in increasing order.
-11, q, -1/3, 3
Let p = -4 + 3.6. Suppose 56*x = 89*x - 132. Sort p, -2/3, x, -1.9.
-1.9, -2/3, p, x
Let b = -0.0145 - -34.0145. Sort -5, b, 0.1 in decreasing order.
b, 0.1, -5
Let l = -0.07 + 1.67. Let b = -3.85 + 6.25. Let d = l + b. Sort d, -1/5, 0 in descending order.
d, 0, -1/5
Suppose 0 = 3*o - 5 - 1. Suppose -6 = -a - 4*n, 5*n - n = a + o. Suppose -a = 2*j - 4. Sort -5, j, 3 in descending order.
3, j, -5
Suppose 16 = -46*s + 50*s. Put -3, s, -20 in decreasing order.
s, -3, -20
Let c = -13 + 18. Suppose d - 7 = 4*n + 51, -4*n