1 in descending order.
m, -1, d
Suppose 5*w - 9 = 2*u, -u - w + 12 = 2*u. Sort u, -1, -3 in increasing order.
-3, -1, u
Let s be (4/(-6))/(4/(-30)). Let p be ((-3)/27)/(8/24)*-12. Put s, p, 6 in descending order.
6, s, p
Let b = -23.6 + 24. Let m = 11 + -11.9. Sort b, 0.2, m in increasing order.
m, 0.2, b
Let h = 2 - 2. Let u(o) = -o**3 - 5*o**2 - 5*o - 1. Let l be u(-4). Put l, h, -2 in ascending order.
-2, h, l
Let o = 10 + -5. Let a = 0.5 + -0.6. Put a, 2, o in descending order.
o, 2, a
Let n(a) = -a - 5. Let z be n(-5). Sort 4, 5, z in descending order.
5, 4, z
Let s = -5.09 - -0.09. Suppose 2*q - 5*q - 33 = 0. Let g = -12 - q. Put -3, g, s in increasing order.
s, -3, g
Let v be 2 + (5 - (-9)/(-3)). Suppose -5 = -5*m - 5*a, a + 2*a - 2 = -v*m. Sort m, 3/7, 3 in increasing order.
m, 3/7, 3
Let v(y) = 15*y**3 + y**2 - y + 1. Let w be v(1). Sort -1, w, 0.
-1, 0, w
Suppose -5*h = 3*k + 2*k + 50, -h - 5*k - 18 = 0. Let d = h - -5. Suppose 4*t - 3 = 1. Sort d, t, 3 in increasing order.
d, t, 3
Let y = 163 + -1143/7. Let w = 35.6 - 41. Let b = w - -0.4. Put y, b, -4 in ascending order.
b, -4, y
Suppose 0 = -5*u - 0*i + 2*i - 28, 36 = -4*u + 5*i. Let z be 44/10 - (-14)/(-35). Suppose -n = -z*n - 9. Put u, n, -1 in increasing order.
u, n, -1
Let n = -152 + 146. Put 5, n, 1 in ascending order.
n, 1, 5
Let t = -43 - -41. Sort t, -1, 5 in increasing order.
t, -1, 5
Suppose -1 = -g - 6. Let p(f) = -f**3 - 6*f**2 - 5*f + 2. Let t be p(g). Put 5, -2, t in increasing order.
-2, t, 5
Suppose -6*h + 10 = -h - 3*u, -5*u = 2*h - 35. Let g be (5 - 5)/(1 + -3). Sort -2, g, h in ascending order.
-2, g, h
Suppose 12 = 2*j + j. Let n be (-4)/(-11)*(-2)/j. Put -5/4, n, -2 in ascending order.
-2, -5/4, n
Let p(y) = -2*y - 10. Let v be p(-7). Suppose -i - v = i. Put -4, -3, i in descending order.
i, -3, -4
Suppose -3*g + 2*k = 14, 4*g - 4*k + 28 = k. Let q be 452/(-22)*(-2)/(-16). Let c = q - -11/4. Sort g, c, -0.4.
g, -0.4, c
Let b(f) = 4*f - 7. Let v be b(3). Sort 3, -1, v in descending order.
v, 3, -1
Let i(z) = -z**3 + 6*z**2 - 4*z. Let k be i(5). Put k, 3, 4 in ascending order.
3, 4, k
Let h = -0.3 - 0. Suppose -3*l = -10 + 22. Put 2/11, h, l in ascending order.
l, h, 2/11
Let q = 3 - 5. Suppose -3*g + 10*g + 7 = 0. Sort -7, g, q in decreasing order.
g, q, -7
Let s = 58 + -58.3. Sort s, -0.07, 2 in increasing order.
s, -0.07, 2
Let v = -3 + 8. Let b = -13/110 + 3/10. Let m = 1/26 + 47/130. Put v, b, m in descending order.
v, m, b
Let q be (-192)/(-33) + -1 - 8/(-44). Sort q, -2, -5 in ascending order.
-5, -2, q
Let f(m) = m**3 - 5*m**2 + 2*m - 6. Let w be f(5). Suppose -3*k = -2 + 8. Sort w, -0.2, k in decreasing order.
w, -0.2, k
Let d = 0.9 - 1. Sort -1, d, -2 in increasing order.
-2, -1, d
Let g = -0.059 - 0.341. Put g, 1/4, 4, 2/5 in decreasing order.
4, 2/5, 1/4, g
Let h = -41 + 38. Put h, 0.2, -7 in descending order.
0.2, h, -7
Suppose -5*k - 4*y - 25 = -2*y, 0 = -4*y. Put 6, k, 2, -2 in decreasing order.
6, 2, -2, k
Let l(t) = -5*t**2 + 1. Let a be l(1). Let q be a/(-14)*(-7)/(-9). Let n be ((-1)/(-5))/(4/(-10)). Put 1, n, q in descending order.
1, q, n
Let o be 3*((-6)/4)/(18/16). Sort -4/5, -0.4, 1, o in decreasing order.
1, -0.4, -4/5, o
Suppose 3*k - 3 + 0 = 3*j, -k - 11 = 5*j. Let v be (-68)/(-12) - 4/6. Sort k, v, 2 in ascending order.
k, 2, v
Let r(g) = 5*g. Let k be r(-1). Let l be (0 - -4) + (-8 + 6 - 6). Put l, k, 1 in descending order.
1, l, k
Suppose 4*p + 15 = 7*p. Suppose -22 + 7 = 3*d. Put 2, p, d in descending order.
p, 2, d
Let h be (2 + -1)/(-1*1). Let k(l) = -l - 5. Suppose 0 = -b - 7 - 2. Let y be k(b). Put h, y, 0 in ascending order.
h, 0, y
Suppose 0*k = 3*k - 9. Let o(p) = p - 2. Let i be o(0). Put 2, k, i in increasing order.
i, 2, k
Let n be (-18)/12 - 2707/4. Let g = n + 8711/12. Let c = g - 48. Put 1, -3, c in ascending order.
-3, c, 1
Let k(y) = y**3 + 9*y**2 - 12*y - 5. Let l be k(-10). Suppose -2*c = -13 + l. Put c, -5, 0 in descending order.
0, c, -5
Let u(b) = -b. Let y be u(-2). Let l = y + -1. Suppose 0 = -3*d + 2*g - 2 + 11, 5*d - 15 = 5*g. Put -3, d, l in ascending order.
-3, l, d
Let l(x) = x**2 - 3*x - 7. Let i be l(5). Suppose 90 = 49*w - 43*w. Put i, -2, w in ascending order.
-2, i, w
Let g(l) = 3*l + 59. Let x be g(-19). Sort 6, -1, 1, x in decreasing order.
6, x, 1, -1
Let g be 1*5 + 1 + -2. Let w = 14 - 9. Suppose 0*m = w*m + 5*q + 5, -5*q + 40 = -4*m. Put 3, g, m in descending order.
g, 3, m
Let a(i) = -2*i**3 + i**2 + 8*i - 5. Let v be a(-5). Let w be 1/9 + v/(-45). Sort -1, 5, w.
w, -1, 5
Let q be (-6 - -1) + 3 + -4. Let m be (2/3)/((-2)/q). Suppose m*h = -2*w - 2 - 4, -1 = 2*h + w. Sort -2, -4, h in ascending order.
-4, -2, h
Let j = 0.3 - 0.2. Let b = j - 0. Let t(h) = h - 1. Let l be t(4). Put l, b, 1 in decreasing order.
l, 1, b
Suppose -3*q + 6*q - 9 = 0. Sort q, -4, 0 in decreasing order.
q, 0, -4
Let n = -0.02 - 0.78. Let o = 2.8 + n. Sort 6, o, -1 in increasing order.
-1, o, 6
Let n be (19 + -17)/(8/6). Suppose -2*d = -0*d + 3*i - 10, 12 = d + 5*i. Sort d, n, -0.2 in descending order.
d, n, -0.2
Let x = -0.17 + -0.33. Suppose -5*z + 12 = -3. Let q be (1/(-16))/(z/(-6)). Put x, -1/5, q in descending order.
q, -1/5, x
Let o be 5/(-4)*7/35. Let c = -7.3 - -7. Put c, 2, o in ascending order.
c, o, 2
Suppose -12 + 20 = 2*o. Sort -2, 0, o, -4.
-4, -2, 0, o
Let v be (0/(-5))/(1 + 1). Suppose -2*r - 4*k - 7 - 1 = v, -5*r = -k - 13. Let g be (0 + 0)/(2/r). Sort 3, g, -2 in decreasing order.
3, g, -2
Let a be (-4)/10*25/(-10). Let v = -1 + a. Let t be 1/(0 - (v + 1)). Put 2, 0, t in decreasing order.
2, 0, t
Let b = 2/27 + 4/675. Sort -3/5, 3, b.
-3/5, b, 3
Let p be 1*1/(-2)*-2. Suppose 26 = 3*v + 4*u, -4*u = v - 19 - 3. Suppose v*h + p = -3. Put 4, h, -3 in ascending order.
-3, h, 4
Suppose 4*g - 1 + 13 = 0. Sort g, -18, -1, 2 in ascending order.
-18, g, -1, 2
Let c be ((-4)/6)/((-85)/15 + 6). Let f be 17/(-4) + (-1)/(-4). Sort f, 5, c in increasing order.
f, c, 5
Suppose 2*a - 21 = -5*y, 3*a - 6 = -y + 2*y. Suppose -2*z - 3*f + 7 = -4*z, z + 5 = 3*f. Sort a, z, -1.
z, -1, a
Suppose -q - 2*q - 9 = 0. Suppose -5 = 2*j - 2*v - 27, -19 = -4*j - v. Suppose -b = -j*b. Put -2, q, b in ascending order.
q, -2, b
Let c(f) = f**2 + 6*f + 3. Let n be c(-4). Sort -1, 0, n, 1/7 in descending order.
1/7, 0, -1, n
Let v = 0 + 1. Let y be 82/(-26) + (-2)/(-13). Let h = 0.4 + -0.8. Put v, h, y in descending order.
v, h, y
Let p(q) = q**2 + 3*q + 4. Let a be p(-3). Suppose a*k + 31 = -3*f, 4*f + 28 = -3*k + k. Sort 1, -5, k.
-5, k, 1
Let q(w) = -w**3 - 7*w**2 - 6*w - 3. Let h be q(-6). Suppose -c = 4 - 7. Suppose -c*t + t = 0. Sort t, h, 1 in descending order.
1, t, h
Suppose 4*d + 3*q - 16 = 0, 5*q = -5*d + 17 + 8. Sort -4, 2, d, 1/5 in increasing order.
-4, 1/5, d, 2
Suppose 0 = r - 2. Let n(h) = 3*h - 3*h + r*h. Let u be n(-1). Sort 0.4, u, -4 in ascending order.
-4, u, 0.4
Let s = 5.8 + -6. Let i = 12 + -29. Let m = 12 + i. Put s, m, 2/7 in descending order.
2/7, s, m
Suppose 5*j + 2*n - 4 = 0, 5*j - 5*n + 0*n = -10. Sort -4, j, 2 in decreasing order.
2, j, -4
Suppose 0 = 5*y - k + 13, -4*y - 2*k - 13 = -y. Let i(g) = 7*g**2 - g**3 + 4*g - 4*g. Let n be i(7). Sort 4, n, y in decreasing order.
4, n, y
Let v(p) = p**3 - 5*p**2 - p + 6. Let i be v(5). Let f be -2*(2 - i - 2). Put f, 3, -2 in decreasing order.
3, f, -2
Let d be (-5)/(2/(-6)*-3). Let a be 18/10 + (-1)/d. Suppose -a*t = 2*t - 16. Put -2, 0, t in decreasing order.
t, 0, -2
Suppose 2*c = -4*x + 7*c + 1, 4*c = 4*x - 4. Sort -4, x, -3, 0.
-4, -3, 0, x
Let w = -13 - -18. Let a = -21 - -16. Put a, -3, w in descending order.
w, -3, a
Let a(q) = -q + 14. Let v be a(11). Suppose 0 = v*w - 5 - 7. Sort 0, -3, w in ascending order.
-3, 0, w
Let y = -707/5 - -142. Sort 4, y, -0.5, 0 in descending order.
4, y, 0, -0.5
Suppose -3*a + 3*t + 0*t + 12 = 0, 3*a - 2*t = 8. Put -1, 33, a in descending order.
33, a, -1
Let y be (-1)/16*-4*2. Put y, -5, 6 in increasing order.
-5, y, 6
Let n = -49.4 + 49. Sort 1, n, 2 in ascending order.
n, 1, 2
Let x = 27 + -15. Suppose 2*t - 5*t = -x. Put -4, t, 5 in ascending order.
-4, t, 5
Suppose -7 = -6*p + 5. Sort -1, p, -2 in ascending order.
-2, -1, p
Let d = 29.69 + -30. Let i = -0.01 - d. Let w = 1 - 0.9. Sort i, 0, w.
0, w, i
Let g be -