t o be s(2). Sort 1/6, o, d in descending order.
o, 1/6, d
Let i(a) = a**3 + 6*a**2 - a - 1. Let v be i(-6). Sort v, 0, -0.2 in descending order.
v, 0, -0.2
Let i = -38 - -53.4. Let k = i - 15. Sort -0.4, 6, k.
-0.4, k, 6
Let i be 1/(0 - 0 - -1). Let j = -2 - -2. Let m be (-12)/(-24)*(-3)/(6/16). Sort m, j, i.
m, j, i
Suppose 2 = 2*y + 8. Suppose -3*l - 9 = 0, l = -5*t + 46 - 4. Let s be (-10)/3 + (-6)/t. Sort y, -5, s in decreasing order.
y, s, -5
Let n = -0.082 - -2.082. Sort -0.4, n, -0.9 in ascending order.
-0.9, -0.4, n
Let s be 2/(-8)*(1 + -2). Let b = 27 + -26.9. Let g be (0 + 4/5)/6. Sort b, s, g in increasing order.
b, g, s
Let p = -0.3 + 0.1. Let m = p + 0.7. Suppose 6 = -2*l, c + 2*l + l = -10. Put m, 4, c in descending order.
4, m, c
Suppose -5*r + r = 0. Let u(b) = -b. Let d be u(-6). Suppose -3*l + 17 = i, d*i - i - 3*l + 5 = 0. Sort r, i, -3.
-3, r, i
Let u = -102 - -100. Sort -5, 14, 0, u in descending order.
14, 0, u, -5
Suppose -8*d + 81 - 1 = 0. Sort d, 0, -1.
-1, 0, d
Suppose -6*j = -0*j. Suppose -5*x - 3*i = 34, -2*x - 34 = 2*x - i. Let g be (-18)/x - 2/8. Sort g, -1, j in descending order.
g, j, -1
Suppose -10 - 2 = -4*g. Put 0.3, 5, 2, g in descending order.
5, g, 2, 0.3
Let c(f) = -f**3 - 3*f**2 + 6*f + 6. Let v be c(-4). Let l be (45/23 + v)/1. Let s = l + 27/92. Sort 0.5, s, -2/17 in decreasing order.
0.5, s, -2/17
Let q = -14 + 20. Sort q, -4, 0 in ascending order.
-4, 0, q
Let l be 11/(-30) + (-18)/(-36). Let g = 41 + -206/5. Sort g, l, 0.5 in descending order.
0.5, l, g
Let z be -12*(4/(-8) - 0). Let o be (4/6)/(z/(-18)). Sort -3/2, -0.3, o in ascending order.
o, -3/2, -0.3
Suppose -3*i - 4 = 3*f - 1, -16 = 4*f + i. Let u(x) = -x - 7. Let r be u(f). Sort 2, r, 3 in increasing order.
r, 2, 3
Let g(c) = -2*c**3 - c**2 - c - 1. Let x be g(-2). Suppose -5*n + x - 3 = 0. Sort -1/5, -5, n.
-5, -1/5, n
Let r(l) = l**2 - 6*l + 3. Let m be r(5). Let u = -5 + 10. Suppose 0 = 5*s - u, -5*n = -2*s - 1 - 17. Put n, m, 3 in increasing order.
m, 3, n
Suppose -3*a + 45 = 5*o - 0*a, -a = 4*o - 36. Suppose 4*k = k + o. Put k, -8, 0 in descending order.
k, 0, -8
Let a = 6 - 16. Let w = a - -5. Put -1, -0.1, w in increasing order.
w, -1, -0.1
Suppose 13 = 3*v - 2. Suppose b - 7 = v*m + 10, -4*m = b + 19. Let s = 0.1 + -0.1. Put s, 1/3, b in decreasing order.
1/3, s, b
Let g = -2/41 - 68/287. Let i = 4.3 - -0.7. Sort -4/9, i, g in increasing order.
-4/9, g, i
Suppose -h + 2*h + 36 = -2*r, 4*r - h + 60 = 0. Sort 0, 3/7, r in ascending order.
r, 0, 3/7
Let l = 26 - 17. Suppose -5*x = y - 0*y + 13, 0 = y + 3*x + l. Sort y, -2, 4.
y, -2, 4
Let z(f) = -f**2 - 4*f - 3. Suppose 2 = -2*d - 2. Let j be z(d). Let q(x) = -x**2 + 6*x - 4. Let k be q(4). Sort k, -4, j in increasing order.
-4, j, k
Suppose -3*o = -5*b + b + 19, -4*b + 10 = -2*o. Let l be 1/2*(o + 9). Let r be ((-12)/(-9))/((-1)/3). Sort r, 4, l in decreasing order.
4, l, r
Suppose 6*c = 8*c + 8. Let a be 21/(-15) + (-6)/10. Put a, c, 2 in descending order.
2, a, c
Let n(z) = -2*z. Let r be n(-1). Suppose -15 = -4*f - 3. Suppose -w - f*w + 8 = -2*q, 0 = -4*q - 2*w + 4. Put r, -1, q in ascending order.
-1, q, r
Let t(k) = k**3 - k. Let v(z) = -5*z**3 - 4*z**2 + 9*z + 4. Suppose -2*y - 1 = -y. Let d(f) = y*v(f) - 4*t(f). Let g be d(-5). Put -2, g, 2 in increasing order.
g, -2, 2
Let i = 2.44 + -0.44. Let n be 1/(-2) - 123/(-254). Let a = -389/508 - n. Put i, -0.5, a in ascending order.
a, -0.5, i
Let x be (8/28)/(2/28). Let k be (-2)/11 + (-20)/11. Put -5, k, x in ascending order.
-5, k, x
Let n be -11 - -11 - (-3 - -1). Sort -63, 3, n.
-63, n, 3
Let t = -10 - -35. Let m be 4/(-14) - t/35. Let p = 1 - -2. Sort m, 0.5, p in increasing order.
m, 0.5, p
Suppose 2*a = -4*t + 14, 4*a - 11 = 2*a - t. Let x = a + -4. Put 2/5, x, -1 in decreasing order.
x, 2/5, -1
Let p(m) = -m**2 + 6*m + 23. Let x be p(10). Sort 3, -2, x.
x, -2, 3
Let y = 163/4 + -40. Sort y, -0.2, 1.
-0.2, y, 1
Let o = 106 + -1061/10. Sort o, 1/4, -1/6.
-1/6, o, 1/4
Let p = 200 - 200.4. Sort -1/8, p, -0.7 in descending order.
-1/8, p, -0.7
Let r = -13286396/71859 + 55/4227. Let q = r + 185. Sort 0, 2/5, q.
0, q, 2/5
Let w be ((-15 - 1)/4)/(-10). Let d = 1.9 + -2. Let l = 0.3 + d. Sort l, w, 4 in decreasing order.
4, w, l
Let g be (-10)/(-4) - (-2)/4. Suppose -3*b - 3*i - i = 12, 0 = b - i - g. Suppose 0 = -4*h + 23 - 7. Put h, b, -2 in increasing order.
-2, b, h
Let y = -8 + 31/4. Let m = 0.2 + -0.1. Sort m, y, -2 in descending order.
m, y, -2
Let j = 7 + -5. Let d be ((-5)/4)/(j/(-8)). Sort 3, -1, d in descending order.
d, 3, -1
Let d = -0.058 - 0.042. Sort 0.3, 3, d in descending order.
3, 0.3, d
Suppose -4*k = k - 15. Sort k, -2, 1 in descending order.
k, 1, -2
Let f = 0 - 0. Let p = -2 - f. Let x = 4 + -7. Sort -5, x, p in descending order.
p, x, -5
Suppose 9 = -4*t + 1. Let q = t - -2. Let v = 3 - 1. Sort q, v, 1 in ascending order.
q, 1, v
Let l = 6 - 2. Suppose f = 3*s + 11, f - 2*s + 9 = -l*s. Let u be (2/8)/(f + 2). Sort -3/4, 2/9, u.
-3/4, 2/9, u
Let l = -16 + 16.1. Let h = 0.026 + -4.626. Let x = h - -0.6. Sort l, x, 0.3 in increasing order.
x, l, 0.3
Suppose -3*v - 3 = -p + 5, 0 = -4*v - 4. Suppose 4*r + 9 = -4*x + 25, 8 = p*x + r. Sort x, -4, -1 in increasing order.
-4, -1, x
Let d(o) = -o**3 - 2*o**2 + 4. Let a be d(-2). Put a, -3, -2, 15 in descending order.
15, a, -2, -3
Suppose -3*w + 2*x + 11 = 0, -5*w + x + 10 = 6*x. Suppose 8 = 3*l + l. Put w, l, -2 in descending order.
w, l, -2
Let i be (-4)/14*(-7)/3. Let n = 9 + 1. Let w = -10.3 + n. Put i, -2/7, w in ascending order.
w, -2/7, i
Let h(w) = -w**3 - 6*w**2. Let b be h(-6). Let u be -2 - (1 - 1 - b). Put u, 4, -5 in increasing order.
-5, u, 4
Suppose n = 4*d + 20, 5*n - 3*n - 8 = 0. Let k be (d/6)/(1/(-3)). Suppose 6*p - 8 = k*p + 4*x, 4*x = 0. Put p, -1, 1 in decreasing order.
p, 1, -1
Let l = -5 + 9. Suppose 0 = l*n + 16, 4 = w - 2*n + n. Let p(y) = 3*y - 17. Let f be p(7). Put -5, w, f in increasing order.
-5, w, f
Let m = -32.5 - -44. Let o = -11 + m. Sort 4/3, o, 1 in increasing order.
o, 1, 4/3
Let t(u) = -u + 7. Let q be t(7). Suppose q*j = -5*j + 10. Let y = j - 4. Put y, 1, 0 in descending order.
1, 0, y
Suppose 4 = 4*r, -4*j + r + 26 = -r. Suppose 20 = -5*k + 2*d, -7*k = -3*k + 3*d - j. Let i = 3.2 - 3. Put 0.1, k, i in decreasing order.
i, 0.1, k
Suppose -2*v + 5*l + 100 = 0, -2*l = 2*v - 68 - 4. Suppose -3*z - 2*z + v = 0. Let g = -12 + z. Sort -3, g, -1/5 in ascending order.
g, -3, -1/5
Suppose -4*l = -7*y + 3*y - 80, 5*y - 3*l + 92 = 0. Sort 1, y, -1.
y, -1, 1
Let b be ((-2)/3)/((-4)/30). Let y = 59 + -63. Sort -1, y, b in descending order.
b, -1, y
Let h be 5/((-5)/4) + -1. Sort -11, -4, 5, h.
-11, h, -4, 5
Suppose -6 + 4 = -2*l. Suppose -2*w = l - 5. Suppose 10 = -w*h - 0*h. Put 0, h, -1 in increasing order.
h, -1, 0
Let c(v) = v**2 + 3 - 6*v + 4*v - 2*v. Let l be c(2). Sort -3, -2, l in decreasing order.
l, -2, -3
Let d = -2 + -2. Let t(j) = 2*j - 9. Let h be t(6). Let s = 0 - h. Put d, -2, s in descending order.
-2, s, d
Let h = 2 - -1. Let j = h + -1. Sort j, -3, -5 in descending order.
j, -3, -5
Let v = -8 + 24. Let w = -19 + v. Sort 0.3, -1, w in descending order.
0.3, -1, w
Suppose 0*s - 4 = -2*s. Suppose -2*i + s = -0. Let c be 7/(-2) + (-1)/2. Sort i, 3, c in decreasing order.
3, i, c
Suppose -4*k = -4*r + 104, r - 49 = -r + 5*k. Put -4, r, 2 in increasing order.
-4, 2, r
Let j be ((-2384)/(-126))/((-194)/3). Let d = j - -2/291. Suppose 2*k + 5*a + 13 = 0, -7 = -0*k - 4*k + a. Put k, d, -2 in descending order.
k, d, -2
Let x be (-1)/3*4*(-21)/28. Sort 0, 1/14, -4, x in descending order.
x, 1/14, 0, -4
Let c = -13 + 4. Let h = -44 - -46. Put h, c, -1 in decreasing order.
h, -1, c
Let h = 2 - -15. Suppose 3*j + 2 - h = 0. Suppose -3 = -3*w - 2*f, -f - 1 - 8 = -2*w. Put j, w, 4 in decreasing order.
j, 4, w
Let d = -25 + 23. Sort d, -5, -0.2 in ascending order.
-5, d, -0.2
Let v = -1/42 + -11/126. Let f be (-1 - (-3 - -1)) + 0. Let w be -3*(-3)/(-189)*3. Sort f, w, v in increasing order.
w, v, f
Let t = -42 - -37. Sort -3, t, 0.8 in decreasing order.
0.8, -3, t
Let y be 3*((-10)/12 + (-1)/2). Put -3, y, -1, -5 in descending order.
-1, -3, y, -5
Let i(k) = 2*k + 24. Let x be i(-11). Sort x, -3, 3 in decreasing order.
3, x, -3
Let y