 1. Sort -2, -4, c in descending order.
c, -2, -4
Let a(m) = -m**2 + 8*m - 6. Suppose -52 = -5*z - 17. Let u be a(z). Suppose -5*k + 4 = -l + 6, -3*l - 4*k = -6. Put 5, u, l in decreasing order.
5, l, u
Let f be 95/(-1)*(-4)/(-10). Let v be 16/80 - f/10. Sort 3, -5, v in decreasing order.
v, 3, -5
Suppose 22 = -4*n + 3*s - 0*s, 3*n - s = -14. Suppose 3*j + 30 = 2*i, -j - 4*i + 0 = -4. Let a be 2/(-8) + (-10)/j. Sort a, n, 0 in descending order.
a, 0, n
Suppose -2*a = -6*a. Suppose -d + 5 = -a*d. Suppose -4*v = -v. Put v, d, -4 in decreasing order.
d, v, -4
Suppose -5*l + l + 20 = 4*w, 0 = -4*w + 4*l - 20. Sort 3, w, -2.
-2, w, 3
Let m = 12 - 9. Sort m, -0.1, 0.4.
-0.1, 0.4, m
Suppose -1 = 4*z - 5. Let y = -16 - -4. Let j be (y/10)/(24/(-80)). Sort z, j, -5.
-5, z, j
Suppose -36 = -g + 10*g. Put g, 1/2, -3 in descending order.
1/2, -3, g
Let p = 34 + -36. Let l = 7 - 12. Sort -4, l, p in descending order.
p, -4, l
Suppose 1 = 2*l - 9. Suppose l*k - 18 - 2 = 0. Put k, 3, -2 in increasing order.
-2, 3, k
Suppose h - 2 = -2*j, 2*h + j + 4*j - 4 = 0. Let s be ((-6)/10)/(4/(-20)). Let r be h*s - 12/6. Put -4, 0, r in decreasing order.
r, 0, -4
Let l = 4 - 3. Suppose 6*c + 20 = c - 3*z, -3*c - 18 = 3*z. Let p(i) = i. Let m be p(-3). Sort c, l, m.
m, c, l
Let z = 407/8 + -51. Let u = -0.05 - -0.55. Put u, 4, z in descending order.
4, u, z
Let i(h) = h**3 + 14*h**2 + 12*h - 16. Let y be i(-13). Let p = y + -2. Put 2/5, 0.5, p in descending order.
0.5, 2/5, p
Let x be 9/6*(-16)/(-6). Let t(z) = z**3 + 5*z**2 - z - 6. Let g be t(-5). Put g, -2, x in descending order.
x, g, -2
Let h be ((-1)/2)/((-2)/(-4)). Suppose 5*r - p = 2*p + 8, 4 = -3*r + 4*p. Sort -6, h, r in descending order.
r, h, -6
Let n = -17 - -5.9. Let j = -11 - n. Put j, 0, 0.3 in decreasing order.
0.3, j, 0
Let y be (-220)/(-50) - (-4)/(-10). Put 5, y, -2 in increasing order.
-2, y, 5
Suppose -1 = -2*g - 5. Sort g, 3, 0.
g, 0, 3
Let r(j) = -j**3 + j**2 + 3*j + 7. Let m be r(3). Put -5, m, 2, 4 in increasing order.
-5, m, 2, 4
Let h be (-96)/(-117) - 2/3. Let y = -5 + 7. Let r be (1/(-10))/(1/(-4)). Put r, y, h in ascending order.
h, r, y
Let w be 2/(-18)*2*-1. Put -1/7, 1, w in increasing order.
-1/7, w, 1
Suppose 1 = 3*b - 8. Suppose 3*v - b = -3*x, 5*v - 2 = -2*x - 2*x. Put x, -5, 1 in ascending order.
-5, 1, x
Let u(d) = d + 8. Let o be u(-9). Let m = 0 - -3. Sort o, m, -5 in descending order.
m, o, -5
Suppose f = -4 + 6. Suppose t = -7*c + 4*c + 9, f*c = -3*t - 1. Put -2, t, 0 in increasing order.
t, -2, 0
Let m = -114 + 108. Put 2, m, -2 in ascending order.
m, -2, 2
Suppose -18*o = -16*o + 6. Put -8, o, 0, -2 in increasing order.
-8, o, -2, 0
Suppose -3*n + 3 = -12. Suppose t = n*t. Sort 3, 2, t.
t, 2, 3
Let p(l) = l - 5. Let a be p(-3). Let y be (a/10)/((-14)/(-35)). Let u(s) = 4*s**2 + 1. Let d be u(-1). Sort 3, y, d in descending order.
d, 3, y
Let p = -0.2 - -0.7. Let q(j) = -j**2 - 4*j + 14. Let a be q(-6). Suppose 0 = a*y, h + 2*y + 4 = 3. Sort h, p, -0.4 in increasing order.
h, -0.4, p
Let u(y) = -y**2 - 13*y + 6. Let s be u(-13). Sort 0.2, 3, s in descending order.
s, 3, 0.2
Let c = 1 - 4. Suppose 3*d - 4 = 2. Let w be (-2)/(2 + (-2 - d)). Put c, 5, w in decreasing order.
5, w, c
Let a(f) = -f**2 + f + 1. Let n = 7 - 7. Let t be a(n). Suppose -3*u + 3 = 4*g, -4*u + 2*u - 5*g - 5 = 0. Sort u, -4, t in decreasing order.
u, t, -4
Let r(v) = v**2 - 24*v + 42. Let s be r(22). Sort 0, s, -1 in ascending order.
s, -1, 0
Suppose -5*s - p = -0*p + 15, 0 = -p. Let z = 7 - 11. Let a = -4.87 - 0.13. Sort z, a, s.
a, z, s
Let h = -3.64 + -0.16. Let j = h - 2.7. Let l = 6 + j. Put 2, l, 5 in ascending order.
l, 2, 5
Let q be (-2)/(-4) - (-5)/(-10). Let n(w) = w**2 - 8*w + 14. Let b be n(6). Sort 4, b, q in decreasing order.
4, b, q
Let p = -1179.09 - -1174. Let m = 0.09 + p. Sort 0.2, m, -3 in decreasing order.
0.2, -3, m
Let r be (2/(-18))/((-28)/(-24)). Sort r, -1, 0.1 in ascending order.
-1, r, 0.1
Suppose 3 = 4*q - 4*a + 7, 5*a = 0. Let l(b) = -2*b - 6. Let o be l(-5). Sort 17, q, o in ascending order.
q, o, 17
Let r(t) = t**3 - 8*t**2 + 7*t + 3. Let u be r(7). Put u, -0.5, -1 in decreasing order.
u, -0.5, -1
Let o = 1 + 0. Let t = 2.06 - 0.06. Let c = o - t. Sort c, -2/5, 2/7.
c, -2/5, 2/7
Let f(p) = -p + 6. Let o be f(8). Sort o, 4, 0.1 in increasing order.
o, 0.1, 4
Suppose 0 = 8*a + 7 - 39. Suppose 7*g = 3*u + 3*g + 5, 3*u = -g + 20. Let f be (-3)/3*(-1 - 0). Put u, f, a in increasing order.
f, a, u
Let y be (2 - 120/57)*-1. Put 0, y, 0.15 in decreasing order.
0.15, y, 0
Let o = 0.39 + -0.35. Sort -2, o, 1/2.
-2, o, 1/2
Let f = 0.088 - 5.088. Put f, 2/7, 2, 3/5 in descending order.
2, 3/5, 2/7, f
Let x be -5 + 8 + 1 + -7. Let j be -4 - ((-2 - 2) + 2). Sort 1, x, j.
x, j, 1
Let u = -7.2 - -4.3. Let f = -1.1 + u. Sort -7/4, f, 0.5.
f, -7/4, 0.5
Let j = -0.2 + 1.2. Let w = -0.8 + -0.2. Let d = w + j. Put d, -3, -0.4 in decreasing order.
d, -0.4, -3
Let z = -110/39 - -54/13. Let v = -10 + 5. Let t = -4 + 4. Put t, z, v in decreasing order.
z, t, v
Let h = -0.11 - 3.89. Suppose 3*m - 2 - 1 = 0. Sort h, m, -1.
h, -1, m
Suppose -3*g - 14 = -j, j = 2*g + 4*j - 9. Sort g, 2, -4.
-4, g, 2
Suppose 0 = -5*b - 5*a + 25, 0*b - 3*b = a - 9. Sort -3, 0, b.
-3, 0, b
Let t(c) = 3*c - 12. Let v be t(6). Let y(o) = o**2 - 6*o - 1. Let a be y(v). Put a, 0, -0.3 in decreasing order.
0, -0.3, a
Let n be (-1 - 0) + 36/33. Put n, 2, -2 in decreasing order.
2, n, -2
Suppose -k = 2*k - 9. Suppose -k*i = -i - 4. Sort 4, 0, i.
0, i, 4
Let o be (0 - (0 + 2)) + 8. Suppose 3*q + 0 = 6. Sort q, 4, o.
q, 4, o
Let k = 3 - -1. Sort -2/7, -11, k.
-11, -2/7, k
Let s be (0 - 4)/(-1 - 1). Let d be 1/(-1)*-2 - -3. Put s, -0.3, d in increasing order.
-0.3, s, d
Let i = -27 + 27.6. Put -2, 2, -0.4, i in ascending order.
-2, -0.4, i, 2
Let q be 4/18 + (-4)/18. Sort 1, -5, q in ascending order.
-5, q, 1
Let q = 12 - 14. Put -4, q, -3 in descending order.
q, -3, -4
Suppose -2*x = 8, 5*b = -x - 0*x - 4. Sort 5, b, 3 in descending order.
5, 3, b
Let v be (-5)/(-2)*(-12)/135. Put 0.3, v, 0.1 in decreasing order.
0.3, 0.1, v
Let w = -4.1 + 3.8. Put w, 0.5, -0.01, 1/6 in descending order.
0.5, 1/6, -0.01, w
Let o = 2.1 + -2.6. Let c = -0.07 - 2.93. Sort 0.4, c, o in descending order.
0.4, o, c
Suppose -5*r + 15 = -d, 2*r + 11 = 5*r - d. Suppose 4*o - 6 = -r. Sort o, -1, -5.
-5, -1, o
Let g(r) be the third derivative of 1/4*r**4 - 5/6*r**3 + 0 - 4*r**2 + 0*r + 1/60*r**5. Let s be g(-6). Put -3, s, 1 in descending order.
1, -3, s
Suppose 4*r = 5*r. Suppose 5*m + 0*m + 20 = r. Let j be (-3)/(-12) + (-3)/m. Put -3/4, j, -0.4 in increasing order.
-3/4, -0.4, j
Let j = -47 + 46.8. Suppose -5*f - 2 = -4*c - 0*f, -5*f = -2*c + 6. Let d be (2/3)/(c - 0). Sort d, 1/4, j.
d, j, 1/4
Let i = 4 - 3. Suppose 3 + 0 = 3*z. Let h(f) = -5*f**2 + 1. Let w be h(z). Put w, i, -5 in decreasing order.
i, w, -5
Let i = -0.31 + -0.1. Let p = -2 - -2.01. Let k = p + i. Put k, 1, 3 in decreasing order.
3, 1, k
Suppose -5*f - 20 = -8*f - 5*n, -3*f = 4*n - 19. Put f, 9, -3, -1 in increasing order.
-3, -1, f, 9
Let p = -157 + 73. Let i = p - -22. Let d = i - -557/9. Sort 0.3, d, -2/13 in decreasing order.
0.3, d, -2/13
Let a = 10 + -4.2. Let k = a - 6. Sort 2/3, -3, k.
-3, k, 2/3
Let u be ((-18)/(-4))/((-1)/(-2)). Let f(z) = -z**3 + 15*z**2 - 14*z + 5. Let h be f(14). Put u, 1, h in descending order.
u, h, 1
Suppose f - 2*l - 2 = 1, 0 = 3*f - l - 9. Suppose 2*m + 5 = f*m. Suppose m*v - 2*u = 3*u + 10, 4*v - 5*u = 12. Put v, -1, 2 in decreasing order.
2, -1, v
Let m = 23/90 + -1/18. Sort m, -2/17, -0.5, 0.
-0.5, -2/17, 0, m
Let h = -2.8 + 2.3. Put -2, h, 0.1 in increasing order.
-2, h, 0.1
Suppose -2*w = -3*w - 1. Put 2, w, 4, 3 in decreasing order.
4, 3, 2, w
Suppose -4 = -3*r + 8. Suppose -3*c = -0*o - 2*o - 32, 3*c - 4*o - 34 = 0. Let t be (3/10)/(8/c). Sort t, -2/3, r.
-2/3, t, r
Let y = -3.5 - -2.9. Sort -3, 5, y, -1 in descending order.
5, y, -1, -3
Let u = -2.97 - 0.03. Suppose b + 12 = -5*s, -4 = 4*b - 0*b - 2*s. Let f be 19/(-30) + (-1)/b. Sort u, 0.3, f in ascending order.
u, f, 0.3
Suppose -s = -0*s - 5. Let h be 6/(-9)*(-18)/4. Suppose -5*y + w + 6 = 2*w, 3*w - h = 0. Put y, s, 0 in ascending order.
0, y, s
Let g = 0.3 - 0.2. Put -1, 0.02, g in in