Suppose 4*s + 4 = 28. Suppose 0 = c + s*c. Sort 1, -0.5, c in descending order.
1, c, -0.5
Let t be 8015/(-1155) - (-2)/(-33). Put -1, 3, t, -2 in descending order.
3, -1, -2, t
Let f = -9948.5 + 9949. Let h(s) = -8*s - 3. Let u be h(-6). Sort u, -1/2, f in ascending order.
-1/2, f, u
Let d be (-6 + -1 - 3/(-1)) + 0. Put 4, d, -6, 2 in decreasing order.
4, 2, d, -6
Suppose -5*f + 3*f - 6 = 0. Let a be (-1)/(1/1 + 0). Put -2, a, f in increasing order.
f, -2, a
Let j = 1.39 + 5.61. Sort 2, j, 1/4, 0 in descending order.
j, 2, 1/4, 0
Suppose -7*n = -n - 258. Sort -2, 3, n in decreasing order.
n, 3, -2
Let b = -309.2 - -308. Let l = 0.1 - -1. Let j = l + b. Sort j, -4, -1 in descending order.
j, -1, -4
Let l be 5/50 + (-1)/(-2). Suppose 6*z + 7 = 55. Let x be -4 + (z/(-2) - -6). Sort 5, l, x.
x, l, 5
Let k be (9/(-6))/((-6)/16). Let a be (-5)/k + 2/8. Let f be 0 + 27/9 - 2/(-1). Put 2, f, a in increasing order.
a, 2, f
Let l = -6.1 + 5.6. Sort -1/3, -26, l in increasing order.
-26, l, -1/3
Let k = 7 - -5. Suppose 8*g - k = 4*g. Sort 4, 2/5, 0.2, g in descending order.
4, g, 2/5, 0.2
Let n(g) = -4*g - 3. Let a(d) = 3*d + 1. Let v(o) = 3*a(o) + 2*n(o). Suppose 5*r - 2*r = 0. Let m be v(r). Sort 3, m, 0 in decreasing order.
3, 0, m
Let k = 0.11 + 4.89. Let p = -0.28 + 15.28. Let t = p + -12. Put t, -0.5, k in ascending order.
-0.5, t, k
Let o(w) = -7*w - 142. Let f be o(-20). Put 4, 5, f in descending order.
5, 4, f
Let d = 7.5 - 7. Let j = -8.5 - d. Let h = 14 + j. Sort -3/5, 4, h in descending order.
h, 4, -3/5
Suppose -11*d = 1199 + 935. Put 5, -4, d in ascending order.
d, -4, 5
Let n = 11 + -30. Let r = -20.56 - -1.96. Let z = n - r. Sort -5, z, -1.
-5, -1, z
Suppose -12*x - 7*x = -18*x - 5. Let i = -5 + 3. Put i, x, 1 in decreasing order.
x, 1, i
Let g = 210 - 211. Sort -3, 1, 2, g.
-3, g, 1, 2
Let u(b) = b**3 - 8*b**2 - 9*b - 4. Let p be (144/(-40))/(4/(-10)). Let a be u(p). Let n = -162 + 165. Sort n, 0.1, a.
a, 0.1, n
Let p(k) = -k**2 - 8*k + 92. Let z be p(-14). Put -4/13, 5, z in descending order.
z, 5, -4/13
Let c(f) = -4*f - 2. Let l be c(-1). Suppose 0 = -l*d + q + 13, 0 = 2*d - q + 2*q - 3. Let s be ((-9)/4)/(d/16). Put -0.1, -2, s in increasing order.
s, -2, -0.1
Let a = 281 - 283. Put 0.6, a, 1, 0 in increasing order.
a, 0, 0.6, 1
Let g(v) = v**2 - 3*v + 5. Let i be g(2). Let z = 7 + -8. Let d be z/(-2)*(-48)/(-3). Sort d, 5, i in decreasing order.
d, 5, i
Suppose -4*t - t - 50 = -3*o, 0 = 5*t - 2*o + 50. Let g be ((-2)/(-4))/(7/(-56)). Put g, 1, t in decreasing order.
1, g, t
Let r = 12 - 9. Sort -2, -44, r in decreasing order.
r, -2, -44
Suppose b + 12 = 15. Let s(p) = 58*p**b - 2 - p - 62*p**3 - p. Let w be s(-1). Sort w, 1, -3 in increasing order.
-3, 1, w
Suppose 2*r = 25 + 27. Suppose 0 = -r*a + 21*a - 10. Sort 4, a, -7.
-7, a, 4
Let y(k) = -7*k**2 + 33. Let d(t) = 6*t**2 - 33. Let p(u) = -6*d(u) - 5*y(u). Let o be p(-6). Put -8, 0.1, o, 3 in increasing order.
-8, o, 0.1, 3
Suppose 11*r + 70 = 25*r. Put r, -117, 0.1 in descending order.
r, 0.1, -117
Let z(w) = -w**3 - 7*w**2 + 2. Let i be z(-7). Suppose -2*x - 2*x = -20. Suppose -11*t - 14 - 19 = 0. Sort x, t, i in descending order.
x, i, t
Let f be ((-48)/40)/(9/30). Let z = -1 + 4. Put z, 5, f, 4 in decreasing order.
5, 4, z, f
Suppose 0 = 2*h, -3*t + 5*h + 5 = 2. Put 0, -18, t, -5 in descending order.
t, 0, -5, -18
Let w be (4 + 3 + -6)*5. Let s = -0.8 + -1.2. Put s, 4, w, 3/5 in decreasing order.
w, 4, 3/5, s
Let w = -336 + 659. Put w, 2, 1 in ascending order.
1, 2, w
Suppose 7*i - 8*i + 2 = 0. Suppose i*d + 3*h - 4 = 0, 4*d - 5 = -4*h + 3. Let m be (15/(-6))/(d/4). Put 1, 4, m in ascending order.
m, 1, 4
Let d(c) = -c**3 - 6*c**2 + 2. Let q be d(-6). Suppose 5 = q*j + 2*f + 1, 5*j = 3*f + 34. Let w be 1/(-1) + (0 - -1). Put j, w, 3 in descending order.
j, 3, w
Let j be (-4)/10 - 72/20. Let i be (3 + j + 0)/(-1). Suppose z - i - 2 = 0. Put 4, z, 0 in ascending order.
0, z, 4
Suppose -103 + 55 = 5*k + 4*r, r = -2. Suppose 7*g + 12 = 3*g. Put 1, g, 3, k in decreasing order.
3, 1, g, k
Let t be 400/(-75)*9/6. Put 0, t, 5 in ascending order.
t, 0, 5
Let t(h) = -h**3 - 11*h**2 - 7. Let g be t(-11). Let l = g + 5. Let v(w) = w - 5. Let x be v(6). Sort x, l, 3 in descending order.
3, x, l
Suppose 8 = 3*f - 2*m, -8*f + 4 = -4*f - m. Put -1, 2, f, 1 in decreasing order.
2, 1, f, -1
Suppose 2*s + 2*s = -8. Let i = 72.3 + -13.3. Let o = 60 - i. Sort 1/14, s, o.
s, 1/14, o
Suppose -11 = -3*u + 4. Suppose -5*s + 3 = -t - 5, -2*s + 14 = u*t. Put s, 4, 3, -1 in ascending order.
-1, s, 3, 4
Let a be (-513)/(-3510) + (-3)/10. Put -4, 3, a, 0.4 in ascending order.
-4, a, 0.4, 3
Suppose -31*r + 4*l = -26*r - 19, -r = 3*l. Let s(j) = -j + 1. Let z be s(-4). Sort 1, z, r.
1, r, z
Let j be (8/20)/(6/75). Sort 4, j, 0, -11.
-11, 0, 4, j
Suppose -6 = 4*d - 2*d. Suppose 5*k + 0*k + l + 25 = 0, 0 = -4*k - l - 21. Let z(x) = -x**2 - 2*x + 3. Let m be z(k). Sort m, d, 1 in descending order.
1, d, m
Suppose 19 - 1 = 9*c. Put -3/8, 22, c in decreasing order.
22, c, -3/8
Let k = -235 - -402. Let f = -160.3 + k. Let z = f - -2.3. Put -0.2, z, 0.5 in increasing order.
-0.2, 0.5, z
Let x be (1/2)/((-7)/(-14)). Let n be (19/(-5) - -4)*-5. Put n, 5, x in increasing order.
n, x, 5
Suppose 33 = 5*h + 2*w, -4*h - 3*w + w + 28 = 0. Suppose -14*v = 3*v + 85. Put h, v, 4 in decreasing order.
h, 4, v
Let m = -388 + 379. Put -7, 3, m in ascending order.
m, -7, 3
Let i = 0.07 + -1.07. Sort 0, 9, i in descending order.
9, 0, i
Suppose 0 = 4*s, -5*q + 5*s = -4 - 6. Suppose 0 = 5*k + q*o - 10, 4*k - 4*o = -o - 15. Suppose k = -3*v + 3*x - 9, 8 + 0 = 4*x. Put v, 3, 5 in ascending order.
v, 3, 5
Let j be -1*(-2 + 0)*-2. Let o = 16 + 1. Let b = o - 13. Put b, j, -3 in decreasing order.
b, -3, j
Let x be ((25/15)/(-5))/(1/(-3)). Suppose -x = 3*c + 2. Sort -14, c, 0, 2.
-14, c, 0, 2
Let o = -7.14 + 0.14. Let d = 4.02 - 0.02. Put 3, d, o in decreasing order.
d, 3, o
Let p be (-2)/(((-2)/8)/(21/(-56))). Sort -2, -4, 2, p in descending order.
2, -2, p, -4
Let k = 461 - 463. Sort 0.14, 9, k.
k, 0.14, 9
Let p = 23 + -7. Put -1, p, -0.04 in increasing order.
-1, -0.04, p
Let o = 5 + -10. Let u = o - -5.4. Let i = -287 - -287. Put u, -2/5, i in descending order.
u, i, -2/5
Suppose -3*c - 8 = -p - 4, -3*p + 3*c - 6 = 0. Sort -4, -3, p in descending order.
-3, -4, p
Let w = -4.149 - -2.149. Put 14, 0, 1/54, w in increasing order.
w, 0, 1/54, 14
Let k(a) = -a**3 - a**2 - a + 3. Let s be k(0). Sort s, -4, 6/17 in ascending order.
-4, 6/17, s
Suppose 5*h + 4*t + 9 = -82, 0 = 4*t + 16. Let r = 45.41 - 45.71. Sort h, -1/5, 2/5, r in increasing order.
h, r, -1/5, 2/5
Let y = 0.35 - 13.55. Let b = -13 - y. Put b, -0.05, -4 in descending order.
b, -0.05, -4
Let y(m) = -3*m**2 - 10*m + 1. Let x be y(-3). Sort x, -34, -3, -1 in decreasing order.
x, -1, -3, -34
Let a = -1.35 + -3.65. Sort -2/7, a, 2, -3.
a, -3, -2/7, 2
Let i = -0.339 - -8.339. Sort 0.1, 0.3, i, -2/5 in decreasing order.
i, 0.3, 0.1, -2/5
Let m be 1/((-2)/2) + 7 + -11. Put 0.5, m, -1/4 in descending order.
0.5, -1/4, m
Let c(n) = n**2 + 6*n - 2. Let a(g) = -2*g + 20. Let j be a(7). Suppose -32 = 4*x - 4*b, 4*x + 3*b = 2*x - j. Let h be c(x). Sort 2, h, 1 in descending order.
2, 1, h
Let n be (-20 - 1)*(-6)/42. Let g = -0.4 + -1.6. Sort n, g, 4 in descending order.
4, n, g
Let i be ((-16)/(-28))/((-6)/(-126)). Sort -5, 5, i.
-5, 5, i
Let m be (1/(-1))/(7 + (-203)/28). Put 1, m, -15, 3 in ascending order.
-15, 1, 3, m
Suppose -7 = -7*k - 0*k. Sort -8, 7, k, -1.
-8, -1, k, 7
Let k = 579 + -584. Sort -3, k, 3, 14.
k, -3, 3, 14
Let m = -1.85 - -1.45. Sort 0.1, 2/3, m in increasing order.
m, 0.1, 2/3
Let x(s) = s - 4. Let w be x(5). Suppose -5*i = -2*i + 9. Let k be 8/10*-3*30/36. Sort i, k, w in descending order.
w, k, i
Let q(d) = 2*d - 54. Let c be q(25). Let u be (-4)/8 + (-2)/4. Let o be u/(1 + -2)*3. Put o, -3, c in decreasing order.
o, -3, c
Let z = -1126 + 1123. Put 4, z, 3, -5 in decreasing order.
4, 3, z, -5
Let i = 5 + 38. Let j = -35 + i. Put 1/3, 0.1, j in increasing order.
0.1, 1/3, j
Let r = -274 - -269. Sort 3, -16, r, 0.2 in ascending order.
-16, r, 0.2, 3
Suppose -19*q = -29*q + 50. Sort 10, q, 3 in descending order.
10, q, 3
Suppose 5*m - 71 + 96 = 0. Suppose -5*