, u, -3
Let x(d) = d**3 - 6*d**2 - 8*d + 2. Let z be x(7). Let k = z - -4. Let b be (-7)/(-15)*6/21. Put b, -5, k in descending order.
b, k, -5
Let h = 94 + -89. Put h, -2, 0 in descending order.
h, 0, -2
Suppose -4*s = -12 - 0. Let x(t) = -t**3 + 2*t**2 + 4. Let k be x(s). Sort k, -3, 2 in ascending order.
k, -3, 2
Let b(l) = l**2 + 1. Let m be b(1). Suppose -q = m - 6. Suppose 5*i - 5 = 10. Sort -4, i, q.
-4, i, q
Let y = 73/6 - 347/30. Sort -5, -0.4, y, 0.2.
-5, -0.4, 0.2, y
Let q = 31.88 - 32. Put -0.5, q, 1/5 in decreasing order.
1/5, q, -0.5
Let h = 1 - 5. Let n = 1 - h. Let k = -9 + 4. Put n, k, -0.2 in decreasing order.
n, -0.2, k
Suppose 2*j + 4 - 6 = 0. Suppose 0*h = h - j. Let l = 80 - 561/7. Put l, h, -1 in increasing order.
-1, l, h
Let i(v) = -5*v - 2. Let z be i(2). Sort -3, z, -2 in increasing order.
z, -3, -2
Let m = 0.25 + 0.25. Sort -1, 3, m.
-1, m, 3
Let t = -8 - -7.1. Let b = 3.1 - t. Sort b, 0.2, -0.2.
-0.2, 0.2, b
Let p = 0.55 + 0.05. Let s = p - 1. Sort 2/5, 2, s in descending order.
2, 2/5, s
Let r = -55 - -51. Put 2, r, -7 in decreasing order.
2, r, -7
Let n = -38/45 + 4/9. Sort n, 3, 0.3 in descending order.
3, 0.3, n
Let j be (-4 - -2) + -1 + 1. Suppose 10 = -3*k + 3*u - 4*u, -3*k = -3*u + 30. Sort k, j, 1.
k, j, 1
Let w = -11 + 19. Let f = -7.8 + w. Put 0.5, f, -0.2 in decreasing order.
0.5, f, -0.2
Let n(x) = 6*x**2 - 1. Let y be n(-1). Let d(q) be the first derivative of q**3/3 + 5*q**2/2 + 2*q + 2. Let b be d(-3). Put y, -3, b in ascending order.
b, -3, y
Let a(f) = -23*f - 1. Let w be a(-1). Suppose -b = 5*k - w, -k + 5*b = -3*k - 5. Sort 2, k, -1 in ascending order.
-1, 2, k
Let b = 516/7 - 74. Put -1/4, -2, b, 4/7 in ascending order.
-2, b, -1/4, 4/7
Suppose -4*x + 2*v - 2 = 0, -3*v - 25 = -5*x - 6*v. Let y = x - -1. Suppose 3*b + 2*b = -10. Sort y, b, -4.
-4, b, y
Let f(g) = g**3 - g**2 - 3*g + 1. Let s be f(2). Let b be 4/16 - s/(-4). Let l = b - -3. Sort -3, -5, l.
-5, -3, l
Let g = -18 - -17. Let z be (0 - 1)/(2 + 0). Put z, g, 0 in descending order.
0, z, g
Let z = -23 - -22. Sort -2/3, 4, z.
z, -2/3, 4
Suppose 4*u + 4*g - 32 = 0, -5*u + 3*g + 12 = -4. Put u, 0, 4, -6 in ascending order.
-6, 0, 4, u
Suppose -7*n + 12 = -11*n. Let g be ((-6)/5)/(3/(-10)). Suppose o + 2 = 3*o. Put n, o, g in descending order.
g, o, n
Let k = -8 + 13. Let w be 0/(-11) + -1 + 0. Put k, w, -2 in descending order.
k, w, -2
Let b(w) = 4*w**2 - 12*w - 4. Let x(g) = 7*g**2 - 24*g - 7. Let m(r) = 5*b(r) - 3*x(r). Let t be m(12). Put 2, 4, t in descending order.
4, 2, t
Let f = -42 + 44. Sort 17, 3, f in descending order.
17, 3, f
Suppose 0 = 4*h - 42 + 2. Suppose -5*c - 4 = 3*l - h, 4*c + l = 9. Sort 2, 1, c in increasing order.
1, 2, c
Suppose -k = 4*k. Put -7, k, 1 in decreasing order.
1, k, -7
Let f be (12/30)/(1/5). Suppose o + 2 = 3. Put -3, f, o in ascending order.
-3, o, f
Let c = 27 + -22.7. Let l = c + -4. Sort l, 1, 1/2 in descending order.
1, 1/2, l
Let f be 3*-2*(-2)/6. Sort f, 3, -3 in ascending order.
-3, f, 3
Let g be (-12)/(-4)*(-6)/45. Sort g, 3, -1 in ascending order.
-1, g, 3
Let q be 2/(-1 - 1) + 2. Let c be (1 - 1)*1/(-2). Sort q, -3, c in decreasing order.
q, c, -3
Let a = 2.6 - 2.5. Let d be 0 - 2*2/(-8). Sort d, -4, a in descending order.
d, a, -4
Let n(t) = t**2 - 12*t - 18. Let a be n(13). Put a, -1, 2 in descending order.
2, -1, a
Let u(l) = -l - 3. Suppose 0*m = -4*m - 32. Let q be u(m). Put 2, -2, q in descending order.
q, 2, -2
Suppose a + 76 = 312. Let f = a + -2126/9. Let x be 1/2*4/(-6). Sort 4/5, f, x in ascending order.
x, f, 4/5
Let v(h) = h + 1. Let n be v(2). Suppose x - 2*x - 4*u = 10, 5*x - n*u = 19. Sort -4, 16, x in decreasing order.
16, x, -4
Let p = 3.4 - 3.7. Put -0.2, 2, p in increasing order.
p, -0.2, 2
Let i be ((-117)/72 - -2)/(6/(-4)). Let y = 375 - 1247/3. Let b = y - -41. Sort b, i, 0 in decreasing order.
b, 0, i
Let b = 2.5 + -0.5. Let x = -79.7 - -80.7. Put b, x, -1/3 in descending order.
b, x, -1/3
Let z = -1 - 2. Let b be (-1)/z - 2/(-6). Let m = -3 - -8. Sort m, b, -2.
-2, b, m
Let j = 55 + -50. Sort -4, -5, j, -6 in decreasing order.
j, -4, -5, -6
Let d = -3907 - -78217/20. Let v = -18/5 + d. Sort -4, -1/5, v in descending order.
v, -1/5, -4
Let c = -11 + 16. Let g = 0 + c. Sort g, 2/13, 2/11 in descending order.
g, 2/11, 2/13
Suppose 2*p - 5*w - 1 - 9 = 0, w = -p + 5. Suppose -j + p = 3. Sort j, -3, -2 in ascending order.
-3, -2, j
Let v be 7/((-364)/(-18))*4/3. Sort 2/5, v, -3/8, 2 in decreasing order.
2, v, 2/5, -3/8
Let f = -7.2 + -0.8. Let j = 5 + f. Let y be 1/10 - (-2)/5. Sort -4, y, j.
-4, j, y
Suppose 8*i = 2*i - 60. Put i, -5, 3, -4 in decreasing order.
3, -4, -5, i
Suppose 0 = x + 3*x. Let l = -11 + 6. Suppose -2*r = 5*f + 12, 3*f - 5*r = 2*f - 24. Put l, x, f in descending order.
x, f, l
Let n be (-538)/24 - (-4)/6. Let l = 22 + n. Suppose -2*g = 2*g + 4*o + 8, 0 = 5*g + 3*o + 16. Sort g, l, 4 in increasing order.
g, l, 4
Let z be 44/(-20) - (2 - 4). Put -1, z, -2 in increasing order.
-2, -1, z
Let k be (-23 - -28) + 2*-1. Let z = -0.5 - 0.4. Let v = 0.1 - z. Put -1, v, k in decreasing order.
k, v, -1
Let m(i) = -i + 1. Let g be m(1). Suppose g = 2*a - 0*a - 6. Put -1, -2, a in ascending order.
-2, -1, a
Let k be 9/(-2)*(1 + -3). Let c(b) = -b**2 + 9*b + 5. Let p be c(9). Put p, -3, k in descending order.
k, p, -3
Suppose 0*c - 4*c - 5*p = 12, -5*c - 3*p = 15. Sort c, 0, -2 in ascending order.
c, -2, 0
Suppose 3*i - 5*q = 15, 5 = -5*i - 3*q - 4. Sort 5, -1, i in increasing order.
-1, i, 5
Let l be ((-12)/(-15))/(8/20). Let r = 1 - l. Put 5, 3, r in descending order.
5, 3, r
Let u(l) be the second derivative of l**4/12 + 5*l**3/6 - l**2 - l. Let h be u(-6). Let q = 0.2 + 0.3. Put 0, h, q in descending order.
h, q, 0
Let r = 0 + -0.5. Let f = -43 + 43.2. Sort 3, f, r in decreasing order.
3, f, r
Let c = -10 - -4. Put 0.4, c, -1 in ascending order.
c, -1, 0.4
Let m = -8 - -4. Let g = 7 + m. Put 2, g, -2/5 in ascending order.
-2/5, 2, g
Let o(s) be the second derivative of s**5/20 + s**4/6 + 2*s**3/3 + 3*s**2/2 + 5*s. Let j be o(-2). Put -4, j, -3 in decreasing order.
-3, -4, j
Let y = -3 + -9. Let t = 12 + y. Let s = -0.1 - -1.1. Put s, t, 0.5 in increasing order.
t, 0.5, s
Suppose -11*p - 3 = -8*p. Sort 0, p, -3 in descending order.
0, p, -3
Let u(k) = -2*k**3 + k**2 - k. Let b be u(1). Let f(g) = -g**3 + 4*g**2 + 6*g - 3. Let r be f(5). Put r, -1, b in increasing order.
b, -1, r
Let s = 2.8 + 15.2. Let h = 18.9 - s. Sort 1/8, h, -1 in decreasing order.
h, 1/8, -1
Let s = 0.03 + -3.03. Let d = -71/2 - -37. Put d, s, -8 in descending order.
d, s, -8
Let p be -1 - 2/(-2)*-1. Let u(a) = -a**2 - 6*a + 2. Let k be u(-5). Let v = k + -2. Put p, 4, v in ascending order.
p, 4, v
Let q = -61 + 66. Sort q, 14, 1 in decreasing order.
14, q, 1
Let u be ((-8)/(-6))/(3/9). Suppose -u*b + 0*b + 29 = 3*y, 5*y - 15 = 0. Put -2, b, -8 in ascending order.
-8, -2, b
Suppose 2*g = 16 - 6. Suppose 5 = 3*q - 2*k - 6, 2*q + g*k - 20 = 0. Suppose 4*c + 3*j + 0*j = -23, -3*j - q = -5*c. Sort c, -1, -3/5.
c, -1, -3/5
Suppose 0*m + v - 3 = 2*m, 0 = -m + 5*v + 12. Put 0, 5, m in ascending order.
m, 0, 5
Let x = -9.2 - -9. Sort -5, 2/9, x.
-5, x, 2/9
Suppose -2 = -3*m + 4. Let q = 0.5 + -3.5. Let a = 14/11 - 67/44. Sort q, m, a in descending order.
m, a, q
Let u = -0.25 - 4.75. Let f = 452/9 + -50. Let a(l) = -l**3 + 4*l**2 + 5*l - 3. Let j be a(5). Put j, f, u in descending order.
f, j, u
Let w be 198/4*(-6)/(-18). Let f = w - 17. Put f, 2/11, 0 in descending order.
2/11, 0, f
Let y = 1 - 2. Suppose 0 = -9*j + 14 + 13. Put y, -0.5, j in increasing order.
y, -0.5, j
Let f be (-1)/3 - 6/(-36). Sort 1/11, 3, f, 0.15 in descending order.
3, 0.15, 1/11, f
Suppose -4*l = -187 + 27. Let p be 13/(-5) - 16/l. Sort 1, p, -2 in decreasing order.
1, -2, p
Let l = 2 + -5. Let a be -3 - (l + 1) - 3. Put a, -1, 3 in increasing order.
a, -1, 3
Let v = 0 - -0.5. Let q = -2.6 - 0.4. Let m = q + 5. Sort m, -0.4, v in decreasing order.
m, v, -0.4
Let j = -1901/7 - -271. Put -0.2, 0.3, j in ascending order.
j, -0.2, 0.3
Suppose -5*c + 5 = -10. Let f = 1 - 0.8. Put f, c, -2 in increasing order.
-2, f, c
Let m(k) = k**3 + k**2 - 6*k + 3. Let g be m(2). Let j be (-3)/23*4/6. Put j, 2, g in decreasing order.
g, 