pose 3*b - 17 = 2*o, -b - 23 = -2*o - 6*b. Sort 2, d, -1/4, o.
o, d, -1/4, 2
Suppose -3*b - 9 = -4*b. Let k(l) = 2*l**2 - l - 4. Let f be k(2). Sort f, b, -4.
-4, f, b
Let n = 14 - 12. Suppose 0*j + n*j - 2 = 0. Sort 11, j, -5.
-5, j, 11
Let j = -31 - -139. Let v be j/(-24)*2/3. Suppose 1 = 4*o + 5. Sort 1, v, o in descending order.
1, o, v
Let i be ((-12)/(-14))/(216/504). Put -6, -2, i, -4 in ascending order.
-6, -4, -2, i
Let g = -1.5 - -2. Let a = -451 - -453.13. Let m = a + -2.63. Sort g, -2/27, m.
m, -2/27, g
Let c = -82 + 75. Suppose -k - 2*g + 3 = 0, 0 = -0*g - g + 2. Let j(n) = -6*n - 36. Let f be j(-6). Put f, k, c in increasing order.
c, k, f
Let v = 17 + -12. Let o be (0 + 5)/(-1)*72/(-15). Suppose 0*q - 4*s + 3 = 5*q, -o = -v*q + 3*s. Sort q, -4, 5 in ascending order.
-4, q, 5
Suppose -11*k = -31*k - 80. Put 24, 3, k in ascending order.
k, 3, 24
Let m(d) = -5*d**2 + 10*d + 1. Let s(q) = 4*q**2 - 9*q - 2. Let l(k) = 3*m(k) + 4*s(k). Let y be l(6). Let c = 2926 - 17555/6. Sort -0.4, y, c.
y, -0.4, c
Let w = -2 + 2.5. Let t be 640/(-96)*3/4. Put w, 1, t in ascending order.
t, w, 1
Suppose 0 = -0*b - 4*b + b. Suppose 2*l - 16 = -3*c, 14 = 2*c + 5*l - 4. Sort -4, b, c in decreasing order.
c, b, -4
Suppose 17 = -5*d - k, -2*d + 0*d + 5*k - 23 = 0. Sort 3, 2, -6, d.
-6, d, 2, 3
Suppose 5*j = -6*o + 4*o - 35, -5*o - 28 = 4*j. Sort 3, -5, 0, j in decreasing order.
3, 0, -5, j
Let h = -265 + 268.7. Sort h, -0.4, 4 in decreasing order.
4, h, -0.4
Let n(a) = a**2 - 5*a - 5. Let l be n(6). Let t be 27/12 + (-3)/l. Let h = 5 - 2. Put -0.3, t, h in descending order.
h, -0.3, t
Let b be 20/(-3)*(-27)/36. Suppose 11 = 5*n - 3*n + 3*m, b*m - 5 = 0. Suppose 3 = -2*z + 3*z - 2*h, 4*z - 5*h - 15 = 0. Sort z, -5, n in ascending order.
-5, n, z
Let y = 0.07 + -0.23. Let v = -0.12 - y. Let k = v - 0.04. Put -0.17, -2/15, k in increasing order.
-0.17, -2/15, k
Let t = -1 - -1.05. Let d = 8.3 + -9.15. Let i = d - 1.15. Sort 2/5, i, t.
i, t, 2/5
Let h = -196 + 192. Suppose 0 = w - 1, 3*r - w = 6*r - 25. Sort r, h, -1 in increasing order.
h, -1, r
Let q be (-9)/(-6)*(-9)/(405/4). Let x(f) = -f**2 + 5*f - 2. Let y be x(2). Put y, q, 0.4 in increasing order.
q, 0.4, y
Suppose 0 = -i + 10 - 6. Suppose -5*d + 6*d = -2. Put d, -16, 2, i in descending order.
i, 2, d, -16
Let x(r) = -9*r**3 + 14*r + 13. Let o be x(-1). Let v be (-7)/42 + 25/6. Put -2, o, v in decreasing order.
o, v, -2
Let w = 1314/7 + -188. Let h = -20 - -26. Suppose 4*a - 18 = -h. Sort a, 6, w in increasing order.
w, a, 6
Let b = 69.9 - 70. Put b, -1/9, 3 in descending order.
3, b, -1/9
Let w = 20.8 + -21. Let x = -70 + 67. Let d = -0.28 - -0.3. Put w, d, x in decreasing order.
d, w, x
Let t(i) = i**3 + 6*i**2 + 6*i - 6. Let n be t(-4). Sort 0.5, n, -10, -4.
-10, -4, 0.5, n
Let u be 16/(-105) - 2/(-7). Let b = 3556227 + -81805892/23. Let m = b - -551. Sort -2/17, m, u.
-2/17, m, u
Suppose -5*u = 5*s, -20 = 3*u - 2*u - 4*s. Let g(j) = -j + 10. Let r be g(3). Suppose r*w + 6 = 4*w. Sort u, 0, w in decreasing order.
0, w, u
Suppose 8 = -4*z, 5*p + 3*z = 7*p - 30. Put 1, 0.5, p in descending order.
p, 1, 0.5
Let u be ((-2)/12)/(2/(-2)). Let d(w) = -2*w**2 + 2*w + 8. Let y be d(0). Let o(g) = 2*g**2 - 10*g - 43. Let z be o(y). Put u, -2, z in increasing order.
-2, u, z
Let m be 4 - ((-10)/(-35) + 48/14). Sort -2, 5, -1/2, m in ascending order.
-2, -1/2, m, 5
Let p = -88/85 + 4/17. Suppose -4*k = -4*r + 160, -5*k - 94 = r + 112. Let t = 247/6 + k. Put t, p, 1 in decreasing order.
1, t, p
Let w be 208/56 + 4/14. Let k be 3 + (-189)/35 + (-4)/(-10). Sort 1, w, 3, k in decreasing order.
w, 3, 1, k
Let w(f) = 3*f**2 + 22*f - 239. Let d be w(6). Put 224, -2, -1, d in descending order.
224, d, -1, -2
Let z = -1.1 - -5.1. Let j = -4.4 + z. Suppose 2*p + 6 = -0*p - 4*k, 0 = 5*p + 4*k - 9. Put -3, j, p in increasing order.
-3, j, p
Let q = -428 + 418. Put q, 6, 0 in increasing order.
q, 0, 6
Let b(s) = s**3 + 6*s**2 + 6*s - 3. Let h be b(-5). Let i be 0 + -5*h/20. Put -0.4, -1/3, i in descending order.
i, -1/3, -0.4
Let f = -4.27 + 4.6. Let i = f - -0.67. Sort i, 3, 4 in increasing order.
i, 3, 4
Suppose 85 = -3*r - 5*d, 4*d = 5*r - 21 + 175. Let h(z) = -z**3 - 31*z**2 - 32*z - 64. Let a be h(r). Sort 2, a, -1, 3 in descending order.
3, 2, -1, a
Let i = 146.8 + -147. Sort 0.14, 5, i, -1 in decreasing order.
5, 0.14, i, -1
Let z be 0 + (-24)/6 + 10. Sort 5, 4, z, 1/3.
1/3, 4, 5, z
Let q be 1/(56/(-24)) - 213/(-399). Sort -4, -12, q, 3 in decreasing order.
3, q, -4, -12
Let s = 3.86 - 4.2. Let z = s - 0.06. Let j = -17.71 + 17.21. Sort j, -2/13, z in decreasing order.
-2/13, z, j
Let y = -1/55 - -279/220. Let u = y + -37/28. Put 2/9, u, 5/6 in ascending order.
u, 2/9, 5/6
Let x = -53 - -56. Let w = -4.813 - -0.743. Let t = 0.07 + w. Sort -2, t, x in descending order.
x, -2, t
Let p = 3.7 + -28.7. Let t = p - -30. Sort t, 1/4, 1/6 in descending order.
t, 1/4, 1/6
Let p(z) = z**2 + z - 4. Let m be p(-3). Let x be (20/(-5) + 3)*0 - -3. Put x, 6, m in decreasing order.
6, x, m
Suppose -4*f = 10 - 2. Suppose -4*y + 10 - 30 = 0. Let m be (-3)/1*85/(-51). Sort y, f, m.
y, f, m
Suppose -3*z = -2*u + 7, -u - 3*z - 7 = -15. Put 2, -102, u, 0 in descending order.
u, 2, 0, -102
Let a = 264 - 262. Sort a, -6, -6/5.
-6, -6/5, a
Let s = 1 + 8. Sort s, 1, 4 in ascending order.
1, 4, s
Let o(i) = -i**2 - 7*i - 4. Let z be o(-6). Let d(n) = n**2 - 129*n + 3035. Let l be d(31). Put -5, z, l in increasing order.
-5, l, z
Let d = 323 + -324. Sort 4, d, -2, -5 in decreasing order.
4, d, -2, -5
Let m = 28 + -28.83. Let x = m + 0.63. Put -3, x, -1/6, -1/2 in ascending order.
-3, -1/2, x, -1/6
Let g = -43 - -47. Let t be ((-4)/8)/(((-5)/(-2))/(-5)). Put g, -4, t in decreasing order.
g, t, -4
Suppose 4*h - p + 46 = 0, 3*h - 2*p + 40 = -4*p. Sort h, 1, -15 in increasing order.
-15, h, 1
Let q = 20.058 + -20. Let v = q - 0.158. Put -12, -0.4, v in decreasing order.
v, -0.4, -12
Let w be (2 + 1)/((-18)/30). Put -7, w, 17 in descending order.
17, w, -7
Let p = 2 - 1. Let x = -87 - -84. Let g = -15 + 11. Put x, g, p in decreasing order.
p, x, g
Let j be 6*(-1)/18*0/1. Sort -3, -1, j, -5 in increasing order.
-5, -3, -1, j
Let c be 27/(-9)*(-6)/(-9). Put c, 1, 3, -5 in decreasing order.
3, 1, c, -5
Let q = 7 + -12. Let t be (-7 + 9)/((-6)/(-3)*-1). Sort q, t, 4, 1 in ascending order.
q, t, 1, 4
Let s be (2/4)/((-3)/(-18)). Suppose s*n - 8 - 4 = 0. Sort -5, 0, n in descending order.
n, 0, -5
Suppose 513*l = 523*l + 40. Let f(p) = p + 3. Let i be f(-6). Put 3, i, l, 4 in decreasing order.
4, 3, i, l
Let m be (10/75)/(88/110). Let n = 2 - 0. Put m, 1/2, n in decreasing order.
n, 1/2, m
Let t = 10.4 + -11. Let u = t - -0.49. Let x = 0.51 + u. Put x, 1/3, -1 in increasing order.
-1, 1/3, x
Let x = 8.6 + -66.6. Let q = -57.7 - x. Sort 1, 8, q in descending order.
8, 1, q
Let k(t) = 5*t**2 + 32*t - 186. Let x be k(6). Sort 0, 5, 3, x in descending order.
x, 5, 3, 0
Let t be ((-34)/(-3))/(124/(-3162)). Put 5, 3, t in descending order.
5, 3, t
Let t = 345 + -330. Sort t, -1/2, -2.
-2, -1/2, t
Let l = 0.1 - 0.1. Let c = 6.29 + -0.29. Sort c, -0.4, l in descending order.
c, l, -0.4
Suppose 12*s - 15 = 17*s. Sort 1, s, -70 in increasing order.
-70, s, 1
Let s be ((-200)/(-175))/(2/(-7)). Let g = 0.36 + -0.06. Suppose p - 1 + 0 = -2*u, -2*p + 5 = u. Put g, s, p in ascending order.
s, g, p
Let a be ((-4)/8)/((-16)/40). Sort -101, 1/2, a.
-101, 1/2, a
Suppose 156*r - 162*r + 18 = 0. Put 0, r, -3, 2 in descending order.
r, 2, 0, -3
Let m = 0.097 + -17.097. Put 0.02, 4, m in decreasing order.
4, 0.02, m
Let b = -165 + 160. Suppose -1 = -5*m - 5*v + 4, -v = -4*m - 11. Put b, -8, m in increasing order.
-8, b, m
Suppose -22*t + 4*m = -20*t + 8, -4*m + 32 = 4*t. Sort t, 14, 0.18 in increasing order.
0.18, t, 14
Suppose 5*y - 31 = 4*r, 29 = 16*r - 21*r + 3*y. Put -5, r, -18 in descending order.
r, -5, -18
Suppose 0 = 5*u + 27*j - 32*j + 5, 3*u + 4*j = -31. Sort u, 4, 2 in descending order.
4, 2, u
Let c(w) be the third derivative of w**4/24 - 3*w**3/2 - 8*w**2. Let r be c(8). Put r, 3, -2/13 in decreasing order.
3, -2/13, r
Let r be (22/55)/((-1)/(-10)). Let k be ((-3)/r)/((-6)/16). Sort -6, 4, k.
-6, k, 4
Let k(b) = b**2 - 20*b - 11. Let d be k(22). Sort 5, -3,