ing order.
1/2, y, -0.4
Suppose 0 = 2*m + m - 2*v + 14, 0 = -4*m + 2*v - 16. Let k = 8 + -4. Let f = k - 3. Sort 2, m, f in descending order.
2, f, m
Suppose -6*i = -8*i - 2. Put 1, 2, -2, i in increasing order.
-2, i, 1, 2
Suppose -2 = 2*r + 6. Let d be 1*(-6)/r*4. Let z be (2/d)/((-1)/(-15)). Put z, 1, -1 in descending order.
z, 1, -1
Let n = 20 + -20. Sort n, 5, -5 in ascending order.
-5, n, 5
Suppose 24 - 34 = 5*a. Let g = -22 - -12. Sort 0, a, g in decreasing order.
0, a, g
Let m be -4 - (-3)/(-15)*0. Let s(f) = -f - 9. Let c be s(-9). Put m, 2, c in descending order.
2, c, m
Suppose -j = 1, 0 = 3*k + k + 5*j - 11. Sort 3, k, -3 in increasing order.
-3, 3, k
Let t = -41 - -37. Let f = 8 + -5. Sort f, t, 4 in decreasing order.
4, f, t
Suppose 3*k = 2*d - 2, d + 2*k + 0 - 1 = 0. Let l = -27 - -23. Put d, 2, l in decreasing order.
2, d, l
Let w(f) = -f**2 + 6*f - 6. Let s be w(4). Let a(m) = 4*m + 1. Let c be a(1). Let z = s - c. Sort 4, -5, z in increasing order.
-5, z, 4
Suppose -2*x + 0*x + 16 = 0. Let m be (-13)/5 + x/(-20). Sort -2, 0, m in increasing order.
m, -2, 0
Let n = -1.7 + 1. Let o = -6 + 5.7. Let m = n - o. Put m, 1/8, 0.2 in decreasing order.
0.2, 1/8, m
Let x = 11/12 + -2/3. Sort 5/3, x, 3 in ascending order.
x, 5/3, 3
Suppose -o - 5 = -2*y + 1, 4*o = -8. Let k = 2 + y. Suppose 2*f = 2*v + 10, 3*f + 5*v = f - 4. Sort f, 0, k in decreasing order.
k, f, 0
Let a = -2.8 + 5.8. Sort 2/5, a, -9.
-9, 2/5, a
Let q = -3.08 - -0.08. Let y = -0.6 + 0.3. Sort q, -1/8, y.
q, y, -1/8
Let h be 6/(-4)*(-20)/15. Suppose 0 = 4*n - 2*u - 7 - 1, 0 = -5*n - 3*u + 10. Let k be (-2 - (-2 + n)) + -1. Put k, -5, h in decreasing order.
h, k, -5
Let u = -69 - -70. Let z = 0.5 + 0. Put u, z, -2/7 in descending order.
u, z, -2/7
Suppose -32*i - 10 = -34*i. Put 3, i, 0 in decreasing order.
i, 3, 0
Suppose -3 = 3*h - 4*h - g, -6 = -3*h - 2*g. Suppose -2*k + h = 4. Let a be (-5)/(385/14) + 50/(-88). Sort k, -3, a.
-3, k, a
Let t = -5 + 5.4. Let b = 0.1 + t. Sort b, -3, -0.4 in increasing order.
-3, -0.4, b
Suppose 10 = 4*b + b. Suppose -o - b*o + 24 = 0. Let s = o + -5. Sort 2, s, -1 in ascending order.
-1, 2, s
Suppose -2 - 23 = -5*h. Put h, -1, 3, 33 in decreasing order.
33, h, 3, -1
Let k(d) = d + 4. Let w be (-1)/2*(9 + 1). Let x be k(w). Let m = x + 1. Put m, 5, 1 in descending order.
5, 1, m
Let q = 4.9 - 4. Let j = -5.9 + q. Let o = 0.7 + -3.7. Put j, o, 0.4 in decreasing order.
0.4, o, j
Suppose 3*f - 4*z - 21 = 0, -2*z + 0 = 3*f - 3. Suppose -4*b - 9 = 5*l, 3*b - 4*l = -25 - 5. Let r = b + f. Put -2, r, 0 in descending order.
0, -2, r
Let i = -2 - -2. Let h = 8 + -6. Suppose s - 1 = 2. Put h, i, s in increasing order.
i, h, s
Suppose -3*p = -x - 9, 5*p + 4*x = p + 28. Let n be 4/(-10) - 34/(-10). Sort p, n, -4.
-4, n, p
Suppose -5*a - 35 = -3*f - 1, f - 3*a - 6 = 0. Suppose -3*t = -3 + f. Put -3, t, 3 in ascending order.
t, -3, 3
Let h(o) = o**3 - 7*o**2 + 6*o + 1. Let t be h(6). Suppose 3*m + 5 + t = 0. Let z = -3/296 + -553/3848. Sort m, z, 2/13.
m, z, 2/13
Let v = 197/35 - 38/7. Sort 1, v, -5 in decreasing order.
1, v, -5
Let x(h) = h**2 + 9*h - 6. Let i be x(-10). Sort -5, i, -4 in descending order.
i, -4, -5
Let i = 4 + -8. Let t be (42/7)/(0 - -2). Sort i, t, 2 in descending order.
t, 2, i
Let p = 6 - 8. Let f = 0.08 + 0.22. Sort 2, f, p in descending order.
2, f, p
Let u(g) = 11*g - 56. Let h be u(5). Sort h, 15, -2, 0 in decreasing order.
15, 0, h, -2
Let t(j) = j. Let k be t(-1). Let c = 20 - 18. Put c, -3, k in decreasing order.
c, k, -3
Let n = -4.1 - -9.1. Sort -1, 6, -3/7, n in descending order.
6, n, -3/7, -1
Suppose 3*w - 2*a = -a + 71, 3*a = -5*w + 109. Let u = -18 + w. Sort u, -4, 4.
-4, 4, u
Let c = 80 - 79. Put -0.4, c, -11 in descending order.
c, -0.4, -11
Let f = 0 - -0.09. Let j = f - 5.09. Let z = -0.1 - -0.1. Put j, z, 2/3 in ascending order.
j, z, 2/3
Let c = 8 - 8.2. Put -4, c, 2/3 in descending order.
2/3, c, -4
Let s = 102 - 101.5. Let d = 39/2 + -113/6. Put -4, d, s in descending order.
d, s, -4
Let r = 10 + -19. Let l = -11 - r. Sort -0.2, l, -1/6 in descending order.
-1/6, -0.2, l
Let q = -1 + 14. Let u = q + -14. Sort u, -0.4, 4 in decreasing order.
4, -0.4, u
Let k = 0.04 - 2.04. Let m = -8 + 8.4. Sort m, 0.3, k in decreasing order.
m, 0.3, k
Suppose -k = -4*d + 13, -d + 6*d - 5 = -k. Suppose -2*s = q - 0 - 8, 2*q = -d*s + 10. Let l = q + -3. Put l, -4, 5 in decreasing order.
5, l, -4
Let t be (6/9)/((-4)/(-12)). Let w be 16/20*(-5)/2. Sort -3, t, w.
-3, w, t
Let u = -4.6 - -5. Sort u, -4, 0.
-4, 0, u
Let y = 14 - -3. Let h = -33/2 + y. Let l = 0.2 - 0. Sort 5, l, h in descending order.
5, h, l
Suppose -5*t + 28 = 4*o - 0*o, -5*t = -4*o - 12. Sort -2/5, 1/2, t.
-2/5, 1/2, t
Let h be -2*(-5 - (3 + -6)). Put h, -3, -1, 9 in decreasing order.
9, h, -1, -3
Let b be (2 + 0)/((-45)/5). Sort b, 0.3, 2/5 in descending order.
2/5, 0.3, b
Let u = 307/2 + -149. Sort u, 0.2, -0.5.
-0.5, 0.2, u
Let t(u) = 3*u**2 - 1. Let a be t(1). Let n be ((-4)/(-46))/1 + 0. Sort a, n, 0.1 in descending order.
a, 0.1, n
Let q(y) = -6*y**3 - 1. Let f be q(-1). Put -2, -5, 2, f in ascending order.
-5, -2, 2, f
Let c = 0.063 - -2.937. Put 0, -0.4, 1, c in decreasing order.
c, 1, 0, -0.4
Suppose -6*x = -5*x - 4. Suppose 0 = 2*b + 3*p + 17, 5*b + x*p + 20 = p. Sort b, 1, -2 in decreasing order.
1, b, -2
Let l = 35 + -31. Put l, -2, -0.2 in descending order.
l, -0.2, -2
Suppose -2*c - c = -9. Suppose -c*s + 4 = -2*s. Suppose 47 - 18 = 2*t - 5*r, 4*t + 4*r = -12. Put t, s, -1 in increasing order.
-1, t, s
Suppose 0 = 4*f - 5*g + 5, -2 = -2*f - 4*g + 2. Let b be 0/2 - 5*1. Let c be b - (3 - 2) - -1. Sort -1, c, f in ascending order.
c, -1, f
Let h(w) = -w**2 + 3*w + 1. Let o be h(4). Let b = -2 - -1. Sort 2, b, o in decreasing order.
2, b, o
Suppose 2 = -4*f - 2. Let i be (2/2)/((-1)/f). Let b be 2/(-14)*(17 + -16). Sort i, -0.2, b in increasing order.
-0.2, b, i
Let z = 15 - 14. Put z, 0.5, 3/2 in ascending order.
0.5, z, 3/2
Let u = -6 + 9. Suppose -27 = -3*r - 5*g + g, g = u*r - 12. Put 0, r, -2 in decreasing order.
r, 0, -2
Let m(g) = -2*g**2 - 35*g - 19. Let q be m(-17). Suppose -4 + 16 = -4*l. Put 2, q, l in ascending order.
l, q, 2
Suppose -3*c - 3*u + 6 = -3, c = 2*u + 6. Suppose 4*g = -w - 21, -g - c*g - 25 = 0. Let p = 1 + -6. Sort p, w, 4 in decreasing order.
4, w, p
Let q = 8 + -4. Suppose 0 = -3*u + 7 + 8. Sort q, u, 0.1.
0.1, q, u
Let k be 11/9 - 1/1. Let f = 2.8 - 5.8. Sort f, k, 4.
f, k, 4
Let h = 0.07 - 3.07. Let s(l) = -l. Let o be s(4). Put 1, o, h in descending order.
1, h, o
Let o = -0.3 - -0.5. Let p = 4.6 - 0.6. Suppose -3*i + 3 = 3*s - 12, 0 = -3*s + 5*i - 1. Put p, s, o in descending order.
p, s, o
Let l = -69.8 - -69. Sort 1, -0.4, l.
l, -0.4, 1
Let u = 0.07 + 0.33. Put u, -1/5, -3/2 in ascending order.
-3/2, -1/5, u
Let u = -4.8 - -0.8. Let d = -4 - u. Let c = 31 + -30.8. Put 3, d, c in ascending order.
d, c, 3
Let j = 5531/19 + -291. Let d = 26 + -180/7. Let c be ((-3)/(-6))/(5/(-2)). Sort j, d, c.
c, j, d
Suppose 2*v + 2*v - 4 = 0. Suppose j + v = 3*n, 0*j + 4*n = -j - 1. Sort j, 1, -0.1.
j, -0.1, 1
Suppose 9*q + 3 = 6*q. Put q, 0.4, 1 in descending order.
1, 0.4, q
Let a(g) be the second derivative of -g**5/20 + g**4/12 - g**2/2 - 2*g. Suppose 9 = -4*d + 5. Let n be a(d). Put 2, 0, n in increasing order.
0, n, 2
Suppose -3*j = 5*d + 1 - 2, 2 = 2*j + 2*d. Let z(n) = n**3 - 9*n**2 + 7*n + 12. Let a be z(8). Suppose 0 = a*k - 0*k - 4. Sort -1, j, k in increasing order.
-1, k, j
Let b(x) = x + 13. Let p be b(-8). Sort p, -6, 2 in ascending order.
-6, 2, p
Let s be ((-2)/(-4))/((-3)/2). Let f be 3 + -3 + 5/1. Let m = 0 - -3. Put f, s, m in ascending order.
s, m, f
Suppose -4*s = -3*s - 5*g - 13, -3*s + g + 53 = 0. Let f be (4/(-6))/((-6)/s). Let t = 3.2 - 3. Sort f, t, 1/3 in descending order.
f, 1/3, t
Let f be (9/6)/(-3)*2. Sort f, -1/5, -5 in increasing order.
-5, f, -1/5
Let c = -30.4 + 35. Let j = -0.59 + -0.01. Let o = c + j. Sort o, -5, 0.3.
-5, 0.3, o
Let s be (1 - (3 + -1))*0. Suppose -d - 1 - 2 = s. Suppose -r - 6 = -2. Put d, -5, r in decreasing order.
d, r, -5
Let m = -34 - -37. Let f(o) = o**3 + 6*o**2 - 4*o + 3. Let g be f(-6). Let u be (g/6)/3*-2. Sort 5, u, m in ascending order.
u, m, 5
Let r = -60 + 47. 