c = c - 2. Let s(q) = -q**2 - 5*q + 9. Let x be (1 - -1 - 3)*7. Let n be s(x). Sort z, n, 1 in decreasing order.
1, z, n
Suppose -f + 14 = f. Let z be (5 - 1)*f/14. Sort 3/2, z, -1.
-1, 3/2, z
Let s = 1.1 - 0.1. Sort s, -0.07, -4 in decreasing order.
s, -0.07, -4
Let b = 13 + -17. Put -2, b, 3 in decreasing order.
3, -2, b
Suppose 3*a = -10 + 4. Suppose 0 = 4*x + 3 - 19. Suppose 0*l = -3*h + l + 7, 5*h = x*l. Sort h, a, 0 in decreasing order.
h, 0, a
Let n be 2408/3423 + 4/(-6). Let h = n - -8283/815. Let t = h - 10. Put t, -1/11, -3/2 in decreasing order.
t, -1/11, -3/2
Let g = 3 + -3.1. Let s(o) = 2*o - 10. Let u(b) = -2*b + 11. Let r(a) = 4*s(a) + 3*u(a). Let f be r(5). Put -1, f, g in decreasing order.
f, g, -1
Suppose 0*q + 2*q - 8 = 0. Suppose q*h = -0*h. Sort 5, h, -3.
-3, h, 5
Let o be (1 - (4 - 2)) + (-44)/11. Let s = 2 + -1. Let k = s - 0. Put o, k, -0.1 in increasing order.
o, -0.1, k
Let j = -26.7 - -27. Put -2/3, -0.01, j, 1 in ascending order.
-2/3, -0.01, j, 1
Let f = 2 - 2. Let y be (-8)/((-1)/(-2) - 55/22). Sort f, y, -4.
-4, f, y
Let n = -86 + 81. Sort 1, n, 0.
n, 0, 1
Let g = -11 - -13. Let w be 1/(-2)*6/(-4). Sort g, w, -0.5 in increasing order.
-0.5, w, g
Let k be ((-2)/(-4))/(3/12). Let g(q) = 3*q - 11. Let a be g(5). Suppose t - a - k = 2*w, 2*t + 5*w = -15. Sort 4, -4, t in ascending order.
-4, t, 4
Let k = -0.3 - -0.6. Let z = -0.3 + k. Let y = z + 5. Sort -3, y, -0.4 in increasing order.
-3, -0.4, y
Suppose 5*k - 154 = -44. Let w = k + -19. Suppose 0 = 5*p - 2*i - 5, 3*p + 1 = 4*p - 5*i. Sort 5, p, w in decreasing order.
5, w, p
Let t = 27/55 + -1/11. Let x be (-9)/2*(-51)/2124. Let j = x + 1/59. Sort t, j, 2 in descending order.
2, t, j
Suppose 2*r = r. Let c be 0 + -4 - (r - -1). Suppose 12 = -5*k - 3. Sort c, 1, k in decreasing order.
1, k, c
Let i = 0.02 - -5.98. Let f = -109 - -114.7. Let t = f - i. Sort t, 2, 0.5 in ascending order.
t, 0.5, 2
Let z = 39/2 - 19. Put 0.07, 3, z in descending order.
3, z, 0.07
Let v = 37 - 33. Sort 5, v, -4 in decreasing order.
5, v, -4
Let c = -289 - -288.6. Let j(i) = i**3 - 7*i**2 - 9*i + 9. Let s be j(8). Let m = s + -2. Sort m, c, 5 in decreasing order.
5, c, m
Let d be (5 + (-54)/12)*(-12)/39. Let b = -2 - -2. Put -0.4, b, d in increasing order.
-0.4, d, b
Suppose -z + 6*z + 40 = 0. Let o be (6 - 5)*z/10. Put 0.5, o, 2 in ascending order.
o, 0.5, 2
Let w be (-2)/3 - 196/21. Let j = w - -6. Let i = -2 - j. Put 0, i, 0.5 in descending order.
i, 0.5, 0
Let y = -24 - -14. Let u = -14 - y. Sort 2, u, 0.4 in increasing order.
u, 0.4, 2
Let h = -15 + 10. Let k = 17 + -16. Sort k, -5/4, h.
h, -5/4, k
Suppose 0 = 3*b + 2*d + 2*d - 11, b = 5*d - 9. Let r = 0 + 2. Suppose 0 = r*y - 0*y. Put b, 4, y in decreasing order.
4, b, y
Let o be (2/7)/(9/(-7)). Let m be (12/16)/((-1)/(-4)). Sort -0.4, o, m in decreasing order.
m, o, -0.4
Let t(w) = w**2 - 19*w + 1. Let u be t(19). Put 6, u, 2 in ascending order.
u, 2, 6
Suppose -64 = -5*h - 49. Suppose 3*n + 5 + 4 = 0. Sort 4, n, h in descending order.
4, h, n
Let d be (-44)/(-39) - (-10)/(-15). Let v = d + -37/52. Let z = 0.2 + -1.2. Sort -0.1, z, v in descending order.
-0.1, v, z
Let p = -174/5 - -35. Sort p, 3/7, 0.02.
0.02, p, 3/7
Let g be 1/(-12) - (-1 - -1). Suppose 30 = 5*a + 10. Put g, 1/5, a in decreasing order.
a, 1/5, g
Let p(z) = z**3 - 13*z**2 + 21*z + 14. Let n be p(11). Suppose 0 = -4*x + 26 - 10. Put x, -5, n in decreasing order.
x, n, -5
Let j = 0.02 - -0.06. Let h = j - -0.32. Let r = 7 - 6. Sort h, 2/17, r.
2/17, h, r
Suppose 3*d - d - 10 = 0. Suppose -3*f + f + 8 = -d*v, -2*f - 5*v = -28. Let u be f/15 - 16/10. Put -4, u, -5 in ascending order.
-5, -4, u
Let s = -53/36 - -5/4. Let g be ((-18)/24)/((-1)/140). Let r = g + -527/5. Sort -4, s, r in ascending order.
-4, r, s
Suppose 2*h - 5 - 3 = 0. Let w = 5.2 - 5. Let c = -0.1 - 0.4. Put c, w, h in ascending order.
c, w, h
Let z be 4/18 - (-33)/(-27). Suppose -2 = -3*c + 31. Suppose -3 + c = 2*f. Sort z, f, 3.
z, 3, f
Let y = 6 - 3. Suppose x = 2*t + 10, x + 4*t + 1 = -7. Put -1, x, y in descending order.
x, y, -1
Let m = -2 - -5. Let b = 3.9 - 4.1. Put m, b, -0.4 in decreasing order.
m, b, -0.4
Let a(r) = r**2 + 3*r - 2. Let g be a(-4). Let f be (5 + -1)*(-1)/g. Suppose 0*x = -2*x - 2*n, -2*n = 3*x - 1. Put -3, f, x in descending order.
x, f, -3
Let t(p) = p - 5. Let f be t(4). Put 2, 0.5, f in descending order.
2, 0.5, f
Suppose 4*o - 22 - 26 = 0. Suppose 6*g - o = 2*g. Sort g, 0, 1 in descending order.
g, 1, 0
Let r be 8/(-3)*(-3)/2. Let b = 7 + -2. Sort r, 0.3, b.
0.3, r, b
Let d = -0.6 - -0.7. Let l = -0.07 + -2.93. Let c = -0.23 - -0.03. Sort c, l, d in increasing order.
l, c, d
Suppose -1 = -2*m - 5. Let d(y) = -2*y**2 + 3*y**2 + 1 - 5*y + 3*y**3 + 3*y. Let t be d(1). Put 5, m, t in ascending order.
m, t, 5
Let v(k) = -k + 3. Let l be v(6). Let p be 51/4 + 2/8. Let t be 2/6 + p/l. Sort 3, 4, t in descending order.
4, 3, t
Suppose 0*v + 2*v = -6. Let b = -2 + v. Let n be 1/(-2)*-2 + -2. Sort n, b, 0.
b, n, 0
Suppose -x + i - 4 = 0, -i = 2*i - 3. Put 4, -8, x in descending order.
4, x, -8
Let b(i) = -i**2 + 4*i - 4. Let h be b(4). Suppose 2*g - 3*l + 5*l + 16 = 0, 2*g + 3*l + 21 = 0. Put 0, h, g in descending order.
0, g, h
Let v(m) = -m - 16. Let p be v(-13). Put 3, p, 2 in descending order.
3, 2, p
Let q(o) = -3*o + 11. Let v be q(4). Let w be (1 - 1) + 1 + 1. Let h = -8 - -6. Sort v, w, h in descending order.
w, v, h
Let d be -2 - (0 - -4)/(-1). Let w be ((-1 + 0)*d)/2. Suppose -3*t = 4 + 2. Sort w, 1, t.
t, w, 1
Let f(c) = 4*c**3 - 2*c**2 + 3*c - 2. Let a be f(1). Suppose 4*o - a*s = 19, -3*o - o + 2*s = -14. Put o, 4, -2 in descending order.
4, o, -2
Suppose 0 = 4*a - 5*w - 7, 3*a - w = 1 - 4. Put 0.7, -0.3, a in decreasing order.
0.7, -0.3, a
Let m(x) = x**2 - 3*x - 4. Let o(r) = 1. Let d(c) = m(c) + 6*o(c). Let p be d(4). Suppose p = v + 2. Sort v, 2, -2 in decreasing order.
v, 2, -2
Let x = 7 + -4. Let v(u) = 4*u**3 + 2*u**2 + u. Let h be v(-1). Sort x, 5, h in descending order.
5, x, h
Suppose -3*h = -2*h - 5. Let f = h + -11. Let i = f - -1. Sort i, 5, -1 in descending order.
5, -1, i
Suppose q + 6*q = 49. Sort q, -2, 1.
-2, 1, q
Suppose 0 = k + 4*k - x - 29, -5*k - 4*x = -9. Put 0.02, k, -3 in descending order.
k, 0.02, -3
Let m(j) = j**2 + j. Let n(f) = 5*f**2 - 5*f + 10. Let p(y) = -4*m(y) + n(y). Let c be p(7). Sort c, -5, 4.
-5, c, 4
Let h = -171 - -1195/7. Sort -1, 0.4, h.
-1, h, 0.4
Suppose 3*y + 3 = -3. Suppose 0 = -2*u + 3 - 1, -3*t - u = 104. Let s be (1 - -1)/(14/t). Put -1, y, s in descending order.
-1, y, s
Let h(s) be the second derivative of s**3/6 + 3*s**2/2 + 7*s. Let w be h(0). Put 5, 0, w in ascending order.
0, w, 5
Let y(t) = -t + 11. Let m be y(6). Suppose -2*j = -2*s - j, 5*s = -2*j. Let k be (-1*(3 - 1))/(-1). Put k, s, m in decreasing order.
m, k, s
Let t be 28/(-42)*30/4. Put 0, t, 6 in descending order.
6, 0, t
Let v be ((-3)/9)/(14/12). Let t = -0.7 + 0.4. Put 0.5, v, t in descending order.
0.5, v, t
Let j be -4 + (-3 - -3) + 1. Let p be (1 - -1) + -7 + 3. Let c = -7 - p. Sort c, j, -4 in decreasing order.
j, -4, c
Let b = 1.1 + 0. Let y = b + -1.1. Put y, 0.5, -1/2 in descending order.
0.5, y, -1/2
Suppose 0 = -15*o + 14*o + 2. Put -4, 1, 3, o in decreasing order.
3, o, 1, -4
Let s = -4 - -6. Suppose 2*j + s*t = 256, 4*j - t - 468 - 59 = 0. Let k = j - 920/7. Sort 1, 2, k in ascending order.
k, 1, 2
Let v be ((-32)/(-7))/2 + -2. Let z be (-26)/60 + (-13)/(-39). Put -1, z, v in decreasing order.
v, z, -1
Let a = -7 + 12. Suppose -4 = 2*o + 2*m - 0, 5*m = -2*o + 5. Sort o, 1, a.
o, 1, a
Let m = 16 - 14. Sort 1, 0, m in increasing order.
0, 1, m
Let q(i) = -10*i - 8. Let k be q(-4). Let r be 3/(-15) - k/(-10). Put 2, r, -4 in decreasing order.
r, 2, -4
Let k be (-5)/1 + 0/1. Suppose j - 2*j = 3. Put k, -4, j in decreasing order.
j, -4, k
Let p = -0.03 + -0.97. Suppose -2*u = -7*u. Put 3, u, p in decreasing order.
3, u, p
Let t = -17 - -25. Let p = t - 8.1. Let c = -0.26 + -0.04. Sort p, 0.5, c.
c, p, 0.5
Let s = 0.092 + -14.092. Put 0.2, -0.5, 3, s in increasing order.
s, -0.5, 0.2, 3
Let p be -4 + 2 + -1 + 2. Sort -5, 1, p in decreasing order.
1, p, -5
Suppose 11 + 25 = 9*t. Sort t, -1, -3, 2.
-3, -1, 2, t
Let v = -361.9 + 362. Let n(