 Sort 1, 2, z in increasing order.
z, 1, 2
Let r = 0.003 + 0.997. Sort 1.9, -1/6, 1/3, r in increasing order.
-1/6, 1/3, r, 1.9
Let f = 65/3 + -22. Put f, 3, -4, -0.1 in decreasing order.
3, -0.1, f, -4
Let q = -16/45 - -2/15. Put 8, -2/17, q in ascending order.
q, -2/17, 8
Let t(u) = u - 11. Let l be t(7). Sort -2, 11, 3, l.
l, -2, 3, 11
Suppose 5*n + 0*n = 0. Let o = 69 + -70. Sort n, o, -3 in descending order.
n, o, -3
Let q be (12/(-14))/((-3)/2). Let a(i) = -2*i + 3. Let k be a(2). Suppose 3*m = 7 - 1. Sort k, q, m.
k, q, m
Let j be (2 - 1)/((-1)/(-3)). Let u = 0 - j. Sort 2/5, u, 3 in increasing order.
u, 2/5, 3
Let c = 0.3 - 0.2. Let k(y) = -2*y - 13. Let q be k(-6). Sort c, q, 4 in decreasing order.
4, c, q
Let j = -20.1 - -15.1. Put 1, -1.5, j in decreasing order.
1, -1.5, j
Suppose -4 = -4*a + 2*a. Suppose 0 = 5*t - 0*s - 2*s + 12, -5*s = -5*t. Let z = t + a. Sort z, -0.5, 0.1 in decreasing order.
0.1, -0.5, z
Let a = -2759/903 - -201/43. Let r = -4/3 + a. Put r, 2/3, 3 in ascending order.
r, 2/3, 3
Let b = -7 - -6. Let d = -3 - b. Let i(k) = k. Let f be i(0). Sort 4, d, f.
d, f, 4
Let h = -29 + 28.5. Sort -4, -3, 1/6, h.
-4, -3, h, 1/6
Let y(c) = c**3 - 8*c**2 + 7*c + 3. Let b be y(7). Suppose -5*m = -b*s - 24 - 3, 5*m + 1 = -4*s. Suppose -q - 10 = -m*q. Sort 2, -1/8, q in decreasing order.
q, 2, -1/8
Let a = 20 + -11. Let i = 5 - a. Let t = i - -2. Sort -3, -0.1, t.
-3, t, -0.1
Suppose 3*f = -d + 6, 2*d + d + 6 = 3*f. Suppose 8 - 10 = 2*l. Sort f, -3, l in decreasing order.
f, l, -3
Let r = -10.7 - -11. Put r, 2/11, -1/3 in descending order.
r, 2/11, -1/3
Let x be 1*0/(6 + -4). Put x, -13, -2 in ascending order.
-13, -2, x
Let b(z) = 8*z**2 - 3*z - 2. Let l be b(3). Let p = l - 41. Suppose i = -3*i + p. Put i, -5, -2 in increasing order.
-5, -2, i
Let f be (1 - (-162)/4) + 1/(-2). Sort -5, f, 5 in ascending order.
-5, 5, f
Suppose 2*q + 0 = 6. Let x(o) = -o**3 + 2*o**2 + 3*o. Let s be x(q). Sort -2, 4, s in ascending order.
-2, s, 4
Let g = -70 + 74. Suppose 3 - 13 = 5*h. Let w be h*-1*(-3)/(-24). Sort w, g, 2.
w, 2, g
Let a = -1.4 - -1.2. Let y = 2 + -6. Let z = -5/12 - -23/36. Put z, y, a in ascending order.
y, a, z
Let x = 16 - 11. Let w = 5 - 2. Put 2, w, x in increasing order.
2, w, x
Let f = 44 - 43. Let q = -0.5 - -0.3. Let r = q + 0.5. Sort f, 0.4, r in ascending order.
r, 0.4, f
Let w = 0.075 + 0.125. Put 4, 0, w in decreasing order.
4, w, 0
Let g = -12 - -17. Suppose 6 = 3*a - 3*q, a + 4 = -g*q + 18. Sort 2, a, -2 in decreasing order.
a, 2, -2
Let f be -2 - (-1 - 6) - 4. Let x = -6 + 6.4. Put 0.5, x, f in decreasing order.
f, 0.5, x
Suppose 0 = 4*f - 8 - 36. Let y = f - 7. Sort -2/3, y, 2 in decreasing order.
y, 2, -2/3
Let x = -15.84 + 16. Let o = x - -0.04. Sort o, -5, -0.1.
-5, -0.1, o
Let y = -0.3 - -0.4. Let q = -10 + 10.1. Let i = q - y. Sort -0.2, i, 1 in decreasing order.
1, i, -0.2
Let z = 16 + -8. Let x = -12 + z. Sort x, -0.3, 4/3 in decreasing order.
4/3, -0.3, x
Let p(h) = -2*h**2 - 15*h + 5. Let u be p(-8). Sort -4, 3, u in decreasing order.
3, u, -4
Let p be (-2)/10 + (-118)/10. Let s = -17 - p. Sort -1, 2, s.
s, -1, 2
Let f = 3.8 - 3.5. Put -0.06, 2/15, -1/4, f in decreasing order.
f, 2/15, -0.06, -1/4
Suppose -2*o + 1 = p, 0 = 2*p - 0*p - 3*o + 5. Let d be (2/p + 0)/(-2). Let l = -15 + 15. Put d, l, 4 in descending order.
4, d, l
Let p = -21 + 21.98. Let z = p - -0.02. Put -0.4, -3, z in increasing order.
-3, -0.4, z
Let t(r) = -r**3 - 10*r**2 - r - 13. Let h be t(-10). Sort -4, h, 1.
-4, h, 1
Let r(y) = y - 2. Let b be r(1). Sort 1, 5, b in descending order.
5, 1, b
Let j be 6*2*(-9)/(-12). Let c be (-3)/j - (-2)/6. Let i = -1.95 + -0.05. Sort i, -0.3, c in ascending order.
i, -0.3, c
Suppose 22*h + 55 = 33*h. Let y = 3 - 0. Sort y, 4, h in decreasing order.
h, 4, y
Suppose 3*f = 4*t + 29, -8*t = -5*t + 5*f. Suppose 0 = -4*k - 0*k. Sort t, k, -4 in decreasing order.
k, -4, t
Let c = 60.3 + -58. Let h = -0.3 + c. Let w = -1.8 + h. Sort -0.2, 5, w in descending order.
5, w, -0.2
Let v = -32 - -54. Suppose l + 3*k + 14 = -l, 5*l = -k - v. Sort l, 3, 5 in ascending order.
l, 3, 5
Let g = -1.9 - -0.9. Sort -5, g, -4 in decreasing order.
g, -4, -5
Let t = -39783/52 - -765. Put 0, t, 2/11 in ascending order.
t, 0, 2/11
Let d = -12 - -15. Put d, -4, 3.2 in increasing order.
-4, d, 3.2
Let i = 0.02 - 3.02. Let y = 0 - i. Let s = -2.7 + y. Sort s, 3, -0.3 in decreasing order.
3, s, -0.3
Let p = -1.3 - -1.7. Let x = 27/38 - 4/19. Put -2/7, p, x in increasing order.
-2/7, p, x
Let m = -9 - -8.97. Let q = m - 0.07. Sort -5/4, q, -5.
-5, -5/4, q
Let i = -43/9 - -28/9. Let n be (-10)/12*2/(-5). Sort -4/3, i, n in decreasing order.
n, -4/3, i
Let s(c) = c - 3*c - 7 + c. Let x(k) = -k - 5. Let u be x(4). Let d be s(u). Put d, 0, 1 in decreasing order.
d, 1, 0
Suppose -7 = 5*z - 2. Let g(j) = j**2 - 8*j + 1. Let v be -1 - 9/(-6)*6. Let i be g(v). Put i, 0, z in increasing order.
z, 0, i
Let h be (4 - (-237)/(-33)) + 3. Put 0.1, h, -0.1 in ascending order.
h, -0.1, 0.1
Suppose -k = 3*k - 8. Suppose -5*n = -0*a - a - 6, 2*a = -2*n. Sort 3, n, k in descending order.
3, k, n
Suppose -4*s + 9*s = 5. Suppose 0 = -2*k + 4 - 0. Put k, 0, s in ascending order.
0, s, k
Let m = 0 + -6. Let q be ((-4)/m)/((-4)/(-6)). Suppose 3*o = -1 - 14. Sort q, 2, o in descending order.
2, q, o
Let v be -1 - -3 - 470/3. Let t = 153 + v. Let x = 0.086 + -1.086. Put 2/7, t, x in ascending order.
t, x, 2/7
Suppose 2*a - 8 = -2*a. Put a, -4, 1/4 in decreasing order.
a, 1/4, -4
Let q = -1.08 + -0.22. Let n = -0.3 - q. Sort -0.2, n, -0.1 in increasing order.
-0.2, -0.1, n
Let o(j) = j**2 - 8*j + 3. Let k be o(8). Sort 1, 0, k.
0, 1, k
Let c = 0.36 - 2.36. Let o = -50 - -199/4. Sort o, 3/7, c in increasing order.
c, o, 3/7
Let g = 3.958 - -0.042. Sort 0.5, -5, -3/7, g.
-5, -3/7, 0.5, g
Let k be 6/(5*4/10). Sort 4, k, -1.
-1, k, 4
Suppose 2*f - 4 = 6. Sort f, -5, 4.
-5, 4, f
Let t = 1 - -1. Suppose 10 = t*a - 7*a. Let f be (a + -1)*(-5)/(-3). Sort -0.1, f, 4/7.
f, -0.1, 4/7
Let m = 9 + -14. Sort m, 1, 0.
m, 0, 1
Let q(f) = -f**2 + 3*f - 2. Let a be q(2). Suppose 0*j - 5 = j. Sort j, a, 5 in decreasing order.
5, a, j
Let z = 8 + -2. Let a = z - 6.4. Let f = 1 + 2. Sort a, f, 1 in descending order.
f, 1, a
Let r = 0.3 + -0.1. Let u = 5.6 - 1.6. Put u, -2/7, r in ascending order.
-2/7, r, u
Let q be (28/21)/(4/(-6)). Let j be (-10)/(-3) - 1/3. Sort q, j, 5 in decreasing order.
5, j, q
Let c = -4.1 - -2.1. Let h = -1.2 - -0.2. Put h, -1/6, c in descending order.
-1/6, h, c
Let w = 331/6 + -55. Let x = 97 - 96.5. Put x, w, 2/15 in descending order.
x, w, 2/15
Let a be 5/((-50)/(-4))*5. Let i be (a/(-6))/((-3)/(-9)). Suppose 2 = 5*m - 3. Put 4, m, i in decreasing order.
4, m, i
Let r = -0.26 + -0.04. Let d = 3.3 - 2.7. Let z = r + d. Sort 3, z, -0.3 in ascending order.
-0.3, z, 3
Let n = -18 - -34. Let t = n - 12. Sort -0.4, -2/3, t in increasing order.
-2/3, -0.4, t
Suppose -6 = -7*s + 9*s. Suppose -32 + 7 = -5*n. Put n, s, -5 in increasing order.
-5, s, n
Let i be (-32)/12*(10 + -1). Let t be (-2 - -2) + (-4)/i. Let l be (-48)/70 + (-4)/(-10). Put t, -1, l in ascending order.
-1, l, t
Suppose 0 = -16*s + 5*s + 33. Let o(h) = 8*h - 2. Let t be o(2). Let u be 2/7 + (-4)/t. Sort s, 5, u.
u, s, 5
Let y = -72 - -60. Put -2, y, 1/6, 5 in increasing order.
y, -2, 1/6, 5
Let k = -8 + 6. Let p(q) = 4*q - 6. Let z be p(4). Let j be (6/(-5))/((-4)/z). Put j, -3, k in decreasing order.
j, k, -3
Let z = 0.12 - -7.88. Let r = 10 - z. Put -0.3, 3, r in ascending order.
-0.3, r, 3
Suppose 0*a - 20 = 4*a. Suppose 3*f - 4*o = -16, 2*f + 10 = 4*o - 2*o. Put f, 3, a in ascending order.
a, f, 3
Let b = -0.08 - -0.13. Let z = -0.05 + b. Let g = 0.3 - z. Sort g, -5, -0.1 in ascending order.
-5, -0.1, g
Let m = -0.06 + 0.46. Let h = m + 0.1. Let r = -3.1 - -2.8. Sort -4, h, r.
-4, r, h
Suppose -4*y - 3*a - 28 = a, a = y + 7. Sort 0, 3, y.
y, 0, 3
Let q(w) be the first derivative of -5*w**4/24 + w**2 - 1. Let h(a) be the second derivative of q(a). Let r be h(1). Sort 4, 5, r in descending order.
5, 4, r
Suppose -d - 3 + 2 = 0. Suppose 26 + 38 = 2*z - 2*j, 3*z - 2*j - 99 = 0. Suppose -3*i + z = 4*f - 0*i, 0 = i - 5. Sort f, d, -3 in increasing order.
-3, d, f
Let q(n) = -n**3 + n