 a
Let i = -12 - -10. Put i, 0, 1 in descending order.
1, 0, i
Let q = 7 + 0. Let t = 12 - q. Suppose -2*z - 12 = -6*z, 0 = 4*m + z - 19. Sort 2, t, m.
2, m, t
Let g = -53.8 + 48. Let z = 6 + g. Sort z, 0.3, -0.1 in descending order.
0.3, z, -0.1
Let f = -33 - -30. Sort -0.4, f, -1/2 in descending order.
-0.4, -1/2, f
Let g = -29 + 28.83. Let b = g + 0.23. Put 5, 2/9, b in increasing order.
b, 2/9, 5
Let b be (-2)/2 + (0 - -2). Let q = 3 - 3. Let g be q*1/(-2) + -2. Sort b, 0, g in increasing order.
g, 0, b
Let q = 5.4 - 5. Let k = 3.4 - q. Put 0.3, k, 4 in descending order.
4, k, 0.3
Suppose -3*c + 0 = 6. Let p be (-2)/c*-1 - -3. Suppose 0 = 4*t - 2 - p. Put 4, t, 2 in increasing order.
t, 2, 4
Let w = -2 - -1. Put 5, w, 0.04 in increasing order.
w, 0.04, 5
Let q be -2 + (-1 + 0 - 0). Let d be (0 - 2) + -8 + 12. Suppose -3*s - d*s = -5*r - 10, -4*r = -s + 5. Put r, q, 1 in increasing order.
q, r, 1
Let c = 2.55 + -2.5. Sort c, 0.5, -2/17 in descending order.
0.5, c, -2/17
Let n = -1.8 + 2. Let c(v) = -v**2 - v + 2. Let q(z) = -z**3 - 2*z**2 + z - 1. Let y be q(-2). Let s be c(y). Sort s, -4/5, n.
s, -4/5, n
Let s(o) = o**3 - 4*o**2 - 2*o + 2. Let z be s(4). Let f be (-3 + 7)*(-3)/z. Put -2, f, -1 in descending order.
f, -1, -2
Let i = 0.8 + 1.2. Let b = 0.17 + -7.17. Let r = b + 11. Put i, 0.4, r in descending order.
r, i, 0.4
Let g(t) = t + 7. Let k be g(8). Let u = k + -15. Put -2, u, -4 in ascending order.
-4, -2, u
Let w = 1.7 + -0.7. Sort 0.5, 30/11, w in descending order.
30/11, w, 0.5
Let s be (-57)/21 - (-14)/(-49). Let p = 8 + -15. Let j = p - s. Sort j, 5, 3.
j, 3, 5
Let t = 4 + -7. Let g = 2/3 - 8/9. Sort t, 3, g in ascending order.
t, g, 3
Let a be (-2)/3 + 44/12. Let k be 3/12 - (-26)/(-8). Sort k, a, -4 in descending order.
a, k, -4
Let g be -6*(-1)/5 + 46/(-230). Let t = 0 + -2. Put t, g, -5 in ascending order.
-5, t, g
Let c(r) = 5*r**3 - r**2 - r. Let b be c(-1). Let t = b - -11. Let a = -8 + t. Put 1, 3, a in descending order.
3, 1, a
Let q be (3/(3/(-2)))/(10/15). Suppose -15 = 3*m - 0*m. Sort -1, m, q in ascending order.
m, q, -1
Let y = -6 + 5.7. Let u = y - 0. Sort 2, 0.5, u.
u, 0.5, 2
Let d be (3 - 21/10)/((-12)/10). Sort d, 5, -1 in ascending order.
-1, d, 5
Let n = 125/812 + 5/203. Let j = 41/84 + n. Put -0.5, 3/4, j in decreasing order.
3/4, j, -0.5
Let s = -0.18 - -4.18. Let y be ((-1)/2 - -1)*2. Let i = 2 + -2. Put i, s, y in ascending order.
i, y, s
Let c = -1 + 6. Suppose c*z - 66 = -6. Suppose 0 = 4*l - 0*l - z. Sort l, 5, -1 in descending order.
5, l, -1
Let n = 4 + 5. Suppose 0 = -4*y + y + n. Sort -2/19, y, -4 in decreasing order.
y, -2/19, -4
Let m = -71 - -66. Let y be 12/(-8)*(-4)/(-3). Sort y, -4, m in ascending order.
m, -4, y
Let r be ((-15)/6)/(1/2). Sort 22, 1, r in decreasing order.
22, 1, r
Let r = 25847 - 904529/35. Let g = 50 - 324/7. Let t = g - r. Sort -0.1, 1/2, t in increasing order.
-0.1, t, 1/2
Let m = 14 - 16.1. Let q = -1.9 - m. Put q, -1, 3/4 in increasing order.
-1, q, 3/4
Let q(a) = a**3 + 15*a**2 - 2*a - 22. Let o be q(-15). Put o, 2, 1 in increasing order.
1, 2, o
Let j = 0 - -4. Let d(x) = -x**2 - 5*x - 2. Let l be d(-4). Suppose -j*t + l = -6. Sort -4, -2, t.
-4, -2, t
Let b(t) = -15*t**2 + 9*t + 9. Let o(p) = -7*p**2 + 4*p + 4. Let y(l) = -6*b(l) + 13*o(l). Let c be y(-2). Put 0, c, 3 in descending order.
3, 0, c
Let v(g) = -g + 3. Let t be v(0). Let r = t + -4. Let q be (-5)/(-1)*(-16)/(-20). Sort q, -5, r in decreasing order.
q, r, -5
Let z(v) = v**3 + 6*v**2 - 6*v + 3. Let h be z(-7). Let s(n) = 3*n**3 + n**2 + n + 1. Let y be s(-1). Let x = 0 - y. Put -5, x, h in descending order.
x, h, -5
Let j be (149 + -1)/((-4)/(-6)). Let a = 1327/6 - j. Sort -3, a, -2 in ascending order.
-3, -2, a
Suppose 0*c - 15 = c. Let i be 3/c + (-11)/(-5). Suppose 0 = f - d - i*d + 2, f + d - 2 = 0. Put f, 3, 4 in increasing order.
f, 3, 4
Let n(y) = -y**3 - 4*y**2 + 5*y + 4. Let d be n(-5). Put -2, -4, d, 2 in descending order.
d, 2, -2, -4
Suppose 3*n + 2*n = 15. Let v(k) = k**2 + 10*k - 20. Let q be v(-12). Let o(l) = l**3 - 3*l**2 - 5*l + 2. Let z be o(4). Put q, n, z in ascending order.
z, n, q
Let u = -3.9 + 6.9. Let l = -32 - -95/3. Sort -0.2, l, u in decreasing order.
u, -0.2, l
Let n = -30 + 17. Let s = n - -9. Suppose -3*u + 4*k = -8 - 0, -3*u = 2*k + 4. Sort s, u, -4/3.
s, -4/3, u
Let b = -459/4 - -114. Let f be (-1)/(-28) + (-2)/(-8). Put 1/5, f, b in descending order.
f, 1/5, b
Suppose 4*z + 2*j - 4 = 4*j, -j = 5*z - 19. Suppose -6*x = -x - 10. Sort z, -5, x in decreasing order.
z, x, -5
Let y = 76 + -76.2. Put 0.2, -1, -3, y in descending order.
0.2, y, -1, -3
Let o = 6 - -1. Suppose 12*l - o*l = -15. Let b be (-2)/6 + (-10)/(-18). Sort l, b, 0 in descending order.
b, 0, l
Let c = -40 - -23. Let h = 21 + c. Sort h, 0.3, -3 in descending order.
h, 0.3, -3
Let b = 6 - 0. Let f = -1 + b. Let o = 6 + -8. Put -5, o, f in increasing order.
-5, o, f
Let j be (-489)/(-4) - (1 - 2). Let x = 124 - j. Put x, -0.3, -4/9 in ascending order.
-4/9, -0.3, x
Let n(r) = r**2 - 4*r + 1. Let s be n(4). Let l be (33/9 + -2)*-3. Suppose -2 = i - 6. Put l, i, s in descending order.
i, s, l
Let w = -11/126 + -1/18. Let b = -8 - -10. Sort b, 0.5, w in increasing order.
w, 0.5, b
Suppose -5*u = -10*u + 10. Sort u, 4, -2, -23.
-23, -2, u, 4
Suppose -g + 4 = -1. Suppose 7*p + 30 = -23*p. Sort p, 0, g in ascending order.
p, 0, g
Suppose 2*u = -2 - 6. Sort u, -3, 4 in decreasing order.
4, -3, u
Let d = -2/173 + -682/865. Sort -2/3, d, 1/6 in descending order.
1/6, -2/3, d
Let s = -8 + 6. Let u = s + 6. Let m(l) = 2*l + 3. Let k be m(-4). Sort k, 5, u in decreasing order.
5, u, k
Suppose -6*b + 2*b = r + 17, b = r - 8. Suppose -m + 3 = 2*p - 1, 0 = 3*p + r*m. Suppose -4*f - 3*d = 33, -4*f - 8*d - 36 = -p*d. Sort -1, 5, f.
f, -1, 5
Let a be ((-1)/(-2))/(3/(-66)). Let t = a - -6. Let v(k) = k**3 - k**2 + k + 5. Let j be v(0). Put j, t, 4 in descending order.
j, 4, t
Let j = -24 - -19. Sort 1, -6, j in decreasing order.
1, j, -6
Let g = 2/291 + -592/1455. Put 0.2, g, -3 in increasing order.
-3, g, 0.2
Let a(t) = t**2 + 5*t - 7. Let p be a(-6). Let q be 1 - -2 - (0 + p). Suppose -4*h = -3*g + 18 - 0, -2*g + 7 = -h. Put q, h, 3 in increasing order.
h, 3, q
Suppose 2*h - 2 = 2. Suppose 4*v = 3*v + 4. Sort v, -5, h.
-5, h, v
Suppose -2*v - 10 = -2*h, -3*v + 4 = -2*h + 11. Let i be h/(-3) + (-5)/15. Let r = i + 2. Put 0.2, 1, r in descending order.
1, 0.2, r
Let o = 0.2 - -0.2. Let z = 0.1 - 0. Let t = o + z. Sort -4, 3, t.
-4, t, 3
Let t = 29.3 + -23. Let n = 1.3 - t. Let q = -10 - n. Sort q, -0.4, 3.
q, -0.4, 3
Suppose -26 = -6*f - 8. Sort -1, f, 1 in decreasing order.
f, 1, -1
Let i be (-1)/((-3)/(-3))*5. Let q = 0.8 - 5.8. Let b = 6 + q. Sort i, -2, b in decreasing order.
b, -2, i
Let i = -4 - -2. Let n = -53214 - -477965/9. Let p = 107 + n. Sort i, p, 3 in descending order.
3, p, i
Suppose 0*h + 45 = -5*h - 5*z, -25 = h + 5*z. Let g(t) = -3*t**3 + 32*t**2 + 12*t - 10. Let u be g(11). Put h, 2, u in decreasing order.
2, u, h
Let b be 2/3 - (-5)/(-21). Let c = 7 + -5. Sort -3, b, c in ascending order.
-3, b, c
Let c(z) = z**3 + 20*z**2 - 21*z + 2. Let a be c(-21). Sort 5, -5, a.
-5, a, 5
Let h = 6 - 11. Let s be (-1)/(1/(-2)*-2). Let t be (-8)/(-6)*6/4. Sort t, h, s in ascending order.
h, s, t
Let x = -1 + 0. Let s = x - -5. Let a(d) = d + 7. Let k be a(-5). Put s, k, -5 in increasing order.
-5, k, s
Let q be (-3)/(-7) + 44/28. Suppose u - 15 = -q*g, -u - 3*g = 3*u - 35. Put -5, 2, u in descending order.
u, 2, -5
Let w(u) = u**3 + 11*u**2 - u - 7. Let y be w(-11). Let v = 1 + -2. Suppose 0 = -k - 2*k. Put v, y, k in ascending order.
v, k, y
Suppose 2*i = -0*i. Suppose 5*c + i - 15 = 0. Suppose a + c = 2. Sort a, 0, -3 in ascending order.
-3, a, 0
Let v be -2 + (1 + 0)*(-12)/12. Put -4, 0, v in increasing order.
-4, v, 0
Let o = -6 + 12. Let l = 2 - o. Let k = 3.5 + l. Sort 3, k, 2.
k, 2, 3
Let g be (-1)/(2/(-10)*1). Suppose -2*b - 14 = -4*n + 3*b, 4*n = -g*b + 34. Sort -3, -2, n in ascending order.
-3, -2, n
Let c(m) = m + 8. Let f be c(-6). Suppose 0*v + v = f, -3*v + 18 = -3*l. Sort 5, l, -2 in descending order.
5, -2, l
Let o = 2.73 - -0.27. Sort o, 0.1, -0.4.
-0.4, 0.1, o
Let p(t) = t - 2. Let r be p(0). Let v(c)