 + 12. Let q be o(8). Put 2, u, q in decreasing order.
q, 2, u
Let r = 3.038 + -0.038. Sort r, -2/11, -0.3.
-0.3, -2/11, r
Let u(q) = q + 15. Let r be u(-12). Let s = 0 - r. Suppose -8*t = -3*t. Sort t, 2, s in decreasing order.
2, t, s
Let p = 7 - 7.3. Let n = -1.1 - -0.1. Let y be (12/45)/((-18)/27). Put p, y, n in decreasing order.
p, y, n
Let v = -3 - -7. Put v, 2/11, -1/19 in descending order.
v, 2/11, -1/19
Suppose 3*k + 31 = 4*j, 2*j + 26 = -5*k + 9. Suppose 4*h = -7 + 87. Suppose 2*o + 3*o = -h. Put 1, k, o in decreasing order.
1, o, k
Suppose 24 - 14 = 5*j. Suppose 2*h + j*h - 8 = 0. Sort h, 1, 4.
1, h, 4
Suppose -3*n = 0, -n = -2*h - 2*h - 16. Let m be (((-48)/20)/h)/1. Sort m, 0.4, 1/2 in increasing order.
0.4, 1/2, m
Let p = 3 - 1. Let z be 0 - ((-4)/(-2))/p. Sort -3, z, -4.
-4, -3, z
Let i = 4 + -2. Suppose 0 = 5*r + 3*l - 35, -2*r + 3*l + 3 = i*l. Suppose 4*g - 15 = g. Sort 1, r, g.
1, r, g
Suppose 3 + 1 = -w. Sort -5, 3, w in descending order.
3, w, -5
Let g be 14/(-168) - (-3)/4. Let y be 10/(-15) - 2/6. Put g, -5, y in ascending order.
-5, y, g
Let z = 17 - 24. Let n(k) = -k - 4. Let u be n(z). Suppose 3*f + 2 = u*t + 5, 0 = -3*f + 12. Sort -5, t, 4.
-5, t, 4
Let r be (-7)/(-21) + 22/6. Suppose 22 = r*g - 2*g + 5*p, p - 3 = g. Sort g, 3, -5 in descending order.
3, g, -5
Suppose 2*n = 2*f, -3*n = 3*f - n - 15. Suppose f = c - 1. Let q be (-2 + c)*1/(-6). Sort 3/2, q, 2/15 in increasing order.
q, 2/15, 3/2
Let d be 1 + (0 - 1 - 0). Put 2, d, -2, -5 in decreasing order.
2, d, -2, -5
Let t(y) = y + 6. Let n be t(-9). Suppose -5*x + 4 = -9*x. Sort x, n, 1 in ascending order.
n, x, 1
Let z = 27 - 25. Put -3, 2/19, z in descending order.
z, 2/19, -3
Let z(i) = 4*i - 23. Let b be z(5). Put 2, -5, b in decreasing order.
2, b, -5
Suppose 16 = 5*n - 9. Sort n, -3/8, -4 in decreasing order.
n, -3/8, -4
Suppose 0 = y - j - 8 + 3, 17 = 5*y - 3*j. Let q be -1*y/3*-1. Sort q, -5/4, 0 in descending order.
q, 0, -5/4
Let p(k) = k**3 + k**2 - k + 1. Let u(l) = 5*l**3 + 13*l**2 - 15*l - 9. Let f(y) = -4*p(y) + u(y). Let o be f(-10). Sort o, 0, 16 in increasing order.
o, 0, 16
Let w = 0.4 + -0.33. Sort -5, w, 3.
-5, w, 3
Suppose 14 = -5*m - 1. Put -2, -5, m in decreasing order.
-2, m, -5
Let s = 133/15 + -41/5. Let k = 46 + -51. Put 0, s, k in decreasing order.
s, 0, k
Let h(z) = -z**2 + 2*z + 10. Let c be h(5). Let l(g) = g**2 - 6*g - 1. Let o be l(6). Put -2, o, c in decreasing order.
o, -2, c
Suppose -3*g - 3*n = 0, -g = -3*g + 3*n + 10. Let u = -98 - -97. Put u, -3, g in decreasing order.
g, u, -3
Let d = 0.04 - -0.36. Let f = -0.4 + d. Let y = 241/615 - -1/123. Sort f, -3, y in ascending order.
-3, f, y
Let p = 33 - 33.26. Let y = 0.06 + p. Sort -2, y, 0 in decreasing order.
0, y, -2
Let y = 1732/7 - 247. Let m = 5.6 - 0.6. Sort m, 0.5, y in descending order.
m, 0.5, y
Let y(p) = -3*p**2 + p - 2*p**2 + p**3 - 7 + 4*p - 3*p. Let m be y(5). Put 5, -5, m in decreasing order.
5, m, -5
Suppose 0*j - 4*j = 3*r + 14, 3*r = j + 11. Let u be (-17)/(-3) - r/3. Let k(q) = -q**3 - q**2 + 5*q - 1. Let a be k(2). Sort a, 1, u in descending order.
u, 1, a
Let b be ((-10)/44)/(10/(-8)). Sort -6/5, 0.3, b, 2/7 in decreasing order.
0.3, 2/7, b, -6/5
Suppose -44 + 137 = 5*s + 2*g, -2*g + 8 = 0. Sort s, -4, 3 in increasing order.
-4, 3, s
Let u(h) be the first derivative of h**3/3 - 3*h**2/2 - 2*h - 3. Let f be u(4). Suppose -12 = -3*a, -4*b - 6*a + a + 32 = 0. Sort 4, f, b in decreasing order.
4, b, f
Suppose 0 = -4*j + 2*o + 20, -4*o - 12 = -j - 0*j. Let m = 7 - j. Let u be (-1 - -2) + (m - 0). Sort -4, 3, u in ascending order.
-4, 3, u
Let q(x) = -x**2 - 14*x + 14. Let g be q(-15). Put -6, 5, g in increasing order.
-6, g, 5
Let s be (-124)/12 - (-12)/(-18). Sort 1/4, s, 1/3 in increasing order.
s, 1/4, 1/3
Let x be (1/18)/(3/(-12)). Let f = -4 - -1. Suppose 2*r + 2 + 2 = 0. Put r, f, x in decreasing order.
x, r, f
Suppose 6*w - 11 = 3*w - 5*y, -2*w + 4*y = 22. Let m = w + 0. Sort 0, 2, m in ascending order.
m, 0, 2
Suppose -2*f - 2 = f - 2*m, -4*m = 4*f - 4. Sort f, -3, 1 in decreasing order.
1, f, -3
Let m = -50 + 47. Put m, -1, -5/4 in increasing order.
m, -5/4, -1
Let m be (1/(-2))/((-11)/(-264)). Sort -2, -4, m in ascending order.
m, -4, -2
Let g(j) = -2*j**3 + 3*j**2 - 2*j + 4. Suppose -4*y + 5 = -2*d - 7, d + y - 6 = 0. Let z be g(d). Put -3, 3, z in descending order.
3, -3, z
Let t = -0.07 - 0.13. Suppose 6*q + 11 + 1 = 0. Put q, 1, t in descending order.
1, t, q
Suppose -5*h - 31 = -4*f, 2*h = -h - 3*f + 3. Sort -1, h, 5 in descending order.
5, -1, h
Let p = 6 - 4. Let y = 3 + -7. Sort p, y, 0 in decreasing order.
p, 0, y
Let t be (2 - 1)/(3/(-9)). Let d = 5 + t. Suppose 2*x = d - 0. Sort x, -1, 5 in increasing order.
-1, x, 5
Let t = -2 - -9. Let y = t - 3. Let r = -4 - -5. Sort -2, y, r.
-2, r, y
Suppose 3*d + 25 = 3*l + 2*l, 0 = -3*d - l - 13. Let w(u) = -u**2 + 5*u + 8. Let y be w(6). Put y, d, 3 in ascending order.
d, y, 3
Suppose 4*m + 5 + 7 = 0. Let d be m - -1 - (2 - -1). Let g = -0.3 + -0.7. Put d, 1/2, g in decreasing order.
1/2, g, d
Let h = -3.3 + 3. Let t = 1.3 + h. Sort -5, t, 4.
-5, t, 4
Let z = -41 + 38. Sort z, -0.3, 5, 3/4 in decreasing order.
5, 3/4, -0.3, z
Let u = -23/8 + 221/24. Let r = u - 47/6. Let n(d) = -d**2 + d - 2. Let z be n(2). Sort 0, z, r in descending order.
0, r, z
Suppose 13 = 3*s + 1. Sort -2, 5, s in decreasing order.
5, s, -2
Let o = 1 + 1. Let u = 0.05 + 0.05. Let p = -0.6 + u. Sort p, 5, o.
p, o, 5
Let d = 7 + -6.7. Let g = 248/145 + -38/29. Put d, g, 1 in decreasing order.
1, g, d
Suppose 0 = 3*i - i + 2. Sort 0, 22, -4, i in increasing order.
-4, i, 0, 22
Suppose 9*s - 6*s - 6 = 0. Let o = s - 4. Put o, 0.5, 0.1 in increasing order.
o, 0.1, 0.5
Let m be -4*((-21)/6 - -3). Suppose 3*g = m*o - 1, 5*o + g - 19 = 3*g. Suppose 2*s - 18 = -4*c - 3*s, 5*s - 14 = -2*c. Put 4, o, c in decreasing order.
o, 4, c
Let p = -10 + 6. Let a = 21 + -13. Let m = a + -7.8. Sort m, 0.3, p in descending order.
0.3, m, p
Let k be -1*-1*3/15. Suppose 4*c + 4 = l, c + l = -l + 8. Put k, c, 2/9 in ascending order.
c, k, 2/9
Let c(u) = -u**2 - 3*u. Let z be c(-3). Let t = 5 + -7. Sort z, t, -5 in increasing order.
-5, t, z
Suppose -y + 0*y = 5. Suppose 0 = 3*g + g - 16, 3*g - 24 = 4*p. Sort 3, p, y in descending order.
3, p, y
Let h = -138 - -687/5. Put h, 3/5, -1/7 in descending order.
3/5, -1/7, h
Let b be -7 - -9 - 0/(-2). Put 5, -5, b in increasing order.
-5, b, 5
Suppose -3*m = -6, 0 = 3*h + 5*m + 5 - 18. Let z = 0 - h. Let t be 0/z - (1 - 3). Sort 4, t, -1 in descending order.
4, t, -1
Let u be -6*(-1 - 2)/3. Suppose -n - 4*p + u = 0, 0 = 2*n - 0*n - 4*p. Put 4, n, 1 in descending order.
4, n, 1
Let b be 4/(-14) - 80/14. Put b, 4, -0.4, 1/5 in increasing order.
b, -0.4, 1/5, 4
Let f = -0.03 - -0.43. Let v = -5 - -4.1. Let r = f + v. Put r, 2/9, 4 in ascending order.
r, 2/9, 4
Let v(u) = -u**3 - 4*u**2 + 9*u + 17. Let c be v(-5). Put 2, c, -5, -1 in descending order.
2, -1, c, -5
Let n(d) = d**3 + 8*d**2 + 8*d + 8. Let g be n(-7). Suppose 5*o + 40 - 20 = 0. Sort 5, o, g in descending order.
5, g, o
Let l = -0.87 - -0.47. Sort l, 2/3, 0.4, 0 in decreasing order.
2/3, 0.4, 0, l
Let u = -12 - -17. Suppose l - 6*l = -u. Sort l, -1, -4.
-4, -1, l
Let x(s) = 2*s**2 + 7*s - 4. Let h be x(1). Let k = 1 - 1. Sort h, k, -4.
-4, k, h
Let j = -9 - -9. Suppose j = -3*b + 9. Sort b, 0.5, -1 in decreasing order.
b, 0.5, -1
Let q be (2 + 1 - 2)*5. Suppose 6*y - 3*y = -15, -5*y - 21 = g. Sort q, g, 1 in decreasing order.
q, g, 1
Let t = -109 + 108. Let k = -84 + 586/7. Sort t, k, 1/4 in decreasing order.
1/4, k, t
Suppose 5*z + 0*w = -2*w - 1, -3*w + 6 = 0. Let u = z - -3/4. Sort u, -4, -3.
-4, -3, u
Let q be (0/(-2) - 0) + -1. Suppose 3*b = y + 13, 3*y - 9 - 4 = -4*b. Sort -4, q, b in descending order.
b, q, -4
Let u be (32/20 - 2) + (-4)/10. Sort u, -0.5, 13, -3/7.
u, -0.5, -3/7, 13
Let d = -0.45 - 1.55. Sort 0, d, -3.
-3, d, 0
Let r = 2.96 - -0.04. Let m = -0.2 - 8.8. Let t = m - -8.5. Sort t, r, -4 in ascending order.
-4, t, r
Let t be (3/7)/((-4)/14). Let j(g) = -g**2 + 6*g - 3. Let u be j(5). Sort t, 0.1, u in decreasing order.
u, 0.1, t
Let j be -2 - 38/(-6) - 4. Let o = -3 + 3.1. Sort o, -0.1, j in ascending order.
-0.1, o, j
Let t = 