 Let a be s(9). Let h = -3 - -8. Sort 0, a, h in descending order.
h, a, 0
Suppose 0 = 8*i - 5*i + 12. Let w = 4 - 4.5. Sort 3, i, w in descending order.
3, w, i
Suppose 2*n = 4*n + 10. Let x be 50/(-15)*6/n. Put 0, x, 1 in decreasing order.
x, 1, 0
Suppose 0 = 2*i - 124 - 4. Suppose -80 = -4*l - 4*u - 32, 4*u = 3*l - i. Suppose -h - l = -5*h. Sort h, -2, 5 in ascending order.
-2, h, 5
Suppose 0 = 3*j - 2*c - 5, j - 5*c + 7 = 0. Let l = -126 + 123. Put j, l, -2 in increasing order.
l, -2, j
Let y = -0.34 + 0.04. Let z = 0.5 + -0.7. Let v = -5.2 + 0.2. Put y, z, v in ascending order.
v, y, z
Let g(p) = -p**2 + 2*p. Suppose -5*r - 2*h + h + 10 = 0, 5*r + 3*h = 0. Let j be g(r). Sort 2, 4, j in increasing order.
j, 2, 4
Suppose -3*z + 2 = -n, 2*n - 16 = -2*n. Suppose 11 = 4*v - r, 3*v - 3*r + 2 = 17. Suppose -v*f = -0*f - 8. Sort 1, z, f in increasing order.
1, z, f
Let c = 4.8 + -5. Sort c, -1/8, 0.03 in decreasing order.
0.03, -1/8, c
Let t = 0.38 + -0.28. Sort -4, -0.14, t.
-4, -0.14, t
Let s = -38/5 - -104/15. Let g = -4.868 - 0.032. Let i = g - -5. Put s, i, 3 in ascending order.
s, i, 3
Let a = 172/355 - 6/71. Let h = 1.06 - 1. Sort a, h, -0.4 in descending order.
a, h, -0.4
Suppose 6 = -6*y + 3*y. Suppose 0 = -7*a + 8*a - 5. Suppose -a*g + 7 = -3. Put g, 0, y in descending order.
g, 0, y
Let j = -5 - -4. Let d = 4425 + -21896/5. Let k = -5257/115 + d. Sort j, -3, k.
-3, j, k
Let j = 1 + -4. Let d = -6 - -3. Let s(g) = g - 1. Let m be s(d). Put 5, m, j in increasing order.
m, j, 5
Suppose 2 = -h + 3. Let l = 16 - 22. Let a = -4 - l. Sort h, 5, a.
h, a, 5
Suppose -11 = -5*s - 1. Suppose -7 = s*g - 1, 2*h = -3*g - 7. Sort h, -5, 3.
-5, h, 3
Suppose 6*v = -2*v + 9*v. Let t(k) = -k**3 + k**2 + 2*k - 2. Let d be t(2). Put 5, d, v in descending order.
5, v, d
Let f = 0 - 1. Let p = -82 + 78. Put f, p, 2/11 in descending order.
2/11, f, p
Let q = -25 + 14. Sort -0.4, -1/4, -2, q in decreasing order.
-1/4, -0.4, -2, q
Let q be 3/9*-5*3. Put -4, -1, q in ascending order.
q, -4, -1
Suppose -2*g = 3*k + 14, 4*k - 5*k - 4*g - 18 = 0. Suppose -167 + 32 = 27*q. Sort k, -3, q in decreasing order.
k, -3, q
Let d = 0.01 + -2.01. Let q = 5 - d. Let u = q + -10. Put u, 4, 1 in decreasing order.
4, 1, u
Let d = -0.2 - -0.3. Let n = 8 - 7.7. Let g = n - d. Sort g, -3/8, 1.
-3/8, g, 1
Let k = 67 + -35. Suppose -2*u - 2 - 11 = i, -k = 4*i + 4*u. Sort -4, 4, i in decreasing order.
4, i, -4
Let i = 2 - 2.3. Put i, 2, 1 in decreasing order.
2, 1, i
Let p be 2/(-2) + 15/10. Let g = -48 + 33. Let a = g + 10. Sort 0.3, a, p in increasing order.
a, 0.3, p
Let d = 0.04 - -0.96. Let j = 0.06 - -1.14. Let x = d - j. Sort x, 3, 2/5.
x, 2/5, 3
Let o = -0.8 - -4.1. Let n = o + -0.3. Put -3/5, n, 2/13 in decreasing order.
n, 2/13, -3/5
Let m(n) = -4*n**3 + 2*n**2 - n. Let s be m(1). Let k = 2 - 1. Sort s, -2, k in ascending order.
s, -2, k
Let f = -14.6 - -19.73. Let d = 0.13 - f. Sort 2, 1, d in descending order.
2, 1, d
Let m = -20 - -26. Let a be -4 + m - (2 + 3). Sort -5, -4, a.
-5, -4, a
Let a = 0.8 - -5.2. Let g = a - 4. Let o(b) = b**3 - 122*b + 16. Let v be o(11). Put v, g, -1 in ascending order.
-1, g, v
Let t = -5.93 + -0.07. Let r = -2 - t. Let a = 3.4 - 3.2. Sort r, a, -5 in descending order.
r, a, -5
Let d = -21 - -26. Sort d, 1, 14 in decreasing order.
14, d, 1
Suppose 3*k + k = 3*l + 3, 4*l = 4*k. Put -2, k, 6 in descending order.
6, k, -2
Suppose 2 = -5*v + 3*v. Put -4, 4, 2, v in decreasing order.
4, 2, v, -4
Suppose -3*o + 4 = -2*o. Suppose o*s + 4 = 6*s. Suppose -2*h = -4*h + 2*a + s, -3*h + 23 = 2*a. Put -1, h, -2 in increasing order.
-2, -1, h
Let v(l) = -l - 10. Let z be v(-5). Put z, 5, -1 in decreasing order.
5, -1, z
Let a = -0.04 - -0.05. Let f = a - -0.99. Sort f, -2/3, 1/2.
-2/3, 1/2, f
Let u = -10 + 16. Let n = u + -3. Suppose 30 = -5*r - 4*a, 0 = -r - 2*r - n*a - 21. Sort 0, r, 5 in descending order.
5, 0, r
Suppose 19*v - 16*v - 3 = 0. Let x be -4 + -2 - (-2 - 0). Put v, x, -5 in decreasing order.
v, x, -5
Suppose 0*m - 8 = 4*m. Suppose 2*w - 6*w - 30 = -2*u, w + u + 3 = 0. Let x = m - w. Put x, 3, -1 in increasing order.
-1, 3, x
Let p = -2 + 1.4. Let f = -0.4 - p. Let z = -5 + 7. Put f, z, -2/7 in descending order.
z, f, -2/7
Suppose k + 0*k = -o, -5*k = 2*o - 3. Suppose 10 = 3*m - 4*f - 10, -3*m + 22 = -5*f. Sort -5, m, o in descending order.
m, o, -5
Let m = 5.02 - 0.02. Let j = -1 + m. Let h = 6 - 6.3. Put j, h, -2 in descending order.
j, h, -2
Let s be ((-273)/(-98))/13*(3 - 1). Sort -0.1, 4, s, 0.2.
-0.1, 0.2, s, 4
Let v(k) = k + 2. Let a be v(-2). Let h = -273/5 - -55. Put -0.2, h, a in increasing order.
-0.2, a, h
Let t = 0.8 - 3.8. Let i = 88.9 + -89. Put i, 0.4, t in decreasing order.
0.4, i, t
Let l(s) = 11*s - 7. Let i be l(7). Suppose -6 = 4*n - i. Suppose -4*x + n = 4*a, -2*a + 1 = -3*x - 2*x. Sort x, -5, -2 in descending order.
x, -2, -5
Let m be (0 + (-8)/(-6))/((-520)/(-60)). Put -5, 0.3, m, -0.2 in descending order.
0.3, m, -0.2, -5
Let i be -1 + 3 + (-10 - -7). Sort -3, i, 1 in ascending order.
-3, i, 1
Suppose -5*q - 2*b = 51, 3*b = -4*q + 14 - 52. Let y = -6 - q. Let r(o) = o**2 - 4*o - 4. Let l be r(y). Sort -2, l, 2.
-2, l, 2
Let i be (4/(-6))/((-6)/27). Let p = -1.95 + -0.05. Sort p, i, 0.5 in descending order.
i, 0.5, p
Let g be (1/(-5))/((-78)/(-195))*-2. Suppose 6 = 4*c - 10. Put -4, c, g in increasing order.
-4, g, c
Let o(a) = -a - 1. Let y be o(-5). Let c = -4 + 4.2. Let r = 1 - 1.2. Sort c, y, r in decreasing order.
y, c, r
Suppose 0 = 2*l - 5*y + 20, -l = 3*y - 2*y - 4. Let i be -3 + l/(-2 - 0). Put -1, i, -4 in decreasing order.
-1, i, -4
Let x = 51587063/230 + -224291. Let s = 1/46 + x. Let v = 7 - 12. Put s, v, -2 in ascending order.
v, -2, s
Let n = -3 - 2. Let s = -76 - -31. Let q be -3 + 129/s*-1. Sort 5, n, q in decreasing order.
5, q, n
Let r = 1019/2532 + 3/211. Let x = r - 2/3. Put 2/11, -4, x in increasing order.
-4, x, 2/11
Suppose 31*x + 46 = -16. Let i be ((-4)/3)/((-1)/3). Put i, -5, x in ascending order.
-5, x, i
Let x be -4 - (-4 - 4/22). Put x, 5, -1/8 in descending order.
5, x, -1/8
Let i be 3 + 1 + (-4)/(-4). Suppose -b = -2*b - 2. Let y be (b - -1)/(i + -4). Sort 1, y, -2.
-2, y, 1
Suppose -5*d - 2*v + 76 = 2*v, -5*v - 16 = -3*d. Let i be (-1)/(-3) + d/(-9). Let l be 1 + (6/4)/i. Put 4, l, -4 in decreasing order.
4, l, -4
Let d(q) = 5*q**2 - q - 1. Let o be d(-1). Put 2, o, -5 in decreasing order.
o, 2, -5
Let i be (0 - 0)/(1/1). Let v = 1 + i. Sort 2/13, 3, v in decreasing order.
3, v, 2/13
Let x(i) be the second derivative of -i**4/12 + 5*i**3/6 - 4*i**2 - 6*i. Let m be x(4). Sort m, -2, 7.
m, -2, 7
Let g be (6 + -7 - 36/(-39))*-2. Sort g, 0.2, -2/13.
-2/13, g, 0.2
Suppose -4*h = -h + 3. Let x(a) = a**3 - 11*a**2 + 11*a - 13. Let n be x(10). Let g = n + 6. Sort h, -5, g in descending order.
g, h, -5
Suppose 0*w - 50 = 5*n + w, -50 = 5*n - 4*w. Sort n, 2, 5 in descending order.
5, 2, n
Let n be (-2)/(-2)*-1*5. Put 1, 3, n in decreasing order.
3, 1, n
Let s = -31 + 37. Sort s, -2, 0 in decreasing order.
s, 0, -2
Let t = 79 - 75. Put -5, t, -3, -4 in increasing order.
-5, -4, -3, t
Let x = 21 + -13. Let y = x + -9. Put 1/10, -0.5, y in increasing order.
y, -0.5, 1/10
Suppose 10 = -3*s + 22. Let x be 2/8 + 1/4. Sort 5, s, x in increasing order.
x, s, 5
Let p = -0.1 + -0.2. Sort -1, p, 0.2 in decreasing order.
0.2, p, -1
Let w(c) = -c**2 + 2*c + 3. Let l be w(5). Let o be 10/(-6)*l/(-8). Let p be -13*(-1)/(-4) + 3. Sort p, o, -0.5.
o, -0.5, p
Suppose 4*k = -0*k + 16. Suppose 4*h + 18 = 3*z, 3*h + 12 = -k*z + 36. Let q be (z/4)/((-3)/(-8)). Put q, -2, 5 in ascending order.
-2, q, 5
Suppose -2*g - 14 = -5*j + 6, 10 = -2*g. Put 1, -5, j in increasing order.
-5, 1, j
Let z = 6.893 + 0.107. Sort z, 1/5, -0.4, 3/5.
-0.4, 1/5, 3/5, z
Suppose -5*x - 5*h = -9 - 1, 2*x + 5 = -5*h. Suppose 7*a - 8*a = 3. Put x, 2/11, a in decreasing order.
x, 2/11, a
Let u = 0.6 - 2. Let d = -1 - u. Put 1/2, d, -3 in increasing order.
-3, d, 1/2
Suppose 0*f + 5 = -3*f + 4*w, 0 = 4*f + 2*w - 30. Suppose -q = -3*q. Sort q, f, -3 in descending order.
f, q, -3
Let d = -2 + 3. Suppose p + 3 = 2. Let q be (4 - p*2) + -2. Sort -2, d, q in increasing order.
-2, d, q
Let j(p) = -p**2 + 5*p + 8. Let w be j(6). Sort w, -5, -1 in 