5*z - 17, u*g - 5*z + 33 = 0. Sort n, g, 5/6 in increasing order.
g, n, 5/6
Suppose 3*l + 12 = 6*l. Let v be (1 - (-3)/(-2))*-6. Suppose 0 = -c - 5*x + 15, -5*x = c - 4*x - v. Sort c, l, -2 in decreasing order.
l, c, -2
Let y = -10 - -13. Sort y, 7, -1.
-1, y, 7
Let f(n) = -n**2 + 5*n + 5. Let h be (-57)/(-12) - (-2)/8. Let v = 0 + h. Let j be f(v). Sort -3, 1, j in increasing order.
-3, 1, j
Suppose 4*u = u - 3. Sort 5, -2, u, -8.
-8, -2, u, 5
Let j = 0.8 - 3.8. Let g(p) = 2*p**3 - 27*p**2 - 12*p - 26. Let o be g(14). Sort j, o, -3/5.
j, -3/5, o
Let f = 0.8 + -1. Let j = f + 0.1. Let y = -0.05 - 0.15. Sort -3, y, j in increasing order.
-3, y, j
Let n be ((10/(-11))/(-5))/(-2). Sort -2/7, n, -2 in decreasing order.
n, -2/7, -2
Suppose 14 = 4*p - 6. Let w = -20 + 22. Sort p, w, -5.
-5, w, p
Let r = -16 + 42. Let p = 26 - r. Let a(t) = t - 4. Let u be a(3). Sort -0.3, u, p in decreasing order.
p, -0.3, u
Suppose 14*j + 8 = 10*j. Sort -3, j, 0, -1 in decreasing order.
0, -1, j, -3
Let z = 0 - 1. Suppose -4 - 6 = 5*r. Sort z, r, 4 in decreasing order.
4, z, r
Let g = -0.3 - -0.1. Let t = -35 + 35.4. Sort t, g, 1 in decreasing order.
1, t, g
Suppose 0 = 3*u + 12, -2 = k + 4*u + 7. Let i = 9 - k. Sort i, -2, 5 in ascending order.
-2, i, 5
Let b(g) = -g**3 + 7*g**2 - 7*g + 4. Let p be b(6). Put -5, -1, p in decreasing order.
-1, p, -5
Let t be (0 - (3 + 0))/((-9)/12). Sort -63, -3, t in decreasing order.
t, -3, -63
Let w = 7/34 + 447/17. Let c = 27 - w. Sort c, 5, -3 in descending order.
5, c, -3
Let p = -2.8 - -4. Let o = 0.2 - p. Put 1/2, o, 1/3 in increasing order.
o, 1/3, 1/2
Let l(a) = 5*a**3 + 6*a**2 - 5*a + 3. Let v(i) = 9*i**3 + 11*i**2 - 9*i + 5. Let h(w) = -7*l(w) + 4*v(w). Let c be h(-2). Sort -1, -5, c in ascending order.
-5, -1, c
Let y = 314/5 + -63. Sort 5, -2, y in decreasing order.
5, y, -2
Let r = -0.05 - -6.05. Put r, 0.5, -2, 2/9 in increasing order.
-2, 2/9, 0.5, r
Let g = -59 + 64. Suppose p = -5, -11 + 1 = 5*l + 4*p. Suppose -w = w. Sort w, l, g in descending order.
g, l, w
Let d = -3.29 + -0.71. Put -1, 17, d in descending order.
17, -1, d
Let s(o) = -o**3 + 4*o**2 + 7*o - 12. Let c be s(5). Suppose -5*u - 20 = 2*x - 5*x, -8 = -5*x + 2*u. Sort 1, x, c.
c, x, 1
Let j = 13.5 + -13.9. Put 3, -0.07, j in descending order.
3, -0.07, j
Let f = 9 + -13. Suppose -5*l + 5*m - 20 = 0, 10*m = -3*l + 11*m - 10. Sort f, 4, l in increasing order.
f, l, 4
Let j = -1 + 4. Sort j, 1, 2.
1, 2, j
Let p be -3*(-2 - (-2 + 1)). Put -3, p, 5 in descending order.
5, p, -3
Suppose -l - 6 = 4*g, 3*g + 2*g + 7 = -l. Put g, -15, 5 in ascending order.
-15, g, 5
Let t(x) = -x**3 - 5*x**2 - 4*x + 2. Let k be t(-4). Let h(j) = j + 14. Let d be h(-9). Suppose 0 = d*v + 5 + 15. Sort v, k, 0 in descending order.
k, 0, v
Let u = 5.069 - 0.069. Put u, -4, -2/7 in ascending order.
-4, -2/7, u
Let s = -19 - -18.5. Put s, -2/7, -2 in increasing order.
-2, s, -2/7
Let r be 4/14 - (-204)/119. Let z(x) = x**3 - 6*x**2 + x - 3. Let o be z(6). Sort 5, r, o in descending order.
5, o, r
Let o be 3 + (-3 + 10)*-1. Put -1, 0, 1, o in ascending order.
o, -1, 0, 1
Let i(q) = -2*q - 4. Let r be i(-3). Suppose 0 = -f + 4*f - 12. Suppose -u - r*c = f*u + 31, -3*u = -3*c + 6. Put u, 0.4, -1 in increasing order.
u, -1, 0.4
Let h be 8*((-21)/(-6) - 1). Suppose 5*n + 5*u = -0*n + 20, 0 = -5*n - 3*u + h. Put -0.5, 5, n in decreasing order.
5, n, -0.5
Suppose 2*m + 2*u = 3*m - 8, 3*m - u = 19. Put -0.6, -4, m, 3 in decreasing order.
m, 3, -0.6, -4
Let b = -2535/154 + -3/77. Let o = b - -16. Put -5, o, -5/4 in decreasing order.
o, -5/4, -5
Let y = -9 + 6. Let h be 2*(y + 13/1). Suppose 0 = -5*z + 9*z - h. Sort 0, z, -5 in ascending order.
-5, 0, z
Let b = -0.1 + 7.1. Let o = b - 7.2. Sort -1, -0.4, o in increasing order.
-1, -0.4, o
Suppose -g = -6*g + 10. Put g, -5, 3 in increasing order.
-5, g, 3
Let l = -18 + 12. Let n(t) = -2 + 4 + 6 + 2*t. Let o be n(l). Sort -1, o, -3 in descending order.
-1, -3, o
Let k = 0.4 + -0.9. Let y = -0.4 - k. Let d = 64 + -318/5. Sort -1/4, d, y in increasing order.
-1/4, y, d
Let q be (-2)/7 + 10/(-112). Let h = -11/46 + -1/92. Sort 0, q, h in increasing order.
q, h, 0
Let g = -0.24 - 1.73. Let h = g - 0.03. Put -5/3, h, 1 in decreasing order.
1, -5/3, h
Let j = -0.188 + -0.012. Let a(x) = 0 + 0 + 3*x**2 - 1 + 2*x. Let l be a(1). Put j, -2, l in decreasing order.
l, j, -2
Let u be -1 - 3/(-2 + 1). Suppose -2*l - 27 = 9. Let o be 4*(l/(-8))/(-3). Put o, 0, u in ascending order.
o, 0, u
Let h = -1/60 - -13/60. Suppose -3*m + 40 = 5*p, -2*m + 6*m - 15 = p. Put m, h, 4 in ascending order.
h, 4, m
Suppose -12 = -2*p - p. Suppose -a + p = -2*a. Let y(q) = 4*q**2 + q. Let s be y(1). Put 2, a, s in decreasing order.
s, 2, a
Let u be 3/4 - (-39)/12. Sort 2, 1, u in decreasing order.
u, 2, 1
Let c(g) = -g**2 + 1. Let i be c(0). Let r be i/1 - (0 + 2). Sort 2, -7, r in descending order.
2, r, -7
Let s = -92 - -87. Let a = -2 - -2. Sort a, 4, s in descending order.
4, a, s
Let l be ((5/2)/5)/((-4)/(-8)). Sort -2, -4, l, 4 in decreasing order.
4, l, -2, -4
Let b = -69 + 64. Put -4, b, 2 in descending order.
2, -4, b
Let i = 0.3 - 0.5. Let k = 37 + -35. Let g = k - 2.5. Sort i, -3, g in decreasing order.
i, g, -3
Let s(f) = 2*f**2 - 7*f - 12. Let x be s(5). Put -3, x, 6 in decreasing order.
6, x, -3
Let f(v) = -v**2 + 5*v - 1. Let j be f(4). Suppose -5*c + j = -2. Put 5, 0, c in descending order.
5, c, 0
Let l = -333.2 + 423. Let d = l + -81. Let i = d - 9. Put 0, 4, i in ascending order.
i, 0, 4
Let t(a) = -a**2 - a + 4. Let d(m) = m**3 + 6*m**2 - 3. Let n be d(-6). Let b be t(n). Put b, 5/2, -3 in descending order.
5/2, b, -3
Let h(d) = d**2 - 20 + d + 3*d + 5*d + 6. Let x be h(-10). Sort 5, x, -0.4 in decreasing order.
5, -0.4, x
Suppose r + 2 = 4. Sort r, -18, 1.
-18, 1, r
Let b = 4.02 - 4.4. Let v = b - 0.02. Let k = -3.01 - -2.01. Sort 2/5, k, v in decreasing order.
2/5, v, k
Let p = -7.9 - -14.2. Let c = p - 6. Put 1/2, c, 2 in increasing order.
c, 1/2, 2
Let g be (-12)/(-21) - (-6)/(-21). Let k = 981 - 6856/7. Let j = k + -73/42. Put 5, g, j in decreasing order.
5, g, j
Let w = -13 - -20. Let o = 12 - w. Let s = -4 + 2. Put o, s, -5 in ascending order.
-5, s, o
Suppose -7*f = -5*f - 4. Suppose 4*v - 3*l = f*v + 23, -2*v + l = -13. Suppose 2*z + 2 - v = 0. Sort -1, -4, z in decreasing order.
z, -1, -4
Suppose -2*d - 10 = -7*d. Suppose 8 = 5*w - d. Sort -2, -0.3, w in increasing order.
-2, -0.3, w
Let b = -0.2 - -4.2. Let i be ((-18)/(-6))/((-2)/(-4)). Suppose -4*l + 3*v = -i, -4*l - 6 - 2 = 4*v. Sort 3, l, b.
l, 3, b
Let b = -5 - 0. Suppose w - 15 = 4*w. Let o = w - b. Sort 1, -3, o in descending order.
1, o, -3
Let w = 89 - 94. Let l(u) = -u**2 + 6*u + 1. Let j(n) = 3*n**2 - 13*n - 3. Let x(a) = 2*j(a) + 5*l(a). Let h be x(-5). Put w, h, 0 in decreasing order.
h, 0, w
Let p(d) = 4*d**3 - 9*d**2 - d + 3. Let r(i) = 3*i**3 - 8*i**2 - i + 3. Let f(x) = 2*p(x) - 3*r(x). Let m be f(6). Sort m, 5, 1 in descending order.
5, m, 1
Let a be (-6)/(-2) - -2 - 0. Suppose 0 = h + 5 - 6. Put -2, h, a in increasing order.
-2, h, a
Let p(y) = -y**2 + 4*y + 7. Suppose -73 = 5*m + 2*n - 3*n, 0 = -5*m - 2*n - 79. Let c be ((-1)/3)/1*m. Let s be p(c). Sort s, 0, -2.
-2, 0, s
Let v = 0.3 + -0.4. Suppose -u + 6*f + 16 = 2*f, 3*u - 3*f = 21. Let j be 0/(u/(-2))*1. Put -2/3, j, v in descending order.
j, v, -2/3
Let a = 15 - 13. Suppose -2*z + 2*t = -2, -5*z + 5*t = -2*z - 3. Suppose z = -4*g - 3. Put -4, a, g in descending order.
a, g, -4
Let z = -18 - -11. Let j = z + 6. Sort -1/2, j, -0.1.
j, -1/2, -0.1
Let z be 5/20 - (-94)/8. Suppose -v - 5*n + 3 = -18, 3*n - z = 0. Sort -2, v, 4 in descending order.
4, v, -2
Let t(d) be the second derivative of d**3/6 + 7*d**2/2 + 3*d. Let f be t(-6). Sort -1, 3, f.
-1, f, 3
Let m(s) = -s**3 - 3*s**2 + 3*s - 5. Let i be m(-4). Let w = 3 + -6. Put 2/11, i, w in ascending order.
w, i, 2/11
Let x(u) = 2*u - 9. Let v be x(6). Let f = -41 + 37. Put f, v, 4 in descending order.
4, v, f
Suppose -3*u = -u. Suppose -5*k - s - 26 = u, 0 - 6 = 2*k - 4*s. Put -1, 0, k in increasing order.
k, -1, 0
Let q = 30 - 34. Let o be (-1)/4*6/15. Sort 3, o, q in increasing order.
q, o, 3
Let y(s) = -s**2 - s + 11. Let b be y(0). Let p = b + -8. Let v(c) = c**2 - 