
Let y be 3/(-15)*(-5 + 6). Sort y, 3/4, -4, 0 in decreasing order.
3/4, 0, y, -4
Let k = 9.3 + -10. Let c = -4.7 - k. Sort -3, 2/9, c in decreasing order.
2/9, -3, c
Let r = 21 + -19. Let c = -2 + r. Sort c, -3, 4.
-3, c, 4
Let x = 5.6 - 18.3. Let d = 0.3 - x. Let i = 18 - d. Sort 1, i, 1/5 in decreasing order.
i, 1, 1/5
Suppose -5*m + 14 = -1. Let d = 389/3 - 131. Put -1, m, d in increasing order.
d, -1, m
Let d be (-9)/(-36) - (-1)/(-4). Suppose d = 2*a + a. Sort a, -3, 4.
-3, a, 4
Let y = 5 + -1. Sort y, -2, 5 in descending order.
5, y, -2
Let z = -30 - -29.2. Put z, 1/6, -2 in decreasing order.
1/6, z, -2
Let u = -62 - -61. Sort u, -3, 0, -5.
-5, -3, u, 0
Suppose 2*b + 5 = 9. Put -2, -46, b in increasing order.
-46, -2, b
Let u = -5 - -1. Let y = 6 + u. Suppose 4*n - 3*t = y*n + 4, -2*t = -2*n + 6. Put 1, 0, n in ascending order.
0, 1, n
Let i = 131 + -131.02. Put i, -2, -2/7 in decreasing order.
i, -2/7, -2
Let l(c) = c**3 + 11*c**2 + 10*c - 4. Let r be l(-10). Put r, 0.1, -1 in ascending order.
r, -1, 0.1
Suppose -4*u - 4 = 3*p - 6*p, 3*p - 1 = u. Suppose p*k + k = 3. Let r = -7 + 8. Put 0.4, k, r in descending order.
k, r, 0.4
Let t(b) = 4*b - 4. Let q be t(4). Suppose -3*s + q = s. Let a = -49 + 48. Sort a, 1, s.
a, 1, s
Let x = -0.078 + -3.922. Put x, -0.3, -0.1, -2 in increasing order.
x, -2, -0.3, -0.1
Suppose -b - 18 = 5*b. Sort -2, b, 0 in decreasing order.
0, -2, b
Let h(c) = -c**2 - 3*c + 11. Let n be h(2). Sort n, -4, 0.
-4, 0, n
Let z = -0.15 + 5.15. Let h be ((-4)/(-2))/(2/(-14)). Let k be (-4)/h - 6/(-28). Sort 0.1, k, z in decreasing order.
z, k, 0.1
Let o(r) = -r**3 + 6*r**2 + r. Let g be o(6). Let h be 1*-1*(-7 + g). Let b = -1.9 - -2. Put 3/4, b, h in descending order.
h, 3/4, b
Let m = -0.141 + 0.141. Let a be (-2)/6 + (-13)/(-3). Suppose 5*o = a + 1. Sort 5, m, o in descending order.
5, o, m
Let v = 3 - 2.75. Let o = -0.05 - v. Sort 2, -5, o in increasing order.
-5, o, 2
Let h be (1 - 0)/(-1 + 2). Let a = 7 + -5. Sort -4, h, a in descending order.
a, h, -4
Let g = -8 + 6. Put 4, g, -1 in descending order.
4, -1, g
Let f = -4 - 1. Let h = -5 - -8. Let p be 405/210 - (-12)/21. Sort f, h, p in decreasing order.
h, p, f
Let x(r) = r**3 - 4*r**2 - 6*r + 7. Let m be x(5). Sort m, -2, -1.
-2, -1, m
Suppose -5*t - 56 = 2*t. Sort -1, -2, t in descending order.
-1, -2, t
Let l(z) = 5*z - 20. Let f be l(3). Sort -0.4, f, -3 in descending order.
-0.4, -3, f
Suppose -5*d + 5 = 20. Let l = 1 + -6. Put d, l, 2 in increasing order.
l, d, 2
Let l(c) = c**2 + 9*c + 12. Let h be l(-8). Suppose 0 = -b - 0*b + h. Suppose -3*g = -4*g + 4*j - 20, 4 = -b*g - 3*j. Sort g, -5, 3 in decreasing order.
3, g, -5
Let a = -6/13 + 25/26. Let t = 0.1 - 0.1. Put t, a, -1 in ascending order.
-1, t, a
Let b = 14 + -13.8. Sort 1/9, -2, b in ascending order.
-2, 1/9, b
Let w be 10/35 + (-46)/14. Let a = 4.9 - -0.1. Sort a, w, 1/4.
w, 1/4, a
Suppose 2*p + 12 = -2*g, -2*g + 3*p = 3*g + 6. Let m be 0 - (-1)/(-1) - 1. Put m, g, 0 in descending order.
0, m, g
Let w = 4.15 - 0.15. Put 0.2, -5, w in decreasing order.
w, 0.2, -5
Suppose 2*a - 4 = 2*u, 2*a - 3*u + 4 - 12 = 0. Suppose -5*n - 4*l = -3 - 22, -2*n = 2*l - 10. Sort n, 3, a.
a, 3, n
Let u = -35/172 + -2/43. Let h = 0.4 + 8.6. Let c = 14 - h. Sort c, u, 0.5 in descending order.
c, 0.5, u
Let d = -8 + 8.3. Let f = -1.1 + 0.1. Put 5, f, d in descending order.
5, d, f
Suppose f = -2*f - 15. Let k = -3 - -1.5. Let z = k + 2. Put 2/5, z, f in increasing order.
f, 2/5, z
Let x = 7.1 + -2. Let p = -5 + x. Put 3, 1/3, p in descending order.
3, 1/3, p
Let z = 4.2 - 3. Let r = z - 1. Sort -2, -5, r.
-5, -2, r
Let q = 7 - 13/2. Let o be -1*(1 + (-10)/7). Sort q, o, -2 in descending order.
q, o, -2
Let z = -12 + 17. Let k = 1.5 - 1.9. Put 4, k, z in increasing order.
k, 4, z
Let c be (-2)/(2 + 20/(-8)). Put 5, 8, c in ascending order.
c, 5, 8
Let f be 4/10 + 93/(-120). Let p = f - -1/8. Let b = 0.16 - -0.34. Sort -4, b, p in descending order.
b, p, -4
Let u(c) = -c + 5. Let r be u(10). Put 3, -2, r in increasing order.
r, -2, 3
Let r = 5 - -31. Sort -2, 0, r.
-2, 0, r
Suppose 2*p - 20 = -3*p. Sort p, -3, -14 in descending order.
p, -3, -14
Let o be 7 - (1 + -1 - -1). Let a = -1 + o. Let m(l) = l + 4. Let k be m(-7). Sort a, -2, k in descending order.
a, -2, k
Suppose -4*k - 2*h = 0, 16 - 3 = 5*k - 4*h. Suppose -2*u + 3*q - 5*q + 10 = 0, -4*q + 8 = 0. Suppose -3 - 6 = -u*d. Sort k, d, -4 in increasing order.
-4, k, d
Let v be (-1)/(-2) - 6/12. Let f be -2*(v + (0 - -1)). Let u be f + (7 - 0) + 0. Put u, 4, 1 in decreasing order.
u, 4, 1
Let r = 4.2 + -1.2. Let l = r + -6. Sort 2, 1, l in descending order.
2, 1, l
Let b be -1*3/6*-10. Let i(m) = -m - 2. Let s be i(-6). Put b, s, -1 in decreasing order.
b, s, -1
Let g(j) = -j**3 - j**2 + 2*j + 2. Suppose 3*s = -7*l + 2*l - 4, -5*l - s = 8. Let r be g(l). Let v(c) = -c**2 + c + 2. Let u be v(r). Sort -5, u, 1.
-5, u, 1
Suppose -4 - 16 = -4*z. Suppose -24 = -z*q + 9*q. Sort 3, -5, q in descending order.
3, -5, q
Suppose 0*k = 3*k - 6. Let h be (-1 - 2) + 2 - -1. Suppose -i = -h*i. Sort k, i, 4 in decreasing order.
4, k, i
Let k be (-36)/14 - 6/14 - -1. Let t = -3 - -2.5. Sort k, 3, t in increasing order.
k, t, 3
Suppose -5*s + b = 8, 0*s - 4*s = -4*b. Let z = -16 - -11. Put s, z, 5 in descending order.
5, s, z
Suppose x = 2 - 3. Let u = x + 5. Put u, 5, 0 in ascending order.
0, u, 5
Let p = 3 + -8. Let a = 5/8 - 31/24. Put 2/3, a, p in descending order.
2/3, a, p
Let c be -3 + -5*14/(-22). Put c, 1, 0.2 in increasing order.
c, 0.2, 1
Let i(g) = 3*g. Let o = 7 - 4. Let c be i(o). Let j be (0*3/c)/2. Sort 5, j, -5 in ascending order.
-5, j, 5
Suppose -5*j + 1 = 5*s - 4, -4*s + 4 = -5*j. Sort j, -4, -5 in ascending order.
-5, -4, j
Let p(x) = x**2 + 5*x + 4. Let y(f) = -f**2 + 3*f + 7. Let h be y(5). Let g be p(h). Sort 5, g, 1 in decreasing order.
5, 1, g
Let f = -196.95 - -197. Let k be 8/(-6)*1/(-8). Sort 2/25, f, k in descending order.
k, 2/25, f
Let j be 125/(-10)*6/(-5). Suppose -u + j = 4*u. Suppose 19 = -5*r - u*s, -2*r - 28 = 2*r - 4*s. Sort 4, -4, r in descending order.
4, -4, r
Suppose k = -20 + 6. Let u(z) = z**2 + 1. Let y be u(-3). Let m = y + k. Sort -1, 5, m in increasing order.
m, -1, 5
Let h(f) = -f - 12. Let u be h(-9). Put 4, -5, u, 2 in descending order.
4, 2, u, -5
Let i be -4*(5 + -6) + (-1 - 5). Put -1, -30, i in increasing order.
-30, i, -1
Let d = -0.56 + 0.16. Sort -2.1, d, 4, 0 in increasing order.
-2.1, d, 0, 4
Let c = -15 + 15. Put -2, c, 8 in ascending order.
-2, c, 8
Let y = 0 - 0. Suppose 0 = -2*l - y*l. Let o = 16 + -20. Sort -2, o, l.
o, -2, l
Let z = 1.98 + -0.98. Sort z, 0.07, -1/2 in descending order.
z, 0.07, -1/2
Suppose -3 = -u - 0. Let c(f) = -f**3 + 6*f**2 + 4. Let m be c(6). Let j be 2/(-9) - (-20)/9. Sort u, j, m.
j, u, m
Let i = 0.17 + -0.1. Let y = -46 + 48.93. Let z = y + i. Put -0.1, 1/6, z in ascending order.
-0.1, 1/6, z
Let n = 23 + -21. Sort -1, 0.6, n, 1/6 in increasing order.
-1, 1/6, 0.6, n
Let b be (-1)/3 + (-34)/(-30). Let l = 14.4 + -1.4. Let d = 13 - l. Put d, 5, b in increasing order.
d, b, 5
Let u = 4 - 2. Let r = 8/51 + 3565/357. Let w = r - 10. Put w, -2, u in increasing order.
-2, w, u
Let p = -11 + 15. Let q = 3.04 + -0.04. Let u = q - p. Sort -2, 3, u in descending order.
3, u, -2
Let v(a) = -a**3 - 2*a**2 + 5*a + 1. Let b be v(-3). Suppose 6*g - 3*g - 22 = 2*u, -3*u = -5*g + 35. Sort -4, g, b in ascending order.
b, -4, g
Suppose 4*r = 5*u + 15, -u + 14 = 3*r - 2*u. Suppose 3*s = r*g + 7, 13 = s - 0*s + g. Put s, 1/4, 1/2 in decreasing order.
s, 1/2, 1/4
Let p = 0.0127 - -3.9573. Let h = -0.03 - p. Sort h, -0.3, -1/9.
h, -0.3, -1/9
Let g(q) = q**2 + 2*q - 3. Let c be g(-3). Suppose c = 4*w - 4*h, 0*w + 2*w = 3*h + 5. Suppose 0 = 2*i - 3*i + 5. Put w, i, 1 in decreasing order.
i, 1, w
Let n(j) = j**3 - 4*j**2 + 4. Let t be n(4). Put -5, -1, t in descending order.
t, -1, -5
Suppose 1 = -2*s - 5. Let i = s + 6. Put 2, i, 6 in ascending order.
2, i, 6
Suppose -q = -6*q + 70. Put 5, q, -4 in ascending order.
-4, 5, q
Let i be 0 - ((-3)/18)/1. Let v = 0.22 + 0.08. Let y = 0 - v. Sort 1, i, y in decreasing order.
1, i, y
Suppose 3*z - 310 + 316 = 0. Suppose o + 4 - 1 = 0. Sort z, -1, o in decreasing order.
-1, 