t a = l + 1. Sort a, -0.14, 1/6 in ascending order.
-0.14, 1/6, a
Let v(t) = -3*t**2 - 92*t + 33. Let u be v(-31). Let h(w) = -w**3 + 6*w**2 - 5*w. Let n be h(5). Put 3, u, n in descending order.
3, u, n
Suppose 0 = -21*r + 31 - 52. Sort -2, 7, 4, r in decreasing order.
7, 4, r, -2
Suppose 0 = -30*v + 17 - 17. Sort 1, -2, v, 7 in decreasing order.
7, 1, v, -2
Let j = 339 + -338.8. Put -28, 0.3, j in decreasing order.
0.3, j, -28
Let i be (-12)/(-8)*12/(-9). Sort 1, i, -39, 3 in ascending order.
-39, i, 1, 3
Suppose -14 = -2*l + 2*g, 0 = 3*l - 5*g + 5 - 32. Let f be ((-13)/26)/((-1)/l). Sort -5, -2, f, -4.
-5, -4, -2, f
Let k be 2/(-1 - 1) + 1. Suppose 12*u - 431 + 371 = 0. Sort -3, -4, k, u.
-4, -3, k, u
Suppose -4*j - k = -4 + 1, 4*j + 4*k = 12. Sort -2, 3, 6, j in increasing order.
-2, j, 3, 6
Suppose -4*v - 10 = 3*a - 8*v, -14 = a - 4*v. Sort 5, a, -3, 3 in ascending order.
-3, a, 3, 5
Let o = 17 + -16.97. Let r = 0.753 - 4.753. Put 0.3, o, r in descending order.
0.3, o, r
Let f = 14 + -15. Let d be 4/(-2) + 4 + 0. Suppose -d = a - 2*a. Sort a, 5, f in increasing order.
f, a, 5
Let i = -0.9 + 3.9. Sort i, 0, -0.2, -4.
-4, -0.2, 0, i
Suppose -17*l + 48 + 3 = 0. Sort 5/9, l, 4, -4.
-4, 5/9, l, 4
Let a = -3 + 4. Suppose 4*r - 6*r = -8. Sort -43, r, a in ascending order.
-43, a, r
Let d = -11/14 + 127/126. Let k = -0.09 - -5.09. Sort k, d, 4/5, 0.5.
d, 0.5, 4/5, k
Let s = -84 - -48. Let h = 27 + s. Suppose 0*d + 4*d = -12. Sort 1/3, d, h in descending order.
1/3, d, h
Let f = 1.9 - -8.1. Let z = f - 11. Put 3, -2/9, z in decreasing order.
3, -2/9, z
Let v(j) = -j**3 + 4*j**2 - 7*j + 15. Let c be v(3). Suppose -2*t - 2*t = -12. Suppose 3*q = 5*q + t*i + 6, -2 = 2*q + 5*i. Sort 1, q, c in decreasing order.
c, 1, q
Let y = 0.812 + -0.912. Sort -1, 5, y in ascending order.
-1, y, 5
Let b = 364.9 + -365. Sort b, -9, -1, 0 in descending order.
0, b, -1, -9
Suppose -7 - 98 = -3*g. Let x = -213 - -213. Put x, -3, g in decreasing order.
g, x, -3
Let w = -50 + 53. Suppose -3*r = -w*g + 9, 4*g - 4*r = -r + 8. Sort -0.1, -2, 2/21, g in decreasing order.
2/21, -0.1, g, -2
Let a = -609 + 608.7. Let c = 80/3 - 27. Put -1.2, a, c in decreasing order.
a, c, -1.2
Let s be 4/5*(-5 + 10). Suppose -6 = -5*z + 5*i + s, 0 = i - 3. Sort -5, z, 7.
-5, z, 7
Suppose -3*a + 7*a + 120 = 0. Sort 1, 0, -4, a in decreasing order.
1, 0, -4, a
Let p(r) = -r**2 - 4*r + 5. Let f be p(-5). Let j be (-2 - -4)/(-1 - 1). Let n = -68 - -63. Sort f, j, n in decreasing order.
f, j, n
Let l be 6/10 - 47/235. Sort 3, l, 0.1, -1/53.
-1/53, 0.1, l, 3
Let k be (9/12)/((-1)/(-4)). Let s = -43 - -60. Suppose n + 9 = -2*n - k*h, 5*n + 4*h = -s. Put n, 5, -2 in increasing order.
n, -2, 5
Let c be -1*(-6)/(-2) - -5. Let k(d) = d**3 + 4*d**2 + 4. Let i be k(-4). Sort -3, c, 0, i in decreasing order.
i, c, 0, -3
Suppose 0 = -6*c + 5*c + 700. Suppose 3*o + c = -2*o. Let x be o/(-98) - 3/7. Put -4, 2, x in decreasing order.
2, x, -4
Let j = -47 - -52. Suppose 30 = j*w - 5*b, -5*w + 2*b = 6*b + 6. Sort 5, -9, -1, w.
-9, -1, w, 5
Let l = -7 + 7.03. Let t = l - 3.03. Let n = 46/3 - 136/9. Put 0.1, t, n in descending order.
n, 0.1, t
Let k = 2 + 0. Let f(s) = -3*s**3 + 7*s**2 - 6*s + 4. Let d be f(2). Sort 3, k, d in decreasing order.
3, k, d
Suppose 702 = -0*x + x. Let v = x + -31588/45. Sort 2/3, 3/7, v.
v, 3/7, 2/3
Suppose 6*h - 2*h = i + 24, 0 = 5*i + 4*h + 24. Sort -4, 0.22, i in descending order.
0.22, -4, i
Let h(s) = 3*s**2 + 4*s - 3. Let k be h(1). Sort 1, 106, k.
1, k, 106
Suppose -3*c = -3*r - 3, -3*c + 4*r + 5 = 3*r. Put 4, -1, 18, c in increasing order.
-1, c, 4, 18
Let l = -12 - 3. Let r = l + 41/3. Sort -0.3, -2, r, -2/17 in descending order.
-2/17, -0.3, r, -2
Let s = -0.805 + 0.405. Let x = 0.26 + -4.26. Sort x, s, -3, -3/2 in increasing order.
x, -3, -3/2, s
Let l(m) be the first derivative of -m**4/4 + m**3 - m**2/2 - m + 2. Let j be l(2). Put -12, 0, j in ascending order.
-12, 0, j
Let q = -1127 - -1130. Put -4, q, -25, 1 in increasing order.
-25, -4, 1, q
Let o be (-12)/(-4) + 2 + -9. Let c be -4 + 47/28 + o. Let a = c + 23/4. Put a, 3, -5 in increasing order.
-5, a, 3
Suppose 0*a - 12 = -3*a. Let k(t) = -t**2 + 3*t + 3. Let h be k(a). Suppose -l = -4*j + 19, 2*j - 3*j + 8 = 3*l. Put h, -5, l in increasing order.
-5, h, l
Let k be 2/(546/(-169)) + (-4)/(-14). Put -0.1, 1/6, k, 11 in descending order.
11, 1/6, -0.1, k
Let c = -1.118 - -0.118. Put -2/5, c, 13, 0.4 in decreasing order.
13, 0.4, -2/5, c
Suppose 0*h + h = -4, 3*r = 4*h + 19. Suppose 2*u + 38 = 56. Suppose 15*s - 18*s = -u. Sort s, r, 1/9 in descending order.
s, r, 1/9
Let l = 20 + -31. Let p = 10.6 + l. Let v be 132/63 - (2 + 0). Put p, v, 0.4 in descending order.
0.4, v, p
Let t = -47.8 + 48. Let o = 1 + -0.7. Put t, o, 1 in increasing order.
t, o, 1
Let b(j) = -j**2 + 44*j - 339. Let z be b(9). Sort 10, 0, z in descending order.
10, 0, z
Let g = -214 - -4068/19. Sort g, 2/5, -33, -4 in descending order.
2/5, g, -4, -33
Let k be (-6)/8 - (-19)/4. Let w be k/(-8) + (-5)/2. Suppose -13*p + 210 - 236 = 0. Sort p, 13, w in descending order.
13, p, w
Let h = -120 + 115. Put 2, -3, 2/3, h in descending order.
2, 2/3, -3, h
Let n = 1208 - 9665/8. Suppose 3*l + 3 = -0*x + 4*x, -2*l + 4*x = -2. Let y be 2/(-30) + (-2)/l. Put n, y, -0.3 in decreasing order.
y, n, -0.3
Let k be (-4)/6*(-3 + 84/7). Let g be k/(-4)*2*7/3. Sort 2, 4, g in decreasing order.
g, 4, 2
Let v(h) = 4*h + 57. Let d be v(-12). Put 5, 3, d, 7 in descending order.
d, 7, 5, 3
Let t = -270 + 272. Put t, -0.14, -3/5 in decreasing order.
t, -0.14, -3/5
Let h = -7592/87 - -262/3. Put 4/9, h, 1 in decreasing order.
1, 4/9, h
Let o be (1 + 3)*(-2)/(-8). Let w = -42.68 - -43. Let v = -4.32 + w. Sort 5, v, o.
v, o, 5
Suppose 0 = 3*g + 12 - 3. Let o be (3 + -5)*11/2. Let h be o/(-33) - 22/(-6). Sort g, h, 6 in increasing order.
g, h, 6
Let y(d) = 16*d**2 + d. Let z be y(-1). Suppose -q = -0 - 2. Put 3, z, q in descending order.
z, 3, q
Let a be (2 - 2)/(10/(-5)). Let g be -16 + -1 + 5 + a. Sort 3, g, -4 in descending order.
3, -4, g
Let b = 54 - 54. Put 2, b, 4, -4 in decreasing order.
4, 2, b, -4
Suppose 0 = 4*o + 2*o + 36. Let y be (-2)/(o/(-75)*5). Sort 4, -4, y in descending order.
4, -4, y
Suppose -2*g + 5*i + 18 = 3*i, 0 = 4*g - 3*i - 31. Sort 3, -4, g.
-4, 3, g
Let f = -11 - 3. Suppose 8*d + 23 = 5 + 2. Put 0, d, f in increasing order.
f, d, 0
Suppose 6 = 8*z - 2. Suppose -v = 4 - z. Sort 5, -0.5, v.
v, -0.5, 5
Let m = 1797 + -1808. Sort m, -3, 2, 5 in decreasing order.
5, 2, -3, m
Let m = 30 + -36. Let g be (-2)/4*m + 423/(-135). Sort 3, -1, g, 0.1 in increasing order.
-1, g, 0.1, 3
Suppose 0 = -4*u + 3*w + 15, 0*u + 2*w = -5*u - 10. Let l(j) = -j**2 + 10*j - 6. Let d be l(9). Put d, u, -5 in descending order.
d, u, -5
Let d(j) = j**3 - 4. Let i be d(2). Suppose i*y = 2*s - 5*s - 20, s = -4*y - 4. Sort s, -4, -2 in descending order.
-2, -4, s
Let v be ((-4)/2)/(33/66). Put -1, v, -60 in descending order.
-1, v, -60
Suppose 4*t + 69 = t. Let b = -17 - t. Let v be b/(-4) + (-36)/(-24). Put 3, v, -1 in decreasing order.
3, v, -1
Let t = -1105 + 1110. Let s = 4 - 1. Sort t, s, 4, -3.
-3, s, 4, t
Let j = -0.7 + 0.88. Put -1, 0, j in ascending order.
-1, 0, j
Let w(u) = -2*u - 3 + 32 + 0*u. Let q be w(15). Suppose -4*d = -4*v + 8, -3 = -2*d - 13. Put -4, q, v in descending order.
q, v, -4
Let a be -1 + 6 - (17 - 9). Sort -4, a, -0.3.
-4, a, -0.3
Let u = -3 + 5. Let r be (u/7)/(4/28). Suppose 3*x - 5*s = 23, 2*s + 2 = -r*x + s. Put x, -2, -8 in decreasing order.
x, -2, -8
Let o be 60/(-24)*(-3)/5. Let n(t) = t**3 + 3*t**2 - t + 1. Let a be n(-3). Let l = 1 + 2. Put o, l, a in decreasing order.
a, l, o
Let s = 208 - 137.1. Let n = 71 - s. Put 1, -5, n in decreasing order.
1, n, -5
Suppose 8*c + 77 = 173. Put 1, -5, c, -2 in descending order.
c, 1, -2, -5
Let g = 46 - 46.038. Let n = 0.462 - g. Put n, -0.1, -1, 1 in descending order.
1, n, -0.1, -1
Let m(p) = -14*p - 1. Let r be m(3). Let g = r - -42. Sort -11, 1, g in ascending order.
-11, g, 1
Let u = 14 + -12. Let a = u - 1. Sort -1, a, 7, -4 in increasing order.
-4, -1, a, 7
Let o = 229/69 + -15/23. Suppose 88 = 5*a - 2*t, 2*a - t - 84 = -3*a. Let x be 4/(a/3)*(-14)/(-21). Sort x, o, -5 in descending order.
o, x, 