l = 0.08 - x. Put -3, l, 1/4 in descending order.
1/4, l, -3
Suppose -3*v - 1 = -w, 0 = -4*v - 0*v + 4*w + 12. Put v, 3, 9 in increasing order.
v, 3, 9
Let m(j) = -2*j**3 - 2*j**2 + j. Let l be m(1). Suppose 2 + 8 = -2*c + 2*k, 4*k - 30 = 5*c. Let i be (5/(-2))/(c/(-20)). Put i, 0, l in ascending order.
i, l, 0
Let d be (3/9)/((-2)/(-18)). Suppose 2*h + 0*h = -8. Suppose -7*r = -3*r + 8. Sort d, h, r in ascending order.
h, r, d
Let a = -7/34 + -19/238. Let g be (-5)/(-2) - (-1)/2. Let t be 6*g*1/30. Put t, a, 1/5 in decreasing order.
t, 1/5, a
Suppose -56 = 4*l - 4*g - 0*g, 3*l - g + 34 = 0. Let j = 6 + l. Let q be (5/j)/((-5)/(-20)). Put -3, 0, q in increasing order.
q, -3, 0
Suppose 0*a - 2 = -a + o, -1 = -o. Let m = 303 - 195. Let j be 1/4 + (-3)/m. Put a, j, -1/9 in descending order.
a, j, -1/9
Let o = 0 + 4. Put o, 11, -2 in decreasing order.
11, o, -2
Let f = 7 + -27/4. Sort f, 2/11, 3 in descending order.
3, f, 2/11
Let v(p) = p**2 + 2*p - 3. Let o be v(1). Put 3, o, 2, 4 in descending order.
4, 3, 2, o
Let a(u) = -u**2 - 8*u - 17. Let g be a(-3). Let b = -235/3 + 79. Put 3/4, g, b in decreasing order.
3/4, b, g
Let j = -54 - -52. Sort j, 2, 0.08, 3/5 in decreasing order.
2, 3/5, 0.08, j
Let x = 34 + -34.3. Let w = 5.13 - 0.13. Put w, x, -3 in descending order.
w, x, -3
Let t be 420/110 - 4/(-22). Suppose 0 = -6*b + t*b + 2. Sort 3, b, 4 in ascending order.
b, 3, 4
Let a = -291/4 - -72. Let g = 3.7 - -1.3. Put -4, a, g in decreasing order.
g, a, -4
Let j(z) = -5 - z - 1 + 2. Let n be j(-9). Suppose -3*b = -1 - n. Sort b, -2, 1 in descending order.
b, 1, -2
Let f = -131 + 128. Sort 12, 0, f in decreasing order.
12, 0, f
Let k = -60 + 538/9. Let a = 19 + -23. Sort k, 0.5, a in decreasing order.
0.5, k, a
Suppose -2*c + 12 = 4*c. Put c, 0.11, 3/2 in ascending order.
0.11, 3/2, c
Suppose -5*j = -5*y - 15, 2*y + j - 4*j + 9 = 0. Put y, -2, 2 in ascending order.
-2, y, 2
Let n(l) = l**3 - 4*l**2 + 5*l - 4. Let d be n(3). Let x be 11/(-44) + 3/(-4). Suppose 0*z - 15 = -5*z. Sort x, z, d in ascending order.
x, d, z
Let h = 0.5 - 9.3. Let p = -9 - h. Put -1/9, 0.2, p in descending order.
0.2, -1/9, p
Let o = 3 + -4. Let q be ((-1)/(-1))/(o/(-5)). Let t = 4 + -4. Sort t, q, 1.
t, 1, q
Let d be -14*1*(-3)/6. Let t = 11 - d. Put t, 3, -1 in decreasing order.
t, 3, -1
Let a = -4 + -1. Let x = 16 + -11. Let y be 1/2*2*-3. Sort y, x, a.
a, y, x
Let l = 13.4 - 2.4. Let p = 8 - l. Sort 5, p, 0.5 in decreasing order.
5, 0.5, p
Let f = 12 + -15. Let i(q) = q**2 - q - 2. Let a be i(-2). Let m = 6 + -4. Put a, f, m in descending order.
a, m, f
Suppose t - 5*q = -3, 4*q + 2 = 10*t - 7*t. Let r = 1 + 8. Let y = 14 - r. Sort t, 0, y in descending order.
y, t, 0
Let b be (-10)/(-3) + (-7)/21. Let y be (-18)/12*(-4)/b. Sort -3, y, 3.
-3, y, 3
Let p = 26 - 26. Suppose 0 = q - 4*q - 24. Put p, 2, q in decreasing order.
2, p, q
Let u = -0.19 + -0.21. Sort -9, u, 2.
-9, u, 2
Let j(h) = h**3 - 6*h**2 - 7*h + 2. Let r be j(7). Suppose -3*a = -2*s + 16, -3*s = r*a + 4 - 2. Suppose 6*x = s*x + 12. Put -2, 1, x in descending order.
x, 1, -2
Let d = -8 + 13. Suppose -d*s = 5*a - 23 + 3, 3*s - 2*a = 2. Let c be 10/(-2) - (-1 - s). Put -5, 4, c in increasing order.
-5, c, 4
Let o be ((-18)/(-30))/((-2)/(-10)). Let g be (-4 - -7 - 4) + -6. Sort g, 1, o in increasing order.
g, 1, o
Let b = 311/2 + -155. Sort b, 0.1, -1/4.
-1/4, 0.1, b
Let p(j) = j + 1. Let c be p(0). Suppose -4*n + 51 = -c. Sort 4, -1, n in descending order.
n, 4, -1
Let r = -0.047 + -0.153. Sort -0.5, r, 12 in decreasing order.
12, r, -0.5
Let u(g) = -g + 10. Let b = -11 + 26. Let o be u(b). Suppose -3*j = -8*j. Put o, 2, j in ascending order.
o, j, 2
Let q be (54/(-72))/((-2)/8). Suppose -1 - 19 = 4*n. Let v = n + q. Sort v, -3, 3 in ascending order.
-3, v, 3
Let m = 202.2 - 202. Let y = 13 + -22. Let z be (-3)/4*2/y. Sort z, 1, m in decreasing order.
1, m, z
Let h = -17 + 19. Sort -22, -4, h in decreasing order.
h, -4, -22
Let m be 16/(-12)*1/4. Let n be 4 + (-3 - 6) - 3/(-1). Sort n, 5, m.
n, m, 5
Let k be 1 - (0 + (4 - 3)). Put 2, k, 1 in descending order.
2, 1, k
Let l be 6*((-35)/(-15) - 3). Put -8, l, 4 in descending order.
4, l, -8
Suppose 0*x + 4*x = 4. Let f = 5 - x. Suppose 0*z - 6 = -6*z. Sort f, z, 2 in descending order.
f, 2, z
Suppose 5*o - 16 = -s, o + 8 = 3*o + 2*s. Suppose 0 = -2*t - 2*t. Put o, -5, t in increasing order.
-5, t, o
Let i be 4/(-6) - (-100)/6. Let b = 11 - i. Put -1, b, 2 in ascending order.
b, -1, 2
Let r be (4/(-5))/(4/(-50)). Suppose -5*f + 31 = y + 3, -f - y + 4 = 0. Let d = f - r. Put -2, d, -1 in increasing order.
d, -2, -1
Suppose 2*t - 5 = -13. Let v = 0.3 + 3.7. Let m = -0.7 - -1. Put m, t, v in ascending order.
t, m, v
Let g = 5.96 - -0.04. Let z = g + -11. Sort -6/7, z, 0.1.
z, -6/7, 0.1
Let y = 4.1 - -0.9. Let z = 21 - 30. Let q = 5 + z. Put -1, y, q in decreasing order.
y, -1, q
Let x = -4 - 1. Let m = 5.4 + x. Put 5, m, 1 in decreasing order.
5, 1, m
Let x = -4.4 - 1.6. Let s = -10.24 - -0.24. Let v = s - x. Sort 1/7, -0.5, v in descending order.
1/7, -0.5, v
Suppose 0 = 2*n - 4*n + 3*q - 13, 0 = n + q - 6. Let d = -44 + 40. Sort d, n, 2 in descending order.
2, n, d
Let u = 0.1 + 0. Let d = -13 + -1. Let q = -18 - d. Sort -2/3, q, u in descending order.
u, -2/3, q
Let r(q) = -q + 3. Let x be r(-3). Suppose 0 = 2*i + k - 3*k - x, -i = 4*k - 13. Put i, 3, 1 in descending order.
i, 3, 1
Let t be (-6)/(-8) - (-43)/(-4). Let s be (-15)/t + (-1)/(-2). Sort 0.3, s, 1/3 in ascending order.
0.3, 1/3, s
Let q = -0.2 + 0.5. Sort -3, 0.1, q in ascending order.
-3, 0.1, q
Let a = -2.5 + 3. Let d = -13 - -25. Let l = 8 - d. Put -2/15, a, l in descending order.
a, -2/15, l
Let o = -297223/8 + 37206. Let h = -189/8 + o. Let r = -28 + h. Put 3, -3/5, r in ascending order.
-3/5, r, 3
Let u be ((-2)/(-6))/(1/(-6)). Suppose -2*k + 7*k = 4*s + 2, -5*s = -5*k. Sort k, u, 1.
u, 1, k
Let n be ((-18)/(-4) - -2)/(3/6). Put n, 5, -3 in ascending order.
-3, 5, n
Let d = 10 - 9. Let c(p) = -p**3 + 1. Let v be c(d). Put -3, v, -4 in descending order.
v, -3, -4
Let l be 5/(-30)*-2 - 2266/(-15). Let z(x) = -x**2 + x - 152. Let h be z(0). Let g = l + h. Put g, -5, -1/4 in ascending order.
-5, g, -1/4
Let z(f) = f - 6. Let d be z(8). Suppose -1 + 6 = -3*x - 4*l, 15 = x - d*l. Suppose 5 = -0*h - x*h. Put 2, h, 1 in decreasing order.
2, 1, h
Let y = 0.4 - 0.3. Sort y, -3, -5, -1/17.
-5, -3, -1/17, y
Let v = -22 + 22. Put -3, 1, -2, v in descending order.
1, v, -2, -3
Let k(u) = u + 6. Let d be k(-3). Sort 0.5, d, -0.4 in decreasing order.
d, 0.5, -0.4
Let q(b) = -b**2 - 7*b - 4. Let a be q(-6). Suppose 31 = 4*r + 4*l + 3, 2*r = 4*l + 2. Suppose f + 3 = 0, r*z - 4*f = -6 + 33. Sort -3, a, z.
-3, a, z
Suppose 9*r + 4*r = 26. Put r, 1, -3, 5 in decreasing order.
5, r, 1, -3
Let p be 5/4 - 1 - (-84)/(-208). Sort -1/5, p, -2/19 in descending order.
-2/19, p, -1/5
Let p = 3 + -6. Suppose -f - 10 = -4*a, -f - 3*f + 2*a + 2 = 0. Suppose f + 4 = 3*o. Put -2, p, o in descending order.
o, -2, p
Suppose 0 = 2*p - 13 + 1. Suppose p*x = -0*x. Sort 1, -3, x.
-3, x, 1
Let z = -1 + -1. Let j be (z/3)/((-6)/(-9)). Let u(i) = -i - 4. Let f be u(-5). Sort j, 2, f.
j, f, 2
Let g = 5 - 0. Let l(m) = -m + 7. Let a be l(-6). Sort g, a, 4 in ascending order.
4, g, a
Suppose 4*j + j + 20 = 0. Put -1, -3/5, -0.2, j in increasing order.
j, -1, -3/5, -0.2
Let k be 0 + 1*(-3)/(-2). Let q = -2.933 + 0.033. Let j = 3 + q. Sort j, -5, k in increasing order.
-5, j, k
Let p = -30 - -78. Let u be (-6)/(-9) + p/(-45). Put u, 0.5, 0 in ascending order.
u, 0, 0.5
Let n be ((-6)/3)/((-3)/(-9)). Let d be 8/(2 + n) - 1. Sort d, 0.2, -1/4 in ascending order.
d, -1/4, 0.2
Let o = -0.105 - -0.005. Put 1/6, o, -4, 1 in descending order.
1, 1/6, o, -4
Let b = -4.8 + 23.8. Let j = b - 19.22. Let i = 0.08 - j. Sort i, -2, -1/4 in ascending order.
-2, -1/4, i
Let m be (13 + -17)*(-1 + 0). Sort 5, m, 1, 3 in descending order.
5, m, 3, 1
Let h = -2.6 - -0.6. Let f = 327 - 3591/11. Put 1, f, h in descending order.
1, f, h
Let f(q) = 2*q**2 + 1. Let h(r) = -r - 8. Let b be h(-8). Suppose -3*v - k - 1 = 0, -2*v - 3*k = -b*v - 4. Let g be f(v). Sort 0.2, g, -3 in decreasing order.
g, 0.2, -3
Suppose -8*h + 20 = -3*h. Let i be (h - 5)/(2/(-4)). Sor