). Put x, 2/25, -4 in descending order.
x, 2/25, -4
Let m = 118/3 - 40. Sort 0, m, 2/17 in increasing order.
m, 0, 2/17
Let y = -100 - -498/5. Let i(k) = k**3 - 7*k**2 + 7*k - 4. Let n be i(6). Suppose -3*v + n*v + 3 = 0. Sort 5, y, v in descending order.
5, v, y
Let u = 22 - 21. Let o be (-2)/(-4)*-2*-1. Suppose 3*l - q + 11 = o, 0 = -3*l + 3*q. Put 4, u, l in descending order.
4, u, l
Suppose f - 4 = 3*c - f, -4*f + 28 = 4*c. Sort -3, 0, c, 3 in descending order.
3, c, 0, -3
Suppose 0 = -q + 7 + 1. Let j = q - -2. Let y be ((-9)/6 - -1)*j. Sort -5/4, y, -5/3.
y, -5/3, -5/4
Let f = -1 + 3. Let a = 38 + -38.04. Put a, f, -0.1 in ascending order.
-0.1, a, f
Let g be (4 - (0 + 1))/15. Put -0.4, g, 24 in increasing order.
-0.4, g, 24
Suppose -5*k + k + 36 = 0. Suppose 3 = -2*s + c, 3*s + 2*s - 2*c + k = 0. Put 0.1, s, -4 in descending order.
0.1, s, -4
Let x = 8 + -3. Suppose -x = 2*k + 1. Sort k, -5, 5 in increasing order.
-5, k, 5
Let h(c) = c - 11. Let d be h(11). Sort -5, -3, d, -4 in descending order.
d, -3, -4, -5
Let c = -0.12 - -0.12. Sort -0.1, c, 2/11, -0.3 in decreasing order.
2/11, c, -0.1, -0.3
Let d(o) = 2*o**2 - 10*o. Let v be d(5). Put v, 5, -5, 1 in ascending order.
-5, v, 1, 5
Suppose 0*f - 3*f = -4*b, 2*f - 2*b + 2 = 0. Suppose -y + 12 = 2*y. Let s = -9 + y. Sort s, 3, f in decreasing order.
3, f, s
Suppose 3*y + 7 = -4*w - 3, w = 2*y - 8. Put 2, -3, w in descending order.
2, -3, w
Let b(u) = u**2 + 5*u - 9. Let h be b(-7). Put 2, -1, h in ascending order.
-1, 2, h
Let k be 1/2*(-2)/5. Let n = -17.9 - -18. Put k, n, -0.1 in descending order.
n, -0.1, k
Let s = 10 - 6. Put 2, s, 5 in ascending order.
2, s, 5
Suppose 2*p - 5*m = 4, 2*p - 2 = -m + 2. Let h(n) = -n - 6. Let s be h(-7). Sort s, p, -2 in descending order.
p, s, -2
Let j(m) = m**2 + 13*m + 3. Let c be 2 + -2 - (-4 + 17). Let h be j(c). Put -1, h, 2 in ascending order.
-1, 2, h
Let m = -8 + 11. Let k = m - 7. Let i be (-1)/2 - 2/(-20). Sort 5, i, k in ascending order.
k, i, 5
Let u(t) = 5*t + 26. Let y be u(-6). Let f = -1 + 0. Put f, -2, y in decreasing order.
f, -2, y
Let r = -57 - -62. Sort -2, 4, -3, r.
-3, -2, 4, r
Let z(l) = 0*l + 7*l + 9 - 2*l. Let m(o) = -26*o - 44. Let a(b) = -3*m(b) - 16*z(b). Let y be a(-8). Sort y, 0, 5 in descending order.
5, y, 0
Let m(u) = -u**3 + 2*u**2 - 2*u + 3. Let s be m(6). Let h be 12/s*9/6. Let z = -32 - -161/5. Put z, 0.4, h in decreasing order.
0.4, z, h
Let f be 1 - ((-1)/(-1) - 3). Let k be (6/12)/((-7)/6). Put k, 0.2, f in decreasing order.
f, 0.2, k
Let m be (5/(-4))/(1/(-64)). Let o = 21567 + -128921/6. Let w = m - o. Put -0.2, -2/9, w in decreasing order.
w, -0.2, -2/9
Let k(x) = x**2 + 11*x - 6. Let o be k(-11). Let i be o/2 + 1 - -4. Put -2/3, -4/7, i in decreasing order.
i, -4/7, -2/3
Let d be (-134)/(-6) + 6/(-18). Suppose -r + 3*r + 26 = -4*a, 2*r = 2*a + d. Let v = -13 - a. Sort v, 5, 4.
v, 4, 5
Suppose -4*z - 2*c = 2, 0 = -5*z + 3*c + 2 + 1. Suppose z = -l - 4*l + 10. Put 1, l, -1 in ascending order.
-1, 1, l
Let h be 15/20*(-6)/(-27). Let c = 11 - 6. Let i be (-18)/45*6/4. Sort h, i, c in increasing order.
i, h, c
Suppose -2*l - 4 = u - 1, 36 = 4*u - 4*l. Let m(h) = h**2 - 15*h - 20. Let o be m(16). Let z = o + u. Put 0, 4, z in descending order.
4, z, 0
Let c be 0*(2 + -1)/(-1). Suppose -3*n - 13 = 5*r - c*n, -3*r - 4*n + 1 = 0. Suppose 4*t + m = 14, t - 12 = -4*t - 4*m. Put t, -2, r in decreasing order.
t, -2, r
Let x(h) = -h**3 - 9*h**2 - 8*h + 4. Let u be x(-8). Let d be (2 - 1)/(u/16). Sort d, -2/9, -4/3 in decreasing order.
d, -2/9, -4/3
Let j = -11 + 9. Put 1, -1, j in increasing order.
j, -1, 1
Let p = 3.05 - 0.25. Let c = p - -1.2. Put 2/9, -3/7, c in decreasing order.
c, 2/9, -3/7
Let d = 0.17 + 0.33. Let y be 2/5 + 3/5. Sort 5, d, y in ascending order.
d, y, 5
Let s = -1.2 - -0.2. Let o = 0.11 - -3.89. Let p = o + s. Sort -2/5, p, -4 in decreasing order.
p, -2/5, -4
Let q be 3/4*2/(-3). Let h = -60 - -60.6. Put h, 2/15, q in decreasing order.
h, 2/15, q
Let w = -15.8 + 9.8. Put -2/9, w, 0.1 in ascending order.
w, -2/9, 0.1
Let q = 16 - 8. Suppose -q = 2*c - 4*c. Sort 1, -5, c.
-5, 1, c
Let r be (4/(-6))/((-10)/75). Suppose 0 = 4*t + g - 3 - 2, 0 = -t - 5*g + 6. Sort t, r, -4 in decreasing order.
r, t, -4
Let f be ((-1)/(-2))/(3/132). Let q be (-18)/f - (-6)/(-33). Sort -5, 1, q in descending order.
1, q, -5
Suppose 4*j - 12 = 4*f, 6*f - f = 2*j - 15. Let x = -8 + 13. Sort x, j, -1 in descending order.
x, j, -1
Let h = -2 - -1. Let n = -3 - -8. Put n, 0, h in descending order.
n, 0, h
Let x(c) = c**2 + c + 1. Let p be x(0). Let j = 1 + p. Sort -2, j, -1 in decreasing order.
j, -1, -2
Suppose 0 + 4 = -2*g. Sort 0, g, 7.
g, 0, 7
Let b(j) = j**2 + 9*j - 9. Let r be b(-10). Sort r, 2/3, 0.3 in decreasing order.
r, 2/3, 0.3
Suppose a + 3*a = 0. Suppose a = -n + 4*g + 5, g + 19 = -4*n + 5. Suppose -5*j - 10 - 10 = 0. Sort 0, n, j.
j, n, 0
Suppose 2*m - 5 = -3*m. Sort 17, m, 0 in increasing order.
0, m, 17
Let a be 21/147 - 22/7. Sort a, 5, -4 in ascending order.
-4, a, 5
Let z(r) = -r**2 - 3*r + 5. Let o be z(-4). Sort o, -1, 3 in ascending order.
-1, o, 3
Let d = -78 + 70. Put 0.2, d, -2, 2/5 in ascending order.
d, -2, 0.2, 2/5
Suppose -2*x = 2*r + 6, -x = 4*r - 3*x + 24. Let b = r - -9. Let n(t) = t**3 - t**2 - 4. Let d be n(0). Sort d, -2, b in descending order.
b, -2, d
Let g = 11.9 + -13. Let l = g + 1.9. Let f = l - 0.8. Put f, 4, 3/2 in ascending order.
f, 3/2, 4
Let s(y) = -3*y - 1. Let c be s(-2). Let a(w) = w**2 - 8*w - 7. Let f be a(9). Let n = 4 - f. Put -2, c, n in ascending order.
-2, n, c
Let y = 15 + -15.1. Put y, -0.5, -3 in decreasing order.
y, -0.5, -3
Let r(o) = -o + 3. Let n be r(3). Let x(b) = b + 8. Let y be x(-6). Put n, y, -3 in increasing order.
-3, n, y
Let a = 13 - 18. Put 2, 1, -3, a in decreasing order.
2, 1, -3, a
Let p(f) = -2*f**2 - 5*f - 11. Let o be p(-5). Let c be 1 + (-9)/(o/8). Sort 7, c, 1 in decreasing order.
7, c, 1
Let v(o) = o**2 - 3*o - 3. Let k be v(-4). Suppose y + k = 6*y. Let q be ((-4)/6)/(4/6). Sort y, q, 4 in descending order.
y, 4, q
Let j be 2 - (0 + 2 - 2). Suppose 2*r = b + 14, -7*r + 3*r + 8 = 3*b. Suppose -p + 2*p + 5*o = -8, 0 = -p + 4*o + 1. Put p, j, b in increasing order.
b, p, j
Let n = -149.5 + 150. Let o(w) = -w**2 + 9*w - 9. Let a be o(7). Put n, a, -1/3 in descending order.
a, n, -1/3
Let b(g) = -g**3 + 5*g**2 + 1. Suppose 6 = -3*j + 21. Let a be b(j). Put -1, 3, a in ascending order.
-1, a, 3
Let w(u) be the second derivative of 9/2*u**2 + 1/3*u**3 + 0 - u. Let m be w(-7). Sort -3, 2, m in increasing order.
m, -3, 2
Suppose -2*w = -3*y + 6*y - 19, 2*y - 2*w = 6. Sort 2, y, 7 in ascending order.
2, y, 7
Let v be 48/(-4) - 1 - 3. Sort -3, 0, v.
v, -3, 0
Suppose -1 = 2*o - 3. Suppose -4*w - 1 = -p, -2 + 3 = -3*w + p. Let m = -31 + 29. Sort o, m, w in descending order.
o, w, m
Let p(c) = -c + 1. Let o be p(-4). Sort -2, o, 2 in increasing order.
-2, 2, o
Let y = 97/2 - 893/20. Let j = y - 18/5. Let o = -3/4 + j. Sort 0.1, o, -0.4 in ascending order.
o, -0.4, 0.1
Let l = 50/7 + -51/7. Put 0.8, 2, l in ascending order.
l, 0.8, 2
Suppose 4*x - y + 3*y - 20 = 0, -5*x + 2*y + 25 = 0. Let m(q) = q**3 - 4*q**2 - 3*q - 6. Let j be m(x). Put j, 3, -2 in decreasing order.
j, 3, -2
Suppose 0 = -b + 4 - 25. Let d be 24/b - (2 - 5). Let s = d + -5/14. Put s, 0.3, 0 in increasing order.
0, 0.3, s
Suppose 25 = c - 6*c. Put c, -1, 2/15 in ascending order.
c, -1, 2/15
Let n(v) = v**2 + 2*v + 1. Let b be n(-1). Put 5, -4, b in increasing order.
-4, b, 5
Let u = 0.262 + -0.052. Let t = u - 0.11. Put t, 0.3, 1 in ascending order.
t, 0.3, 1
Let d = -39 - -42. Sort -4, d, -2 in descending order.
d, -2, -4
Let j = -9 + 9. Let y be (-1)/((3 + j)/(-15)). Put -2, y, -5 in ascending order.
-5, -2, y
Suppose 6*p = p + 15. Suppose p*g + 0 = -3. Put 1, g, -3 in decreasing order.
1, g, -3
Suppose -17 = -3*c + 5*f, -2*f + 11 = -3*c - 4*f. Suppose 8*s + 4 = 12. Let g = 1 + -3. Put s, c, g in decreasing order.
s, c, g
Let g = 1 + -0.7. Let q = -0.04 - 5.36. Let f = -1.4 - q. Sort g, -3, f in decreasing order.
f, g, -3
Let a = 1/23 + 67/46. Sort -2/65, 4, a in increasing order.
-2/65, a, 4
Let x = -14 + 14.4. Sort x, 2, -5/4 in ascending order.
-5/4, x, 2
Suppose -4*s = -a + 6*