et y = 0.8 - 0.2. Let x = -464/15 - -94/3. Put x, y, 2 in descending order.
2, y, x
Suppose -4 = -2*g + 4*g. Sort g, -6, -1 in decreasing order.
-1, g, -6
Let l = 49 - 75. Put 4, l, 5 in increasing order.
l, 4, 5
Let d = 62/21 + -30/7. Suppose 0 = 5*w + 4 - 9. Put w, d, 0 in decreasing order.
w, 0, d
Let f = -11 - -3. Let s = f - -4. Let h be ((-40)/70)/(0 + -1). Sort h, -3, s in ascending order.
s, -3, h
Let m = -2 + -5. Let i be 5/m + (-14)/49. Sort -2, -5, i in increasing order.
-5, -2, i
Let t(c) = -c + 1. Let g be t(-3). Suppose 0 = z + 1, 4*v = z - 0 + 1. Suppose v = 4*s + 2*w + 8, 2*s - 3*w - g = -0. Sort 3, 5, s in ascending order.
s, 3, 5
Let n(i) = i - 11. Let l be n(11). Let x be (3/5)/(4/20). Put -4, l, x in decreasing order.
x, l, -4
Let b = 637/844 - 1/211. Let s = -1.06 + 0.08. Let z = -0.02 + s. Sort b, -4, z.
-4, z, b
Let k be -1 + (0 - 1) - 15/(-8). Sort -2/3, 0.4, -0.3, k in increasing order.
-2/3, -0.3, k, 0.4
Let d(c) = c**2 + 2*c. Let x be d(-4). Let q be (-2)/x - (-95)/(-20). Sort -3, -1, q in decreasing order.
-1, -3, q
Let f = 0.79 + -0.09. Let m = -1.2 + f. Sort m, 2, -2/3 in ascending order.
-2/3, m, 2
Suppose 4*w + 4*i + 43 = -i, 2*i + 20 = -2*w. Sort 3, w, -2, -1.
w, -2, -1, 3
Let h = -5 + 5.4. Let a(k) = k - 5. Let y be a(8). Sort y, 5, h in ascending order.
h, y, 5
Suppose 6*k - 3*k = 3. Let l(z) = z**3 + 7*z**2 - 7*z + 6. Let b be l(-8). Put b, k, 3 in descending order.
3, k, b
Let y = 54.47 + -55. Let n = -0.03 - y. Sort -5, -1/2, n.
-5, -1/2, n
Let w = -4 + 8. Let p = 8.7 + 0.3. Let b = w - p. Sort 2, -4, b in decreasing order.
2, -4, b
Let x = 2 + -9. Let q = x - -7. Let y be (q - (2 - 0)) + -2. Sort 4, y, -2 in descending order.
4, -2, y
Let f(w) be the second derivative of -w**4/12 - 2*w**3/3 - w**2 - 4*w. Let g be f(-4). Sort 5, g, 2.
g, 2, 5
Suppose -67*y + 66*y = -18. Sort 1, y, -1.
-1, 1, y
Suppose -10 = 2*r + 3*r, m + r = -2. Sort m, 2, 0.4 in increasing order.
m, 0.4, 2
Let c(r) = 3*r**2 + 4*r + 3. Let p be c(-2). Let q be 18/(-15)*(-20)/(-6). Let k = q + p. Sort k, -4, 5 in descending order.
5, k, -4
Let d = -39 + 42. Sort 22, 4, d, -5 in descending order.
22, 4, d, -5
Let p be 0/(-3 - 2*-1). Suppose -7*f + 9*f + 2 = 0. Put f, p, -4 in ascending order.
-4, f, p
Suppose 4*k - 16 = 0, 0 = -0*c + 5*c - 3*k - 13. Suppose -2*l + l - c = 0. Let p be ((-3)/(-1))/((-6)/(-4)). Sort l, -0.2, p in descending order.
p, -0.2, l
Suppose -5*c - 25 = -5*t, t = -2*c - t + 10. Let k = 8 - 5. Suppose -k - 9 = 4*v. Sort v, c, -4.
-4, v, c
Let j(y) = -y**3 - 6*y**2 + 7*y + 1. Let c(i) = 3*i - 4. Let u(s) = -2*s + 3. Let h(k) = -5*c(k) - 8*u(k). Let l be h(-3). Let x be j(l). Sort 5, -1, x.
-1, x, 5
Suppose -14 = 2*z - 2*c, -3*c - 23 = 2*z - 8*c. Let k be (-3)/5 - (-6)/5. Sort k, -5, z.
-5, z, k
Let y = -13.7 - -16. Sort 0.1, y, -1 in descending order.
y, 0.1, -1
Let i = -33/4 + 8. Let w = -4 - -4.11. Let t = -0.01 + w. Sort i, 3, t.
i, t, 3
Let q = -23 - -19. Let j(d) be the second derivative of d**5/20 - d**4/2 + 5*d**3/6 - d**2 + 2*d. Let k be j(5). Sort 1, k, q in descending order.
1, k, q
Let f = -0.38 - -0.68. Put f, 2/7, 7 in descending order.
7, f, 2/7
Let d = -1/220 - -449/1980. Put d, -7, 2 in decreasing order.
2, d, -7
Suppose -2*p = -p - 2. Suppose 0 = -o - 2*s - 6, -4 = 2*o - p*s - 22. Let x(y) = -y**3 - y**2 + 1. Let k be x(-2). Sort k, 0, o in descending order.
k, o, 0
Let k = -36 - -38. Sort -5, k, 14, -4 in increasing order.
-5, -4, k, 14
Suppose 0 = 5*o - 4*b - 18 - 12, -b - 9 = -2*o. Let v = 15 + -11. Put o, v, -4 in descending order.
v, o, -4
Let w = 11 + -6. Let l = 5 - 1. Put l, 0.1, w in increasing order.
0.1, l, w
Let w be -3 + -3 + (-1)/(-1). Let y be (-26)/(-7) - (-4)/14. Suppose -4*c - 17 = 2*m + m, -y*c + 5*m + 7 = 0. Sort -4, w, c in decreasing order.
c, -4, w
Let l = 20 - 24. Let o = 11 + -16. Let v = o + 8. Sort v, -1, l in increasing order.
l, -1, v
Let q be (-14)/24 + 3/4. Sort -9, q, -2 in decreasing order.
q, -2, -9
Suppose -5*z + 2 = -38. Let a be (-2)/(-3) + (-8)/z. Sort a, -1/6, -1/4.
a, -1/4, -1/6
Suppose 5*s + 0*s = -15. Let z(l) = l**2 + 4*l + 3. Let h be z(-4). Sort h, s, -2 in decreasing order.
h, -2, s
Let s be (-16)/10 + (-4)/10. Let b = 1.04 + -1. Let f = b - 0.44. Sort s, f, 0.4 in descending order.
0.4, f, s
Let i be (-3 - 123/(-42))*8. Let x = 0 - -3. Let t = 0 + -0.2. Sort t, i, x.
i, t, x
Let c = 0.36 - 0.36. Let q = 2 - 3. Sort 2/9, c, q in decreasing order.
2/9, c, q
Let c be 312/1232 - 4/22. Let v = -17/7 - c. Put v, -0.2, -0.4 in ascending order.
v, -0.4, -0.2
Let v = 2 - 1. Sort -10, -5, v.
-10, -5, v
Let l be (-84)/(-16) - 6/(-8). Let t = l - 3. Put 1, -4, t in decreasing order.
t, 1, -4
Suppose s + 16 = 5*s. Suppose s*p + 16 = -0*p. Let k be (-22)/p + 1/(-2). Put -7, k, -1 in increasing order.
-7, -1, k
Suppose x + 406 = 5*h - 559, 4*h = -3*x + 753. Let n be (-4)/(-14) - h/(-14). Suppose -l = 5*d + 4 - n, 0 = -3*l. Sort d, 0, -5 in decreasing order.
d, 0, -5
Let u(h) = h**2 + 5*h. Let k be u(-5). Sort 2, k, -6.
-6, k, 2
Let q = 5 - 4. Let y = 15.3 + -10.2. Let g = -0.1 + y. Put g, 1/4, q in increasing order.
1/4, q, g
Let s = 10 - 15. Sort s, 4/9, 7 in descending order.
7, 4/9, s
Let a = 18 + -23. Sort 0, a, -4.
a, -4, 0
Suppose -3 = -3*k - 39. Let t be (-6)/(-2)*k/9. Put 3, 2, t in descending order.
3, 2, t
Let w = -0.2 - -0.2. Let l = w - 0.1. Let o = -1.46 - -0.46. Sort o, l, -0.4.
o, -0.4, l
Let s = -1 + 1.2. Put 3, s, 2/5 in decreasing order.
3, 2/5, s
Let z = 0.433 - 0.033. Sort -4, 0.3, -2, z in decreasing order.
z, 0.3, -2, -4
Let l = 11 + -76/7. Put l, 1, -1/4 in descending order.
1, l, -1/4
Let w be (-10)/(-4)*12/15. Suppose 10 = 5*h + 5*l, -3*h + 0*h + 5*l = 18. Let p = w - h. Put p, -5, 0 in increasing order.
-5, 0, p
Let y = -5 + 5. Let g = -2 + -1. Let p be (-2)/(3 + -2) - -6. Put y, p, g in decreasing order.
p, y, g
Let s(b) = -b + 10. Let v be s(7). Let l(f) = -17*f - 3. Let j(y) = -6*y - 1. Let n(q) = -11*j(q) + 4*l(q). Let d be n(-1). Sort d, v, 2 in increasing order.
d, 2, v
Let y = 9.1 - -0.5. Let u = -10 + y. Sort 2/9, u, -1/3 in descending order.
2/9, -1/3, u
Let h(u) = u**3 + 10*u**2 - 2. Let w be h(-10). Let m = -1 - w. Suppose -4*t + 3*t + m = 0. Put 5, -4, t in decreasing order.
5, t, -4
Let y be 17/5 - (-28)/(-70). Put -4, -6, y in ascending order.
-6, -4, y
Let v = -0.3 + 5.3. Let j = 5.4 - v. Let c(x) = x - 6. Let y be c(5). Sort 1/4, y, j in descending order.
j, 1/4, y
Let n = 0.34 + 0.16. Put -0.2, 3, -4/5, n in decreasing order.
3, n, -0.2, -4/5
Let z = -19.4 - -19. Put 3, -1, z in ascending order.
-1, z, 3
Suppose 4*b = 28 + 348. Suppose 2*w = 2*x - b, -5*x + 2*w + 243 = 5*w. Let t be (-14)/x - 2/(-3). Put -2, -0.2, t in ascending order.
-2, -0.2, t
Suppose f - h = -7, -6*h = 4*f - 3*h + 14. Put f, 1, -3 in descending order.
1, -3, f
Let f = 558/7 + -80. Suppose 0*p - 14 = 4*p + 2*j, -j = -3*p - 3. Let h be 1*p/(2*4). Put f, h, -0.3 in descending order.
h, f, -0.3
Let z = 0.28 + 1.02. Let v = 6.3 - z. Sort 2, v, 1/4.
1/4, 2, v
Let v(l) = -l**3 - 2*l**2 - 3*l + 3. Let u be v(-3). Let r be 18/u*266/80. Let d = r + -8/5. Sort -1, 4/9, d in descending order.
d, 4/9, -1
Let d = 243 - 156. Let s = 351/4 - d. Let k = 105/388 + -2/97. Put k, s, -4 in decreasing order.
s, k, -4
Let t be (-1)/((-5 + 3)/2). Let u(l) = -2*l - 2. Let a be u(-3). Suppose -a*z - 5*g - 36 + 5 = 0, -g + 17 = -5*z. Put t, z, -2 in descending order.
t, -2, z
Let b = -0.2 + 0.1. Let a = 0.14 + -1.14. Sort 1, a, b in descending order.
1, b, a
Suppose -30 = -4*d - 5*l, 8 = -4*d + l + 26. Suppose n + 6 = 3*a, -3*n - 3 = -5*a + 11. Sort d, -4, n in descending order.
d, n, -4
Let u be 2 - (-6)/(-4)*2. Let n be u/(-2)*(9 + -15). Put n, -9, -4 in descending order.
n, -4, -9
Let a(g) = 2*g**2 + 4*g - 7. Let t be a(-5). Let m = 28 - t. Let l be (4/(-6))/(2/(-6)). Sort l, m, -2.
-2, l, m
Let w = -32 + 31. Sort w, -4, 4, 5 in increasing order.
-4, w, 4, 5
Suppose 3 = 3*l, 4*h - 3*l = -5*l - 114. Sort 0, -1, h in descending order.
0, -1, h
Suppose 0 = 5*q - 5*i - 97 + 7, -2*q - 2*i + 32 = 0. Sort 4, q, -2 in decreasing order.
q, 4, -2
Suppose 3*o = -5*f - 16, -o + 4*f + 4 = -2. Sort 4, o, -4, 1 in decreasing order.
4, 1, o, -4
Let y(v) = 2*v**3 - 15*v**2 - 10*v + 16. Let m be