reasing order.
u, 1, c
Let s = -0.01 - -0.31. Let m = s - 0.4. Sort 1/4, 0, m.
m, 0, 1/4
Let v be -11 + 15 - 0/(-1 - -2). Let l = -1.3 - -0.3. Sort l, 0.06, v in ascending order.
l, 0.06, v
Let b be 26/8 - 2/8. Suppose 0 = -12*o + 8*o + 76. Let u = o + -14. Sort -5, b, u in descending order.
u, b, -5
Let l = -6 - -7. Let n be 5/((-4195)/2) - 0. Let j = n - -2531/5873. Put -1, j, l in ascending order.
-1, j, l
Let s(m) = m**2 - 5*m + 1. Let j be s(6). Let y = 6 - j. Sort -4, 2, y.
-4, y, 2
Suppose v = 6*v. Let k(p) = 2*p**2 - 5*p + 4. Let b be k(3). Sort v, b, 1 in increasing order.
v, 1, b
Suppose 7*k - 13*k + 12 = 0. Sort -16, k, -4.
-16, -4, k
Let j(x) = x**3 - 2*x**2 - 6*x - 12. Let u be j(4). Suppose -3*l - 12 = -3*s - 0*l, l - 20 = -5*s. Put u, s, 5 in increasing order.
u, s, 5
Let u be 2/4*0/(-1). Suppose -2*g = -4*a - 12, -a + u*a - 3 = 2*g. Let j = -0.1 + -0.3. Put j, 0, a in increasing order.
a, j, 0
Let o = 0.2 + 0.1. Let q = 3/193 + -9671/1351. Let u = q - -264/35. Sort u, o, -1.
-1, o, u
Let i = 40 - 39.82. Sort 0.1, i, 0.3.
0.1, i, 0.3
Suppose -2*q + 8 = -0. Let r = 15 - 6. Let l = r - q. Put 1, -5, l in descending order.
l, 1, -5
Suppose 6 = -6*k + 24. Sort -9, -3, k in descending order.
k, -3, -9
Let y(f) = -5*f**3 + f**2. Let l be y(1). Let p = 4 - 4. Put p, 5, l in decreasing order.
5, p, l
Let k be -6 + ((-248)/(-20) - 6). Let z = 0.3 - 0.26. Let f = z - -1.96. Sort k, f, -0.4.
-0.4, k, f
Suppose -5*g + 21 = l + l, 0 = -4*l + 12. Let f be (-2)/g - (-2)/3. Suppose 0 = -f*o - 3*o - 3. Put -3, o, -2 in decreasing order.
o, -2, -3
Suppose 13 = -5*q - 17. Let j(d) = d**3 + 6*d**2 - 2. Let b be j(q). Suppose 4 = -t - 3*t. Put 2, b, t in ascending order.
b, t, 2
Suppose 0 = z - 31 + 29. Sort -5, -4, -11, z in decreasing order.
z, -4, -5, -11
Let v = -39 - -36. Put 4, 5, v in decreasing order.
5, 4, v
Let m = 0.5 - 0.45. Put m, -4, -5 in increasing order.
-5, -4, m
Let j(l) = l**2 + 8*l + 8. Let v be j(-7). Let k be 679/1197 + (0 - v). Let p = 4/19 + k. Sort 1, -4, p in increasing order.
-4, p, 1
Let c(f) = -f**3 + 16*f**2 - 16*f + 18. Let x be c(15). Sort -1, x, 2.
-1, 2, x
Let y = -12.5 + 12. Let k = -0.4 + 2.4. Put y, k, 5 in decreasing order.
5, k, y
Suppose -5*t - 22 = -7. Let i(a) = 0*a**2 + 3 + a**2 + a + 4*a. Let o be i(-5). Put t, 5, o in increasing order.
t, o, 5
Let r = -527/4 + 131. Suppose 0 = -3*w + 4*a - 10 + 44, 0 = -a - 4. Sort -2/17, r, w.
r, -2/17, w
Let r be ((-4)/12)/(1/(-3)). Suppose 0 = -14*k + 18*k. Sort r, k, -3 in increasing order.
-3, k, r
Let p be ((-34)/8 - -3)/((-2)/16). Put 0, 3, p, -3 in descending order.
p, 3, 0, -3
Suppose 5*h = 2*z - 3, -7*z + h = -4*z - 11. Sort z, -1, -2 in descending order.
z, -1, -2
Suppose x + 2 = -2. Put 5, 2, x in increasing order.
x, 2, 5
Let m = 3 + -2.5. Let w = -5/9 + 7/45. Sort 5, m, w.
w, m, 5
Let b = -104/627 + 2/33. Suppose -5*x + 79 - 9 = 0. Let t be (-52)/x - 4/14. Sort b, t, -1 in descending order.
b, -1, t
Let p = -11 + 13. Suppose -7*s = 12 + 2. Put s, p, 4 in descending order.
4, p, s
Suppose 2*u - 4*s + 0 = 6, -s + 21 = 4*u. Sort -4, u, -1 in increasing order.
-4, -1, u
Let q = 1.9 - 2. Let v = 8/13 + -61/78. Sort -6, v, q in increasing order.
-6, v, q
Let u be (-3)/(-12) + (-73)/(-20). Let x = u - 17/5. Sort 1/3, 1, x in ascending order.
1/3, x, 1
Let z = 39 + -35. Suppose -2*o - 16 = 2*o. Sort -1, z, o in decreasing order.
z, -1, o
Let w = 35 + -35.1. Put w, 4, 1/2 in decreasing order.
4, 1/2, w
Let t = 13 + -11. Suppose 3*d + 8 = 2*f + t*d, -16 = -2*f + 3*d. Put 0, f, -5 in decreasing order.
f, 0, -5
Let k = 0.4 + -0.3. Sort k, 5, 0.2 in descending order.
5, 0.2, k
Let f = -18 + 161/9. Let y = -72 + 72.31. Let s = 0.09 + y. Put f, s, 4 in ascending order.
f, s, 4
Let z = -0.8 - 6.2. Sort z, -0.2, 1/6 in decreasing order.
1/6, -0.2, z
Suppose 0*d = 3*d. Sort d, -4, -3.
-4, -3, d
Let w be 6/15*(-1 + -4). Let h(a) = a + 8. Let b(q) = -2*q - 16. Let m(x) = -3*b(x) - 5*h(x). Let f be m(-8). Put f, -4, w in ascending order.
-4, w, f
Suppose -u = 2 - 3. Let p = 7 + -4. Suppose 0 = -5*n - 3*q + 4 - 1, p*n = q - 1. Sort n, u, -5.
-5, n, u
Suppose 4*x = 3*x - 4. Let w be (-3 - x)/(1 - 0). Let b be 2/(-4)*6*1. Put w, -2, b in descending order.
w, -2, b
Let a be 12/5 + 10/(-25). Put a, 0, 8 in descending order.
8, a, 0
Let l be (-4 + 1)*1 + 0. Let s = 3 + 1. Sort 6, s, l in ascending order.
l, s, 6
Let g = 9 + -8.1. Let n = g + -0.4. Suppose -3 - 2 = -z. Sort z, -0.3, n.
-0.3, n, z
Suppose v + 4 = -v. Let y be (-234)/(-45) - v/(-10). Let q be (2 + 2)/1 - 0. Sort y, -4, q.
-4, q, y
Let s = -64 + 64.6. Sort s, -5, 1, 4.
-5, s, 1, 4
Let o = 2 + -1.7. Let m = 0.1 + 0.4. Put m, o, -0.5 in decreasing order.
m, o, -0.5
Let a = -13 + 8. Put a, 0.3, 3 in ascending order.
a, 0.3, 3
Suppose -8 = 2*l + 2*l. Suppose 5*k + 0*k = 15. Let s be k/(-6*(-2)/(-16)). Put s, 3, l in descending order.
3, l, s
Let z = -15 + 19. Sort z, 0.3, 2/5 in decreasing order.
z, 2/5, 0.3
Suppose 3*s = 3*d - 2 - 1, 15 = -3*s. Put d, 3, 0.4 in increasing order.
d, 0.4, 3
Let n be 2/(-1)*(15/2 + -7). Put n, 2/9, -4, -0.14 in descending order.
2/9, -0.14, n, -4
Let g = -0.08 + 0.58. Put g, 0, 3 in increasing order.
0, g, 3
Let t = -1.5 - -1.57. Let a = -0.37 + t. Let q = 11 - 11.4. Put a, q, 2/7 in decreasing order.
2/7, a, q
Suppose -2*v = -y - 17, -3*v + 5*v - 19 = 3*y. Let o = 3 - v. Let r(s) = s. Let h be r(2). Put h, -1, o in ascending order.
o, -1, h
Let c be (-4)/4*-1 - -3. Let z be (-32)/(-180) - c/10. Put 1/6, z, 0.2 in ascending order.
z, 1/6, 0.2
Let u = 0.49 + -0.19. Suppose w = r + 3, 2*r - 20 + 2 = -2*w. Suppose 0 = -2*p + w, m + p + 0 + 2 = 0. Sort u, -2, m in increasing order.
m, -2, u
Let x(d) = -d**3 + 7*d**2 - 7*d + 3. Let g be x(6). Put -4, -2, g in ascending order.
-4, g, -2
Let n = 69 + -69.2. Sort -4/3, n, 4.
-4/3, n, 4
Let l = 0.32 + -0.02. Sort -2/9, l, 1/2 in decreasing order.
1/2, l, -2/9
Let h(u) = -9 - 10*u - u + u + u - u**2. Let a be h(-8). Let d(t) = -t + 2. Let w be d(-2). Sort a, w, 2.
a, 2, w
Suppose 0*b + 28 = -7*b. Let k = 15 + -13. Put b, k, 1 in ascending order.
b, 1, k
Suppose 5*f - 3*f - 24 = 0. Suppose 5*q + f = -2*j, -4 = -3*j + 3*q + 20. Suppose 0 = -3*c - 5*u + 10, -5*c + 7*u - 40 = 4*u. Sort 3/8, j, c.
c, 3/8, j
Let w = 33 - 33.2. Put 1, -8, w, 4 in descending order.
4, 1, w, -8
Let i = -0.2 - -0.4. Let u = 0.5 - i. Let a = u + -0.4. Sort -2/11, 1, a in descending order.
1, a, -2/11
Let l(d) = -d**3 - 7*d**2 - 4*d + 12. Let z be l(-6). Put z, -0.3, 4 in increasing order.
-0.3, z, 4
Let j = 219/7 + -31. Let b = 2 + -2. Let h = 27 - 26. Sort j, h, b in decreasing order.
h, j, b
Let m = 1.5 + -4.5. Sort m, 3/5, 1/2, -1/4 in increasing order.
m, -1/4, 1/2, 3/5
Let u be 5/(-4 + 0 + 3). Let r = 11 - 15. Sort -1/3, u, r in descending order.
-1/3, r, u
Let v = -0.3 + -0.7. Let c be (-4 - -4) + (-8)/(-44). Sort v, -0.2, c in decreasing order.
c, -0.2, v
Suppose 2*w - 4*w - 4 = 0. Let x be (12/(-18))/((-2)/9). Suppose -9 + 0 = -x*p, 2*h + p = 3. Sort h, w, 1.
w, h, 1
Let j(d) = 4*d**2. Let x be j(-1). Suppose -5*t - 1 - 15 = 2*f, -3*f = -5*t - 26. Sort t, x, 2 in decreasing order.
x, 2, t
Let b be 1/2*8*1. Let f = 0.065 + -1.065. Sort f, 0.4, b in decreasing order.
b, 0.4, f
Let a be (4 - 1) + (-2 - -3). Let h be ((-42)/126)/(2/(-6)). Sort h, a, -5.
-5, h, a
Suppose 2 = -j + l - 3*l, 5*l = -j - 11. Let x = j - -1. Sort x, -1, -2 in ascending order.
-2, -1, x
Let c = 1 + 4. Let w be 2/((1/(-6))/(-1)). Suppose -2*z = 2*z - w. Sort z, 2, c in ascending order.
2, z, c
Let f = -1.02 - 3.98. Let d(k) = k**3 + 5*k**2 + 5*k + 4. Let h be d(-4). Sort h, f, 4/3 in decreasing order.
4/3, h, f
Let k be 45/(-30)*((-16)/3 - 0). Let r be (1*(-1)/1)/1. Sort 3, r, k in ascending order.
r, 3, k
Let n = 0.436 - 0.136. Put 5, -5, n, 7 in ascending order.
-5, n, 5, 7
Let s = 6133/15 - 409. Sort 5, s, -3, 2.
-3, s, 2, 5
Let j(z) = z**3 + 7*z**2 + 7*z + 1. Let b be j(-6). Let f be 544/476*(-14)/4. Sort -3, f, b in descending order.
-3, f, b
Let a = -0.14 - -0.04. Let f = 1 - 6. Suppose b - 6*b = -5. Put f, b, a in ascending order.
f, a, b
Let u(n) = -n - 26. Let t be u(-12). Put t, 5, 2 in descending order.
5, 2, t
Let x = -13.39 - -13. Let i = -1.01 - -1. Let a = i + x. Put -5, -0.1, a in 