s, x.
x, s, 2
Let j = 56 + -284/5. Let p = -138.6 + 126. Let i = p - -13. Sort j, 4, i.
j, i, 4
Suppose -4*n - 5*v + 6 = 0, 5*v - v - 12 = -5*n. Sort -1, 0, n, -5 in ascending order.
-5, -1, 0, n
Let l = 2264/7 + -323. Put l, 3, 0.8, 2 in decreasing order.
3, 2, 0.8, l
Let w = 3.518 + -1.47. Let j = -0.048 + w. Suppose 4*u = -2*z + 2, -5*z + 1 - 2 = 4*u. Sort u, 4, j in descending order.
4, j, u
Let p = -0.0965 + 4.9935. Let z = p + 0.103. Let l be (-2)/(-4) + 63/(-102). Put z, l, -0.3 in descending order.
z, l, -0.3
Let h = -1.4 + 1. Let f be (-2)/(-6) - (-11)/3. Suppose 0 = 4*y - 2*b + 28 - 18, 0 = 3*y - 2*b + 7. Put h, f, y in ascending order.
y, h, f
Let q be (-2)/9 - (-50)/(-18). Let u = 61 - 57. Suppose -5*f - 45 = 4*f. Sort f, q, u in descending order.
u, q, f
Suppose -42*a - 18*a = 60. Sort 4, a, -32, -3.
-32, -3, a, 4
Let l = 0.0826 + 0.0174. Sort l, 0.3, 2/11 in descending order.
0.3, 2/11, l
Suppose 0 = -4*a + 118 + 94. Suppose -2 = a*b - 51*b. Put 5, 2, 1, b in ascending order.
b, 1, 2, 5
Suppose 13*n - 4*n + 18 = 0. Sort -4, 1, 3, n.
-4, n, 1, 3
Let h = -0.49 + 0.99. Suppose 3*t - 223 = -214. Put t, h, 0, 2 in increasing order.
0, h, 2, t
Let a(v) = 3*v - 34. Let l be a(12). Let h be ((-2)/(-4))/(l/12)*1. Sort -4, -5, h.
-5, -4, h
Let h be 3 - 16*(-9)/(-36). Let z be -5*-2*(-1)/(-5). Let p be z - (0 + -1 - -2). Put p, h, -4 in ascending order.
-4, h, p
Let m = -38.88 + -0.12. Let r = m - -42. Put -7, 2, r in ascending order.
-7, 2, r
Let g = -528 - -526. Let z = 10 + -73/7. Sort z, -0.5, g in descending order.
z, -0.5, g
Let g = 0.32 + 0.08. Let a = 7 + -6.91. Sort 0.1, g, -0.5, a in ascending order.
-0.5, a, 0.1, g
Let s = -539 - -538. Put 8, s, 1 in ascending order.
s, 1, 8
Let t = -119 - -145. Put 4, t, -0.4 in increasing order.
-0.4, 4, t
Let r(q) = 3*q + 1. Let k be r(-2). Let g(n) = -n - 3. Let s be g(k). Suppose -2*z = -4*z + 3*b - s, 0 = -3*z - 4*b + 31. Sort z, 1, 4 in increasing order.
1, 4, z
Suppose -g = 4*g + 25, -20 = 4*d + 4*g. Let b = 3 + d. Let s be (-2 - -1)*(-12)/12. Sort s, b, -1 in decreasing order.
b, s, -1
Suppose -7*i - 341 = -369. Sort i, 6, -1 in increasing order.
-1, i, 6
Suppose -5 = 5*z, g + 1 = 4*g - z. Suppose 0*q + 5*q - 15 = g. Let s be (-84)/180 - (-4)/5. Sort s, -5, q in increasing order.
-5, s, q
Let f = 185.79 - 186. Sort f, -4, -0.5 in descending order.
f, -0.5, -4
Suppose 0 = -4*n + 3*i + 71, -i + 63 = n + 2*n. Suppose 3*j = 4*j - 1, 4*r - n = -4*j. Sort 6, r, 2 in decreasing order.
6, r, 2
Let g be -2 + 3 - (-11)/(-7). Let w be 1*(-3 - 96/(-56)). Sort -5, g, 4, w.
-5, w, g, 4
Suppose 4*t = -0*t + 12. Let b = -65 + 82. Let u = 9 - b. Put t, 5, u in descending order.
5, t, u
Suppose 3*r = -h, -3*r - r + 3*h - 13 = 0. Let z be (1 - 4)/r*1. Suppose -z*m = -3*k - 6, -1 = -4*m + 3. Sort 0, -2, k in increasing order.
-2, k, 0
Let y = -614.4 + 614. Put y, 0.02, 3 in decreasing order.
3, 0.02, y
Suppose 0 = 4*h - 55 + 75. Suppose 4*t + 1 - 5 = 0. Sort h, 14, t, 3.
h, t, 3, 14
Let n = -14 - -17. Suppose n*y - 120 = 5*x, 0 = 3*x + 3*y + 18 + 30. Let m = x + 16. Sort -2, 5, m.
m, -2, 5
Let g = 4.2 - 4. Let n = g + 0.8. Sort -3, -1, n in ascending order.
-3, -1, n
Let r(u) = -u**3 + 5*u**2 + 10. Let c be r(5). Suppose -n + 3*n + c = 0. Let j be ((-15)/6)/n*-4. Sort 4, 1, j in descending order.
4, 1, j
Let s be -7 + 0 - (2 + -5). Suppose -1 = l - 10. Let q be (-42)/(-4)*6/l. Sort 4, s, q.
s, 4, q
Suppose 0 = -9*b + 12*b - 51. Suppose 0*z - 4*z + 3*o = -b, -z = -o - 4. Suppose 0*t = -z*d + 4*t - 35, 24 = -3*d + 3*t. Sort 0.2, 3/5, d in decreasing order.
3/5, 0.2, d
Let s be 1*(0/(-4) - 5). Put -3, s, -2, 2 in descending order.
2, -2, -3, s
Let y = 592 + -590. Sort y, 4, -7, -3.
-7, -3, y, 4
Suppose 0 = -5*m + 23 + 2. Let d = 97 + -96. Suppose 5*x - d = 2*u, 2 = 4*x + u - 2*u. Sort 8, x, m.
x, m, 8
Let j = 13 + -11. Let t(m) = -2*m**2 + 20*m - m**2 - 22*m + j + m**3. Let s be t(3). Put 2, s, 6 in ascending order.
s, 2, 6
Let q be (-6)/(-16)*16/(-24). Let t = -2 + -3. Let j be (4/(-132))/((-1)/(-3)). Put q, j, t in ascending order.
t, q, j
Let j = -258 - -260. Let o(c) = 2*c + 1. Let p be o(-2). Put j, 1, p in increasing order.
p, 1, j
Suppose -6*p + 459 = 81. Sort 4, p, -1 in descending order.
p, 4, -1
Let p = 0.2 - 0.7. Let n be (8/(-10))/(18/(-5)). Sort 3, n, p in decreasing order.
3, n, p
Let f = -0.902 - -0.102. Sort -4, f, 1/4 in increasing order.
-4, f, 1/4
Let y(h) = 11*h**3 - 2*h**2 + 2*h - 1. Let i be y(1). Let l = i + -39/4. Sort -3, -2/7, l, 5 in descending order.
5, l, -2/7, -3
Let q = 2 - 1.8. Let h(n) = -2*n**3 + 20*n**2 + n - 10. Let a be h(10). Put q, -1/3, a in descending order.
q, a, -1/3
Let o(s) = -3*s**2 + 25*s - 120. Let d be o(4). Sort d, -3, 4 in descending order.
4, -3, d
Let t(x) = -x**2 + 24*x + 255. Let o be t(-8). Let u = -4 + 3.98. Let q = -0.32 - u. Sort o, -0.6, q in increasing order.
o, -0.6, q
Let v = 480.2 + -480. Sort v, -0.26, -5, -4.
-5, -4, -0.26, v
Suppose 5*z - 2*z - 9 = 0. Suppose -z*f = -7*f + 4. Let x be (-2)/(-15) - 6/18. Sort x, -0.1, f in descending order.
f, -0.1, x
Let v be 1 + -2 + -3 + 12. Let i(n) = n**2 - 10*n + 9. Let a be i(v). Let m be a/(28/(-12)) - 0. Put m, 5, -9 in ascending order.
-9, m, 5
Suppose -4*a + 5*a - 3 = 0. Let g(u) = -u**3 + 10*u**2 - 16*u - 6. Let c be g(8). Sort a, 0, c in decreasing order.
a, 0, c
Let m = -722 + 725. Sort -3, 4, 1, m in descending order.
4, m, 1, -3
Let n = -881 + 878. Let v = -0.3 - -0.4. Sort v, n, -5.
-5, n, v
Let q = 0.8 + 0.2. Let v = 107.7 - 126.7. Sort q, -3, -1/4, v in ascending order.
v, -3, -1/4, q
Let t be (225/(-10))/9 + 104/16. Suppose -5*f + 2*o = 36, -5*f + 5*o - 45 = -0*f. Put t, f, 1, 0 in increasing order.
f, 0, 1, t
Let y = -1.31 - 4.69. Sort 1/5, 4, y in increasing order.
y, 1/5, 4
Suppose 5*p = 2*s + 8, 12*p - 15*p = 0. Put s, 127, 3 in descending order.
127, 3, s
Let h = 12 + -14. Let m = h + -1. Let y = -6 + 11. Put y, 1, m in increasing order.
m, 1, y
Suppose -3*g = c + 8, -4*c + 16*g + 32 = 12*g. Let m = 4 + -8. Put 2, -3, m, c in increasing order.
m, -3, 2, c
Let c(l) = 5*l**2 + 2*l + 1. Let b be c(-1). Let w = 12 + -13. Put w, 37, b, -5 in increasing order.
-5, w, b, 37
Suppose -23 = -5*g - 4*o, -o + 3*o = -g + 7. Let d be -120 - -117 - (-2)/2*0. Sort d, g, 2 in descending order.
g, 2, d
Let f = -15 - -19. Sort f, -2, -5, 31 in ascending order.
-5, -2, f, 31
Let c(n) = -n**2 + 69. Let h be c(8). Put 2/7, h, 7 in increasing order.
2/7, h, 7
Let l = -17 + 20. Let z be 6/4*(-52)/(-39). Suppose 3*m + 6 = 6*m + 3*x, -5*m + z*x = -3. Sort m, l, -4 in decreasing order.
l, m, -4
Let c be (-272 + 270)*2/(-8)*-2. Sort 3, -15, c in decreasing order.
3, c, -15
Suppose 2*a = -4*i + 37 - 3, 3 = -3*i. Let t = 18 - a. Let s be (-2)/(1 - (-4)/(-8)). Sort 2, s, t in increasing order.
s, t, 2
Let m = 2144.77 + -2154. Let a = m + 0.23. Let n = -6 - a. Sort n, -0.03, 1/2 in descending order.
n, 1/2, -0.03
Let r = 1778.5 - 1779. Sort r, 0.2, 113.
r, 0.2, 113
Let a = -1.14 - -6.04. Let h = a + -1.9. Put 4, h, 1.2 in ascending order.
1.2, h, 4
Let b = 0.002 + 0.026. Let p = 0.018 - b. Sort -1, p, 3/2.
-1, p, 3/2
Suppose -7*z + 4*z - 2*b + 12 = 0, 3*z = -5*b + 21. Suppose -11*i + 5*i = 12. Suppose 12 = -2*f - 4*m + m, -5*f - m - 4 = 0. Put z, i, f in increasing order.
i, f, z
Let r be 2 - 19/(1881/220). Sort r, -2/11, -3/7, -1 in descending order.
-2/11, r, -3/7, -1
Let h(d) be the third derivative of -d**4/24 - 5*d**3/3 - d**2. Let x be h(-5). Suppose 4*n = -n - 20. Sort x, -2, n in decreasing order.
-2, n, x
Let q be 7/1 - (-2 + 3). Let g = 28 + -16. Let u = g + -8. Sort u, q, 5 in increasing order.
u, 5, q
Suppose 4*t + 188 = l, -2*t - 104 = -l + 3*l. Let x be 4 + -2 + 139/3. Let d = t + x. Put d, 3/2, -5 in descending order.
3/2, d, -5
Let d be (-2 + 3 + -3)*-1. Suppose d*v = o - 3*o + 10, -v + 11 = 3*o. Let c be 3*(5/o - 2). Put -3, c, 3 in descending order.
3, c, -3
Let o be 26/(-2)*1 + 0. Let u be 0 + -8*(-3)/(-6) + 2. Sort o, -3, u.
o, -3, u
Let r = -307 + 317. Sort 5, r, -8 in ascending order.
-8, 5, r
Let o(r) = -r**2 + 6*r - 6. Let s be o(4). Suppose -s*b + 3 - 5 = 0. Suppose c + c = 0. Sort -2, c, b in decreasing order.
c, b, -2
Let g(j) = j**3 + 5*j**2 + 4*j + 1. Let r be g(-4). Suppose 561*u = 56