, -0.2, d, 2
Let u(x) = x**2 + 10*x + 10. Let o be u(-8). Let v be 2 - (o/3 + 4). Suppose 5*f - 6 + 1 = 0. Sort 4, v, f.
v, f, 4
Let r = 37 + -47.6. Let q = r + 0.6. Put 1, q, 5 in decreasing order.
5, 1, q
Let r = -2.06 + 0.06. Let z = -3.3 - -3. Put -2/3, z, r in increasing order.
r, -2/3, z
Let q be (-10)/35 + (-52)/14. Put 3, q, 0 in descending order.
3, 0, q
Suppose 0*r - 3*f - 3 = -2*r, 4*f - 7 = -r. Let w be 2 - -1 - (-1 + 0). Suppose 8*z + 9 = 11*z, 5*z - 13 = 2*y. Put y, r, w in decreasing order.
w, r, y
Suppose 4*l = -0*l. Suppose -16 = t + 5*x, l = t - 5*x - 0*x - 14. Suppose -333*o + 12 = -337*o. Sort -5, o, t in descending order.
t, o, -5
Let b = 1.73 + -1.7. Put b, 1/6, -4/7 in decreasing order.
1/6, b, -4/7
Suppose 1 = 4*b - 3. Suppose -2 - 3 = z. Put b, -2, z in decreasing order.
b, -2, z
Suppose -5*k - 11 = 14, -27 = -z + 5*k. Sort z, 1, -21.
-21, 1, z
Let b be (1 - 4)/(9/4*6). Put -2/11, 0.4, b in descending order.
0.4, -2/11, b
Suppose -1 = m - 3. Let u be (-3 - -4)/2*-18. Let b = -10 - u. Sort m, 1, b in ascending order.
b, 1, m
Let r(j) = j**3 + 7*j**2 - j - 8. Let p be r(-7). Let d = 7 - 5. Suppose -2 = 5*g + 3*b, d*g + 2*b + 8 = -b. Put p, 3, g in descending order.
3, g, p
Let s be (-12)/147*9/412. Let i = s + -841895/534982. Let x = -4/53 - i. Sort 2/7, x, -2.
-2, 2/7, x
Let o(q) = 25*q + 21. Let p be o(-1). Sort p, 6, -3, 5 in decreasing order.
6, 5, -3, p
Let h = 16 + -24. Let y = 12 + h. Put 3, 5, y in decreasing order.
5, y, 3
Let n(m) = -m**2 + 10*m - 11. Let o be n(9). Put o, 2/7, 5 in decreasing order.
5, 2/7, o
Let c be 1/3 + (-1)/21. Let p = -4.68 - 0.32. Put p, c, -0.1 in decreasing order.
c, -0.1, p
Let k(b) = b - 12. Let t be k(5). Put t, -3, 2 in ascending order.
t, -3, 2
Let d be (-6)/10*(-25)/1. Suppose -6 = 2*h + u, -5*h - u - d = -3*u. Sort 3, 2, h in descending order.
3, 2, h
Let k be 14/(-6) - (-2)/3. Let y be ((-2)/6)/(-7 - -6). Sort k, y, -5 in increasing order.
-5, k, y
Let o = 201 - 195. Put -3, o, -5 in increasing order.
-5, -3, o
Let q be ((21/3)/7)/((-2)/(-4)). Put -3, -2, q, -7 in descending order.
q, -2, -3, -7
Let s = 5 + -5. Suppose 0 = -s*t - 3*t - 12. Sort 3, t, -3 in decreasing order.
3, -3, t
Let u be (2 - -2)*1*2. Let s(y) = -y**3 + 7*y**2 + 9*y - 9. Let m be s(u). Let n be 2*1/m + 0. Put -5, n, 4 in descending order.
4, n, -5
Let s = 36124 + -1878363/52. Let q = s - 18/13. Put -5, 3, q in increasing order.
-5, q, 3
Suppose 0 = 5*j - 3 + 23. Sort -3, -1, j, -6 in descending order.
-1, -3, j, -6
Let k be (5/2 + 0)*(9 + -11). Put -4, -2, 1, k in decreasing order.
1, -2, -4, k
Let u = 0.025 + 8.575. Let w = 9 - u. Sort w, 0.2, 0.3 in decreasing order.
w, 0.3, 0.2
Let c(f) = -f - 10. Let l be c(-10). Sort l, 3, -4 in ascending order.
-4, l, 3
Let i(b) = -15*b - 3. Let y be i(-2). Suppose -4*l = -y - 13. Let r be -1*2*l/4. Sort 1, 3, r in ascending order.
r, 1, 3
Let q = -69/4 - -18. Sort 0.4, -2, q, -2/9 in decreasing order.
q, 0.4, -2/9, -2
Suppose 0 = -5*l, 2*v + 2*l = 1 + 7. Suppose 0 = v*n - 0*q - 5*q + 10, 3*n + q = -17. Put 4, -3, n in increasing order.
n, -3, 4
Let v be 7/(2 + (-9)/6). Let h = -15 + v. Sort 2, h, -3.
-3, h, 2
Let g = -27 + 28. Put -5, 0, g, -4 in ascending order.
-5, -4, 0, g
Let m = -459/7 - -66. Suppose 5 = c - 3*x, 4 = 4*c - 2*c - 4*x. Put -2, c, m in descending order.
m, -2, c
Let c = -49.7 + 50. Put -1, -4, c, 0 in decreasing order.
c, 0, -1, -4
Let c be (4/6)/(10/15). Let l(w) = w - 1. Let s(t) = -1. Let x(f) = c*s(f) + l(f). Let k be x(6). Sort -4, k, -2 in increasing order.
-4, -2, k
Suppose 0*r - 20 = 5*f - r, -f - 3*r + 12 = 0. Put 3, 5, 4, f in decreasing order.
5, 4, 3, f
Let z = 3 + -5. Sort -4, 3, z in descending order.
3, z, -4
Let n be (9/((-27)/30)*-1)/(-2). Put 1, 5, 4, n in increasing order.
n, 1, 4, 5
Let p = 0.1 - 0.1. Let o be (-2 + -1 + 2)*-1. Let l be (-22)/(-14)*o + -1. Sort l, 5, p.
p, l, 5
Suppose n = 1, 0 = 4*w + 2*n + 1 - 7. Let h be (w/(-8))/((-3)/(-4)). Let s = -2718/17 - -160. Sort s, -0.5, h in ascending order.
-0.5, h, s
Let p(s) = -2*s + 3. Let c = 2 + 0. Let h be p(c). Let q be 46/102 - h/(-3). Sort q, -5, -0.3 in descending order.
q, -0.3, -5
Suppose 2*x + 9*w - 12 = 11*w, 3*w = 4*x - 22. Let i = -2 + 5. Suppose i*y - 3 = -0*y - 2*t, 2*t - 4 = -2*y. Put x, y, 1 in decreasing order.
x, 1, y
Suppose -2*n + u - 7 = 0, -5*u = 2 + 13. Sort -4, -3, 8, n in decreasing order.
8, -3, -4, n
Suppose -2*s - 5 = 3*s, 2*f + 1 = -3*s. Suppose 6*l = l. Let g be ((-8)/4)/(1*-1). Put l, f, g in decreasing order.
g, f, l
Let h = -4 + 8. Let q be (-2)/(0 - h)*30. Let t = 10 - q. Sort 4, t, 1 in ascending order.
t, 1, 4
Let d(f) = f - 16. Let u be d(11). Put 1, -6, 2, u in ascending order.
-6, u, 1, 2
Suppose -2*b = 4*n - 10, -3*n + 4*b + 30 = -n. Let l = n - 3. Suppose -l*q - 3 = 1. Sort -3, -5, q in decreasing order.
q, -3, -5
Suppose -5*t - 6*t = -220. Sort 5, 0, t.
0, 5, t
Let p = 15/4 - 4. Sort p, 5, -2/3.
-2/3, p, 5
Let k = 2.4 - 1.7. Let n = 3.3 + k. Put -0.6, -4/7, n in decreasing order.
n, -4/7, -0.6
Suppose -5*a + 7 = -3*n + 2, -3*a = -4*n - 3. Let i = -2 - n. Let v = 10 + -9. Sort i, 2/7, v in ascending order.
i, 2/7, v
Let h = 2 + 0. Let v be (-9)/h + 3/6. Sort v, 2/3, 3 in ascending order.
v, 2/3, 3
Let o(p) = -6*p + 2 + 7 - 10. Let r be o(-1). Sort 1, r, 4 in ascending order.
1, 4, r
Let r = 1.8 + -2.2. Let g = -3188/11 - -290. Sort 0, r, g in increasing order.
r, 0, g
Let o = -75/46 + 3/23. Sort 5, -3/7, o, -4/7 in decreasing order.
5, -3/7, -4/7, o
Let l = 838/7 - 120. Let z = -1 - -3. Let q = -123/4 + 31. Sort z, q, l in descending order.
z, q, l
Let v = -12 - -34/3. Let a be (4 - 2) + (-96)/46. Let m = a - 59/115. Put m, 4, v in decreasing order.
4, m, v
Let k be (-585)/(-81) - 4/18. Sort k, 3, -5 in ascending order.
-5, 3, k
Let b(y) = -y**3 - 14*y**2 - 11*y + 14. Let f be b(-13). Let i(t) = -t**2 + 2*t + 2. Let m be i(-2). Let g be (-4)/f + 2/m. Sort -4, g, 3 in increasing order.
-4, g, 3
Let n(i) = -i**2 + 2*i + 5. Let f be n(4). Let a = 1 - f. Let o(h) = h**2 + 4*h - 5. Let g be o(-4). Put 5, a, g in decreasing order.
5, a, g
Let z = -45 - -42. Put -0.1, z, -5 in decreasing order.
-0.1, z, -5
Let r(n) = 2*n**2 + 14*n + 11. Let q be r(-6). Sort 2, q, 3.
q, 2, 3
Let b(w) = w. Let g be b(4). Suppose -2*m - 3*x - 12 = m, 0 = -3*x - 15. Sort g, m, -5 in ascending order.
-5, m, g
Let w be 10/(-4)*(-32)/(-20). Let j(k) = k + 2. Let n be j(-6). Let s be n/(-2) - 5/1. Put s, 0, w in increasing order.
w, s, 0
Suppose 3 = 4*y + 11. Put 0, y, 5 in descending order.
5, 0, y
Let m = 12 - 11.5. Let d be 3/(-4) - 11/(-4). Put d, m, 0.3 in decreasing order.
d, m, 0.3
Let n = 5/2542 - 1952311/27962. Let f = n - -70. Sort 5, f, 0.4 in descending order.
5, 0.4, f
Let f = -10 + 11. Sort -3, 3, f in increasing order.
-3, f, 3
Suppose 7*p - 12*p - 25 = 0. Sort p, 5, 1.
p, 1, 5
Let y = 0.14 - -0.06. Let t = y - 0.03. Let r = t + 0.03. Put -3/5, r, -1 in decreasing order.
r, -3/5, -1
Suppose 0*g = 2*g + 6, 12 = 2*u - 4*g. Suppose 0 = -7*p + 2*p - 40. Sort u, p, -3.
p, -3, u
Let v = -36 - -77/2. Let o = 0.6 - 1.2. Let l = o + 1.6. Sort v, l, -0.3.
-0.3, l, v
Let d = -105 - -66. Put 4, d, 5 in descending order.
5, 4, d
Let r be -1 + (1 - 0) + -1. Let a(y) = -2*y + 6. Let u be a(-7). Suppose 5*g + 7*j + 25 = 2*j, -2*g + u = -4*j. Put r, 2, g in increasing order.
r, g, 2
Let c be (20/25)/((-2)/(-10)). Let k = -3 + 2. Sort 0, c, k.
k, 0, c
Suppose -4 = 3*s - 7. Put 3, 4, s, 5 in ascending order.
s, 3, 4, 5
Let v(f) = f**3 + 7*f**2 + 2*f + 9. Let z be v(-7). Let o be (-8)/(-3)*3/2. Sort o, 2, z in descending order.
o, 2, z
Let z = 0.4 - -1.6. Let r = z - 1.6. Let m = -1.1 - -1. Sort m, -1, r.
-1, m, r
Let u = 279 - 1957/7. Let o = 16 - 12. Put u, 2/7, o in decreasing order.
o, 2/7, u
Let x(r) = r**3 + 5*r**2 - 2*r - 13. Let b be x(-4). Put 1, b, 4 in increasing order.
1, 4, b
Let y(p) = -p**3 - 4*p**2 + 2. Let v be y(-4). Suppose -5*h + 1 = v*x, -2*x + 2 + 1 = 3*h. Let f = -0.047 - -0.247. Put f, x, -4 in increasing order.
-4, f, x
Suppose 2 = 2*f - 2. Suppose 0 = -q + 7 - 2. Let a = q - 1. Sort a, 3, f in descending order.
a, 3, f
Let h = -1.1 + -3.9. Suppose -k = 2*a + 1, 0*k + 5*a = -5*k - 5. Let w = 0.02 - 0.22. Put w, h, k in descending order.
w, k,