rder.
k, -1/11, l
Suppose -5*v + 20 = 0, 0 = -h + 3*v - 5. Put -4, 3/5, 3, h in decreasing order.
h, 3, 3/5, -4
Let n(l) = -2*l**2 - 65*l - 255. Let v be n(-28). Sort v, 0, 3, 5.
v, 0, 3, 5
Let w(i) = i**3 + 8*i**2 + 6*i - 1. Let l be w(-7). Let h = l + 1. Suppose -1 = v + 4, -15 = -5*j - v. Put j, 5, h in decreasing order.
h, 5, j
Suppose 0 + 7 = -p. Let m(z) = -z**2 - 7*z + 3. Let j be m(p). Suppose 21 = -j*i + 9. Sort 2, 0, i.
i, 0, 2
Let k be ((-4)/(-14))/(143/(-22) - -7). Sort k, 1.9, -0.06.
-0.06, k, 1.9
Let f = -112 + 108. Let b be 0 + 0 - (-1)/(-4). Put 0.5, f, b in descending order.
0.5, b, f
Suppose 2*l = -c + 3*c - 18, -4*l - 71 = 3*c. Let p = l - -18. Suppose -p*w - 14 = -2*g, -1 = -g - 2. Sort -3, w, 6 in descending order.
6, -3, w
Let u = -0.6 + 0.1. Let z = 49 + -48.47. Let o = z + -0.33. Put u, o, 2/11 in descending order.
o, 2/11, u
Let j = -17.9 - 0.1. Let l = 16.9 + j. Let t = l + 1.6. Put t, -3, 1 in descending order.
1, t, -3
Suppose -5 = -q + s, q - 5*s = -2*q + 25. Let h be 1 + 12/(-4) - 3. Let d(g) = -2*g - 7. Let a be d(h). Put 12, q, a in descending order.
12, a, q
Suppose 1536 + 1199 = -5*g. Put g, -4, 4, -2 in decreasing order.
4, -2, -4, g
Let j = 176 + -115. Let l = -61 + j. Let i = -11 - -17. Put i, l, -2/3 in decreasing order.
i, l, -2/3
Let z be -21*5/(-45)*3. Suppose z*x - 9*x = 14. Put 1, 4, -1, x in descending order.
4, 1, -1, x
Suppose -2*y - 5*l - 16 + 1 = 0, -5*y + 9 = -3*l. Sort 4, y, -3.
-3, y, 4
Let g = 42 - 26. Let k be (-33 - -32)*(0 + -2). Put 0, g, k in ascending order.
0, k, g
Suppose 5*i = -3*b + 34, -b + 10 = -6*b. Suppose -13*l + i*l + 65 = 0. Put l, 5, -3 in descending order.
l, 5, -3
Suppose 6*m - 6 + 42 = 0. Sort 1, m, -4 in decreasing order.
1, -4, m
Let s = -82.136 + 0.136. Let h = 81.4 + s. Let x = -0.2 + -0.8. Sort -2, h, x in increasing order.
-2, x, h
Suppose 0 = 3*d - 0*d. Let z(o) = -7*o - 15. Let w be z(5). Let t be ((w/(-15))/(-5))/((-2)/(-6)). Put 3, t, d in decreasing order.
3, d, t
Let j = 3 + -4. Let w(q) = -3*q**2 + 56*q - 161. Let v be w(15). Put v, j, 14 in descending order.
14, v, j
Let o = 146 - 139. Suppose o*p = -4*t + 3*p, t + 3*p - 2 = 0. Let a be ((4/6)/2)/1. Put t, -3/7, a in decreasing order.
a, -3/7, t
Suppose -2*y + 817 - 815 = 0. Let x(o) = -o - 3. Let h(l) = -1. Let m(n) = 4*h(n) - x(n). Let g be m(5). Sort y, g, 3 in descending order.
g, 3, y
Let f = -9 - -4. Let t = -239 + 240. Sort -4, 3, f, t in ascending order.
f, -4, t, 3
Let g = 657 + -664. Put -2, 0.3, g in descending order.
0.3, -2, g
Suppose 0*t + 60 = 5*t. Suppose 0 = l + 3*l - t. Suppose -11 = 4*a + a + 3*z, -l*z + 21 = -3*a. Sort a, 3, 4 in descending order.
4, 3, a
Let d be 22/(0 - -2) + -3. Suppose -2*w + d = -3*i, 5*w - 2*w = -2*i + 38. Let c(b) = b**2 + 6*b - 18. Let l be c(-8). Sort w, -1, l.
l, -1, w
Suppose 69*h - 78*h = -153. Suppose d + 3*b = 1, 95 = 5*d + 2*b - 5*b. Let y = h - d. Sort -5, y, 5 in descending order.
5, y, -5
Let q(c) = -2*c - 37. Suppose -75 = 3*a - 21. Let k be q(a). Sort 2, k, 3.
k, 2, 3
Let m = 656 - 657. Sort m, 1, -2, 0.
-2, m, 0, 1
Let f = 3246.8 - 3247. Let c = 4.9 + 0.1. Put -1/4, f, 0.1, c in decreasing order.
c, 0.1, f, -1/4
Let r(b) = 4*b + 56. Let d be r(20). Let f = 125 - d. Put f, 1, -1, 3 in ascending order.
f, -1, 1, 3
Let t = 17.38 - 18. Let i = -0.12 - t. Sort -2/15, -2/3, i, -2/7 in descending order.
i, -2/15, -2/7, -2/3
Let f be 116/203 - (-25)/(-7). Sort 4, 34, f, -1 in ascending order.
f, -1, 4, 34
Suppose 0 = -104*a + 12 + 196. Sort 5, -3, a, -2 in decreasing order.
5, a, -2, -3
Let n = -34 + 37. Let c = 0.3 - 5.33. Let b = 5 + c. Sort n, -1, b in ascending order.
-1, b, n
Let c = -10 - 42. Let s = -54 - c. Put 10, -3, s, 5 in ascending order.
-3, s, 5, 10
Let o be (225/63)/(2/(-48)). Let u = o - -86. Let v be (-64)/14 - (-27)/(-63). Sort u, v, -3 in descending order.
u, -3, v
Suppose 3*u = -24 - 12. Let c(l) = -2*l**2 + 8*l + 11. Let o be c(-2). Let f = o - u. Sort 2, -3, f in decreasing order.
2, f, -3
Let f = -2551 - -2556. Let c(y) = -y**3 + 6*y**2 - 3*y - 6. Let b be c(5). Let h = b + -3. Put h, f, 4 in decreasing order.
f, 4, h
Let b(l) = -4*l + 1. Let r be 21/7 + (-3)/1. Let a be b(r). Put 5, a, 0.1 in increasing order.
0.1, a, 5
Let k = -683 - -683. Put 1, 11, -2, k in descending order.
11, 1, k, -2
Let x be 2/5 - 18/70. Let y be (6/16)/((-6)/(-4)). Suppose -10*k + 19 = -21. Sort x, y, k in ascending order.
x, y, k
Suppose 0 = 3*b + 2*b + 5*b. Sort 0.2, 2/15, b, 0.5 in increasing order.
b, 2/15, 0.2, 0.5
Let l(b) = -b**3 + 4*b**2 + 2*b - 4. Let n be l(3). Suppose -4*v + n - 3 = 0. Suppose -x - 2*a = v, 3*a + 34 = 3*x - a. Put -4, -5, x in descending order.
x, -4, -5
Let d = -8.5 + 12.9. Let k = 10.6 - 13. Let z = k + d. Put -2, 0.5, z in descending order.
z, 0.5, -2
Let c = 722 - 722. Let i be 6/4*(-2)/1. Sort -2, c, i, 5.
i, -2, c, 5
Let j = -329/5 + 78. Let o = -12 + j. Sort -5, o, -2/11 in descending order.
o, -2/11, -5
Let z = -15 + 16.5. Let k = z - 2.2. Let m = -1.1 - k. Sort 10, m, 3/5.
m, 3/5, 10
Let p = -388 + 390. Suppose 5*t - 4*i - 4 - 22 = 0, 16 = -4*i. Let g be t/(-12)*(-4)/(-2). Put -3, p, g in increasing order.
-3, g, p
Let o(r) = 11*r + 529. Let f be o(-48). Put f, 15, 3, 6 in decreasing order.
15, 6, 3, f
Let h be (-5)/25 - (2 - 55/25). Sort h, -1, -357 in increasing order.
-357, -1, h
Let k = 0.2142 + -0.0142. Sort k, -1/7, 2/25, 3 in descending order.
3, k, 2/25, -1/7
Let s be (-2)/(-2)*-1*1. Let p = 4 - s. Let t be (-1)/(-2)*(2/(-10) - (-4)/20). Sort t, p, 3 in decreasing order.
p, 3, t
Suppose 0 = 2*p, 5*v - 3*p - 7 - 3 = 0. Suppose 4*a = -4*u - 8, v*a = -2*u + a + 1. Put 5, 1, u in descending order.
5, u, 1
Suppose 3*o = -3*t - o + 27, 4*t - 23 = -o. Suppose 8 = -u + t*u. Let g(x) = 2*x**2 - 39*x + 183. Let h be g(8). Sort u, h, 3 in decreasing order.
3, u, h
Let n = -349 - -345. Let x be -1*(0 - 0/3). Sort 1, x, 5, n in descending order.
5, 1, x, n
Let s = -4 - -2. Let v be (1/s - 1)*-6. Let q = -7565 - -7568. Sort 1, q, v in descending order.
v, q, 1
Let f = 18.62 + 0.38. Let m = -20.6 + f. Let j = -5.6 - m. Sort 3, 0.2, j.
j, 0.2, 3
Suppose 2 = -22*c + 19*c + 5. Suppose 3*z - 16 = 4*w - 2, -4*z - 18 = 2*w. Put c, z, 5, -4 in decreasing order.
5, c, z, -4
Let r(y) = -12*y - 51. Let x be r(-4). Let w be (0 - 0) + 0 + 5. Suppose -3*n - 20 = 4*v, -n + 6*n = w*v + 25. Put v, x, 1 in descending order.
1, x, v
Let n = -6 - -4. Let y be (5 + -6)*(-12)/(-4). Sort 0, y, 5, n in decreasing order.
5, 0, n, y
Let g = 5.2 - 5. Let i = -5.2 + g. Let n = -233/110 - -23/10. Sort n, i, 2 in decreasing order.
2, n, i
Suppose 0 = 4*z + 5*u + 5 + 51, 4*z = 3*u - 88. Sort z, -4, -3 in decreasing order.
-3, -4, z
Suppose -4*j = 6*j - 5*j. Suppose j*h - 8 = h. Put 0.2, h, 0 in increasing order.
h, 0, 0.2
Let h = -847 - -851. Sort -232, 3, h in increasing order.
-232, 3, h
Suppose 0 = 2*d - 10, a + 0*a + 3*d - 17 = 0. Sort -6, 1, 0, a.
-6, 0, 1, a
Let q = -0.03 - 3.97. Let d = 1308 - 1306. Put q, -0.9, d in ascending order.
q, -0.9, d
Suppose -d - 2*d - 1 = y, 0 = 4*y - d + 17. Let g be (-1 - (-2)/(-1))/1. Let a = 436 - 441. Put a, g, y in decreasing order.
g, y, a
Let t(l) = l**2 + 8*l + 12. Let h be t(-7). Sort 4, h, 2, -3.
-3, 2, 4, h
Let y(c) = 4 - 2*c + 5 - 3. Let b be y(5). Put b, 4, -2 in descending order.
4, -2, b
Let j = 82.5 - 83.443. Let q = 0.057 - j. Sort 26, -0.2, q in increasing order.
-0.2, q, 26
Let n = -0.816 + 0.816. Put 84, n, -1 in descending order.
84, n, -1
Let k be ((-2)/(-6))/((-1)/(-9)). Let h(q) = -2*q**3 - 2*q**2 + 6*q + 8. Let t be h(-2). Sort k, t, -1 in ascending order.
-1, k, t
Let o = 25 + -6. Let p = 19 - o. Let m = -0.2 + 0. Sort p, 0.3, m.
m, p, 0.3
Suppose 3*f + 5 = 8. Let a be (-26)/(f*(3 + -5)). Let p(u) = u**3 - 13*u**2 + u - 17. Let l be p(a). Put l, 4, 2 in decreasing order.
4, 2, l
Suppose 0 = 5*w + 23 + 2. Let y be (-2)/2*(0 - w). Suppose 0 = -5*x, 0 = -4*s - 0*x - 3*x - 8. Put y, -4, s in ascending order.
y, -4, s
Let a = -17 + 25. Let g(i) be the first derivative of -i**2/2 + 11*i - 4. Let z be g(a). Sort 1, 4, z.
1, z, 4
Let b be ((-20)/(-16))/(1/(-4)). Suppose -4 = -3*k + 8. Suppose -3*c - f + 20 = 0, -25 = -4*c + f - 10. Sort k, b, c in increasing order.
b, k, c
Suppose -3*f + 7 = 5*t - 16