
Suppose -2 = -2*f + 6. Let m = 3.3 - 0.3. Put f, m, -0.4 in decreasing order.
f, m, -0.4
Let g = 1.1 + -1.5. Sort 10, -1, g in decreasing order.
10, g, -1
Let f(t) = -3*t**3 - t**2 - t - 1. Suppose 0*p + 3 = -3*p. Let i be f(p). Let m be 5/i*(2 - 4). Sort 0, 2, m.
m, 0, 2
Suppose -2*n - 23 = 5*b, 4*b + n = -0*n - 16. Put -1, b, 4 in increasing order.
b, -1, 4
Let m = 0 + 4. Let k(d) = d**3 - 5*d**2 + 3*d + 4. Let v be k(4). Put -2, m, v in decreasing order.
m, v, -2
Let u(r) be the first derivative of r**2/2 - 9*r - 2. Let j be u(6). Sort -5, j, 5 in ascending order.
-5, j, 5
Suppose 4*j + 7 = -1. Put -0.5, 2/9, j in increasing order.
j, -0.5, 2/9
Let k = 0.1 - 0. Sort k, 3/8, 0.4 in ascending order.
k, 3/8, 0.4
Let z = -12 + 14. Sort 4, z, -0.1 in descending order.
4, z, -0.1
Suppose 5*g = -2*k - 12, 3*g - 11 = 2*k - 31. Let z be -6*(-3 - 14/(-4)). Suppose 0 = 3*h - 7*h + s - 4, 5*h - 2*s + 5 = 0. Sort z, h, g in descending order.
h, z, g
Let g be -1 - (2 - (1 - -3)). Let d(h) = h**3 - 3*h**2 + 4. Let s be d(3). Sort g, s, 2.
g, 2, s
Suppose -3*r + 16 = -2. Let f be 95/15 - 2/r. Suppose f*j = 8*j. Sort j, -1, -5.
-5, -1, j
Let k = 94 + -94. Let f be (-3)/2*(-6)/(-15). Sort -3, f, k in descending order.
k, f, -3
Suppose -4*m - 4*s = -0*s - 560, -5*s = m - 120. Suppose -5*q + 45 = m. Let w be (-45)/q - (-2)/(-8). Sort -3, -5, w in decreasing order.
w, -3, -5
Let a be ((-2)/10)/(10/20). Put -2, 1, a, 0.03 in ascending order.
-2, a, 0.03, 1
Suppose -2*v + 0*v - 10 = 0. Sort 2, -55, v in descending order.
2, v, -55
Let m = 0 + -4. Let o = -164 - -168. Put -3, m, o in decreasing order.
o, -3, m
Let i(c) = 3*c - 7. Let b be i(3). Put b, 5, -10 in increasing order.
-10, b, 5
Let q = -52 - -65. Put 3, q, 0 in descending order.
q, 3, 0
Suppose -5*w = -14 + 4. Sort -1, w, 10, 4.
-1, w, 4, 10
Let m(u) = -u**2 + 3*u + 1. Let o be m(2). Let f be 2 - o - 2/(-4). Suppose -a = -2*a - 1. Put f, a, -5 in descending order.
f, a, -5
Suppose 5*s - 2*n + 5*n - 13 = 0, -4 = -3*s + 2*n. Let x = s + -1. Let w(j) = -j - 1. Let v be w(2). Sort v, 4, x in descending order.
4, x, v
Let l(s) = -s**3 - s**2 + 10. Let n be l(0). Let v = n - 5. Sort -3, 0, v in decreasing order.
v, 0, -3
Suppose 0*i + 5*i = -3*b - 1, -5*b + 4*i - 14 = 0. Put b, 0, 2 in descending order.
2, 0, b
Suppose 4*k + 0 = 4. Put 2, -5, k in decreasing order.
2, k, -5
Suppose -21*y = -6*y + 30. Let q be (-2)/(-5) + (-38)/120. Sort q, y, -13 in descending order.
q, y, -13
Let g be ((-9)/(-4))/(-3) - 41/(-44). Put 1/5, g, -4, 1/4 in increasing order.
-4, g, 1/5, 1/4
Let r = 8/3 - 67/24. Let a = 0.02 - 0.12. Let l = -0.01 + -1.99. Put l, a, r in descending order.
a, r, l
Suppose 0 = t + t + 84. Let p be -4*9/t*21. Suppose 4*l - 4*n + 2 = n, -5*l + p = 4*n. Put -3/4, -5, l in ascending order.
-5, -3/4, l
Let x = 0.72 - 0.6. Let d = 0.2 - x. Put d, 1, -5 in increasing order.
-5, d, 1
Let y = -0.13 - 0.27. Let r = 8 - 15/2. Put r, 1/9, y in decreasing order.
r, 1/9, y
Let y = -50 - -252/5. Put 5, y, -5, -4/5 in decreasing order.
5, y, -4/5, -5
Let q = -2 - 6. Let c = q - -11. Sort -3, c, -5 in ascending order.
-5, -3, c
Let b(z) = z**2 - 8*z + 5. Let m be b(8). Suppose -2*w + 450 = -m*w. Let l = w - -1352/9. Put 1/2, l, -2/3 in ascending order.
-2/3, l, 1/2
Suppose -5*n - 4*r = -0*r + 26, -r = -2*n. Sort n, -1, 2 in descending order.
2, -1, n
Let a be 2/6*(-4)/(-3). Suppose 3*t - 140 = -t. Suppose -3*m - 2*m - 4*g = -45, -4*m - 3*g = -t. Put a, -2/9, m in decreasing order.
m, a, -2/9
Suppose 0 = -3*x - 3*t, 2*x + 1 = -0*x - t. Let y be x/(-3) - 10/3. Suppose -5*p - 24 = 1. Put p, y, 1 in descending order.
1, y, p
Let x be -2 - -1 - (-6)/2. Let b(w) = -w**2 + 3*w - 3. Let n be b(x). Suppose -5*u - 3 = -h, u - 4*h + h = -9. Put n, 2, u in decreasing order.
2, u, n
Let w = -4 + 9. Sort -4, w, -2 in increasing order.
-4, -2, w
Let p = -0.03 + 2.03. Let o = p + -2.4. Suppose 0 = -z - 0 - 3. Sort z, 0.2, o in descending order.
0.2, o, z
Let i = -41.5 - -41. Sort i, 8, 4/5.
i, 4/5, 8
Let v be (-11)/6*(-13)/143. Sort -3, v, 4/7 in descending order.
4/7, v, -3
Let y = -19 + 28. Let c = y - 3. Suppose 4*d = -3*w + 6, 0 = w - c*w + 10. Sort d, 1, 2 in increasing order.
d, 1, 2
Let x = -0.9 - 0.1. Let a = 0.7 + x. Let c(u) = u**3 + 6*u**2 + 2. Let m be c(-6). Put a, -4, m in increasing order.
-4, a, m
Let v(m) = m - 10. Let s be v(-14). Let a be s/(-12) + 7/(-2). Sort 0.2, -2, a in descending order.
0.2, a, -2
Let o = 296/1085 + 2/155. Let w = -0.09 - 3.91. Let h = w + 3.7. Sort o, h, 0.2.
h, 0.2, o
Let t = 4 + -4.6. Let w = 32/21 - 6/7. Sort 0.5, t, w in decreasing order.
w, 0.5, t
Let z(t) = -t**2 + 7*t - 7. Let f be z(5). Suppose 3*d - f*m = -m - 7, -4*m + 11 = -5*d. Let i = -0.6 - 3.4. Put i, 1/2, d in decreasing order.
1/2, d, i
Suppose -1 + 5 = 4*q, 9 = 5*m + 4*q. Put 4, m, 6 in descending order.
6, 4, m
Suppose -2*b - 11 = -3. Let g(m) = -2*m - 5. Let d be g(b). Suppose -d*h - 6 - 3 = 0. Sort 5, 2, h in descending order.
5, 2, h
Suppose 4 + 4 = -2*f. Let o be f/6*9/(-21). Sort o, -1/2, 3.
-1/2, o, 3
Let v = 28 - 25. Sort 1/7, 0.2, 2, v in descending order.
v, 2, 0.2, 1/7
Let g be (-1 + 15/9)*27. Suppose -3*f - 2*m - m - 18 = 0, -4*m + g = -2*f. Let z be 1*-1 + 0/f. Put -2, 5, z in decreasing order.
5, z, -2
Suppose -10 = 5*z + 2*r + 9, 0 = z + 2*r - 1. Suppose -2*g = -4*g + 8. Sort g, z, 0.
z, 0, g
Suppose 0 = -4*k + j, 0 = -0*k - 2*k - j + 6. Sort -4, k, 17, 3 in increasing order.
-4, k, 3, 17
Suppose -m - 23 = 3*m - 3*c, 29 = -5*m + 4*c. Let q(s) = -s**3 + 3*s**2 - s + 2. Let w be q(2). Suppose -3*z = -w*z + 8. Sort m, 2, z in increasing order.
m, 2, z
Suppose -u + 3 = -2, 4*i + 15 = 3*u. Put 9, i, 2, 1 in decreasing order.
9, 2, 1, i
Let c = -3 + -3. Let f = 2 - c. Let h = 8.3 - f. Sort h, 0, 0.2 in ascending order.
0, 0.2, h
Let b = 12 - 9. Suppose 0 = -b*j - j - h, 4*j = 4*h + 20. Let q be ((-2)/(-5))/((-1)/(-5)). Sort j, q, 0 in increasing order.
0, j, q
Let z = -4.09 + 0.09. Let u = 0.9 + -0.4. Let k = 1 - u. Sort -3/5, z, k in descending order.
k, -3/5, z
Let n(l) = 5*l - 4. Let t(r) = -7*r - 7 + 16 - 2*r. Let j(y) = -11*n(y) - 6*t(y). Let i be j(-10). Sort 3, i, 4 in ascending order.
i, 3, 4
Let a = -0.101 + -0.299. Let w = -0.4 - -0.5. Sort a, w, -1 in descending order.
w, a, -1
Let o = -1240/9 + 138. Let x(l) = l + 1. Let b be x(1). Let w = 4 + -4.4. Put o, w, b in descending order.
b, o, w
Let x be -5 - (2 + -3) - -1. Suppose 4*u = 3 + 13. Put u, -6, x in decreasing order.
u, x, -6
Let y = 0.06 + 0.04. Sort 2, y, 2/5 in decreasing order.
2, 2/5, y
Let m(z) = 2*z**2 - 19*z + 5. Let g be m(9). Suppose -5*n = -3 - 7. Put g, n, 3 in ascending order.
g, n, 3
Suppose 0 = -3*x - 4*t - 0*t + 7, -5*x + 31 = -3*t. Let h be (-2)/4*0/(-2). Put x, h, -2 in descending order.
x, h, -2
Let h be 3 - (1 + 0 + -1). Suppose -4*a = h*j - 5, 2*j - 10 = a - 3. Suppose -11*k + 39 + 5 = 0. Sort k, a, 1.
a, 1, k
Suppose 2*o - 6 = 2. Suppose -r - 6 = -o*r. Sort 0.1, -0.3, r in increasing order.
-0.3, 0.1, r
Suppose 6*n + 26 = 4*n. Sort n, -5, 2 in descending order.
2, -5, n
Suppose 2*d - 3 = 5*n, 3*d - 4*n - n = 7. Put d, -2, -4 in ascending order.
-4, -2, d
Let g = -9 - -19. Let b = -14 + g. Put -3, 2, b in descending order.
2, -3, b
Suppose 0*i = z + 2*i - 3, 3*z - 3*i = -18. Put z, -2, 1, -5 in descending order.
1, -2, z, -5
Suppose 0 = 5*t + 51 - 16. Put -5, -4, t in increasing order.
t, -5, -4
Let d(j) = 2*j + 23. Let h be d(-9). Sort -0.4, 0.4, h, 0.1 in descending order.
h, 0.4, 0.1, -0.4
Let v(r) = r - 1. Let f be v(-3). Suppose 4 = 5*b + 34. Put -1, b, f in descending order.
-1, f, b
Let d = -63 - -12. Let h = d + 36. Sort h, 0.3, -4 in ascending order.
h, -4, 0.3
Suppose 5*q + 71 = -619. Let m be q/(-42) - (-4)/(-14). Put m, -4, 0 in ascending order.
-4, 0, m
Let o(u) = u**3 + 0*u + 15 + 6*u - 5*u**2 - 14 - 2*u. Let i be o(4). Sort i, -4/5, 5 in descending order.
5, i, -4/5
Suppose -29 = 7*p - 8. Put 4, 2, p in ascending order.
p, 2, 4
Let q = -16 + 26. Let c be (3 - q) + 1 - -3. Sort c, -5, 2 in descending order.
2, c, -5
Let o = -594 + 565.3. Let b = o - -29. Sort 0.1, b, 5/2.
0.1, b, 5/2
Let h = 83 + -78. Sort -3, h, -5, -2.
-5, -3, -2, h
Suppose -5*j = 2*f + 10, -4*f + j - 3 = -27. Suppose 0 = -3*n + f*n. Put