.
u, -1, q
Let f = -1048/7635 - -2/509. Suppose -2 = r - 3*l + 2, -l = -r + 2. Sort f, 0.4, r, -1/12 in increasing order.
f, -1/12, 0.4, r
Suppose -17 = 7*t - 31. Suppose -t*o - o = -o. Sort o, 2, 1, -3.
-3, o, 1, 2
Let b(y) = y + 14. Let n be b(-12). Let v(q) = 40*q + 716. Let r be v(-18). Sort n, -1, 1, r in ascending order.
r, -1, 1, n
Let g = -617 - -616.97. Put -3, 1, -0.2, g in descending order.
1, g, -0.2, -3
Let m be 7 + -2 - 6/(-6). Suppose 6*r - m = 3*r. Suppose -p - p = r. Put p, 2, 3 in descending order.
3, 2, p
Let z be (-3 - -1) + (0 - 1). Let i = -39 + 42. Suppose 2*x = i - 3. Sort -11, z, x in descending order.
x, z, -11
Suppose m + 6 = 3*k + 3*m, -12 = -4*m. Let q = 10 + -21/2. Put -0.9, k, q, 1 in ascending order.
-0.9, q, k, 1
Let n be ((-114)/(-76))/(3/(-4)). Suppose 0 = -4*k + 27 + 9. Sort k, -3, -1, n in decreasing order.
k, -1, n, -3
Let l be 4 + ((-16)/(-10))/((-44)/110). Let j be (6/4)/((-1)/2). Suppose 4 = -4*p + 16. Put l, p, j in descending order.
p, l, j
Suppose -10 = 2*y, -6*w = -3*w + 4*y - 55. Suppose w = -5*i + 10. Put 6, i, 4 in descending order.
6, 4, i
Let r = -58 - -68. Sort -4, r, -2.
-4, -2, r
Let l(f) = -f**3 + 20*f**2 + 70*f - 25. Let s be l(23). Sort 7, s, 12 in descending order.
12, 7, s
Let b be 3/2 - (-12)/24. Sort -1, b, 7, 3 in descending order.
7, 3, b, -1
Let j(z) = -40*z + 11. Let k(i) = 39*i - 11. Let g(u) = 3*j(u) + 2*k(u). Let q be g(-5). Let p be 4/2 - q/78. Sort -0.3, p, 2/5 in decreasing order.
2/5, -0.3, p
Suppose 164 = 2*r + 154. Sort 29, r, 4 in descending order.
29, r, 4
Suppose -19 = 4*l - q + 7, 0 = -l - q - 4. Let v be 4 + l/(-63)*-39. Let m = 0.7 + 0.3. Sort 3, v, m in ascending order.
v, m, 3
Let y = -60 - -60.33. Let j = y + -0.53. Sort -0.3, j, 3, 0.2.
-0.3, j, 0.2, 3
Let c be 5/2 - 10/4. Let p be 1 - 1/((-3)/9). Sort -2, 3, p, c.
-2, c, 3, p
Let u = -0.843 + 0.813. Sort 3, 4, u in decreasing order.
4, 3, u
Let o = -0.18 - 0.22. Suppose 4 = l - 3*l. Let w = l - -6. Put 1, w, o in descending order.
w, 1, o
Suppose -55 + 1 = -27*y. Sort -18, 0, y in decreasing order.
y, 0, -18
Suppose 2*p = -15 + 15. Sort -4, 17, -1, p in descending order.
17, p, -1, -4
Let h(k) = -1 - k + 2*k + 0 + 3. Let d be h(1). Let z be (-1 - -2) + (-6 - -1). Put z, d, 5 in descending order.
5, d, z
Let t(w) = -13*w - 34. Let f be t(-3). Sort -5, -7, -2, f in decreasing order.
f, -2, -5, -7
Let p(h) = -h**3 + 4*h**2 - h + 2. Let t be p(4). Let w(z) = -z**2 - 13*z - 41. Let q be w(-4). Put -4, q, t in decreasing order.
t, -4, q
Let f(v) = -3*v**3 + v. Let n be f(-1). Suppose -n*d + 13 = 3*c, -d - d - 15 = -c. Suppose -10 = -2*u + c*u. Sort -3, u, -10.
-10, -3, u
Let w(h) = 2*h**3 - 8*h**2 - 6*h + 1. Let z be w(0). Sort 0, -0.1, -1/13, z.
-0.1, -1/13, 0, z
Let t = 2251 - 2274. Put -2, 2, 0.3, t in decreasing order.
2, 0.3, -2, t
Let f be (-12)/8 - (-57)/2. Let j = 31 - f. Put -1, -11, j in decreasing order.
j, -1, -11
Let y(s) = -3*s + 8*s - 2*s + 5. Let h be y(-3). Put -10, -1, 5, h in decreasing order.
5, -1, h, -10
Let s be (-33)/(-39) + 0 + -1. Let h = -39.096 + 0.096. Let x = h + 44. Put -5, x, s in descending order.
x, s, -5
Suppose -4*m + 2*j = -18, 5*j - 1 + 22 = 4*m. Suppose m*d = -0*u + 3*u + 20, -5*d + 25 = -4*u. Put -2, d, 1 in increasing order.
-2, 1, d
Let z be 1/((14/96)/(-7)). Let m be z/14 - ((-30)/14)/5. Sort m, 6, 4, 0 in ascending order.
m, 0, 4, 6
Suppose 2*r + 234 = 4*l - 78, -r = -5*l + 165. Sort 1, r, 2, -3 in increasing order.
r, -3, 1, 2
Let s(a) = 4*a**2 + 3. Let w be s(-2). Let n = w - 19. Suppose -5*f - 8 = 12. Sort 4, f, n in ascending order.
f, n, 4
Suppose -4*p - 5 = 15. Suppose 0 = 18*z - 5*z - 1235. Let n be (-2 - 12/(-7)) + z/(-35). Sort 5, p, n in ascending order.
p, n, 5
Let h(b) = 4*b**2 + 6*b + 3. Let p(k) = 5*k**2 + 7*k + 2. Let j(n) = -3*h(n) + 2*p(n). Let q be j(-2). Put q, 0, 14 in decreasing order.
14, 0, q
Let q = -1180 - -1227.3. Let t = q + -47. Let w be ((-4)/(-25))/((-1)/(-5)). Put w, -0.1, t in decreasing order.
w, t, -0.1
Let u be (2/6)/(1/(-3)). Let c = -182 + 177. Sort c, u, -3 in ascending order.
c, -3, u
Let p be (-26)/(-16) + -2 + (-1674)/(-496). Put -11, p, -5 in increasing order.
-11, -5, p
Let b(q) = 9*q - 18. Let z be b(9). Suppose -117 = 9*s + z. Sort -5, 1, s.
s, -5, 1
Let z = -19 - -30. Let d = -7 + -4. Let j = d + z. Put -5, j, 2/5 in decreasing order.
2/5, j, -5
Let q(n) = 6*n**3 + 2*n - 1. Let t be q(1). Suppose s - 11 = -t. Suppose 5*g - 4*l + 4 = 0, 0*g = s*g + 5*l + 36. Put g, 5, -3 in increasing order.
g, -3, 5
Let y = 4.97 - -0.03. Let n = -15 + y. Sort -3/7, n, -2 in decreasing order.
-3/7, -2, n
Let d = -10 - -7. Let k = d + 4. Let j = -7.1 + 6.8. Sort k, -6, j in decreasing order.
k, j, -6
Let f be (7 - (0 + 3)) + -3. Let s = 9 - f. Let b be 2/s*(2 - 2). Sort -1, 4/5, b.
-1, b, 4/5
Let g = 2520 - 20163/8. Sort -86, 2/5, g in increasing order.
-86, g, 2/5
Let m = 4.75 - 2.75. Let s be (12/16)/(2/(-4)). Put m, 1, s, -0.02 in increasing order.
s, -0.02, 1, m
Let o = 2 - 3. Suppose 61*l - 168 - 137 = 0. Suppose -2*s = -2*y - 2*y + 2, -7 = -5*y + s. Sort l, o, y in ascending order.
o, y, l
Let c be (2 - 1)*(-12)/(-12). Let p be -3 + (-6)/2 + 0 + c. Put -4, p, 58 in descending order.
58, -4, p
Let m = 6 - 5.9. Let d = 3.6 + -8.6. Sort m, 0.3, d.
d, m, 0.3
Let n = 0.03 + 0.97. Let k = -1.69 - -1.19. Let a = 2/271 - -261/1355. Put a, k, n in decreasing order.
n, a, k
Let r be (2 + 4)/(0 - -2). Suppose -2*d + 0 + 28 = -4*c, 0 = r*c + 4*d - 1. Let p be c + 6/2 + 2. Sort -4, p, 5 in descending order.
5, p, -4
Let n = 22 + 77. Let p be 315/n + 2*(-2)/22. Sort -5, p, 0 in increasing order.
-5, 0, p
Let k = -9 + 4. Suppose -3*f - 2*f + 48 = 2*i, 16 = 2*i - 3*f. Let n = i - 29/2. Put n, -3, k in increasing order.
k, -3, n
Let c be 3 - 819/105 - -4. Let s = 8 - 6. Put -4, s, c, 0.2 in descending order.
s, 0.2, c, -4
Suppose 0 = 5*u + 4*i - 13, -11*u + 5*i = -10*u - 20. Sort -3, 21, u, -4 in increasing order.
-4, -3, u, 21
Let h(z) be the first derivative of z**3/3 + 7*z**2/2 + 3*z - 7. Let d be h(-7). Sort d, -49, -4 in decreasing order.
d, -4, -49
Let o = -828 - -821. Let j = 11 - 8. Put 2, 5, j, o in increasing order.
o, 2, j, 5
Let s be (-2)/((-17)/((-34)/12)). Put 1/4, -6/5, s in ascending order.
-6/5, s, 1/4
Let w = -11 + 10.9. Let n = -16 + 13.4. Let z = n - -2.4. Put -5, w, z in increasing order.
-5, z, w
Let j(n) = -18*n + 18. Let h be j(1). Suppose r + 3*r - 5*p = 10, -5*r + 2*p + 21 = 0. Sort h, r, 21 in ascending order.
h, r, 21
Let d(c) = c**3 + 21*c**2 + 9. Let s be d(-21). Put s, -2, 5, 1.8 in increasing order.
-2, 1.8, 5, s
Suppose 0*a + 3*a = 0. Suppose 3 = -i, a = -q - i - i - 10. Sort q, 0, 3.
q, 0, 3
Let g = 22 - 16. Suppose -10*w = -g*w + 12. Let i = -0.87 - -0.07. Put -5, w, i in decreasing order.
i, w, -5
Let p(w) = -10*w + 295. Let o be p(30). Sort -4, 9, o.
o, -4, 9
Let i = -129 - -133. Put 5, i, -4 in decreasing order.
5, i, -4
Let s = -0.15 - 5.85. Let j = s - -6.03. Let i = -117/50 - -46/25. Put i, j, -0.4 in decreasing order.
j, -0.4, i
Let v = 60 - 66. Put -9, 3, v, -3 in ascending order.
-9, v, -3, 3
Let v = 0.14956 + 0.25044. Let g be (1 + 6/(-1))*7. Put -0.5, v, g in decreasing order.
v, -0.5, g
Suppose 0 = 2*r + 3*r - 20. Let h be (-3 - (-2)/1)*(3 - -2). Put h, r, 1, 5 in descending order.
5, r, 1, h
Let j = 907 - 906. Put -0.073, -2/3, j in decreasing order.
j, -0.073, -2/3
Let j = 166/507 - -1/169. Sort 11, -16, 4, j.
-16, j, 4, 11
Let k be ((-2)/(-5))/((-10)/50). Let v be (-2)/(-6) + -4*k/24. Suppose -3*x = 9, 0*x = 5*q + 4*x + 17. Put v, 4, q in increasing order.
q, v, 4
Let h = -4 + 6. Suppose -3*d + c - 6 = -h*d, 2*d + 5*c - 16 = 0. Put d, 1, 0 in increasing order.
d, 0, 1
Suppose -5*x + 198 = 5*w + 58, -4*x + 144 = -4*w. Let y = -45 + x. Sort -4, y, -1, 2 in descending order.
2, -1, -4, y
Let a(v) = 9*v - 32. Let k be a(4). Suppose -k*g - 32 = -20. Put -4, -2, g, -5 in decreasing order.
-2, g, -4, -5
Let t be -1 - -2 - (-20)/4. Let v be 8*(-4 + 27/t). Sort 5, 12, v in decreasing order.
12, 5, v
Suppose -3*r = -9 - 45. Suppose 0 = -9*n + 3*n + r. Let x be -3*(-8)/(-12) + n. Put x, -4, -1 in increasing order.
-4, -1, x
Let p(u) = u**3 + 5*u**2 + 3*u - 5. Let l be p(-4). Let g(r) = r**2 - r. Let z be g(0). Let 