 0. Sort -2, w, 4 in decreasing order.
w, 4, -2
Let b = 36 + -19. Let u = b - 9. Suppose -2*x + u = c, -3*x - c + 14 = x. Sort x, -3, -4 in decreasing order.
x, -3, -4
Let k = -47 + 42. Suppose 0*f = -3*f + 12. Let t = -1 + f. Sort k, t, -1 in increasing order.
k, -1, t
Let b(s) = s - 1. Let p be b(5). Let z = -5.3 + 4.9. Let n = 73/3 + -24. Sort n, z, p.
z, n, p
Let j be -2*(3 + -2) - 1*-6. Sort -1, j, -4, -5 in descending order.
j, -1, -4, -5
Let n = -0.6 - -0.1. Let m = 509 + -11705/23. Let x = 2.5 + -0.5. Sort x, n, m in ascending order.
n, m, x
Let b = 0.07 + 0.23. Let u = -7716/17 + 454. Sort u, 2, b.
u, b, 2
Let r(v) be the first derivative of v**3/3 + 2*v**2 + v + 2. Let g be r(-5). Suppose 5*q - x + 15 + g = 0, 5*q + 3*x = -37. Put -1, 0, q in ascending order.
q, -1, 0
Suppose -4*l = n + 2 + 15, l = 4*n - 17. Sort l, 4, -2/5.
l, -2/5, 4
Suppose 0 = -r + 4*r - 6. Let h be (r + -4)*(-9)/2. Let c be (2 - (h + -3))/1. Put c, -2, -3 in decreasing order.
-2, -3, c
Suppose -3*x + q + 11 = 0, 2*x + 3*x - 3*q - 17 = 0. Sort x, -1, -3 in descending order.
x, -1, -3
Let q = -5 + 2. Let j = -3.664 - 0.336. Let l = 0.1 + 0.4. Sort j, l, q in descending order.
l, q, j
Let f = -80.02 - -82. Let b = -0.32 - -0.3. Let a = b - f. Put -4, a, -0.2 in increasing order.
-4, a, -0.2
Let k be (0 - (-8)/10)/(2/10). Put 1, -4, k, -1 in decreasing order.
k, 1, -1, -4
Suppose -4*u - 6 = 26. Let o be (-8)/10*(-2)/u. Put 0, 0.5, o in decreasing order.
0.5, 0, o
Let h be (-6)/14 + (-4)/(-14). Let r(q) = q**2 - 3*q - 2. Let p be r(4). Put h, p, -5 in decreasing order.
p, h, -5
Let o be (-18)/(-5) + (-4)/(-10). Suppose -5*r - q = -8, -o*r + 10 = -r - 2*q. Suppose -5*c - 7*k + 5 = -2*k, r*k = -c + 6. Sort -3, c, 1/2 in increasing order.
c, -3, 1/2
Let n = 2 - 4. Suppose u - 12 = -2*u. Suppose u*o = -0*o - 12. Sort o, 1, n.
o, n, 1
Let u(x) = x**3 - x**2 + 5. Suppose 4*o + o + 12 = 3*a, 0 = a - 4*o - 11. Let h be 0/a*2/4. Let r be u(h). Sort -1, r, 0.
-1, 0, r
Let c = -14 + 24. Let b = 5 - c. Sort 4, 5, b in ascending order.
b, 4, 5
Let y = 54 - 36. Let q = -15 + y. Put -4/5, q, 0.1 in ascending order.
-4/5, 0.1, q
Let p(v) = v**2 - 9*v + 7. Let o be p(8). Sort 0, -2, 3, o in decreasing order.
3, 0, o, -2
Suppose 15 = 2*z + z. Let b = 31/11 + -3711/1309. Let y = b - 115/238. Sort -4/7, z, y in increasing order.
-4/7, y, z
Suppose -2*d + d + 1 = 0. Let a(f) = -d - 2 + f - 3 + 1. Let m be a(7). Sort 5, m, -5 in descending order.
5, m, -5
Suppose -13 + 6 = -c. Suppose 0 = c*y + 1 + 27. Let d = 73/4 - 19. Sort -0.5, d, y.
y, d, -0.5
Let z(h) = 3*h - 31. Let t be z(10). Put -5, -3, 9, t in descending order.
9, t, -3, -5
Suppose 8*n - 6*n + 10 = 0. Put n, 4, -1 in ascending order.
n, -1, 4
Let q(s) = s**2 + 8*s + 14. Let y be q(-5). Sort y, 3, 9 in ascending order.
y, 3, 9
Let j be (-2)/(-24)*3*4. Suppose 0 = 3*i - 0*i - 3*c - 3, -4*i = -3*c - j. Sort -1, i, 5 in decreasing order.
5, -1, i
Let i be (-14)/(-6) - (-3)/(-9). Suppose 0 = -4*z - i*q + 31 - 7, 2*z + 3*q = 16. Let r(m) = m + 5. Let j be r(-8). Sort -5, z, j in descending order.
z, j, -5
Let x be (6/8)/((-1)/(-4)). Put x, 5, -4, 1 in increasing order.
-4, 1, x, 5
Let s(y) = y**3 + 7*y**2 + 4. Let k be s(-7). Let t = 1 - -1. Sort k, t, -3.
-3, t, k
Let j = 1.1 - 1.6. Put 0.1, 3.1, j, -2 in ascending order.
-2, j, 0.1, 3.1
Suppose 3*o = -5*i - 1020, -3*i = -2*i + 3. Let f = -162 - o. Let a = 1213/7 - f. Put a, 0, 4 in ascending order.
0, a, 4
Let n = -46 - -600/13. Let o = -0.4 - -1. Let b = o - 0.7. Put -2/13, n, b in ascending order.
-2/13, b, n
Let a = -3 - 0. Let d = 11.91 + -12. Let s = 0.21 - d. Put 0.1, s, a in ascending order.
a, 0.1, s
Let u = 7 - 10. Put 5, 0, u, -4 in descending order.
5, 0, u, -4
Suppose 4*i = 0, 2*s + 2*s - 24 = -5*i. Sort -1, s, -2 in descending order.
s, -1, -2
Let w(b) = -4*b - 17. Let x be w(-4). Sort x, -5, 3, -4 in descending order.
3, x, -4, -5
Suppose 0*v - 5*v - 10 = 0, 2*r + 6 = -3*v. Suppose r = 4*d - 2 + 22. Sort 0.2, d, -1/4.
d, -1/4, 0.2
Suppose 5*m - 3*i + 0 = 5, i - 1 = m. Let x be 9315/39 - 2 - 2. Let g = -235 + x. Sort -3, g, m in increasing order.
-3, g, m
Let w = 117 + -122. Sort -8/5, -6/7, 0.5, w in decreasing order.
0.5, -6/7, -8/5, w
Suppose 0 = -3*k + 9 - 3. Suppose 4*w - 13 = g - 0*g, k*g - 22 = -4*w. Sort 1, g, -1 in descending order.
g, 1, -1
Suppose -w = -5*w + 60. Suppose -w = 8*z - 3*z. Let l be (-2)/2 - (-1 + 2). Sort 2, z, l.
z, l, 2
Suppose 5 = 26*m - 25*m. Suppose -4*r - 5 = -1. Sort m, -13, r.
-13, r, m
Let q be 2/(-11) - (-175)/55. Let b = q + -2. Let a be (-2 + 2)/(0 - b). Put 2, a, -4 in increasing order.
-4, a, 2
Let o = -4 + 0. Put o, -5, -1 in increasing order.
-5, o, -1
Let c(t) = 2*t + 9. Let k be c(-6). Let s(v) = v. Let l be s(2). Suppose 0 = 5*h + 5*y + 8 - 3, 2*h - l = 2*y. Put k, 1, h in increasing order.
k, h, 1
Suppose -8*i - 1 = -9*i. Let r be (-1)/2*(0 - 0). Put r, i, -5 in ascending order.
-5, r, i
Let a = 7 - 3. Sort a, -4, 3 in decreasing order.
a, 3, -4
Let c = 1 + -1.1. Let i = 0 - c. Let p = -4.5 - -4.1. Sort i, p, 1/6 in decreasing order.
1/6, i, p
Let h(j) = j**3 - 2*j**2. Let k(q) = -q + 5. Let g be k(3). Let t be h(g). Put 3, -3, t in descending order.
3, t, -3
Suppose 25 = -2*y + 7*y. Suppose y*x + 10 + 5 = 0. Let h = x - -5. Put 0, -3, h in ascending order.
-3, 0, h
Let y = -35 - -36. Sort -3, -14, y.
-14, -3, y
Let z = 0.12 - 1.22. Let r = z + 1. Sort r, 1, 1/7 in descending order.
1, 1/7, r
Let t(j) = -j + 19. Let d be t(15). Suppose -2*f + 4*h = -10, f - h - d = -2. Suppose 2*z + 3*b - 9 = 0, -z + 3*b - 2 = 16. Put 2, z, f in ascending order.
z, f, 2
Let v = -35 - -33. Sort 4, 2, v, -1.
v, -1, 2, 4
Let x = 8 + -6. Put 3, 5, x in descending order.
5, 3, x
Let h be (1 + -1)*-3*(-7)/42. Sort -5, h, 1, 4 in descending order.
4, 1, h, -5
Let c = -0.71 - -1.21. Put -2, c, 1, -4 in decreasing order.
1, c, -2, -4
Let x = -40 + 39. Sort 4, 0.3, x in decreasing order.
4, 0.3, x
Let y = -0.4 - -0.4. Let m = y - -2. Let h = m + -1.6. Put 5, -5, h in ascending order.
-5, h, 5
Let z = 12 - 11.69. Let v = z + -0.01. Sort 0.2, v, -5 in ascending order.
-5, 0.2, v
Let b = 16 + -10. Suppose 0*q = 3*q - b. Sort q, 5, -3 in decreasing order.
5, q, -3
Let n = -0.04 - 1.96. Let o = -0.01 + 1.01. Let h = o - n. Sort 1/3, -2/23, h in decreasing order.
h, 1/3, -2/23
Suppose 0*k = -4*f - 2*k + 16, 2 = 2*f + 4*k. Sort f, -1, -2 in ascending order.
-2, -1, f
Suppose -5*a + 4 = 4*r - 11, 0 = -2*r. Let i(y) = 8 + 9*y - 2*y**2 + a*y**2 + 3. Let x be i(-8). Put -1, -3, x in decreasing order.
x, -1, -3
Let d = 0.001 + 2.999. Let r be 2*1 - (0 + 2). Let b = -2.9 - -3. Sort r, d, b in increasing order.
r, b, d
Suppose 4*s - 8 = -24. Let n = 14 - 13. Sort -5, s, n.
-5, s, n
Let c = -12.8 + 13. Put -4, -10, c in increasing order.
-10, -4, c
Suppose -4*v - 3*h = 10, 11 = -4*v + h - 7. Put 3, v, 1 in decreasing order.
3, 1, v
Let y be (-14)/((10/(-8))/5). Let n(o) = 58*o + 6. Let f be n(5). Let q be 2/(-7) + f/y. Put -4, q, -3 in decreasing order.
q, -3, -4
Let g = -28 + 3. Let c be (-36)/10 + 10/g. Suppose -5*q - s = 6, 6 = -q + 2*q + 2*s. Sort -5, q, c.
-5, c, q
Suppose 22 = 4*p + 26. Sort 5, p, 4 in decreasing order.
5, 4, p
Let v(q) = 2*q - 10. Let a be v(10). Let b = a + -6. Let f be 1 + 1 + -1 + 0. Sort b, -5, f in decreasing order.
b, f, -5
Suppose 5 = 2*u - u. Suppose 0 = 5*n - 9*n + 11*n. Put -3, n, u in increasing order.
-3, n, u
Suppose 3*b - 13 = -m, 0 = 5*b - 4*b - 4*m. Suppose -12 = -b*h + h. Sort -8, h, -3 in ascending order.
-8, -3, h
Let d(a) = -4*a**2 + 3*a - 1. Let y be d(1). Suppose 3 = 2*t - 5*t. Sort t, y, 0 in ascending order.
y, t, 0
Let t = 9 - 10. Sort -5, 1, t in descending order.
1, t, -5
Let q be 9/7 + (-4)/14. Suppose 0 = -6*j + 3*j. Suppose 2*t - 6*f + f + 21 = 0, j = -3*t - 4*f + 26. Put 5, t, q in descending order.
5, t, q
Let w be (-3)/(-18) - (-2)/(-3). Let r = -0.1 - 0. Let k = r - 0.1. Sort w, k, -1/8 in ascending order.
w, k, -1/8
Suppose 1 = -c + 3*n + 7, -c - 18 = 5*n. Let d = 0 - 4. Sort 3, d, c in descending order.
3, c, d
Let p(i) = -i**3 + 5*i**2 - 3*i - 1. Let a be p(4). Let t(m) = m**2 - 4*m - 1. Let r be t(a). Put r, 3/2, 1 in decreasing order.
3/2, 1, r
Let q = -6 + 6. Suppose 4*x + 5 = -x. Put 3, q, x in as