Let q = b - 10.3. Put 0, q, 3 in ascending order.
q, 0, 3
Suppose -h - 2*q - 2*q - 12 = 0, 4*q = -4*h - 24. Sort -1, h, -5, -3.
-5, h, -3, -1
Let j be -1 + (-1 + 4)/3. Suppose 3*t - 9 = -j*t. Suppose 0 = 3*u + 12, -4*u - 14 = -3*c + 2*c. Sort t, -3, c.
-3, c, t
Suppose -2*x - 9 = 3*x - 4*r, -1 = -3*x - 4*r. Sort -6, x, -4.
-6, -4, x
Let u(m) = m - 2. Let q be u(5). Put q, -2, -5 in increasing order.
-5, -2, q
Suppose 2*o = -o + 6. Suppose -o*i - 8 = 5*a, 5*i - a + 5*a = -20. Let d(j) = -5*j**3 + j**2 + j. Let v be d(-1). Sort v, i, -5 in increasing order.
-5, i, v
Let o = -9 + 9.1. Let c = 0.02 + 1.98. Let v = 1.7 - c. Sort -0.5, v, o in increasing order.
-0.5, v, o
Let p be 6/(-15) - 17/(-5). Suppose -3*j + 7*j - 24 = -3*f, f - p*j + 5 = 0. Suppose -1 = l - f. Put -5, l, -2 in decreasing order.
l, -2, -5
Suppose -p + 28 = -2*u - 31, 4*u + 3*p + 123 = 0. Let g be (93/u - -3)*4. Sort -0.5, g, -2 in decreasing order.
g, -0.5, -2
Let w = 5 - 8. Let g be 4/((-4)/w) + -2. Let n(b) = -2*b + 5. Let z be n(4). Sort g, 5, z in decreasing order.
5, g, z
Let s = 74 - 373/5. Sort -0.2, -2, s in descending order.
-0.2, s, -2
Suppose 3*p - 17 = x - 5, x - p = -4. Let j = -11 + 8. Suppose -2*k = -4*k + 8. Put x, k, j in descending order.
k, x, j
Suppose 0 = 3*a - a. Let q(f) = 5*f - 33. Let w be q(7). Sort a, w, -5 in increasing order.
-5, a, w
Let m(c) = -c**2 + 6*c + 10. Let n be m(7). Sort 6, n, 0 in decreasing order.
6, n, 0
Let g be 30/(-9) - (-1 + 1). Let h = 29/6 + g. Sort -4, 0.5, h.
-4, 0.5, h
Suppose q - 16 = -3*q. Suppose 5*r - 24 = 2*r - 3*u, 2*u - 4 = 2*r. Suppose 2*s = r*l + 16, l - 25 + 7 = -4*s. Put 0, q, l in increasing order.
l, 0, q
Let i = 17 + -14. Put 2/17, i, 2 in ascending order.
2/17, 2, i
Let t = -0.7 - -0.1. Let p = t - -0.9. Put p, 0, -2/3 in increasing order.
-2/3, 0, p
Let y = 0 - 0. Let t(l) = -3*l - 19. Let m be t(-8). Put m, 1, y in descending order.
m, 1, y
Let b = -1.3 + 4.3. Sort 2, -5, 1/9, b in increasing order.
-5, 1/9, 2, b
Let u(g) = -g + 5. Let k(x) = -x**3 + 5*x**2 - 4*x + 6. Let s be k(4). Let l be u(s). Put 2, -4, l in descending order.
2, l, -4
Let u be 3/6*2/(-4). Let r = 0.3 - -0.7. Let w = -2 - r. Sort w, 4, u in decreasing order.
4, u, w
Suppose -25 = -5*m, h - 3*m + 17 - 4 = 0. Suppose -h*i = i + 9. Suppose 7*g - 3*g - 20 = 0. Sort i, g, 3 in decreasing order.
g, 3, i
Let y = -70 - -68. Put y, -0.3, -0.1, -5 in descending order.
-0.1, -0.3, y, -5
Let j = -0.01 + -2.99. Let a be (0 - 5)*(-1 + 0). Let f be 2/a*(-10)/(-7). Sort 0.2, f, j.
j, 0.2, f
Let n = 54 - 33. Sort -1/5, n, -0.4 in increasing order.
-0.4, -1/5, n
Let t = 45 - 46. Let h be 1/(-3) + 30/9. Suppose 12 = v - 0*v - 3*r, -6 = -h*v - r. Sort 5, v, t in ascending order.
t, v, 5
Let j be 12/(-18) - (-29)/3. Suppose t = -0*t - 2*x + j, 3*t + 13 = 4*x. Let l be (3/(-2))/((-3)/(-6)). Put l, t, 0 in ascending order.
l, 0, t
Let w be (-2)/(2*3/33). Put w, 2, -5 in decreasing order.
2, -5, w
Let d = 65.5 + -66. Let y = -2.1 - -2. Put y, -1, d in decreasing order.
y, d, -1
Let q(m) = 2*m + 3. Let p be q(-4). Sort 1, p, -4 in decreasing order.
1, -4, p
Let d be (-5)/23*2/5. Put -5, 25, d in descending order.
25, d, -5
Let q be 0 + ((-355)/(-4))/(-5). Let l be (-1)/10*331/(-2). Let i = q + l. Put i, 5/6, -2/5 in decreasing order.
5/6, -2/5, i
Let k = 0.8 + -0.5. Put -2, k, -0.1 in decreasing order.
k, -0.1, -2
Let z be ((-4 - -3) + 34/36)*-4. Sort 3, z, -0.2, 0 in descending order.
3, z, 0, -0.2
Let s = 0.1 + -0.1. Let d = 0.15 + -0.35. Sort -3, s, d in decreasing order.
s, d, -3
Suppose 3*n - 20 = -n. Suppose -t = -0*t - 5*w, 0 = -n*t - w. Sort 2, -2/3, t in increasing order.
-2/3, t, 2
Let z = 1.4 - -1.6. Let y = -0.3 + 0.2. Put z, -1/9, y in ascending order.
-1/9, y, z
Let y be (-12)/28 - (-38)/56. Let n = 0 - 5. Sort y, n, -2/7 in descending order.
y, -2/7, n
Let s = 0.19 - 1.19. Sort -0.3, -10, s in decreasing order.
-0.3, s, -10
Let b = -167 - -174. Sort b, -3, -4, -5.
-5, -4, -3, b
Suppose 2*f - f = -90. Let u = f + 448/5. Put u, -5, -2 in increasing order.
-5, -2, u
Suppose -4*u = u - 50. Suppose 4*w - 20 = -5*d + 20, -5*d = -2*w - u. Put w, -3, 3 in descending order.
w, 3, -3
Suppose -u + 56 = -4*w, 0 = w - u - 5 + 22. Sort -0.2, -0.3, w.
w, -0.3, -0.2
Let r = 6.7 - 5.7. Put 2/5, r, 10 in descending order.
10, r, 2/5
Suppose -a + 5 = -2. Suppose -4*f = 4*p - 16, -4*p = p - 4*f + a. Sort 2, 0, p.
0, p, 2
Let z = 0.64 + -0.34. Let f = -0.09 + -0.41. Put f, z, -3 in decreasing order.
z, f, -3
Suppose 3*y + 5*t = -7 + 1, -5*t = -4*y + 27. Sort 1, y, -3 in increasing order.
-3, 1, y
Suppose -6*m + m = 25. Let h(s) = -s**3 - 10*s**2 + 11*s + 3. Let x be h(-11). Put x, m, -4 in increasing order.
m, -4, x
Let b = -7 + 6.4. Let k = b - -1.1. Let x = 2 + -3. Put x, k, 2 in descending order.
2, k, x
Let v = 7.6 + -7.1. Sort v, 3, -3 in ascending order.
-3, v, 3
Let u = -3 - -4. Sort -4, -3, u.
-4, -3, u
Let v = -0.9 + 0.2. Let t = -1.3 + v. Let o = 6 - 5. Sort t, o, -0.5 in decreasing order.
o, -0.5, t
Let z = 70 - 75.3. Let l = z + 5. Let k(c) = -c + 11. Let s be k(7). Put s, -2/7, l in descending order.
s, -2/7, l
Suppose 20*b + 30 = -10*b. Let w be 1/2*2*-5. Suppose -5*c + 5 = q, 22 - 2 = 3*c + 4*q. Put w, c, b in ascending order.
w, b, c
Let t = 1.8 - 1.6. Put t, 2/7, 4 in descending order.
4, 2/7, t
Let v be (3 + 64/(-22))*1. Put v, 2, -0.5 in ascending order.
-0.5, v, 2
Let l = -750/6403 - -4/337. Put l, -4, 0.5 in descending order.
0.5, l, -4
Let z be (1/(-3))/(19/(-228)). Sort z, 0, -1, 3 in increasing order.
-1, 0, 3, z
Let w = -23 + 21. Sort 4/5, -3, w in increasing order.
-3, w, 4/5
Let b = -1.07 - 0.03. Let c = 6.1 + b. Let h = -4 + c. Put h, -3, -4 in descending order.
h, -3, -4
Let o(q) = 38*q**2 + q. Suppose 2*h = 3*h + 1. Let x be o(h). Let f be x/7 - 4/14. Sort -1, f, -5 in descending order.
f, -1, -5
Suppose 0 = -5*t + 3*t + 12. Suppose -3*x - t = -3*y, x + x + 10 = 5*y. Suppose -y*v = 2*v - 4*k - 36, -2*v - k = -3. Sort v, -3/2, -1/4 in ascending order.
-3/2, -1/4, v
Suppose 8 = 3*s - 7. Suppose -3*b + 14 = -5*u - 6*b, s*u + 26 = 3*b. Suppose 3*r - p + 5 = 0, -r - 5*p + 16 = -9. Sort r, 1, u in decreasing order.
1, r, u
Suppose m - 3 = -0*m. Let y = -6.1 - -6. Let v = 0.1 + y. Sort m, v, -3 in increasing order.
-3, v, m
Let s = -0.3 + 0.3. Put 0.1, -1/8, s in descending order.
0.1, s, -1/8
Let m = 46 - 38. Put -3, 0, m in descending order.
m, 0, -3
Let g(u) = 0 - 10 + u - 1. Let b be ((-2)/3)/(3/(-27)). Let h be g(b). Put -2, h, 0 in increasing order.
h, -2, 0
Suppose 0 = 3*b - 0*b + 42. Let f be 8/(-28) + 24/b. Let v = f + -3. Sort v, 1, -4 in increasing order.
v, -4, 1
Let k = -164 - -158. Sort k, -1/7, -5.
k, -5, -1/7
Let b = -27 + 27.48. Let s = -0.02 - b. Sort -1/6, s, 0.3.
s, -1/6, 0.3
Let a = -10 + 10.4. Let z be (-3)/(-2) - (-5 - -6). Sort -5, a, z.
-5, a, z
Let p = -7 + 10. Suppose r - 2 = -p*m - 3, -2*m = 4*r - 6. Let b = 0.15 - 2.15. Sort m, b, -1/7 in increasing order.
b, m, -1/7
Let m = 10.3 + -8. Let r = 0.3 - m. Let a = -0.6 - -0.4. Put 0.2, a, r in ascending order.
r, a, 0.2
Suppose 0 = 5*g - 5*b + 11 + 4, -5*b = -5. Let k be -1 + 12 + g + 3. Sort -5, k, 1.
-5, 1, k
Let f = 122 - 116. Put 0, f, 0.2 in descending order.
f, 0.2, 0
Let i = -1256/6787 - -2/617. Sort -1/9, -1/3, i.
-1/3, i, -1/9
Let f = -0.21 + 0.51. Sort f, 5, -4 in descending order.
5, f, -4
Let l(z) = z**3 - 12*z**2 + 9*z + 10. Let c be l(10). Let j be (2/10)/(8/c). Put -1/4, j, -3 in ascending order.
-3, j, -1/4
Let o = 78 - 75. Sort 0, -2, o, -0.2 in descending order.
o, 0, -0.2, -2
Suppose -x + 2*x - 5*s = 11, -3*x = -s - 5. Let k(r) = 4*r**3 + 2*r**2 - r. Let f be k(x). Let j be -3 + 1 + 1*-3. Sort 0, f, j in descending order.
f, 0, j
Suppose 3 = 3*i - 6. Let o = -0.1 - -0.6. Let m = -0.7 + 0.2. Sort i, o, m in decreasing order.
i, o, m
Suppose -4*y + 0 + 4 = 4*u, 2*y - u - 8 = 0. Sort -5, y, 5 in ascending order.
-5, y, 5
Suppose -5*f - 1 = -6. Suppose -35 = 4*c - 5*l, 0 = -5*c + 3*c - 2*l - 4. Put f, c, 2 in increasing order.
c, f, 2
Let t be -3 - 1 - 0 - 1. Let i = -0.3 - 0. Let f = 1292/3 - 431. Sort i, t, f in ascending order.
t, f, i
Let g = 0.02 + -6.02. Let r = 1/132 - -521/924. Put g, -0.2, r in decreasing order.
r, -0.2, g
Let v be 3*(-2 - -1