 t, 4, -3 in descending order.
4, t, -3
Let g(n) = 3*n + 1. Let i be g(-1). Let p(o) = o**2 + 8*o - 7. Let k be p(-9). Sort k, i, 5 in decreasing order.
5, k, i
Let b(k) = -k**2 - k + 2. Let y be b(-1). Sort 1/8, y, 0.3 in decreasing order.
y, 0.3, 1/8
Let m = 1.2 - 1.18. Suppose 4*l - 20 = 0, 2*u + l + l = 20. Put 3, m, u in decreasing order.
u, 3, m
Let r(o) = -o**3 - o**2 - o. Let h be r(0). Suppose -59*k = -58*k + 1. Let a be -1*3 + 0/(-1). Sort a, k, h in descending order.
h, k, a
Suppose 4*a - 165 = -7*a. Sort 3, 2, a in decreasing order.
a, 3, 2
Let y(b) = -b**2 + 10*b - 7. Let a be y(6). Suppose -4*o + 24 = 4*k, 3*k = -2*o - 0*o + a. Sort -2, k, -3 in decreasing order.
k, -2, -3
Let y = 8 + -5. Suppose -7*n = -y*n + 8. Let w = -1431 + 1433. Sort n, -3, w.
-3, n, w
Let u be 4/(-12)*(-4)/(-10). Sort u, -2/19, 2 in ascending order.
u, -2/19, 2
Let a = -0.05 - 1.95. Let z = 2 + a. Let y = 0 + -2. Sort -1, z, y in increasing order.
y, -1, z
Let m = -5 + 1. Let n = -7 - m. Sort n, 1, -2 in increasing order.
n, -2, 1
Let n be (-6)/(-2) - (-18)/9. Let t = -3 + 2. Let p be (-2)/6*(t + -2). Put 3, n, p in ascending order.
p, 3, n
Let n = 0.08 - 3.08. Let h = -316/9 + 35. Let v = 235.6 + -236. Sort n, h, v in decreasing order.
h, v, n
Suppose 0*n - 48 = -4*n. Suppose u - 3*u + n = 4*z, 3*z = 9. Sort u, -1, 1 in ascending order.
-1, u, 1
Suppose q + 3*q - 12 = 0. Sort 1, -9, q.
-9, 1, q
Suppose 7*j - 2*j - 20 = 0. Suppose -j*g + 3 = 15. Let v be (2/8)/(3/(-30)). Put 1/2, v, g in descending order.
1/2, v, g
Let r = 0.06 - 3.06. Let n = r - -7. Let m = 27/7 - 115/28. Sort 1, n, m in descending order.
n, 1, m
Suppose 3*x = 4 - 25. Put -3, 1, x in descending order.
1, -3, x
Let i = -4.2 - -4. Let m = 0.3 - 0.2. Put 2, m, i in decreasing order.
2, m, i
Let v = 168/235 - -4/47. Put 1, -6, v in descending order.
1, v, -6
Let u = 14 + -5. Suppose -4*x - 2*h + 10 = 0, h - u = 4*x - 34. Sort x, 0, 2.
0, 2, x
Let q = 3.27 - 0.27. Sort 5, q, 1.
1, q, 5
Let z(d) = d**2 - 3*d - 3. Let q be z(3). Let t be -5*(-2 - -3)*(-28)/35. Sort q, t, -1 in decreasing order.
t, -1, q
Let w = 169 + -182. Sort 1, 5/2, 5, w in increasing order.
w, 1, 5/2, 5
Suppose 19 = k + 3*d, -k = -2*k - 2*d + 14. Suppose 0*c = -4*h + k*c + 92, 3*h - 69 = -3*c. Sort 3, h, -3.
-3, 3, h
Let h be (-3)/6*(4 + 4). Let c be -1*1/(-3)*-3. Sort c, h, 2/23 in ascending order.
h, c, 2/23
Suppose 5*w + 2*j = -j, 3*j = -w - 12. Put w, 0, 2 in decreasing order.
w, 2, 0
Let d(h) = -h**2 + 4*h - 2. Let f be d(3). Sort f, -4, 8 in decreasing order.
8, f, -4
Suppose -4*h + 14 = -3*b - 0, 5*b - 3*h = -5. Let i(c) = -c + 7. Let j = 9 - -1. Let v be i(j). Put b, -5, v in decreasing order.
b, v, -5
Suppose 0 = 2*u + u. Let w be ((-4)/6)/((-2)/(-3)). Let h = 2 + w. Sort u, 3, h in descending order.
3, h, u
Let u = 9 - 10. Let z = -3 + 2. Let t = z - u. Put -4, t, 3 in descending order.
3, t, -4
Let f be (1/(-6))/((-4)/9). Sort -0.4, f, -3.
-3, -0.4, f
Suppose 1 = 2*q - 9. Suppose -3*g + 29 = 2. Put g, q, -2 in descending order.
g, q, -2
Let b(l) = -l - 7. Let a be b(-10). Suppose c = a*c + 8. Sort 3, c, 4 in ascending order.
c, 3, 4
Let t = -28 - -27.7. Suppose v - 7 + 4 = a, 0 = 2*v - 3*a - 7. Put t, v, -0.1 in decreasing order.
v, -0.1, t
Suppose -k - 3*w = 8, k - 5*w + 3*w - 12 = 0. Sort -4, k, 0 in decreasing order.
k, 0, -4
Let b be (3/2)/(6/(-12)). Let k be b/15 + 32/10. Sort 1, k, -1 in ascending order.
-1, 1, k
Let i be -1 + 1 + (3 - 0). Let v = -9 + 6. Sort v, 1/2, i in descending order.
i, 1/2, v
Suppose -2*d + 3*d = -1. Let r(l) = 4*l - 43. Let a be r(10). Sort a, d, -2.
a, -2, d
Suppose 5*b = 2*o + 25, 3*o + 4*b = 5*b - 31. Let s be ((-4)/o)/((-24)/(-30)). Let p = 0.1 + -0.3. Put s, -1, p in decreasing order.
s, p, -1
Let u be 1 - -1 - (-20 + 8). Let q be (1/((-1)/9))/(-1). Let r = u - q. Sort r, 4, 1/8 in ascending order.
1/8, 4, r
Let o = -0.2 - 0.04. Let c = -0.06 + o. Let t = -1 - 3. Sort c, -2, t.
t, -2, c
Let o = 0.122 - -0.178. Let j(k) = -k - 1. Let b be j(-3). Suppose 0 = 3*m + 8 - b. Put 1/7, o, m in ascending order.
m, 1/7, o
Let d be (8/(-6))/(1/(-3)). Sort -3, d, 14 in decreasing order.
14, d, -3
Let j = 5 + -8. Suppose 7*d - 8 = 3*d. Sort 0.5, d, j in increasing order.
j, 0.5, d
Suppose 0 = -2*s - 3 + 21. Suppose f = 4, m - 3*f + 7 + s = 0. Sort m, -0.07, -2 in ascending order.
m, -2, -0.07
Let o = 0.6 + -0.1. Let m = -1 - -1.7. Let x = m - o. Put -1, x, -0.4 in increasing order.
-1, -0.4, x
Let r(y) = -2*y**3 - 19*y**2 + 11*y + 13. Let k be r(-10). Sort 0, k, -1 in ascending order.
-1, 0, k
Suppose -6*c = -c - 475. Suppose 61 = j - 4*j + 4*p, c = -5*j + 5*p. Let o = 91/6 + j. Sort -0.3, o, -1 in descending order.
o, -0.3, -1
Let q = 2 + 3. Let y = -5 - -9. Let i = 63 + -565/9. Sort i, q, y in increasing order.
i, y, q
Let o be (-17 - -8)*2/3. Put o, 2, -3 in descending order.
2, -3, o
Let w(t) = t**3 + 13*t**2 + t + 18. Let a be w(-13). Let k be (1 - (1 + -1)) + 3. Sort a, k, -5 in descending order.
a, k, -5
Let d(i) = 2*i**2 + 7*i + 4. Let s be d(-3). Put 14, s, 2 in ascending order.
s, 2, 14
Let t(u) = -2*u - 13. Let r be t(-6). Let z be (-110)/(-50) - (r - -4). Sort 2/5, z, 4 in decreasing order.
4, 2/5, z
Let n = -5.45 - -1.45. Put -3/8, 8, 1/4, n in decreasing order.
8, 1/4, -3/8, n
Let b(u) = -5*u**3 + 2*u - 1. Let z be b(1). Let h = z - 1. Sort 4, -4, h in descending order.
4, -4, h
Suppose -2 = -p - p, -4*y + 2*p + 2 = 0. Put 0, y, -5 in increasing order.
-5, 0, y
Let x(s) = -s**2 + 35*s + 79. Let q be x(37). Let n = -16 + 11. Sort q, -4, n in descending order.
q, -4, n
Let t = -17 - -18. Put t, -5, 3 in ascending order.
-5, t, 3
Let v = 7 + -3. Suppose -v*i + 0*i - 16 = 0. Sort -1, i, 0 in descending order.
0, -1, i
Suppose -j = -0*j - 3. Suppose 4 = j*d + d. Put d, 4, -2 in decreasing order.
4, d, -2
Let o(v) = v**3 - 3*v**2 - v + 4. Let r be o(3). Suppose -s = -a - 12, 0*s + 3*s - 36 = -a. Let m be (-39)/s + r/4. Sort m, 4, -2 in ascending order.
m, -2, 4
Let t = -6.2 + 6. Sort 5/4, -1, t, 2/5.
-1, t, 2/5, 5/4
Let w = 0.04 + -1.04. Let d = 16/5 + -117/35. Put 4, d, w in decreasing order.
4, d, w
Suppose 2*r + k = 5, k = r - 4*k + 25. Suppose 0 = 2*w - 3*i + 13, 2 - 3 = -i. Sort w, r, -1 in descending order.
r, -1, w
Let i be 92/6 - 5/15. Suppose 0 = -2*f - f - i. Sort 0, f, 4.
f, 0, 4
Let m be ((-1)/(-2))/(4/(-64)). Let b = m + 14. Let v = -2 + b. Put -1, v, 2 in descending order.
v, 2, -1
Let s be ((-3)/(-6))/((-6)/(-12)). Let c(y) = -2*y - 2. Let r be c(-3). Suppose -14 + 34 = r*b. Sort 0, b, s in descending order.
b, s, 0
Suppose -2 = 3*b + 5*i, i = -2*b - 3*i. Suppose -2*m = -3*o, -3*m + o + 7 = -0*m. Sort -3, m, b in ascending order.
b, -3, m
Suppose -35 = -5*x + 40. Let b be 1/(-4) - x/(-12). Sort -5, b, -4 in decreasing order.
b, -4, -5
Let x = -19/2 + 93/10. Let y = 2.04 + -0.04. Let v = 0.2 + 0.8. Put y, v, x in decreasing order.
y, v, x
Suppose 4*z = 3*t + 20, 5*z - 3*t - 20 = 5. Sort z, -5, -3, -2 in decreasing order.
z, -2, -3, -5
Let p = -0.7 - -1. Let w = -17.8 - -18. Sort w, p, -4 in increasing order.
-4, w, p
Suppose 3*n + 5*g = -0*n - 22, -5*n - 10 = -5*g. Let f(k) = -k**3 - 9. Let a be f(0). Put n, a, -2 in descending order.
-2, n, a
Let l = -1.4 + -1.6. Let o = 102/5 - 20. Put l, 0, o in decreasing order.
o, 0, l
Let x = 4/3 + -2. Let u = 0 + 0.3. Suppose 0 = 8*s - 6*s + 6. Put x, s, u in ascending order.
s, x, u
Let t(q) = -2*q**2 + 12*q - 5. Let n be t(5). Sort n, 6, -2, 4.
-2, 4, n, 6
Suppose 4*m - 32 = -4*b, -b - 9 = 4*m - 32. Sort 2, b, 0 in increasing order.
0, 2, b
Suppose -5*z + 63 = 5*y - 4*z, -24 = -2*y - z. Let i = -20 + y. Let b = -5 - i. Sort 0, b, -2.
-2, 0, b
Let d(x) = -3*x. Suppose 3 = -2*a - 1. Let l be d(a). Suppose 3*k - l = 9. Sort -3, 4, k in descending order.
k, 4, -3
Let h = -6 + 24. Let i be 2/h - 8/24. Let m(a) = a**2 - 7*a - 4. Let n be m(8). Sort 0, n, i in descending order.
n, 0, i
Let l = 0.6 + -0.8. Sort 4, l, -1.
-1, l, 4
Let i(m) = -m - 2. Let s be i(-1). Put 0.3, 2, -1/3, s in descending order.
2, 0.3, -1/3, s
Let f = 53 - 38. Sort f, -0.5, 5 in decreasing order.
f, 5, -0.5
Let r = 4 + 6. Suppose -a + 3*n = 4*a - 25, -r = -2*a + 4*n. Sort a, 2, 0.3.
0.3, 2, a
Let w(n) = -n**3 + 17*n**2 - 2*n + 39. Let a be w(17). Let h