 1 = 0, d + 15 = n*d. Sort i, r, 5.
i, r, 5
Let v = -24 + 23.5. Let l be 4/15*(-6)/4. Put v, 4, l in descending order.
4, l, v
Suppose 0 = m + 2*m + 3*w - 24, 5*w = -4*m + 35. Sort -19, -3, m in descending order.
m, -3, -19
Let u be (21/9)/(4/(-24)). Put -5, 2/17, u in ascending order.
u, -5, 2/17
Let x = 1.1 - 0.1. Let k = 0 + x. Let f = -10 - -14. Sort k, 0.02, f in descending order.
f, k, 0.02
Let l = 0.05 - -0.35. Let u = l - 0.4. Let t be -2 + 0 + 4/(-2). Sort u, -0.1, t in decreasing order.
u, -0.1, t
Suppose -4*s + 15 = -m, -s + 3*s = 8. Let o = 1/83 + 78/415. Sort 3, m, o in decreasing order.
3, m, o
Suppose -2 = 4*t - 6. Let a(x) = x - 2. Let q = 1 - 4. Let i be a(q). Sort t, 4, i in decreasing order.
4, t, i
Let l = -132.2 - -132. Sort 5, l, 0.2, -0.1 in descending order.
5, 0.2, -0.1, l
Let z be ((-6)/(-21) - 0)/(-2). Let f = 78231/13 + -6033. Let k = -2996/195 - f. Sort k, z, -0.1 in decreasing order.
-0.1, k, z
Let t = 18 - 16. Let q(d) = -d**3 + 4*d**2 - d - 1. Let x(r) = r**3 - 4*r**2 + r. Let z(b) = 4*q(b) + 5*x(b). Let j be z(4). Sort j, t, -2 in descending order.
t, j, -2
Suppose 9 = 15*m - 12*m. Suppose 3*j = j - 8. Suppose 0 = -3*q + 4*d + 15, -5*d + 4*d = -4*q + 20. Put j, m, q in descending order.
q, m, j
Let j(f) = f + 2. Let d be j(1). Let v be 3/(-9) + 1/3. Let m be 2 + -1 + v + -6. Sort -3, d, m in descending order.
d, -3, m
Let h be (-15)/(-12) + (-21)/(-28). Sort 1, h, -7 in decreasing order.
h, 1, -7
Let d = 4 - 7. Let t(c) = -c**3 - 4*c**2 - c + 3. Let u be t(d). Let y(j) = -j**2 + 5*j + 1. Let h be y(4). Put h, -1, u in descending order.
h, -1, u
Let t = -0.86 + 1.06. Put -2/57, t, -0.4 in descending order.
t, -2/57, -0.4
Let u = -1.85 + -0.15. Let l = -0.7 + -0.3. Let x = -1 + 1.1. Sort l, u, x in increasing order.
u, l, x
Suppose -8 = 2*t - 0*t. Let r(f) = 6*f - f + f**2 - 2*f - 3. Let z be r(t). Sort z, -3, -0.2 in descending order.
z, -0.2, -3
Let o(q) = 40*q. Let f be o(-1). Let z be f/18 - 2/(-9). Suppose -4*g + 2*j + 7 = -3, 0 = -g - 2*j. Put z, g, 1 in ascending order.
z, 1, g
Let m = 43 - 43.3. Let j(b) = b - 7. Let h be j(8). Put m, -1, h in descending order.
h, m, -1
Let p(q) = 103*q**2 + 2*q + 1. Let c be p(-1). Suppose -3*m + 6*m = -c. Let h be m/(-10) + (-4)/10. Put 4, 2, h in ascending order.
2, h, 4
Let h(j) = -2*j**3 - 2*j**2 - 3*j - 1. Let v be h(-1). Sort 3, v, -3, -5 in increasing order.
-5, -3, v, 3
Let z = 4/91 + -8/13. Put z, -0.6, -4 in decreasing order.
z, -0.6, -4
Let d = -24 - -19. Sort 10, d, -6/7 in ascending order.
d, -6/7, 10
Let l = 11.3 - 10. Let i = 0.7 + l. Sort i, -0.5, 2/11 in increasing order.
-0.5, 2/11, i
Suppose -3*w + 23 = -8*w + 2*b, -2*w - 2*b = -2. Suppose 0*i + 3 = -l + i, 5*i = l + 15. Put 5, w, l in increasing order.
w, l, 5
Let f(s) = -s - 6. Let c be f(-4). Let z = 2 + -2. Let v = c - z. Sort -3, -4, v in decreasing order.
v, -3, -4
Suppose 3*a = -0*a + 5*r - 9, 3*r - 1 = 4*a. Sort -4, -2, -5, a in ascending order.
-5, -4, -2, a
Let n = 5 - 4. Let a be 18/(-22) - 2/11. Sort a, n, -4 in descending order.
n, a, -4
Let r = -2846945/63 + 45191. Let y = -10/9 + r. Let k = 248/735 + -10/49. Sort -3, y, k.
-3, k, y
Suppose -2*g + k = -8, g - 6 - 3 = -2*k. Put 0.3, 1, g in decreasing order.
g, 1, 0.3
Suppose 3*m = -2*l - 20, 7*m = 2*l + 2*m - 12. Let i(k) = -k**2 - k - 1. Let z be i(0). Put z, l, 5 in decreasing order.
5, z, l
Let y = -33 - -28. Sort 2, y, 5.
y, 2, 5
Suppose 0 = -0*o - 2*o + 10. Suppose 5*p + 4 + 1 = 0. Let w be ((-12)/20)/(p/5). Put o, w, 1 in increasing order.
1, w, o
Suppose -5*k - 3 = 2. Suppose 2*z - 7 = 3. Sort k, 3, z.
k, 3, z
Let m = -10.3 - -0.3. Let i = m + 10.5. Let a = 5.04 - 0.04. Sort a, 4, i in decreasing order.
a, 4, i
Suppose i - 7 = 2*y, -3*i + 5 = -2*y - 8. Let s(t) = t**2 + 2*t + 1. Suppose 0 = m + m + 2. Let q be s(m). Put 2, i, q in descending order.
i, 2, q
Let h = -84.5 + 84. Let a = 6 - 6.4. Sort a, h, 5.
h, a, 5
Suppose 3*a - 2 = 16. Suppose 0 = -5*k + 7*s - 2*s + 95, 4*s - 36 = -3*k. Suppose 0 = 2*l - k + a. Sort 2, l, 3.
2, 3, l
Suppose l + 2*f - 5*f = -4, -4 = l + 5*f. Put 5, -1, l in descending order.
5, -1, l
Suppose 0 = y - 4 + 1. Put 4, 0, y in ascending order.
0, y, 4
Let v = -1 - -3. Let r be 2/(-2) - (-6)/(-6). Let g be r + (2 - 1 - -1). Sort v, g, -1 in ascending order.
-1, g, v
Let w = -178.98 + 183. Let y = w - 0.02. Let x = -7 + y. Sort -4, -5, x in decreasing order.
x, -4, -5
Suppose 9 = 7*p - 5. Sort p, 4, -2, 5.
-2, p, 4, 5
Suppose 0*w + 9 = 3*w. Let l = -6 + 2. Let z = -8 - l. Sort z, w, -5 in descending order.
w, z, -5
Let a = -0.035 + 0.135. Sort a, 0.01, -2/9, 5 in increasing order.
-2/9, 0.01, a, 5
Let n = 577/35 - 81/5. Put -4, -5, n in descending order.
n, -4, -5
Let v = -16.24 - -16. Let y = v + 0.24. Let m = -159 + 792/5. Put y, m, 5 in decreasing order.
5, y, m
Let c be (2/2)/(19/(-57)). Sort 2/37, c, -4 in descending order.
2/37, c, -4
Let x = -2 - -11. Let g = -8 + x. Put -3, g, -0.3 in descending order.
g, -0.3, -3
Suppose 3*u + 36 = 4*u. Suppose -u = -w - 14. Suppose 0*k + 2*t = -4*k + w, 0 = k + 3*t - 18. Sort 2, 0, k in descending order.
k, 2, 0
Suppose -5*x - 11 + 6 = 5*a, 4*a - 21 = x. Suppose -5*u - 2 = -4*u. Put a, -5, u in decreasing order.
a, u, -5
Let c(o) = 5*o + 1. Let z be c(1). Suppose -s = 2*r - z*s + 26, 0 = -3*r - 2*s - 1. Let i(q) = -q**2 + 7*q - 4. Let m be i(7). Put m, r, -1 in ascending order.
m, r, -1
Suppose 0 = 2*c - 7 - 1. Let v(j) = -j**2 - j + 4. Let f be v(0). Suppose y + 3*y = -f. Put c, y, 3 in descending order.
c, 3, y
Let g = 2 + 0. Let x(r) = r**2 + 13*r + 15. Let y be x(-12). Suppose 5*d + 4*s + y = 0, -d - 1 = 3*s - 7. Put d, g, -0.1 in descending order.
g, -0.1, d
Let u = 1 + 1. Let k = 18/13 - -1/65. Let n = k + -6/5. Sort n, u, -1/5 in increasing order.
-1/5, n, u
Let b = -7 - -5. Let z = b - 4. Let u = -8 - z. Sort -0.3, u, 2/9 in decreasing order.
2/9, -0.3, u
Let j(i) = i**2 - 5*i - 1. Let x be j(6). Let a be 9/(-1)*10/3. Let u be -2 + (0 - 63/a). Sort x, -4, u in ascending order.
-4, u, x
Let x = -11 + 12. Sort x, 4, -4.
-4, x, 4
Let o = -4 + 11. Let s be (0 + 3 - o)/(-14). Sort -1, s, 0.3 in increasing order.
-1, s, 0.3
Suppose x - 3*x - 3*z + 7 = 0, 4*x = -3*z + 5. Sort 0, x, -5, 3 in ascending order.
-5, x, 0, 3
Let z(a) = -a**2 - 4*a - 3. Let u be z(-7). Let q be (2 - 4) + 3 - u. Suppose 3*m = -r + 4*m + 10, 3*r - q = 2*m. Sort r, -5, 3 in descending order.
r, 3, -5
Let w = 52 + -211/4. Put w, -0.5, 0, 1/6 in decreasing order.
1/6, 0, -0.5, w
Let y = -3.46 + -0.54. Put y, 2/19, 1.5 in decreasing order.
1.5, 2/19, y
Let v = -16 - -11. Let x(a) = -a**3 + a**2 + a - 2. Let s be x(0). Let p be 1 + s + 3 + 1. Put v, p, 4 in descending order.
4, p, v
Let h be (-18)/(-3) + 3/(-1). Put h, 1, -3 in ascending order.
-3, 1, h
Suppose 0 = -4*v - v - 20. Let u be 11 + (1 - -1) + v. Let o = u + -14. Put 4, 2, o in ascending order.
o, 2, 4
Suppose 9 = 3*s - 6*s. Let n = -2 - s. Sort n, -3, -5.
-5, -3, n
Let h(w) be the first derivative of 4*w**3/3 + w**2/2 + w - 1. Let a be h(-1). Let s(i) = 3*i + 4. Let z be s(-3). Put a, -3, z in increasing order.
z, -3, a
Let n = -0.69 - -0.6. Let u = n - 2.91. Sort u, 4, -1.
u, -1, 4
Let t(m) = 0 + 0 - 1 + m. Let i be t(2). Put 0, i, -4 in ascending order.
-4, 0, i
Let t(g) = 2*g - 11. Let q be t(8). Let i be (8/q)/((-4)/(-20)). Suppose -i = 4*f - 0*f. Sort 2, f, 5 in descending order.
5, 2, f
Let y be (-51)/(-85) + 18/(-5). Sort 0.2, y, -4/3.
y, -4/3, 0.2
Let n = -0.02 - 0.08. Let f = -0.5 + 0.2. Sort -2, n, f.
-2, f, n
Let c = -46 - -42. Put 0.1, c, -3 in descending order.
0.1, -3, c
Let d = -6 + -6. Let q = d - -7. Sort -1, q, -2 in descending order.
-1, -2, q
Suppose 5*t - 3 = -4*w - 14, 14 = 2*t - 3*w. Let d be (-2)/4 + (-25)/(-10). Let a(m) = m**2 + 4*m - 5. Let c be a(-4). Sort t, c, d in decreasing order.
d, t, c
Let r be ((-12)/(-5))/((-4)/20). Let l = r - -2. Let h be (-35)/l + 2/(-4). Sort 4, h, -2 in increasing order.
-2, h, 4
Let k(u) = u - 13. Let j be k(13). Suppose 5*d - 3*w = d + 27, 0 = d + 4*w + 17. Sort j, d, -5 in descending order.
d, j, -5
Let d be (3/9)/((-2)/(-18)). Suppose 0 = d*y - 0 - 6. Let r be (-2)/(-6) + (-8)/6. Sort y, r, 1.
r, 1, y
Let i = -10.14 - -0.14. Let h = i - -8. Sort 3/4, -3, h in ascen