4
Suppose 4 = 3*i + 37. Let j(y) = -y - 14. Let f be j(i). Sort 3, f, 0.4 in decreasing order.
3, 0.4, f
Let k = -7 + 11. Let f be (-2 + k/3)*3. Let b(h) = h**3 - 2*h**2 - 5*h + 3. Let v be b(3). Put f, v, -4 in descending order.
f, v, -4
Let q = 50.404 - 50. Let c = q - -0.066. Let d = 0.07 - c. Sort -3, -4, d in decreasing order.
d, -3, -4
Let z = -0.23 - 0.07. Let n = 21 - 11. Let i = 15 - n. Put i, z, 2 in decreasing order.
i, 2, z
Let r(o) = -o**3 - 19*o**2 + 1. Let g be r(-19). Put -2, 5, g in decreasing order.
5, g, -2
Let p = 21 - 22. Put p, 4, 1 in decreasing order.
4, 1, p
Suppose -x - 6 = -5. Suppose -2*m = -4*a - 2, 0 = -5*m - 4*a + 24 - 5. Put m, x, -5 in ascending order.
-5, x, m
Suppose -d + 0*d = 0. Suppose m = 4*z - 10, -3*m + d*m - 4 = z. Let s = z + 0. Sort 5, s, -1 in ascending order.
-1, s, 5
Suppose o - 5 = i, 4*o - i = 2 + 9. Let x = 0.08 - 3.08. Sort 0, o, x in decreasing order.
o, 0, x
Let c be 0/4 + -4 - -3. Suppose 0 = -5*d - 3*b, -4*b + 2*b = -3*d. Sort c, -2, d in ascending order.
-2, c, d
Let b = -41/3 + 15. Let g = -61.1 + 53. Let o = -8 - g. Put o, 0.3, b in descending order.
b, 0.3, o
Suppose -2*g + g = 3, 4*g + 10 = j. Put -1/4, j, 0.05 in increasing order.
j, -1/4, 0.05
Suppose -6*l - 2*o - 4 = -l, 2*l + 5*o + 10 = 0. Put 14, 2, l in decreasing order.
14, 2, l
Let g(w) = -3*w**2. Let z be g(-1). Suppose -2*m - u + 9 = 0, 3*m + 8 = 2*m + 2*u. Sort m, -4, z in increasing order.
-4, z, m
Suppose 5*y - 4 = 3*y. Suppose y*k - 2*h = 2, 2*h = -k + 4*h. Sort 1, k, 4 in descending order.
4, k, 1
Let o be -3*(-2 - (-30)/9). Sort o, 4, 0.
o, 0, 4
Suppose 5*a - 3*a = -8. Let s be (1 + 0)*1 + 3. Suppose -15 + 0 = -3*z. Sort s, z, a in ascending order.
a, s, z
Let a(r) = r**2 + 8*r + 2. Let b be a(-6). Let k be 5*1*b/(-25). Suppose 2*c - 2*j = 0, -4*j + 7*j = 0. Put k, -1, c in decreasing order.
k, c, -1
Suppose 3 - 1 = r. Suppose -4*b = 39 + 13. Let m = 11 + b. Put r, -1, m in ascending order.
m, -1, r
Let x be 6/3*3/(-2). Let t = 5.3 + -4.3. Sort -0.4, x, t in increasing order.
x, -0.4, t
Let j(r) = -r**3 + 9*r**2 + 2*r - 13. Let s be j(9). Sort -0.12, s, -0.2 in descending order.
s, -0.12, -0.2
Suppose -4*s + 0*s = b + 4, -4*s = -3*b + 20. Let o(d) = -2*d**3 - 4*d**2 - 3*d - 1. Let l be o(s). Sort 4, l, -3.
-3, 4, l
Let f(b) = -b - 2. Let w be f(3). Let o(j) = 5*j - 4. Let s be o(0). Let a be w/(-15) + s/6. Sort 0.1, -0.5, a in decreasing order.
0.1, a, -0.5
Let w = -27 + 80/3. Let d = 205.7 - 206. Put d, w, -1 in descending order.
d, w, -1
Suppose -13 + 4 = 3*k. Put k, -4, -5 in decreasing order.
k, -4, -5
Let k be -2*(-2)/(-8)*-1. Suppose 7*t - 12 = 4*t. Suppose 0*d + t*d = -4*v + 16, -11 = d - 2*v. Put -5, d, k in increasing order.
-5, d, k
Let a = -35 + 33. Put -4/7, a, -5 in decreasing order.
-4/7, a, -5
Let o = 0.03 + -3.03. Let g = 8 + o. Sort -0.4, g, 3.
-0.4, 3, g
Let h(g) = g**2 + g + 25. Let d be h(0). Suppose -4*o = -3*m + d + 5, 38 = -5*o + 4*m. Sort 0, o, 3 in decreasing order.
3, 0, o
Let r be (-1)/(-2) - (-2)/(-4). Put 5, 1, r in increasing order.
r, 1, 5
Let i = -5.5 - -9.5. Let a be 10/(-12)*4/(-25). Put a, -2/5, i in descending order.
i, a, -2/5
Let r(q) = q**2 - 4*q - 6. Let n be r(6). Let o be 4/2 + -1 + n. Put 0, -4, o in increasing order.
-4, 0, o
Suppose 4*q = -4*i - q - 40, 3*q - 13 = 5*i. Put i, -3, -4 in descending order.
-3, -4, i
Let f = -0.2 - 0.8. Sort 0.5, 0.1, f in decreasing order.
0.5, 0.1, f
Suppose 0 = 2*y - 0 - 8. Sort 5, y, -1 in decreasing order.
5, y, -1
Let m = 36 - 35. Put m, -0.5, -21 in decreasing order.
m, -0.5, -21
Let i = -18 + 29. Put i, -1, 1, -2 in ascending order.
-2, -1, 1, i
Suppose -3*i + 3 = -2*i - a, a = -i + 1. Sort i, -5, 5 in decreasing order.
5, i, -5
Suppose -5*c = -5*d, -4*c - 2 = -4*d + 2*d. Let l = 1 - 6. Put d, 5, l in descending order.
5, d, l
Suppose -2*i = -3*i. Let p = -0.104 - -9.104. Sort 3, i, p in decreasing order.
p, 3, i
Let q = -0.05 + 2.05. Let w = 5 - q. Sort -0.4, w, 0.3 in ascending order.
-0.4, 0.3, w
Let z = -0.06 + -0.04. Let g = z - -0.4. Put 2/5, 3/4, g in ascending order.
g, 2/5, 3/4
Suppose -24 = -3*t - 0*t. Let v(b) = -b + 5. Let l be v(8). Put 2, l, t in descending order.
t, 2, l
Suppose -5*g + 15 = 20. Put 4, 2, g in decreasing order.
4, 2, g
Let g be 3 + (620/(-7) - -3). Let i = g + 83. Let k = 41/117 + -6/13. Sort i, 1/4, k in decreasing order.
i, 1/4, k
Let n(k) = k**3 + 8*k**2 - 9*k - 2. Let c = 1 + -10. Let m be n(c). Put -3, m, 0 in increasing order.
-3, m, 0
Suppose 0*n = -2*n. Let u be 20 + -17 - (n - 1). Put 5, u, 0 in decreasing order.
5, u, 0
Let u = -13 + 14. Let s = -0.4 - -0.8. Put u, s, -2/5 in increasing order.
-2/5, s, u
Let v = -19.3 + 21. Let g = v + 0.3. Let q = g + 0. Sort q, 1, -2 in descending order.
q, 1, -2
Let i = -0.017 - 0.083. Sort 0.05, 1/2, i in descending order.
1/2, 0.05, i
Let r be ((4 - 4)/4)/(1 + -3). Sort 3, -3, r, -5 in decreasing order.
3, r, -3, -5
Let t(q) = -q**2 + 5*q - 2. Let o be t(4). Suppose 0 = -3*j - b + 11, -j + 5*b = -o*j + 27. Let v be 0 + (-15)/3 - -1. Put 4, v, j in descending order.
4, j, v
Suppose -2*k - 3*v + 9 = -2*v, 2*v + 2 = 0. Sort 3, 6, k, 2 in ascending order.
2, 3, k, 6
Let b be 1*(-2)/(-8)*4. Sort b, 0, -1.
-1, 0, b
Let s(y) = -y**3 - 4*y**2 + y + 4. Let l be s(-4). Suppose 3*x + 4*z = -38, -5*x + 0*x - 2*z - 54 = l. Let g = x + 14. Sort 1, g, -1 in descending order.
g, 1, -1
Let l(k) = k**3 - 4*k**2 + k. Let v be l(3). Let z be (-12)/8*8/v. Let y(c) = -c - 7. Let g be y(-6). Put g, z, -4 in descending order.
z, g, -4
Let p(i) = i + 19. Let u be p(-14). Suppose 4*c = u*a - a - 4, 3*c = -3*a - 21. Sort -2, -4, a.
-4, a, -2
Let q = -3 + 8. Let m = -0.2 + -0.5. Let r = m + -2.3. Put r, q, -1 in descending order.
q, -1, r
Let p(t) = t**2 - 3. Let u be p(0). Put -5, 2, u in decreasing order.
2, u, -5
Let w = -1.32 - -1. Let s = -0.02 - w. Sort s, -3/7, 1/5.
-3/7, 1/5, s
Suppose 11 = 2*l - 5*x, -5*l + 4*x + 2 = -0. Let t = l - 2. Put 5, -5, t in decreasing order.
5, t, -5
Let d = 34 + -39. Put 6, d, 2 in ascending order.
d, 2, 6
Suppose -4*d - 41 + 53 = 0. Put -3, 1, d in descending order.
d, 1, -3
Let w = 7 - 4. Suppose 0 = 3*g - 0*g - 3. Let c be -3 + g/((-21)/(-57)). Sort c, w, 2 in descending order.
w, 2, c
Suppose k = 2 - 4. Sort k, -3, 1 in descending order.
1, k, -3
Suppose 5*y + 2 = -3. Let q(m) = -m**3 + 7*m**2 - 6*m. Let b be q(6). Sort b, -5, y.
-5, y, b
Let x = -0.3 - -0.1. Let q = 0.5 + x. Put q, -4/7, -5/2 in descending order.
q, -4/7, -5/2
Let d(f) = -f**3 - 4*f**2 - 2*f + 3. Let l be d(-3). Suppose -2*s - o = 3, 4 = 5*s + o + 10. Sort l, s, -1/4 in decreasing order.
l, -1/4, s
Let w = 565/7 + -81. Let x be -1 + 36/14 + -2. Sort w, 4, x.
x, w, 4
Let x(a) = 2*a**3 + a**2 - 1. Let o be x(-1). Let n = -1 - 0. Sort o, n, 5 in increasing order.
o, n, 5
Let m(p) = -p**3 - 5*p**2 + 3. Let j be m(-5). Sort -6, j, -3 in descending order.
j, -3, -6
Let m = 0.01 + -0.11. Suppose -4*w - 20 = w. Sort 1/7, m, w in ascending order.
w, m, 1/7
Let i be (-9)/12 + (-14)/(-8). Sort i, -3, -4, 2 in descending order.
2, i, -3, -4
Let g be -5*6*(-3)/10. Let m = 6 - g. Let b be 0 - -2 - m/3. Sort -1, 5, b in increasing order.
-1, b, 5
Let w = -9 + 9.3. Put 2/19, w, 4, 8 in ascending order.
2/19, w, 4, 8
Let j = -87 + 84. Sort j, -1/8, -5/6, 5.
j, -5/6, -1/8, 5
Suppose 5*i + 5*b = 25, -3*i = -b + 4 + 1. Sort -0.4, 3, i in decreasing order.
3, i, -0.4
Let o be ((-9)/6)/((-3)/8). Suppose 1 + o = -g. Let y be (-2)/2 - (-3 - g). Sort -5, y, 2 in descending order.
2, y, -5
Let f(g) = -g + 5. Let c be f(4). Let n be (-2)/(c + 0 + -2). Suppose -4 = 3*h + n. Sort 1, h, 4 in ascending order.
h, 1, 4
Let c(v) = -3*v**2 + 1. Let n be c(1). Let x be (n - -7) + -2 + 0. Sort -4, x, 1 in decreasing order.
x, 1, -4
Let j = -88.57 - -89. Let m = j + -0.03. Let i = 2 + 0. Put m, -1, i in descending order.
i, m, -1
Let i be (-532)/98 - (-3)/7. Sort 0, 3, i in increasing order.
i, 0, 3
Let q(y) = -y + 13. Let b be q(9). Sort b, 1, -3.
-3, 1, b
Let y(p) = -2*p**2 - 42*p + 42. Let s be y(-22). Put -9, -8, s in ascending order.
-9, -8, s
Let v = -5 - -3.3. Let z = v - -1.7. Put -4/9, z, 1 in increasing order.
-4/9, z, 1
Let u be (15/396)/(2/366). Let p = -27/4 + u. Sort 3, p, 0.3 in decreasing order