-3. Let l = d - m. Put l, -1, 3 in increasing order.
-1, 3, l
Suppose 0*u - 26 = -5*u - 3*s, -27 = -3*u + 2*s. Let d = u - 6. Put 3, -4, d in descending order.
3, d, -4
Let c = -0.08 + -0.08. Let t = 0.8 - 0.86. Let s = c - t. Sort 0, s, 2 in descending order.
2, 0, s
Let q = 19 - 19.01. Sort 3/4, q, 0.4.
q, 0.4, 3/4
Suppose -6*b + b = -15. Put 6, b, 1 in descending order.
6, b, 1
Let p(l) = l**3 - 3*l**2 - 5*l - 1. Let c be p(4). Let b = -14.8 + 15. Sort -2/17, c, b in increasing order.
c, -2/17, b
Suppose -2*t - 7 = 4*f + 19, 0 = -5*f + 2*t - 55. Sort 5, -5, f.
f, -5, 5
Let l(y) = y + 2. Let s be l(7). Suppose q = 1 - s. Let h be q/(-6)*12/4. Sort -4, h, -1 in increasing order.
-4, -1, h
Let o(c) = c**3 + 2*c**2 + 1. Let i be o(-3). Sort -3, i, 1, 2 in decreasing order.
2, 1, -3, i
Let r = 1 + -6. Let i = r - -5.2. Sort -7, i, -3/4 in increasing order.
-7, -3/4, i
Let g be -2 + 5/(75/36). Let j = -1946/2585 - -6/235. Let r = -162/253 - j. Sort 1, r, g in increasing order.
r, g, 1
Let s = 14 - 12. Suppose -6*b - 8 = -s*b. Put 2, -1, b in increasing order.
b, -1, 2
Suppose -2*x - 2*c = -8, c = 5*x + 2*c - 20. Suppose x*t = 3*t. Sort t, 5, -5 in descending order.
5, t, -5
Let f(h) = -4*h**3 - h**2. Let w be f(-1). Suppose -2*q - w*m - 1 = 6, 3*m + 35 = 5*q. Sort -4, 1, q.
-4, 1, q
Suppose -3*b + 2*b + 3*m = -8, -3*b + 66 = 5*m. Let f = -22 + b. Sort -4, f, -1 in ascending order.
f, -4, -1
Suppose -5*q = 15, -4*o - 3*q = -5*q + 10. Sort o, 4, 21.
o, 4, 21
Let a(z) = -z**3 - z**2 - 5. Let m be a(0). Suppose -5*d - 22 = -2. Sort d, m, -1 in decreasing order.
-1, d, m
Let n = 1 - 3. Let g be (-1*n/10)/(-1). Sort g, -2, 0 in descending order.
0, g, -2
Let g = -0.113 - 15.487. Let v = g + 16. Put -5/2, v, -5 in descending order.
v, -5/2, -5
Let j(f) = -f - 8. Let y be j(-8). Let c(s) = 3*s - 1. Let i be c(1). Let o be 1*i*5/2. Sort y, -3, o in decreasing order.
o, y, -3
Suppose -c + 5 = w + 2*c, -5*w + c - 23 = 0. Let o be w/6*(-6)/4. Let r(g) = 2*g**3 - g**2 + 2*g - 1. Let k be r(o). Put 4, k, -1 in decreasing order.
4, k, -1
Let y = -475/11 + 43. Let u = -0.4 - -0.8. Sort y, u, -1/4 in decreasing order.
u, y, -1/4
Suppose -x = 3*q - 6, -5*x + 0*x = 5*q. Let l(y) = -4*y - 6. Let o be l(-4). Let i = 15 - o. Put x, 3, i in ascending order.
x, 3, i
Let n be (5/(-30))/(2/(-6)). Let q = -51476 + 361051/7. Let l = q - 103. Sort l, 0.1, n.
l, 0.1, n
Let u be (3/(-12))/((-6)/(-8)). Put 3, u, 5 in increasing order.
u, 3, 5
Let x = 16.01 + -0.01. Let w = x - 14. Put 0.2, -3, w in ascending order.
-3, 0.2, w
Let h be 1 + 0 - (3 - 5). Suppose h*r + 9 = -3. Suppose -4*y = p + p, 7 = 3*y - 2*p. Put r, y, -3 in decreasing order.
y, -3, r
Let z(g) = -g**3 - 10*g**2 + 2. Let b be z(-10). Put 4, b, -1 in ascending order.
-1, b, 4
Let v = 70/71429 - -553787427/1642867. Let k = -337 + v. Sort k, 0.3, 1/3.
k, 0.3, 1/3
Let m = 153 - 455/3. Let c = -4.4 - -4. Put c, 1, m in decreasing order.
m, 1, c
Let j be 14/6 - (-1)/(-3). Suppose -2 + 6 = j*k. Put 3, k, 1 in increasing order.
1, k, 3
Let v = -1 + 2. Let y be (-7)/(21/12) + 7. Put 5/6, y, v in increasing order.
5/6, v, y
Let q = -3 + 3. Let h = -0.4 - -0.5. Let z be -7 - (-5)/((-5)/(-2)). Sort q, h, z.
z, q, h
Suppose 0*y - 12*y = -60. Put -1/3, -1, 10, y in descending order.
10, y, -1/3, -1
Let t(c) = 2*c**2 + 3*c + 1. Let i be t(-2). Let a be -4*(-18)/24 + 4/2. Sort 0, i, a in decreasing order.
a, i, 0
Let i = 469.93 - 467. Let z = i - -0.07. Sort z, 8, -1 in increasing order.
-1, z, 8
Suppose 2 + 4 = 2*y. Suppose -4*q = 3*b + 4, -11*q + 13*q = -3*b + 4. Sort 5, y, b.
y, b, 5
Suppose 0*s + 6 = 6*s. Sort 0, 3, s.
0, s, 3
Let m be 0/(-2) + 5*-1. Let n be 7 - 6 - (-1 + -1). Suppose -2*a + 7 = n*r - 0*a, -2*a = -2*r + 8. Sort r, m, -3.
m, -3, r
Let j = -1 + 0. Let u = j - 0. Let i(s) = -s**2 + s + 3. Let d be i(3). Sort u, d, -0.1 in descending order.
-0.1, u, d
Let p = -5.44 - -5.9. Let a = p - 0.06. Let x = -0.6 - a. Put 3, x, 0.1 in descending order.
3, 0.1, x
Let s be -2 + 1*-2 + 0. Let k = s + 0. Suppose 5*d = 4*c + 45, -5*c - 44 = -5*d + 6. Sort -1, k, d in descending order.
d, -1, k
Suppose 5*n + 2*o + o - 30 = 0, -5*n - 5*o + 40 = 0. Suppose 9*z - 12*z = 3*t, -z + 3 = 4*t. Sort 5, n, t in increasing order.
t, n, 5
Suppose 0 = 12*s - 3*s. Put 4, 2, s, -3 in descending order.
4, 2, s, -3
Let h = -4 + 3.6. Let z = -18.94 + 19. Let u = z + -0.56. Sort 1, h, u in increasing order.
u, h, 1
Let b(y) = y - 6. Let d be b(8). Put d, 4, 3, -3 in decreasing order.
4, 3, d, -3
Let r = -27/5 + 5. Sort r, 3, -3/13 in increasing order.
r, -3/13, 3
Let w = 0 - -3. Let n = -126 - -126. Suppose 2*u - 4*u + 26 = 4*t, -4*u + 20 = 0. Sort t, n, w in increasing order.
n, w, t
Suppose 0 = 2*j + 9 - 5. Sort -5, -3, j in decreasing order.
j, -3, -5
Let g = 2.5 - 2. Let k = -1 - 2. Sort -1, g, k in descending order.
g, -1, k
Let d = 3 + -8. Put -7, d, -3 in decreasing order.
-3, d, -7
Suppose -2*q + 13 = m, 0*q + 5*m + 1 = q. Let k = 3 - q. Suppose -4 = -y + 3*y. Put 3, k, y in decreasing order.
3, y, k
Let l = 0.4 - 0.4. Let x be 25/(-40) + 3/4. Put l, 1/4, x in descending order.
1/4, x, l
Let x = 1.3 - 1. Suppose -14 = 3*f + 25. Let r be (-10)/5 + f/(-8). Sort x, -3, r in decreasing order.
x, r, -3
Let w(p) = p**2 - 5*p - 2. Let n be w(6). Let m = -63 - -64. Put m, -1, n in decreasing order.
n, m, -1
Let p = 95.9 - 92. Let y = 0.1 + p. Sort 0.5, y, -1 in increasing order.
-1, 0.5, y
Let n be 19/(-15) + (-10)/(-6). Sort 2/17, -1/5, n in descending order.
n, 2/17, -1/5
Let v(r) = -r**3 - 6*r**2 - r - 4. Let x be v(-6). Put -3, x, 4 in decreasing order.
4, x, -3
Let j = 5 + -8. Sort -12, -2, j in decreasing order.
-2, j, -12
Suppose 98 = 9*q + 17. Sort q, -4, -2, 3 in decreasing order.
q, 3, -2, -4
Let r = 0.3 + -3.3. Let f = r + 4. Let m = -0.02 + -0.28. Put f, m, -2/11 in ascending order.
m, -2/11, f
Let k = -5 - -16/3. Put 5, k, -0.1 in descending order.
5, k, -0.1
Let w = -5.4 + 0.4. Let v = w - -4.9. Sort -4, v, 1.
-4, v, 1
Let j = 642 - 1943/3. Let c = 7 + j. Sort c, 2/3, 0.2 in decreasing order.
c, 2/3, 0.2
Let s(y) = -5*y - 5. Let d be s(4). Sort 1/3, 5/6, -2, d in descending order.
5/6, 1/3, -2, d
Suppose 5 = -3*i - y - 8, y + 1 = 0. Let g(n) = n**3 + 1. Let d be g(0). Let z = 1 + d. Put z, 3, i in decreasing order.
3, z, i
Suppose -5*j + 3*i = -10, -6 = -5*j - 4*i + 4. Put -3, -5, j in descending order.
j, -3, -5
Suppose -q - 3 = -2*u, 4*q + 1 = u - 4. Sort 5, 4, u, -3 in increasing order.
-3, u, 4, 5
Let n be ((-82)/(-39))/((-2)/81). Suppose -9*j - 340 = -5*j. Let k = j - n. Sort -4, k, -3/4 in descending order.
k, -3/4, -4
Suppose 4*f + 9 = -7. Let w = 3 - 3.1. Let h = 0.4 - w. Sort f, h, 1/9 in increasing order.
f, 1/9, h
Suppose -2*j - 3*j = 5. Let r = 0.24 - -0.76. Let h = 0.1 - 0.1. Put r, j, h in ascending order.
j, h, r
Let o(i) = -i**2 + 3*i + 5. Let m be 2/(-4)*2*-4. Let s be o(m). Suppose 4 - 1 = -4*c + 5*h, 3*c - 3 = 2*h. Sort -4, s, c in ascending order.
-4, s, c
Let r(z) = -z**3 + 5*z**2 - 7*z + 5. Let x be r(4). Let y = x - -3. Sort y, -1, -2.
y, -2, -1
Let f = 14 - 9. Suppose -2*d - 3*m + 12 = -m, d - 14 = -f*m. Suppose 0 = -5*w - 19 + 9. Sort d, w, 0.
w, 0, d
Let j = -1 - 0. Let r = -4 + 9. Sort r, 0, j.
j, 0, r
Suppose 0 = -3*n - p - 1, n - 3*p + 17 = -0*p. Let r be -2 + (n/(-3) - -2). Sort -0.2, r, 0.3 in descending order.
r, 0.3, -0.2
Let l be 16/7 - (-6)/(-21). Let a be l - (-699)/12*1. Let v = -60 + a. Put -0.3, -3, v in descending order.
v, -0.3, -3
Suppose 3*m = -2*n + 10, 2*m + n + 3 = 8. Suppose d + 2 = 3*d. Sort m, d, -2.
-2, m, d
Let u = -122 + 1340/11. Sort u, -1/4, -0.6 in increasing order.
-0.6, -1/4, u
Let s(y) = y**2 - 6*y. Let l be s(5). Suppose 0 = 11*h - 30 - 3. Put h, 0, l in decreasing order.
h, 0, l
Suppose 3*i - 58 = -64. Let f be 4*(-1)/(-6)*3. Sort f, 3, i.
i, f, 3
Let t = 7 - 4. Let d = 12 - 11.5. Sort d, t, -0.3 in decreasing order.
t, d, -0.3
Let z be 6/(-3)*1/(-1). Let n be (-1 - (1 - z)) + 2. Suppose 2*c + 6 = -4*l, c - 11 = 2*l + 2. Sort l, n, -3 in descending order.
n, -3, l
Suppose 4*n = -x - 0*x - 23, 2*x = -3*n - 21. Sort 5, -14, n, -3.
-14, n, -3, 5
Let j = -1 + 5. Let g = -189 - -188. Put g, 1/3, j in ascending order.
g, 1/3, j
Let f = 6.06 - 6. Let o = f - -0.84. Let p = 