 = 5 - 3. Put y, a, z in decreasing order.
y, z, a
Let g(z) = -z**3 + 5*z**2 + 7*z - 1. Let x be g(6). Let k = -5 + 7. Suppose r - 3*r + 29 = -5*q, 0 = -k*r + 2*q + 14. Put 1, r, x in descending order.
x, r, 1
Let l(x) = -x - 3. Let v be l(-3). Suppose -s + v*s = 1. Sort s, 4, -4.
-4, s, 4
Let h = 0 - -1. Let b = h - -3. Put -3, 0.1, b in ascending order.
-3, 0.1, b
Let u = 0.029 + -4.029. Sort 2/5, 2, 0.1, u in ascending order.
u, 0.1, 2/5, 2
Let a be 2396/8*(-2)/(-1). Let z be (-2)/(-5) - a/310. Let p = z - -1/31. Sort -2/13, -0.1, p in increasing order.
p, -2/13, -0.1
Let p be 50/8 - (-9)/(-36). Let l be p*((-12)/(-9))/2. Suppose 0 = 2*q + l. Sort 3, 2, q.
q, 2, 3
Let c be (1 + (-7)/2)*-2. Let w be (c + -4)/(2/10). Put 1, w, 0 in decreasing order.
w, 1, 0
Suppose -90 = -8*i - 26. Sort i, -2, -3.
-3, -2, i
Let m(w) = -4*w + 15. Let s be m(5). Put -2, 1, s in decreasing order.
1, -2, s
Suppose 5*d - d + t - 1507 = 0, 0 = 5*d - 5*t - 1865. Suppose 0 = 4*r - q + d, r = -2*q + 5*q - 94. Let p = -472/5 - r. Sort 2/7, p, 0.
p, 0, 2/7
Suppose 3 + 3 = -2*r. Let w be 3*2/r + -1. Let x be (-9)/w*-1 + -1. Sort x, 0.2, 4.
x, 0.2, 4
Let o = -0.35 + 0.15. Sort o, 0.2, -3.
-3, o, 0.2
Let m be (1/4*0)/(-1). Let h = -1 + -1. Put m, 1, h in decreasing order.
1, m, h
Let v be (2/4)/(1/(-2)). Let y = 8 + -1. Suppose -4*g + y = -9. Sort 1, g, v in ascending order.
v, 1, g
Let d = -18 + 14. Sort d, 4, 3 in decreasing order.
4, 3, d
Let r(j) = -j**3 - 8*j**2 - 5*j + 19. Let n be r(-7). Let f(a) = a**3 - 9*a**2 + 7*a + 5. Let d be f(8). Sort n, 1, d in decreasing order.
n, 1, d
Let m = -3 + 6. Suppose 2*v = -3*r - 2, -3*r - 10 = 2*r. Suppose -5 = -4*l - 1. Sort l, v, m.
l, v, m
Let o be (-2 + 3)*12/28. Put 1.2, o, -3 in descending order.
1.2, o, -3
Let q = -4 + 5. Let s(a) = 5*a**3 - a**2 + a - 1. Let k be s(q). Suppose -d = 5 - 2. Put d, 0, k in increasing order.
d, 0, k
Let c = 1.8 + 0.2. Let x = -10 - -15. Let l = c - x. Put 0.4, l, -0.1 in decreasing order.
0.4, -0.1, l
Let l = -14 + 18. Put 1, 3, l in increasing order.
1, 3, l
Let b be (-1 - -2)/((-2)/(-4)). Suppose 0*p - 3*p + 30 = 0. Suppose -4*v = -6 - p. Put 3, b, v in ascending order.
b, 3, v
Suppose 3*z = 4*l + l - 11, -5*z = 3*l - 27. Let k(u) = -u**2 + 7*u - 4. Let y be k(6). Put -1, y, z in increasing order.
-1, y, z
Let m be ((-6)/20)/(2/(-4)). Let v = 1009/9 + -112. Let y(s) = s**3 + 7*s**2 - 8*s - 4. Let j be y(-8). Sort m, v, j in descending order.
m, v, j
Let s(u) = -u**3 - 3*u**2 + 4*u + 2. Let f be s(-4). Suppose 4*m - 5*q = -0*q - 5, 0 = -3*m + 5*q. Sort f, 3, m in increasing order.
m, f, 3
Let f(s) = -s**3 + 12*s**2 + 27*s + 11. Let b be f(14). Put 1, -1, b in ascending order.
b, -1, 1
Let u = -69 + 415/6. Sort u, -0.5, 3/5 in ascending order.
-0.5, u, 3/5
Let m = 29/12 - 11/4. Let z = -5 - -10. Sort m, -1/6, z in descending order.
z, -1/6, m
Let z(u) = u**2. Let m be z(0). Suppose n + 0*a = -2*a - 10, m = 3*a + 12. Let k = 4 + n. Sort 3, k, 5 in ascending order.
k, 3, 5
Let x = -65 - -68. Sort 0, x, 2 in descending order.
x, 2, 0
Let t be 111/24 + 7 + -12. Sort t, -5, -0.1.
-5, t, -0.1
Let s = -0.17 + 7.17. Let y = 6 - s. Let g = y - -0.8. Put -0.1, g, 1/8 in descending order.
1/8, -0.1, g
Suppose 3*y = -0*d - 3*d, -2*y = d - 5. Put 3, y, 1/7 in ascending order.
1/7, 3, y
Let h = -0.3 + -3.7. Let q = -630 + 632. Let x = 0.2 + 0. Put h, q, x in ascending order.
h, x, q
Let t(q) = q**3 + 3*q**2 - 5*q - 3. Let k be -5 + 0 + 1 + 0. Let y be t(k). Let g(p) = p**3 - 5*p**2 + 4*p + 4. Let w be g(4). Sort w, y, 2.
y, 2, w
Let o(r) = 2*r**3 - 3*r**2 - 2*r - 1. Let d be o(-1). Suppose x - 13 = 4*h, -2*x + 4 = 2*h + h. Sort 1, d, h in decreasing order.
1, h, d
Let v be 12/42*(-9)/6. Sort -6, -4, v in ascending order.
-6, -4, v
Suppose -2*s = 3*g + 19 + 11, -2*g - 20 = s. Let w be 2 - 2 - g/(-2). Let h be (0 - -4)/(-1)*1. Put w, -3, h in decreasing order.
-3, h, w
Suppose -5*u = -6 - 14, 12 = -2*h + 2*u. Suppose -2*x = -g + 20, -2*x - 20 = g - 0*g. Let z be ((-1)/(-4))/((-3)/x). Sort h, -3, z in decreasing order.
z, h, -3
Let h = 2 + 1. Suppose 2*g + 7 = -h*f + 3, 0 = -2*g + f + 12. Sort g, 3, -2 in decreasing order.
g, 3, -2
Let b = -1 - 0. Let w = -3 - b. Let f = -57 + 53. Sort 2, f, w in ascending order.
f, w, 2
Let u(h) = h**2 - h + 3. Let p be u(0). Let k(t) = t**3 - 4*t**2 + 3*t - 2. Let w be k(3). Sort w, 5, p in increasing order.
w, p, 5
Let g(u) = 4*u - 3. Let j be g(2). Let v(k) = -2*k**3 - 4*k**2 - 4*k - 3. Let q be v(-2). Suppose -9 - 6 = -q*i. Sort -1/8, j, i.
-1/8, i, j
Let g be (-16)/32 - (2 - 21/6). Sort g, 7, 2.
g, 2, 7
Let k be 121/220 - (-2)/8. Let s be (-2)/(-6) + 290/(-6). Let f = 93/2 + s. Sort f, 0.2, k in descending order.
k, 0.2, f
Let o be (-34)/(-10) + (-8)/20. Let p = -8 - -5. Put o, p, -5 in descending order.
o, p, -5
Suppose 2*v = 2*a + v, -4*v = -3*a. Suppose -27 = 3*w + 3*k, -3*w - 2*k = -4*k + 2. Sort a, -1, w in increasing order.
w, -1, a
Suppose 0 = -2*c + 1 + 7. Put c, -3, 11 in decreasing order.
11, c, -3
Suppose c - 1 + 0 = 0. Suppose 2*h - h - c = 0. Suppose 3*r + 19 = 5*x, -5*r = x + 4*x - 35. Put 0, r, h in increasing order.
0, h, r
Let g be (-39)/(-15) + 3/(-5). Put g, -4, 30 in descending order.
30, g, -4
Let s = 29 - 27. Sort 21, s, 0 in descending order.
21, s, 0
Let u = 6 + -10. Suppose 0 = -w - 2*w - 3. Let r be (4/12)/(w/(-9)). Sort -1, u, r in descending order.
r, -1, u
Let x be -12*(7/((-14)/(-4)) + -3). Sort 1, 5, x in decreasing order.
x, 5, 1
Let f = -227/4 - -57. Let w = 12 - 10. Sort f, w, -0.6 in increasing order.
-0.6, f, w
Let i be 33/(-6)*(-12 + -2). Let m be i/21 - (-1)/3. Suppose -m*s + 3 - 15 = 0. Sort 5, 1, s.
s, 1, 5
Suppose 3*d - 6 = -4*f + 6, 3*f + 4*d = 9. Let z(l) = -3*l - 6. Let j be z(-2). Put f, 4, j in ascending order.
j, f, 4
Suppose -2*m = 4*l + 26, 5*l - 5*m + 1 = -54. Let z be (-65)/60 + 2/l. Put z, -4/5, 3/5 in increasing order.
z, -4/5, 3/5
Let u(c) = -c**3 + 6*c**2 - 4*c - 5. Let a be u(5). Put -4, 7, a in ascending order.
-4, a, 7
Let s be -1 + (-7 - -3) + 5. Sort -4, 3, s in decreasing order.
3, s, -4
Let p(h) = -h + 4. Let y be p(7). Let a be y/(-1) - 94/30. Put 2/3, a, -1/2 in ascending order.
-1/2, a, 2/3
Let r = 0.063 - 18.863. Let n = -19 - r. Sort 1/9, -2/3, n in increasing order.
-2/3, n, 1/9
Let t = 2.9 - 3. Suppose 43*s - 46*s = -6. Put -2/13, s, t in decreasing order.
s, t, -2/13
Suppose p + 5 = 2. Let q = -6 - p. Sort 0, q, -4 in descending order.
0, q, -4
Let q = 4 + 4. Suppose q = -2*a - 0. Let s = 7 + a. Put -2, s, 5 in decreasing order.
5, s, -2
Let w = 0.1 - -0.1. Let x = w + -0.3. Let g = -2.8 - -3. Sort -5, x, g in decreasing order.
g, x, -5
Let g = 259/6 - 43. Let i = -131/4 - -33. Sort -1, i, g.
-1, g, i
Let c(o) = -4*o + 6. Let w be c(2). Sort -4, w, 3 in increasing order.
-4, w, 3
Let z(h) = h**3 - 4*h**2 + h - 4. Let v be z(4). Let u = -24 - -20. Suppose 2*n = -2 - 8. Put u, n, v in descending order.
v, u, n
Suppose -x = -5*s - 2 + 5, -4*s - 4*x + 12 = 0. Sort s, 9, 2, -4.
-4, s, 2, 9
Let l = 4/17 - 79/119. Let d = 29 + -33. Put d, l, 0.3 in descending order.
0.3, l, d
Suppose -3*c + 0*c = 0. Suppose 3*p - 11 = -8*p. Put p, c, -0.5 in decreasing order.
p, c, -0.5
Suppose 5*d + 4 = 24. Suppose -d + 0 = 2*c. Let y be 28/(-6) - (-4)/(-12). Sort c, 1, y in decreasing order.
1, c, y
Let m be -1*((-6)/10)/3. Let z = 1.3 - 0.3. Let x = 0.9 - z. Sort 0, x, m in descending order.
m, 0, x
Suppose 0 = -2*u - 4*n + 4, n + 9 = -0*u + 2*u. Put -5, 0, 2, u in increasing order.
-5, 0, 2, u
Let x be (-86)/(-56) + 2/(-7). Put 1, x, 5 in increasing order.
1, x, 5
Suppose v = 9*v - 16. Sort v, -2, 0 in descending order.
v, 0, -2
Let t be 3 + (-25)/10 + -2. Sort 1, 0.5, t in increasing order.
t, 0.5, 1
Let a = 7.5 - 8. Sort 0, 0.3, a in increasing order.
a, 0, 0.3
Suppose 6*g - 4*g - 80 = -5*f, -4*f - 200 = -5*g. Let x be 1/2*32/g. Let r = 3.1 + 0.9. Put x, r, -1 in increasing order.
-1, x, r
Let r be -4 + 4 + (2 - 1). Sort 0, 4, 3, r in ascending order.
0, r, 3, 4
Suppose -5 = -2*k + 3. Put k, 2, -5 in descending order.
k, 2, -5
Let q = 92 - 93. Put q, 2/3, -4, 0.8 in descending order.
0.8, 2/3, q, -4
Let n = 5 + -7. Sort 4, 1, n in ascending order.
n, 1, 4
Let n be (3/(-2))/((-4)/(-8)). Let f be 1 + (1 - 0)/(-1). P