ng order.
p, z, -4
Suppose -3*x + 55 = 2*x. Let z = x + -8. Sort 5, 2, z.
2, z, 5
Suppose 12*o - 5*o = 0. Sort -5, -1, o in increasing order.
-5, -1, o
Let d be 14/21 + 5/(-12). Suppose -5*f = -4*t + 37, 2*t - 6 = -5*f - 25. Put d, -4, f in descending order.
d, -4, f
Let n be (0 - -2)*(-2)/(-16). Let d be 0 + 64/30 - 2. Put d, 3/7, n in decreasing order.
3/7, n, d
Let j be -2*(927/330 + -3). Let f = j + 1/55. Put -1, -3, f in ascending order.
-3, -1, f
Suppose -o - 10 = 5*q, 4*q + q = -15. Let u = -1/28 - -33/140. Sort o, u, -3 in increasing order.
-3, u, o
Let z be (-2)/(-4)*(-2 - -1). Let t = 0 + -0.5. Let a = t - -1. Sort 4, a, z.
z, a, 4
Suppose 14 + 10 = 5*s + n, 4*s - 25 = 5*n. Let c = -134 - -136. Sort 6, s, c.
c, s, 6
Let g = -15 + 18. Sort g, -7, 2 in increasing order.
-7, 2, g
Suppose 7*a - 2*a + 3*k - 53 = 0, k - 48 = -4*a. Let t = 4 - a. Let m = t - -8. Sort -3, m, 0.
-3, m, 0
Let y(h) = h**3 + 18*h**2 + h + 20. Suppose -4*v - 70 = 3*t - 0*v, -3*t = 3*v + 66. Let i be y(t). Put i, -4, -3 in decreasing order.
i, -3, -4
Let v = -2.3 - 0.7. Let p = 1 + v. Sort p, -0.4, 2.
p, -0.4, 2
Suppose -5*g + 5*v - 10 = 0, -3*g + 4*g = 4*v - 2. Let u(y) = y**2 - y - 1. Let f be u(g). Let o be 0 + 3 + -5 + f. Put 4, o, -5 in descending order.
4, o, -5
Let i(w) = -5*w**2 - 6*w - 13. Let v(k) = 4*k**2 + 6*k + 12. Let t(u) = -5*i(u) - 6*v(u). Let b be t(7). Sort 2, b, -1 in decreasing order.
2, b, -1
Let k = 15 - 18. Suppose -h = -2 + 1. Suppose -z - p + 15 = p, -z + 3*p - 10 = 0. Put h, z, k in ascending order.
k, h, z
Suppose 0 = -2*u - 0*u - 10, 2*o + 6 = -2*u. Let i be (-2 + 3)*2/o. Let k(z) = z**2 - 6*z - 2. Let j be k(6). Sort -4, i, j in decreasing order.
i, j, -4
Let q = 37 - 33. Suppose 0 = 3*y - 5*r - 20, -y + r = -2 - 2. Sort q, -5, y in decreasing order.
q, y, -5
Let d(f) = f**2 - 6*f - 19. Let m be d(8). Sort -2, m, 1 in increasing order.
m, -2, 1
Suppose -4*y + 16 = -4*q, 2*y + 3*q = q - 4. Put y, -4, -5 in decreasing order.
y, -4, -5
Let d = -0.1 + -0.9. Let r be (-2)/(-6)*66/(-187). Put d, 4, r in decreasing order.
4, r, d
Let l = -0.4 - 0. Sort 5, l, 4 in decreasing order.
5, 4, l
Let t be (-56)/40 + 2/5. Let b be ((3 - 2) + t)/2. Put 1/6, -0.3, b in decreasing order.
1/6, b, -0.3
Suppose -z + 0 = -3. Sort z, -5, 5 in ascending order.
-5, z, 5
Suppose 4 = x - 3*x. Suppose -4*u = 6 - 26. Suppose -y = -6*y + u. Sort y, x, -5.
-5, x, y
Let g = -41 + 40.5. Sort -0.9, -1/10, g in increasing order.
-0.9, g, -1/10
Suppose 4*f + 20 = -0*f. Sort 4, f, -1.
f, -1, 4
Suppose -x = -2*x - 5*c - 23, -x + c + 7 = 0. Let k(s) = 5 + x*s + s + 4*s - 6*s. Let f be k(-5). Put f, 2, -2 in descending order.
2, f, -2
Let z = -34 + 29. Sort 5, 1, z in descending order.
5, 1, z
Let r be ((-4)/2 - -5) + 13. Suppose 0 = 5*j - 4*o + 2 - r, -2*j = 3*o - 24. Let n be 3/(-12) - (-3)/j. Put n, 2/5, -0.5 in decreasing order.
2/5, n, -0.5
Let d = -0.35 - 0.05. Let w be 2/4*(-4)/10. Let z = 32 - 37. Sort z, w, d in increasing order.
z, d, w
Let u = 10 - 14. Let v = 431/5 - 87. Sort u, 0.2, v.
u, v, 0.2
Let h = -4 + -1. Let u = h - -7. Sort u, 4, 1.
1, u, 4
Let p = -6 - -4.3. Put 1/5, p, 1 in ascending order.
p, 1/5, 1
Let d = 9 + -4. Suppose 2*y - 4 = 4*o, 0 = -5*y + 2*y + 2*o - 6. Let r = y + 1. Sort 0.1, r, d.
r, 0.1, d
Let t = -4/5 - -23/10. Let w = -14 - -22. Let h = w + -7.9. Sort h, t, -1/4 in decreasing order.
t, h, -1/4
Let z be -5 - ((-6 - 1) + 0). Sort -1, 1, z, 5 in increasing order.
-1, 1, z, 5
Let i be 4*-1 - (-8 - -4). Put i, 2, -3 in increasing order.
-3, i, 2
Suppose 7*x + 2 = 4*j + 2*x, 20 = -5*j - 5*x. Let y be -6 + (3 - (-4)/j). Put -1, y, -2 in increasing order.
y, -2, -1
Let w = -10 + 15. Let s = -28998/2807 + 18/401. Let d = 230/21 + s. Put -0.3, w, d in ascending order.
-0.3, d, w
Suppose -3 = 2*u + 3. Let t = -18 + 17.9. Sort 5, u, t in decreasing order.
5, t, u
Let r(b) = b**3 - 9*b**2 + 9*b + 6. Let n be r(8). Put n, 1, 5 in descending order.
n, 5, 1
Let k(y) = y**3 - 5*y**2 - 6*y - 2. Let c be k(6). Suppose -3*b + b = -4*l - 30, 0 = 3*l + b + 10. Sort l, -3, c in decreasing order.
c, -3, l
Let t = -18 + 22. Suppose t*q + 16 = 6*d - d, -2*d - 3*q = -11. Sort d, -3, 1 in ascending order.
-3, 1, d
Suppose -3*q = 3*i, 0*q + 4*i - 4 = -3*q. Sort 1, q, 5 in decreasing order.
5, 1, q
Let r = 1.3 - 0.3. Let n = 2.5 - 0.5. Sort n, r, 4 in increasing order.
r, n, 4
Let l = -10 + 10.1. Let m = l + -0.6. Let w = -5 + 3. Sort 4/3, w, m.
w, m, 4/3
Suppose -10 = 2*r + 3*b, -3*b - 10 = -r - 6. Put 2, -38, r in ascending order.
-38, r, 2
Let p(l) = -l**2 - 8*l - 2. Let s be p(-5). Let z = 8 - s. Sort z, -4, 4 in descending order.
4, -4, z
Suppose 0 = 8*n - 4*n - 24. Let h be (n + -1)/((-6)/(-6)). Sort 3, h, -2 in descending order.
h, 3, -2
Suppose 4*i + 10 = 2*h - 4*h, -30 = 3*i - 3*h. Sort 4, 3, 1, i in decreasing order.
4, 3, 1, i
Let y = 7 + -4. Sort y, -1, 0.4 in increasing order.
-1, 0.4, y
Let o = -8913/14 - -169629/266. Let c = o - 12/19. Suppose n = -f - 3, -2*f = -3*n + 2 + 9. Sort c, n, -3/5 in increasing order.
-3/5, c, n
Let t = 0.49 + -0.4. Let s = t + 3.91. Let k = 0.9 - 1. Sort k, 0, s in ascending order.
k, 0, s
Let n = -10 + 9. Put -4, 2, n in decreasing order.
2, n, -4
Suppose 0 = 5*o - y + 6 - 1, o = -y + 5. Suppose 2*t = 5*a - 15, 3*a + 3*t + 17 = -t. Sort o, a, 4 in descending order.
4, a, o
Let k = 7.95 + 0.05. Let q = k + -8.3. Put -1/7, q, -5 in ascending order.
-5, q, -1/7
Suppose 0 = -3*l - 6 + 9. Put -4, l, -6 in decreasing order.
l, -4, -6
Let h = -31 + 29. Sort 3, -3, h.
-3, h, 3
Let a be -3 - 0/(3/3). Let d be -1 + 0 + a + 5. Let g = 2.4 + -2. Put g, 5, d in decreasing order.
5, d, g
Let i(w) = -2*w - 7. Let q be i(-5). Suppose -25 = 2*s + q*s. Put -3, s, 0 in descending order.
0, -3, s
Let t = -1927/54747 + 3/869. Put 3, -3/4, 0.1, t in ascending order.
-3/4, t, 0.1, 3
Let t = 0 + -0.4. Let j = 1.42 + -1.6. Let n = j - 1.82. Sort 1/2, n, t in increasing order.
n, t, 1/2
Let o = -4 - -8. Sort o, -2, -4 in decreasing order.
o, -2, -4
Let u be (-8)/(-14) + -1 + 399/1617. Sort -0.08, u, -4.
-4, u, -0.08
Let d = 0 - -4. Let p = -0.4 + 0.6. Let g = -0.02 - -2.02. Sort p, d, g.
p, g, d
Suppose d - 10 = -4*d. Suppose -d*t + h + 13 = t, 4*t + 5*h = 49. Let p be 6/(1*9/t). Put -0.4, 3, p in ascending order.
-0.4, 3, p
Suppose -3*c + 4 = -5*c. Sort 4, -3, c in descending order.
4, c, -3
Let j = 13 + -5.7. Let d = j - 7. Put 3, 1, d in decreasing order.
3, 1, d
Suppose -2*d + 6*d - 19 = -5*w, -5*w + 18 = 3*d. Suppose 15 = 3*v + 5*n, 15 = 4*v - v - w*n. Sort 1, -1, v in increasing order.
-1, 1, v
Let y = 7 + -8. Let b = -2 - -2. Suppose b = v - 2*d, -3*v + 2 = -5*d + 3. Put 4, y, v in descending order.
4, y, v
Let y be (-10)/476 + (-8)/(-28). Let a = y + 11/986. Let z = 2/203 + a. Sort -1/3, z, 3 in ascending order.
-1/3, z, 3
Let j = 12 - 7. Sort j, -4/7, -1, -7 in descending order.
j, -4/7, -1, -7
Suppose 5*n = -0 - 15. Let p be (-2)/((-6)/9) - 4. Let z be p/2 - (-7)/(-2). Sort -2, z, n.
z, n, -2
Let o be (-8)/24 + 48/9. Let n be (-2)/4 - 7/(-2). Sort n, 1, o in increasing order.
1, n, o
Suppose -2*b + 15 = -7*b. Let z be (-6)/(-4)*(-301)/(-2). Let j = 227 - z. Sort -1, b, j.
b, -1, j
Let o = 3 - 3.2. Let p = o + -0.8. Put p, -0.2, -4 in decreasing order.
-0.2, p, -4
Suppose -3*z = 3*g - 18, 0 = g + 4*z - 5*z + 4. Suppose -4*s + 9 = g. Sort -3, s, -5 in descending order.
s, -3, -5
Let b be 5*-1*(-9)/15. Sort 7/3, b, -2/5 in increasing order.
-2/5, 7/3, b
Suppose -2*p = 0, -x + 3*p = -4*x + 24. Sort 1, x, -3, 2 in ascending order.
-3, 1, 2, x
Let y be (45/(-10))/((-6)/(-8)). Let c = y - -11. Let i = -3/13 - -41/65. Sort i, 0.3, c in increasing order.
0.3, i, c
Let p be ((-5)/(-2))/((-5)/10). Sort 1, 5, p, -1 in ascending order.
p, -1, 1, 5
Let a be (218/(-102) - -1) + 1. Let y = -1/34 + a. Sort y, 3, -7 in ascending order.
-7, y, 3
Let f = 66 - 62. Sort f, -1, 2/3 in ascending order.
-1, 2/3, f
Let r be 45/(-10)*(-3 - -1). Let h = r + -6. Sort h, 5, -5 in decreasing order.
5, h, -5
Suppose -j + 5*m = m + 19, -3*m = 2*j - 6. Suppose -3 = 3*a - 0. Put 0, a, j in increasing order.
j, a, 0
Let z = -52 + 47. Let w(r) = -r**2 + 3*r + 2. Let i be w(4). Put -3, z, i in ascending order.
z, -3, i
Let q = 14 + -14. Suppose 2*g + g - 31 = -4*s, -1