ppose -28*a + 8*a = 60. Put 168, 0, a in decreasing order.
168, 0, a
Let o(k) = k - 1. Let t be o(3). Let y be -1 - (-5)/(-7)*-1. Sort y, t, -7 in increasing order.
-7, y, t
Let r = 249 + -381. Let z be (110/r)/(2/(-6)). Let p be (-7)/(-12) - 2/6. Sort p, 0, z in increasing order.
0, p, z
Suppose 5*k + 4*p + 70 = 2*p, -15 = -3*p. Let u = k - -15. Sort 4, 3, 2, u in decreasing order.
4, 3, 2, u
Suppose -38*p = -32*p - 6. Put p, -2, 15 in increasing order.
-2, p, 15
Let t = -47 - -59. Suppose 3*l - 16 = i + i, 2*i + 4*l - t = 0. Sort 3, -4, i in decreasing order.
3, i, -4
Let y = -6 - -9. Let z be (126/273)/(2/13) + -3. Sort -6, y, -4, z in increasing order.
-6, -4, z, y
Let b(o) = -11*o - o**2 + 3*o**2 + 2 + 5. Let j be b(4). Put j, 5, 4 in decreasing order.
5, 4, j
Let m = -2 + 2. Let u = 17 + -15. Suppose -4*o + 3*o = u. Sort m, -0.5, o in decreasing order.
m, -0.5, o
Suppose 0 = 2*j - 7*j + 15. Let h(o) = -6*o - 7*o + 5*o - 1 - o**2 - 1. Let v be h(-6). Put v, -5, j in decreasing order.
v, j, -5
Suppose 3*k + 3*a - 15 = 0, -k - 5*a + 2 = -19. Suppose 26*u - 22*u = 276. Let w = u + -70. Sort -4, w, k in decreasing order.
k, w, -4
Let t be 12 + (-7 - 1) - -7. Sort 6, -5, -1, t.
-5, -1, 6, t
Let g be 2 - -1 - (0 - -9). Let n = g - -11. Suppose 2*v - 6 = 4*v. Sort v, -4, n in decreasing order.
n, v, -4
Let m(b) = b**3 - 25*b**2 + 65*b + 4. Let l be m(22). Put l, -9, 0.4 in ascending order.
l, -9, 0.4
Let l(n) = -n**3 - 4*n**2 - 3*n + 2. Let o = 1 + -4. Let m be l(o). Suppose -5*f = -m*f. Put f, -4, -3 in decreasing order.
f, -3, -4
Suppose k + 4*j + 4 = 0, -4*k - 13 = -2*j + 3. Let w be 9/21*(k + 16/6). Let v = -9 + 3. Put v, 4, w in descending order.
4, w, v
Suppose 4 - 9 = -5*q. Let o(g) = 4 + 5*g - 2 + 3*g**3 + 7*g**2 - 2*g**3 - 3. Let p be o(-6). Sort p, -2, q in ascending order.
-2, q, p
Let v = -0.0659 - -4.0659. Let i = -3 + 2.99. Sort 2, i, v in descending order.
v, 2, i
Let s = 229.5 + -229. Sort 3, -5, s in decreasing order.
3, s, -5
Let w be (5/6)/(318/36 - 9). Let u be ((-30)/9)/(6/(-9)). Sort 4, u, w in ascending order.
w, 4, u
Let r = 184 - 322. Put r, -3, 1 in decreasing order.
1, -3, r
Let l = -44 - -45.9. Let j = l - 1.9. Sort j, -2, 1/3 in decreasing order.
1/3, j, -2
Let g be (-2)/(-30)*3 - 32/10. Let u be (-1)/(-5) - (-24)/5. Sort g, 2, u in descending order.
u, 2, g
Let v be (-6)/(-4)*36/27. Suppose -3*r = -v*r + 21. Let h = -106/5 - r. Sort -3/4, 6, h.
-3/4, h, 6
Let o = 17.72 + 2.28. Put 5, o, -3/8 in ascending order.
-3/8, 5, o
Let o(z) be the first derivative of -z**2/2 + 12*z + 6. Let v be o(13). Sort 1, 3, v in descending order.
3, 1, v
Suppose 2*f = -13 + 19. Sort 14, 0, -1, f in increasing order.
-1, 0, f, 14
Let u = 15 - 10. Let p = -42 - -46. Suppose -q = -p*q + 9. Sort u, 0, q.
0, q, u
Suppose v + 3*n = 0, -4*v + 6*v = -n. Sort 21, -1, v in descending order.
21, v, -1
Let b(f) = -f**2 + f + 28. Let l be b(5). Suppose 25 = 13*o - l*o. Sort -5, 1, -2, o.
-5, -2, 1, o
Let p = -2036 + 2041. Sort -2/83, 4, p in descending order.
p, 4, -2/83
Let x = -135 + 60. Let n = x + 76. Sort 3, n, 13.
n, 3, 13
Let l(x) = -4*x**2 - 37*x - 7. Let k be l(-9). Sort -5, 0, 3, k in ascending order.
-5, 0, k, 3
Let z be 8 + 25/(-5) + (-94)/30. Sort z, 1/8, -0.1, 0.
z, -0.1, 0, 1/8
Let t(d) = -d + 4. Suppose 3*y + 2*g = 3*g + 11, -4*y + 4*g + 20 = 0. Let b be t(y). Sort -5, b, 0.
-5, 0, b
Let g(q) = -q**2 - 3*q - 2. Let i be g(-3). Suppose -4*n + 25*h = 20*h - 12, -15 = -5*n - h. Sort n, i, -3.
-3, i, n
Suppose -5*b + 5 = -0*b. Let k be ((-8)/6)/(-1 - b). Let n = 8 + -12. Sort k, 0.5, n.
n, 0.5, k
Let g(i) = -i + 8. Let s be g(4). Let u be ((-24)/45)/s*(-3)/(-2). Sort u, -4, -0.5, -13.
-13, -4, -0.5, u
Let h = -1567 + 1563. Let r = 3 + -6. Sort h, r, 1, 0 in descending order.
1, 0, r, h
Let n = 200 + -199.9. Put n, -0.48, -1 in decreasing order.
n, -0.48, -1
Let y = -48 - -18. Let x = y + 30.5. Sort 2, 2/17, x in descending order.
2, x, 2/17
Let z = 15 + -19. Let s = 5 + -8. Let c(p) = p**2 + 2*p - 2. Let l be c(s). Put z, -3, l in ascending order.
z, -3, l
Let q = 9868 + -9874. Let u be (-1)/(-2)*(2 + -2). Sort -1, u, q in descending order.
u, -1, q
Suppose 22 = 3*k - 17. Let l = k + -11. Suppose 2*i + 0 - l = 0. Put i, 3, -4 in decreasing order.
3, i, -4
Suppose -3*d = -3*v - 0*v - 204, 0 = -3*v - 3. Let s = 602/9 - d. Put 4, 5/4, 2, s in decreasing order.
4, 2, 5/4, s
Let b = 1947 + -1948. Sort -3, b, -15, 4 in ascending order.
-15, -3, b, 4
Let d be (4/(-504)*-6)/(8/28). Let m be ((-3)/9)/(-5 - -6). Sort 0.2, d, m, -2 in descending order.
0.2, d, m, -2
Suppose 6*s + 672 = 27*s. Sort -5, s, 0 in decreasing order.
s, 0, -5
Suppose s - 5 = 0, 2*d - 3*d + 9 = 5*s. Let g = -11 - d. Suppose 0*q = -5*q. Sort g, 1, q in ascending order.
q, 1, g
Let o = -18673063/13563 + 106780/411. Let v = 1117 + o. Let m = -317/495 + v. Sort 1/9, m, 1.4 in descending order.
1.4, 1/9, m
Let o be 3 - ((-28)/(-7) + (-3)/1). Let j = -11 + 18. Suppose 0 = -j*z + 2*z + 3*p + 5, 4*z = -p - 13. Sort z, -5, o in descending order.
o, z, -5
Let y = 1721 - 1726. Put y, 4, 6 in ascending order.
y, 4, 6
Let k = -597 + 594. Put k, 5, 25 in descending order.
25, 5, k
Let c be (-9)/(-2)*(-4)/48. Let l = -10.4 - 39.6. Let g = l - -50. Sort c, -4, g in descending order.
g, c, -4
Let l(r) = -r**3 - 2*r**2 - 2. Let a be l(-2). Let h = 62 + -66. Sort a, h, 2 in descending order.
2, a, h
Let b be 6/4*(-8)/(-4). Let u be (-29)/(-9) + (-2)/9. Suppose 0*i = u*i - 15. Put -5, b, i in ascending order.
-5, b, i
Let f = 0.03 - 0.43. Let o = 66.02 + -71. Let c = o + -0.02. Sort c, f, -0.01 in increasing order.
c, f, -0.01
Let r(t) = -2*t**3 + t - 1. Let k be r(1). Let i = -232 + 65. Let n = i - -168. Put k, 0, n in descending order.
n, 0, k
Let k = 147 - 142. Sort k, -6, 3, 2.
-6, 2, 3, k
Let m = -1813 + 1814. Put m, 5, -3, 4 in ascending order.
-3, m, 4, 5
Let b(c) = -c**2 + 24*c - 8. Let f be b(20). Sort -1, f, 0 in decreasing order.
f, 0, -1
Suppose 3*w + 7 = -5. Let d be ((-4)/8)/(w/40). Sort 3, d, -5 in ascending order.
-5, 3, d
Suppose -2*y + 2*v - 8 = -26, -4*y + 46 = -2*v. Put y, -3, 4 in decreasing order.
y, 4, -3
Let q be (-3)/(-6) - 1842/(-24). Let s = q + -78. Sort 5, -2/3, s.
s, -2/3, 5
Let c = 0.3 + -0.259. Let q = c + -0.141. Put q, -4, -2, 2 in descending order.
2, q, -2, -4
Let l(g) = -g**3 - 6*g**2 + 14*g - 18. Let i be l(-8). Put -0.1, 18, i, -1 in descending order.
18, -0.1, -1, i
Let l(x) = -2*x**3 - 1 + 26*x**2 + x**3 + 2*x**3 - 3*x**2. Let m be l(-23). Let b be ((-3)/(-2))/((-6)/(-16)). Sort b, m, 3 in descending order.
b, 3, m
Let a = -554 - -555. Put -15, a, -5, 3 in ascending order.
-15, -5, a, 3
Let b = 14.61 + -9.61. Put 4, 109, b in descending order.
109, b, 4
Suppose 8 = 90*z - 94*z. Let v be (z/(-14))/(-1 + (-36)/(-28)). Suppose 6*n + c = 2*n + 5, 0 = 2*n + c - 1. Sort -0.5, v, n in ascending order.
-0.5, v, n
Let c(j) = -2*j**2 + 12*j + 12. Let v be c(7). Suppose 0*z + 25 = 5*z. Let a be (-4)/20 + (-24)/z. Sort v, a, 2 in descending order.
2, v, a
Let j be 1 - (0 + 2)/(12/18). Sort 3, j, -4, 4.
-4, j, 3, 4
Suppose -2*p - 2*j = -4, 2*j + 3 = -5*p + 1. Let n = 158 - 155. Sort n, -1, p, 5 in decreasing order.
5, n, -1, p
Let t be (-15*(-36)/1680)/(6/7). Put 3, t, 7, 0.2 in decreasing order.
7, 3, t, 0.2
Let a = 22 + -11. Let i = 8.3 - -2.8. Let k = a - i. Sort 2/7, k, 2.
k, 2/7, 2
Let n = 0.7 - -3.3. Let l = -7776 + 7775.5. Sort -0.2, 4/5, n, l.
l, -0.2, 4/5, n
Suppose 2*y + 48*j = 49*j - 12, 0 = -j. Let b be ((-4)/(-6))/((-4)/6). Sort y, b, 0 in increasing order.
y, b, 0
Let s = -18 - -62. Suppose -15*n - s = -4*n. Sort 1, 3, 5, n in descending order.
5, 3, 1, n
Suppose 47*o + 168 = -20. Put 5, -5, o in decreasing order.
5, o, -5
Let n = -100.9 - -80.9. Sort -1.4, -1/4, n in increasing order.
n, -1.4, -1/4
Let s = 171 - 172. Suppose 2*g + 3 = 5*a - 11, 3*g - 3*a + 12 = 0. Put -4, -5, g, s in increasing order.
-5, -4, g, s
Suppose 4*o + 4 = -5*q, 2*q = 4*o + 11 - 35. Let t(y) = -3*y - 16. Let s be t(-5). Sort s, o, 8 in decreasing order.
8, o, s
Let v = 3.824 - 0.024. Let f = -3.8 + v. Let b = 0 - 0.4. Sort -4, f, b in decreasing order.
f, b, -4
Let x = 1.1 + -1. Let q = -17595 + 17599. Sort x, q, -5 in ascending order.
-5, x, q
Let d = 229.9 + -230.3. Pu