1. Let n be p(1). Let o be (1 + n)*2/6. Put o, 0.1, z in decreasing order.
o, 0.1, z
Suppose 4*p - 4*c = -16, 0 = -2*c + 4*c. Sort -2, p, -5, 0 in increasing order.
-5, p, -2, 0
Let o be (14/(-4) + 1)*2. Let f be o/((-30)/4)*3. Let q(b) = b + 2. Let r be q(f). Sort 3, r, 2 in decreasing order.
r, 3, 2
Let h(i) = i**2 + 5*i - 9. Let z be h(-7). Sort -5, -4, -3, z in descending order.
z, -3, -4, -5
Let c = 1.78 + 0.12. Let p = c + -1.6. Sort -5/2, -2, p.
-5/2, -2, p
Let m = 5.8 - 2.8. Put m, 5, -2 in ascending order.
-2, m, 5
Let j = 5 + -10. Let k = 6 + -9. Put 3, k, j in decreasing order.
3, k, j
Let d = -128 + 126. Sort d, 2/5, 13/2, 1/5.
d, 1/5, 2/5, 13/2
Suppose h + 2*h - 8 = -5*b, 4*h + 12 = -b. Put h, 3, -5, 5 in descending order.
5, 3, h, -5
Let c = 35 + -29. Let o = 43 + -31. Suppose -3*k + c*k = -o. Sort 1, k, 3 in ascending order.
k, 1, 3
Let f = 4 + -3. Sort -2, f, 3, -4 in ascending order.
-4, -2, f, 3
Let m = 448.9 - 444.934. Let g = m - 0.066. Let h = g + 0.1. Sort h, 3, -0.3 in increasing order.
-0.3, 3, h
Suppose 10*x + 48 = -12. Put 5, 1, -4, x in decreasing order.
5, 1, -4, x
Let g(p) = 22*p - 8. Let q be g(4). Let y = 242/3 - q. Put y, 3, -1/7 in decreasing order.
3, y, -1/7
Suppose 7 = 5*r - n, 3*n + 7 - 26 = -5*r. Suppose -s + 4 = -5*x + 12, 0 = -r*x + 2*s. Put 4, x, 5 in increasing order.
x, 4, 5
Suppose -2*f + 5*l = 1, 3*l = 3*f + 1 - 4. Put f, -71, -2 in ascending order.
-71, -2, f
Let u be (2 + (-1)/3)*3. Suppose -3*l + 7 - 19 = 0. Sort -1, l, u in ascending order.
l, -1, u
Let o = 23 - 23. Sort o, -4, -0.2, 0.5 in descending order.
0.5, o, -0.2, -4
Suppose 0 = -4*j - j. Let b be 2*(1 + (-15)/6). Sort 5, b, j in decreasing order.
5, j, b
Let l(t) = t**2 - 7*t + 1. Suppose v - 1 = 6. Let d be l(v). Let k = -7 + 10. Put 2, k, d in decreasing order.
k, 2, d
Let h be 130/(-7)*(-396)/(-30). Let z = -246 - h. Let r = 1 + 0. Put z, 2/3, r in increasing order.
z, 2/3, r
Let q be 0 - (-7)/(14/(-6)). Sort -4, q, 5, 0 in decreasing order.
5, 0, q, -4
Let b = 26 + -23. Sort -3, -1, -4, b in descending order.
b, -1, -3, -4
Let c = -0.3 - -0.1. Let r be ((-69)/(-46))/((-1)/2). Sort 1/4, r, c in descending order.
1/4, c, r
Let s be 6/(-8)*4/12. Let z = -2 - -5. Let a be (4/3)/((-1)/z). Put s, a, -1/6 in increasing order.
a, s, -1/6
Suppose -4*k - 10 = 2*y, 3*k - 20 = 7*k + 4*y. Let n = -48 - -48. Suppose k*t - 2*t + 2 = n. Put t, 5, 0 in descending order.
5, t, 0
Let n be (-20)/(-60) - 14/6. Put -22, 0, n in descending order.
0, n, -22
Suppose 5*k + 8 = -7. Let l = 2 + 2. Let y = k + l. Put 3, -5, y in descending order.
3, y, -5
Let s = -5 - -3. Let a(w) = 3*w**3 - w**2 + w + 1. Let g be a(-1). Let v(n) = 3*n + 1. Let y be v(-2). Put y, g, s in descending order.
s, g, y
Let i = 3 - 14. Let q = 16 + i. Let c = -2 + 5. Sort -5, c, q in increasing order.
-5, c, q
Let i be (-7)/(-3) + (-4)/2. Put -5, -3, i in ascending order.
-5, -3, i
Let o be 2/(-3) + (-32)/(-12). Suppose 0*i + 3*i - 4 = -2*v, 4*v = -16. Suppose 0 = -5*h - i - 21. Sort 0, o, h in descending order.
o, 0, h
Suppose -3*h - 7 + 22 = 0. Suppose h*x = v - 21, -3*x + 7*x + 18 = 2*v. Let u = 1.6 - 1.2. Put -0.4, x, u in descending order.
u, -0.4, x
Let c = 8 + -6. Let w(n) = -n**3 - 2*n**2 + 3*n + 1. Suppose -5*x = 15, -2*f - 5*x + 7 = 26. Let u be w(f). Sort 0.1, u, c.
u, 0.1, c
Let m = -1 + 5. Suppose -3 = d - 2*d. Suppose 0 = 3*q - 3*b + 3, -q - d*b = b + 16. Sort q, -3, m.
q, -3, m
Let c = -0.35 - 0.65. Put 0, c, 5 in decreasing order.
5, 0, c
Let r = -3 + 2. Put 7, -3, r in ascending order.
-3, r, 7
Let t = -2.9 - -4.5. Let p = 1.1 - t. Sort p, -1, -10 in ascending order.
-10, -1, p
Let t be -4 - (4 - (2 - -10)). Sort -4, 0, 3, t in descending order.
t, 3, 0, -4
Let s = -268.52 + 9.22. Let y = s + 249. Let x = -10 - y. Sort 0, x, -0.5 in descending order.
x, 0, -0.5
Let c = 1 + -4. Let x(s) = 3*s + 3. Let g be x(c). Let v = 8 + g. Put 4, -2, v in increasing order.
-2, v, 4
Let o = 1.5 - 1. Let g = -38.2 + 38. Sort g, -0.4, o in decreasing order.
o, g, -0.4
Suppose 4*h + 15 = -5. Suppose -z - g = -2*g - 7, 19 = 3*z - g. Suppose 3*m - z = -p - 2*p, 5*m = 3*p - 30. Put h, -2, m in increasing order.
h, m, -2
Let g = 2 - -2. Suppose 2*y - 12 = -0*y. Let f be ((-4)/(-18))/(8/y). Sort g, f, 1 in increasing order.
f, 1, g
Let y be 6/3 - (5 + -3). Suppose -8 = 2*a - 6*a. Suppose 2*q - 2 = a. Put q, -3, y in decreasing order.
q, y, -3
Let g be (2/(-5))/(5/75). Let h be (-16)/g + -1 + -2. Sort -2/7, -2, h.
-2, h, -2/7
Let t = -202/21 + 72/7. Put 4, -2/43, t in descending order.
4, t, -2/43
Let s be ((-4)/(-10))/(56/35). Let d = -0.23 + -10.77. Let r = -15 - d. Sort r, s, -2 in increasing order.
r, -2, s
Let l = 4 + -1. Suppose -3 = -l*w - 0*w. Put w, 5, -4 in descending order.
5, w, -4
Let j = 12 - 8. Suppose 4*z = -19 - 37. Let i be ((-9)/15)/(z/10). Sort j, 6/11, i.
i, 6/11, j
Suppose 0*h - 4 = 2*h. Let r be 5/(2 + -1 + 0). Suppose 4*p + 18 = r*u - 13, -3*p + u = 15. Sort 4, p, h in increasing order.
p, h, 4
Suppose -12 = 6*m - 2*m. Let d be -24*(1 + 1)/(-6). Suppose -q = -6 + d. Sort -1, m, q in descending order.
-1, q, m
Let m = 5.06 + -0.06. Sort 2, m, -1/3 in decreasing order.
m, 2, -1/3
Let w = 0.4 - 0.9. Put -1/4, w, 0 in decreasing order.
0, -1/4, w
Let k(v) = 3*v + v - 3 - v. Let u be k(2). Put 1, u, -5 in descending order.
u, 1, -5
Let f be 4/(-24)*-3*-10. Sort f, -3, -4.
f, -4, -3
Let f be 12/(-24)*(1 + 7). Let i(n) = n. Let g be i(4). Sort g, f, 2 in descending order.
g, 2, f
Let t = 0.377 - -0.023. Let z = -0.3 + 0.6. Sort z, -1/7, t.
-1/7, z, t
Suppose -2*q + 5 + 3 = 0. Let t = q - 3. Suppose -5*o + 15 = -o - h, -3*o + h + 12 = 0. Sort t, -2, o in decreasing order.
o, t, -2
Let t be (15/9 - 0)*-3. Let m be (-2)/t - 36/(-10). Let h be 1*2*(-4)/(-52). Sort m, h, 2 in increasing order.
h, 2, m
Suppose -24 = y + 5*g, 17 = -y + 3*y - 3*g. Suppose 22 = 3*n + 7. Sort -1, y, n in increasing order.
-1, y, n
Let j(z) = -z**3 + 7*z**2 + 8*z - 3. Let o be j(8). Let n be -10*(6/(-5))/o. Suppose 0 = -3*a - 0*a + 9. Put -5, a, n in ascending order.
-5, n, a
Suppose 4*y + 4*s - 60 = 0, 3*y + 5*s - 42 - 9 = 0. Let i be 1/(-4) - (-95)/y. Let p = -8 + i. Put p, 0.1, 3/2 in ascending order.
p, 0.1, 3/2
Let i(c) be the second derivative of c**4/12 - c**3 - 7*c**2/2 - 4*c. Let l be i(7). Put -3, 3, l in descending order.
3, l, -3
Suppose 0 = -2*j - 2, 5*j + 4 = -b - 1. Suppose b*r = -3*r. Let d be 6*(4/(-54) - r). Sort -2, d, 0.4 in decreasing order.
0.4, d, -2
Suppose -w - g - 17 = 2*w, g = 1. Let a = -10 - w. Put -2, 0, a in increasing order.
a, -2, 0
Let a = 1.8 + -2. Put 0.2, -3, a, 3/5 in descending order.
3/5, 0.2, a, -3
Let k(z) = -z - 2. Let i be k(-4). Sort i, 8, -1.
-1, i, 8
Let u be (-4)/(-24) - (-26)/(-12). Put u, 3, -12 in decreasing order.
3, u, -12
Suppose -h + 3*h - 8 = 4*m, -2*m = 2*h + 10. Put 3, h, 2 in ascending order.
h, 2, 3
Let n = -81 + 81. Put 14, -1, n in decreasing order.
14, n, -1
Suppose -3*w = -4*x - 5*w, 0 = -4*w. Sort -0.2, 5, -1/6, x in descending order.
5, x, -1/6, -0.2
Let n = 23 - 27. Let g(b) = -b + 6. Let u be g(6). Sort n, 3, u.
n, u, 3
Let z be (-1)/(-15)*-2 - 0. Let k = -640 - -4007/7. Let x = 68 + k. Sort 3, z, x.
z, x, 3
Let m = 1.9 - 1.6. Suppose -w + 22 = -3*w. Let c = w - -7. Put m, 1, c in descending order.
1, m, c
Let v = 1.7 - 1.7. Sort 1, 0.1, v in descending order.
1, 0.1, v
Let y be (-52)/120 - 6/(-10). Put y, 7/4, -0.4 in decreasing order.
7/4, y, -0.4
Let z(w) = -w + 5. Suppose -s + 27 = -0*s. Let d = s + -19. Let m be z(d). Sort 0, 3, m in ascending order.
m, 0, 3
Suppose 36 = 5*i - 19. Suppose -2 = -3*b - i. Put 2/3, 0.1, b in decreasing order.
2/3, 0.1, b
Let x = 0.5 + 0.6. Let w = 0.8 - x. Let t = 1.5 + -2. Put t, -0.1, w in increasing order.
t, w, -0.1
Let r = 18 + -23. Suppose 4*n + 7 + 9 = 0. Put n, r, 4 in decreasing order.
4, n, r
Let m(j) = 2*j**2 + 4*j + 4. Let o be m(-3). Let r be (2/o)/(2/6). Let g = 4 + -3. Sort g, r, 0.2.
0.2, r, g
Let f = -749/4 + 189. Let v = -1 + f. Put v, -2/7, 3 in descending order.
3, v, -2/7
Suppose 0 = -a + 2*a + 2*x - 7, -a + 5*x = -14. Suppose 4*s - s - a = 0, 5*v + 28 = s. Let g = 17 - 69/4. Put g, v, -2/7 in decreasing order.
g, -2/7, v
Let m = 2917/11 + -265. Suppose -2*p = 3*s - 29, -2*s