5*t + 6. Put -3, t, 2, p in descending order.
t, 2, p, -3
Suppose 0 = -4*f - 2*i + 20, -5*i = 3*f - i - 5. Let q = -259/12 + 67/3. Put 5, q, f in decreasing order.
f, 5, q
Let b = 284 + -1135/4. Sort 8, -0.5, b, -2/9.
-0.5, -2/9, b, 8
Let h = -0.03 + -0.17. Let j = -30.8 + 31. Sort -4, h, j.
-4, h, j
Suppose 0 = -4*a - 8, -2*r - 2*a - 8 - 2 = 0. Let v = -155 + 158. Suppose 5*q - 2*y = 10, -2*q + 3*y - y = -4. Sort v, q, r in decreasing order.
v, q, r
Let v = 0.6 - -1.4. Let s = 1284 + -1284. Put 3, s, -4, v in descending order.
3, v, s, -4
Let n = 198 + -202. Sort 2, n, 0, 4 in increasing order.
n, 0, 2, 4
Let r be (12/(-14))/((-15)/70). Suppose -r*t - 1 = 59. Suppose 1 = -13*v + 14*v. Sort t, -3, v in decreasing order.
v, -3, t
Let l be (-26)/(-8) - (75/20)/(-5). Let s(j) = -j + 1. Let v be s(4). Let u = 46 - 48. Put u, l, v in ascending order.
v, u, l
Let u = -13 + 9. Let h(i) = -i**2 + 9*i - 14. Let s be h(6). Suppose 5*z = -4*n + 8, -6*n - 14 = -s*n - 2*z. Put -1, u, n in decreasing order.
-1, n, u
Suppose u - 24 = -3*u. Let d be 94/(-10) - (-4)/10. Let r be 16/u + 6/d. Put r, 0, -2 in ascending order.
-2, 0, r
Suppose 5*q - 35 = 3*l, -7*l + 11 = -q - 10*l. Sort 34, -3, q in increasing order.
-3, q, 34
Let i(z) = 15*z - 10. Let q be i(2). Let l = q - 20. Sort l, -1, 5, 2 in descending order.
5, 2, l, -1
Let l be -2 + 0 - (-2 - 1). Suppose -5*r - l = -31. Put 4, 0, r in decreasing order.
r, 4, 0
Let b be 3*(40/12 - 2). Let x = -1.8 + 2. Let k = 0.5 - x. Put b, k, 3 in increasing order.
k, 3, b
Let s = 85 - 98. Sort 1, s, 0.
s, 0, 1
Let t = 4 + -4. Let h be 3/9 + ((-470)/(-30) - 9). Put 1, t, 3, h in decreasing order.
h, 3, 1, t
Let r(y) = -y**2 - 8*y + 2. Let w be r(-8). Let g be ((-2)/(-6))/(w/15). Let s = -0.24 - -0.54. Put g, s, -4 in descending order.
g, s, -4
Let f = 3.78 - 3.9. Let r = 0.18 - f. Sort 3/4, r, 0.1 in decreasing order.
3/4, r, 0.1
Let z = 6/499 - -1455/3493. Sort 0.02, z, 3, 3/4 in increasing order.
0.02, z, 3/4, 3
Suppose 1471 = 5*j - y, -48*j + 1179 = -44*j - 3*y. Sort 3, -1, j in decreasing order.
j, 3, -1
Let j = -212 - -159.4. Let p = 27.4 + j. Let q = -25 - p. Sort -5, q, -0.04 in ascending order.
-5, -0.04, q
Let u = -1 - 6. Suppose 0 = 14*i + 2 + 68. Sort -4, i, u, 1 in decreasing order.
1, -4, i, u
Let u(i) = -7*i**2 - 2*i. Let q(h) = -h + 5. Let a be q(2). Let k(x) = x - 4. Let l be k(a). Let v be u(l). Sort 0.3, v, -4 in decreasing order.
0.3, -4, v
Let w = 6 + -5.8. Let l = 252 + -255. Sort w, l, 0.3.
l, w, 0.3
Let g = 4.828 + -5.028. Let x be (-1)/(-3) - (-34)/(-66). Put -3/5, x, g in ascending order.
-3/5, g, x
Let a(u) = -u + 5. Let f be a(6). Let x = f + 6. Let l be -3 + (-132)/(-12) + -7. Sort x, l, -4 in decreasing order.
x, l, -4
Let j = -1.26 + 1.46. Sort j, 0, 0.3, 3/4 in increasing order.
0, j, 0.3, 3/4
Let j = 158 + -158.123. Let l = 0.077 - j. Sort -2, 0, l, 7.
-2, 0, l, 7
Suppose -117 = 5*z - 107. Let l be -1*(z - (-5 + 3)). Sort -29, l, 1 in descending order.
1, l, -29
Let w = 1.42 + 2.58. Sort w, 94, -2/9, 2 in ascending order.
-2/9, 2, w, 94
Let p(b) = -b**2 - 31*b - 62. Let m be p(-29). Put 4, 6, m in descending order.
6, 4, m
Suppose 80*r = 23*r + 1767. Sort 5, -3, 1, r in ascending order.
-3, 1, 5, r
Suppose 50 = -14*l - 20. Sort 4, 3, l, 6 in increasing order.
l, 3, 4, 6
Let d = -2.14 - 0.86. Let g = -0.01 - -0.11. Put d, -1, g in descending order.
g, -1, d
Let p be 1 + (-3 - -2) + 0. Let y = 80 - 65. Suppose p = v + 4*v + y. Put v, -5, 1 in ascending order.
-5, v, 1
Suppose -19*h + 21*h = -2*r + 18, 18 = 2*r - h. Sort 3/8, -1, -0.4, r.
-1, -0.4, 3/8, r
Let i be -30 + 40 + 23/(-2). Suppose -5*m - 3*p - 8 = 0, 0 = 3*m + 6*p - p + 8. Let x be 8/(-5) - m/1. Sort x, i, 6.
i, x, 6
Let p = -1.9 - -2.04. Let n = p - -0.03. Let r = n + -0.17. Sort r, 0.3, -5.
-5, r, 0.3
Let z(y) = -12*y**2 - y**3 + 0 - 4 + 8*y**2. Let n be z(-4). Sort 6, 1, n in decreasing order.
6, 1, n
Let j(h) = -h**3 + 2*h**2 + h + 9. Let i be j(4). Let l = i + 24. Suppose l*b - 1 = -16, -2*a + 7 = -3*b. Sort -3, -2, a in descending order.
a, -2, -3
Let l = -88.8 + 89. Let m = -7 - 34. Let v = m - -367/9. Put l, v, -7/2 in increasing order.
-7/2, v, l
Let m = 1106 - 1111. Sort 67/2, 0.3, m in ascending order.
m, 0.3, 67/2
Let i(j) = 4*j**2 - 3*j - 2. Let u be i(-1). Sort 21, 2, u, 0 in descending order.
21, u, 2, 0
Suppose -r - 4*r - 5 = -3*p, -2*p + 5*r = 0. Let z(h) = -35*h - 1261. Let l be z(-36). Sort -2, p, l, -4.
-4, -2, l, p
Let d = 121/675 + -7/27. Let c = 19 - 23. Put 0.5, d, c in descending order.
0.5, d, c
Let w = -95 - -93. Suppose 0 = 4*g - g. Sort 2, g, w, -1 in descending order.
2, g, -1, w
Let k = -15 - -16.9. Let g = -4.1 - k. Sort -0.5, -5, g in decreasing order.
-0.5, -5, g
Let v(w) = 13*w + 1. Let o(a) = -a + 1. Let b(c) = -6*o(c) - v(c). Let p be b(-1). Put 5, p, -1 in decreasing order.
5, p, -1
Let l = 329 - 329.5. Sort -3, -0.1, l, 25.
-3, l, -0.1, 25
Let y = -12985/6 - -2255. Let o = y - 91. Put 0, o, 0.01 in decreasing order.
0.01, 0, o
Suppose -3*z + 3 = v + v, -5*v + 2*z - 21 = 0. Suppose -4*t + 15 = -4*d + 11, 4*t - 2*d - 10 = 0. Put -4, -1, t, v in ascending order.
-4, v, -1, t
Suppose -56 = 10*b - 756. Sort -4, b, -2 in ascending order.
-4, -2, b
Suppose 9*p - 396 = -5*h + 7*p, 4*h + 2*p = 316. Sort 3, -5, h, -2 in decreasing order.
h, 3, -2, -5
Suppose 9*m - 14*m = -2*v + 14, 3*m = -2*v - 2. Suppose 3*q + 26 = 5*g, 0 = 3*q + 2*q + g + 6. Put 1, v, q in increasing order.
q, 1, v
Suppose -8 = 4*r + 4, -5*r = -5*y + 35. Suppose 3*a + m - 11 = 0, 22 + 8 = 5*a + y*m. Sort a, -3, 1 in decreasing order.
a, 1, -3
Let d = -4121/11 - -375. Let a = -42/55 + d. Let r be 4/(-3)*(135/(-102))/(-15). Put a, 0.2, r in increasing order.
a, r, 0.2
Let o be 3/(-2)*8/18. Let v = 4789/7152 + -7/2384. Let j = 217/4 - 54. Put v, o, j in increasing order.
o, j, v
Let w be ((-1)/(24/9))/((-9)/(-4)). Sort -1/70, 0.1, w in descending order.
0.1, -1/70, w
Let k be ((-163)/(-2))/((-12)/24). Let m = -160 - k. Sort -0.2, m, 0.4, -1/4 in ascending order.
-1/4, -0.2, 0.4, m
Suppose -4*p = 5*u + 1 - 36, 3*p + 5*u = 30. Let y = 1/5249 - -5245/20996. Sort -5, y, p, 4 in decreasing order.
p, 4, y, -5
Let z(a) = a**2 - 6*a - 117. Let k be z(-8). Sort 5, k, 3 in descending order.
5, 3, k
Let q(g) = 7*g**2 - 8*g - 8. Let d(h) = 2*h**2 - 3*h - 3. Suppose 4*p - 9 = p. Let u(x) = p*q(x) - 8*d(x). Let a be u(-1). Sort 1, a, 2 in decreasing order.
a, 2, 1
Let j = 0.4 + -0.3. Let l = 44 - 39. Put j, 3, -2/13, l in decreasing order.
l, 3, j, -2/13
Let i be (4 - (-4 + 2))/2. Let l be 0*(-1)/i - 0. Put 3, -7, l in descending order.
3, l, -7
Let s = -16 - -9. Suppose 2*v + 29 = 37, 3*v = -3*l + 27. Put s, 4, l in decreasing order.
l, 4, s
Let h(r) = r**2 + 15*r + 13. Let o be ((-2)/9 - (-170)/(-45)) + -10. Let n be h(o). Let j be (-1 - -1)/3*-1. Sort 2, n, j.
n, j, 2
Suppose 2*r + r = 5*a + 61, 5*a + r + 53 = 0. Let c be (-9)/1 - 2*-1. Let y = c - a. Put y, 2/11, -0.3 in descending order.
y, 2/11, -0.3
Suppose -5*c - c - 18 = 0. Let x be (-1)/(0 + (-1)/c). Let m = 0 - -5. Put m, x, 3 in descending order.
m, 3, x
Let g = -1 + -8. Suppose 0 = -2*p - 4*z, 35 = -p + 4*z + z. Let n = p - g. Sort -2, n, 1 in decreasing order.
1, n, -2
Suppose -10*y = -12*y - 4. Sort -4, y, 4 in decreasing order.
4, y, -4
Let f be (-17)/(3/(6/2)). Let c = -15 - f. Sort 3, 0, c in ascending order.
0, c, 3
Suppose 191*b + 18*b - 50*b - 7314 = 0. Let x = -0.03 - -5.03. Sort x, b, -5 in ascending order.
-5, x, b
Let a(n) = -3*n**3 + 3*n**3 + n**2 + 4 - 7*n - 9*n**2 - n**3. Suppose -30 = 3*k + k + 2*x, -5 = k - 2*x. Let g be a(k). Put -1, g, 3 in ascending order.
-1, 3, g
Let d = -139 - -137.82. Let i = d - -0.68. Put 0.4, 1/6, i in ascending order.
i, 1/6, 0.4
Suppose 0*z + 13 = -4*z - f, 4*z + 5*f + 33 = 0. Suppose 0 = -t + 3 - 0. Let h(a) = -a**3 + 6*a**2 - 7*a + 5. Let n be h(5). Put z, n, t in descending order.
t, z, n
Let h = -12 - -17. Let o = 4 - -20. Suppose h*k - o + 9 = 0. Sort -1, k, -5 in descending order.
k, -1, -5
Suppose -6 = s - 2*a, 0 = 5*s + 2*a - 0*a - 6. Put 4, s, 3, 1 in ascending order.
s, 1, 3, 4
Let p(c) = 2*c**3 - 6*c**2 + 9*c - 11. Let g be p(2). Suppose 6 = -4*z - 2*d, z - 3*d + 11 = 2*z. Sort g, 5, z in descending order.
5, g, z
Let b be 2/(