2, 0 in descending order.
5/2, q, 0
Let u = -3 - -1. Let o = -42 - -46. Put o, u, 2 in ascending order.
u, 2, o
Suppose -14 = 2*g - c, 5*g + 2*c = -2*c - 9. Let v(k) = k**3 + 10*k**2 + k + 14. Let y be v(-10). Put 5, g, y in descending order.
5, y, g
Let m be (9 + -8)*(-2)/(-4). Sort -5, m, 0.
-5, 0, m
Let q(k) = k**2 + 4*k - 6. Let d be q(-5). Let r = -0.4 - 2.6. Sort d, r, 1.
r, d, 1
Let y = -14 - -19. Sort 0.4, -4, y in increasing order.
-4, 0.4, y
Let r be (40/(-30))/((-4)/(-6)). Let b = 4 - 1. Suppose b*t - t - 4 = 0. Sort 5, r, t in increasing order.
r, t, 5
Let n = 0.25 - -0.75. Put n, -0.4, -0.03 in descending order.
n, -0.03, -0.4
Let w = -1.7 - -2. Let j = 0.036 + -0.096. Sort -1, w, j in descending order.
w, j, -1
Suppose 2 - 10 = 2*o. Let g be 1/5*(o - -2). Let p = -0.2 - -0.2. Sort p, g, -2 in decreasing order.
p, g, -2
Suppose -4*s - 4*q + 0 + 32 = 0, s - 8 = q. Let k be -6*1/s*4. Let b(u) = u**2 - 6*u + 4. Let m be b(4). Sort m, -1, k in decreasing order.
-1, k, m
Suppose -5*m = -27*m + 22. Put 35, m, 0 in decreasing order.
35, m, 0
Suppose h = -0*h + 3. Suppose -21 = -4*u - x, -2*x - 8 = h*u - 6*x. Sort u, -6, -4 in decreasing order.
u, -4, -6
Suppose f + f + 5*c = -12, 5*f - 16 = -c. Suppose -2*b - 4 = -f*b. Suppose -8 = -3*j - b. Sort 0, j, -3 in descending order.
j, 0, -3
Suppose 0 = d + 3*d. Suppose 2*c = c + 45. Let b be ((-12)/c)/((-2)/(-6)). Sort -1/4, b, d in descending order.
d, -1/4, b
Let c = -21 - -24. Suppose 0 = w - 1 - 1. Let j be (w/4)/(1/2). Sort c, j, 4 in increasing order.
j, c, 4
Suppose 3*u - 5*u - 2 = 0. Suppose 0 = 6*n + 5 - 11. Sort -3, u, n in decreasing order.
n, u, -3
Let m be 1 + -2 - (-1 + 1). Let j = -42 - -60. Let k be (-81)/j*2/3. Sort m, k, 0 in ascending order.
k, m, 0
Suppose 5 = -d + 6. Suppose g = 2*g + d. Let p = -1 - 4. Put g, p, 2 in increasing order.
p, g, 2
Let s be 42/(-8) - 2/(-8). Let n be 0/(1 + 1 + -3). Suppose n = p + 3*z + 13 + 1, -3*z - 20 = -5*p. Put p, 2, s in descending order.
2, p, s
Let t = 5 + -3. Let w = 6 - 3. Suppose 2*h - w = 3*h. Sort 3, t, h in increasing order.
h, t, 3
Let j = 20.4 + -20. Sort 1/6, j, 0 in decreasing order.
j, 1/6, 0
Let g = 9 - 7. Let t(l) = -l**2 + 3*l - 3. Let w be t(3). Suppose -2*r + 3*d + 5 = 0, -d - 4*d + 1 = -r. Sort r, g, w.
w, g, r
Suppose -4 = -4*j + 4. Sort j, 5, 4 in increasing order.
j, 4, 5
Let o be (-1 - 2 - -2)*-5. Let u be 1 - 1*(2 - 1). Suppose 5*k + 13 + 9 = s, -s - k - 8 = u. Sort o, 1, s in decreasing order.
o, 1, s
Let d = -1.55 + 1.2. Let w = 0.05 - d. Sort w, -5, -0.5 in descending order.
w, -0.5, -5
Let s(o) = -o**3 + 8*o**2 + 3*o - 5. Let q be s(8). Suppose -4*h + 11 = 5*x - 0*h, -4*h = -5*x + q. Suppose -x - 5 = 2*d. Put d, -1, -5 in decreasing order.
-1, d, -5
Suppose 2*y - 6 = -2. Suppose 4 = 2*w + 4*g, -1 = y*w + g + 4. Let c be ((-15)/9)/(-5)*-3. Put -5, c, w in decreasing order.
c, w, -5
Let z = -18.4 - -18. Put -6, -1, z in increasing order.
-6, -1, z
Let i be (50/(-2))/(-2 + 1). Suppose 0 = t + 3*t + 3*k + 24, i = -3*t - 4*k. Sort 2, t, -4.
-4, t, 2
Let r(f) = -4*f + 55. Let d be r(14). Suppose z = -1, -2 = -l - z - 0. Let t(b) = 2*b - 4. Let v be t(3). Sort l, d, v.
d, v, l
Let p = -4.09 - -34.19. Let z = p + -29. Let c = z - 0.9. Sort c, -5/2, -1 in increasing order.
-5/2, -1, c
Suppose -3*y + 25 = 4*n, 0*y - y = -3. Let m = 0.11 - -0.19. Sort m, -4, n in increasing order.
-4, m, n
Let y = 551 + -553. Let v = -0.5 + 0.8. Sort v, 2/7, y in descending order.
v, 2/7, y
Let u = 8 - 0. Suppose 3 = p - 2*t - 3, p + 5*t + u = 0. Suppose 4*f - 14 = 3*i, -p*f + 0*f - 4*i - 4 = 0. Sort 3, f, -1 in descending order.
3, f, -1
Let w = 4.4 + -4.3. Sort 0.3, 1, 4, w in increasing order.
w, 0.3, 1, 4
Suppose 4*d - 7 - 9 = 0. Suppose 5*c = -3*x - 8, 5*x - 4*c - 3 = 4*x. Put x, d, 1 in increasing order.
x, 1, d
Let w = 101/14 + -15/2. Let z = -0.066 - 0.334. Sort z, 0.2, w.
z, w, 0.2
Let x(r) = r**3 - 6*r**2 - 8*r + 2. Let g be x(7). Put 3, g, 0 in ascending order.
g, 0, 3
Suppose -3*t - 35 = 4*t. Let f(b) = -b**2 - b + 1. Let g be f(0). Put t, 5, g in increasing order.
t, g, 5
Let d be ((-2)/25)/(57/(-15) + 4). Put -4, d, -5 in descending order.
d, -4, -5
Suppose -4*k + 3*y = 7, -k - 2*y = 3*y - 4. Put -3/4, 1, 2/7, k in descending order.
1, 2/7, -3/4, k
Let a(n) = 0*n**2 - 5 + n**2 + n**3 - 5*n**2 + 0*n**2. Let k be a(4). Sort -3/2, -3, k in decreasing order.
-3/2, -3, k
Let h = 13 - 4. Let p be (-34)/(-6) + (-6)/h. Put 0, 3, p in ascending order.
0, 3, p
Let x(a) = -a**3 - 3*a**2 - 3*a - 2. Suppose -t - 10 = -8. Let w be x(t). Sort -2, 3, w in descending order.
3, w, -2
Let p be 16/28 - (-16)/(-28). Sort 7, -2, p.
-2, p, 7
Suppose 0 = -2*p - h, 3*h + 2*h = 3*p. Let o = p + -5. Sort 3, o, 0.
o, 0, 3
Let n = 13 + -12. Sort n, -3, 3 in decreasing order.
3, n, -3
Let i be 1 + (-1 - 0) - -1. Suppose -f = 9*j - 4*j + 7, 3*j = -f - 5. Put 3, i, f in ascending order.
f, i, 3
Let c(v) = -v**2 - 9*v + 26. Let w be c(-11). Sort -1, 6, w, 3 in decreasing order.
6, w, 3, -1
Let a = 0.89 + 0.11. Let d = -3 - -3.7. Let h = d - a. Sort -1, -3, h in descending order.
h, -1, -3
Suppose -m - m = 4. Let f be (m/6)/(4/(-48)). Let n = 0 - 0. Put n, 5, f in ascending order.
n, f, 5
Suppose 4*h + 16 = 0, 5 = 3*w - 5*h - 15. Let u = -7 + 6. Let f be (-1 - -10)*u/(-3). Sort w, f, -2 in decreasing order.
f, w, -2
Let j = 0.3 + -4.3. Sort 0.2, j, 5 in descending order.
5, 0.2, j
Suppose 5*x - 3*g = 0, 5*g - 30 + 5 = 0. Suppose 5*n = w + 3 + 8, -12 = -4*n + 4*w. Put n, x, 4 in ascending order.
n, x, 4
Let j = 1.6 - 4.6. Put 5, j, -2/35 in ascending order.
j, -2/35, 5
Let m = -0.29 + -3.71. Sort m, 3/8, -1/4, 55 in descending order.
55, 3/8, -1/4, m
Let v(c) = 3*c - 1. Let d be v(1). Let r = 12 + -9. Let u be r*(-8)/10 - -2. Sort 2/13, u, d.
u, 2/13, d
Let i = -69 - -69. Put i, -1, -14, -4 in decreasing order.
i, -1, -4, -14
Let o = 12.7 + -7.7. Sort 38, o, -0.4, 0.4 in decreasing order.
38, o, 0.4, -0.4
Suppose -p + 50 = 47. Sort -3, -5, 0, p.
-5, -3, 0, p
Let g = 0 + 8. Suppose g = -c - c. Sort 3, c, -2 in descending order.
3, -2, c
Let g(o) = -14*o - 1. Let l be g(-1). Suppose -u = -5*i - 10, 2*u - 3*i + 0*i - l = 0. Let x be (-6)/(-9) + (-1)/(-3). Put u, x, 4 in decreasing order.
u, 4, x
Let g be (-10)/3*(-90)/(-60). Sort 1, 6, g, 0 in decreasing order.
6, 1, 0, g
Suppose 0 = -m - 2*m. Suppose 5*b + 4*z = 14 - 6, 4*b = z + 19. Let j be (b - -2)/(m - 11). Sort -0.5, j, -2 in decreasing order.
-0.5, j, -2
Suppose 4*y - 9*y = 6*y. Put y, -5, -4 in ascending order.
-5, -4, y
Let k = 9 + -6. Let r = 2.9 - k. Sort r, -3, -2.
-3, -2, r
Suppose 4*g - 5 = 23. Let z = -6 + g. Sort 2, z, -3 in descending order.
2, z, -3
Suppose 20 = -4*f, 3*f = h + 3*h - 15. Suppose 0*c + 4*c - 20 = h. Suppose 5*t + 2 = 7. Sort t, c, -3 in ascending order.
-3, t, c
Suppose -2*k + 9 = 3*l, k - 1 = l + 1. Sort -1, l, -4 in decreasing order.
l, -1, -4
Let b be ((-4)/2)/(9 + -7). Let s(u) = -u**2 - 3*u - 2 + 3 + 0*u**2. Let o be s(-4). Put o, 3, b in increasing order.
o, b, 3
Let j be 1/2 + 267/(-518). Let l = -610/5957 - j. Let k = 2.11 + -0.11. Sort k, 3, l in descending order.
3, k, l
Let b(f) = f**3 - 11*f**2 - 11*f - 16. Let h be b(12). Let o be (3/(-3) + 2)*h. Let q(u) = -2*u**3 - u**2 + 1. Let v be q(1). Sort 5, o, v in descending order.
5, v, o
Let u be 6*(3/9 - 1). Let h(k) = -2*k - 7. Let z be h(-5). Sort z, 1, u.
u, 1, z
Suppose -31*z + 15 = -28*z. Let n(b) = b**2 + b - 1. Let m be n(0). Sort -3, z, m in decreasing order.
z, m, -3
Let q be -1*(-3 - (-3 - 1)). Put 1/2, -4/3, q in descending order.
1/2, q, -4/3
Let r = -0.42 - -0.42. Let i = 0.2 - 0.4. Let g = i - r. Sort 0, g, -2/3 in decreasing order.
0, g, -2/3
Let l(m) = -11*m + 1. Let v be l(-1). Suppose n = 4*n - v. Sort -1, n, 0 in increasing order.
-1, 0, n
Suppose 5*r = 4*r + 2. Let a be ((24/(-39))/2)/r. Put a, 2/3, -5 in increasing order.
-5, a, 2/3
Let r be 6 + -3*2/(-6). Put 0, r, -2 in descending order.
r, 0, -2
Suppose 0 = -3*o + o + 8. Let t be (-2)/3*(o - -2). Let b = -4 + 1. Sort b, -5, t in decreasing order.
b, t, -5
Suppose 4*b - 4*u - 12 = 0, 1 + 2 = 5*b - u. Put -1, -5, b in increasing order.
-5, -1, b
Let r be (-2)/(-3) - (-4)/12. Put r, 5, 0 in decreasing order.
5, r, 0
Let i = 13.09 - 0.09. Let h