-0. Sort i, 0, a in increasing order.
i, 0, a
Let m be 7/((-14)/8) + 132. Let d = m + -132. Sort -2, d, 0 in decreasing order.
0, -2, d
Suppose 0 = 37*f - 44*f + 14. Sort 42, 1, -5, f.
-5, 1, f, 42
Let v(d) = -d**3 + 9*d**2 - 6. Let q be v(9). Let o be ((-2)/q)/(2/12). Suppose -o*x = -7*x - 10. Put 1, x, -5 in decreasing order.
1, x, -5
Let a be 4/((-4)/6 - 8/(-3)). Suppose 5*y - 1 = -26. Put -1, a, y, -3 in ascending order.
y, -3, -1, a
Let t = -0.317 - -0.417. Sort t, -2/21, -3.
-3, -2/21, t
Let o = 68.4 + -68.933. Let m = o - -0.033. Put 2, -1/8, m in descending order.
2, -1/8, m
Suppose 470 = -61*g + 14*g. Sort -4, 5, 7, g.
g, -4, 5, 7
Let u = -2150 - -4173/2. Let w = u - -63. Put 0.4, w, -3, 10 in ascending order.
-3, w, 0.4, 10
Let a(h) = -h**2 + 2*h + 1. Suppose -2*q - 9*q = -33. Let k be a(q). Let p = 14.91 + -15. Put k, p, 1 in ascending order.
k, p, 1
Let i = -8 + 5. Let h be 8/i*(-84)/8. Let w = -23 + h. Put 1, 0, w in descending order.
w, 1, 0
Let u be 5/24 - 2/6. Let j = 43.5 + 0.5. Let v = j + -45. Put v, u, -2/9 in descending order.
u, -2/9, v
Suppose 116*i - 124*i = -32. Let r = 3 + -3. Sort 2, i, r in descending order.
i, 2, r
Suppose -5*f - 16 = -2*o, 3*f = -8*o + 3*o - 22. Suppose -5*m = -k + 59, -75 = -k + 3*m - 2*m. Suppose 5*b - 54 = -k. Sort 0.1, f, b.
b, f, 0.1
Let x = 51/14 - 7/2. Let q = 0.3 + -1. Put 2/3, 4, x, q in descending order.
4, 2/3, x, q
Let z = -42.7 + 39.7. Put 323, -5, z, -4 in descending order.
323, z, -4, -5
Let l = 14 - 4. Let j = l - 3. Let z = 10 - j. Sort -0.5, 1, z in increasing order.
-0.5, 1, z
Suppose -2*w - 470 + 480 = 0. Sort -9, w, 2.
-9, 2, w
Let j be (-184)/(-252) + 4/(-14). Sort -17, -5, j, -1/4 in ascending order.
-17, -5, -1/4, j
Suppose 2*x - x = -9*x. Sort -0.2, -2, 33, x in descending order.
33, x, -0.2, -2
Let q(f) = -f**3 - 5*f**2 - 2*f - 5. Let m be q(-5). Let c(n) = -2*n + 12. Let b = -15 + 20. Let l be c(b). Sort l, -1, m in descending order.
m, l, -1
Let w = -10.3 - -13. Let m = w - 3.2. Let n = -44 - -311/7. Sort n, -2/13, m in descending order.
n, -2/13, m
Let q = -20 - -48. Let u = 28.3 - q. Sort u, 5, -1 in descending order.
5, u, -1
Suppose 17 = -4*f - a, -a + 0*a + 1 = -2*f. Sort f, 0, 0.03, 3 in descending order.
3, 0.03, 0, f
Suppose -4*h + 0 = b + 13, 3*b + 13 = h. Let y be -11*-1*(-1)/(-1). Sort -4, b, y, -3 in descending order.
y, -3, -4, b
Let p be (2/8)/1 - 20/80. Suppose r + p*r = -r. Sort r, 3, 7 in descending order.
7, 3, r
Suppose 0*k - 10 = -2*k. Let n be (-1020)/(-70) + (-8)/14. Let v be 85/(-119) - (1 - 10/n). Sort k, -3, v.
-3, v, k
Let o = 0.6994 - 0.7794. Let i be (1/(-4))/((-3)/2). Sort o, i, 0.1, 5 in increasing order.
o, 0.1, i, 5
Let x(f) = -3*f + 11. Let t(p) = 7*p - 22. Let d(i) = 3*t(i) + 5*x(i). Let h be d(5). Suppose -3 = 4*j - h. Put j, -0.2, 2 in ascending order.
-0.2, 2, j
Let p = 21 + 15. Suppose -5*m + p = 11. Let q = -32 - -31. Sort q, m, 2.
q, 2, m
Let m = -2197649/647240 + -17/7355. Let j = 3/11 + m. Let t = 13/4 + j. Put 2/15, 1, t in descending order.
1, 2/15, t
Let j be ((-4)/8*2/(-16))/(17/68). Let x = -0.07 - 2.93. Sort j, -0.2, x, -3/5 in ascending order.
x, -3/5, -0.2, j
Let r = -18 + 13. Let b = 0.95 - 1.05. Sort b, r, -3, -0.5 in increasing order.
r, -3, -0.5, b
Let x be (-1)/(90/1802) + (-8)/(-10). Let d = x - -19. Let a = -0.04 - -0.11. Sort d, -1, a in increasing order.
-1, d, a
Suppose 2*s = -3*s + 5. Let f = 19 - 22. Let z be f*12/(-126)*-7. Put -1, s, z in decreasing order.
s, -1, z
Let w = -382 + 382. Sort w, -0.054, 7 in ascending order.
-0.054, w, 7
Suppose 29 = 3*q - 4*v, -8 = -q + v - 0*v. Suppose 0 = 5*h - q*n - 6, 4*h - 11 = 5*n - 1. Sort h, 1.1, 5 in ascending order.
h, 1.1, 5
Let h = -245 + 1709/7. Sort -1, 0.2, h, 2/5 in descending order.
2/5, 0.2, h, -1
Suppose 25 = -l + 6*l. Suppose 4*c + 5*v + 78 = 0, -3*v - 8 = v. Let u = c + 12. Put -3, u, l in decreasing order.
l, -3, u
Suppose 0 = -4*n + 8*n + 680. Let i be (-2)/(-5)*n/119. Put 1, i, 0, 2 in ascending order.
i, 0, 1, 2
Suppose -1 = i - 5. Let r = i + -3. Sort r, -3, 4 in decreasing order.
4, r, -3
Let y = -0.8 + -0.2. Let c = -1 - y. Suppose 0 = -47*h - 21 - 167. Sort c, h, 1/3 in decreasing order.
1/3, c, h
Let w(g) = -2*g + 11. Let u be 1 + 5 - (-9 - -9). Let x be w(u). Sort 2, x, 0 in decreasing order.
2, 0, x
Let k = -761 - -761. Sort 1, -1/45, -3/5, k in decreasing order.
1, k, -1/45, -3/5
Suppose 3*i - 6*n - 9 = -3*n, i - 2*n = 3. Sort i, 1, -1.
-1, 1, i
Let q(u) = 4*u**3 + 2*u**2 - 1. Let t be q(-1). Let d = t + 6. Put 4, d, -2 in increasing order.
-2, d, 4
Let n = 62 - 60. Let b(i) = -i**3 + i. Let c(p) = -p**2 + p + 1. Let m(h) = -b(h) + c(h). Let f be m(1). Sort f, 5, n.
f, n, 5
Let g(s) = -s**3 - 14*s**2 - 2*s - 31. Let z be g(-14). Sort -5, z, 13, -2.
-5, z, -2, 13
Let f = 461 - 460. Sort 2, f, 4, 3 in descending order.
4, 3, 2, f
Let d = -0.3 - 0.2. Suppose 4*o = 6*o - 5*g - 96, 4*g + 54 = o. Let r = 45 - o. Sort -0.3, r, d in ascending order.
d, -0.3, r
Let j = 163/855 + 3/95. Let g = -11 - -12.3. Let l = -0.3 + g. Sort j, l, 0.
0, j, l
Let j = 25 + -43. Let z = j - -39. Let p = z - 20.7. Sort -4, 5, p in descending order.
5, p, -4
Suppose 0 = 4*f - 4*m + 36, -3*f + 1 - 3 = 2*m. Suppose -7 = 7*q - 0. Let r be 30/(-12)*(q + -1). Sort f, r, -1.
f, -1, r
Suppose 3*s = 2*g + 62 - 7, -60 = -4*s - 4*g. Let j = -12 + s. Let l = -10 - -13. Put -2, j, l in ascending order.
-2, l, j
Let y be (-4)/55 - 3/15. Let r = 2.057 + 0.163. Let n = r + -0.22. Sort y, n, 4.
y, n, 4
Suppose 4*l + 10 = 3*u, 8*l - 5*u = 7*l + 6. Sort l, -40, 3, 2 in decreasing order.
3, 2, l, -40
Let g = -484 + 488. Let q be ((-1)/(-7))/((-2)/(-6)). Sort q, -5, g, -0.2 in decreasing order.
g, q, -0.2, -5
Suppose -w + 27 = 2. Let t = 19 - w. Sort t, -2/7, 3/2, -3 in ascending order.
t, -3, -2/7, 3/2
Suppose 2 - 18 = -4*t, 31 = -3*a + t. Let g = -21 + a. Let n = -35 - g. Sort n, 1, 2 in increasing order.
n, 1, 2
Let d = 3 + -6. Suppose -26*j + 31*j = -4*o - 14, 36 = -4*j + 3*o. Sort 1, j, d, 3.
j, d, 1, 3
Let n(d) be the second derivative of -d**3 + 0 + 14*d + d**2 - 1/12*d**4. Let b be n(-7). Sort 2, b, -1.
b, -1, 2
Suppose 39 = 11*k - 159. Let o(f) = 2*f - 36. Let q be o(k). Let b(p) = p**3 + 5*p**2 - p - 7. Let i be b(-5). Put q, i, 2 in increasing order.
i, q, 2
Suppose 2*c = 17*q - 18*q - 1, 4*c - q + 11 = 0. Let l = -1 - -1.2. Sort l, c, 2/9 in ascending order.
c, l, 2/9
Let g be (19 - 19) + -1*(3 - 1). Sort g, -5, 3.
-5, g, 3
Let f be 6/(-2) - 2/1. Suppose -9*a + 6 - 42 = 0. Sort a, f, 4, -3 in descending order.
4, -3, a, f
Let b be 1023/(-31)*1/(-3). Sort b, -4, 4, -5.
-5, -4, 4, b
Let t = 0.3 + -0.2. Let f = -0.5 + t. Sort -1/4, -5/2, f in increasing order.
-5/2, f, -1/4
Suppose -21 = -g + 4*g. Suppose 75 = -204*k - 945. Put g, k, -3 in increasing order.
g, k, -3
Let u be 7 + (1 - 0) + 54/90*-5. Let a be 237/(-5) + (-4)/(-10). Sort u, -1, a in ascending order.
a, -1, u
Let m(u) = u - 6. Let v be m(14). Suppose -5*w + 28 = v. Sort 2, -3, w in descending order.
w, 2, -3
Let p be (2/4)/((-194)/(-64) + -3). Suppose p*g - 19 = -3. Sort 2, -5, 5, g in decreasing order.
5, 2, g, -5
Suppose -38*y - 2*y - 200 = 0. Sort 66, 3, y, -2 in ascending order.
y, -2, 3, 66
Suppose 3*v + 2*v = 0. Suppose -2*k + k + 2*y = 3, v = 4*k - y + 19. Put k, -2, -1 in decreasing order.
-1, -2, k
Suppose 17*n = 18*n + 22. Let q be 26/n - (-2 + 1 + 0). Put -1, q, -0.1, -4 in increasing order.
-4, -1, q, -0.1
Suppose 0 = -5*g + 25, -5*g - 119 + 0 = 4*q. Sort -1/5, -5, q.
q, -5, -1/5
Let c be (-4 - 0)/((1 - -5) + -8). Put c, -12, 1, -8 in increasing order.
-12, -8, 1, c
Let g = 26.8 + -27. Sort -1/3, 2/5, g, 12 in decreasing order.
12, 2/5, g, -1/3
Let l = -0.1845 - 0.1155. Sort 0.4, l, 173, -4.
-4, l, 0.4, 173
Let c(t) = t. Let b(d) = -d - 10. Let h(x) = -b(x) - 2*c(x). Let u be h(8). Sort 1, 4, -4, u in decreasing order.
4, u, 1, -4
Let m = 1 - 3. Let f = m + -3. Let y = -0.0327 - 0.1673. Put -3, y, f in descending order.
y, -3, f
Let l = -0.484 + -0.016. Sort 7, -0.7, l, -0.1 in descending order.
7, -0.1, l, -0.7
Let i = -13 - -13.2. Let x be 5/30 - 19/6. Sort i, x, -9.
-9, x, i
Suppose -2854 - 916 = 29*u. Put 5, u, -2 in decreasing order.
5, -2, u
Suppose 24 + 104 = -16*z. Sort z, 0, 5 in increasing or