reasing order.
-2, w, 1
Let b be (-2)/(-11) - 1572/(-66). Let v be -17 - -15 - b/(-10). Let j = -4/9 - -7/9. Sort v, 2, j in increasing order.
j, v, 2
Suppose -4*y - 2*g = -30, -3*g + 0*g = y - 10. Let d = -4 + y. Let r be ((-8)/(-10))/(d/15). Sort 3, 1, r in descending order.
r, 3, 1
Let j = 12.1 - 12. Put 2/3, j, 2/9 in descending order.
2/3, 2/9, j
Let k = -6 - -4. Sort 5, -1, k.
k, -1, 5
Let n = -7 - -5.8. Let q = 6.2 + n. Let z = -1 - -3. Put z, 1/2, q in increasing order.
1/2, z, q
Let t = -84 - -89. Sort -0.3, -11, 1/6, t in increasing order.
-11, -0.3, 1/6, t
Let v(a) = a - 4. Let c be v(6). Sort 0, -1, c in increasing order.
-1, 0, c
Suppose 5*v = -2*w + 2 - 8, -5*w - 15 = 5*v. Suppose 2*g + 5*t = 7, -g - 4*t + 8 = -v*g. Put 5, 0.1, g in ascending order.
g, 0.1, 5
Let p = 8 + -13. Let k be (-16)/4 - (-1 - -1). Sort k, p, 1 in descending order.
1, k, p
Suppose 2*d - 1 - 7 = 0. Suppose -d*q - 2*u - 2 = 0, -3 = 2*q - 4*u - 17. Suppose 3*a + 0*a - 14 = 5*x, a = x + 2. Put a, q, -5 in decreasing order.
q, a, -5
Let u = -2 - -7. Suppose 2*q = 2*h, 3*h + 2*h - 6 = -q. Put q, 2, u in increasing order.
q, 2, u
Let m be ((-4)/(-5))/(14/(-35)). Let t = 8 - 12. Put t, m, -0.3 in ascending order.
t, m, -0.3
Let y = -3.9 + -0.1. Let b = -11 - -15. Let r be 2/((8/6)/(-2)). Sort b, r, y in descending order.
b, r, y
Let t be (-8 + 6)*-1*1. Put -5, t, 6, -2 in increasing order.
-5, -2, t, 6
Suppose -9 = 2*a - 3*t, 1 - 4 = 2*a + 3*t. Sort 2, 3, a.
a, 2, 3
Suppose 0 = 4*m - 4. Let o = 3 - 6. Let d = 4 - 6. Sort d, m, o in increasing order.
o, d, m
Suppose 2*x - 8 = -2*x. Suppose -x = -g + 2. Sort 1, -5, g in descending order.
g, 1, -5
Suppose -2*v + 4*v - j = -2, -3*j = -3*v. Let b = -2 - -2.4. Let x = 0.3 - b. Sort -2/11, v, x in increasing order.
v, -2/11, x
Let g be -7*((-40)/35 - 2). Put -5, g, 3 in decreasing order.
g, 3, -5
Let s(a) = -a**3 + 4*a**2 + 7*a - 6. Let j be s(5). Sort j, 3, -2 in decreasing order.
j, 3, -2
Let b = -2 - 0. Sort b, -0.2, 3 in descending order.
3, -0.2, b
Suppose 15 = -3*f, -2*l + 5*f - 2 = -29. Let u(y) = -y**2 - y - 1. Let k be u(-4). Sort l, -4, k in descending order.
l, -4, k
Let r be -1 - -4 - (3 + 0). Sort -0.2, r, 0.4, -2/9.
-2/9, -0.2, r, 0.4
Let p = -12.1 - -12. Let w = 0.3 + 0.4. Let i = w + 0.3. Put p, 0.2, i in descending order.
i, 0.2, p
Suppose -3*y = -s - 14, -s = -2*s + 5*y - 22. Sort s, -3, 0, -4 in ascending order.
-4, -3, s, 0
Let b(z) = z**2 - z - 11. Let v be b(0). Let o = v - -4. Let h be (-13)/o + 6/(-3). Sort h, -0.3, -3/7 in increasing order.
-3/7, -0.3, h
Let b = 242 - 239. Suppose l = -3*l - 4. Put l, b, -1/2 in decreasing order.
b, -1/2, l
Let w(t) = -t**2 + 5. Let i be w(-3). Let q(k) = -k**3 - 5*k**2 - 5*k - 3. Let s be q(-4). Put s, -5, i in decreasing order.
s, i, -5
Let y be -85*(-3)/27*-3. Let c = y + 28. Sort -7, 0.2, c in descending order.
0.2, c, -7
Let q be 2/(-5) + (-115)/25. Suppose -3*i = -0*u - 5*u - 15, -i + u + 7 = 0. Sort q, i, 2 in increasing order.
q, 2, i
Let t = 0.03 - -3.97. Sort -1, -2, t in increasing order.
-2, -1, t
Let l(v) = v**3 - 4*v**2 - 4*v - 1. Let q be l(5). Let n be (24/(-20))/(q/10). Suppose -3*w + 7*w - 4*i + 4 = 0, -5*w + 10 = -2*i. Sort -5, n, w.
-5, n, w
Let w(i) = 2*i + 7. Let l be w(-6). Suppose 5*o = -2*x - 21, -x + 2*x - 12 = 2*o. Suppose p = -3*y + 1, 4*y - 4 = -x*p - 0. Sort p, l, 1.
l, 1, p
Let k(c) = -c - 1. Let l be k(0). Let n be ((-1)/(-3))/(2/(-18)). Put l, n, -2 in ascending order.
n, -2, l
Let j = 4.4 + -3.4. Put 0, 0.3, -3, j in increasing order.
-3, 0, 0.3, j
Let q = 0.68 + 0.02. Let t = -0.5 + q. Sort t, -1/5, 0.3 in increasing order.
-1/5, t, 0.3
Let c = -0.1 + -0.1. Sort c, 4, -2 in ascending order.
-2, c, 4
Let j = -1.4 - 3.6. Sort -12, -5/2, j in decreasing order.
-5/2, j, -12
Let u = 2.6 + -3. Let s = -11 - -20. Let q = -8.8 + s. Sort u, q, 4 in decreasing order.
4, q, u
Let r = 6 - 10. Put 5, 1, r in increasing order.
r, 1, 5
Let j(z) = z**2 + 2*z - 4. Let l be j(-4). Suppose -l*y - 1 = -5. Put -4, y, 3 in ascending order.
-4, y, 3
Let m = 49 - 47. Sort m, 23, -2.
-2, m, 23
Suppose 0 = 5*y + 3 - 8. Let l(c) = -c**3 + c**2 - c. Let m be l(0). Suppose -2*b + m*b - 4 = 0. Put y, b, -1 in descending order.
y, -1, b
Let i(z) = -z**3 + 10*z**2 - 6*z - 2. Let y be 2/4 + 34/4. Let n be i(y). Suppose -v = 4*v - n. Sort v, 3, 4.
3, 4, v
Let w = 35 + -34. Put -1, 2, w in decreasing order.
2, w, -1
Let d = 2.2 - 2. Let h be 282/126 - (-5)/(-3). Sort d, h, -2/11 in descending order.
h, d, -2/11
Let a be (1/(-3))/(5/(-30)). Put -3, 0, a in ascending order.
-3, 0, a
Suppose 0 = 5*g - 8 - 12. Let f be 6/8 + (-19)/g. Suppose 0 = 2*r - 3*r - 3. Put f, r, -1 in decreasing order.
-1, r, f
Suppose b - 3 = -3*s, 5*b + 4*s = -2 + 6. Suppose 0 = -2*n + 7*n. Let f = n + 1. Sort f, b, -2 in decreasing order.
f, b, -2
Let q = -2769113/35 + 79112. Let t = 29/5 + q. Let u = 7 + -10. Sort 3/8, t, u in decreasing order.
3/8, t, u
Let m = -0.03 + 0.02. Let l = m - 0.39. Let s = 3.4 + l. Sort 1, s, -1/7 in descending order.
s, 1, -1/7
Let b(t) = t**3 + 4*t**2 + 4*t. Let q be b(-3). Let o = -2 + 1. Sort o, 4, q in descending order.
4, o, q
Let y be 3/3 - (-10)/(-14). Let n be 86/3 + (-4)/6. Let f be ((-2)/n)/(6/24). Put f, y, 2 in descending order.
2, y, f
Suppose 0 = 5*z - 20, -2*n - 2*z = -7 - 3. Put n, 3, -11 in descending order.
3, n, -11
Let g = 23 + -13. Let f be 2/(-8)*10/g. Sort 6, 1/3, f in increasing order.
f, 1/3, 6
Let z = -9 + 8. Sort z, -4, 0 in increasing order.
-4, z, 0
Let t(u) = u**2 - 4*u + 3. Suppose 2 = -4*s + 10. Let h be t(s). Let o be (-4 + 1)/((-12)/(-8)). Sort o, h, 3 in decreasing order.
3, h, o
Let w = 8 + -5. Suppose k = w*k - 10. Put -3, 2, k in descending order.
k, 2, -3
Let y = 22 - 19. Sort y, -4, 2 in descending order.
y, 2, -4
Let z(o) = -o**2 - o. Let h be z(0). Let i(c) = -c**2 - 2*c + 4. Let k be i(-4). Sort -5, k, h in increasing order.
-5, k, h
Let y(k) = 38*k + 3. Let a be y(-3). Let o be -1 + (a/(-39) - 2). Let g = 51/2 + -25. Put 1/3, o, g in decreasing order.
g, 1/3, o
Let i(x) = -x**2 - 7*x - 7. Let s be i(-6). Let v be 20*(s + 7/4). Suppose 0*w - 3*w + v = 0. Sort w, -5, -2.
-5, -2, w
Let q = -4 + 2. Let p = 12 - 6. Let i be p/(-3) + (3 - -3). Put i, -0.2, q in descending order.
i, -0.2, q
Let m be 20/25 + (-12)/5*2. Put -3, m, 2 in increasing order.
m, -3, 2
Suppose 3*j - 2*o - 12 = -j, -5*j + 15 = 5*o. Let r(x) = -x + 5. Let n be r(4). Sort -1, n, j in descending order.
j, n, -1
Let s be (1/6)/((-3)/(-27)). Put s, 2, -1 in descending order.
2, s, -1
Suppose 2*c + 5 = -2*m + 5*c, -m + 5*c - 13 = 0. Let g be (2/6)/(1/3). Sort -4, g, m in increasing order.
-4, g, m
Let s(u) = -u - 6. Let l be s(-12). Let h be -3 + -1*(-14)/l. Put 0.2, h, -3 in decreasing order.
0.2, h, -3
Let n = 3 - 5. Suppose -5*v - 8 = 7. Let r be (0 + 8 + v)*1. Put 0, r, n in descending order.
r, 0, n
Suppose -2 = 5*l + 18. Suppose 0 = -3*f + 2*r + 4 - 12, 0 = -2*r + 8. Suppose f = -2*z + 9 - 5. Sort z, l, -1 in decreasing order.
z, -1, l
Suppose -t = 172 - 175. Put t, -10, -4 in decreasing order.
t, -4, -10
Let t = -0.65 - -0.15. Put 0.3, -4, t, 0 in increasing order.
-4, t, 0, 0.3
Let b(z) = -z**2 + 9*z - 10. Let f be b(8). Let d be f/1 + 46/22. Put -1/4, 4, d in decreasing order.
4, d, -1/4
Let a be 1/3 - 90/27. Let z(l) = -4 + 0*l - 3*l + 2*l. Let y be z(a). Put 1, y, -1/2 in decreasing order.
1, -1/2, y
Let d = 0.361 - 0.061. Let a = 7.7 - 8. Sort d, a, 5/4 in descending order.
5/4, d, a
Let x(r) = -r**2 + 7*r + 1. Let l be x(8). Let z = l - -4. Sort 3, 4, z in ascending order.
z, 3, 4
Let q be ((-30)/9)/2 + 4/(-12). Put -1, 4, q in increasing order.
q, -1, 4
Let u = 24/5 + -67/15. Let n be 1/75*5 + (-2)/3. Sort u, n, 9.
n, u, 9
Let z = 1.6 - 2. Sort -3/4, 0.5, z.
-3/4, z, 0.5
Let y = -34 + 33.8. Put 3/7, 0.3, y in descending order.
3/7, 0.3, y
Suppose 0 = 5*i - 15, -5*d + i + 19 = 2. Suppose -p + 20 = d*p. Let h be p/6*(4 - 1). Sort -4, 3, h in descending order.
3, h, -4
Let u = -0.05 - 1.95. Suppose -4*w + 22 = 6. Suppose -5*i - 2*g = -w*g - 14, -26 = -5*i - 2*g. Put i, 3, u in descending order.
i, 3, u
Suppose 3*x = 2*x + 1. Let s = 16 + -10. Suppose -o = -4*c - s, -2*c - 7 = -3*o + 1. Put -3, c, x in decreasing order.
x, c, -3
Let v be 12