. Sort -3, b, 4.
b, -3, 4
Let c = 17 + -16.7. Sort c, -0.1, 0.
-0.1, 0, c
Suppose 0 = -2*u + 4*u - 6. Suppose u*c = c. Suppose 4*x - 2 = 2. Put c, 5, x in descending order.
5, x, c
Suppose 0 = 2*o - 4. Let r(b) = -7*b - 5. Let s(d) = -15*d - 11. Let t(c) = 13*r(c) - 6*s(c). Let k be t(5). Sort k, o, -3 in ascending order.
k, -3, o
Suppose 47 + 29 = -4*b. Put b, -3, 1, 2 in descending order.
2, 1, -3, b
Let v = -51.1 + 51. Put v, -0.06, 5, 2/7 in decreasing order.
5, 2/7, -0.06, v
Let d(n) = -14*n + 24. Let z(f) = -5*f + 8. Let k(p) = -4*d(p) + 11*z(p). Let u be k(6). Let v = u - 1. Put 1, -2, v in decreasing order.
1, -2, v
Suppose 0 = w + 2 - 0. Let j be (-4)/10 - (-18)/(-5)*1. Sort w, j, -5.
-5, j, w
Let z be (5/(-15))/((-1)/9). Suppose z*v + 2 + 6 = -k, -v = 3*k - 8. Sort -1, 0, v in decreasing order.
0, -1, v
Let d = -48 - -44. Put -4/5, -0.5, d in decreasing order.
-0.5, -4/5, d
Let i = -27 + 41. Let z = i - 5. Sort -5, 2, z in descending order.
z, 2, -5
Let n = 0 - 0.5. Let c = n - 0. Let z = c + 0.5. Sort z, 0.5, -3 in descending order.
0.5, z, -3
Suppose 5*t + 19 = -j, 5*j - 14 + 5 = t. Sort 0.5, 2, j in descending order.
2, j, 0.5
Let d(c) = 2*c. Let f be d(-1). Let v(y) = 4*y**3 + 2*y**2 - 1 - 5*y**3 - 6*y**2 + y. Let p be v(-4). Put p, 4, f in ascending order.
p, f, 4
Let f be -1 - (-6)/(-3) - 6/(-6). Sort 5, f, 1/34 in ascending order.
f, 1/34, 5
Let x = 0.3 - 0. Let l = x - 0.6. Sort -2/13, 3/2, l.
l, -2/13, 3/2
Let o be 2/(-7) - 52/14. Let w = 0.4 - 1.4. Let j = 0.538 + -0.038. Sort j, w, o.
o, w, j
Suppose 0*g = -4*a + 2*g + 8, 0 = -g + 2. Suppose -4*d = 3*u + 1, -a*d - 2*u + 2 = 3*u. Sort d, -8, 5.
-8, d, 5
Let h = -33 - -13. Let b be 8/10 + (-4)/h. Put -3, 2, b in descending order.
2, b, -3
Let a(o) be the first derivative of -o**2/2 + 4*o - 1. Let i = 15 + -11. Let t be a(i). Sort t, -5, -1 in descending order.
t, -1, -5
Let x(c) = -3 + 0 + 4 - c. Let h(v) = -v - 2. Let w be h(-5). Let q be x(w). Put -1/3, 0.5, q in descending order.
0.5, -1/3, q
Let l(i) = i**2 + 6*i. Let t be l(-6). Suppose 4*c + 17 = -n, t = -3*n - 3*c - 37 + 13. Let m = -6 + 10. Sort m, -4, n in descending order.
m, -4, n
Let q be (-92)/(-22)*-43 + 2. Let h = 178 + q. Let a be (-4)/16 - 31/(-28). Sort a, h, 3 in ascending order.
h, a, 3
Let r be ((-26)/(-14) - 2)*-1. Suppose q - 5*q + 20 = 0. Put 0.5, q, r in increasing order.
r, 0.5, q
Let j = 7.84 + -2.85. Let r = -0.01 - j. Sort r, 5, 0.5 in decreasing order.
5, 0.5, r
Let r(z) = -z**2 - 2*z + 5. Let h be r(-4). Sort -2, h, 1 in descending order.
1, -2, h
Let k(r) = r**3 + 2*r**2 - r. Let x be k(1). Suppose -9*l = 47 - 11. Put l, x, -5 in decreasing order.
x, l, -5
Let g be 6/18 + 0 + 1. Let o(h) = h + 7. Let i be o(-3). Let x be (-3)/(i/((-8)/(-3))). Sort x, g, 2.
x, g, 2
Suppose -2 = a - 1. Suppose 2*l + 2*l = 0, -2*h + 5*l = -10. Put h, a, 0 in decreasing order.
h, 0, a
Let n = 12 - 23. Sort -1, n, -2.
n, -2, -1
Suppose -5*p + 15 = 4*c, 3*p - 5*c = 5*p - 6. Put -1, -3, p in increasing order.
-3, -1, p
Let c = 16 + -7. Let t(i) = i**2 - 9*i - 3. Let l be t(c). Sort -1, 5, l in increasing order.
l, -1, 5
Suppose 20 = 5*u + 5*z, -14 = -4*u - 4*z + 2*z. Suppose -4*q = u + 5. Let s = -7 - -3. Sort -1, q, s.
s, q, -1
Let y be (-4)/(-7) - 62/(-14). Sort -5, 1, y in increasing order.
-5, 1, y
Let f = -2.1 + 0.1. Let u = 271/4 - 67. Let n = 1.1 - 1. Put n, f, u in decreasing order.
u, n, f
Let q = -69 - -66. Let h(c) = -c**3 - 2*c**2 + 2. Let g be h(-2). Sort 2/3, g, q.
q, 2/3, g
Let s(m) = -m - 14. Let k be -3 - (4 + -4 - -9). Let p be s(k). Put 4, 1, p in descending order.
4, 1, p
Let w = 1154 + -137327/119. Let h = w - 233/595. Sort 0.2, h, 0 in decreasing order.
0.2, 0, h
Let g = -0.353 - -0.053. Sort 0, g, -4, -1/2 in increasing order.
-4, -1/2, g, 0
Let b be 3 - -1 - (-68)/(-16). Suppose 0 = -t + 4 - 1. Let u be 10/(-8)*(-3 - -1). Put u, t, b in ascending order.
b, u, t
Suppose 0 = 5*f - 3*z + 7 - 9, f - 4*z + 3 = 0. Let s(a) = a**2 - 6*a - 1. Let u be s(6). Sort f, -3, u in increasing order.
-3, u, f
Let i = -14.76 + -0.24. Let k = -12 - i. Sort -1, -0.2, k in ascending order.
-1, -0.2, k
Suppose -5*x + 10 = -0. Suppose 2 = -x*f - 0. Put 4, f, -4 in decreasing order.
4, f, -4
Suppose -4*u + 14 + 2 = 0. Suppose u*h = -h. Sort h, 4, 8 in decreasing order.
8, 4, h
Suppose 2*a - 3*a + 3 = 0. Let k be (a/(-2))/(2/(-4)). Suppose -4*r + 6 = -2. Sort k, 4, r in ascending order.
r, k, 4
Let g(a) = -a - 4. Suppose 5*k = 5*y - 5, -k - y = -6*y + 17. Let r be g(k). Sort r, 0, -2 in descending order.
0, -2, r
Suppose 15 + 13 = 5*q - 2*w, 0 = -q + w + 8. Put 8, -3, q in increasing order.
-3, q, 8
Suppose 3*r - 9 = 9. Let j be r/(-4)*1/3. Let q(o) = -o**3 - 2*o**2 + 4*o + 7. Let u be q(-3). Sort -1, j, u.
-1, j, u
Let z = 38 + -43. Sort z, 7, 3 in increasing order.
z, 3, 7
Suppose 4*r - 13 = 3. Suppose 0*w - r*w + 32 = 0. Sort 2, -2, w in descending order.
w, 2, -2
Let a = 0.28 + 0.22. Let j be 1 - (4/6 - 0). Put a, -2/7, j in decreasing order.
a, j, -2/7
Let l = 0.04 - -0.26. Sort 2, 3, l.
l, 2, 3
Let z = 270 - 273. Suppose 4*u + 4 = -u + g, 3*g - 2 = 5*u. Sort 0, u, z.
z, u, 0
Let q(d) = 2*d - 5 + 4 + 0*d. Let s be q(3). Sort 4, s, 0 in descending order.
s, 4, 0
Suppose -2*u - 6 = -0. Let y be -3 + 6 + -2 + u. Let q be (0/(-2))/1 + y. Sort -5, 3, q in ascending order.
-5, q, 3
Let k be -2 + 6/2 + 3. Suppose -2*y + 5*a = 23, a - 23 = 4*y - 4. Sort y, -2, k.
y, -2, k
Let h(y) = -y**3 + 8*y**2 - 6*y - 10. Let k be h(7). Let s be 0 - k/(3/4). Let r be (0 + s - 2) + 0. Sort r, 3, 4.
r, 3, 4
Let t be (-1)/(-3)*(1 - 3). Let r be (8 - 0)/(-3 + 2). Let k = -5 - r. Sort 5, t, k in decreasing order.
5, k, t
Suppose 4*a - 5*u = -10*u - 11, 4*u = 5*a + 24. Sort 1/5, a, 3, 2/7 in decreasing order.
3, 2/7, 1/5, a
Let f be -2 - 11/(429/(-72)). Sort f, -0.3, 0 in ascending order.
-0.3, f, 0
Let y = 7.14 + -7. Let g = 0.04 - y. Sort -0.4, g, 2/9 in ascending order.
-0.4, g, 2/9
Let o = -1 - 3. Let l be (-3)/(-5)*2/6. Sort -2, o, l in increasing order.
o, -2, l
Let z = 0.076 - 2.136. Let m = z + 0.06. Put -0.1, -1/3, m in decreasing order.
-0.1, -1/3, m
Let k be (-2)/(-6)*3/(-2). Let b be -2*-9*(-3)/90. Put k, 0, b in ascending order.
b, k, 0
Let d = -4 - -2. Put d, 5, 1/4 in decreasing order.
5, 1/4, d
Let r be -2 + ((-4)/(-3))/2. Let a = -8 - -4. Let p = a - -3. Sort p, r, -1/9 in ascending order.
r, p, -1/9
Let s be (-2 + (3 - 1))/3. Suppose 7*h - 2*h = s. Sort -4, -2, h in ascending order.
-4, -2, h
Let m = 23 + -24. Let z = -1 + 5. Put m, -1/4, z in ascending order.
m, -1/4, z
Let x be (-2 - -1)*(0 + -1). Let h be ((-8)/(-10))/(3 - -1). Sort h, x, 1/2 in descending order.
x, 1/2, h
Let b = -4 - -5. Let u = b - 4. Let k = u + 3. Put 0.5, -3, k in descending order.
0.5, k, -3
Let u = 3.7 - 7.7. Sort 0.2, -0.15, u.
u, -0.15, 0.2
Let f(x) = -x**2 - 11*x - 4. Let u be f(-11). Sort -3/8, u, -2/13 in decreasing order.
-2/13, -3/8, u
Let g = -3 - -8. Let d(a) = -a**3 - 17*a**2 - 18*a - 32. Let p be d(-16). Put -5, g, p in decreasing order.
g, p, -5
Let m(w) = -2*w - 5. Let v be m(-5). Let o be ((-2)/10)/(2/v). Let b = -6 - -6.4. Sort o, b, -5/3 in increasing order.
-5/3, o, b
Let r = 13 - 4. Let w = -11 + r. Let l = w - -1.7. Put 6, -1, l in descending order.
6, l, -1
Let o(x) = x - 4. Let d = 0 + 6. Let f be o(d). Let t = 7 - 7.3. Put t, f, 1/2 in descending order.
f, 1/2, t
Let n = 5 - 5. Let v = n + -1. Let k = -12 - -12.5. Put v, k, -4 in decreasing order.
k, v, -4
Let y = 3 + -3.5. Put y, -1, 4 in descending order.
4, y, -1
Let o = 3.1 - 2.6. Put o, -1/7, -5 in increasing order.
-5, -1/7, o
Let a = -2.26 - -0.26. Sort 2, -3, a in decreasing order.
2, a, -3
Suppose -5*c + 2*w = 19, -2*w + w = -5*c - 17. Put -5, 1, c in descending order.
1, c, -5
Let w(i) = i**3 - 6*i**2 - i + 7. Let t be w(6). Put 4, t, 3 in ascending order.
t, 3, 4
Suppose 5*o - 26 - 24 = 0. Suppose -4*n = -5*s + o, 0 = -3*n - 4*s - s - 25. Sort -2, n, 2 in decreasing order.
2, -2, n
Let l = 38 - 38.46. Let h = l - -0.06. Let i = 0 - h. Sort 3, i, -1 in increasing order.
-1, i, 3
Let u = 17.83 - 18. Let i = u - 0.03. Let q = -3 + 6. Put q, -0.5, i in decreasing order.
q, i, -0.5
Let t = -43/2 + 169/8. Put t, -5, 0.1, -1 in increasing order.
-5, -1, t, 0.1
Let