 - 3. Let w be b(6). Let o = w + -3. Let q = -6 + 9. Sort 2, q, o in decreasing order.
q, 2, o
Suppose -30 = -5*x - 0*x. Let w be (-22)/x + 1/(-3). Sort 5, w, -3 in ascending order.
w, -3, 5
Let p(f) = f**3 + 6*f**2 + 5*f - 2. Let y be p(-4). Suppose -4*h = -2*h - y. Let k be 5/2*(3 - h). Sort 3, k, -2 in decreasing order.
3, -2, k
Let n be (-2)/(-4) + 1/2. Let b be n - (-1 + 0)*-3. Let w = -21/2 - -10. Sort b, w, -3 in decreasing order.
w, b, -3
Let x be 4/((-3)/(6/2)*-22). Sort x, -2, -0.5 in ascending order.
-2, -0.5, x
Let r = 80 + -80.6. Sort 1/5, 4, r in increasing order.
r, 1/5, 4
Let f = 17 - 17. Sort -1, 2, f in descending order.
2, f, -1
Let p = 8 - 6. Let t = 4 - p. Let x be (-1)/(-3)*18/t. Put -1, -4, x in descending order.
x, -1, -4
Let o = -4/5 - -7/15. Let y(f) = -4*f**3 + 2*f - 1. Let g be y(1). Sort g, o, -2 in increasing order.
g, -2, o
Let z(i) = -i**2 - 6*i - 4. Let l be z(-5). Let w be (l + 0)*4/4. Suppose -4*b - 2 - 11 = -j, 12 = -4*j. Sort w, b, -1 in decreasing order.
w, -1, b
Suppose 0 = -2*i - 14 + 4. Put 4, -36, i in descending order.
4, i, -36
Let y = -23 + 19. Put 4, 3, y in increasing order.
y, 3, 4
Let s = -1.2 - -1. Suppose -f = 4*f - 15. Put 5, s, f in decreasing order.
5, f, s
Let j = 9 + -9. Put j, 2, -4 in increasing order.
-4, j, 2
Let n be -16 - 6 - (-2)/(-1). Let g be n/(-20)*10/4. Let f be (g/(-9))/(2/6). Sort -2, 4, f.
-2, f, 4
Let c be (-1)/(1/5 + 0). Let l(d) = -d**2 + 6*d + 13. Let r be l(8). Put 1, c, r in decreasing order.
1, r, c
Let p = -12 + 14. Suppose 5*m - 5*x - 17 = p*m, 2 = m + 2*x. Sort m, -20, 3 in decreasing order.
m, 3, -20
Let m be -1 - (72/33 - 3). Put m, 1, 0 in decreasing order.
1, 0, m
Let x = 0.016 + 0.184. Sort 0, x, 0.3 in decreasing order.
0.3, x, 0
Let y(z) = -z**3 + 10*z**2 + 26*z - 26. Let l be y(12). Sort -3, 5, l.
-3, l, 5
Let n = 1 - 0.8. Let f = -0.2 + n. Let v = -1.7 + -1.3. Sort f, 1/2, v in ascending order.
v, f, 1/2
Let s = 7 + -5. Put -5, -2/3, s in decreasing order.
s, -2/3, -5
Suppose 0*u + x = -u + 5, -2*u - 5*x + 25 = 0. Suppose 2*t - 6*t - 12 = u. Sort t, -4/7, -0.4 in ascending order.
t, -4/7, -0.4
Let p = 62 - 64. Put -4, 1, 0, p in decreasing order.
1, 0, p, -4
Let b = 2 + -6. Put -0.5, b, -5 in ascending order.
-5, b, -0.5
Let p = -0.2 + -0.2. Let l = 9 - 13. Let i = -3.6 - l. Sort i, p, 4 in ascending order.
p, i, 4
Let g = 23.9 + -24. Sort 1/6, g, -1/6.
-1/6, g, 1/6
Let r = 120 + -28. Sort 0, r, -1 in ascending order.
-1, 0, r
Let l(j) = 3*j**2 - j - 1. Let i be l(2). Let u = i - 6. Suppose 0 = -u*z + 2*r - 4, 0*z - 4*z + 28 = 4*r. Sort -5, z, 1 in increasing order.
-5, 1, z
Let s(x) = -6*x**2 + 4*x - 1. Let g(k) = -4*k**2 + 3*k - 1. Let w(t) = 7*g(t) - 5*s(t). Let m be w(-2). Suppose 3*h + 3*h = 0. Put 1, m, h in descending order.
m, 1, h
Let z = -2 + 1. Let w = -63/5 - -12. Sort z, w, 3/5.
z, w, 3/5
Let b(t) = -t**2 + 8*t - 1. Let i be b(8). Let c = i - 4. Sort 5, 3, c.
c, 3, 5
Suppose 2*q + 6 = 2*t, -2 = -2*t + 2. Sort -0.1, q, 4/5, 2 in decreasing order.
2, 4/5, -0.1, q
Let z be 24/60 + 4/(-10). Put -24, -2, z in ascending order.
-24, -2, z
Let l = -5 + 5. Sort -0.3, l, -3 in decreasing order.
l, -0.3, -3
Suppose -3 = -5*t + 8*t. Suppose 3*w + 4 = 2*w. Put t, w, 4 in ascending order.
w, t, 4
Let x = 84.2 - 84. Put -2, 3/7, -3/5, x in descending order.
3/7, x, -3/5, -2
Let m = 2 + -5. Let k be -2 - -4 - 120/54. Sort k, -0.1, m in increasing order.
m, k, -0.1
Suppose 2*i = -18 + 20. Put 3, i, 10 in increasing order.
i, 3, 10
Let q = -0.04 - 6.96. Let d = -41 + 31. Let c = q - d. Sort 4/5, c, -1/5 in increasing order.
-1/5, 4/5, c
Let l = 73 - 75. Sort l, 1, -2/21.
l, -2/21, 1
Let o = -44 - -31. Let g = -18 - o. Sort -0.4, g, 1 in descending order.
1, -0.4, g
Suppose 0 = 3*h + 3. Let n be (h - (-21)/18)*2. Sort 5, -3, n.
-3, n, 5
Let r be ((-2)/6)/(7/3). Let y be ((0 - -2) + -2)/(-2). Suppose -5*b + 0*b - 25 = y. Put r, b, 3/7 in increasing order.
b, r, 3/7
Let c = -3.2 - 0.8. Let g = 1.3 - 1. Let r = g + -0.8. Sort c, r, -1 in decreasing order.
r, -1, c
Let o = -80/3 + 26. Put -0.1, 0, o in descending order.
0, -0.1, o
Let b(n) = n**2 - 6*n + 3. Let m(q) = -2*q - 2. Let j be m(-3). Let d be b(j). Sort 2, 3, d.
d, 2, 3
Let r = -0.8 - -5.8. Let c = r - 6. Let q = 1 - 1. Put c, q, -1/7 in increasing order.
c, -1/7, q
Let u = 41 - 42. Put -4, u, -2 in ascending order.
-4, -2, u
Let a = 8 - 7. Let f = 2.1 + -2. Let h = -0.3 + f. Sort a, h, -0.4 in descending order.
a, h, -0.4
Suppose -9*y + 6*y = 9. Sort 2, 4, y in increasing order.
y, 2, 4
Let o be ((-2)/1)/(-1 + 3). Suppose -5*n - 3*f + 18 = -27, n - 5*f = -19. Let g be n/(-9) + 8/9. Sort g, o, 4.
o, g, 4
Suppose -2*o - 10 = -4*o. Put o, 16, 0 in descending order.
16, o, 0
Let t be ((-15)/(-45))/(2/(-6)). Sort 8, 4, 0, t in decreasing order.
8, 4, 0, t
Let k = 92.3 - 86. Let u = k - 6. Let l = 5.8 - 0.8. Sort l, -4, u in ascending order.
-4, u, l
Suppose 2*b + n - 2 = -6, -2*b - 3*n = 4. Put 0.11, 0.4, b in decreasing order.
0.4, 0.11, b
Let h(k) = -k**2 - 12*k + 2. Let y be -12 - ((2 - 1) + -1). Let t be h(y). Suppose -4*z = 2*n + t*n + 12, 4*z - 13 = n. Sort z, 5, 4 in decreasing order.
5, 4, z
Let o = -4.1013 - -0.0413. Let w = 0.06 + o. Sort 0.5, w, 1 in increasing order.
w, 0.5, 1
Let x = -7 - -10. Suppose 7*a = x*a - 8. Let m be 2 + a + -3 + -1. Sort 5, m, 4 in increasing order.
m, 4, 5
Let b be (-25)/(-4) + 2/(-8). Let r be 9/b - 1/(-2). Let f = 2 - 7. Put 4, f, r in increasing order.
f, r, 4
Let j = 28 - 33. Sort -6, 1, 3, j in ascending order.
-6, j, 1, 3
Let z be (1 + 1)*10/4. Let y = 1 - z. Let n = 165 - 162. Sort n, -5, y.
-5, y, n
Let v = 24 + -28. Sort 7, v, 1, -2.
v, -2, 1, 7
Let r be 1/((3/1)/3). Suppose 0 = f - 4*f + 42. Suppose -7 = -3*k - 4, 5*o + 4*k = f. Sort r, o, -2/5 in descending order.
o, r, -2/5
Let p = -2/67 - -156/737. Put p, -0.1, -0.8 in increasing order.
-0.8, -0.1, p
Let k = -897/8 + 112. Let x = 0.18 + -0.08. Sort k, x, -1 in ascending order.
-1, k, x
Suppose -10*w + 15*w = -20. Suppose 5*t - 2*s = -3*s, -4*t = 5*s. Suppose -3*k - k - 4 = t. Put k, -5, w in descending order.
k, w, -5
Suppose 3*j - 4*x = 49, x - 2 = 3*x. Suppose 3*g = 8*g + j. Put g, 2, 0 in increasing order.
g, 0, 2
Let i = -11.1 - -12.1. Put i, 4, 0.5, -0.4 in descending order.
4, i, 0.5, -0.4
Suppose -3*n + 0*n = 3. Let g = -13 - -10. Sort g, 1/2, n in increasing order.
g, n, 1/2
Let i = -6 + 10. Suppose -2*s = -s - 4. Let v be 7/s + (-1)/(-4). Put v, 3, i in decreasing order.
i, 3, v
Let g = 0 - -1. Let y(r) = -r**2 + 9*r - 2. Let q be y(8). Let o(h) = -h**2 + 8*h - 7. Let i be o(q). Sort g, i, -5 in ascending order.
-5, g, i
Let w be (-3)/(-4) - (-19)/(-36). Let v be 2/4 - 13/14. Put 1, w, v in descending order.
1, w, v
Let z be 4/5*(-40)/16. Sort 0.03, -5, z.
-5, z, 0.03
Let y = -0.9 + 2.9. Sort y, -2/11, -0.1 in descending order.
y, -0.1, -2/11
Suppose c + 0*c = -4*a + 1, -11 = 4*a + 5*c. Let h(u) = -u - 1. Let r be h(1). Let q = r - -28/15. Sort a, q, -0.1 in increasing order.
q, -0.1, a
Let u be (1*(1 + 9))/2. Sort 2, u, -1.
-1, 2, u
Let n be (3/2)/(18/120). Let g = n - 6. Suppose -9 = -t + g*t. Put t, -2, 0 in ascending order.
t, -2, 0
Let g = -4 + 6. Suppose -l = 3*l + 3*w + 17, 0 = 2*l - 5*w - 11. Let q be (l/2)/(5/15). Put 0, q, g in decreasing order.
g, 0, q
Let m = -2 + 3. Let f = m - 0. Let s = 1.2 + -1.5. Sort s, 5, f in ascending order.
s, f, 5
Suppose 0 = 3*f - 7*f + g + 56, -5*g = 3*f - 19. Let s = 9 - f. Sort 2, 5, s in ascending order.
s, 2, 5
Let g(i) = 4 + i - 1 - 1. Let q be g(-3). Let j be q - -2 - (-20)/(-4). Sort 2, j, -3.
j, -3, 2
Let n = -623/465 + 1/155. Sort -4, 2/7, n in increasing order.
-4, n, 2/7
Let n = -13 + 7. Let d = 5 + n. Put -4, d, 0 in descending order.
0, d, -4
Let s be 4*((-9)/(-6) + -3). Let d be s/(-9)*(-3 + -3). Let r = 1 + -2. Sort 0, d, r in ascending order.
d, r, 0
Let v = 2.6 - 13.6. Let o = -8 - -14. Let g = v + o. Put g, 1, 0 in decreasing order.
1, 0, g
Let w = 11 - 14. Put 2, w, -5 in descending order.
2, w, -5
Let h = 25 - 30. Let a(r) = r**3 + 6*r**2 + 5*r + 1. Let b be a(-5). Let n be 1*-1 - (3 - b). Sort 4, h, n.
h, n, 4
Let f be -4 - (-1)/(-1) - -2. Let k(x) = -x**3 - 7*x**2 - 7*x - 7. Suppose 3*i = j - 19, -14 = i + i - 2*j. Let w be k(i). 