et d be ((-3)/6)/(n/(-64)). Suppose -4*m + 0 = d. Put m, -1, 5 in descending order.
5, -1, m
Let t = 59 - 58. Let n be -5 - ((1 - 2) + 0). Let k(x) = x + 6. Let d be k(n). Sort t, 5, d in ascending order.
t, d, 5
Let i = -13 - -18. Suppose 3*d - 11 = 16. Suppose 0 = -3*v + q + d, 14 = 4*v - q - q. Put v, i, 4 in increasing order.
v, 4, i
Let b(l) = 3*l - 62. Let c be b(22). Suppose 3*j + 19 = -4*z, -11 = -4*z - 0*z + 3*j. Sort z, c, -2.
-2, z, c
Suppose 0 = k - 6*k + 45. Suppose 5*v - 4*o + 63 = -5*o, 2*o = -v - k. Put 0.3, v, -1/3 in increasing order.
v, -1/3, 0.3
Suppose 4*m = 3*m. Suppose m*o + 18 = 6*o. Sort -2, 0.5, o in decreasing order.
o, 0.5, -2
Let l = -13955/6 + 2333. Let r = -23/3 + l. Let u = -0.34 - -0.04. Sort u, -5, r in decreasing order.
u, r, -5
Let f be -10 - 0 - -2 - 2. Let c be 6/10 + 4/f. Put c, -2/3, -5 in decreasing order.
c, -2/3, -5
Let c = -0.19 - -0.2. Let d = c - 4.01. Let h(x) = -x**3 + 5*x**2 - 3*x + 15. Let w be h(5). Put w, -0.2, d in descending order.
w, -0.2, d
Suppose 8 = 4*s - 2*u, 0*u = s + u + 4. Let f(r) = -r - 11. Let h be f(-8). Let x(t) = -t - 4. Let a be x(-6). Sort h, s, a.
h, s, a
Suppose 0 + 3 = -3*f. Suppose 10*r + 55 = 5*r. Let t = r + 15. Put 2, t, f in decreasing order.
t, 2, f
Let j = -1/34 - -19/68. Let h = 1555 - 175717/113. Let f = 208/1017 - h. Put j, -0.3, f in increasing order.
-0.3, f, j
Suppose 2*n - 4 = 3*a, 4*a = 2*n - 3 - 1. Suppose -28*f + 14 = -14. Sort -5, f, a.
-5, a, f
Let t be 2/(-8) + (-19)/4. Let g be (-12)/(-5) + (-5 - (-23)/5). Sort g, t, -2 in descending order.
g, -2, t
Suppose 3*h = -3*i + 3, 2*i - 2 + 0 = 2*h. Let p be h + (-3 - 12)/(-3). Put p, 2, -4 in descending order.
p, 2, -4
Let l = -68 - -65. Put l, -0.3, 5 in decreasing order.
5, -0.3, l
Let x(d) = 5*d + 1. Let v be x(1). Let q be (-5 + v)/((-1)/(-3)). Suppose -3*i + 0*i = -q. Put 0, -2, i in decreasing order.
i, 0, -2
Suppose -3*o + a = 4, -1 = -4*o + 4*a + 7. Put -7, o, -4 in decreasing order.
o, -4, -7
Suppose -5*l + 9 = -6. Sort 5, l, -4 in descending order.
5, l, -4
Let c be -1*4/(0 + 2). Put 4, c, 5 in descending order.
5, 4, c
Let o = 2 + -3. Let f(i) = i - 9. Let v be f(4). Sort -3, o, v in descending order.
o, -3, v
Suppose -j + f + 4*f + 28 = 0, 4*f + 11 = -3*j. Let p(x) = 2*x + 1. Let a be p(-1). Put 1, a, j in increasing order.
a, 1, j
Let g = -0.7 - -1. Let f = -2/19 - -23/38. Sort 2, f, g.
g, f, 2
Let t = -2.7 + 2.8. Suppose -y - 3*q = -3*y - 2, 3*y = 3*q. Sort t, 1, y in decreasing order.
y, 1, t
Let w = 1 - 1. Let t = w - 0. Let p = 7/6 - 37/42. Sort -1/7, p, t in decreasing order.
p, t, -1/7
Suppose -4*f + 5*f = -4*d + 9, 3*f = 4*d - 5. Put -3, -5, d, 3 in descending order.
3, d, -3, -5
Let o = 3 + -3.3. Let x = -2 - -1.9. Let r = o + x. Put r, 5, 2 in ascending order.
r, 2, 5
Let a = 2.34 - 0.14. Let l = 1.8 + a. Sort -2/11, 1/3, l.
-2/11, 1/3, l
Let m(a) be the first derivative of -a**4/4 - 4*a**3/3 - 3*a**2/2 - 3*a - 3. Let o be m(-3). Put 1, o, -1 in descending order.
1, -1, o
Let b = 0.66 - 0.46. Put b, -0.03, 0.1, 4 in decreasing order.
4, b, 0.1, -0.03
Suppose 0 = y + 2*f + 1, y = 5*y + 3*f - 1. Let r be 3*1 + 2/2. Sort r, y, -3.
-3, y, r
Suppose 0 = 2*g - 1 + 9. Let s be -1*(3/(-3) + g). Put s, 2, -1 in increasing order.
-1, 2, s
Let o = 0.02 + 0.88. Let x = 0.5 - o. Let g = -2.8 + 3. Put x, g, -1 in increasing order.
-1, x, g
Let x = 0.06 + -0.06. Sort -5, 1/2, x, 0.2.
-5, x, 0.2, 1/2
Let d be (-3)/(-6) - (-3)/2. Suppose -114 = d*k + 2*i, 2*k + i - 32 = -146. Let g be k/18 - (-2)/12. Sort -1, 1, g in increasing order.
g, -1, 1
Let w(k) = -k**3 + 3*k**2 + 6*k - 1. Let p be w(4). Let i = p + -4. Put 2, i, -4 in descending order.
i, 2, -4
Let x = 0.05 + -0.45. Let k = 0.985 + 0.015. Sort k, x, 2/9.
x, 2/9, k
Let q = 5.27 + -5.6. Let b = -0.23 - -0.2. Let h = b - q. Sort -4, h, -3/4.
-4, -3/4, h
Suppose -3 + 8 = -5*v. Let w = 8 + v. Let d(q) = 2*q - 6. Let r be d(4). Sort w, -3, r in descending order.
w, r, -3
Let d = 53/11 - 5. Let z = 0.1 + -0.1. Put d, z, 0.1 in increasing order.
d, z, 0.1
Let l(m) = m**3 - 6*m**2 - 2. Let a be l(6). Put a, 12, 2 in descending order.
12, 2, a
Suppose -2*c = -0*c + 2*v - 12, -20 = -4*c - 2*v. Sort 2, c, -2, -4 in descending order.
c, 2, -2, -4
Let b = -28445/4 + 7051. Let f = -60 - b. Let u = 2.01 + -0.01. Put 3, u, f in descending order.
3, u, f
Let l = 12 + -12.3. Sort 2/5, 2, l in descending order.
2, 2/5, l
Suppose 2*d + 16 = -4*z, 2*d = -3*z - 7 - 6. Sort -4/5, 3, d, -5 in ascending order.
-5, d, -4/5, 3
Let q(n) = -3 + 5 + 2*n**2 - n - 4*n. Let d be q(3). Let g(j) = -j**2 - j + 1. Let z be g(1). Put 2, z, d in descending order.
d, 2, z
Let q be ((-30)/9)/(6/9). Put 4, -0.5, q in ascending order.
q, -0.5, 4
Let q be 4/2 + -3*7/(-21). Sort -4, q, -5, 0.
-5, -4, 0, q
Let h = 72.4 - 65. Let z = h + -7. Sort z, -1/4, -3.
-3, -1/4, z
Let y = 26 - 28. Put y, 0.2, 0.3 in increasing order.
y, 0.2, 0.3
Let i = -77 - -77.01. Put -1, -0.1, i in increasing order.
-1, -0.1, i
Let r = 18 + 7. Let k be (-4)/(-10)*r/(-95). Sort 0.3, k, -0.4.
-0.4, k, 0.3
Let w = -28 + 28.5. Put w, 8, -1/8 in increasing order.
-1/8, w, 8
Suppose -x - 5 = -4*c - 0*c, 0 = 2*c + x + 5. Suppose 0 = 5*o - 3*r, -22 = 6*o - 2*o + 2*r. Sort c, o, 7 in descending order.
7, c, o
Suppose 3 = -3*w + 6. Put -31, w, -5, -1 in increasing order.
-31, -5, -1, w
Suppose v = 5*b - 21, 5*b - 2*b - 2*v - 7 = 0. Let g = -0.27 + -0.03. Let w = g - -0.5. Sort w, -1, b in descending order.
b, w, -1
Let p be 2*(9/2 - 2). Suppose 0*h - 4*h = 0. Sort h, p, -3 in ascending order.
-3, h, p
Suppose 3*q - 8 = a, 0 = -2*q - 2*q - a + 13. Suppose 4*c = q*b - 15, 0 = -5*c - 3*b - b + 20. Let s = 2 + -4. Put s, 0.2, c in increasing order.
s, c, 0.2
Let q(z) = z**3 - 6*z**2 + 2*z - 12. Let m be q(6). Sort 5, m, 2, 3 in increasing order.
m, 2, 3, 5
Let i = -4.3 + -1.7. Put 2/5, i, 2/11 in descending order.
2/5, 2/11, i
Let n = 1 + -5. Let l(o) = -o + 4. Let c be l(0). Suppose 8 + 8 = c*k. Put 5, n, k in decreasing order.
5, k, n
Suppose 4*p - h + 4 = 0, -p - p - 2*h - 12 = 0. Suppose -m - 3 = 1. Put m, p, 1 in ascending order.
m, p, 1
Let j be -1*(-2*2 - -2). Sort 3/4, j, 1 in decreasing order.
j, 1, 3/4
Suppose 3*p - 20 = -4*l, -2*l + 12 = -4*p + 2. Sort -2, -1, l.
-2, -1, l
Let l = 0.95 + 2.05. Put -2, l, -2/15, -0.4 in ascending order.
-2, -0.4, -2/15, l
Suppose 7*l = 6*l - 5. Sort 5, -3, l.
l, -3, 5
Suppose -a - 18 = -5*a - 2*r, -5*a + r = -19. Sort -3, 5, a in decreasing order.
5, a, -3
Let m(j) = -j**2 - 14*j + 17. Let l be m(-14). Let r = l - 14. Put 1, r, -2 in decreasing order.
r, 1, -2
Let i(q) = -2*q**3 - 2*q**2 - 2*q - 5. Let v be i(-4). Let o = v - 27. Let y be (-6)/10 + o/(-30). Sort 5, -0.4, y in decreasing order.
5, -0.4, y
Suppose 0*g + 4*j = -2*g + 2, -3*g + j + 17 = 0. Suppose i - 3 = -7. Put g, 0, i in descending order.
g, 0, i
Let k = -73 - -67. Let w(d) = d**2 + 4*d + 5. Let c be w(-4). Sort -3, c, k in decreasing order.
c, -3, k
Let g = 0 - -0.2. Let d = 0.1 - 0.6. Put -5, d, g in ascending order.
-5, d, g
Let d(r) = 3*r**2 + 12*r + 11. Let o(z) = z**2 + 4*z + 4. Let v(h) = 3*d(h) - 8*o(h). Let j be v(-4). Sort 2, -3, j in decreasing order.
2, j, -3
Let m = -97/12 + 27/4. Let q = -6 - -6. Let g = q + 0.5. Put m, 5, g in descending order.
5, g, m
Suppose 0*w = -4*w - 12. Let y = 13 + -8. Put -5, y, w in descending order.
y, w, -5
Suppose 10 = -2*o, r - 2*o - 35 = -4*r. Let z be (2 - r - -2) + 0. Sort 1/6, -2, z in increasing order.
-2, z, 1/6
Let a be (6 + 2)/(-1 - -3). Suppose -a*n = -f - f - 12, -12 = -3*f. Suppose -n*i = -9 + 34. Put i, -1, 4 in increasing order.
i, -1, 4
Let h be (-8)/3 + 4 + -1. Sort 3/8, -3, h in increasing order.
-3, h, 3/8
Suppose 15 = -4*p - r, 3 = -2*p - 4*r + 13. Put -1, p, 1/3, -0.03 in ascending order.
p, -1, -0.03, 1/3
Let g = -18 + 10. Sort 1, -3, g in descending order.
1, -3, g
Suppose 3*p = 0, 2*d - 4*p = -3*p - 30. Let i = d - -10. Let w = 4 + 1. Put i, w, -2 in decreasing order.
w, -2, i
Let b(r) be the first derivative of r**4/4 - 2*r**3/3 - r**2 + 2*r - 1. Let u be b(3). Sort -3, u, -2 in decreasing order.
u, -2, -3
Let y = 3 + -5. Let z = 0 - y. Sort -5, 1, z.
-5, 1, z
Let u(s) = 12*s + 50. Let k be u(-4). Put -10, 5, k in increasing order.
-10, k, 5
Let 