= 6 + t. Let o(p) = p + 1. Let u be o(0). Sort -4, k, u in descending order.
u, k, -4
Let i(g) = -13*g + 49. Let y(k) = 3*k - 12. Let j(q) = -2*i(q) - 9*y(q). Let p be j(7). Put p, 5, -1 in decreasing order.
5, p, -1
Suppose -4*r + 2*i = -2*r, 3*r - 40 = -5*i. Put -6, 3, r in decreasing order.
r, 3, -6
Suppose 0 = -2*o + 4*o - 8. Suppose 3*u - 2 - o = 0. Let j = 0.1 + -0.1. Sort j, -2, u.
-2, j, u
Suppose -2*n + 8 = -2*t, 3 = -0*n + n. Suppose 3*x = -2*b + 19, -5*b - 5 = 3*x - 21. Sort t, x, -0.1 in decreasing order.
x, -0.1, t
Let n(w) be the second derivative of -w**4/12 + w**3/6 - 2*w**2 - 2*w. Let b be n(0). Sort b, 2, 3 in increasing order.
b, 2, 3
Let c = 0.09 - -1.91. Let j be (-7)/20 + 6/(-15). Put c, j, -2/13 in ascending order.
j, -2/13, c
Let g = -0.1 + -0.4. Let a be (-2)/8 + (-14)/(-8). Sort g, a, -1/10 in ascending order.
g, -1/10, a
Let z = 8 - 5. Let a = z - 2.8. Let x = 0.7 - a. Put x, 2, 3 in descending order.
3, 2, x
Suppose 0 = 3*w + 3*r - 57, -4*w - r + 91 = w. Sort 2, w, -4.
-4, 2, w
Let w be 9/((-108)/40) + 3/9. Sort -13, 4, w, 3.
-13, w, 3, 4
Let q(g) = -3*g - 2. Let o be q(4). Let h = 17 + o. Sort h, -4, 5 in descending order.
5, h, -4
Suppose w - 17 = -21. Sort -2, 1, w in increasing order.
w, -2, 1
Let l = 9/28 + -1/14. Put 1, -0.4, l in ascending order.
-0.4, l, 1
Let w = 0.17 + -0.2. Put -5, 4, w in decreasing order.
4, w, -5
Let j = 0.3 + -0.2. Let k = 1.1 - j. Let m = -4 - -6. Put k, -4, m in decreasing order.
m, k, -4
Let w(s) = -s + 7. Let q be w(9). Put q, 0, -5 in descending order.
0, q, -5
Let w = -19 + 28. Let s be (8 + -3)*12/10. Let x = s - w. Sort x, 3/5, -0.3 in ascending order.
x, -0.3, 3/5
Suppose -z - 9 + 3 = k, 5*k + 3*z = -36. Let j be 1/4*(-6)/k. Suppose i = -0 + 5. Put 4, j, i in decreasing order.
i, 4, j
Let z = 25 - 10. Suppose -p - 2*p = -15, -z = -v - 4*p. Sort 0, v, 1 in increasing order.
v, 0, 1
Let r(l) = -l**2 - 6*l. Let t be ((-15)/(-6))/((-1)/2). Let u be r(t). Put u, -4/7, 2 in descending order.
u, 2, -4/7
Let o = -2 - -2. Suppose 10 - 13 = q. Put o, q, 5 in increasing order.
q, o, 5
Suppose -5*w = -w. Sort -3, w, -5.
-5, -3, w
Let o = 13/3 - 55/12. Sort -1, 2, o in increasing order.
-1, o, 2
Suppose 12 = p + 5*l, 2*p + 5*l - 3 = 2*l. Suppose -2*b - b = h - 16, -5*b + 24 = -h. Let x be p*((-16)/(-6) - h). Put -2, x, 1/10 in decreasing order.
1/10, -2, x
Let f be 4 + (-26)/91 + 5/(-7). Sort -3, 1, f, 4.
-3, 1, f, 4
Suppose -2*q = -3*x - 2, -4*q = x - 3*x - 12. Suppose -q*k - 2 = 10. Let g(f) = -3*f - 2. Let h be g(-3). Put 1, h, k in decreasing order.
h, 1, k
Let g be 34/(-8) + 1/4. Suppose 27 = 3*l - 0. Let j(k) = -k**3 + 9*k**2 + k - 4. Let o be j(l). Put g, 2, o in decreasing order.
o, 2, g
Let z(j) = j**2 - 3*j + 3. Let p be z(3). Suppose -2*b - 4*g = 1 - 7, -g - p = -b. Let m = b + -7. Sort 0, 1, m.
m, 0, 1
Let w = -94 + 467/5. Let b = 269 - 1343/5. Put b, 0.2, w in decreasing order.
b, 0.2, w
Let t = -6.03 + 6. Let c = 0.07 - t. Sort 5, c, -2 in decreasing order.
5, c, -2
Suppose 0 = 5*u + 9 + 1, 3*l - 55 = 2*u. Let z(b) = b**2 - 18*b + 10. Let k be z(l). Sort 2, k, 1 in ascending order.
k, 1, 2
Let f = 6.1 - 6. Let x = f + 4.9. Put -0.5, x, -3 in ascending order.
-3, -0.5, x
Let b = 48 - 3. Let x = b - 30. Suppose 2*n = -3*a + 4, 5*a - x = -5. Sort 2, -3, n in increasing order.
-3, n, 2
Suppose 2 = -3*x + x. Let p(n) = -n**2 - 8*n + 25. Let c be p(-10). Sort -2, c, x in ascending order.
-2, x, c
Let x(j) = -j**3 + 5*j**2 + 7*j - 8. Let k be x(6). Suppose -4*i + 6 = -i. Suppose -i*z = -4*h + 14, 2*z + 2 + 3 = h. Put z, k, 3 in decreasing order.
3, z, k
Suppose z - 1 + 4 = 0. Let c be 5*1 + (15 - 17). Let p(q) = -5*q**2 + q - 1. Let x be p(1). Put c, z, x in ascending order.
x, z, c
Let p = -11 - -12. Suppose -p = -d - 2. Sort d, 3, -5.
-5, d, 3
Suppose 0 = -3*d - 0*x - x - 4, d = -5*x - 6. Sort -2, 2, d.
-2, d, 2
Let u = 53 + -48. Sort 0.1, -0.4, u, -3/5 in decreasing order.
u, 0.1, -0.4, -3/5
Let w(j) = -j**3 + 7*j**2 + 8*j - 2. Let n be w(8). Let l be n/(-4) - (-1 - -2). Sort 2, 0.5, l in decreasing order.
2, 0.5, l
Let r(x) = -x + 11. Let t be r(8). Put 4, t, -7 in ascending order.
-7, t, 4
Let b(c) = c**3 - 3*c**2 + 2*c. Let d be b(3). Let k(p) = -p**2 + 6*p + 5. Let l be k(d). Suppose -l*s + s = 0. Sort s, -3, 3 in decreasing order.
3, s, -3
Suppose 2*m - 3 = 1. Put 3, -1, m in decreasing order.
3, m, -1
Let h = 57 - 283/5. Let n = 9 + 9. Let g = n + -13. Put h, 3, g in decreasing order.
g, 3, h
Let n = -43 - -43.5. Put n, -2, -8, 4 in increasing order.
-8, -2, n, 4
Let t = 3 + -16. Let s = -18 - t. Put 0.3, -9, s in increasing order.
-9, s, 0.3
Let z = -19 + 19. Sort z, -5, -4 in descending order.
z, -4, -5
Let l = -47 - -43. Suppose 5*q = 2*q + 9. Sort 4, q, l in ascending order.
l, q, 4
Suppose 7 + 8 = -3*f. Let a = f - -6. Sort a, -8, 4 in descending order.
4, a, -8
Let p = 1 - -1. Suppose 4*m - 7*m + 12 = 0. Put m, p, 1 in ascending order.
1, p, m
Suppose 1 = 2*s + 5. Suppose -2*j = 2*j + 12. Let y = 2 + j. Sort y, -3, s in descending order.
y, s, -3
Let f = -11 + 9. Let z = 0.03 + 0.45. Let n = 0.08 - z. Sort f, -3, n in descending order.
n, f, -3
Let f = 0.07 + 3.93. Let w = -18 - -89/5. Let u be 12/(-5) - 4/(-2). Put w, f, u in decreasing order.
f, w, u
Suppose -21 = -4*n + 5*p, -n + 5*p = -8 - 1. Suppose 2*s + 9 = x, -4*s + s = 4*x - 14. Let q be 0 - 1/2*0. Sort q, s, n in decreasing order.
n, q, s
Suppose 0*o + 2 = -o + 2*u, 15 = -5*o + 5*u. Let i = 14 - 0. Let h = i - 10. Sort o, h, 0.
o, 0, h
Let w = 46 + -25. Suppose 3*t - 5*y - w = 6*t, -12 = 4*y. Sort t, 5, 0.
t, 0, 5
Let y be (-132)/4 + 9/(-3). Let d be (-6)/y*(1 - -1). Sort 1/4, -1/4, d.
-1/4, 1/4, d
Let u be (-24)/(-36) + (-1)/(-3). Let p be 4/14 + 37/(-7). Sort u, p, 4 in ascending order.
p, u, 4
Let j(q) be the first derivative of -q**2 + 7*q - 1. Let r be j(5). Suppose -4*f - 20 = 3*w, 4*f + 4*w = -11 - 13. Sort 4, r, f in decreasing order.
4, f, r
Suppose 0 = -31*b + 27*b - 16. Sort -5, b, -2 in descending order.
-2, b, -5
Let i = -121/26 - -9/2. Let b be 111/(-15) - 4/(-10). Let q = b + 3. Sort i, -3, q.
q, -3, i
Suppose -l + 0 = -2, 4*w - 4*l + 16 = 0. Let y = -43 - -38. Put y, w, 0.1 in decreasing order.
0.1, w, y
Let g be 20/(-2)*(-9)/18. Let u(y) = 2*y**2 + y. Let m be u(-1). Let q be 2*(-1)/1 + 1. Put g, q, m in ascending order.
q, m, g
Suppose b = 82 - 12. Let j be (6/(-5))/((-21)/b). Let k(g) = -g - 1. Let c be k(4). Put -2, c, j in increasing order.
c, -2, j
Let p = 21 - 20.5. Put -0.5, -1/8, p in ascending order.
-0.5, -1/8, p
Let p = 1.1 - 1.22. Let v = p - -0.1. Put 6/5, v, 1 in ascending order.
v, 1, 6/5
Suppose -3*z + 11 = -2*p + 30, p + 5*z = -10. Suppose -4 = -p*o + 6. Sort 5, o, -1 in decreasing order.
5, o, -1
Let a(k) = -k**3 + 3*k**2 - 3*k + 6. Let f be a(4). Let s be (-62)/f - 6/(-33). Sort 0, 5, s.
0, s, 5
Let o be (-1)/(-2) + 7/2. Suppose o = 3*d - d. Put -1, -2, d in increasing order.
-2, -1, d
Let z be 15/(-6) + 3/2. Let p be 8/(-28) + 2/7. Suppose p = 3*f + r - 6*r - 8, -f = 3*r + 2. Sort f, 5, z in increasing order.
z, f, 5
Let a = 1.8 + -2. Let f = a + 0.1. Let s = -0.04 - -0.44. Sort s, f, -1/7 in increasing order.
-1/7, f, s
Let a(g) = -g**3 - 7*g**2 - 5*g + 4. Let i(u) = 3*u + 15. Let o be i(-7). Let l be a(o). Sort 5, l, -1.
l, -1, 5
Let c = -3 - -12. Let i = c + -7. Sort 1, 5, i.
1, i, 5
Let i be 30/126 + (-8)/14. Put -1, -17, i in increasing order.
-17, -1, i
Let l = -2 - -2.4. Let i = l + 0.1. Let h = 126/5 - 2404/95. Sort h, 1, i in increasing order.
h, i, 1
Let o(l) = -l**3 - 3*l**2 + 2. Let v be o(-3). Put 5, -4, v in decreasing order.
5, v, -4
Let r = 21 - 17. Put 7, r, 5 in increasing order.
r, 5, 7
Let l = -1 - -1.4. Put 5, -1, l in decreasing order.
5, l, -1
Let g = 1 - -1. Let v be -1 + g - (-6)/(-2). Sort v, -5, 5 in decreasing order.
5, v, -5
Suppose 0*r - 5*n + 17 = 2*r, 2*r - 5*n + 33 = 0. Let u be (0 - -3 - 0)/1. Let x be 14/u + (-4)/(-12). Sort r, x, -1 in descending order.
x, -1, r
Let b = -0.2 + -7.8. Let z = 11 + b. Let k = 3 - z. Put 0.1, k, -1/7 in descending order.
0.1, k, -1/7
Suppose 0 = -5*r + 25, 2*t - 2*r = -14 - 0. Put -1, t, 0, -5 in ascending order.
-5, t, -1, 0
Let y be 3 + 0 - 1 - 0. Sort 1, 15, 5, y in descending order.
15, 5, y, 1
Le