. Put t, 1, -1, 3 in descending order.
3, 1, -1, t
Suppose 0 = -0*u - 3*u + j + 12, 0 = -4*j - 12. Let r be (1/2)/(2/(-4)). Put 0, -5, u, r in descending order.
u, 0, r, -5
Suppose -3*s + 2*i = -18, 5*s - 7 = 3*i + 22. Suppose 3*d + 0*d - 10 = 2*l, 4*l + 16 = 5*d. Put l, s, -5 in decreasing order.
s, l, -5
Let o(p) = p**2 + 5*p + 4. Let v be o(-3). Suppose -2*r + 26 = -2*h, -3*r + 2*h = 7*h - 63. Let n(l) = l - 14. Let m be n(r). Sort v, m, 8 in increasing order.
v, m, 8
Let l be (0 + 2)/(((-30)/3)/5). Put 0, -0.5, l, 25 in ascending order.
l, -0.5, 0, 25
Let k = -1388/3 - -463. Sort 0.081, k, -2 in increasing order.
-2, 0.081, k
Let s be (8/(-6))/(-7 - (-40)/6). Suppose -5 = s*i - 13, -2*i = t - 6. Sort -6, t, 1 in ascending order.
-6, 1, t
Suppose 0 = 3*q - 8 + 2. Let d(i) = 10*i**q - 5*i**2 - 7*i - 4*i**2. Let w be d(7). Sort -6, -1, w in descending order.
w, -1, -6
Let j = -1402 + 1492. Put -3, 0, j, 4/5 in decreasing order.
j, 4/5, 0, -3
Let j be 2440/76 - 9/(513/6). Put -2, -5, j, -3 in ascending order.
-5, -3, -2, j
Let r = 121 - 116. Put 1, -0.5, r, -3 in increasing order.
-3, -0.5, 1, r
Let w = 1010.2 - 1014. Sort -0.4, w, -0.1, 4.
w, -0.4, -0.1, 4
Let t = 274 + -261.9. Let d = t + -12. Let o = 1 - 0.95. Sort o, d, 2/7 in ascending order.
o, d, 2/7
Let g be 0 - 61/(-4) - -2. Suppose -5*k - 4*r = -81, 2*k + 6 = -3*r + 37. Let c = g - k. Sort -1/7, c, 0.5 in decreasing order.
0.5, c, -1/7
Let h = -2/419 + 848/2095. Let x(z) = z**2 - z - 2. Let i be x(3). Suppose -27 = -i*u - 11. Sort h, u, -1 in descending order.
u, h, -1
Let g = -0.022 - -3.242. Let s = g + -0.22. Let k be 16/28 + 2/(-7). Sort s, 2/19, k in descending order.
s, k, 2/19
Let x be (6 + (-7)/1)*-3. Put -1, 10, x, -2 in increasing order.
-2, -1, x, 10
Let x = -8 - -13. Suppose 3*c - 8*c - x = 0. Let a(j) = -j**3 + j + 1. Let w be a(c). Put 3, 2, w in increasing order.
w, 2, 3
Let s(o) = 2*o**3 + 2*o**2 - o + 2. Let n be s(-2). Let a = -101 - -70. Let y = -31.3 - a. Sort n, 0, y in decreasing order.
0, y, n
Let k(l) = 2*l**3 + 11*l**2 + 13*l + 13. Let t be k(-4). Sort -1, t, 4 in decreasing order.
t, 4, -1
Suppose 0 = -j - 5*m + 3, -1 = 5*m - 6. Suppose 0 = h - 4*h - 99. Let i be (0 - -1)/(3/h). Sort j, i, 1.
i, j, 1
Let c = -22.3 - 18.7. Sort 2/5, -3, c, 2 in increasing order.
c, -3, 2/5, 2
Let l = -7/11 + 17/44. Let x(f) = -f**2 + 12*f - 24. Let o be x(10). Let q = o - -16/5. Put q, 2/9, l in decreasing order.
2/9, l, q
Let m = 274.97 - 273. Let k = m + 0.03. Let f = -0.071 - -0.471. Sort f, k, -5 in descending order.
k, f, -5
Suppose -b + 3 = -2*u + 5, 5*u = b + 11. Let z be ((-4)/(-8))/((-6)/24) - -2. Put b, 3, z in increasing order.
z, 3, b
Let d be (-2 - 2) + 8/2. Suppose 2*f - 3*f + 63 = d. Let b be (12/f)/(-2)*-3. Sort -1/6, 2, b in increasing order.
-1/6, b, 2
Let i be 1 + -1 - (-21 - -16). Suppose -i*g + 15 = -0*g. Suppose -y = j - 2*y - 4, -j = g*y + 8. Put -3, 4, j in ascending order.
-3, j, 4
Let r(g) = 3*g - 4. Let l be r(3). Suppose 0 = 5*o - l - 15. Let m = 152/91 + -18/13. Sort -2, o, m in descending order.
o, m, -2
Let v = -2 + 0. Let h(z) = -3*z + 2. Let b be h(-2). Let o be -4*12/b - -2. Put v, -1, o in increasing order.
o, v, -1
Suppose -w + 3 = 2*v, -w = -2*w + v - 6. Let l be 17/30 - (-2)/w. Let t be ((-75)/(-10))/3*2/5. Sort t, l, 0.1 in descending order.
t, 0.1, l
Suppose 0 = 7*x - 13*x - 6. Put -8, 5, -5, x in decreasing order.
5, x, -5, -8
Let q be 93/(-42) + 2/(-7). Let x = -1.6 + 12.6. Let m = x + -9. Sort m, 0, q in decreasing order.
m, 0, q
Let v be 0/(-1) + 0 + (-178)/(-2492). Put -3/5, v, -1/3, 5 in descending order.
5, v, -1/3, -3/5
Let n = 5.25 + -5.3. Let a = -2.05 - n. Put a, 0.1, 2/15, 0 in descending order.
2/15, 0.1, 0, a
Suppose -121 + 406 = -15*h. Sort 2, h, 8 in increasing order.
h, 2, 8
Suppose 270 = 5*d + 245. Sort -2, -7, 2, d in decreasing order.
d, 2, -2, -7
Let q(y) = -y**2 - 10*y - 6. Let l = 4 + -12. Let a be q(l). Let i = 2.068 - 0.068. Sort a, i, -0.1 in ascending order.
-0.1, i, a
Let m = -3.063 + 0.063. Put m, 5/9, 4, 0.2 in ascending order.
m, 0.2, 5/9, 4
Let f = 2.03 - 0.03. Let r = 34.94 + -35.44. Put 0.3, f, r in descending order.
f, 0.3, r
Let f be 12/(-8)*28/(-6). Suppose 0 = -y - 2 + f. Let d = 4 - 1. Put 1, y, d in decreasing order.
y, d, 1
Let t = -18.9 - 0.1. Let y = -18.7 + -0.3. Let x = t - y. Put -2/3, x, 0.1 in ascending order.
-2/3, x, 0.1
Let u(s) = s**3 - 3*s**2 + s - 3. Let m be u(2). Sort 8, m, 0.
m, 0, 8
Let a be ((-14)/(-4))/((-14)/(-28)). Let w(x) = x**2 - 15*x + 59. Let h be w(a). Sort 4, h, 2, 5 in decreasing order.
5, 4, h, 2
Let h = -80 + 113. Let l = h - 37. Suppose 4*u + 26 = -2*r + 4, 5*u + 20 = 0. Sort r, -1, l.
l, r, -1
Let c = -22 - -22. Let z = 2.6 + 10.4. Let g = -16 + z. Put g, -4/9, c in ascending order.
g, -4/9, c
Suppose 0 = -f + 5*j - 23, -14 = -3*f - 5*j + 17. Let w = -200 - -205. Put f, w, -1 in ascending order.
-1, f, w
Let t = 0.309 + -8.309. Put t, 0.1, 2/11, 0.5 in increasing order.
t, 0.1, 2/11, 0.5
Suppose g = 4*g - 12. Suppose 0 = -g*a + 17 + 11. Suppose 5*h - a*h + 8 = 0. Sort 0, h, 1 in increasing order.
0, 1, h
Let h = 306 + -311. Let r be (100/15)/((-2)/6). Put r, -1, h in decreasing order.
-1, h, r
Let d be (22/55)/((-2)/30). Let w be ((-3)/d)/(-1)*4. Sort 1, 0, w.
w, 0, 1
Let v = -60 + 60. Suppose 2*x - 4*w + 0*w + 14 = v, 0 = 4*w. Let z = 1.5 + -1. Sort z, x, -3 in increasing order.
x, -3, z
Let c(w) = -w + 12. Let q be c(8). Suppose -q*r - n - 2 = n, 4*n = 3*r + 18. Let i be 1*(r/3 - -1). Put i, 0.1, -4 in increasing order.
-4, 0.1, i
Suppose -17*q = -12*q - 5. Suppose -2*g = 10, -x + 3*x + 3 = -5*g. Put -3, q, x in ascending order.
-3, q, x
Suppose -3 = 2*j - 4*r + 33, -62 = 4*j - 3*r. Let f = j + 9. Let d(o) = o + 10. Let x be d(f). Put x, -2, -3 in increasing order.
-3, -2, x
Let b(d) = 11*d**2 + 17*d - 5. Let y be b(-2). Sort y, 4, -79 in decreasing order.
y, 4, -79
Let w = 0.064 - 0.264. Let f = -0.04 - 0.2. Let o = f + -0.06. Put o, -2/5, w in decreasing order.
w, o, -2/5
Let q = 29 - 33. Let p be (3/(-354))/((-1)/4). Let y = -236/3 + 159/2. Put q, p, y in decreasing order.
y, p, q
Let x = 1104 + -1100. Put x, 2, -33 in ascending order.
-33, 2, x
Suppose 0 = -10*u - 36 - 4. Put u, -1, 1, 0 in decreasing order.
1, 0, -1, u
Let h = -1 + 2. Let v = 5/267 + -821/1068. Put h, -3, v, -1/4 in increasing order.
-3, v, -1/4, h
Let t = 2.2 - 2. Suppose 4*l + 4*x = -20, -4*l - x - 1 = 7. Sort 2/7, l, -3/2, t in decreasing order.
2/7, t, l, -3/2
Suppose 0 = -3*i - 14 - 1. Suppose 5*n = -4*j + 42, 5*n = -0*n - 5*j + 45. Suppose 4*x + 9 = -5*l, -n*l = -2*l - 4*x. Put l, i, 3 in increasing order.
i, l, 3
Let p be (-1*(-4)/(-6))/((-2)/1). Let x = -3.6 + 4. Sort p, x, 11.
p, x, 11
Let t = -1395 - -1322. Put 1, t, 4, 2 in descending order.
4, 2, 1, t
Suppose 3*f = 4*d + 992, 4*d + 2*f = -0*f - 972. Let g be ((-42)/d)/(2/14). Sort -0.4, -1/4, g, 2/21.
-0.4, -1/4, 2/21, g
Let c = -1069/7 - -153. Let w = 3.42 + -0.42. Put c, w, 4 in decreasing order.
4, w, c
Let w be 32/18 + 4/18. Let y be 5/((-10)/(-8)) - w. Let a be ((-13)/2)/(2/4). Sort a, -4, y in increasing order.
a, -4, y
Suppose 12*s - 64 = -20*s. Sort s, 5, 0, 30.
0, s, 5, 30
Let o = -4003/5 - -801. Put -3, -5, 3/2, o in descending order.
3/2, o, -3, -5
Let j(c) = -c**2 + 10*c - 5. Let v be j(9). Suppose 1 = -3*x + v. Suppose 5*t + d = 21, -t + 2*d + 3*d = x. Sort 3, 1, t in increasing order.
1, 3, t
Let t = 0.3 - 0.1. Let c = -2542 + 5087/2. Put t, -0.5, c, -2 in decreasing order.
c, t, -0.5, -2
Let q = 5.1284 + -0.1284. Let i = -4 + 8. Sort -3, q, i in decreasing order.
q, i, -3
Let j(r) = -r**2 - 6*r + 2. Let w be j(-6). Suppose -4*y - 4 = -12. Let i be -4 - (-1 + 12/y). Put w, 0, i in decreasing order.
w, 0, i
Let g(n) = -5*n**2 - 2*n - 2. Suppose -5*k + q - 10 = 0, 2*q = -q + 15. Let x be g(k). Let a be 0 + (0 - (-5)/2). Put 0.4, a, x in ascending order.
x, 0.4, a
Suppose 3*i = -a + 14, -3*a - 3*i = -6*i - 6. Suppose 2*c - 3 + 4 = a*m, -3 = m - 2*c. Sort -3, 3, m, -4 in ascending order.
-4, -3, m, 3
Let c(u) = 2*u**2 + 2*u + 1. Let d be c(-1). Let j be ((-40)/25)/(-4)*-10. Put j, -2, -13, d in descending order.
d, -2, j, -13
Suppose -15 = -a - 2*a. Let w = -14 - -11. Let p = 66.5 - 67. Sort p, w, a in ascending o