descending order.
w, -1, -5
Let u = 0.002 + 0.038. Put u, 4, 0, -0.2 in decreasing order.
4, u, 0, -0.2
Let x = 2.1 - 1.1. Let z = -0.7 + x. Sort z, 2, -2 in ascending order.
-2, z, 2
Let m be -1 - 75/(6/2). Let q = m + 6. Let x be (-1)/(-3)*15/q. Sort 5, 0.2, x.
x, 0.2, 5
Let y be -1 + (-8)/(-2) + -1. Sort 4, y, 1 in decreasing order.
4, y, 1
Let f = 0 + 1. Let t = 0.69 + 0.21. Let r = t + 1.1. Sort -0.3, r, f in ascending order.
-0.3, f, r
Let h = 37 + -42. Put h, -0.2, -4 in increasing order.
h, -4, -0.2
Let b = 138 + -135. Put b, 6, -5, 0 in increasing order.
-5, 0, b, 6
Let q(z) = -z - 10. Let h(n) = -1. Let k(p) = 3*h(p) - q(p). Let u be k(-3). Let m = u - 9. Sort -2, m, -3.
m, -3, -2
Suppose 0 = -3*t - 4*w + 19, 4*t - t - w = 14. Suppose t*g - 3 = -18. Put g, -1, 3 in increasing order.
g, -1, 3
Let z be (-15)/(-6)*(-2)/1. Let i be (2/6)/((-1)/6). Let m(n) = -3*n - 2. Let v be m(i). Sort v, 3, z in descending order.
v, 3, z
Suppose 0 = 4*i + 3*w + 2, -2*w - 1 = 3*i - 0*i. Suppose 0 = b + 1 + i, -8 = 3*t + b. Let l be 286/55 + 1/(-5). Sort 1, t, l.
t, 1, l
Let n(o) = -o**2 - o + 6. Let k be n(-3). Sort 3, -1, 5, k in descending order.
5, 3, k, -1
Let x = 7 + -5. Sort -6, x, 5.
-6, x, 5
Let m = 21 - 15. Let r = 10 - m. Let i = -2 - -7. Sort 3, r, i in decreasing order.
i, r, 3
Suppose 0 = f + 4*x - 0 + 5, -2*x = -5*f + 41. Suppose -2*u - d - f = 0, 0 = u + 3*d + 12 + 4. Let i = -4 + u. Put 0, 4, i in ascending order.
i, 0, 4
Let i(l) = 4 - 3 + l**2 - 4*l**2. Let q be i(-1). Let s = -6 - -10. Sort 1, s, q in increasing order.
q, 1, s
Let s be (2/6)/((-30)/(-9)). Suppose -b = 3*m - 11, -5*m - 2*b = -0*b - 20. Let t = m - 0. Sort s, t, -1 in descending order.
t, s, -1
Let f = -0.53 + 0.49. Let k = 20 + -19.66. Let q = f + k. Put -2/3, q, -2/5 in decreasing order.
q, -2/5, -2/3
Let r = 0 + 3. Let d = r + -2. Let y(z) = -z + 6. Let l be y(4). Put -4, d, l in ascending order.
-4, d, l
Let q be (2/(-6))/(5/(-60)). Let b(y) = y - 4. Let l be b(q). Sort 5, -5, l in increasing order.
-5, l, 5
Let y(m) be the second derivative of -m**5/10 + m**4/6 + m**3/3 + 6*m. Let k = 4 - 2. Let w be y(k). Sort w, -2, -3 in ascending order.
w, -3, -2
Let n be 0 + 0 - (2 - -1). Put 4, 2, n in descending order.
4, 2, n
Let n = 61431/1015 + -424/7. Let q = n - 3/58. Put -3, -2, q in ascending order.
-3, -2, q
Let h = -4 + 4.3. Let z = -0.4 - -0.6. Let x = z - 0.2. Put h, 3, x in descending order.
3, h, x
Let d be 1 + -6 + 3 - -11. Let n be 3/(((-9)/4)/(-3)). Suppose l = n*v - d, -4*l - 24 = -2*v - 2*v. Put -2/5, l, 0.3 in descending order.
0.3, -2/5, l
Let d be (-24)/64 - (-173)/(-8). Sort d, -4, 4 in ascending order.
d, -4, 4
Suppose 2*q - 3 = -q, 15 = -5*t + 5*q. Sort 1, t, -5 in ascending order.
-5, t, 1
Suppose -5*w = -6*w. Let s = 42 - 16. Let m = -28 + s. Sort m, w, -4 in ascending order.
-4, m, w
Let h(n) = -n**2 - 5*n - 1. Let o be h(-4). Suppose o*a - 5*i + 26 = 0, a - 2 = 5*i - 4. Put 4, 1, a in ascending order.
a, 1, 4
Let o = -2/913 - -925/5478. Let u be ((-3)/1)/((-3)/4). Let v be (u/(-6))/((-8)/6). Sort v, 2, o in increasing order.
o, v, 2
Suppose 5*g + 22 = -3, -16 = 3*y + 2*g. Sort 2, -3, y, 0 in decreasing order.
2, 0, y, -3
Suppose -2*g = -5 - 3. Sort -11, 3, g in descending order.
g, 3, -11
Let m = -6 + 5. Put -0.5, -2, m in increasing order.
-2, m, -0.5
Suppose 7*w = 2*w + 4*b + 20, 4*b = 3*w - 20. Sort w, -2, -4 in ascending order.
-4, -2, w
Suppose -3*h - 11 = -2*b, 12 = 4*b - 4*h - 8. Sort 1, b, -1 in descending order.
b, 1, -1
Let m be ((80/28)/(-5))/(-2). Sort m, 0.2, -0.9 in ascending order.
-0.9, 0.2, m
Let o = -3.4 + 4. Let y = -1.1 + o. Sort 2, y, -2/15 in descending order.
2, -2/15, y
Let x = 27 + -27.19. Let v(q) = q - 3. Let c be v(8). Sort x, c, -1/11 in ascending order.
x, -1/11, c
Let j be (-5 + 2 + 3)/3. Suppose 7*o - 4*c = 3*o, 5*o - 8 = c. Sort j, o, 4 in decreasing order.
4, o, j
Let g = 72 - 72. Put -3, g, 8 in descending order.
8, g, -3
Let u be 0 - (-5 + 2 + 1). Suppose i - 2 + 5 = 0. Let z = 5 - 9. Put u, z, i in ascending order.
z, i, u
Let q be (1/2)/(-3*3/54). Sort -4, 5, q, 2.
-4, q, 2, 5
Let a = -0.132 + 4.832. Sort -4/7, -0.5, a in increasing order.
-4/7, -0.5, a
Suppose -3*m = -m - 8. Let f = m - 6. Sort f, -3, -5 in descending order.
f, -3, -5
Suppose -9*b + 24 = -3*b. Put 1, 3, -3, b in ascending order.
-3, 1, 3, b
Let f(u) = -u**3 - 6*u**2 - 3*u + 6. Let c be f(-5). Sort c, -3, -2.
c, -3, -2
Let q(n) = -12 - n**3 + 7*n**2 + n + 2*n + 4 + 6*n. Let w be q(8). Put w, 3, 2 in increasing order.
w, 2, 3
Let b = 0.4 + -0.9. Let f = -0.3 + 0.2. Sort b, 0.1, f.
b, f, 0.1
Let c be 6 + (-1)/2*2. Suppose 0 = a + l - 2*l + 2, -c*a = 5*l. Let s = 4 - 1. Sort 2, a, s.
a, 2, s
Let l = -13 - -16. Sort 4, 7, l in decreasing order.
7, 4, l
Suppose -3*t + 6*t + 2*a = -34, -a - 29 = 3*t. Put 5, -4, t, 1 in descending order.
5, 1, -4, t
Let i be 2/4 + 60/59. Let q = i + -1/59. Let w = 2 - 2. Sort q, w, 3 in ascending order.
w, q, 3
Let a = -6 + 5.9. Let n = 667/9 + -74. Sort 3, a, n in decreasing order.
3, n, a
Let q = 1 + -0.7. Let f = -1623 + 209365/129. Let p = f + -80/387. Sort q, -5, p in descending order.
q, p, -5
Let s(v) = -v**2 + 3*v - 5. Let i be s(3). Sort i, -3, 0 in decreasing order.
0, -3, i
Let x(q) be the third derivative of -q**5/30 - q**4/12 + q**3/6 + 2*q**2. Let a be x(-2). Let r be 0/(-1) + (0 - 2). Put a, -1, r in ascending order.
a, r, -1
Let g(s) = -3*s - 1. Let b be g(-1). Suppose 0 = 5*z - 3*t - 31, -13 = -0*z - 3*z - t. Sort b, z, -3.
-3, b, z
Suppose -4*p + 4 = 16, 3*p = -5*g + 6. Suppose -y = -3*m - 2, 2*m - 9 - 7 = 5*y. Sort -3, y, g in descending order.
g, -3, y
Let b = 1.5 - 1.5. Sort 0.2, 3/5, 1, b.
b, 0.2, 3/5, 1
Let z(j) = -j**3 - 6*j**2 - 2*j - 8. Let h be z(-6). Suppose 5*c - h*c + 2 = 0. Let k be (-2)/(-2)*(c - 2). Sort 2, -2, k.
k, -2, 2
Suppose 2*t - 8 = -2*t. Let y = 2 - -3. Let m = t - y. Put 2, 3, m in descending order.
3, 2, m
Let w = 1.8 + -3.8. Put -1/3, -4, w in descending order.
-1/3, w, -4
Let h(t) = t + 2. Let k be h(3). Suppose 0 = -4*m + 5*o + 33, -m - k*o = 2*m + 19. Put 5, -4, m in increasing order.
-4, m, 5
Suppose 4*r + 5*f = -28, f = -4*r + 2*f - 4. Let c = 7 - 6.93. Let h = c + -0.37. Sort -2/5, h, r in descending order.
h, -2/5, r
Let f = 40 + -35. Put -4, f, 2, 4 in ascending order.
-4, 2, 4, f
Let f = -5 - -9. Let g be (3 - 3)/(-3) - (4 + -1). Sort g, 0, f in ascending order.
g, 0, f
Let a = 0.01 + -0.31. Sort 1, a, 0, -2/11 in descending order.
1, 0, -2/11, a
Let n(j) = 3*j + 4. Let l = -9 + 6. Let w be n(l). Put 0, w, 5/2 in descending order.
5/2, 0, w
Let h(z) = z - 7. Let s be h(11). Suppose -2*d + 20 = 4*o + 2*d, -d = -s*o + 5. Let g = -203/6 + 34. Put -0.4, g, o in descending order.
o, g, -0.4
Let z = 2.6 + -3.1. Sort 1/11, -3/5, 10, z in ascending order.
-3/5, z, 1/11, 10
Suppose 2*k + 1 = 15. Suppose -2*s = n + 13, 2*n - k*n - 30 = 3*s. Sort s, 2, 0 in ascending order.
s, 0, 2
Let z be (-16)/(-2)*(-4)/8. Let i(l) = -2*l**2 - 2*l + 2. Let h be i(-2). Sort -5, h, z in decreasing order.
h, z, -5
Suppose 0 = 5*j + 10 - 20. Suppose 1 = -q - m, 2 = q - 2*m + 6. Sort j, -3, q.
-3, q, j
Let j = -61 + 86. Suppose -3*l + j = 2*l. Put 6, -4, l in decreasing order.
6, l, -4
Let j = 0.576 - 0.076. Put 1/3, j, 2.4 in ascending order.
1/3, j, 2.4
Suppose 0*f - 4*p - 32 = -5*f, 4*f - 4*p - 28 = 0. Sort -3, 3, -1, f in ascending order.
-3, -1, 3, f
Let o = 0.7 - 0.78. Let i = -0.02 + o. Put -4, 0.2, i in increasing order.
-4, i, 0.2
Let w = -0.4 + 4.4. Sort -2, w, -0.2.
-2, -0.2, w
Suppose 4 = -6*i + 2*i. Suppose l - 2*l = -3. Let c = -7 + 4. Sort c, i, l.
c, i, l
Suppose p + 6 = -p. Let u be (2 - (1 + 1)) + 4. Put 3, u, p in ascending order.
p, 3, u
Let q = 3.7 + 0.3. Let g = q + -8. Put 1, 2/3, g in increasing order.
g, 2/3, 1
Let t(l) = l**2 + 5*l + 2. Let a be t(-5). Suppose 2*d = -4*w + 3*w + 3, -5*d - 5*w + 10 = 0. Put d, 4, a in decreasing order.
4, a, d
Let a be (-8)/12 + 2/3. Sort a, -16, 1.
-16, a, 1
Suppose 0 = 3*r + 9 + 3. Let p be -2*-2*r/(-16). Sort 10, 5, p in ascending order.
p, 5, 10
Let x be (-9)/15 - (-14)/10. Sort x, -0.4, -4/7.
-4/7, -0.4, x
Let i = -0.04 - -0.64. Let u = 0.32 + -0.32. Put i, -2/7, u in descending order.
i, u, -2/7
Let w = 1/65 + 62/195. Put -