Put -4, v, x in ascending order.
-4, v, x
Let x = 60 - 64. Put -3, -1, x, -9 in descending order.
-1, -3, x, -9
Let s(a) be the first derivative of a**3/3 + 5*a**2 + 13*a + 3. Let x be s(-9). Sort -4, x, 5 in increasing order.
-4, x, 5
Let a = 0 - 5. Let r = -32 - -34. Sort a, 4, r.
a, r, 4
Let k = 0.07 - 3.07. Let a = 20 + -20. Let m = -4.7 + 5. Sort a, k, m in descending order.
m, a, k
Let h be -15*(1 - (2 + 0)). Suppose 4*i - h = -i. Put 4, i, 5 in decreasing order.
5, 4, i
Suppose 8*q = 2*q - 24. Suppose 2*o - 5*o = -27. Suppose -o*x = -4*x. Put -1, x, q in decreasing order.
x, -1, q
Let j = -178 - -173.94. Let s = -0.06 - j. Sort -0.3, s, -17.
-17, -0.3, s
Let c be 8/(-6)*(-2)/8. Suppose 0 = -4*s - p + 62, 5*s + 2*p = 41 + 35. Let k be (s/6 - 1)*3. Sort -0.5, k, c in descending order.
k, c, -0.5
Suppose -4*u + 11 = -5*g + 5, g - 4*u + 14 = 0. Let i(v) = -v**3 + v**2 + v - 5. Let q be i(0). Put g, -2, q in descending order.
g, -2, q
Let t = 7 - 3. Let p = -10 - -6. Put -5, p, t in descending order.
t, p, -5
Let s = 78 + -1168/15. Let b(t) = 4*t + 8. Let y(o) = 5*o + 8. Let n(a) = -6*b(a) + 5*y(a). Let x be n(6). Put s, -0.1, x in descending order.
s, -0.1, x
Suppose -37 + 25 = 6*r. Put -1, -62, r in decreasing order.
-1, r, -62
Suppose 3*x - 3*a - 15 = 0, 7 = -4*x + 3*x - 3*a. Sort -2, 3, x.
-2, x, 3
Let r = -104 - -109. Sort -0.05, -2, r in descending order.
r, -0.05, -2
Let d = -11.7 + 12. Sort -5, 2, d in descending order.
2, d, -5
Let t = 0 - 1. Let v = t + 0.7. Suppose g - 4 = -3*g. Sort 5, g, v in decreasing order.
5, g, v
Let f = 92.5 - 92. Put f, 1, 0.04, 0 in decreasing order.
1, f, 0.04, 0
Suppose 5*i - 2*o = -19, 7*o = -3*i + 2*o - 30. Let w = i - -2. Suppose 2 = -4*p - 2. Sort p, 0, w.
w, p, 0
Let d = -13 + 5. Let x = d - -11. Suppose -x*g = -11 + 8. Sort -5, g, 5 in descending order.
5, g, -5
Let y = -190 - -195.02. Let f = -5 + y. Sort f, 1, -4/5 in descending order.
1, f, -4/5
Let d be -4*3/(-18)*3. Sort d, 0, -4 in decreasing order.
d, 0, -4
Suppose -3*j + 17 = 2*d + 7, -3*d = -5*j + 4. Let f be 2/(-9) - j/(-9). Suppose f = -3*l + 23 - 8. Put -2, -3, l in increasing order.
-3, -2, l
Let t = 3 + -2.88. Let y = 0.08 + t. Sort 1/3, -3, y in decreasing order.
1/3, y, -3
Let m be (-1)/((-2)/(-8) - 0). Suppose -5*h - 80 = 5*f, -5*h - f - 33 = 51. Let l be h/(-7) + (-12)/28. Put l, -1, m in increasing order.
m, -1, l
Let b = 7 + -12. Suppose 3*k = 5*y + 35, -3*y + 5*y = -4*k + 12. Let x = -5 - -4. Put b, y, x in increasing order.
b, y, x
Suppose -5*k - o - o + 23 = 0, -3*o - 28 = -5*k. Sort 3, 1, k.
1, 3, k
Let o = -2/31 - -39/124. Sort o, 2/9, -1.
-1, 2/9, o
Suppose 4*h = k + 15, 0 = 3*h + 5*k + 1 + 5. Suppose -5*f + 2*r - 14 = 0, -16 = 4*f + 3*r + 9. Let o be 2/(-4)*(5 + -5). Put f, h, o in descending order.
h, o, f
Let x = -43 + 43.2. Put x, -0.2, -5, 3 in descending order.
3, x, -0.2, -5
Suppose 5*d = 5*x - 15 - 0, 0 = -4*d - 4*x + 12. Suppose d*u = 4*u - 8. Suppose 3*r = u*n + 3, 4*r + 2*n - 9 = 9. Sort 4, r, 0.
0, r, 4
Let h be 78/(-8) - (-1)/(-4). Let o be (-3)/h*(-10)/(-8). Let k = -735 - -737. Put -0.1, k, o in descending order.
k, o, -0.1
Let q = -6 + -3. Let n = -9 - q. Put n, 2, 3 in descending order.
3, 2, n
Let t be (2/(-1) - 1)/(-7) - 0. Let u = 2 - 4. Sort 7, u, t in ascending order.
u, t, 7
Let w be 1*(0 + 0 + 1). Put 1/3, -3, w in decreasing order.
w, 1/3, -3
Let x(f) = -1 + 4 + 2*f + 3 - 3*f. Let i be x(9). Sort i, 2/5, 4 in descending order.
4, 2/5, i
Let x(u) = u**2 - 11*u - 136. Let p be x(18). Let a(o) = o - 3. Let l be a(3). Put p, 3, l in decreasing order.
3, l, p
Let l(v) = v**3 - v**2 - 1. Let y be l(0). Let t be y*(0/2 + -1). Put 1/3, t, -0.2 in decreasing order.
t, 1/3, -0.2
Let d(h) = -h + 5. Let n be d(9). Put 0, -3, n in descending order.
0, -3, n
Suppose -t = 3*z + 4, -z + 3*t = 1 - 13. Suppose 3*j + 11 = 3*f - j, z = -j + 1. Sort f, -2, 4 in decreasing order.
f, 4, -2
Let f(g) = g - 3. Let q be f(2). Let t(h) = h - 8. Let u be t(6). Suppose -w - 1 + 4 = 0. Put w, u, q in descending order.
w, q, u
Let j = 70 + -67. Suppose -4*m - z + 25 = 0, -2*m + 3*m + 4*z - 25 = 0. Let q = 7 - m. Sort j, -5, q in increasing order.
-5, q, j
Let q = 10 + -6. Let o = -11/2 - -5. Let h = -0.3 + 0.4. Put q, h, o in descending order.
q, h, o
Let g = 25/2 - 79/6. Let b = -10 - -5. Sort b, g, 3.
b, g, 3
Let x = -12 + 6. Let w = 4.6 + -0.6. Put x, 1/7, w in decreasing order.
w, 1/7, x
Let t = -7 - -15. Let l = t + -5. Suppose l = 4*k - 3*k. Put k, 1, -4 in descending order.
k, 1, -4
Let u(c) = c - 1. Let g be u(4). Suppose -3*f + 4*f = -2*w - 1, -4*w + 13 = -g*f. Suppose -17 = 3*i - 5*a + 6, 5*a = i + 21. Put f, i, 5 in ascending order.
f, i, 5
Suppose -4*i - i = 0, 4*i + 4 = -y. Sort -8, -2, y, 4 in ascending order.
-8, y, -2, 4
Let p be 2/(-6)*(-3 + (6 - -6)). Sort 1, p, 2, -5.
-5, p, 1, 2
Let w be (3/((-9)/(-15)))/1. Let m(l) = l - 5. Let k be m(3). Put w, -1, k in ascending order.
k, -1, w
Let k = 51 - 42. Sort -5, k, 4 in descending order.
k, 4, -5
Let l be -1*5*(-10 + 9). Put -2/11, l, 4 in decreasing order.
l, 4, -2/11
Let l be 6/(-10)*6/(-9). Let s(o) = -3*o**3. Let b be s(-1). Put b, l, -3/2 in descending order.
b, l, -3/2
Let f = 2 - -1. Suppose -2*w - 5 = -19. Let y be 1 + 1 + -7 + w. Sort -5, y, f in descending order.
f, y, -5
Suppose -4*j + 30 - 6 = 0. Let o = j - 4. Suppose -12 = -5*k + 3*v, o*v = -4*k + 4*v + 10. Put 0, -2, k in ascending order.
-2, 0, k
Let z be 6*5/(30/4). Suppose -3*u + f - 8 = 6, z*u - 4*f = -16. Sort -4, 4, u.
u, -4, 4
Let t be 1*-2*(-3)/6. Suppose -s = -0*s - t. Sort s, -4, 0 in ascending order.
-4, 0, s
Let c = 80 - 163/2. Sort 1, -4, c in increasing order.
-4, c, 1
Let x = -9 + 8. Let y = x + 3. Sort y, 8, 3 in decreasing order.
8, 3, y
Let s = -0.5 + 0. Let l = -0.08 + 0.28. Put s, 2/5, l in ascending order.
s, l, 2/5
Suppose 0 = i - 5. Let t(c) = -i - 3*c + 6*c + 0 + c**2. Let m be t(-5). Sort 3, m, -3 in ascending order.
-3, 3, m
Let r be 1*(-2)/2*4. Let k(p) = -3 + p**2 + 0*p - 2 + 2*p. Let d be k(r). Put -4, -1, d in increasing order.
-4, -1, d
Let w = -4 + 3. Let b = -33.02 + 33. Sort 1, b, w in descending order.
1, b, w
Let t = 1.3 - 1.86. Let i = -0.06 - t. Suppose 2 = -2*m + 4. Sort i, 3, m.
i, m, 3
Suppose 0 = -a + 3 - 2. Let u be a - (8/3 + -2). Sort -6, -5, u.
-6, -5, u
Let f = 32 - 35.6. Let v = f + 0.6. Put -1, v, -1/6 in decreasing order.
-1/6, -1, v
Let a be 8 + 39/(-15) + 6/(-15). Sort 2, a, 1, -2 in increasing order.
-2, 1, 2, a
Let v = 47 - 63.6. Let z = v + 17. Sort 5, z, 0 in ascending order.
0, z, 5
Let f(o) = 2*o + 1. Let s be f(6). Suppose 3*d - 2*w = -s, -2*w + 1 = -3. Sort d, 0.3, -4 in descending order.
0.3, d, -4
Let h = 0.31 + 0.03. Let z = h + -0.04. Sort -0.3, -2/19, z in descending order.
z, -2/19, -0.3
Let b = 11 + -7. Suppose -b*n = 8, 2*q = q - n + 3. Suppose q*w + 6 + 4 = 0. Sort w, 3, -1.
w, -1, 3
Let z = 52617/20 - 2634. Let c = 22/5 + z. Let t = 5.28 - 0.28. Put c, t, 1/4 in descending order.
t, c, 1/4
Let p be 348/420 + 2/(-5). Sort 0, -0.5, p.
-0.5, 0, p
Suppose g - 12 = -5*a, -g + 9 + 0 = 4*a. Sort a, 15, -5 in descending order.
15, a, -5
Let q = 0 - -23. Sort -0.3, 4, q in decreasing order.
q, 4, -0.3
Let q be (-42)/8 + (-2)/(-8). Let z(y) = y**3 + 6*y**2 + 5*y + 4. Let s be z(q). Sort 2, -4, s in increasing order.
-4, 2, s
Suppose -16 = 4*x - 2*p, p - 5 + 0 = x. Let y = x - -4. Sort 5, -4, y in ascending order.
-4, y, 5
Suppose -b + 2 + 1 = x, 0 = x + 3. Put b, -5, -2 in descending order.
b, -2, -5
Let p = -0.1 - 0. Let h = 6 + 7. Let t = h + -9. Put p, t, 2 in increasing order.
p, 2, t
Let f(m) = -m**3 - 10*m**2 + 10*m + 8. Let z be f(-11). Let s = z - 14. Put -3, 7, s in increasing order.
-3, s, 7
Suppose -5*f - a + 9 + 1 = 0, 0 = -f - 5*a + 2. Let n(c) = -3*c + 6*c - 2*c + 3. Let q be n(-4). Sort f, -4, q in descending order.
f, q, -4
Suppose -o + 2*o - 22 = -5*x, 4*o + 5*x = 28. Suppose -3*i = -7*i + 12. Suppose 0 = -3*n - i*g, -3*g = n + 2*g + 12. Put o, n, 1 in ascending order.
1, o, n
Suppose -5*i + 0*i + 4*k + 200 = 0, -3*k - 15 = 0. Let f = 50 - i. Let y be 6/(-18) + f/(-3). Put 4, 0, y in descending order.
4, 0, y
Let g = 1 + -6. Let l be (1/2 - -1)*-2. Sort 1/2, g, l in decreasing order.
1/2, l, g
Let b = 0 - 3. Let c(r) =