2*t + 2*x + 18 = 0. Let v be 2/(-8) + 82/8. Let r = t - v. Put 5, r, 1 in descending order.
5, 1, r
Let x = -93 + 98. Sort x, 8, 2, 4 in ascending order.
2, 4, x, 8
Let m = -15 - -15. Let h = 0.03 - 0.43. Put m, h, 1/3 in descending order.
1/3, m, h
Let f be (2/(-5))/(5/25). Sort f, 0.4, -1/3 in increasing order.
f, -1/3, 0.4
Suppose 0 = j + 1. Let h be ((-2)/(-26))/(j/2). Let q = 10/9 + -152/153. Put h, q, 0.2 in decreasing order.
0.2, q, h
Let n = -1 + 2. Put -2/15, -1/4, n in decreasing order.
n, -2/15, -1/4
Suppose -6 = -2*r - 4*b - 24, -3*b = -5*r - 6. Suppose 0 = -2*t - 3*t. Sort r, 5, t in descending order.
5, t, r
Let m = 3 + -2. Let s = m - 4. Let t be -5 - (s + 2)*2. Sort -5, t, -1.
-5, t, -1
Let g(s) = -s**3 - s**2 + s + 2. Let t be g(0). Suppose 6*m = 2*m - t*n + 4, m + 4*n = 8. Put -5, -4, m in descending order.
m, -4, -5
Let a = 7/124 - -6/31. Sort -1/7, -0.3, a, -3 in increasing order.
-3, -0.3, -1/7, a
Let a(f) = -2*f + 21. Let n be a(9). Let y be (-1 - -4)/((-24)/(-16)). Put n, y, 4 in increasing order.
y, n, 4
Let z = 0.37 + 0.03. Let f = -1.6 - z. Let t = -0.09 - 0.11. Sort f, t, 0.1 in descending order.
0.1, t, f
Let y be 2/(-5) + 6/15. Put y, -1, 5 in ascending order.
-1, y, 5
Suppose -5*w + 2*w = -3. Let c be (21/((-6)/(-2)))/w. Let j be 2/4*4/c. Put -2, 0.2, j in ascending order.
-2, 0.2, j
Suppose 4*g + 4 = 16. Suppose -36 = d + 2*d. Let r(k) = -k**2 - 12*k + 5. Let f be r(d). Sort f, g, -3 in decreasing order.
f, g, -3
Let h(j) = j**2 + 4*j - 5. Let l be h(-4). Sort 17, 1, l in decreasing order.
17, 1, l
Let a(w) = -w**3 + 3*w**2 + 3*w - 1. Let s be a(4). Put -1, s, 4 in decreasing order.
4, -1, s
Suppose -y = y - 4*o - 4, 0 = -4*y - 3*o + 30. Sort 3, 2, y in ascending order.
2, 3, y
Let j = -0.11 + -3.89. Suppose 2 = -2*v, v - 46 = -3*y - 2. Suppose -i - 4*i = y. Put i, j, 1/3 in descending order.
1/3, i, j
Let q be 13/8 - (0 + 2). Let g = 6 - 8. Let z = -1 + g. Put z, q, 1/5 in decreasing order.
1/5, q, z
Let u(v) = -v**2 - 4*v + 8. Let l be u(-6). Let o be 6/4*8/(-6). Put l, 5, o in decreasing order.
5, o, l
Suppose t + 3 + 0 = 0. Sort -1, t, 7 in decreasing order.
7, -1, t
Let f = 141/2 + -11981/170. Let r = -322/765 - f. Sort 1, r, -2 in ascending order.
-2, r, 1
Let u(o) = o**3 - 5*o**2 + 6*o - 5. Let w be u(4). Sort w, 4, -3 in decreasing order.
4, w, -3
Let b = 36/7 + -5. Sort 0.3, b, 1 in decreasing order.
1, 0.3, b
Let a be 286/24 + 1/3. Let m = -84847/60 + 7016/5. Let j = a + m. Put 5, -3, j in decreasing order.
5, j, -3
Suppose n + 3*q = q + 4, n + 5*q = 4. Sort n, -3, 5, 14 in descending order.
14, 5, n, -3
Let p = 7 - 4. Let f = 2 - p. Put f, 4, 0.1 in increasing order.
f, 0.1, 4
Let s(j) = j**3 + 3*j**2 + 2*j + 1. Let x be s(-3). Put x, 3/5, 0 in decreasing order.
3/5, 0, x
Let y = 4.065 - 0.065. Put y, 0.4, -0.2 in ascending order.
-0.2, 0.4, y
Let m be 4*-1*(-4)/2. Suppose 0 = 2*o - 2*h + m, -4*o = -0*o + h + 16. Sort o, -0.3, 5 in descending order.
5, -0.3, o
Let q = 70 - 76.4. Let i = q - -6. Let o = -1.6 + i. Put -4, 2/9, o in descending order.
2/9, o, -4
Let k = 0 - 2. Suppose -3*v - 21 = 3*s, 0 = 2*s + v + 2 + 8. Put k, -2/15, s in increasing order.
s, k, -2/15
Suppose 10 = 8*a - 4*a + n, -2*a = -4*n - 14. Let l = -3 - -1. Put a, l, 1/2 in decreasing order.
a, 1/2, l
Let b = 7 - 11. Put 1/3, -5, 1, b in decreasing order.
1, 1/3, b, -5
Let n = -0.05 + 4.05. Let u = 5 - 13. Let y = -7.5 - u. Sort n, y, -0.2 in ascending order.
-0.2, y, n
Suppose -3 = 2*p + 3. Let d be (1/(-3))/((-7)/(-42)). Put d, p, 1 in decreasing order.
1, d, p
Let a(v) = -v**2 + 3*v + 1. Let t be a(3). Let l = -8 - -4. Let m be 6/8*2*-2. Put l, t, m in descending order.
t, m, l
Let i be (-46 - -47) + (-34)/(-1). Put 0, 5, i in ascending order.
0, 5, i
Let p = 0.42 + -0.02. Let d = p - 0.6. Let m = 1 - 3. Put -0.1, d, m in increasing order.
m, d, -0.1
Suppose p - 1 = 5*o - 26, -23 = -2*o + 3*p. Let q = 0 - 0.2. Let l be (6/35)/(12/40). Put o, q, l in ascending order.
q, l, o
Let a be (-36)/(-70) - 42/(-147). Let p be (64/7)/(-4) + 2. Put p, -4, a in decreasing order.
a, p, -4
Let i(z) = 2*z + 1. Let l be i(2). Suppose -1 = -2*m - 3, 5*u = -l*m + 5. Suppose -u = -2*c + 6. Put 0, -3, c in ascending order.
-3, 0, c
Suppose -6 + 3 = -3*z, 9 = 4*k + z. Sort 7, k, -5 in decreasing order.
7, k, -5
Let r be 2/(-8) - 15/36. Let m = 51 - 55. Put -1, m, r in decreasing order.
r, -1, m
Suppose 2*u = -2, -3*x + u + 2*u = 12. Sort 2, -1/4, x in ascending order.
x, -1/4, 2
Suppose -3*f - 3*t + 33 = 0, t = 4*f - 0*f - 34. Suppose -f*x = -5*x. Put x, -5, 4 in decreasing order.
4, x, -5
Suppose -2*t - 2 = y, 0 - 6 = 2*y + 2*t. Sort 0, -11, -1, y in decreasing order.
0, -1, y, -11
Let c(z) = -z**2 - 2*z + 1. Let p be c(-2). Let v = p - 0. Let t = 38 + -35. Put v, t, -1 in ascending order.
-1, v, t
Let b = 0.4 + -0.9. Let t = 0.6 + b. Sort 5, t, 2 in increasing order.
t, 2, 5
Let t = -1/8 - -13/8. Let s = 1 + -1.5. Put -4, t, s in increasing order.
-4, s, t
Let j be (-148)/(-52) - 1*3. Let f = 3 - 3. Sort f, j, -0.4.
-0.4, j, f
Let g be (2/(-10))/(1/(-5)). Put 5, g, -2 in descending order.
5, g, -2
Let h(l) = -l**2 - 4*l - 1. Let a be h(-4). Suppose -4*q - z + 4 - 14 = 0, 2*q - z = -8. Put q, 1, a in decreasing order.
1, a, q
Let f be (-44)/5 + 3 + (-1)/5. Sort f, 8, -3.
f, -3, 8
Let v = 34 - 27. Put 3, v, -0.5 in ascending order.
-0.5, 3, v
Let l = 3 + 1. Suppose 0*q - 3 = -5*q + x, -q - 6 = 2*x. Put -2, l, q in ascending order.
-2, q, l
Suppose 0*c = 2*c + 2. Put c, -3, -2 in descending order.
c, -2, -3
Let z(q) = 2*q - 1. Let k be z(3). Suppose -3*t = -3*c - 27, 2*t - 12 = k*c + 18. Let x(j) = j**2 - 6*j + 1. Let b be x(6). Sort c, 5, b.
c, b, 5
Let i be 1/(-2) + (-5)/10. Let x be 5*-1*(-3 - -2). Let j = -2 + 2. Put x, j, i in ascending order.
i, j, x
Let g = -4 + 8. Sort -0.1, -1/2, g in decreasing order.
g, -0.1, -1/2
Let l(a) = a**3 - 3*a**2 + a - 3. Let g be l(3). Put 5, 2, g in decreasing order.
5, 2, g
Let c be (-16)/(-4)*2/4. Suppose -4*k + c*k = 0. Put k, 3, 1 in decreasing order.
3, 1, k
Suppose 6*f - 2*f - 4*n = 48, 5*f - 25 = -2*n. Let u be f/3 + (-4)/(-6). Let a be (1/(-2))/((-7)/(-28)). Sort 0, u, a.
a, 0, u
Suppose 0 = -3*t - 3, 5 + 12 = 4*k - 5*t. Sort k, 14, 5 in decreasing order.
14, 5, k
Suppose 0*d = 3*d + 2*k - 23, 30 = 2*d + 5*k. Put 1, -0.02, 0.1, d in increasing order.
-0.02, 0.1, 1, d
Suppose -u + 9 = -11. Let y be (-3)/(-5) - u/(-50). Sort -1, y, -4.
-4, -1, y
Let q = -43 + 44.7. Let i = q - 1.9. Put i, -0.5, 5/6 in decreasing order.
5/6, i, -0.5
Let k = 0.4 + 0.05. Let s = k + 0.05. Suppose -2*w + 7*w = 0. Sort -2, w, s in ascending order.
-2, w, s
Let b = 8 - 14. Let r = b + 3. Sort 4, 2, r in descending order.
4, 2, r
Let r(x) = 3*x - 90. Let c be r(30). Put 3, c, -6, -5 in ascending order.
-6, -5, c, 3
Let u be -1 + (0 - (-4903)/(-15)). Let x = 328 + u. Sort x, 0.3, 3 in descending order.
3, 0.3, x
Let f(p) = 0*p - 10 + 3*p + 9. Let g be f(-1). Put 0, g, 4 in decreasing order.
4, 0, g
Let s = 0.6 + -0.8. Let n = 0.2 - s. Put n, -2/7, -2/5 in increasing order.
-2/5, -2/7, n
Let j be 6 - (-1)/((-4)/16). Let p = 19 + -18. Put j, 5, p in decreasing order.
5, j, p
Let o = 0.5 - 0.1. Let d = -20 + 24. Put -0.2, d, o in descending order.
d, o, -0.2
Let r = 0.27 - 2.27. Let t = -12418/23 - -540. Sort r, 2/15, t in increasing order.
r, t, 2/15
Suppose 0*j + o = -j - 1, -5*o = -4*j - 4. Suppose 4*u - 2*k = -0*k - 12, u - 4*k = -3. Sort u, 5, j in increasing order.
u, j, 5
Let u be -8 + (-3)/(-6)*8. Let x be -1*(-1 + (7 - 1)). Put -3, u, x in ascending order.
x, u, -3
Let z = 3.833 - -0.067. Let p = -1.1 - z. Sort -1, p, 5 in ascending order.
p, -1, 5
Let a = -27637078/23 + 1201793. Let r = a - 181. Put 1, -5, r in decreasing order.
1, r, -5
Let x be (-2 + 1)/(2*-4). Suppose -4 = -i + 4*w, -5*i + w = -5 + 4. Let f be (-3)/30 + i/2. Put x, 2/7, f in decreasing order.
2/7, x, f
Let g = 21 + -20.1. Let y = g + -5.9. Put -4/5, y, -3 in descending order.
-4/5, -3, y
Let i(z) = 2*z + 9. Let g be i(-5). Put 3, 12, g in increasing order.
g, 3, 12
Suppose 5*j - 15 + 5 = 0. Sort -3, 5, j, 1.
-3, 1, j, 5
Let o(f) = -f**3 - 3*f**2 - 3. Let s be o(-3). Let t be (-2 - 28)*1/s. Suppose -1 = -3*v - t. Put 0, v, 5 in descending order.
5, 0,