-3 in increasing order.
-3, l, 2/9
Let t(j) = 3*j**3 - j**2 - j - 3. Let r be t(2). Let x be (10/r)/(6/(-45)). Put x, 2/9, -1/6 in descending order.
2/9, -1/6, x
Suppose 0 = a + 2*j + 2, -3*j = 5*a - 2*j + 1. Let t = -4 + 8. Suppose 0 = t*f - f - 6. Put a, f, 5 in decreasing order.
5, f, a
Let p = -1023/25 + 41. Let y = 3 + -4. Sort p, y, 2/9 in decreasing order.
2/9, p, y
Let u = 0.1 + -0.1. Let a(g) = -g**2 - g + 2. Let f be a(-3). Suppose -10 = 5*r + 2*d + 7, 2*r - 2*d + 18 = 0. Sort f, r, u.
r, f, u
Let n be (-275)/(-50) - (-10)/(-4). Let u be (6/8)/(2/(-8)). Put -6, u, n in descending order.
n, u, -6
Suppose o = -4*k - 0*k + 64, 0 = 2*k + 4*o - 18. Sort -3, k, 1.
-3, 1, k
Suppose y - 3*y = -2*r + 18, 2*r - 10 = -2*y. Sort 4, r, -4, 1 in descending order.
r, 4, 1, -4
Let g = -6.5 - -0.5. Let z = -10 - g. Suppose -2*b + 2 = 2*u + 3*b, -5*u + 5 = b. Put z, 1/8, u in decreasing order.
u, 1/8, z
Let t = -6 + 5.6. Let h = -18 - -17.91. Let n = h - 2.91. Sort t, n, -1 in ascending order.
n, -1, t
Let b = 0.1 + 2.9. Let i be (6/(-9)*3)/6. Sort 0.2, i, b in ascending order.
i, 0.2, b
Let u be ((-14)/(-35))/(2/20). Suppose -2*d + 2 = u. Put 0, d, 3 in descending order.
3, 0, d
Let f be 4/(-32)*-4 - 2. Sort -2, -7, f.
-7, -2, f
Let h(p) = p**3 + 4*p**2 - 5*p + 4. Let i be h(-5). Put -3, i, -11 in ascending order.
-11, -3, i
Suppose -2*n + 27 = 7*n. Suppose 5*t - 20 = 2*c, 4*t - 7 = 5*c + 9. Put t, n, -2 in descending order.
t, n, -2
Let v = 8 - 4. Suppose n - 3*n = v. Sort n, -5/3, -6 in decreasing order.
-5/3, n, -6
Let c be ((-6)/(-9))/(88/24). Let i(g) = -g**3 + 5*g**2 + 6*g + 2. Let x be i(6). Suppose 0 = -x*p + 2*l + 16 - 4, 3*l = 2*p - 13. Sort 5/4, p, c.
c, 5/4, p
Let c = -7 - -8. Let t be 102/14 - (-4)/(-14). Suppose 5*l + 13 = -t. Put -1, l, c in descending order.
c, -1, l
Suppose 2 + 0 = -5*a + k, 3*a + 6 = 3*k. Sort 5, a, -1 in increasing order.
-1, a, 5
Let x = -0.3 + 1.3. Suppose 7 = 3*b + 2*c, -1 = 5*b + 4*c - 16. Let j = 86 + -177/2. Put x, j, b in descending order.
x, b, j
Suppose 0 = -3*j + 2*m + 21, -j + 0*m - 2*m + 7 = 0. Let y be j/30 + 2/(-5). Put -1/5, y, 1 in increasing order.
-1/5, y, 1
Let v = -0.18 + 0.68. Put v, 1, 0.1 in descending order.
1, v, 0.1
Suppose -8 = 4*n - 2*h, 2*h + 4 = -2*n + 7*h. Sort 1/2, 1, n in increasing order.
n, 1/2, 1
Let l = 0.14 + -0.44. Put l, -3, 5 in descending order.
5, l, -3
Let v = -1 + 8. Let p = v - 4. Let s be 2/4 + p/(-6). Put 2, s, 4 in decreasing order.
4, 2, s
Let l = -0.5 - -0.52. Let m = 2.98 + l. Let q = -0.41 + -2.59. Sort m, q, 0.4.
q, 0.4, m
Let y(k) = -k**2 + 10*k + 8. Let n be y(11). Put 1, n, 4, 3 in decreasing order.
4, 3, 1, n
Suppose -3*y - 2 - 4 = 0. Let l(d) be the first derivative of d**4/4 + d**3/3 - d**2 + d - 4. Let b be l(-2). Sort -4, b, y.
-4, y, b
Suppose 3*f - 15 = 5*r, 4*r = -5*f - 0*f - 12. Sort r, 1, 3 in decreasing order.
3, 1, r
Let k = -47 + -8. Put -5, k, 0 in descending order.
0, -5, k
Let v = 51 - 54. Put -2, v, 0 in descending order.
0, -2, v
Let u(n) = n**2 - n - 2. Let r be u(0). Suppose 5*m = m + 20. Suppose -q - 2*h = 0, 3*h + 16 = -3*q + m*h. Put 3, q, r in decreasing order.
3, r, q
Let d = -0.77 - -0.82. Sort -4, 2/3, d in ascending order.
-4, d, 2/3
Let g be (-94)/8 - 12/(-16). Let d(c) = c**2 + 12*c + 9. Let m be d(g). Let x = 1 + 0. Sort x, -3, m.
-3, m, x
Let x = -63 - -62.6. Sort 0.2, x, -0.06 in descending order.
0.2, -0.06, x
Let f = 8 + -5. Let h(j) = -4*j - 187. Let u be h(-48). Put u, 2, f in descending order.
u, f, 2
Suppose 2*m = 5*m + 3*b - 15, 2*b = 8. Put 3, m, 2 in ascending order.
m, 2, 3
Suppose 0 = 14*w + 5 - 5. Sort -5, -3, w, 5 in descending order.
5, w, -3, -5
Suppose 0 = 4*s - 4*w + 20, -4*w + 12 = 4*s - 0*s. Put -3, -5, s in ascending order.
-5, -3, s
Suppose 2*c - m + 16 = -4*m, 3*c - 2*m - 2 = 0. Sort -5, c, 1/5 in decreasing order.
1/5, c, -5
Let j = -17 - -19. Put -3, j, 1 in descending order.
j, 1, -3
Suppose 4 - 5 = b. Let f = -0.03 - 0.27. Let s = 0 - f. Put s, b, 0.2 in increasing order.
b, 0.2, s
Let y = 9 + -2. Let h = y - 5. Put h, 5, 0.02 in increasing order.
0.02, h, 5
Let n = 2 - 6. Put -1, n, 3 in descending order.
3, -1, n
Let v = 1604/11 + -146. Let q(r) = -2*r**2 - 9*r + 7. Let x be q(-7). Let u be ((-2)/(-3))/(x/6). Sort v, u, -1 in decreasing order.
u, v, -1
Let u = 4/5 - 2/15. Let c = 4.07 - 0.07. Sort -2, c, u in increasing order.
-2, u, c
Suppose -1 = 2*k - 9. Put -2, 0, k in descending order.
k, 0, -2
Let x = -3 + 9. Let q = 6.4 - -0.6. Let p = x - q. Sort 0, 3, p in descending order.
3, 0, p
Let n be ((-5 + 1)/2)/3. Let y = -64/5 + 13. Put y, 2/7, n in increasing order.
n, y, 2/7
Suppose 18*m + 4 = 22*m. Sort m, 5, 4, 10 in descending order.
10, 5, 4, m
Let v be 1/(-2)*88/11. Put 2, -5, v in increasing order.
-5, v, 2
Let c be (-12)/18 + 10/(-3). Let t = 2 + c. Let g be 13/4 - (-1)/(-4). Put g, t, 2 in decreasing order.
g, 2, t
Suppose -12*q - 4 = -10*q. Put -4, -1, q in decreasing order.
-1, q, -4
Suppose -10 = 11*k - 9*k. Sort -12, 3, k in ascending order.
-12, k, 3
Let u = 0.15 + -3.15. Sort -2/19, u, 2/7 in descending order.
2/7, -2/19, u
Let s = -27777/43 + 646. Sort -0.5, 0, s in decreasing order.
s, 0, -0.5
Let u = 4 + -3.7. Sort -0.2, 4, u in increasing order.
-0.2, u, 4
Let l be -1 - 3*(-1)/(-3). Let q be (-16)/(-12)*(l + 1). Sort -2, 1/6, q.
-2, q, 1/6
Let i = -4.8 - -5. Let x = 4 - 15. Let z be (-1)/((-1)/(2/x)). Put i, 3, z in descending order.
3, i, z
Let j be (-8)/6 + (-2)/3. Put -3, j, 2 in descending order.
2, j, -3
Suppose 5*v = 4*b + 7, -8 = -2*v - 4*b + 3*b. Let p be 8/v*(-3)/(-2). Sort -5, p, 0 in descending order.
p, 0, -5
Let o = 6 + -2. Let j be 5/o*24/6. Sort j, -3, -1 in increasing order.
-3, -1, j
Let a(y) = 2*y**2 + y. Let i be a(-1). Sort -2, i, 2 in descending order.
2, i, -2
Suppose 7 = -l + 1. Put l, -4, 0 in descending order.
0, -4, l
Let k be ((-1)/(-8))/(6/(-12)). Put 2, k, -0.02 in decreasing order.
2, -0.02, k
Let m = 0.01 - -2.99. Let o = 1 - m. Let n(k) = k**3 + 4*k**2 + 4*k + 2. Let j be n(-2). Sort 5, j, o in ascending order.
o, j, 5
Let c be ((-2)/596)/((-2)/8). Let m = 438146/7 + -326420786/5215. Let t = m - c. Sort -1, -0.5, t.
-1, -0.5, t
Let g be 106/6 + 6/(-9). Sort -1, g, 4 in decreasing order.
g, 4, -1
Let v = 14 - 5. Let a = 4 - v. Let g = -2.6 + 0.6. Put a, g, 2/3 in descending order.
2/3, g, a
Let g = -3 + 7. Put 2, -1.2, g in ascending order.
-1.2, 2, g
Let a = -1.3 + 5.3. Let s = -0.2 - 0.2. Sort a, s, 9 in descending order.
9, a, s
Suppose 4*x + 0 = 4. Let o be (3/(-21))/(x/(-2)). Put 1, o, -5 in ascending order.
-5, o, 1
Let a be -1*2/((-20)/5). Put a, 0, 7 in ascending order.
0, a, 7
Let c = 1.8 + 6.2. Sort -1, 0.5, -5, c in descending order.
c, 0.5, -1, -5
Let u(t) be the third derivative of -t**5/60 + t**4/4 - t**3/6 - 4*t**2. Let l be u(5). Let o(c) = -c. Let q be o(3). Put l, -2, q in increasing order.
q, -2, l
Let h = -165.1 - -165. Put 0.5, h, -0.5, -3/7 in decreasing order.
0.5, h, -3/7, -0.5
Let q be ((-2)/(-10) + -1)*-5. Suppose -19 = -n + 5. Suppose -4*z = -q + n. Sort z, 4, 3 in increasing order.
z, 3, 4
Suppose i = -3*i. Let l be i + 1/(-4 + 0). Let q be (1 - 3)*1 + 5. Sort q, -5, l in decreasing order.
q, l, -5
Let z be (2 + -2)/((-6)/(-3)). Suppose 2*b - 15 = -b. Let u(m) = 2*m - 6. Let k be u(b). Sort z, k, -2 in descending order.
k, z, -2
Let r = 48 - 45. Put r, 9, -5, -0.4 in descending order.
9, r, -0.4, -5
Let v = -0.3 - -0.4. Let q = 0.2 - 1.2. Let o = 2 + q. Sort v, 1/4, o in decreasing order.
o, 1/4, v
Let t = 28 - 29.3. Let o = -1.1 - t. Let n = 5 - 0. Put o, n, 2/19 in decreasing order.
n, o, 2/19
Let z = -14 - 0. Let q be 4/z + 60/(-35). Put q, 4, -5 in decreasing order.
4, q, -5
Let f be (-4)/(-2)*(-5)/80. Put -1/6, -7, f in descending order.
f, -1/6, -7
Let n be (-2)/3 + 54/4. Let b = 13 - n. Let t = 1748/9 + -194. Put b, -1/3, t in decreasing order.
t, b, -1/3
Let x(l) = l**3 + 5*l**2 + l + 5. Let r be x(-5). Suppose -29 = -11*h + 4. Sort r, -3, h in decreasing order.
h, r, -3
Let r(n) = n**2 - 10*n + 7. Let s be r(9). Let l = s + 4. Sort l, -1, 4 in decreasing order.
4, l, -1
Suppose 3*s + 3 = -0. Let g be (-6)/9 + s/6. Sort -2, -4, g in increasing order.
-4, -2, g
Suppose 6*r - 3*r - 4*t - 4 = 0, 0 = r - 3*t - 