order.
b, 3, o
Let n = 4 - 3. Let q = n - -4. Sort q, 3, 0 in increasing order.
0, 3, q
Suppose 5*q = -5*t - 45, 4*q = -t - 2*t - 31. Sort 5, 0.4, 1, q in ascending order.
q, 0.4, 1, 5
Let v = 0.07 + -1.07. Let b = 0.5 + v. Let p = -0.3 - -0.2. Sort p, 2, b.
b, p, 2
Let r be (-4)/6 - (-56)/42. Sort r, 0.4, 1 in increasing order.
0.4, r, 1
Let n = 1187/6504 - -7/271. Let q = n + -3/8. Let d = -7.8 + 8. Sort -1, d, q in ascending order.
-1, q, d
Let n(z) = -2*z + 1. Let i be n(-1). Suppose -s = -t - 4, 10 + 0 = 3*s - 2*t. Suppose 0*g = -3*g - x - 10, x = g + s. Put -2, g, i in decreasing order.
i, -2, g
Let d = -27 - -27. Let y = 21 + -11. Let n = -5 + y. Sort -5, d, n.
-5, d, n
Let z = -0.056 + 3.056. Sort 0.2, -1/2, z, -0.4.
-1/2, -0.4, 0.2, z
Let l be 1*((-16)/(-1) - 1). Suppose 0 = 3*c - 8*c - l. Suppose 0*h + 9 = 3*h. Put h, -1, c in increasing order.
c, -1, h
Suppose b = -r - 3*r + 21, -2*r + 15 = 5*b. Put b, 36, -5 in decreasing order.
36, b, -5
Let x = -159 + 152. Sort 0, -5, x, -4 in increasing order.
x, -5, -4, 0
Suppose f - 4*f + 12 = 0, 0 = 4*h + 4*f - 72. Suppose 4*d - h - 2 = 0. Put 3, -2/7, d in decreasing order.
d, 3, -2/7
Let r = 2.81 - -0.19. Let m = 2.6 - r. Put m, 1/11, 5 in increasing order.
m, 1/11, 5
Let a = 0.6 - 1. Put -0.7, a, -0.5 in ascending order.
-0.7, -0.5, a
Suppose 5*f = -10 + 30. Let j = f + -7. Let q = 8 + -5. Sort 5, j, q.
j, q, 5
Let x be -4 - -2*(-9)/6. Let h(m) = m**3 + 7*m**2 - m - 6. Let t be h(x). Suppose 3*v + 12 = -3*g, g - 5*v - 13 - t = 0. Sort 1, 5, g in descending order.
5, 1, g
Suppose 4*q - 18 = -3*k, -5*q - 5*k = -q - 14. Suppose 2*y = -y - q. Sort 3, -5, y in descending order.
3, y, -5
Let v(f) = -f + 12. Let n be v(0). Suppose -3*g + n = g. Put -1, 5, g in increasing order.
-1, g, 5
Let l = 0.8 + -1.3. Let s = l - -0.3. Sort 2, 5, s.
s, 2, 5
Let o = 0.2 - 0.3. Let j = 14.5 + -15. Put j, 0, o in decreasing order.
0, o, j
Suppose -13*j + 60 = 21. Sort j, 5, 20 in decreasing order.
20, 5, j
Let u = 7.1 - 1.7. Let t = 2 - 1.6. Let d = u - t. Put 2, d, -2/3 in decreasing order.
d, 2, -2/3
Let y = -1.8 - 1.2. Sort 0.2, -0.1, y in decreasing order.
0.2, -0.1, y
Let d = 41096/475 - 56/475. Let p = -86 + d. Let a be 1 + (1 - 10/6). Put a, 2/7, p in decreasing order.
p, a, 2/7
Let u(i) = i + 10. Let h be u(-10). Sort 7, h, 4 in ascending order.
h, 4, 7
Suppose -4*h + 0*h - 8 = 0. Suppose -4 = 4*d - u + 3*u, 4*u = 16. Sort -6, d, h in descending order.
h, d, -6
Let r = -17.2 - 2.8. Let t = 20 + r. Sort 3, 0.1, t in increasing order.
t, 0.1, 3
Let t be 1 + 0/1 + 2. Let p(k) = -2*k**2 - k**2 + 7 + 12*k**2 + 9*k + 4*k**3 - 3*k**3. Let z be p(-8). Sort 5, z, t in descending order.
5, t, z
Let f = -0.06 - -3.06. Sort 2, f, -5.
-5, 2, f
Let t(w) = w**3 - 10*w**2 + 8*w + 10. Let y be t(9). Put -3, 7, y in decreasing order.
7, y, -3
Let h = 5.9 + -5.8. Let x = 1 + -5. Sort h, x, -1/10.
x, -1/10, h
Suppose d = -y + 4 - 2, -12 = -5*y - 3*d. Suppose h + 0*q + 14 = -5*q, -3*h + y*q = -12. Sort -5, h, -4.
-5, -4, h
Let v be (-1)/3 - (-6)/(-9). Let u = -4 - v. Suppose -p = p + q, -10 = -p + 2*q. Put -4, u, p in ascending order.
-4, u, p
Let b = 1 + 0. Suppose -b + 0 = -p. Let i = -3 - -3. Sort i, 0.5, p in decreasing order.
p, 0.5, i
Let l = 5 - 2. Let x = 58 - 58. Sort x, -1, l in increasing order.
-1, x, l
Let z be 6/15 - 6/(-10). Suppose -5*j + q = -4 - 15, 29 = 3*j - 5*q. Suppose -j*g - 27 = -3*w, 4*g + 3*w = -w - 4. Sort g, z, 2.
g, z, 2
Suppose 0 = -2*j + 4*j. Let n = -332 + 336. Put n, j, 5 in increasing order.
j, n, 5
Let y(o) = 11*o + 150. Let m be y(-13). Let h = -2.02 + 0.02. Put h, m, -3 in ascending order.
-3, h, m
Let s be -1 - (-1 - -3*1). Let m = -2.1 + 2. Let a = -115/156 - 1/78. Put a, m, s in decreasing order.
m, a, s
Let v(d) = -2*d**3 - 3*d**2 - d - 1. Let z be v(-2). Let t = -242 + 1698/7. Put 2, t, z in decreasing order.
z, 2, t
Let x = -2 - -7. Let w = x - 10. Sort 3, w, -0.1 in descending order.
3, -0.1, w
Let z = 0.01 + 0.29. Let x = -3.3 + z. Sort -2/9, x, -2/7.
x, -2/7, -2/9
Let s(i) = -i**3 + 7*i**2 - 6*i + 10. Let j be s(6). Sort -1, j, -4 in decreasing order.
j, -1, -4
Suppose 0 = 2*p - 3*p - 4. Put 0, -1, p, 1 in decreasing order.
1, 0, -1, p
Let i be 5/(-10)*16/(-12). Put 2, 0, i in decreasing order.
2, i, 0
Let j be 186/8 + (-5)/(-20). Let g = j + -151/6. Put 2, 1/12, g in descending order.
2, 1/12, g
Suppose -3*h + 15 = -0*h. Let n(a) be the third derivative of a**6/40 - a**5/60 + a**3/6 + a**2. Let c be n(1). Put c, h, -2 in ascending order.
-2, c, h
Suppose 4*o - 8 = 8. Suppose o*n - 20 = 0, -3*f = -2*n + 15 + 13. Let a be 1/(1/f) - -1. Put -1, 3, a in descending order.
3, -1, a
Let d = 2 - 6. Let l = 5 + -3. Suppose -2*p - 2*t = 0, -l*p - 2*t = -5*p + 5. Sort 1/2, d, p in descending order.
p, 1/2, d
Let p(f) = 2*f**2 + 2*f + 1. Suppose -3*z = 2*t + 2*t + 6, -3*t + 2 = -z. Let g be p(z). Put 1, -4, g in increasing order.
-4, 1, g
Let b = 2.97 + 0.03. Let m = -3.1 + b. Let i = -3.13 + 0.13. Sort i, 5, m.
i, m, 5
Suppose -4*i + 3 = -9. Suppose 0 = -i*n + 5*h, 2*n + 14 = -5*h - 11. Put n, 2/9, -0.1 in ascending order.
n, -0.1, 2/9
Let l = 82 - 86. Let n = 0 + 0. Sort n, l, 1.
l, n, 1
Let y be 3 + 4 + -1 + -2. Put y, 5, 0 in decreasing order.
5, y, 0
Let p(y) = 7*y + 19. Let q be p(-3). Suppose 2*o + 1 = -1. Put 3, q, o in decreasing order.
3, o, q
Let j = -12 + 8. Let p = 0 - j. Put -0.1, p, -2 in decreasing order.
p, -0.1, -2
Suppose 5*m = -7*r + 2*r + 35, -5*m - 2*r + 26 = 0. Let h = m + -7. Let b be 1/(h/6*2). Sort -3, b, -4 in descending order.
b, -3, -4
Suppose 0 = -z + 3*z + 3*f + 7, -z + 3*f = 8. Sort z, 4, 5 in increasing order.
z, 4, 5
Let h be ((-525)/(-28) + -2)/(2/8). Sort h, 4, 0 in ascending order.
0, 4, h
Let n be 4/(-10) - (-2)/(-70). Let c = 1 + -2/3. Put c, n, 0.2 in increasing order.
n, 0.2, c
Suppose o = 3 - 0. Suppose -o*r = r + 12. Sort -1, r, 1 in descending order.
1, -1, r
Suppose 12 + 8 = -5*p, -i + 5*p + 15 = 0. Put 2, 0, i, -27 in decreasing order.
2, 0, i, -27
Suppose -2*y - 3*y + 10 = 0. Let m = y + 2. Let x = -3 + m. Sort x, -2, 3 in descending order.
3, x, -2
Let b = -0.08 - -0.08. Let g = b - 0.5. Suppose -5 = -0*r + r. Sort g, 5/3, r in ascending order.
r, g, 5/3
Let k = -0.036 - -2.036. Let g = 7 + -4. Let l = 0.2 - 0.2. Sort l, g, k.
l, k, g
Let t(o) = -8*o**3 - o**2 + o. Let d be t(1). Sort d, 4, -3, 5 in descending order.
5, 4, -3, d
Suppose 25*y - 8 = 23*y. Sort -5, 1, 0, y in ascending order.
-5, 0, 1, y
Suppose -f - 4*f = -15. Suppose 4*y = 4*l + 32, y + 2*y + 6 = -f*l. Suppose 5*a = 2*n + 2*n + 15, y*n = 0. Put 2, 5, a in ascending order.
2, a, 5
Suppose -2*j = -4*k + j - 8, -4*j + 12 = -4*k. Sort -16, 3, k in increasing order.
-16, k, 3
Suppose -2*j = -k, j + 19 = -5*k + 74. Let h be 4/(-10) - (-44)/k. Put h, 3/2, 0.1 in increasing order.
0.1, 3/2, h
Let c = 1/8653 - -14268784/112489. Let y = c - 127. Sort y, 3, 0 in descending order.
3, 0, y
Suppose 2*w = -3*v - 40 + 102, 4*w + 74 = 5*v. Sort 3, -4, v in decreasing order.
v, 3, -4
Suppose -k - 4 = -6. Let n be (-3 + -2 - -1) + 3. Put k, n, 1 in descending order.
k, 1, n
Let b = -3.3 - -3.4. Let u = 8 + -10. Sort b, -3, u in decreasing order.
b, u, -3
Let j = -0.6 - -0.1. Let c = 0.3 + j. Let u = -4.1 - -1.1. Put u, c, 3/8 in increasing order.
u, c, 3/8
Suppose 3*o + 4 = j, -o + 8 = -4*j + 3*o. Let n(k) = -k - 6. Let s be n(-6). Let f = s + 0. Sort j, f, 5 in decreasing order.
5, f, j
Suppose 4*h - 2 = i + 20, -3*h + 5*i + 25 = 0. Suppose 4*n - 2*p = 8*n - 32, -n + h*p - 14 = 0. Suppose 0 = -r + 2 - n. Put 2, r, 3 in descending order.
3, 2, r
Let w(c) = 10*c + 3. Let v be w(-2). Sort 1, 5, 4, v in decreasing order.
5, 4, 1, v
Let k = -5.46 + 1.46. Put -2, -1, k, 1 in decreasing order.
1, -1, -2, k
Suppose -3*x - 23 = -3*q + 4, -54 = -5*q + 2*x. Suppose 0 = -4*l + 12, 4*i - 3*i + 5*l - q = 0. Sort i, -5, 1.
-5, i, 1
Suppose 14 = 5*w - 3*j, 4 = -5*w - 2*j + 28. Let z = -58.1 + 55. Let h = z + 3. Sort w, 2, h in ascending order.
h, 2, w
Let u(x) = -1 + 4*x + 2*x - 6*x + x. Let s be u(5). Put -0.5, -4, s in decreasing order.
s, -0.5, -4
Let k = -140 - -143. Put k, -9, 4 in increasing order.
-9, k, 4
Let f be ((-4)/2)/(1 - 0). Put -3, f, -1 in increasing order.
-3, f, -1
Let i be 20/(-5) - 1*