ng order.
4, 1/3, a
Let p = -14 + 9. Sort 2/3, -2/11, p in decreasing order.
2/3, -2/11, p
Suppose 2 - 1 = -x. Suppose 11*m + 6 - 6 = 0. Sort -2, x, m.
-2, x, m
Let f = -19.61 + -0.39. Let k = f - -30. Let t = -10.1 + k. Put 0.5, t, -0.5 in increasing order.
-0.5, t, 0.5
Let d be 0 - ((-12)/10)/3. Let c = -35 - -30. Sort c, d, 4/9 in ascending order.
c, d, 4/9
Let o = 10.4 + -10. Let p = 113/4 + -28. Sort o, p, -1/2 in descending order.
o, p, -1/2
Let d = 97 + -85. Put 4, d, 5 in ascending order.
4, 5, d
Suppose -3*r = -8*r - 5*i + 35, 0 = -5*r - 3*i + 29. Let f be -1 + 1 + -2 - -2. Sort f, r, -3 in ascending order.
-3, f, r
Let i = -21 - -29. Let k = i + -8.2. Let t = -2 - 1. Sort k, t, 0.5 in increasing order.
t, k, 0.5
Let j = -22/7 + 3. Let g = 27 + -24.6. Let c = g - 2.4. Sort c, 4, j in ascending order.
j, c, 4
Let h be 0*(3/6 - 1). Suppose h*n + 4*n - 12 = 0. Sort -3, -0.4, n in increasing order.
-3, -0.4, n
Let p(r) = -16*r - 1. Let t be p(-1). Suppose -g - t = 4*g. Let b = -1.2 + 1. Sort b, g, 2/11 in increasing order.
g, b, 2/11
Let r be (-12)/9*(3 + -6). Suppose 5*i + 26 = -3*k, 2*k - 5*i - 16 + 0 = 0. Sort k, -3, r.
-3, k, r
Let m = 10 + -12. Put -1, 2, m in ascending order.
m, -1, 2
Let h(k) = k**3 - k**2 - k + 3. Let l be h(0). Suppose 0 = 4*f + 5*a - 2, -f + 0*a + 9 = -l*a. Put -4, -3, f in descending order.
f, -3, -4
Let y(o) = 2*o + 3. Let i be y(-2). Let a(u) = u**3 - 7*u**2 + 2. Let g(l) = 2*l**2 - 4*l + 1. Let m be g(3). Let z be a(m). Sort 1, z, i in increasing order.
i, 1, z
Suppose -t + m + 23 = 0, -4*t + 113 - 25 = -3*m. Let o = t - 14. Sort -5, o, -4 in ascending order.
-5, -4, o
Suppose 0 = 4*p - 2*i - i - 455, -i - 453 = -4*p. Suppose -p = -5*u + 92. Let q = -290/7 + u. Put q, 2, 0 in decreasing order.
2, 0, q
Suppose -5*a + 27 = 4*a. Put a, -2, 1 in decreasing order.
a, 1, -2
Let j(n) = n - 3. Let o be j(5). Put 5, o, -1 in ascending order.
-1, o, 5
Let b = 238 - 235. Suppose 23 = 3*x - 2*o, -4*x = -5*x - 2*o - 3. Put b, x, 1 in descending order.
x, b, 1
Suppose -3*y = a - 42, y + 3*a + 30 = 4*y. Sort y, 2, -1 in descending order.
y, 2, -1
Let u = 9 + -9. Let t(o) = -o - 2. Let y be t(-3). Sort y, -1, u in ascending order.
-1, u, y
Let s be ((-4 - -2) + 4)/(-2). Let h(w) = w**3 - 6*w**2 - 6*w - 11. Let i be h(7). Sort i, 4, s in ascending order.
i, s, 4
Let t = -5.9 - -12.9. Sort 1/4, t, 4 in decreasing order.
t, 4, 1/4
Suppose t + t - 14 = -3*z, 3*t + 17 = 5*z. Suppose -6*i = -2*i - 8. Let b be 20/15*(-2 + -1). Sort z, i, b.
b, i, z
Let u be 1/(1*2*(-2)/12). Sort -1, -5, u in decreasing order.
-1, u, -5
Let x be (5/(-10))/(2/4 + 0). Suppose 0*v + 3*v = 15. Put x, 2, v in decreasing order.
v, 2, x
Let n = -9 - -16. Suppose -3*l - n = 17. Let h = l + 4. Sort -1, 1, h in ascending order.
h, -1, 1
Let p(u) = u**3 + 4*u**2 + 5*u + 4. Let r be p(-3). Let f(d) = -d - 1. Let n be f(3). Let b = 5.2 - 5. Put n, b, r in decreasing order.
b, r, n
Let j(c) = c - 10. Let v be j(7). Let x be 0*(16/6 + v). Put x, -1, -3 in decreasing order.
x, -1, -3
Let a(c) = c**3 + 7*c + 14. Let x be a(-2). Put -2, -5, x in ascending order.
x, -5, -2
Let h = 2 + 0. Let z = h - 0. Let w = -3 + z. Sort 4, w, 1.
w, 1, 4
Let d = 30 - 30.4. Sort d, 4, 3/2 in increasing order.
d, 3/2, 4
Let r = 0.481 + 0.019. Put r, -1, 2, -5 in ascending order.
-5, -1, r, 2
Let x = 0.5 + -4.5. Let y = 1 + 4. Let v = 305/2037 - 2/291. Sort v, x, y in decreasing order.
y, v, x
Let m = -313 - -2821/9. Sort m, 1, -3/2.
-3/2, m, 1
Let t = 3.7 + -3.8. Sort t, -3, -2/7 in descending order.
t, -2/7, -3
Let f be (42/(-35))/(6/(-10)). Put f, -1, -2 in descending order.
f, -1, -2
Let w = 5 + -8. Let r = 183/4 + -47. Sort -1, r, w in descending order.
-1, r, w
Suppose -4*d + 18 = -5*n - 0, -3*d = 3*n. Put 0.1, 0.4, d in decreasing order.
d, 0.4, 0.1
Suppose 0 = w - 0*w + 10. Let l be 6/(-15)*w/(-8). Sort 0, -1/3, l in ascending order.
l, -1/3, 0
Suppose 23 = -5*c + 8. Let m be 2/(6/(-15))*(6 + -5). Put c, 3, m in descending order.
3, c, m
Let s(x) = -x**3 + 6*x**2 - 1. Let y be s(6). Let d = 0.5 - 0.3. Sort y, -0.3, d.
y, -0.3, d
Let x be (1 + 2)/15*-2. Let w = -0.2 - 0. Let q = w - -0.1. Sort 5, q, x in descending order.
5, q, x
Let o = -6 - -5.98. Let d = 0.18 - o. Put -0.4, -0.01, d in decreasing order.
d, -0.01, -0.4
Let n be -2*8/4 + 5. Sort 0, 4, n in increasing order.
0, n, 4
Let r = 485/2607 + -1/237. Sort 2, r, 4 in decreasing order.
4, 2, r
Let p = -0.66 - 0.04. Let l = 1.2 + p. Let a = -4 + 7. Put 1, a, l in ascending order.
l, 1, a
Suppose -1 = x - 5. Suppose -3*f - 3*p + 6*p = 24, 0 = -f + x*p - 2. Let h = f - -6. Sort -2, 5, h in increasing order.
h, -2, 5
Suppose -28 = -2*k - 4*l, -k + 5*k = 3*l + 1. Let o = -8 + k. Sort o, 2, 1 in descending order.
2, 1, o
Let w = -23013 - -1725944/75. Let l = 1/75 + w. Sort 0.5, 7, l.
l, 0.5, 7
Let f(t) = -4*t**2 - 3*t - 1. Let x be f(-1). Sort 0, x, -1 in descending order.
0, -1, x
Let l(i) = -i + 9. Suppose -3*o = -4*f - 20, -3*o - o - 3*f - 15 = 0. Let v be (-2 - o/(-1)) + 9. Let u be l(v). Sort u, 3, -1 in decreasing order.
3, u, -1
Let b = 181 + -181. Sort 1, b, 19 in decreasing order.
19, 1, b
Suppose -5*s + 3 = 4*a, -4*s + 15 = -2*s - 3*a. Suppose -2*v = -s*v + 1. Let l = -1 + 1.5. Sort l, v, 2.
l, v, 2
Suppose -w - b - 4*b = 21, -2*w - 3*b = 21. Let x = 7 + w. Sort -1, 5, x in decreasing order.
5, x, -1
Let d be 16/4 - (-13 - -1)/(-3). Sort 4, 2, d, 5 in descending order.
5, 4, 2, d
Let j = -0.5 + 0.1. Let f = j + 0.9. Sort -2, 0.1, f.
-2, 0.1, f
Let p = -5 + 0. Let b = 0.3 + -7.3. Let c = -6 - b. Put p, c, -1/3 in increasing order.
p, -1/3, c
Let j = 6 + -3. Put 2, j, -2 in ascending order.
-2, 2, j
Let a be 10/30*(2 + 1). Sort a, -1, 4 in decreasing order.
4, a, -1
Let f = 16 + -19. Put f, 3, 2 in decreasing order.
3, 2, f
Let o = 4 - 13. Let v = o - -9.2. Suppose a = -5*z + 10, 7*a + 2*z = 2*a + 4. Put v, a, 5 in descending order.
5, v, a
Let u = -2.3 + 2. Let c = 0.4 + -0.6. Put -5, c, u in increasing order.
-5, u, c
Let m = -2.7 - -2.8. Sort 0, -1/3, m in ascending order.
-1/3, 0, m
Let p(s) = -4*s**2 - 3*s + 2. Let t be p(1). Sort t, 1, 3 in ascending order.
t, 1, 3
Suppose 3*y - 60 = -2*y. Suppose -f = 2*f + y. Let m be (-5)/(-1)*f/25. Sort -5, m, 4/3 in decreasing order.
4/3, m, -5
Let b(n) be the second derivative of n**5/20 - n**4/12 - 5*n**3/6 + 3*n**2/2 + n. Let x be b(3). Let u be (-9)/x*8/(-6). Sort 5, -1/2, u.
-1/2, u, 5
Let m = 11/7 + -5/21. Put 5, -4, m, 0.03 in decreasing order.
5, m, 0.03, -4
Let l(u) be the second derivative of -u**4/12 - 5*u**3/6 + 3*u**2/2 + u. Let d be l(-6). Let k(v) = -v**2 + 2*v - 2. Let x be k(2). Sort 1, d, x.
d, x, 1
Let b = -7.8 + 30.5. Let k = -23 + b. Sort -4, -0.1, k in descending order.
-0.1, k, -4
Let w = -5 - -8. Let a = -2.6 + w. Let r = -6.2 + 1.2. Put 4, a, r in ascending order.
r, a, 4
Let v = -0.1 - 2.9. Let c be 11/(-55)*((-18)/33 - -1). Put -0.5, c, v in decreasing order.
c, -0.5, v
Let o be 2/(-5) - 12/(-5). Let l be (1 - o) + 2*2. Let n(k) = k. Let m be n(2). Sort m, -4, l.
-4, m, l
Let i be ((-8)/(-10))/(4/10). Suppose 5*o + 3*r - 5*r - 15 = 0, 0 = 5*o + 3*r - 15. Put -4, i, o in ascending order.
-4, i, o
Let d = -1 - 3. Let m = 0 + 4. Let u = d + m. Put 1, -3, u in ascending order.
-3, u, 1
Let q = -17 + 17. Sort 1, q, 2/11, -0.5 in decreasing order.
1, 2/11, q, -0.5
Suppose 5*l = -3*j + 18 - 2, 3*j + 19 = 2*l. Sort -24, 0, j in ascending order.
-24, j, 0
Let h = -1.15 - -6.31. Let d = h + -0.26. Let z = d - 5. Put -3, 5/2, z in ascending order.
-3, z, 5/2
Let n(t) = t**3 - 5*t**2 + 4*t - 5. Let u = -4 + 8. Let z be n(u). Sort -4, 3, z in ascending order.
z, -4, 3
Let s = 0.2 + 0.8. Suppose 6 = 3*t - t + 2*p, 3*t - p = 29. Suppose 0*b - 5*b - 2*c = 4, -t = 4*c. Sort b, 2, s in decreasing order.
2, s, b
Suppose 0 = 11*h - 14*h. Sort 3, -5, h, -3.
-5, -3, h, 3
Let n = 6 + -12. Let w be (10/n)/(3/9). Put -1, w, -3 in decreasing order.
-1, -3, w
Suppose 5*k = 3 + 7. Suppose -b + 1 = -1. Suppose -p - h - b = 0, -4*h = p + k*p + 10. Sort p, -1, -5 in ascending order.
-5, -1, p
Suppose 5*k - 3 - 2 = 0. Let n be (-2 - k)*2/(-2). Suppose -2*f = n*f + 10. Sort 0.1, 3/5, f in descending order.
3/5, 0.1, f
Let v = -2 - -2.4. Let y = 4182359/44 + -95049. Let r = 48