, 4
Let b = -11 + 7. Let v = 0.07 - -0.23. Let n = -0.1 + v. Sort n, b, -3 in descending order.
n, -3, b
Let i = -2 - 2. Let k(h) = h**2 + 8*h + 5. Let d be k(-10). Suppose 0 = 6*g - g - d. Sort g, -2, i in descending order.
g, -2, i
Let z(h) = -12*h + 1. Let g be z(-1). Let k = -9 + g. Sort -4, k, 3.
-4, 3, k
Let l(c) = -5*c + 20. Let g be l(3). Let q be (16 + -1)*(2 + -1). Suppose -4*r + q = r. Sort -2, g, r in ascending order.
-2, r, g
Let f = 3 + -2.9. Let a = -0.5 + f. Put 5, 0.4, a in descending order.
5, 0.4, a
Suppose -19 + 11 = -4*b. Sort 0.5, 3/2, b in descending order.
b, 3/2, 0.5
Let w = 7.3 + -2.3. Let u = 1.2 - -5.8. Sort 0, w, u in decreasing order.
u, w, 0
Let x = -2313/7 + 331. Let c = -8.95 - -3.9. Let d = c + 0.05. Sort 0.3, d, x in decreasing order.
x, 0.3, d
Let z = 3/96910 - 144499/484550. Let q = -12/25 - z. Put q, -2/3, -0.1 in descending order.
-0.1, q, -2/3
Let n be (2 - 5)/((-5)/2*-3). Sort -4, n, 1, -0.3 in increasing order.
-4, n, -0.3, 1
Suppose 4*u = -u - 5. Let c be -2 - u - (-18)/(-27). Let i be (-4)/6 + 16/42. Sort c, -2, i in increasing order.
-2, c, i
Let d = 0.037 - -3.963. Sort -0.5, -2/9, -3/2, d in descending order.
d, -2/9, -0.5, -3/2
Suppose 0 = 2*k - k - 12. Let w be (-18)/k + 6/4. Put w, 3, -5 in decreasing order.
3, w, -5
Suppose 0*r - 10 = -5*m + 2*r, -4*m + 5*r = 9. Suppose 0 = 5*t - m - 16. Suppose -3*k - 1 = -t*k. Sort -4, k, 0.
-4, 0, k
Let r = 117.8 + -106. Let c = r - 4.7. Let j = 7 - c. Sort 0, -5, j in descending order.
0, j, -5
Let n = 6 - 6.3. Let f = 0.37 + -0.07. Let g = f + n. Sort 3, 2/7, g.
g, 2/7, 3
Let i(v) = -v**3 + 6*v**2 - v + 5. Let d be i(6). Let q be 1 - 5*(2 + -1). Sort d, q, 4 in descending order.
4, d, q
Let x = 7 + -2. Let t(l) = l - 4. Let a be t(7). Suppose 2 + 4 = -a*s. Sort 1, x, s in decreasing order.
x, 1, s
Let s(r) = r**2 - 7*r - 8. Let a be s(8). Suppose -5*q + a - 10 = 0, -p + 4*q + 10 = 0. Sort -4, p, -2.
-4, -2, p
Let p be 31*(-4)/((-4)/(-7)). Let l = 1991970/11 + -181305. Let u = l - p. Put 4, u, 0.2 in increasing order.
u, 0.2, 4
Suppose 3*b - 25 = -2*b. Let v be 3*(2/(-6) + 1). Suppose p = -v*p. Sort p, b, -4.
-4, p, b
Let m = -0.028 - -0.228. Sort m, -3, -4, 0.4 in increasing order.
-4, -3, m, 0.4
Suppose -6 = -83*q + 85*q. Sort 2, -1, -2, q in descending order.
2, -1, -2, q
Let t = -14 - -17. Suppose -t*d + 4*d = 5. Put 4, d, -4 in decreasing order.
d, 4, -4
Let t = 65 + -60. Let z(f) = -f**3 - f**2 - f - 5. Let q be z(0). Sort q, 1, t.
q, 1, t
Suppose -4*f + 6 = -2, 0 = 5*y + f - 22. Sort y, -1, 0.3 in ascending order.
-1, 0.3, y
Let f be (1*(1 - 2))/1. Sort 1, f, -4.
-4, f, 1
Let m = -15.06 - 1.94. Sort 0.3, -3, m in descending order.
0.3, -3, m
Let x = -0.8 + 1. Put -0.1, -1, x, -3 in increasing order.
-3, -1, -0.1, x
Let x(b) = 2*b**3 + 2*b**2 - 3*b - 3. Let k be x(-2). Let d = 0 + k. Sort d, 4, -4 in ascending order.
d, -4, 4
Let h(g) = -g**2 + 9*g - 4. Let c be h(8). Suppose -14 = 6*o - 2*o - 2*d, 2*o + 5 = 3*d. Sort -2, c, o.
o, -2, c
Suppose 7*a - 40 = -5*h + 2*a, -h = -a - 2. Suppose 25 - 45 = -5*z. Sort h, -5, z in increasing order.
-5, z, h
Let j(h) = -2*h**3 + h**2 + h - 2. Let u be j(2). Let k = -8 - u. Sort k, 0, -3 in increasing order.
-3, 0, k
Suppose 2*f - 5*f = -15, 14 = -4*z + 2*f. Let t(c) = -2*c**3. Let w be t(z). Sort w, 4, 0 in ascending order.
0, w, 4
Let k = -8 - -8. Let c = -106 - -956/9. Put -2, c, k in decreasing order.
c, k, -2
Let k be ((-8)/(-12))/(3/((-180)/8)). Sort -2/7, k, 0.06 in descending order.
0.06, -2/7, k
Let x(n) = -n**3 - n**2 + n + 1. Let j be x(-1). Let t(f) = f - 9. Let m be t(5). Sort j, 2, m in descending order.
2, j, m
Suppose 5*y = -20 + 35. Sort 0.2, y, 1/2, -5 in ascending order.
-5, 0.2, 1/2, y
Suppose 20 = 4*v, -m - 3*v = -2*v - 2. Let n = 2 - m. Sort 1, -4, n in decreasing order.
n, 1, -4
Suppose 3*x = 7*x - 4. Sort -2, x, -5 in decreasing order.
x, -2, -5
Suppose -7*d = -10*d + 15. Sort 2, 4, -4, d in descending order.
d, 4, 2, -4
Let k(g) = g**2 + 8*g + 4. Let t be k(-8). Let r = 0.9 - -2.1. Put 2/13, r, t in decreasing order.
t, r, 2/13
Let t = -0.35 + 1.35. Let n = -3 - -5. Put t, -0.2, n in increasing order.
-0.2, t, n
Let x = 60 + -60.4. Put 4, 10, x in increasing order.
x, 4, 10
Let l be 84/(-99) - 2/(-3). Let f = 0 + 1. Let q = -0.7 + f. Put l, 3, q in increasing order.
l, q, 3
Let z = 11 - 89/8. Let o = 22 - 39. Let k = o + 35/2. Sort z, k, 0.4 in descending order.
k, 0.4, z
Let v = -2 - -1.7. Let n = 0.11 - 3.11. Sort v, n, -0.06 in decreasing order.
-0.06, v, n
Suppose -3*c = 5*w - 5*c + 21, 2*w + c + 12 = 0. Let t = 10 + -5. Sort w, -3, t in increasing order.
w, -3, t
Let l(k) = k**3 + 2*k**2 - 2*k - 2. Let v be (-3)/(-2)*36/(-27). Let t be l(v). Let y be t/(-2)*(-3)/(-6). Put y, 1/4, 0 in descending order.
1/4, 0, y
Let r = -3.07 - -0.07. Suppose 2*b + 88 - 80 = 0. Let u = -4 - -4.3. Put b, u, r in descending order.
u, r, b
Let g = 59/924 + 3/154. Let p = 0 - -4. Put g, p, 0.5 in descending order.
p, 0.5, g
Let q(j) = j + 4. Let k be q(0). Sort 0, 3, k in increasing order.
0, 3, k
Let h(g) = g**2 + 2. Let t be h(0). Let a(y) = -y**2 - 7*y - 1. Let m be a(-6). Suppose -n - 3*w - t - 4 = 0, -4 = m*n + 2*w. Put -4, n, -1 in descending order.
n, -1, -4
Let t(a) = -a + 2. Let c = -6 - -4. Let u be t(c). Put 3, -3, u in decreasing order.
u, 3, -3
Let b be ((-3)/6)/(2/(-8)). Sort 0, -5, b, 4 in decreasing order.
4, b, 0, -5
Let a = 8 - 5. Put 1, 5, a in ascending order.
1, a, 5
Let q = 18 + -17.99. Put 0.5, q, -1 in increasing order.
-1, q, 0.5
Suppose 0*t + 4*t - 2*b = 0, 5*t + 3*b - 22 = 0. Let s be 3/(-9)*-1*9. Let q(r) = r**2 - 5*r + 2. Let p be q(s). Put 3, p, t in ascending order.
p, t, 3
Suppose 0 = z + 2*z - 36. Suppose 5*n + 18 = -z. Let y = -4 - n. Sort 2/3, y, -4 in decreasing order.
y, 2/3, -4
Let p(i) = i**3 + 5*i**2 - i - 5. Let a = 5 + -10. Let l be p(a). Sort 2, -1, l in descending order.
2, l, -1
Let g = -13 - -13. Let y = -0.4 + g. Put y, -1, -1/2 in descending order.
y, -1/2, -1
Suppose -u + g = 4*g - 10, 0 = 5*g + 20. Let b be u/8 - (0 - -3). Put 2/9, b, 2/3 in decreasing order.
2/3, 2/9, b
Let o(j) be the third derivative of j**6/120 + j**5/15 + j**4/6 + j**3/2 + j**2. Let v be o(-3). Let p(q) = q - 11. Let x be p(10). Sort x, v, 3.
x, v, 3
Let w = -0.2 - -1. Let q = w + -2.4. Let p = -2 - q. Sort p, 0, 0.4 in decreasing order.
0.4, 0, p
Let v(d) = d**2 - 10*d + 12. Let b be v(8). Suppose 3*z = 3 - 0. Let i be 1 - (z + 1 - 2). Sort i, b, -3 in decreasing order.
i, -3, b
Let o be (-1)/1 - (-3 - 1). Let u = 387.4 + -387. Put u, -0.3, o in decreasing order.
o, u, -0.3
Suppose 0*u + 3*u + 9 = l, 3*l + 2*u + 6 = 0. Suppose -6*j = -l + 12. Sort j, 4, 6 in descending order.
6, 4, j
Let t = -146 + 152. Sort -0.2, -2, t, -3/7 in ascending order.
-2, -3/7, -0.2, t
Let s be -14 + 9/(-6) + (-7)/14. Put 3, -2, s, -4 in descending order.
3, -2, -4, s
Let x be 2*(-3)/(-6)*9. Let j be 2*2*x/(-12). Let h be 0 - (2*3)/j. Sort 1, -4, h in ascending order.
-4, 1, h
Let i = 22 - 68/3. Sort 5, -9, i.
-9, i, 5
Let h be 2/4 - 3/(-6). Let i(f) be the third derivative of -f**5/60 + 11*f**4/24 - 13*f**3/6 + 3*f**2. Let l be i(10). Sort h, 5, l.
l, h, 5
Let i(u) be the third derivative of u**5/60 - 7*u**4/24 + u**3/6 + u**2. Let l be i(6). Sort l, 0, 3 in descending order.
3, 0, l
Let j = -83.7 - -84. Let g be (1/2*2)/(-1). Put g, 3, j in decreasing order.
3, j, g
Let r be (1 + 6/(-4))*10. Let o(m) = -m - 1. Let a be o(r). Put 1, a, -5 in decreasing order.
a, 1, -5
Let o = 53 + -49.1. Let s = o + -4. Sort s, 1, -0.2 in decreasing order.
1, s, -0.2
Let h = -27525 + 5752759/209. Let d = h + 4/209. Sort d, 0.1, -5/2 in descending order.
d, 0.1, -5/2
Let l be (1/(-4) - (-1)/4)/(-2). Suppose -p = -4*r + 11, 3*p - 1 - 2 = 0. Sort r, l, -4.
-4, l, r
Let d = -25.8 + 26. Sort d, -4/5, -2/19.
-4/5, -2/19, d
Let n be (4/6 - 0)*-9. Let u be n/(-15) - 4/10. Let j be 4/(-10)*(-7 + 17). Put u, 3, j in descending order.
3, u, j
Let q be 3 + -1 + 0 + -3. Suppose r + 3*w = -2*r - 6, -5*w - 19 = 2*r. Suppose -4*z + 6 = -14. Sort r, z, q in increasing order.
q, r, z
Let q = 6.4 + -6. Let n = 0.75 - -0.05. Let l = 0.5 - n. Sort 5, l, q in decreasing order.
5, q, l
Let q = 2 + -2. Let i(j) = 3*j**2 - 1. Let a be i(1).