0, -0.5 in descending order.
a, 0, -0.5
Let s = -3 + 4. Let i = 0.16 + -0.15. Let z = i - 3.01. Put z, 3/2, s in increasing order.
z, s, 3/2
Suppose 12*n + 44 = -16. Put n, -4, -2/23, 1 in descending order.
1, -2/23, -4, n
Suppose 0 = -4*b - j + 19, -4 - 4 = -5*b + 4*j. Let q = b - 1. Sort q, 1, -2 in increasing order.
-2, 1, q
Let z = 2/81 - -148/567. Sort -0.4, 0.4, z in ascending order.
-0.4, z, 0.4
Let q = -41 - -38. Let j = 7 + -12. Sort j, -0.4, q in decreasing order.
-0.4, q, j
Suppose 0*c = 3*c + 6. Put 1, c, 0 in decreasing order.
1, 0, c
Let g(p) = p**2 - 8*p + 2. Let t be g(7). Let a = 5 - 4. Suppose 3 + a = f. Put f, 1, t in descending order.
f, 1, t
Let k = -49 - -54. Let q = -1 - -1. Sort -5, k, q.
-5, q, k
Let t(m) = -m**3 + 2*m**2 - 2. Let d be 60/33 - (-2)/11. Let k be t(d). Put k, 4, 1 in descending order.
4, 1, k
Let v = -35 + 29. Sort v, 0.3, 1/4, 0.5 in decreasing order.
0.5, 0.3, 1/4, v
Let d = -80/3 - -27. Let x = -0.68 + 0.08. Let t = x - 0.4. Put t, -4, d in ascending order.
-4, t, d
Suppose 0*f + f = 155. Let s = f + -1397/9. Let j = 0.521 - 0.021. Put j, 0, s in ascending order.
s, 0, j
Let o = 0.009 - -0.091. Sort o, 0.4, -4/5, 1/19 in decreasing order.
0.4, o, 1/19, -4/5
Let h = 0 + -3. Let k be 9/(-24)*-4*2/(-3). Put 5, k, h in ascending order.
h, k, 5
Suppose -2*f - 2 = 3*q, -5*q + 1 = -2*f - 1. Sort 4, f, -3.
-3, f, 4
Suppose 5*r - 2 = 93. Suppose -5*p + 0*u + 2*u - r = 0, 0 = 2*p - 5*u + 16. Let s(b) = -2*b**2 + 27*b - 87. Let x be s(5). Put p, 2, x in ascending order.
p, x, 2
Let o = 0 + -4. Put o, -13, -3 in decreasing order.
-3, o, -13
Suppose 4*g - 1 = 7. Let p(t) = -3*t + 29. Let x be p(11). Put x, -3, g in descending order.
g, -3, x
Suppose 40 = 5*c + 5*s, -s + 6 = 2*c - 4*s. Suppose 3*o - 4*x = c, 4*o + 11 = 3*x - 4*x. Let z be -6*(-2 + (-16)/(-6)). Put -5, z, o in increasing order.
-5, z, o
Let n = 4.2 - -0.8. Let r = -8 - -7.6. Sort r, n, -4 in decreasing order.
n, r, -4
Let d be (-10 - -6)*(-2)/(-12). Suppose -u - 2*g + g - 8 = 0, 0 = -2*u + 2*g. Put u, d, -3 in increasing order.
u, -3, d
Let l(k) = k**3 + 6*k**2 + k + 6. Suppose 0 = 3*r + x + 15, -2*r - 4*x - 6 = r. Let s be l(r). Put 1, -5, s in ascending order.
-5, s, 1
Suppose 3*a + 1 = -b - 5, -a = b + 4. Suppose 2*l + 0 = -8. Let n(r) = r**3 + 4*r**2 + 2. Let j be n(l). Sort 1, b, j.
b, 1, j
Suppose -21 = 4*k + 3. Let f be 48/9 + 2/k. Suppose 4*w - 4*c = 24, 4 = 4*w + 2*c - 2. Sort w, f, 0.
0, w, f
Let j(k) = k**3 - 8*k**2 + 4*k + 1. Let y be j(8). Let c be (-4)/22 - 27/y. Sort 0, c, 4 in ascending order.
c, 0, 4
Let k(w) = w + 5. Let y be k(-5). Sort 3, y, 6 in descending order.
6, 3, y
Suppose 0 = 3*o - 7*o. Let w = 1 - 6. Put w, o, -2 in ascending order.
w, -2, o
Suppose -4 = -3*k + m + 15, 3*k = -m + 11. Put -1, k, -2 in ascending order.
-2, -1, k
Let l be 72/238 - 4/(-14). Let d = 117/170 - l. Let o be (-5)/10*(-1)/2. Put o, -0.2, d in ascending order.
-0.2, d, o
Let g(s) = -2*s + 17. Let k be g(8). Let j be (-1)/(-1)*-2*-1. Suppose -2*r + j + 6 = 0. Put k, r, -2 in descending order.
r, k, -2
Suppose 0 = 4*k + 4*h - 16, -2*h - 1 = 3*k - 11. Let u(t) = -4*t**2 + 1 - 5*t - t**2 + 3*t**k + t**2. Let w be u(-5). Put 0, -4, w in descending order.
w, 0, -4
Let t(d) = -2 - d**2 - 7*d**2 + d**3 - 9*d + 1 + 4. Let s = -22 + 31. Let y be t(s). Put -3, y, 0 in descending order.
y, 0, -3
Let q = 0.1 - 0.1. Sort q, -0.5, 5 in decreasing order.
5, q, -0.5
Let q = -61.4 - -60.9. Suppose 0*t + 5 = t. Let c be t/9*4/10. Sort -6/7, c, q in descending order.
c, q, -6/7
Let v be -2 + (-3)/6*-8. Let q be (10/75)/(v/(-6)). Sort q, -0.3, 0.3 in decreasing order.
0.3, -0.3, q
Suppose -3*r = -12, z - 5*r = 5*z - 24. Put -4, -1, z in increasing order.
-4, -1, z
Let g = 0.33 + -0.43. Sort g, -3, 3 in ascending order.
-3, g, 3
Let w = 3 - 2.7. Put w, 5, -0.2, -2 in descending order.
5, w, -0.2, -2
Suppose 18 = -6*u + 12. Let v be ((-2)/(-3))/((-2)/6). Sort u, -5, v in decreasing order.
u, v, -5
Suppose 3*z - 1 = 2*z. Put z, 9, -1 in ascending order.
-1, z, 9
Let x = 42.9 - 43. Sort 6, 5, x, -0.5.
-0.5, x, 5, 6
Let i = -9 + 13. Let z = -0.08 + 0.11. Let u = z + -0.13. Put -0.4, i, u in decreasing order.
i, u, -0.4
Let v(a) = a**2 - 8*a - 11. Let p be v(9). Put 0, 1, p in descending order.
1, 0, p
Let t(p) = -p**2 + 6*p - 6. Let l be t(4). Put 0, l, -3 in decreasing order.
l, 0, -3
Let h = -1.9 - 0.1. Let k = -2.2 - h. Let t = 6 - 3. Sort t, k, 2 in decreasing order.
t, 2, k
Suppose -4*q - 6 = -7*q. Suppose 0 = -m - 2*o + 6, -q*o = 5*m + 3*o - 15. Put m, -5, 3 in descending order.
3, m, -5
Let j(q) = 16*q**2 - 1. Let u be j(1). Let y be 12/u*10/(-2). Suppose d + 0*d - 2 = 0. Put d, 1, y in decreasing order.
d, 1, y
Let z(p) = -2*p**2 - 2*p - 4. Let h(o) = o**2 + o + 3. Let w(v) = 3*h(v) + 2*z(v). Let j be w(-2). Sort -5/2, j, 0 in increasing order.
-5/2, j, 0
Suppose 3*f - j - 3 = 2*j, -9 = -5*f + 4*j. Sort -2, -6, f in descending order.
f, -2, -6
Suppose 2*v = -u + 2, 2*v + u + 1 = -3*v. Let q be -3 - 6*(-2 - v). Let k = 8 + -13. Put k, -4, q in increasing order.
k, -4, q
Let p = -0.32 + 0.32. Sort p, -2/9, -39 in decreasing order.
p, -2/9, -39
Suppose -2*k + 1 = 3*w, 2*k = 3*k + 2*w + 1. Sort k, -0.1, -4 in descending order.
k, -0.1, -4
Let u = -11 + 6. Let h be 1 + -1 - (-11 + 7). Sort -1, h, u in decreasing order.
h, -1, u
Suppose 0 = -4*o + 3*o + u - 6, -5*u = 2*o - 16. Suppose -5*p = -3*t - 31 - 29, -p + 3*t = 0. Suppose -5*s + 0 - p = 0. Put o, 3, s in decreasing order.
3, o, s
Suppose 0*p + 9 = 3*p. Put p, -4, 5 in increasing order.
-4, p, 5
Suppose 20 = -4*f + 8*f. Put -2, -1, f in increasing order.
-2, -1, f
Let u = 0.091 - 0.591. Sort u, 5, -3, 3 in increasing order.
-3, u, 3, 5
Let f(s) = s**3 - 5*s**2 - 2*s + 8. Let b be f(5). Let g be -1*6*(-1)/(-2). Sort b, 2, g.
g, b, 2
Let p = 11 + -7. Sort p, 2, 5 in descending order.
5, p, 2
Suppose -20 = 2*o + 2*o. Let k(d) be the first derivative of -d**3/3 - d**2/2 + 4*d + 2. Let f be k(-3). Sort o, 1, f.
o, f, 1
Suppose -4*f + 5 - 1 = -a, -4*f + 16 = -4*a. Suppose 0 = -z + 1 - 0. Suppose 2*k - 16 = -2*k. Sort a, z, k in descending order.
k, z, a
Let a be 1/(-3)*(-12)/4. Let m be a/(8 + 2 + -4). Let v = -10 - -5. Sort v, 0.1, m in descending order.
m, 0.1, v
Let j be (-1)/(-4) + 171/(-12). Let z be (-4)/3*3/j. Sort z, 0, -5 in increasing order.
-5, 0, z
Let n(f) = -f**2 - 11*f - 15. Let p be n(-10). Put p, 3, 5, 1 in increasing order.
p, 1, 3, 5
Let m = -39 - -35. Sort 0, m, -3.
m, -3, 0
Suppose 21*t = 17*t. Sort t, -2, -0.2 in decreasing order.
t, -0.2, -2
Let q be (-3)/(4 + (-87)/6). Let m = 0.3 - 0.6. Sort m, -0.4, q.
-0.4, m, q
Let i = -0.027 + -2.073. Let z = 0.1 + i. Sort 5/3, -5, z.
-5, z, 5/3
Let w(q) = 4*q + 2. Let d be w(4). Let r be ((-3)/d)/((-2)/(-9)). Let m = -6 + 3. Put 2/7, m, r in descending order.
2/7, r, m
Let b(w) = w**3 + 5*w**2 - 5. Let r be b(-5). Let v(t) = t**3 - t**2 - t. Let h be v(1). Sort r, 1, h in increasing order.
r, h, 1
Let y = 20.8 + -21. Put y, 0.5, 4 in descending order.
4, 0.5, y
Suppose -3*u + 11 = -0*t - 4*t, -5*u + 2*t - 5 = 0. Suppose 29*w + 108 = 56*w. Put 5, w, u in descending order.
5, w, u
Let k = -3.3 - 0.7. Let i = 8 + k. Let g = -61/4 + 419/28. Sort i, -3/4, g in ascending order.
-3/4, g, i
Let l(n) = 3*n**3 + n**2 + 3*n + 2. Let d be l(-1). Let y be -5*d*(-2)/30. Sort 1, y, 0 in decreasing order.
1, 0, y
Suppose -2*r = 4*c - 8*c + 8, -15 = -3*r - 3*c. Suppose 4*w = -3 + 15. Let o = w - 6. Sort r, o, 4.
o, r, 4
Let p = -0.48 + 5.48. Let z be (-1)/((-3)/6 + -3). Put z, -3/7, p in decreasing order.
p, z, -3/7
Let o = 0.2 - 1.2. Let i(k) = 10*k - 43. Let m be i(4). Put 2/25, m, o in ascending order.
m, o, 2/25
Let p = 4 + -2.9. Let w = -1.9 - p. Sort w, 1/3, -5.
-5, w, 1/3
Let k be ((-2)/10 - 0)*2. Suppose 0 = -13*i - 14 + 14. Sort k, 3/7, i.
k, i, 3/7
Let s = 14.1 + -15.1. Sort 0.8, -0.5, s, 5 in descending order.
5, 0.8, -0.5, s
Let m be -3*(-4)/(-36)*-15. Sort m, 1, -2.
-2, 1, m
Suppose 2 = -6*k - 4. Put -2, -6, k in decreasing order.
k, -2, -6
Suppose -4*q - m + 0*m = -25, -4*m + 35 = 3*q. Sort -6, 3, q in descending order.
q, 3, -6
Let a be (-2 + 1)/(-5)*1. Suppose i = 9 - 3. Let p be ((-6)/4)/(21/i). Put a, -3, p in ascending order.
-3, p, a
Let u be (-411)/2