-4))/(39/(-52)). Suppose 3*d + d - 4 = 0. Sort d, m, u.
m, d, u
Suppose 3*v - 25 = -2*v. Put 3, 1, v in ascending order.
1, 3, v
Let m = -0.1 + 0.1. Let o = m - 0.4. Let l = 29 + -29.2. Put -0.5, l, o in decreasing order.
l, o, -0.5
Suppose -5*l + 8 = 23. Let y be (10/(-6) - -1)*-3. Put y, l, -1 in increasing order.
l, -1, y
Suppose 4*j = j + 9. Let n be 0 - (-2 - (0 - 0)). Suppose 5*p = j*p - c + 2, -8 = -n*p - 4*c. Sort p, -2, -0.3 in descending order.
p, -0.3, -2
Let m be (-34)/187 + 15/22. Sort 1/6, 0, m, -0.5 in decreasing order.
m, 1/6, 0, -0.5
Let k = 3 - 7. Put 0.2, k, -1/4 in decreasing order.
0.2, -1/4, k
Let o = -0.94 + 0.04. Let j = o + 0.4. Let h = -2/127 - -141/889. Sort -0.1, h, j in decreasing order.
h, -0.1, j
Suppose o - 4 - 2 = 0. Let w = -9 + o. Put 4, w, 0 in decreasing order.
4, 0, w
Suppose 0*i - 6 = -2*i. Put 4, i, 5 in increasing order.
i, 4, 5
Suppose -3*u = 5*v + 29, 2*u = -10 + 4. Let s = 5 + 0. Suppose -4*k + 30 = -2*r + k, 0 = 5*r + s*k + 5. Put v, r, -3 in decreasing order.
-3, v, r
Let u be 2/11 - 420/132. Sort 1, u, 0 in descending order.
1, 0, u
Let c = -137 + 139. Sort -4, c, 5.
-4, c, 5
Let h = -8 + 8.9. Let y = 4.1 + h. Sort -0.4, y, -1/3 in decreasing order.
y, -1/3, -0.4
Suppose -6*o = -2*o. Suppose o = 2*b - b + 2. Let q(y) = y**2 + 7*y + 2. Let v be q(-7). Sort b, v, -5.
-5, b, v
Let v = 4.1 - -0.9. Sort v, 2/7, -0.1 in increasing order.
-0.1, 2/7, v
Let i be ((-64)/(-4))/1 + (-6 - -3). Put 0, i, -5, -2 in increasing order.
-5, -2, 0, i
Let m(v) = 56*v + 2. Let y be m(4). Let p = -2032/9 + y. Sort p, -4, -1.
-4, -1, p
Suppose 10 = 2*u - 0. Suppose 2*x + 0*x - 9 = i, x - 5*i - 18 = 0. Put -3, x, u in descending order.
u, x, -3
Suppose 0 = -w, 4*w = 4*v + v - 5. Put v, -2, 4 in descending order.
4, v, -2
Suppose -2*l - 24 = -0*l. Sort l, -4, -1 in ascending order.
l, -4, -1
Let b = -22 + 2. Let i be b/(-12)*(1 + -4). Let h be 0 + 5 - (0 - -1). Sort i, -3, h in descending order.
h, -3, i
Let c = 3.7 + -0.7. Sort -1, 0, c in descending order.
c, 0, -1
Let d = -461/9 + 51. Let r = 2.4 - 2. Put d, -5, r in ascending order.
-5, d, r
Let y = -2/309 + -596/3399. Let o be 0 + -2 - 16/(-4). Suppose -11 = o*a - 5. Sort a, y, -2/7 in increasing order.
a, -2/7, y
Let j be 1 + 3*1/(-3). Sort j, 4, -2 in ascending order.
-2, j, 4
Suppose 4*u + 0 = -4*g + 20, g = 2*u - 10. Let b = -2.3 - 0.7. Sort b, 0.3, g.
b, g, 0.3
Let c(o) = o**2 + 10*o - 7. Let f be c(-11). Let d be (-3 - (-5)/3)*3. Put d, f, 1 in increasing order.
d, 1, f
Let o = -7 - -3. Suppose -2*i - i = 3. Sort 0.2, o, i in descending order.
0.2, i, o
Let v be 21/(-14)*(-16)/6. Suppose 5*s - 3*s = v. Suppose -3*d - 8 = -4*l, 0*d = s*l - d - 4. Put -3, l, 3 in descending order.
3, l, -3
Let k be (-14)/8 - 1/4. Let y = -721/88 - -86/11. Sort 5, y, k in increasing order.
k, y, 5
Suppose 0 = -2*h + 6 - 2. Put 4, h, -3 in decreasing order.
4, h, -3
Let d = -23 - -28. Sort -5, -4, d.
-5, -4, d
Suppose 3*j + 15 = -2*j + 5*l, 2*j + 4*l + 6 = 0. Let n = -3125519/54712 - -12/6839. Let f = n - -57. Put -1, j, f in decreasing order.
f, -1, j
Let j = -0.1 - -14.1. Let u = -16 + j. Sort 0.3, 1/8, u.
u, 1/8, 0.3
Suppose -4 = 3*i - 1. Suppose 9*b = 4*b + 2*u - 21, 4*b - 3*u + 21 = 0. Sort i, 0, b.
b, i, 0
Let p = -5 - -8. Let u = -0.05 + -0.95. Let t = u + 1.2. Sort p, t, 1 in descending order.
p, 1, t
Let c be -2 + (0 - 4*1). Let f be 6/(-4)*(-10)/c. Let g = 39 + -35. Sort g, f, 0.
f, 0, g
Let o = 2/25 + -33/100. Sort 3, -3/7, o.
-3/7, o, 3
Suppose -2*y + 24 = 4*i, -3*i + 0*y = -3*y. Suppose 0 = 3*w - i + 1. Put 5, w, 0 in decreasing order.
5, w, 0
Let w be 1/1 - (7 - 9). Sort w, 1, -3.
-3, 1, w
Let s = 1.02 - 0.02. Let w = s - 2. Put -0.4, w, -5 in ascending order.
-5, w, -0.4
Suppose -19*y = -22*y - 12. Sort 0.4, -8, y, -1 in descending order.
0.4, -1, y, -8
Let k = -20 - -19.94. Sort -2/7, 0.2, k, 0.3 in descending order.
0.3, 0.2, k, -2/7
Let k be 5 - (0 - (-3)/3). Let f = k + -7. Let o be (-1 + (-15)/(-12))*f. Sort -5, o, 0 in decreasing order.
0, o, -5
Let l(v) = 5*v**2 - 16*v + 1. Let s be l(3). Suppose 3*t - 15 = 5*x - 3*x, -5*x = 2*t - 10. Sort -4, t, s.
-4, s, t
Let x = -1.94 + -0.06. Let q = -197.5 - -155. Let n = q - -42. Sort n, -3, x in decreasing order.
n, x, -3
Let s = -1856/1555 + -2/311. Sort s, -9, -1/2.
-9, s, -1/2
Suppose 0 = -0*j - j - 5. Put j, -0.5, -5/4 in descending order.
-0.5, -5/4, j
Let i be (-80)/(-90) + (-1)/(2 - 1). Sort 11, 0.1, i in ascending order.
i, 0.1, 11
Let a = 102 + -91.4. Let k = -11 + a. Sort -5, 3, k in ascending order.
-5, k, 3
Let t be -1 + (-8)/28 + (-46)/(-14). Put -5, -14, t in ascending order.
-14, -5, t
Let w = -3.4 + 4. Let y = w + -1. Let n be ((-6)/15)/(3/5). Put n, 3/7, y in increasing order.
n, y, 3/7
Let d(a) = -3*a - 1. Let j be d(-1). Let m = -4.12 + 12.12. Sort j, 3, m in decreasing order.
m, 3, j
Let x be ((-2)/(-4)*0)/1. Suppose -m + x = 2. Let q = 4 + 0. Sort q, -4, m in decreasing order.
q, m, -4
Let u = 75.1 - 75. Put 0.5, -3, -4, u in decreasing order.
0.5, u, -3, -4
Let w be ((-11)/(-99))/((-2)/(-2284)). Let g = w + -127. Put g, -1/2, 0.3 in decreasing order.
0.3, g, -1/2
Let k = -0.1 - -0.1. Let f = 0.3 - k. Let r be (-12)/16*(-1 - (-1)/3). Put 2/3, f, r in ascending order.
f, r, 2/3
Let m = -19 - -18. Sort -4, m, 2 in increasing order.
-4, m, 2
Suppose -9*p = -5*p. Suppose -2*x + 1 - 3 = p. Suppose -3*r - 3 = z - 0, 2*r + 4*z + 12 = 0. Sort -5, x, r in ascending order.
-5, x, r
Let b = 0.04 - 3.04. Let h be -1 + 2 + (-5 - -2). Suppose 0 = -x - 0*v + 5*v + 2, -2*x + 4*v = -4. Sort h, x, b in increasing order.
b, h, x
Suppose -2 = -j + 3, 0 = -5*g + 2*j - 10. Let c = -0.3 + 5.3. Sort c, -5/3, g.
-5/3, g, c
Suppose 5*z = 6*z + 5. Let x be (1/1)/(-19 + z). Put 0.1, x, 1/3 in increasing order.
x, 0.1, 1/3
Let w(u) = u**2 + u - 4. Let j be w(-4). Let s = 11 - j. Sort 5, -4, s.
-4, s, 5
Let j = 36 + -41. Let q(k) = k**2 - 2*k - 3. Let i be q(-3). Suppose 2*p + 2*c - 4 = 4*p, 3*p + 3*c = i. Sort j, -2, p in ascending order.
j, -2, p
Let k = 1.01 - 0.01. Let i = k + -2. Sort -0.4, i, 0.
i, -0.4, 0
Let f be (-4 + (-7)/(-2))*-10. Sort 0, -2, f in decreasing order.
f, 0, -2
Suppose -g = 9 + 1. Let p = -13 - g. Let z = -4 - -2. Sort z, -4, p.
-4, p, z
Let t = 3.8 + -0.8. Let d = 0.5 - 0.6. Sort d, t, -1/2 in descending order.
t, d, -1/2
Let k be (1 - -2)/((-21)/(-28)). Sort 2, -26, k in decreasing order.
k, 2, -26
Let i = 2.65 - 0.65. Suppose d - 2*r + 13 = 0, -29 = d + 4*d - r. Sort -0.3, i, d in descending order.
i, -0.3, d
Suppose -7*f - z = -3*f - 7, 4*f = -2*z + 2. Sort 1, -9, f, 2/3 in increasing order.
-9, 2/3, 1, f
Let i(z) = z**2 - 3*z + 3. Let l be i(3). Suppose -5*g = -3*b + 8 + 22, 0 = l*g - b + 14. Let r be 4/(-6)*9/(-2). Put 4, g, r in ascending order.
g, r, 4
Suppose 0*y + y = 7. Suppose z - y = -2. Sort 1, 4, z.
1, 4, z
Let v = 0.051 + 0.949. Sort -1, v, -0.2 in ascending order.
-1, -0.2, v
Let q = 1615/11 - 147. Put -1, q, -5 in ascending order.
-5, -1, q
Let k(s) = -s**2 - 3*s + 3. Let t be k(-5). Let q = 12 + t. Suppose -2*r - 3*r + 20 = 0. Sort r, q, 0.
0, r, q
Let c(z) = -z + 5. Let n be c(5). Let t(f) = -f**3 + 11*f**2 + 13*f - 12. Let s be t(12). Let j be (-16)/10 - (s + -2). Sort j, n, -2/3.
-2/3, n, j
Let q = -183128446/28444605 + -6/270901. Let b = -46/7 - q. Let z = 0.4 - 0.9. Sort b, z, 3 in ascending order.
z, b, 3
Suppose -2*l + 75 = -285. Let o be (l/(-48))/(6/16). Sort -2, o, 1 in decreasing order.
1, -2, o
Let h = 0 + -0.2. Let t = -0.7 - 4.3. Suppose -2*x - 6 = -14. Put h, t, x in ascending order.
t, h, x
Let i = -45 + 40. Let p = 3.4 + -0.4. Let q = p + 0. Put i, -1/8, q in descending order.
q, -1/8, i
Let f(y) = y**3 + 3*y**2 + y - 1. Let q be f(-2). Let a = -3 + 3. Let l be 2*-1 + a + 7. Sort l, -5, q in descending order.
l, q, -5
Suppose f + 3*f - 20 = 0. Let o(v) = v**2 + 5*v - 1. Let d be o(-4). Put 3, d, f in descending order.
f, 3, d
Suppose -2*u + 6*u = -5*x + 13, 0 = -3*u + x + 5. Let i(s) = -s**2 + s. Let k be i(0). Suppose -5*g + 0 = 5. Put u, k, g in decreasing order.
u, k, g
Suppose -4*d = d - 10. Sort d, 0.3, -5.
-5, 0.3, d
Let m = 5 - 6.8. Sort m, -3, -5 in ascending order.
-5, -3, m
Let d be 10/45*(-4 - -1). Sort d, -0.4, 2/5.
d, -0.4, 2/5
Let b = 5.12 + -5. Let 