ng order.
o, -0.5, 3/10
Suppose -7 = -5*u + c, 0 = c + 3*c + 8. Suppose -s = -r - 1, r + 6 = 3*s - 1. Sort s, u, 2.
u, 2, s
Let c = -0.51 - -20.51. Let y = 18 - c. Put 3, 8/5, y in descending order.
3, 8/5, y
Let q = 1083 - 1083. Put q, -4, 19 in ascending order.
-4, q, 19
Let f = 9 - 12. Let b(n) = 2*n**2 + 2*n + 4. Let q(h) = 5*h**2 + 5*h + 8. Let g(t) = 7*b(t) - 3*q(t). Let a be g(-3). Put -4, f, a in decreasing order.
a, f, -4
Let k be 1*(19 + -1) - (-16 - -16). Let q(p) = 2*p**2 - 38*p + 36. Let t be q(k). Sort t, -7, 3, -4 in decreasing order.
3, t, -4, -7
Let b = 0.27 + -1.47. Let s = b - 3.8. Sort s, -4, 0.5.
s, -4, 0.5
Let d be ((-4)/32*-6)/(7/4). Let t = -4.88 + -0.12. Sort t, d, 3, -3 in descending order.
3, d, -3, t
Let u = -1637 - -1641. Put 3, u, -2, -1 in decreasing order.
u, 3, -1, -2
Suppose -6*s - 44 = -17*s. Let l be (-3)/s - 243/108. Put -1, -4, l, 5 in decreasing order.
5, -1, l, -4
Let u be 3/(2*2/(-4)). Let l = 11 + -9. Let z = l + -6. Sort z, 4, u in ascending order.
z, u, 4
Let h = 0.181 + 11.769. Let o = 0.05 + h. Sort 0, 0.1, -2, o in ascending order.
-2, 0, 0.1, o
Let n(i) = 2*i**3 + 45*i**2 + 24*i + 41. Let t be n(-22). Put 0, -2, t, 24 in decreasing order.
24, 0, -2, t
Let c be -2 - ((-60)/(-27) - 4). Let k = -13/110 + 3/10. Sort 3, 14, k, c in descending order.
14, 3, k, c
Let f = -58 - -63. Sort 6, f, -4 in descending order.
6, f, -4
Let n be 2 + -4 - 11/(-6). Let x = 1359 + -1350. Put -2, n, x in ascending order.
-2, n, x
Suppose 0 = -2*k + 92 - 100. Sort k, -1, 14 in ascending order.
k, -1, 14
Let j be (0 + 1)/(10/2). Let d = -3.01 - -0.01. Put d, j, 1/7 in increasing order.
d, 1/7, j
Suppose 24*f - 623 + 551 = 0. Sort 13, f, 2, 1.
1, 2, f, 13
Let g = 2.58 - 2.18. Sort -2, -10, g in increasing order.
-10, -2, g
Let g = 4 + 0. Let r be (-5)/(165/6) + (-1526)/77. Let u = r - -21. Put u, g, 3 in descending order.
g, 3, u
Suppose z + 158 - 168 = 0. Put 3, z, -4 in descending order.
z, 3, -4
Let l be -11 + 54/(-81)*(-18)/4. Sort -3, 0, l, 2 in decreasing order.
2, 0, -3, l
Let b = 28 + -18. Let j = 26849 - 242354/9. Let d = 79 + j. Sort b, -2, d in decreasing order.
b, d, -2
Let o = -15 - -14.5. Let x = 0.39 + 0.61. Put -5, 1/4, o, x in ascending order.
-5, o, 1/4, x
Let m = 3886.5 + -3886. Let y = 0.25 - -0.05. Put y, m, 1/4, -7/6 in descending order.
m, y, 1/4, -7/6
Let s = -460 + 471.8. Put -0.2, s, 1/4 in ascending order.
-0.2, 1/4, s
Let t = -4.4 + -0.6. Let i = -4 - t. Let r = i - -1. Put r, -4, -1 in descending order.
r, -1, -4
Suppose 11 = -12*z + z. Sort -3, 0, z, -2 in decreasing order.
0, z, -2, -3
Let d be ((-68)/(-8))/(-2 + (-131)/(-66)). Let p be (2/(-6))/((-34)/d). Sort p, -0.4, -5 in ascending order.
p, -5, -0.4
Let q = -1.82 + 1.76. Sort 4, -4/5, -1, q in decreasing order.
4, q, -4/5, -1
Let j(b) = b + 2. Let n be j(0). Suppose -15*d - 4*l + 4 = -13*d, 3*d - 9 = -3*l. Sort d, -4, 8, n.
-4, n, d, 8
Let t = -44 - -46. Suppose -r - 5 - 6 = t*y, 0 = 2*y - 3*r + 7. Sort -1, -7, 3, y in descending order.
3, -1, y, -7
Let l = -4.35 - -0.35. Let q = 2 + l. Let t = -21 - -21. Sort 2/13, q, t in decreasing order.
2/13, t, q
Suppose -18*c + 93 - 111 = 0. Sort 34, 3, -5, c in decreasing order.
34, 3, c, -5
Let q = 43 + -42.7. Let c = 0.1 - 0.5. Let d = 3/49 + -55/98. Sort d, c, q in ascending order.
d, c, q
Suppose 6*w = w - 10. Put w, -24, 2, 1 in decreasing order.
2, 1, w, -24
Let f be (-1 - 0) + 2/(-4). Let x = 2.81 + -141.81. Let b = 133 + x. Put f, -5, b in descending order.
f, -5, b
Suppose -120*a + 125*a = -195. Let q = -194/5 - a. Suppose 0*d - 3*d = 4*x + 33, 63 = -4*x + 3*d. Sort q, x, -0.5.
x, -0.5, q
Suppose s + 4*f = -12, 3*f - 4*f - 12 = s. Sort -4, s, 4 in increasing order.
s, -4, 4
Let y(i) = -i - 17. Let g(k) = 5*k - 5. Let p be g(-2). Let x be y(p). Put 4, x, -5 in descending order.
4, x, -5
Let u = 0.7 - 1. Let k be (-8)/60 - 2/210. Sort k, -2/5, u.
-2/5, u, k
Let s = -55 + 54.7. Let m = s + 0. Sort 26, 0.4, m in increasing order.
m, 0.4, 26
Let c be 8/20 + 26320/(-45175). Let a = -4/139 - c. Let v = -5 - -8. Put -4, v, a in decreasing order.
v, a, -4
Let w(r) = r + 6. Let t be w(-2). Suppose 0 = 4*h + 5*f + 16, 3*f + 11 = 5*h - 6. Let i be (h*-2)/((-2)/(-1)). Put i, 5, t in decreasing order.
5, t, i
Suppose -4*l + 4 = -s - s, l + 5*s = -10. Suppose 35*z + 555 = 30. Sort -4, l, z.
z, -4, l
Let m = -0.0723 - 39.8277. Let n = m + 40. Let l = 0.7 - 3.7. Sort 4, n, l in decreasing order.
4, n, l
Let h = 4.1 - 0.1. Let n = 101 - 104. Sort n, h, 20 in ascending order.
n, h, 20
Let s(w) = 15*w + 148. Let k be s(-10). Put -8, k, -10, 5 in increasing order.
-10, -8, k, 5
Let z = 229 - 229.4. Put -0.3, z, -2.6 in descending order.
-0.3, z, -2.6
Let w be 10320/56 + 90/(-21) + 4. Sort 3, -1/6, -3, w.
-3, -1/6, 3, w
Let g be (-40)/6*(-12)/(-8). Let v be (-36)/54 - g/(-3). Sort -3, v, 8.
v, -3, 8
Let o = 870/119 - 52/7. Let n = -0.04 - -1.64. Let w = 4.6 - n. Put 1, w, o in decreasing order.
w, 1, o
Let c be (1 - -4)*(-4)/(-360)*4. Suppose 4*n = 5*b - 33, -3*b + 4*b + 5*n + 5 = 0. Suppose 0 = -b*s - 5 - 20. Sort s, c, 0 in increasing order.
s, 0, c
Suppose 0 = 3*g + 2*g - 10. Suppose -g - 1 = 3*t. Let o(q) = q**3 + 12*q**2 + 4. Let f be o(-12). Sort -5, t, f.
-5, t, f
Let p = 2 + -5. Let k(r) = r**2 + 1. Let m(j) = 3*j**2 - 13*j + 10. Let t(z) = -2*k(z) + m(z). Let h be t(12). Put p, h, -1 in decreasing order.
-1, p, h
Let h(y) = y**2 + 366 - y - 2*y**2 - 363. Let a be h(0). Let v be ((-6)/5)/(3/(-10)). Sort a, -3, v in ascending order.
-3, a, v
Let m be 14/35*2/4. Put 2, -0.5, m in descending order.
2, m, -0.5
Let z = 0.1246 - 0.0246. Let b = -0.1 + 4.1. Put z, b, 5/7 in decreasing order.
b, 5/7, z
Let x be 6/(360/50) - (-22)/(-12). Put x, -5, -4, 10 in ascending order.
-5, -4, x, 10
Let d(u) = -u**2 + 7*u - 8. Let j be (-2 + (-2)/(-4))/(1/(-4)). Let q be d(j). Sort -3, q, -5, 3 in ascending order.
-5, -3, q, 3
Let y(p) = -p**3 + p. Let b be 1*(-2 - -3)*-2. Let n be y(b). Suppose 0 = -0*l + 2*l + n. Sort 5, l, 6.
l, 5, 6
Suppose -4*j + 27 = -0*x - x, x + 21 = 3*j. Let h be 69/161 + j/(-7). Sort 4, -0.3, -22, h in descending order.
4, -0.3, h, -22
Let n = 18 + -37. Put 4, n, -2 in increasing order.
n, -2, 4
Let a = 2 - 3. Let o be (7 - 11)*(-2)/4 - a. Put o, -3, 0.3, 4/7 in decreasing order.
o, 4/7, 0.3, -3
Suppose 3*h + 2*h = 15. Suppose j + h*o = 8, 0 = -j - 2*o + 6*o - 20. Sort 5, 3, j in decreasing order.
5, 3, j
Let m = 0.5 - -2.5. Let q(i) = i**3 - i**2 - 53*i + 15. Let j be q(-7). Put -5, m, j in increasing order.
j, -5, m
Let a = -591 - -4135/7. Put a, 0.9, 0.4 in increasing order.
a, 0.4, 0.9
Suppose -5*b - 5*a = 0, -4*b - 4*a = a + 2. Let k(i) = -i + 6. Suppose -3*c + 25 = 1. Let x be k(c). Sort b, x, 20 in decreasing order.
20, b, x
Suppose -49 - 4 = 53*o. Put -2, 7, o, 1 in increasing order.
-2, o, 1, 7
Let n(y) = -y**2 + 16*y + 3. Let q be n(16). Let k be (-2)/((-8)/12*3). Put k, q, 2 in descending order.
q, 2, k
Let v(c) = -c**2 - 40*c + 556. Let j be v(11). Sort -6, -4, 5, j in increasing order.
-6, j, -4, 5
Let p = -0.57 + 0.97. Sort 3, p, 0.3, -0.7 in decreasing order.
3, p, 0.3, -0.7
Suppose -2*x + x - 13 = -p, -3*x + 4*p - 40 = 0. Let f = x - -7. Sort 1/4, f, 0.3 in descending order.
0.3, 1/4, f
Let j(b) = -b**3 - 3*b**2 + 4*b. Let o be j(-4). Let u be (o - (1 + -1))/2. Let a(s) = -2*s + 51. Let t be a(25). Sort t, -1, u in increasing order.
-1, u, t
Let l(k) = k**3 + 4*k**2 + 2*k - 2. Let w be l(-2). Let v(d) = d**2 + 5*d + 1. Let s = -3 + -2. Let m be v(s). Sort -3, w, m in increasing order.
-3, m, w
Let g = -2.2782 + -0.0118. Let o = 0.136 + 0.154. Let j = g + o. Put 1/14, j, 1 in descending order.
1, 1/14, j
Let s(w) be the third derivative of w**6/120 - w**5/20 + w**3/2 + 11*w**2. Let j be s(3). Sort -3, 1, j.
-3, 1, j
Let g be (-2)/(-5) + (-37)/5 - -2. Let o be (-1)/18*(1 - -3). Sort o, g, -0.5.
g, -0.5, o
Suppose -2*j - 90 = 3*j. Let a = 20 + j. Let z(s) = 2*s + 12. Let k be z(-7). Sort k, a, 8 in decreasing order.
8, a, k
Let k = -8617 + 34647/4. Let i = k + -45. Put i, -3/5, -5 in decreasing order.
i, -3/5, -5
Suppose -6 + 7 = t. Let c = 1 + -1.3. Put c, 0, t, 3 in ascending order.
c, 0, t, 3
Let z(r) = r**2 - 18*r + 84. Let s be z(9). Suppose 2*g + 2 = -2, -5*g = a + 15. 