Suppose 5*s + 25 = 4*f, -5*f + 3*f = -5*s - 25. Put -3, f, u in decreasing order.
u, f, -3
Let s = -162 + 162. Sort s, 13, -1 in decreasing order.
13, s, -1
Suppose -2*y - 12 = 2*y. Let d(f) = -f**3 - 7*f**2 + 9*f + 10. Let z be d(-8). Let b be (-6 - 0)*(-1)/z. Put 2, b, y in increasing order.
y, 2, b
Suppose 2*s + 10 = 6. Sort -5, 2, s in decreasing order.
2, s, -5
Suppose -2*l = 5*z - 0*l + 89, -4*l - 25 = z. Put -3, z, 1 in increasing order.
z, -3, 1
Let g = -3.2 + -13.8. Sort -2/9, g, 4/7, -1.
g, -1, -2/9, 4/7
Let s = 49 + -83. Let r be (-4)/16 - s/8. Sort r, -0.5, -2 in ascending order.
-2, -0.5, r
Suppose 0 = d + 2*d + 15. Sort 4, 0, d in increasing order.
d, 0, 4
Let x = -2/21 - -29/84. Sort x, -0.3, -3 in increasing order.
-3, -0.3, x
Let j = 0.6 - 7.6. Let n = 7.1 + j. Sort n, 2, 1 in decreasing order.
2, 1, n
Let h = 4.9 + -4.9. Put h, 3, -17 in decreasing order.
3, h, -17
Let d be (-6 + 9)*(-2)/(-12). Put 5, d, -4/7 in ascending order.
-4/7, d, 5
Let q = -21 - -20. Let c(a) = a + 5. Let m be c(-10). Put q, m, 2 in descending order.
2, q, m
Let l(z) = -z**2 - 8*z - 9. Let n be l(-6). Let q(i) = -i**3 - 3*i**2 - i - 1. Let t be q(-2). Put -1, t, n in decreasing order.
n, -1, t
Let a be 2 + (4 - 3) + 0. Suppose 4*q - 2 = 2*q. Suppose q = -a*x - 2. Sort x, 3, -3 in descending order.
3, x, -3
Let t(y) = -2*y**2 - y + 1. Let h be t(1). Put h, -3, -4 in descending order.
h, -3, -4
Let g = 0.3 + 0.1. Let k = -1.4 + g. Sort 0.4, -0.03, k in ascending order.
k, -0.03, 0.4
Let t(c) = 6*c + 38. Let u be t(-6). Put -3, u, -5 in descending order.
u, -3, -5
Let l = -27 - -23. Put -5, -1, l in descending order.
-1, l, -5
Let b = -5 + 2. Let i = 6221/54 + -689/6. Let j = 121/108 - i. Sort 0.3, b, j in descending order.
j, 0.3, b
Let k = 51 - 49. Sort 1, 7, k in increasing order.
1, k, 7
Let m(q) = 2*q - 4. Let a be m(5). Suppose 0*k = -3*k - 24. Let v = k + a. Sort -4, 0, v in increasing order.
-4, v, 0
Suppose -4*m = -m - 6. Let x = -0.522 + 0.032. Let t = x + -0.01. Sort m, t, 4.
t, m, 4
Let i(a) = -a**2 - 2*a + 3. Let f be i(-3). Suppose -c - 8 = 2*x, c - x - 7 = -f*x. Let u be (6/(-8))/(8 - 9). Sort u, c, 0.2.
0.2, u, c
Let a = -41 + 40.95. Put -3, a, 0.3 in decreasing order.
0.3, a, -3
Let a be (-12)/(-9) - (-2)/(-2). Let z be ((-6)/4)/(3/(-10)). Sort 4, a, z.
a, 4, z
Suppose -2*q = -7*q + 20. Put -13, 1, q in descending order.
q, 1, -13
Let i be 4 - (12/(-9))/(10/(-15)). Let k(o) = 2*o**2 - o**3 + 3*o**2 - 3*o - 3 + o. Let c be k(4). Sort 0, c, i in decreasing order.
c, i, 0
Let d = 0.11 + -0.81. Let l = 1.7 + d. Put 0.2, l, 2 in ascending order.
0.2, l, 2
Let p = 13 + -18. Let r = 4 + p. Let h = 0.5 - 0.5. Sort r, -0.3, h in increasing order.
r, -0.3, h
Let p = -53 - -52.9. Sort p, -2/7, 1/12 in increasing order.
-2/7, p, 1/12
Let f(g) = g**3 - 4*g**2 - 5*g. Let i(z) = z**3 + 4*z**2 - 5*z + 5. Let s be i(-5). Let b be f(s). Suppose b*h = 3*h. Sort h, 1, 3.
h, 1, 3
Let j = -65 - -60. Sort 3, j, -3.
j, -3, 3
Let o = -678/5 + 136. Sort 1, o, 4, -2/13 in descending order.
4, 1, o, -2/13
Suppose 4*g + 7 = -p - 16, -4*p = 5*g + 37. Let y = p + 4. Let z be (1 - 3)/(2/2). Put y, z, 5 in increasing order.
z, y, 5
Let r = 187 - 191. Sort r, -0.4, 1, -1/4.
r, -0.4, -1/4, 1
Suppose 6 = -4*d - v, -4*v - 4 = d - 5*d. Let j be (-3)/2 + d/2. Sort -3, -1, j.
-3, j, -1
Let l = -110/91 + 12/13. Let t = 41/2 - 21. Let p = 35 - 34. Sort t, p, l.
t, l, p
Let o be (-20)/(-18)*(-12)/50. Put o, -5/4, -1/8 in increasing order.
-5/4, o, -1/8
Suppose -3*k = 7 + 11. Let s = 10 - 7. Put -3, k, s in descending order.
s, -3, k
Let v = 57 - 514/9. Let a(c) = -3*c + 5. Let r be a(0). Put 2/9, v, r in descending order.
r, 2/9, v
Let j = 0.4 + 1.6. Let r be 2 + 3/((-81)/(-312)). Let n = 41/3 - r. Sort j, n, 0.
0, n, j
Suppose 126*w - 125*w = 1. Suppose -2 + 3 = -z. Put w, 2, z in decreasing order.
2, w, z
Let x = 92 - 99. Sort -5, x, 3/4 in increasing order.
x, -5, 3/4
Let p(w) = w**2 - 6*w - 7. Let l be p(7). Suppose 4*s + 0*s - 20 = l. Put 3, -2/7, s in increasing order.
-2/7, 3, s
Let k(o) = 3*o - 16. Let f be k(7). Sort -7, 0, f.
-7, 0, f
Let x = -9 + 8.89. Let g = x - 3.89. Suppose 0 = 2*a - 0*a + 3*h + 10, 2*a - h = -2. Put a, g, 4 in ascending order.
g, a, 4
Let k = 2 - -3. Let i(o) = -2*o - 2. Let d be i(-3). Let l = 3 - 4. Put l, d, k in decreasing order.
k, d, l
Let v = 10.79 + -0.79. Put 0.3, -5/2, v in increasing order.
-5/2, 0.3, v
Suppose 0 = 3*m + 2*m. Let o(x) = -x**2 + 4. Let b be o(0). Sort b, m, -5 in ascending order.
-5, m, b
Let m = 762/5 - 153. Let i be (-4)/8*2/8. Put m, -2/13, i in descending order.
i, -2/13, m
Let v(d) = -d**3 + 6*d**2 - 6*d + 5. Let p be v(5). Suppose p = -3*a - a - 16. Sort a, 2, 5.
a, 2, 5
Let o = -14 - -16. Put o, -2, -0.8 in descending order.
o, -0.8, -2
Let v = -15 - -20. Put -5, -0.4, v in decreasing order.
v, -0.4, -5
Let f = 3 + -7. Let a = 2 - 1.6. Let s = a - 5.4. Put s, f, -2/3 in decreasing order.
-2/3, f, s
Suppose 4*z = -2*v + 18, -16 = -5*z - v - 1. Sort 1, z, -1 in increasing order.
-1, 1, z
Let w be 4/10*(-85)/(-51). Let z = 5 + -4.6. Let d be 5/2 + (-2)/(-4). Sort z, d, w.
z, w, d
Let f(i) = -i + 2. Let z be f(5). Put 6, z, 0 in increasing order.
z, 0, 6
Let q = -13 - -38. Let x = 17 + -12. Suppose -x*a + q = 5. Sort -2, a, -5.
-5, -2, a
Let u be (-1 - -2)/(4*-2). Let r be 0 - (8/46)/2. Let o = -2.6 - -3. Sort o, r, u in decreasing order.
o, r, u
Let z be 3/(-57)*213/21. Let u = z + 2/19. Sort 4, 2/3, u in descending order.
4, 2/3, u
Suppose -27 = 5*d - 2. Let x(i) = -i**2 + 5*i. Suppose 4*g - 4*t - 4 - 24 = 0, 5*t = -5*g + 15. Let w be x(g). Put d, w, -1 in ascending order.
d, -1, w
Suppose -3*n = -3*o + 2*n + 9, -3*n = -3*o + 3. Put 2, -4, o in decreasing order.
2, o, -4
Let u be (2/10)/(1/(-4)). Let k = -30 + 31. Sort k, -4, u in decreasing order.
k, u, -4
Let b = -3.05 - -0.05. Let i = -3.4 - b. Let t = 1.4 + i. Sort 0.2, t, -2 in decreasing order.
t, 0.2, -2
Let h be (4/(-5))/(1/(-5)). Suppose 43*m = 25*m + 126. Sort h, m, 5 in descending order.
m, 5, h
Suppose 0 = -2*v + 2 + 2. Suppose -v*d - 6*o = -o - 16, d + 3*o = 10. Sort d, -4/3, 3 in ascending order.
d, -4/3, 3
Let z = -39 - -277/7. Let p be (7/14)/((-2)/(-4)). Let n = p + -2. Sort 5, n, z.
n, z, 5
Let x be -2*3*56/24. Let w = 9 + x. Put 1, 0, w in ascending order.
w, 0, 1
Let l(u) = -u**2 + 6*u - 3. Let r be l(4). Suppose -31 = -r*y - 2*b - 1, -5*y - b + 25 = 0. Suppose -g - 2*n - 24 = 3*n, 0 = -3*n - 12. Sort y, g, 3.
g, 3, y
Suppose -5*c - 11 = -3*g - c, 27 = 5*g + 2*c. Sort -3, -2, g, -5 in descending order.
g, -2, -3, -5
Let n = -15 + 12. Sort 14, -4, n, -1 in ascending order.
-4, n, -1, 14
Let r(i) = -2*i - 31. Let p be r(-14). Sort p, 1, 3, 4 in decreasing order.
4, 3, 1, p
Let q = -4 + 9. Put -4, q, 2/3, 2 in descending order.
q, 2, 2/3, -4
Let m = -1 + 2. Let q be 1 + (m - 4/1). Suppose 0 = w + 1 + 2. Sort -4, w, q in decreasing order.
q, w, -4
Let y(p) = p**3 - 5*p**2 - p + 1. Let o be y(5). Let i(j) = 2*j + 6. Let k be i(o). Let r = -1 - -1. Sort r, k, -4 in decreasing order.
r, k, -4
Let f(l) = -2*l + 1. Let d be f(4). Let q = 6 + d. Put -5, q, 1 in increasing order.
-5, q, 1
Let r(f) = -f + 7. Let s be r(7). Suppose 13 = -4*v - 5*h + 2, -4*h = -4. Sort v, s, 4.
v, s, 4
Let u = 27 + -23. Let x = 2.01 - 0.01. Put u, -2, x in descending order.
u, x, -2
Let m = 83 - 83.3. Put -19, 0, -0.5, m in increasing order.
-19, -0.5, m, 0
Suppose 4*p + 7*k - 2*k = -13, 0 = -p + 2*k + 13. Sort 16, 1, p, 4 in ascending order.
1, p, 4, 16
Let s be (-1 - -1) + (-18 - -18). Sort 1, 2, s in descending order.
2, 1, s
Let m = -6 - -1. Suppose 5*n - 33 + 8 = 0. Sort 4, m, n in descending order.
n, 4, m
Let i = 3 - 7. Suppose -60 = 4*w + 8*w. Put -3, w, i in descending order.
-3, i, w
Let w = -5 - -5.3. Let z be 41/(-90) + (-1)/(-2). Let x = 121/315 + z. Sort 1/8, w, x in decreasing order.
x, w, 1/8
Let r = 9/95 - -2/19. Let i = -5.2 + 2.2. Put r, i, -2 in descending order.
r, -2, i
Let b = -2.03 - -0.03. Let n = -2.4 - b. Let i(h) = h - 3. Let s be i(3). Sort n, -4, s in descending order.
s, n, -4
Let i be -3 + (36/30 - (-8)/10). Sort 13, i, 5, -4.
-4, i, 5, 13
Suppose 5*r = 3*r. Let n = 2 - r. Sort 3, n, -7.
-7, n, 3
Suppose -a + 2*a - 4 = 0. Suppose -16 = -u +