v = 1. Sort t, -1, v.
-1, t, v
Let a = 13 + -13. Let d = 0 + a. Put -5, -3, d in decreasing order.
d, -3, -5
Suppose 6*d = 2*d - 5*f + 11, 0 = -5*f - 25. Let s = d - 5. Sort -4, s, -1.
-4, -1, s
Suppose 4*u + 2 = 6. Let x(f) = f**3 - 5*f**2 - 6*f + 4. Let d be x(6). Suppose 0 = m - 6*m. Sort m, u, d.
m, u, d
Let u be (2 - (-14)/(-4))*2. Let k = 0.9 - 0.84. Let i = k - 0.36. Sort 3, i, u in decreasing order.
3, i, u
Let t = -1 - -0.5. Let q be (-75*1)/(14/6). Let x = q - -32. Sort x, 2, t in increasing order.
t, x, 2
Let z = -10/23 + 93/161. Put z, -0.3, -1/6 in descending order.
z, -1/6, -0.3
Let a = 0.026 - 7.026. Put 2/5, a, -3, -0.3 in increasing order.
a, -3, -0.3, 2/5
Let h be ((-5)/(-10))/((-3)/6). Sort h, -6, 2.
-6, h, 2
Let y be 2/4*24/2. Let k(w) = -w**2 + 6*w + 2. Let d be k(y). Let s = -2 - 3. Sort s, 5, d in ascending order.
s, d, 5
Let d = 12.8 - 13.3. Put 6, d, 2/17, -0.2 in descending order.
6, 2/17, -0.2, d
Suppose 0 = -m + 4*m + 12. Suppose 0*h = 2*h - 6. Suppose -h = w - 6. Sort w, 1, m in decreasing order.
w, 1, m
Suppose 0 = -3*q + 2*b + 17 + 3, 4*q = -2*b + 36. Sort q, -1, -4 in increasing order.
-4, -1, q
Suppose 12*q - 3*q = 9. Sort q, 32, 4, -2 in ascending order.
-2, q, 4, 32
Let o = 0.3 - 0.3. Let y = -75 + 151/2. Sort y, o, 0.3.
o, 0.3, y
Let b = 2.5 - 3. Put b, -5, -1/6 in decreasing order.
-1/6, b, -5
Let p = 3.9 + -3. Let s = 1 - p. Sort 2, -4, s.
-4, s, 2
Let v = 9 - 4. Let q = 2.2 + -1.9. Sort q, v, -1/7 in decreasing order.
v, q, -1/7
Let y = 3 - 2. Suppose 4*v + 4*l = 24 - 68, -4*l = -4. Let j be 6/(-38)*8/v. Put y, -1/3, j in decreasing order.
y, j, -1/3
Let h be (80/24)/(1 - 15/9). Suppose -j + 1 = -2*j. Put j, h, -2/9 in descending order.
-2/9, j, h
Let u(a) = -3*a**3 - a - 1. Let c be u(-1). Sort -1, -6, 1, c in decreasing order.
c, 1, -1, -6
Suppose 0 = 2*h - 4*u, -u = -h - 4*u. Let x = -7 - -10. Suppose -4 = -3*r - w, -x*r = -0*r - 3*w - 24. Sort h, -5, r in ascending order.
-5, h, r
Let o be (-1)/(-3 + 1)*6. Suppose -2*s = -1 + 5. Suppose -3*b - 4*t - 8 + 0 = 0, -2*t + 22 = -5*b. Sort s, b, o in increasing order.
b, s, o
Let u(d) = d**2 + 2*d - 12. Let q be u(-4). Sort -4/5, q, 0.9 in descending order.
0.9, -4/5, q
Let t = 2 - 5. Let l = 9 + t. Suppose -2*a = -4*a - l. Put 1, 4, a in decreasing order.
4, 1, a
Suppose -2*s + 0*i - 2 = -2*i, 0 = s - 5*i + 17. Suppose -16 = -s*j - j. Sort 1, -3, j in descending order.
j, 1, -3
Let g = 0 + -3. Let f = -12.6 + 16. Let t = f + g. Sort -4, -5, t in descending order.
t, -4, -5
Let m = 1.083 - 0.083. Sort m, 0.1, -5, -8 in ascending order.
-8, -5, 0.1, m
Let x(w) = -52*w. Let p be x(1). Let i be ((-6)/p)/(9/(-12)). Let f(a) = a + 2. Let m be f(-2). Put m, i, 1 in decreasing order.
1, m, i
Let n(w) be the second derivative of -w**5/20 + w**4/2 + w**3/6 - 2*w**2 + w. Let k be n(6). Let z = 328/483 - 2/161. Sort k, -0.5, z in decreasing order.
k, z, -0.5
Suppose 10*l - 6*l - 136 = 0. Put 5, 0.3, l in descending order.
l, 5, 0.3
Let k be 104/(-28) - 2/7. Let w(m) = -m**3 - 9*m**2 + 10*m + 3. Let a be w(-10). Suppose 5*o + a + 7 = 0. Put -5, k, o in descending order.
o, k, -5
Let t = 10 + -11. Put 2, -2, t in descending order.
2, t, -2
Suppose 41 = 3*r - 4. Let p = -11 + r. Sort 3, -2, p in increasing order.
-2, 3, p
Let p be 2*(-2)/12*3. Let o(d) = d**2 + 5*d + 4. Suppose 6*y - y + 15 = 0. Let x be o(y). Put x, -5, p in decreasing order.
p, x, -5
Let k be 90/24 + (-3)/(-12). Sort 2, 5, 1, k in descending order.
5, k, 2, 1
Suppose -n = 3*h - 14, -3*h - h - 5*n = -37. Let w(o) = o**2 - o + 1. Let m be w(0). Sort m, -1, h in increasing order.
-1, m, h
Let t be ((1 - 1) + -1)/(-1). Suppose -s = n + n, -5*s = 2*n + 16. Suppose 0 = n*v + 2*v + 12. Put 3, v, t in increasing order.
v, t, 3
Suppose -88 = -8*s + 4*s. Let n be (-60)/(((-3)/10)/(18/168)). Let g = n - s. Put -1/3, g, 1/2 in increasing order.
g, -1/3, 1/2
Let h = -5.2 + 0.2. Let f = 6.6 + -7. Sort 3, h, f in increasing order.
h, f, 3
Let v = -1 + 6. Suppose -v*l + 106 = 4*g, -3*l = -5*l - 4. Suppose 4*m - 2*u - 14 = 0, -4*m - 5*u + 6 + g = 0. Put 0, -3, m in ascending order.
-3, 0, m
Let c = 36.2 + -47. Let j = c + 11. Sort -5, -2/11, j in ascending order.
-5, -2/11, j
Let d(u) = u**2 + u + 5. Let m be d(0). Suppose -5*h = -2*b - 15, -b - h = -6*b - 3. Put b, m, 4 in increasing order.
b, 4, m
Suppose f = -3*k - k + 7, -2*f - 16 = -2*k. Let u be 0 + (-3)/((-3)/2). Suppose 5*h - u = 23. Put h, k, -1 in descending order.
h, k, -1
Let x be ((-3)/6)/(3/(-12)). Suppose 5*t = 3*m + 4*t - 15, m + x*t + 2 = 0. Let b = m + -6. Sort b, 5, 1/2 in ascending order.
b, 1/2, 5
Let k = -37 + 32. Suppose 0 = -5*v + v - 16. Put v, 3, k in increasing order.
k, v, 3
Let y = 36 - 36. Sort -3, y, -2, -5 in increasing order.
-5, -3, -2, y
Suppose r - 12 = q + 4*r, q + 5*r = -20. Sort q, 4, -1, -1/5 in descending order.
4, q, -1/5, -1
Let z = 1.9 + -2. Let v = -18.2 + 19. Let q = v + -1.1. Sort q, z, 5 in decreasing order.
5, z, q
Suppose 0 = 8*v - v + 28. Put 0.16, v, -1 in descending order.
0.16, -1, v
Let h = 1.5 + -2. Put 0.5, h, -23 in descending order.
0.5, h, -23
Let v = 0.9 - 1. Let l = -0.6 - -0.3. Sort l, v, 1.
l, v, 1
Suppose 3*l + 3*x - 6 = -l, -10 = -4*l - 5*x. Let v = 23 - 26. Put 5, v, l in descending order.
5, l, v
Let c be 3/(-15)*(-10)/(-4). Suppose -2*i + j = -0 - 5, 5*j + 4 = 3*i. Let d be i/(-2)*(-4)/9. Sort 1, d, c in decreasing order.
1, d, c
Let r = 5.06 - 0.06. Let b = -26.3 - -26. Sort b, 2, r in descending order.
r, 2, b
Suppose 2*m = -4*l + 6, 11 = 4*l - 3*m + 4*m. Sort -3, 0, l.
-3, 0, l
Suppose -5 = 2*t + 3*t. Let p(d) = 3*d. Let v be p(2). Suppose -v - 3 = 3*u, 0 = n - u + 2. Put 4, t, n in descending order.
4, t, n
Let y = -47 - -47.2. Sort 3, -0.3, y, -1/2 in descending order.
3, y, -0.3, -1/2
Let r be (-43)/(-8) + (-3)/8. Let x = -2194/9 - -244. Let w be (-1)/(-2)*2/7. Sort x, r, w in descending order.
r, x, w
Let f = 6 + -4. Suppose 3*n + 0*n + 19 = -4*v, -4*n - 19 = -v. Let c be n - -1*f/2. Put 4, c, 0 in ascending order.
c, 0, 4
Let i be 2 - -30*(-3)/48. Sort i, -2, 3 in decreasing order.
3, i, -2
Let n be (2 - 0) + 48/26 + -4. Sort 6, -2, n, 2/5 in descending order.
6, 2/5, n, -2
Let y = 26 + -24. Put y, -4, -5/2 in increasing order.
-4, -5/2, y
Let m = 14 + -19. Sort 5, m, 2 in decreasing order.
5, 2, m
Let u be (10/(-14) + 1)*-7. Suppose -y + 4 = 0, -y - 6 = -5*d - 0*y. Sort u, 1, d.
u, 1, d
Suppose 2*c + f + 1 = 0, -c - f + 4 = 2. Sort c, -5, 0, 3 in increasing order.
-5, c, 0, 3
Suppose -3*o - 2 = 10. Let r be -1 - -1 - (-3 + -4). Let h(d) = d**3 - 8*d**2 + 7*d + 1. Let u be h(r). Put o, 4, u in descending order.
4, u, o
Let p = -894/13 + 5211/65. Let t = 471/40 - p. Suppose 2*y = -4*j + 2, -5*y + 2*j = 7*j - 10. Sort 2/3, y, t in descending order.
y, 2/3, t
Suppose -x = -5*b - 2*x - 13, 2*x = -2*b - 2. Sort b, 4, 0 in descending order.
4, 0, b
Suppose 1 = 3*s - 2. Let q(y) be the first derivative of -y**4/4 + 11*y**3/3 + 6*y**2 - 3*y - 2. Let c be q(12). Sort c, s, -2.
c, -2, s
Let r be -3 + ((-120)/9)/(-5). Sort r, -0.01, -2/7 in ascending order.
r, -2/7, -0.01
Suppose 0 = 2*p - 2*y, 0*y + 15 = -3*y. Let h be 4/2 + -1 + 2. Suppose n + 4*r + 6 = 0, -2*n + 2*r - 5 = h*r. Sort 0, n, p.
p, n, 0
Let q = 4.617 - 0.547. Let a = q + -0.07. Let f = 0.7 - -0.3. Sort -2, f, a in decreasing order.
a, f, -2
Let n = -1 - 3. Let x = 1.9 + -2. Let c = 302 - 297. Sort c, x, n in decreasing order.
c, x, n
Suppose -4*q = 3*x - 6, 0 = 5*x + 4*q - 3 + 1. Suppose 2*n - 6 = -n. Sort -3, x, n in descending order.
n, x, -3
Let a = 33.09 - 33. Sort -0.3, a, 3, 0 in decreasing order.
3, a, 0, -0.3
Suppose 0 = 4*w - 2*w - 6. Suppose -2*y = w*y + 85. Let b be (1 - y/(-18))*-4. Sort -5, 3, b.
-5, b, 3
Let r be 21/(-3)*(-2)/7. Let a = r - 3. Put -2, 1, a in decreasing order.
1, a, -2
Let g = -9 - -9. Put 3, g, -4 in decreasing order.
3, g, -4
Suppose 4*j - 5*v = -5 + 18, 2*j + 16 = -2*v. Let q be 3/(-9) - (-1)/3. Let m(z) = z**2 + z - 2. Let o be m(q). Sort j, o, -5 in decreasing order.
o, j, -5
Let o = -24 - -24. Let d = -0.4 - -5.4. Let x = d + o. Sort 3, -4/3, x in increasing order.
-4/3, 3, x
Let f = 5.7 + 3.3. Put -4, 0, f in decreasing order.
f, 0, -4
Let u(b) = 2*b + 1. Let z be u(-5). Let s be z/(-24)*4/(-6). Le