-3*z. Put 0, z, 3 in increasing order.
0, 3, z
Let n(v) = -v + 12. Let u be n(15). Let j(c) = c**2 - 9*c + 2. Let k be j(9). Put u, k, 5 in descending order.
5, k, u
Let u = -16 + 16. Put 0.4, -1/3, u, -0.3 in decreasing order.
0.4, u, -0.3, -1/3
Let k = -1 - -4. Let p be 2 + (-9)/k + 1. Sort p, -3, -1 in ascending order.
-3, -1, p
Suppose -5*i - 4*i + 18 = 0. Put 1, -4, i, -1 in descending order.
i, 1, -1, -4
Suppose 36 = -5*r + 16. Sort 20, 2, 1, r in descending order.
20, 2, 1, r
Let i = -6 + 9. Let u be (1 - i)/((-2)/4). Sort -1, 2, u in ascending order.
-1, 2, u
Suppose 0 = 4*m - 0*m - 8. Suppose m*z + 2*z = -20. Suppose -5 = 3*r + 4*a - 0, 5*r + a = -14. Sort z, -1, r.
z, r, -1
Let y be ((-1)/2 + -1)/3. Sort y, -4, 0.3.
-4, y, 0.3
Suppose q = -2*q - 6. Sort 1/4, -2/13, -3/4, q.
q, -3/4, -2/13, 1/4
Let x be (-1)/(55/120) - -2. Suppose 3*d + b - 13 = 7*d, -4*d - b - 11 = 0. Sort 4, d, x in decreasing order.
4, x, d
Let h(z) = z**3 - 4*z**2 - 2*z + 3. Let k be h(4). Sort 4, -4, 2, k in decreasing order.
4, 2, -4, k
Let u = 475/2673 + 1/243. Let i = -0.3 - -0.27. Let j = 2.03 + i. Put u, 0.2, j in descending order.
j, 0.2, u
Let o be 1/((-1 - -5)/(-8)). Sort 5, o, 2, -3 in increasing order.
-3, o, 2, 5
Let b(t) = t**3 + 8*t**2. Let d be b(-8). Suppose 3*o + 5 = -2*o - 3*l, o + 1 = -l. Let p be 3/((-6)/4) + o. Sort p, d, -1 in decreasing order.
d, -1, p
Let l(q) = -q**3 + 9*q**2 - 8*q + 5. Let k = 13 + -5. Let u be l(k). Suppose 0 = u*r - 3*p - 21, r + 4*p - 1 = 3*p. Put 1, r, -4/9 in ascending order.
-4/9, 1, r
Suppose 1 = -4*g + 5*l, -3*g = l + l - 5. Suppose 3*d + 0 + g = 2*v, 2*v - d = -1. Put -0.2, v, -5 in decreasing order.
-0.2, v, -5
Let g = 7 - -1. Let p = 7.7 - g. Let d = -2.5 + 1.5. Put 0.5, p, d in decreasing order.
0.5, p, d
Let y be 4/2 - (-3 + 5). Suppose -3*s + 0*r + r + 18 = 0, -4*r - 12 = y. Let v(h) = h**3 - 6*h**2 - 2*h + 8. Let u be v(6). Sort u, s, 1.
u, 1, s
Suppose -5*d + 4 = 2*r + 17, -16 = 3*r + 4*d. Put r, 1, 5 in decreasing order.
5, 1, r
Let w = 8 + -7. Put w, -4, -0.1 in decreasing order.
w, -0.1, -4
Let h = -0.74 - 0.16. Let x = h + 0.8. Sort -2, -5, x.
-5, -2, x
Let r(m) = -4*m - 5. Let t(d) = 5*d + 5. Let q(p) = 4*r(p) + 3*t(p). Let g be q(-8). Let y be ((-1)/g)/((-1)/(-9)). Sort y, 0, -1.
y, -1, 0
Suppose 3*c + 10 = x, 5*c = -3*x + x - 13. Let b be (-26)/(-10) + 4/10. Suppose 0 = b*l + i + 4, 4*i - 18 = 5*l - 0*i. Put l, c, -5 in increasing order.
-5, c, l
Suppose 14 = -2*l - 0*l. Let y(s) = 2*s + 10. Let r be y(l). Let h be ((-1)/2*0)/(-2). Put r, 4, h in ascending order.
r, h, 4
Let d = -3.88 + 0.28. Let p = d - -3. Let y = p + 0.7. Sort y, -4, -0.3.
-4, -0.3, y
Let k(b) = -b**2 + 2*b + 6. Let y be k(4). Put 4, y, 7 in descending order.
7, 4, y
Suppose -5*i - 12 = 3. Let a = 7 - 5. Suppose -1 = 3*u - a*u. Sort 5, i, u in descending order.
5, u, i
Suppose 3*a = 9 - 21. Put -7, 3, a in ascending order.
-7, a, 3
Suppose 3*i + 6 = 6*i. Let o be 1 + 0*(-1)/i. Sort 2, o, -5 in ascending order.
-5, o, 2
Suppose -5*k + 3*k + 2 = 0. Let d(c) = c + 6. Suppose 3 = 5*g + 48. Let m be d(g). Sort k, m, 3 in decreasing order.
3, k, m
Let w be 1/1 - (-5)/(-1). Let z(x) = x + 10. Let v be z(-10). Suppose s = 2*b + 6, -2*s + 5*b + 9 = -s. Put w, s, v in ascending order.
w, v, s
Let w = 9 + -5. Let c = -3.93 - 0.27. Let i = c + w. Sort 3, i, -1 in decreasing order.
3, i, -1
Let r be -11 - (-2 + (-2)/2). Let x = 9 + r. Put -3, x, 4 in increasing order.
-3, x, 4
Let i = -2 - -7/3. Sort -0.4, -8, i in descending order.
i, -0.4, -8
Let v be 14/6 + 2/(-6). Let u = -261 - -271. Sort u, v, 1.
1, v, u
Let i = -89 - -88. Sort i, -5, 0.8 in descending order.
0.8, i, -5
Let i = 6 + -3. Sort i, 6, -1 in descending order.
6, i, -1
Let l = -0.396 - 0.004. Put l, 2, 5, 3 in descending order.
5, 3, 2, l
Let k be (-1)/(2 - 3)*4. Let w = 1 - -6. Sort 1/9, k, w in decreasing order.
w, k, 1/9
Let x = 5 + -4.7. Let t = x - 0.1. Let b = 4/55 + -91/495. Sort t, b, 0.
b, 0, t
Let q = 0.1 + 0.2. Suppose -6*f + f + 25 = 0. Suppose 0 = -5*b + f*g - 55, b - 4*b = -g + 29. Sort q, -0.4, b.
b, -0.4, q
Suppose 2*i - 2 = 8. Let b be 3/(-2)*4/(-6). Put 0, i, b in ascending order.
0, b, i
Let u be -1*(3 + -2)*1. Let z be -2 - u - (-6)/24. Sort -0.2, z, 2/3 in descending order.
2/3, -0.2, z
Let m = 14 - 14. Put m, 3, -1 in decreasing order.
3, m, -1
Let m = 168 + -173. Let i = 0.13 - -5.87. Sort m, -0.3, i in descending order.
i, -0.3, m
Let d(u) = u. Let n be d(7). Let g = n + -7. Let z be (g - (-3 + 3))/2. Sort 2, 4, z in descending order.
4, 2, z
Let p = 0.3 + -0.1. Suppose 3*j - 10 = 4*c, 3*c + 9 = 2*j + 1. Let f be ((-5)/j + -4)/(-3). Sort f, p, 3 in decreasing order.
3, f, p
Suppose 3*f - 10*f = 35. Suppose -6 = -5*i + 4. Put -1, i, f in decreasing order.
i, -1, f
Let i = -40 - -40.4. Put 1, 0.2, 2, i in ascending order.
0.2, i, 1, 2
Let u = 6 - 10. Let o be (1 - 3)*u/8. Let p be -1 - (o + 1 + -2). Put 2, p, 0 in decreasing order.
2, 0, p
Let z be 2 + -5 + (-1 - -8). Let l be (-1)/(-4)*16/(-6). Put 1, z, l in decreasing order.
z, 1, l
Let c be ((-1)/(-3))/((-1)/(-33)). Suppose -i = a - 5*i - 24, -4*a + c = i. Suppose -5 = a*y + 3. Sort 5, 1/4, y in descending order.
5, 1/4, y
Let a be ((-2)/(-4))/(8/96). Sort a, 3, -5 in descending order.
a, 3, -5
Let f = -9 + 8. Let z be -2 + 0 + (-5462)/(-2548). Let t = -1/98 - z. Sort f, 0.3, t in decreasing order.
0.3, t, f
Let c = 21 + -5.8. Let k = c + -15. Let t = -107/3 - -36. Sort k, t, -1/7 in descending order.
t, k, -1/7
Let n(g) = -g**2 - 2*g - 1. Let l be n(-2). Let u(c) = c + 1. Let k be u(-3). Sort 4, l, k in increasing order.
k, l, 4
Let w = -53/93 + -3/31. Let l(f) = -f**2 - 7*f - 6. Let y be l(-6). Let q be -1 - (-1 + -3 + y). Sort -0.3, q, w in increasing order.
w, -0.3, q
Let r = 37.6 + -43. Let w = -5 - r. Sort w, 3, -0.3 in ascending order.
-0.3, w, 3
Let c(j) = -j**3 - 5*j**2 - 3*j + 4. Let p be c(-4). Sort 2, p, -18.
-18, p, 2
Suppose 2*l = -5*h + 4, 3*h + 5*l - 10 = 8*h. Put 7, 2, h in ascending order.
h, 2, 7
Let k(c) = 3*c + 12. Let y be k(-5). Let f(h) = h**3 - 2*h**2 - h. Let u be f(-1). Sort u, y, 3 in decreasing order.
3, u, y
Suppose 0 = 4*d - 3*j + 12 - 5, 4*j = 20. Suppose -2 = -2*z + 4*z. Let b be z - (d - 47/15). Sort -2/9, b, -1/5.
-2/9, -1/5, b
Let g(a) = a**3 - a**2 - a - 4. Let u be g(0). Sort -3, 2, u in increasing order.
u, -3, 2
Let a = 89 + -90. Let c be (-1)/4 + 1/36. Put c, -0.3, a in descending order.
c, -0.3, a
Let u = -3.57 + 0.17. Let p = -3 - u. Let j = -3.9 + -1.1. Put p, 3, j in ascending order.
j, p, 3
Let x = 51 - 51. Sort 0.4, -2/21, 4, x in decreasing order.
4, 0.4, x, -2/21
Let i = -0.5 - -0.1. Let x = i + -0.1. Let p = 11.9 - 12. Put -1, x, p in decreasing order.
p, x, -1
Let b = 44 - 41. Let t = -11 - -6. Sort 2, t, b in descending order.
b, 2, t
Suppose 0 = 4*v - 4*s + 16, -3*s + 0*s = -v - 10. Sort v, -2, -15 in ascending order.
-15, -2, v
Let x be -2*(-2)/4 + -1. Suppose x = -t - 3*t + 16. Let w be (1 - -3 - 3) + 6/(-10). Sort w, t, 0 in descending order.
t, w, 0
Let l = 2.1 + -2. Let i = 52/9 + -6. Put -0.4, i, l in ascending order.
-0.4, i, l
Let q(v) = -v**3 - 3*v**2 - v - 8. Let n be q(-4). Sort 5, n, 4 in increasing order.
4, 5, n
Let b be -10 + (5 + 0 - 4). Put -5, b, -2, -1 in ascending order.
b, -5, -2, -1
Let r = -0.3 - -0.4. Let b be 10 + (30/9)/5. Let a = -10 + b. Sort -3, a, r in ascending order.
-3, r, a
Suppose 1 = 4*u + 3*l + 11, u + 6 = l. Suppose 5*v = -2*w - 0 - 5, -v - 24 = 5*w. Put w, u, -1 in ascending order.
w, u, -1
Let y = -8 + 4. Let z = y - -2. Put -0.2, 4/5, z in decreasing order.
4/5, -0.2, z
Let k be (4/30)/(4/(-5)). Let w = -0.12 - -3.12. Sort k, -4, w.
-4, k, w
Let o(r) = 2*r**2 - 7*r - 2. Let y be o(4). Sort -4, -13, y.
-13, -4, y
Let g be 1 + 1*1/(-1). Suppose g*m = m - 5. Let b be 2 + (1 - 0) - 2. Put m, b, -5 in decreasing order.
m, b, -5
Let h = -73 + 76.8. Sort 3, -2/9, h, 4/7 in descending order.
h, 3, 4/7, -2/9
Let x = 257/4 + -64. Sort -0.2, -1/8, x.
-0.2, -1/8, x
Let t = -2/625 - -1883/2500. Put 3, t, -0.1 in descending order.
3, t, -0.1
Let m = 18 - 20. Put m, -0.3, 1 in decreasing order.
1, -0.3, m
Let k = 56/5 + -377/35. Suppose -3*d + 4*d + 2 = 0. Let o = -6 + 8. Put k, o, d in increasing order.
d, k, o
Let j 