 = -b - 2. Let f be (-14)/(-8) - 5/(-20). Let n = b + f. Put 0, -3, n in decreasing order.
n, 0, -3
Let w(r) = 0*r + r + 1 + 0. Let d be w(4). Suppose 0 = j + 3 + 1, d*a - j = -11. Put 5, a, -2 in decreasing order.
5, -2, a
Let n = -20 + 15. Sort n, 1, -3 in decreasing order.
1, -3, n
Let v = -0.18 - -0.3. Let j = 0.081 + 4.799. Let r = v + j. Sort -5, r, -0.3.
-5, -0.3, r
Let k be (-3 + (-1870)/36)*-4. Let n = 220 - k. Sort n, 0.1, 3/7 in decreasing order.
3/7, n, 0.1
Let s(b) = -b + 1. Let z be s(-3). Suppose z*k + 17 = -3. Sort 4, -3, k in increasing order.
k, -3, 4
Suppose 2*h - 10 = 0, 0 = r - 5*r + 2*h - 22. Sort 2, -6, r.
-6, r, 2
Let y(d) = -d + 4. Let z be y(5). Let x be 4 - 5/(-2 - -7). Sort -3, z, x in decreasing order.
x, z, -3
Let p = 1 - 0.9. Let a = -2990 - -917929/307. Let g = a + 633/5833. Put p, 2/13, g in ascending order.
p, g, 2/13
Let d(x) = 2*x - 6. Let z be d(7). Sort z, -3, 1 in descending order.
z, 1, -3
Let l be (8/(-6))/(8/(-24)). Let i = -8 + l. Sort 5, 3, i in decreasing order.
5, 3, i
Suppose 0 = -3*p + 3*r + 42, -2*p + 0*p = -5*r - 34. Suppose -t = 2*l + 1, -3*l - p = -4*t + 2*t. Sort -2, -4, t.
-4, -2, t
Let l = 25 - 28. Sort 5, 4, -4, l in increasing order.
-4, l, 4, 5
Let y(z) = -z**2 + 8*z - 15. Let v be y(6). Put -5, -1, v in descending order.
-1, v, -5
Let z be ((-2)/12)/(1*9/12). Sort z, 0.5, 0, -4 in ascending order.
-4, z, 0, 0.5
Let g = 357/3572 + 1/188. Sort g, -3, -13 in decreasing order.
g, -3, -13
Suppose -3*l = -v - 11, -5*l - 6 = 5*v + 9. Sort l, 0.3, 1/6, 0.17 in ascending order.
1/6, 0.17, 0.3, l
Let c = -70 - -70.7. Let x = 16 - 17.2. Let j = c + x. Sort j, -0.3, 4 in increasing order.
j, -0.3, 4
Let p = 0.08 + 4.92. Let a = 0 + -0.3. Sort 0, p, a in increasing order.
a, 0, p
Suppose -6*o = 3*g - o - 32, 0 = -4*g + 2*o + 8. Suppose 3*a + 28 = -4*j, 0 = -2*j + 3*a + 4. Put j, g, 0.4 in descending order.
g, 0.4, j
Let o = 7 + -4. Let m = -2 + o. Let w = -10.5 - -10. Sort -2, m, w in ascending order.
-2, w, m
Let q = -1 - -0.5. Put q, 3/2, 6 in increasing order.
q, 3/2, 6
Let z be (-56)/6*(-3)/2. Let s be (-32)/z - (-10)/5. Put s, -4, 0.1 in increasing order.
-4, s, 0.1
Let l = -4.995 - 0.105. Let h = -0.1 - l. Sort -0.03, -0.2, h in ascending order.
-0.2, -0.03, h
Suppose 0 = 2*i - 3*i + 20. Suppose 0 = -h - 4*h + i, 0 = -3*z - h + 7. Put 0, 4, z in decreasing order.
4, z, 0
Let q be (1 - -9)*2/4. Let w(r) = 2*r - 5. Let k be w(q). Suppose -j = -5*o + 12, -3*j + 4 - 7 = -4*o. Sort k, -4, o in decreasing order.
k, o, -4
Let z = 2 - 5. Let d = z + 9. Let b be d*((-3)/6)/(-1). Put b, -4, -2 in increasing order.
-4, -2, b
Let s = -45 + 44. Sort -3, 2/5, s, -2 in decreasing order.
2/5, s, -2, -3
Suppose -4*h + 0*h + 40 = 0. Sort 5, 0, -4, h in descending order.
h, 5, 0, -4
Let v = 9.7 - 10. Let z = 244 - 3662/15. Sort 2/9, v, z.
v, z, 2/9
Suppose -5*z = 3*o - 25, -5*o = 7*z - 3*z - 20. Sort z, 3, 4 in descending order.
z, 4, 3
Let c = -86 - -86. Sort c, -1, -4, -2.
-4, -2, -1, c
Let x = 4/25 - 94/275. Let d(w) = w**2 - 7*w + 8. Let l be d(6). Let q be (-8)/l + 34/7. Sort -0.2, x, q in decreasing order.
q, x, -0.2
Let k = 1 - 2. Let g = 1/43 - 52/387. Sort g, k, 0.2 in decreasing order.
0.2, g, k
Let k = 3 + -4. Let f be ((-37)/148)/(2/(-4))*-1. Sort k, -4, f in ascending order.
-4, k, f
Let i(n) = -5*n**2 + 3*n + 4. Let o be i(3). Let v be (2 - -1)/((-6)/o). Suppose -4*f + l = v, -1 - 5 = -2*f - 3*l. Sort -5, 2, f in descending order.
2, f, -5
Let f = 6 + -4. Suppose -4 = -2*u - 18. Let p = -6 - u. Sort p, -3, f in increasing order.
-3, p, f
Let s(w) = -95*w + 13. Let u(p) = 47*p - 7. Let b(v) = -6*s(v) - 11*u(v). Let l be b(1). Let q = -207/4 + l. Sort -3/7, q, -2 in increasing order.
-2, -3/7, q
Let t = 0.04 - -1.96. Suppose 0 = -5*v + 2 + 13. Put -4, v, t in ascending order.
-4, t, v
Let m be (-19)/(-4) - 3/(-12). Suppose -m*i + 1 = 11. Sort 3, -8, i in ascending order.
-8, i, 3
Let r = 12 - 11.7. Sort r, 1, 3 in increasing order.
r, 1, 3
Let l = -438 + 437.7. Let m = -12/37 + 145/333. Sort l, m, 3 in ascending order.
l, m, 3
Suppose -4*r + 3*j = 26, 3 = -2*r + 3*r + 4*j. Let w be (-2)/5 - (-8)/r. Suppose -x + 15 = 2*x. Put w, 4, x in descending order.
x, 4, w
Let c be (-5)/30 - (-1)/(-2). Sort -2/15, -2/7, c, 2 in increasing order.
c, -2/7, -2/15, 2
Suppose 0*g + u = 3*g - 73, 3*u = -5*g + 117. Let y be ((-3)/(-6))/(3/g). Put 7, y, -2 in increasing order.
-2, y, 7
Let k be 6*2 - (-15)/(-5). Suppose -k = -j - 5*y + 6, -3*j = -3*y + 27. Sort j, 2, 5 in decreasing order.
5, 2, j
Suppose 5*t + 2*v - 33 = 0, -2*t + 3 = -4*v + 9. Suppose -7*o + 2*o = -5. Sort o, 4, t in descending order.
t, 4, o
Let l(t) = t**3 + 3*t**2 - 6*t - 4. Let b be l(-4). Let c(r) = -r + 4. Let j be c(b). Sort j, 2, 1.
j, 1, 2
Let y = -8 - -8. Put y, 3, 5 in decreasing order.
5, 3, y
Let k = 9 + -11. Let q = -5 - k. Sort -2, -4, q in decreasing order.
-2, q, -4
Let q be (4/6)/(2/84). Suppose -3*c + 7*c = q. Let j(x) = -x**3 + 6*x**2 + 8*x - 5. Let z be j(c). Sort -3, z, 4 in ascending order.
-3, z, 4
Let a = -9.3 - -8.9. Sort 1, a, 3 in decreasing order.
3, 1, a
Let b = -0.2 + -0.2. Let d = 0.08 + 0.22. Let m = 0.98 - -0.02. Sort b, m, d in decreasing order.
m, d, b
Suppose 4*v - 20 = 4. Put v, 5, 2 in decreasing order.
v, 5, 2
Let i = -22.1 + 23. Sort -2, 0.5, i in increasing order.
-2, 0.5, i
Let x(o) = o**2 - 8*o - 7. Let s be x(9). Suppose -5*m = -6*m - 1. Sort -4, m, s in ascending order.
-4, m, s
Let k = 0.14 - 0.64. Let v = k - -0.5. Sort v, -2, 2.
-2, v, 2
Let a = -1.4 - -0.4. Suppose f - 4*j - 27 = 6*f, 0 = 4*f - 4*j. Put -2, f, a in increasing order.
f, -2, a
Let z = 1.54 + -1.5. Let w = 0.26 + -0.3. Let j = w + z. Put j, 5, 0.4 in increasing order.
j, 0.4, 5
Let j(i) = i + 4. Let h be j(-7). Let y = -7 + 9. Suppose -5*c = -y - 13. Sort -2, c, h in decreasing order.
c, -2, h
Let k(x) = 7*x + 2*x**2 - 12*x - 5 + 21*x. Let b be k(-8). Suppose -4*i + 5 = 5*w - 5, 4*i + 2*w = 16. Sort b, -1, i in descending order.
i, -1, b
Suppose -4 = 2*n + v - 2*v, -1 = -3*n - 2*v. Put -3, 0, n in descending order.
0, n, -3
Suppose 0*u - 5*l + 37 = 4*u, -2*l + 25 = 5*u. Let k = u - 1. Put k, -1, -3 in increasing order.
-3, -1, k
Let v be (-12)/42 + (-10)/14. Sort 1, v, 5 in increasing order.
v, 1, 5
Suppose -j + 7*j = -12. Sort 4, 0, j, -5.
-5, j, 0, 4
Suppose -5*g = -3*i + 6 + 15, 3*g - 2*i = -13. Sort -5, -4, g.
-5, -4, g
Let z be 1 + ((-38)/12 - -1). Let n = 30/17 + -184/85. Sort z, n, -0.1 in descending order.
-0.1, n, z
Suppose 24 = -0*g + 2*g. Suppose 4*w + 10 = -w - 5*u, 3*w - g = 3*u. Let s be w*1/(-1)*5. Sort -1, 4, s.
s, -1, 4
Let g = 19 - 19.5. Sort 5, -6/7, g, 7 in descending order.
7, 5, g, -6/7
Let q = -5.29 + 0.29. Put q, -4, 2/11, 2/13 in ascending order.
q, -4, 2/13, 2/11
Suppose -27*t = -9*t + 90. Sort -3, -4, t in descending order.
-3, -4, t
Let l = -25 + 24. Sort l, -5, 2.
-5, l, 2
Let k be (6 - 0)/3 - 8. Let p(s) = s + 1. Let i be p(k). Put -1, 4, i in decreasing order.
4, -1, i
Let q(y) be the first derivative of y**4/4 + y**3 - 4*y + 2. Let k be q(-3). Let n be (-6)/k*(-1 - -3). Sort -5, n, -1 in increasing order.
-5, -1, n
Let q be 3/(-9)*0 + 0/3. Sort -2/17, -0.3, 0.08, q.
-0.3, -2/17, q, 0.08
Let x = 5 + -7. Let j = x + 2.2. Let i = -10.2 - -10. Put j, i, -3/5 in increasing order.
-3/5, i, j
Let j = 3 - -2. Suppose 2*d - j = d. Let f(o) = -o**3 + 6*o**2 - 4*o - 2. Let g be f(5). Sort 4, d, g in increasing order.
g, 4, d
Let q = -15 + 20. Sort -0.5, q, 1, 4/7 in descending order.
q, 1, 4/7, -0.5
Suppose 0 = 2*l - 3*l - 1. Let j(n) = -24*n**2 - 1. Let s be j(l). Let b be (-3 + 1)*(-5)/s. Sort 0, 1, b in decreasing order.
1, 0, b
Let t = 2 + -9/2. Sort -2, 1/3, -5, t.
-5, t, -2, 1/3
Suppose s - 3*z + 4 = -0, -2*z = -4*s - 6. Sort 2, s, 0 in ascending order.
s, 0, 2
Let h be (-297)/(-63) + 2/7. Put -7, h, 2 in increasing order.
-7, 2, h
Let y be (-6)/21 - (-258)/21. Let w be y/(-22)*(-2)/6. Sort w, 1, 4.
w, 1, 4
Let k = 3 - 10. Let h be (-14)/k*(-5)/2. Let j(q) = -q + 2. Let y be j(4). Put 0.5, h, y in descending order.
0.5, y, h
Let g = 2 + 1. Let c = g + -3.2. Let p = -1.6 - -2. Put -0.3, p, c in descending order.
p, c, -0.3
Let r be ((-10)/4)/(2/(-4)). Let h = -6 + 2. Sort 4, h, r in increasing order.
h, 4, 