Let x(t) = -t + 3. Let v be x(3). Let d = 4.01 + -0.01. Let p = -8 + d. Sort -5, v, p.
-5, p, v
Let j = 11.12 + -0.12. Let x = j - 8. Let l = 0.116 + 3.884. Sort 3/4, l, x in decreasing order.
l, x, 3/4
Let q = -5.9 - -0.9. Let g = q + 8. Sort g, -0.2, -1/8 in ascending order.
-0.2, -1/8, g
Let n be ((-12)/(-14))/(3/14). Sort n, 1, -3 in descending order.
n, 1, -3
Suppose -3*k - 9 = 0, 0 = g - 0*k - 2*k - 14. Suppose 0 = i - 5*i - g. Sort 3, i, -9 in descending order.
3, i, -9
Suppose 5 = m - 2. Put m, 5, 0 in increasing order.
0, 5, m
Let p = 1 - -2. Suppose 2*z + 3 = p*z. Let m = -2/143 - -151/572. Sort z, 3/7, m.
m, 3/7, z
Let r be 5/((-1)/2*-1). Suppose -5 = 3*i + r. Put i, -4, 4 in ascending order.
i, -4, 4
Let q be 4/(-18) - 29/(-9). Suppose -3*m = -4*a + q, -5*m - 2 = -2*a - 11. Let p be 1 + -1 - (-20)/10. Sort a, -1, p in increasing order.
-1, p, a
Let a = 12.23 + -0.23. Let i = 7 - a. Let f be (-3 - (-2)/1)*0. Put -0.1, f, i in descending order.
f, -0.1, i
Let a = 2.21 + -0.11. Let j = a - -0.9. Put 2/13, 0, j in decreasing order.
j, 2/13, 0
Suppose 0 = 4*m + 22 - 2. Let r = 200 - 196. Put r, m, -4 in descending order.
r, -4, m
Suppose -5 = 3*n - 5*v, 3*n + 5 = 4*v + 1. Suppose -3*r - 3 = -0*r. Let d(x) = -x**3 + x**2 + x + 1. Let a be d(r). Put a, n, -1 in decreasing order.
a, n, -1
Let a = -0.406 + 0.006. Let v be (-1)/4 - (-6)/16. Let n = -4 + 1. Sort v, a, n.
n, a, v
Suppose 18 = 4*w + 22. Suppose 0 = 3*q - 2*q. Sort q, w, 4 in increasing order.
w, q, 4
Suppose -3*y + 11 = -5*u, 3*y + 15 + 14 = -5*u. Suppose 0 = -5*m + n - 8, -5*n + 22 - 4 = -3*m. Sort 3, y, m.
y, m, 3
Let m be (-3)/(-4)*92/69. Put 2, 5, 14, m in ascending order.
m, 2, 5, 14
Let h = 0.93 - 1.23. Sort -44, h, -0.1 in decreasing order.
-0.1, h, -44
Suppose -2*p + 5*q + 3 = -2, -21 = -5*p + 4*q. Suppose p*g = 4*g - 3. Let r be 5 - 10/((-12)/(-6)). Sort r, g, -2 in decreasing order.
r, -2, g
Let g be 1/(-2) + 18/(-4). Let x = 8 - 6. Suppose 0 = -2*f - x*f. Sort g, f, -1 in ascending order.
g, -1, f
Suppose 2*t + 2*c + 17 = -t, -3*t - 13 = c. Put 3, t, 2, 0 in descending order.
3, 2, 0, t
Suppose 3*y + 3 = -4*s, -3*s - 2*s = -4*y + 27. Suppose 0 = 5*f + 6 - 16. Sort f, 4, y.
f, y, 4
Let w be (-66)/30 + 1 + 1. Let r be 4/3*2/4. Sort r, 3, w in decreasing order.
3, r, w
Let v(c) = -7*c - 5. Let z be v(4). Let w = 65/2 + z. Sort w, 0.5, 2/7 in increasing order.
w, 2/7, 0.5
Let v = -1 + 6. Let u be 2/(-3) - 264/36. Put -4, v, u in decreasing order.
v, -4, u
Let v(y) = 4*y**2 - 4*y + 3. Let l be v(2). Suppose -4*p + l = -1. Sort p, -2, 7 in increasing order.
-2, p, 7
Let h = -7 - -4. Let z be 4 + h - (-8 - 1). Suppose -g + z = g. Sort -4, g, 4.
-4, 4, g
Let x = -31.4 - -31. Put x, -5, 0 in ascending order.
-5, x, 0
Suppose 0*s = -5*s - 25. Let l(h) = 3*h + 5*h - 10 - 6*h. Let v be l(7). Sort v, s, -1.
s, -1, v
Suppose -c - 4 = 0, c + 0 = 2*u - 6. Let t be 11 + -7 - 0/(-2). Put t, u, -5 in descending order.
t, u, -5
Let k(l) = -l**2 - 7*l - 7. Let w be (4/(-6))/(8/72). Let b be k(w). Sort b, 2, -3.
-3, b, 2
Suppose 0 = -5*c + 2*u + 15, -u - 9 = -0*c - 3*c. Suppose 0*z = -3*z + 4*x + 65, 0 = -5*x - 25. Let p be (6/z)/((-1)/10). Sort 4, p, c in decreasing order.
4, c, p
Let k be (-2)/(2/(-5) - 0). Let a = 51 - 50. Put 4, a, k in increasing order.
a, 4, k
Let y = 0.38 - 0.08. Sort -5, -0.1, y in decreasing order.
y, -0.1, -5
Let v = 24 + -29. Sort -18, -4, v in descending order.
-4, v, -18
Suppose 2*r = 20 - 20. Sort r, 4, -10.
-10, r, 4
Let c(i) = i + 1. Let l be c(0). Suppose -l = s + 2. Put s, 3, 5 in decreasing order.
5, 3, s
Let h = 46 + -20. Put h, -0.2, 5 in decreasing order.
h, 5, -0.2
Let k be 11/5 - (-2)/(-10). Suppose -k*q - 6 = -2. Let o be (3 - 2)/(2/(-6)). Put q, 1, o in increasing order.
o, q, 1
Let p(z) = -z - 16. Let f be p(-16). Suppose 4*s + 5*k = -f*s - 17, 0 = -5*s + 4*k + 30. Put 0, 8, s in descending order.
8, s, 0
Let u = -23 + 19. Suppose 2*v + 2 = 10. Sort u, v, 3 in increasing order.
u, 3, v
Let t = 12 - 7. Suppose 0 = -k - 4*k - 20. Let q be 2 + 0 - (-10)/(-5). Sort k, q, t in decreasing order.
t, q, k
Let r = 0.194 + 0.206. Put 2/33, -0.4, r, 1/2 in decreasing order.
1/2, r, 2/33, -0.4
Let r be 20/(-30) + 13/(-3). Sort r, 3, -0.1.
r, -0.1, 3
Let h be (1/3)/(2/(-24)). Put 6, h, 1/2 in descending order.
6, 1/2, h
Let y be (-4)/30*(-10)/8. Put y, 5, -3/8 in ascending order.
-3/8, y, 5
Let r = 5 + -2. Suppose -r*w + w = 0. Sort 2, 3, w.
w, 2, 3
Let m = -15 + 13. Sort m, 2, 4.
m, 2, 4
Suppose 4*g - 22 = -2*v - 0*v, 5*g - 21 = 4*v. Sort v, -3, 3.
-3, v, 3
Let n = -0.3 - -0.2. Let k = n - -0.2. Let u = k - 0. Sort 5, u, -2/7 in ascending order.
-2/7, u, 5
Let y be (-2)/(-3) - (-15)/(-9). Let m be -2*(-2)/(-2)*2. Let q be 18/m + (-2)/(-4). Sort y, q, -2 in ascending order.
q, -2, y
Suppose 7 = -2*h + 23. Suppose -2*k + h = 2*x, -3*k + 7 = x - 3. Sort 5, x, 0.
0, x, 5
Let d = 135.8 + -138.8. Suppose 3 - 7 = 4*a. Let f be (2*1/(-2))/a. Put d, f, 0.5 in ascending order.
d, 0.5, f
Let d be (-4)/3 + (-20)/(-60). Put 5, 0, d in decreasing order.
5, 0, d
Let t be (-20)/(-3)*(-24)/20. Let k be 4/t + 2/(-4). Suppose 3*p + 4*h + 1 = 0, 2*h + 3*h - 16 = 2*p. Sort p, 5, k in increasing order.
p, k, 5
Let q = -3.7 + 4. Put q, -3/4, -1, 0 in decreasing order.
q, 0, -3/4, -1
Let j = 24 - 4. Suppose r - 6*r + j = 0. Put -3, r, -2 in decreasing order.
r, -2, -3
Suppose -6 = -5*o + 9. Suppose -2*y + 2 = 0, o*x + 5*y = x - 5. Sort 1, 3, x in descending order.
3, 1, x
Suppose -12 = -z + 5*z. Let g be z/2*8/6. Suppose 2*h = -2*h + 16. Put g, h, 0 in increasing order.
g, 0, h
Let t be 27/6*(-8)/(-6). Suppose 0 = -5*x + 2*x - t. Suppose 3*z + 15 = 0, 6*p + 5 = 3*p + 2*z. Put x, p, -3 in decreasing order.
x, -3, p
Let q = 38 - 41. Sort 1, 0.2, q in decreasing order.
1, 0.2, q
Let l = 0 - 0. Suppose 4*i - 3*i - 5 = l. Suppose 9 = -3*a - 2*v, 31 = a - 6*a + 2*v. Sort -3, a, i.
a, -3, i
Let l be 14/(-20) - 8/(-10). Let v(k) = k**3 + 5*k**2 + 3*k - 4. Let s be v(-4). Sort s, -0.3, l in increasing order.
-0.3, s, l
Let r be 3/(-9) + (-13)/(-3). Sort r, -4, 0, -1 in increasing order.
-4, -1, 0, r
Let c = 0.2 + 3.8. Let j = -2.6 - -2.2. Sort c, j, 0.5 in descending order.
c, 0.5, j
Suppose 3*a + 19 = h - 0*h, 5*a = 2*h - 37. Suppose 3*f + 0 = 5*s - 1, -5*s + h = 2*f. Let v = s - -2. Sort -0.5, 5, v in increasing order.
-0.5, v, 5
Suppose 0 = 4*m + 4*u, -5*m - u - 12 = -0*m. Let k be (-10)/(-15) + (-20)/(-6). Sort m, 3, k.
m, 3, k
Let q = -0.4 + 0.5. Let k(x) = x + 13. Let l be k(-8). Suppose 5*o = 5*g - 30, l*g - 10 = -0*g + o. Sort 2/13, g, q in decreasing order.
g, 2/13, q
Suppose 4*k + 24*g - 19*g = -16, 3*k + 4*g + 13 = 0. Sort k, 4, 5 in ascending order.
k, 4, 5
Suppose -39 = 7*u - 4. Sort 2, -3, u, 1 in decreasing order.
2, 1, -3, u
Let p(u) = -4*u + 17. Let q be p(5). Sort q, -6, 2.
-6, q, 2
Let u = -4993/189 - 8/27. Let c be (55 - 1)*(-1)/2. Let f = c - u. Sort f, 0.3, 3.
f, 0.3, 3
Suppose 4*o + 1 = -11. Sort o, -4, -2, 0 in decreasing order.
0, -2, o, -4
Suppose -2*s = -0*s + 4. Sort -3, 35, -1, s in descending order.
35, -1, s, -3
Let b = 0.44 - 0.6. Let g = b - -0.46. Sort g, 3, 0 in increasing order.
0, g, 3
Let w(l) = -l**2 - 7*l + 5. Let c be w(-8). Suppose 3*m = 1 - 7. Put -4, m, c in ascending order.
-4, c, m
Let b = 1.954 - -0.046. Sort 2/7, b, -6, -0.4 in decreasing order.
b, 2/7, -0.4, -6
Let k be 1/(-5)*2*2. Let i = -31 - -29. Put i, 2/7, k in descending order.
2/7, k, i
Let w = 2.9 + -2.8. Sort 2, 2/19, -3, w.
-3, w, 2/19, 2
Let m = 0.054 - 0.454. Put -5, -0.1, m, 0.4 in descending order.
0.4, -0.1, m, -5
Let v = 0 + 2. Put 5, 4, v in ascending order.
v, 4, 5
Let q = 2/5 - 4/5. Sort -2, 0.5, q, 3/2.
-2, q, 0.5, 3/2
Let x(t) = t**3 + 7*t**2 + 8*t - 2. Let f be x(-6). Let j = f - -20. Let h be ((-3)/j)/(2/(-6)). Sort 1, -2, h in decreasing order.
h, 1, -2
Let v = -7 - -6.5. Sort v, -3, 3/5 in descending order.
3/5, v, -3
Let o(r) = r**3 - 8*r**2 + r - 3. Let d be o(8). Sort 3, -5, d in decreasing order.
d, 3, -5
Let h be 1 - (0 - 2)/10. Sort -0.5, h, -1 in decreasing order.
h, -0.5, -1
Let w be ((-10)/(-15))/(8/(-228)). Sort 4, w, -3 in decreasing order.
4, -3, w
Let r = 7 - 5. Let x = -6 + 5.9. Sort r, 1/8, x in descending order.
r, 1/8, x
Suppose 3*s + 5*m - 2 =