scending order.
j, p, a
Let c be ((-2)/(-5))/((-1)/(-5)). Let b = 8 - 13. Sort c, b, -3 in decreasing order.
c, -3, b
Let t = -4.82 + -1.18. Let b = 0.4 - 3.4. Put b, -4, t in descending order.
b, -4, t
Let t = 2.6 + -0.6. Let i be 3/(-9)*-2*6. Put i, 0.5, t in ascending order.
0.5, t, i
Let p = -8 + 7.7. Let h = 1/19 - 25/114. Put p, 3/5, h in descending order.
3/5, h, p
Suppose 3 = 4*j - 1. Suppose 0 = 3*s + 5*n - 22, -10 = 5*s - 2*n + 5. Let i be 0/(1/(s/(-1))). Put i, j, 3 in decreasing order.
3, j, i
Let x = -38.3 + 38. Let l be (-1)/(-12) + (-1)/3. Put x, l, -1 in ascending order.
-1, x, l
Let k = 42 - 33. Put k, -3, 3/4 in descending order.
k, 3/4, -3
Let x be 0 + 3 - (-12 + 19). Put 0, -21, x in decreasing order.
0, x, -21
Let p = -0.5 + 0.2. Let u(h) = h - 3. Let v be u(5). Put p, -1/11, v in decreasing order.
v, -1/11, p
Let y = 2 - 1. Let g be (-3 - -2)*3 + 1. Let t = g - -2. Put -5, y, t in decreasing order.
y, t, -5
Let s = -6.5 - -7. Suppose 0 = 2*t - t + 1. Sort -5, s, t.
-5, t, s
Let t(x) = 6*x + 11. Let u be t(-2). Sort -16, u, -3, 0 in decreasing order.
0, u, -3, -16
Suppose -10 = 5*p - 0*p. Let i be (p - 0/(-2)) + 1. Let j = 86 - 81. Sort j, i, -4 in descending order.
j, i, -4
Let y be (40/12)/((-4)/(-6)). Sort -1/10, y, -2 in descending order.
y, -1/10, -2
Let k = -2.9 + -1.1. Let r = 7 + k. Let z = 441 + -439. Put z, 0.3, r in decreasing order.
r, z, 0.3
Let g be -2*((-2 - 1) + 2). Suppose n - g*p - 8 = 0, 0*n = 2*n + 4*p + 8. Suppose -n*a - 3 = 7. Put -3, a, 0 in decreasing order.
0, -3, a
Let i = -2 - -6. Suppose 2*g + 5*a = -i, -2*g - a + 13 = 3*g. Sort g, -3, -4 in descending order.
g, -3, -4
Suppose -z = -3*z. Sort z, 1, -3 in descending order.
1, z, -3
Let p be 1/(1*(-1)/2). Let g = -35 - -29. Sort p, -4, g in decreasing order.
p, -4, g
Let s(z) = z - 4. Let c be s(0). Let l(v) = v**3 - 5*v**2 + 6*v - 4. Let k be l(4). Suppose k*n + 13 = 5*d, -d = 2*d - 3. Sort 3, n, c in descending order.
3, n, c
Let c be (-10)/(24/(-4) - -4). Sort 2, 3, c.
2, 3, c
Let m(o) = -o**3 - 14*o**2 - 25*o - 16. Let q be m(-12). Put -13, 5, q in descending order.
5, q, -13
Let q be 3/(-20)*-4 - (-96)/15. Put q, 3, -4 in decreasing order.
q, 3, -4
Let i = -5393/542850 - -3/2350. Put -4, i, 0.3 in increasing order.
-4, i, 0.3
Let o(c) = -c**3 + 4*c**2 - 4*c + 4. Let m be o(2). Put m, 3, -3, -1 in descending order.
m, 3, -1, -3
Let w = -3 - 1. Sort 5, 21, w in descending order.
21, 5, w
Let k = -0.2 + 0.3. Let d(v) = v**3 + v**2 - 2*v. Let x be d(2). Suppose -2*w + 0*w = -x. Put k, w, 1 in decreasing order.
w, 1, k
Let y = 1 - 4. Put 4, -4, y in decreasing order.
4, y, -4
Suppose 4*n - 12 = 4. Let l(f) = f + 10. Let p be l(-8). Suppose 0 = 4*w + p*b - 16, -2*w = 4*b + b. Put -3, n, w in increasing order.
-3, n, w
Suppose -3*g + 5*g = -10. Let q = -6 + 2. Sort g, q, 4 in descending order.
4, q, g
Suppose 0*c = -3*c + 5*n - 5, -4*c = -5*n + 10. Let u be (-20)/6*(-6 + 9). Let a = u + 9. Put a, c, -4 in ascending order.
c, -4, a
Let w = 17 - 16.7. Let p = -7 + 5. Put p, 2, w in descending order.
2, w, p
Suppose 19*z = 17*z + 2. Put 4, 2, z in decreasing order.
4, 2, z
Suppose 4*b = -0*b + 4*p, 0 = -5*b + 4*p + 4. Put -3, -5, b in ascending order.
-5, -3, b
Suppose -5*j - b = -9, -3*j - 8*b + 4*b + 2 = 0. Let n = -0.4 + 0.2. Put -1, n, j in increasing order.
-1, n, j
Let f = -3 - 1. Let h = -4.4 - f. Let s = 0.1 + h. Put -0.2, s, 5 in ascending order.
s, -0.2, 5
Let g = -0.12 - -0.04. Put -3, g, 1/2, 2/5 in decreasing order.
1/2, 2/5, g, -3
Let w = 35 + -38. Put 2, w, 5, 10 in ascending order.
w, 2, 5, 10
Let l = 0.6 - 0.2. Let m(n) be the third derivative of n**5/60 + n**4/24 - 2*n**2. Let g be m(0). Sort g, 2, l in ascending order.
g, l, 2
Let f = 16 + -11. Suppose -3*g = -f*g. Suppose -3*t - 2*t = r - 28, 2*t + 5 = 5*r. Sort t, g, 3 in increasing order.
g, 3, t
Let f = -3 + 6. Suppose 4*z + n = -9, -3*z - 4 = -5*n + f*n. Put 3, z, -1 in ascending order.
z, -1, 3
Let f = -8 - -3. Sort f, -2/9, -2, 5 in increasing order.
f, -2, -2/9, 5
Let y = -0.01 - 0.19. Put -5, 0.6, y in descending order.
0.6, y, -5
Let g = -0.2 - -2.2. Let f = -3 + g. Put -1/3, -1/5, f in ascending order.
f, -1/3, -1/5
Let l be (16 + -1)/(-1 + 2). Sort -2/3, l, 1 in increasing order.
-2/3, 1, l
Let v = -3/146 + 343/2482. Let q = -3 + 7. Let o = -0.5 - -1. Put v, q, o in ascending order.
v, o, q
Let p be (-8)/6*60/40 - -5. Let u be 2/(3/((-15)/(-2))). Put p, -4, u in ascending order.
-4, p, u
Suppose 2*u = 4*m + 26, 0 = 3*m - 0*u + 4*u - 8. Sort m, 9, -2, 4.
m, -2, 4, 9
Let w = -30 - -33. Sort w, 0, -4 in decreasing order.
w, 0, -4
Let y = 6 - 4. Suppose -8 = y*t - 4*k, t + 4*t = -4*k + 22. Sort 3, -5, t in ascending order.
-5, t, 3
Let m = -1.55 - -0.05. Let l = -2 - m. Let o = 5/12 + -1/60. Sort l, 2, o in descending order.
2, o, l
Let c(n) = n + 5. Let q be c(-6). Let s = 0 - q. Let a be (-3)/(-9)*-6 - -1. Put s, a, -3 in decreasing order.
s, a, -3
Let i be (-24)/(-3) + (-3 + 6 - 6). Let w(d) = 5*d. Let g be w(-1). Sort g, 1, i in decreasing order.
i, 1, g
Let i(c) = c**2 + 4*c. Let m be i(-4). Let p be (4/(-7))/(2 + m). Let q = 61.1 + -61. Sort q, p, -1/4 in ascending order.
p, -1/4, q
Let x = -3 - -4. Suppose -3*j - 5*s + 21 = 0, -2*j + 2*s - 1 - x = 0. Sort 0, j, -5 in ascending order.
-5, 0, j
Let h(m) = -m**3 + 10*m**2 + 10*m + 9. Let z be h(11). Sort z, -2/3, 1.
z, -2/3, 1
Let c = -17 + 18. Put 4, c, -4 in increasing order.
-4, c, 4
Let y(v) = 4*v**2 + 21*v + 6. Let q be y(-5). Suppose -3 = 2*w + 1. Put w, 5, q in descending order.
5, q, w
Let o = -24 - -1. Let s = 18 + o. Sort s, 0.2, -1.
s, -1, 0.2
Suppose 2*o = -5*r + 15, 4*o - r - 2*r - 17 = 0. Suppose -o*p + 3 = -2*p. Suppose 14*v + 9 = 11*v. Sort v, p, 4.
v, p, 4
Let r be -6 - 1/((-2)/4). Let f = 0 - 0.4. Let s = -4.6 + f. Sort 5, s, r in decreasing order.
5, r, s
Let f(n) = n**2 + 4*n - 17. Let q be f(-7). Put -6, q, 3 in decreasing order.
q, 3, -6
Let u = 34.5 - 34. Sort -2, u, 0.3 in ascending order.
-2, 0.3, u
Let f = -0.4 + 0.2. Let j = 3 + 0. Let d = -6 + j. Sort d, 0.4, f in decreasing order.
0.4, f, d
Let h = -1067/13 - -82. Put h, 2, 1 in ascending order.
h, 1, 2
Suppose -x = 3*t + 1, -5*t - x = 4 - 1. Sort 0, -15, t, 2 in ascending order.
-15, t, 0, 2
Let j be 2 - 1 - (2 - 2). Let k = -8 + 12. Let d = k + -7. Sort 0.2, j, d in increasing order.
d, 0.2, j
Suppose s - 4*s = 12. Suppose -a + 10 = 5*x - x, 2*x - 5*a = -6. Let i be (-5)/15 + x/6. Put s, i, -5 in decreasing order.
i, s, -5
Let k = 0.47 + -0.07. Let h = k - 1.4. Let p = -0.6 - h. Sort -1, -3/5, p in decreasing order.
p, -3/5, -1
Let o = -151/893 - -3/47. Sort -5, o, 5 in descending order.
5, o, -5
Let s(m) = m**2 + 7*m + 5. Let i be s(-7). Sort i, 0, -2 in decreasing order.
i, 0, -2
Suppose -14 = -2*k - x, 0 = 2*k - 3*k + 5*x - 15. Let s = k - 2. Suppose t + 3*t = -4*b, -t + 5*b - 12 = 0. Sort s, t, 0 in decreasing order.
s, 0, t
Let f = 16 - 11. Let l = 30 + -32.3. Let k = l - -2.2. Put k, -2, f in decreasing order.
f, k, -2
Let z be (-1 + 2)/(4 - 3). Let o be 1/(-3 - (-2)/z). Let i = -39/11 + 607/165. Put 0.3, o, i in ascending order.
o, i, 0.3
Let g be (0 - 0) + (8 - 8). Suppose 0 = 2*i + i - 12. Suppose -3*u + 9 = r, 0 = -2*u + 3*r + 3 + 3. Sort u, g, i in descending order.
i, u, g
Let d = 40 + -28. Suppose v - 3*z + 0 + d = 0, -18 = 2*v - 4*z. Sort v, 0, 2 in descending order.
2, 0, v
Let i(f) = f**2 + 11*f + 6. Let z be i(-10). Let w = z + 5. Put 3, -18, w in ascending order.
-18, w, 3
Let u(r) = r**2 + 7*r + 9. Let p be u(-6). Let z be p/2 + 90/(-12). Let v be -6 + 3 - (1 + z). Sort v, -1/5, 0.1 in decreasing order.
v, 0.1, -1/5
Let q be (6/(-4))/(-1 + 34/40). Sort 0.2, q, 1 in descending order.
q, 1, 0.2
Let a = -0.05 + -0.35. Let m = -8 - -6. Sort 1, a, m in increasing order.
m, a, 1
Let r = 0.8 - -0.2. Let h = r + 3. Let i = 4.4 - h. Sort -1/2, i, -3 in ascending order.
-3, -1/2, i
Suppose -4*k + 0*k = 4. Let q be (-4)/((2 - 1) + -2). Suppose 4 = q*w, 11 = -2*j - j + 5*w. Sort k, 5, j in decreasing order.
5, k, j
Suppose -2*c - 5 = -3. Let n = -4 + 7. Let g be 28/(-10) + 1/(-5). Sort g, n, c in decreasing order.
n, c, g
Let b = 17 - 20. Sort 1, b, 5 in increasing order.
b, 1, 5
Let o = 18 + -16. Suppose 2*c - o = -0*c. Sort c, 