et l be (-42)/10 - 1/m. Sort l, -3, -1 in decreasing order.
-1, -3, l
Let d be (-3 - (0 - 2))/((-3)/(-6)). Sort -0.2, d, 7 in increasing order.
d, -0.2, 7
Suppose -2*j = -11 + 5. Suppose 0 = -j*q + 2*o + 7, -q - 4*o + 1 + 20 = 0. Put 0, q, -1 in descending order.
q, 0, -1
Suppose 12 = 2*s + 18. Put 0, s, 4 in descending order.
4, 0, s
Let f(c) = -c**3 - 6*c**2 - c - 2. Let s be f(-6). Let o(z) = -z**2 + 5*z + 2. Let d be o(s). Let q be 4/d*(-4 - -1). Put q, 4, 0 in decreasing order.
4, 0, q
Suppose w = 4*w, -4*s + 2*w - 96 = 0. Suppose 4*p + 10 = b, 2*p = 2*b - 0*p - 2. Let f be s/14 + b/7. Put f, 3, -1 in descending order.
3, -1, f
Let m = 0.33 + 0.07. Put 1/3, m, -12, -1/6 in descending order.
m, 1/3, -1/6, -12
Let g be (-1)/(-1) - (-12)/3. Suppose -h + 0*h + 4 = 0. Sort -10, h, g in descending order.
g, h, -10
Let y = 15 + -20. Sort y, 1, 0.1 in ascending order.
y, 0.1, 1
Let u = 7.3 + -7.5. Put -0.5, u, -1 in decreasing order.
u, -0.5, -1
Let w = 1.2 - 1.4. Put w, 2/5, -3 in decreasing order.
2/5, w, -3
Let u = -0.191 - 0.109. Sort -5, 0.7, u.
-5, u, 0.7
Suppose -3*v = 2*v + 2*o + 21, -5*v + 4*o - 33 = 0. Sort v, 0, 4 in decreasing order.
4, 0, v
Suppose -20 = q + 5*j, -3*j - 78 = 5*q - 0*q. Let s = q - -15. Sort s, -1, -6 in decreasing order.
s, -1, -6
Let y = 2730 + -595141/218. Let z = y - 425/2398. Suppose 9 = 5*k - 2*d, 3*k + 2 = 2*d + 5. Put -4, z, k in descending order.
k, z, -4
Let m(g) = g**2 - 13*g + 20. Let o be m(11). Sort -2/3, o, -0.3, 0 in increasing order.
o, -2/3, -0.3, 0
Let m = -2/147 + 17/49. Let r = 1 - 1.5. Let s = 0.4 - 0.3. Sort r, m, s in decreasing order.
m, s, r
Let d(g) = 2*g + 24. Let f be d(-11). Suppose r - 5*i + 22 = 0, 0 = 4*r + 4*i - 4 - 28. Let t be -1 + r + 48/(-22). Put -0.5, t, f in ascending order.
-0.5, t, f
Let z be (-3)/18 - 17/(-30). Put 1/3, z, -0.2 in increasing order.
-0.2, 1/3, z
Let b = -1.1 - -5.1. Let g = -5 + b. Put -5, g, -5/4 in increasing order.
-5, -5/4, g
Let z be 4/6 - (-7)/3. Suppose 0 = 3*b - 7*b. Suppose -z*x - 3 - 9 = b. Put x, -3, 3 in descending order.
3, -3, x
Suppose -13 = -5*y - 3. Let w(q) = 1 - 2 + y*q**2 - 3*q**3 - q**2. Let i be w(-1). Sort -1, i, 5.
-1, i, 5
Let o be ((-4)/6)/((-1)/3). Let u be ((-1)/(-2))/(-1)*-8. Suppose u*k - 8 = 2*k. Put 5, o, k in increasing order.
o, k, 5
Let x(b) = 2*b + 7. Let l be x(-6). Let y = 225.6 - 226. Sort l, y, 0.2.
l, y, 0.2
Let k = -17.2 + 16. Let n = k - -1.2. Sort -1, n, 0.1 in descending order.
0.1, n, -1
Let m be 5/2 + (-4)/(-4)*-3. Put -17, m, 0.3 in ascending order.
-17, m, 0.3
Suppose 0*s = 5*s - 20. Let x = 10.7 + -10.21. Let g = -0.01 - x. Put -2/3, g, s in decreasing order.
s, g, -2/3
Let k = -36 + 33. Sort -11, -2, -5, k in decreasing order.
-2, k, -5, -11
Suppose 6 = 4*p - 10. Let j be 2 - 0*1/p. Suppose 2*z + 3 = -h - 6, z + 4*h + 15 = 0. Put j, -5, z in decreasing order.
j, z, -5
Let t = 35 - 30. Put 3, -5, t in descending order.
t, 3, -5
Let v be ((-2)/(-4))/(4 - 0). Let z = -131/660 - -1/60. Let d be 1/(-10)*3*-5. Sort d, v, z.
z, v, d
Let n(b) = -9*b - 4. Let f be n(0). Put 11, f, -5 in descending order.
11, f, -5
Let s = -10 + 17.5. Let u = s - 7. Let i = -7 + 5. Sort u, 0, i.
i, 0, u
Let s = 0 + 0. Let h = -388/39 - -1093/65. Let o = h - 31/5. Put -3, s, o in increasing order.
-3, s, o
Let f = -15 - -18. Sort -2, 0, f in ascending order.
-2, 0, f
Let i = -73 + 75.9. Let u = i + 0.1. Put u, 1, -4 in increasing order.
-4, 1, u
Let c(b) = b**2 + 1 + 0*b**2 + 3*b**2. Let f be c(1). Suppose x - 2*x + 1 = 0. Sort -1, x, f in descending order.
f, x, -1
Let i(n) = -n + 1. Let c be 0/1 - (4 + -1). Let p be i(c). Sort -5, 5, p in increasing order.
-5, p, 5
Suppose 15 - 60 = -9*j. Sort -5, j, 3, -4 in increasing order.
-5, -4, 3, j
Let h be 0/(2 - (1 + 2)). Put -1, 6, h in decreasing order.
6, h, -1
Let d = 7 + -6.6. Let r = d + -0.44. Let p = 0.44 + r. Sort -5, 1/3, p in descending order.
p, 1/3, -5
Let p = 40 + -41. Sort 4, p, 8.
p, 4, 8
Suppose -3*v = v - 52. Let g = -9 + v. Put -0.3, g, -2/7 in decreasing order.
g, -2/7, -0.3
Let o(p) = -2*p - 10 + 4*p - p - 2*p. Let g be o(-7). Let j = 0.03 + 1.97. Put g, j, 0.1 in decreasing order.
j, 0.1, g
Suppose -2*u + 2*x = 358, u + x = -0*u - 183. Let j = -179173 + 1610930/9. Let w = u - j. Put 1/2, w, -1 in ascending order.
-1, w, 1/2
Suppose -25 = -2*i - 4*r + 7, -5*i + 3*r = -15. Suppose -3*c = -5*j - c - 2, -3*j + 4*c = -10. Sort 2, i, j in descending order.
i, 2, j
Let w = 4.92 + 0.08. Let m = -1 - 1. Put 0.1, m, w in ascending order.
m, 0.1, w
Let c(n) = -n**2 + 5*n - 6. Let a be c(4). Let m(o) = 11*o - 273. Let t be m(25). Sort a, -5, t.
-5, a, t
Let b be 24/(-18) - 15/(-9). Put b, 0.3, 0.04 in decreasing order.
b, 0.3, 0.04
Let o = 13 + -9. Let z = -0.55 + 0.05. Let b be 4/(-22) - (0 + 0). Put b, z, o in decreasing order.
o, b, z
Let g(l) = 5*l**3 + 32*l**2 - l - 44. Let n(w) = -w**3 - 8*w**2 + 11. Let z(a) = -2*g(a) - 9*n(a). Let t be z(8). Sort t, 0, -3 in decreasing order.
t, 0, -3
Suppose 5 - 17 = 3*d, -8 = -t + d. Suppose -4*m - 2*b + 2 = -2, -5*b + 17 = 3*m. Sort t, m, 2 in descending order.
t, 2, m
Let m be (-2)/5*(-5 + 6). Sort -1/3, -1/7, 1/7, m in descending order.
1/7, -1/7, -1/3, m
Let q = -0.1 - 0.1. Let r = -0.3 - q. Let p = 0.75 - -2.25. Sort p, 0.5, r in increasing order.
r, 0.5, p
Let j be (3/1 + -1)/2. Sort 2, -4/19, j in decreasing order.
2, j, -4/19
Let r be (-4)/8*(0 - -4). Sort 0.23, 1/9, r in decreasing order.
0.23, 1/9, r
Let q = 9 - 12. Suppose j = h, -2*j - 20 = -j + 4*h. Sort 0, j, q in decreasing order.
0, q, j
Let o = -8 - -5. Suppose 3*t + 4*d = 14, 2*d - 14 = -5*t - 0*d. Let v = t - o. Put v, 3, -2 in decreasing order.
v, 3, -2
Let s = 1.5 - -0.5. Sort 0, 2/11, s.
0, 2/11, s
Suppose 0 = -3*y - 1 + 7, 0 = -5*n + 5*y - 55. Sort 4, 1, n in descending order.
4, 1, n
Suppose 0*g - 30 = -2*g. Let f be (18/g)/((-6)/20). Sort -5, f, -2/7.
-5, f, -2/7
Let g(f) = f**2 + 3*f - 20. Let w be g(-6). Sort w, -5, 2, 6 in increasing order.
-5, w, 2, 6
Let s(q) = -q**3 + 2*q**2 + 4*q + 1. Let k be s(3). Sort -4, 6, 0, k.
-4, 0, k, 6
Suppose -2*x + 3*x = -4*u - 19, 5 = x. Let f be (u/2 + 1)*1. Sort 0.3, f, -2/15 in ascending order.
f, -2/15, 0.3
Let c be -2 - (2 + 138/(-33)). Put 2/5, -2/13, c in ascending order.
-2/13, c, 2/5
Let u = 5.35 + 0.15. Let y = -34 - -39. Let b = u - y. Sort b, 1/4, 0.4 in descending order.
b, 0.4, 1/4
Suppose -2*z = -3 - 1. Let r be 4/z + -1*2. Sort 3, r, 4.
r, 3, 4
Let i be 2/(-11) - (-24)/11. Let w = -4 + i. Suppose -16 = v + 3*v + 2*z, 0 = 4*v + 4*z + 12. Sort v, w, 1 in decreasing order.
1, w, v
Let b(q) = q**3 - 3*q**2 - 3*q + 1. Let m be b(4). Let o = -3 + m. Suppose -5*l - 5*g = -35, 2*g = 5*l + 5*g - 27. Sort l, o, -4 in decreasing order.
l, o, -4
Suppose 10 + 30 = h. Suppose -4*v = 5*p - h, 3*p - 1 = -5*v + 36. Sort v, -2, -5 in decreasing order.
v, -2, -5
Let x = 2 - 5. Let f = x - -7. Let s = 3 + -2.5. Put s, f, 3 in decreasing order.
f, 3, s
Let k(u) = u**2 + 6*u + 4. Let g be k(-6). Sort 3, -5, g in increasing order.
-5, 3, g
Let t = 0.23 - 0.03. Put 0, t, -6/11 in descending order.
t, 0, -6/11
Suppose -4*j + 5 = 5*u, 0 = -u + 2 - 1. Put 24/11, j, 2 in ascending order.
j, 2, 24/11
Let a = -11 + 23. Let v be (-3)/(-4)*a/(-3). Let c = 3.7 - 4. Put -1/5, c, v in decreasing order.
-1/5, c, v
Let h be (-8 - -2)/(6/(-4)). Let m be (h/3)/((-5)/(-15)). Sort m, -2, 2 in descending order.
m, 2, -2
Let t = 15 + -17. Sort 5, t, 0.
t, 0, 5
Let t = 37 - 35. Put 4, 33, t in ascending order.
t, 4, 33
Let x = 15 - 4. Sort 0, 3, -5, x in decreasing order.
x, 3, 0, -5
Let m = 10 - 3. Let v = -8 + m. Suppose 24 = 3*f + 9. Put -3, f, v in descending order.
f, v, -3
Let y(r) = -r**2 - 2*r - 2. Suppose 4*o - 7*o = 6. Let x be y(o). Put x, -5, -3 in increasing order.
-5, -3, x
Let l = 41 - 37. Put l, -5, -1 in decreasing order.
l, -1, -5
Let d = -0.08 + -0.02. Let b = 0 - d. Sort 0, b, 2/7 in decreasing order.
2/7, b, 0
Let n(i) = -i**3 - 5*i**2 + 7*i + 9. Let l be n(-6). Sort -2, 6, l in descending order.
6, l, -2
Let n = 29/5 + -6. Put -1.1, n, 1/4 in increasing order.
-1.1, n, 1/4
Let o(i) = i - 19. Let w be o(16). Put 1, -4, w, 0 in descending order.
1, 0, w, -4
Let c = -18/5 + 3. Let u = 3 - 2.9. Sort u, 1, c in ascending order.
c, u,