et p = h - 1442/9. Sort -0.08, p, y in decreasing order.
y, -0.08, p
Let n be (-26)/30 + (-2)/(-10). Let q be 0/1 + (-4)/(-14). Sort -5, q, n in ascending order.
-5, n, q
Suppose 0 = 3*r - 2*r. Suppose 4*b - 6 = 2. Suppose -a + b*c = -0*c + 12, -5*a - 4*c + 10 = 0. Sort a, r, -5 in increasing order.
-5, a, r
Let g be (-9)/2 + (15 - 11). Sort g, 0.5, 3, 2/7.
g, 2/7, 0.5, 3
Let s be 1 + -1*1 + -1. Let y(m) = -m + 9. Let z be y(7). Suppose -o = -v - 3, 8*v - 3*v + 4*o = 12. Sort v, z, s in decreasing order.
z, v, s
Let o = -10.12 + 0.12. Let v = -13 - o. Sort 1/4, v, -0.5.
v, -0.5, 1/4
Let x = -4 - -3.92. Let c = 0.115 + -1.115. Sort c, -2, x in increasing order.
-2, c, x
Suppose -2*f = 2*p - 6, 5*f - 4*p - 22 = -2*p. Let x = -7 - -3. Put x, 3, f in decreasing order.
f, 3, x
Let s(z) = z**3 + 2*z**2 - z + 1. Let j be s(-2). Let o = -11 - -7. Put o, -1, j in decreasing order.
j, -1, o
Let t = 23 - 20. Put t, -14, -2, -1 in ascending order.
-14, -2, -1, t
Let p(k) = -4*k + 54. Let m be p(12). Sort -1/5, m, 0 in decreasing order.
m, 0, -1/5
Suppose -8*n - 2 = -2. Put -13, n, -5 in increasing order.
-13, -5, n
Suppose -3*a - 2*a = -75. Suppose -4*j = j - a. Put 0.2, j, 1 in decreasing order.
j, 1, 0.2
Let z(k) = k + 2. Let s be z(-4). Sort -1, s, 5 in decreasing order.
5, -1, s
Let m be (-1)/2*5*-2. Let z be 0/(3/(3/2)). Suppose 14 = r + 19. Sort z, r, m in ascending order.
r, z, m
Let y be (-1 - -1)*(-4 + 5). Suppose y*f + f = 0. Put 0.3, f, -0.3 in decreasing order.
0.3, f, -0.3
Suppose -4*i - 4*x = -6*i - 2, 5*i + 3*x + 18 = 0. Suppose -k + 3 - 7 = 0. Let d be 3 + ((-4)/k - 0). Sort i, -5, d in ascending order.
-5, i, d
Let l be (-6)/(-9)*12/2. Suppose 3*n + 12 = -4*s - n, -n = 2*s + 3. Let b = s - 2. Put l, -3, b in decreasing order.
l, b, -3
Suppose -5*l + 15 = -10*l. Put 1, 3, l in decreasing order.
3, 1, l
Let i be (3/(-72)*-6)/(2/(-12)). Sort -51, i, 0.4 in increasing order.
-51, i, 0.4
Suppose a - 13 = 3*w, -2*w = -3*a + w + 21. Sort a, -4, 0 in descending order.
a, 0, -4
Suppose 2*i + 5 - 3 = 0. Suppose x + 14 = 5*v, x = 2*v + 2*x. Sort v, i, 0 in decreasing order.
v, 0, i
Suppose -3*g + 15 = -0*g. Let i(n) be the first derivative of n**4/4 + 10*n**3/3 - 5*n**2 + 13*n - 9. Let v be i(-11). Put v, g, -5 in decreasing order.
g, v, -5
Let m = -6 - -5.7. Let c be 4/5*(-15)/(-6). Suppose 0*q + 4 = -c*q. Sort 0.1, q, m.
q, m, 0.1
Let b(t) = 2*t**2 - 3*t + 3. Let s be b(2). Suppose -2*k - 1 = 3. Put 1, k, s in ascending order.
k, 1, s
Suppose 2*m = -l + 4*m - 5, 4*l = 5*m - 20. Sort -4, l, -1 in decreasing order.
-1, -4, l
Let d(t) = -5*t + 9. Let x(h) = -h. Let r(q) = -d(q) + 4*x(q). Let u be r(5). Sort 2, 3, u in ascending order.
u, 2, 3
Let x = -0.2 + 0.7. Let n = -2.5 - x. Put n, -0.5, 0.4 in increasing order.
n, -0.5, 0.4
Suppose 3*p - 33 = -4*t, -3*p - 3 = -5*t + 18. Suppose -l + 2*l + t = 0. Let k be 1*(-10)/l*-3. Put 0, 1, k in ascending order.
k, 0, 1
Let a(c) = -c**2 + 5*c - 2. Let x be a(5). Let w be x/7 + 40/336. Let t = 3 + -1. Put t, -0.4, w in ascending order.
-0.4, w, t
Let c(v) = -2*v + 1. Let a be c(0). Let t = a - 0. Sort t, 0, 5 in increasing order.
0, t, 5
Let w = -108 + 101. Sort -6, w, -4 in increasing order.
w, -6, -4
Let r be -2 + 4 - (-2 - (-7 - -1)). Put 2, r, -17, 4 in descending order.
4, 2, r, -17
Let v be 3*4*1/3. Suppose 0 = v*y + y + 10. Let o(i) = -i**2 + 50. Let b be o(7). Put y, 4, b in increasing order.
y, b, 4
Let h be -1 + (-3)/1 - 19. Sort -3, -0.3, h, 5 in increasing order.
h, -3, -0.3, 5
Suppose 0 = -z + 4*q + 17, z + q + 1 = -2. Suppose 4 = -y - z. Let u(j) = -2*j**2 - 2*j. Let c be u(-2). Put y, c, -2 in increasing order.
y, c, -2
Suppose -2*q + v = -0*v + 5, 7 = -4*q + 3*v. Put 3, -15, q in decreasing order.
3, q, -15
Let v = -3 + 3. Let y be 49/(-42) - 3/(-18). Sort -2, y, v.
-2, y, v
Let u = 8 - 8.3. Let q = 14.03 + -0.03. Let g = q - 13.6. Sort u, g, 1 in descending order.
1, g, u
Let o be (-32)/(-18) + (-4)/(-18). Let h be 2*(1 + (0 - 2)). Let q(j) = -2*j. Let w be q(h). Sort o, -5, w in increasing order.
-5, o, w
Suppose -4*c - 5*h - 21 = 0, 0 = -5*c + 2*h + 16 - 1. Sort 5, -4, -26, c.
-26, -4, c, 5
Let b = -4.04 + 0.04. Let x = 5 + b. Sort 5, -0.4, x in decreasing order.
5, x, -0.4
Let y = -5 + 2.7. Let u = y + 1.8. Suppose -5 - 5 = 2*c. Sort c, 3, u in ascending order.
c, u, 3
Suppose 4 = 2*y - 0. Put y, -1, 3 in increasing order.
-1, y, 3
Let u = 0 - 10. Let w = u - -6. Let q(r) = r**3 - 5*r**2 + 4*r - 5. Let y be q(4). Put -3, y, w in descending order.
-3, w, y
Suppose 3*h - 4 = -1. Let b be (h + 7)*(-2)/(-4). Put -5, b, -1 in decreasing order.
b, -1, -5
Let j(x) = x**3 + 8*x**2 - x - 8. Let u be j(-8). Suppose 0 = -u*y + y - 4. Put 2, y, -4 in decreasing order.
y, 2, -4
Let t be (-1022)/10 + 1/5. Let l be 6/8*(-16)/t. Sort 1, 2/11, l in descending order.
1, 2/11, l
Let r(a) = -a. Let u be r(0). Suppose -2*d + u*d = 2, 4*d - 8 = -4*j. Put j, 5, -3 in decreasing order.
5, j, -3
Let t be (4/(-30))/(6/(-60)). Let p be (-18)/(-63) - 590/7. Let r = 1594/19 + p. Sort -0.2, t, r in decreasing order.
t, r, -0.2
Suppose 1 = 3*d - 5. Sort d, 0, -5.
-5, 0, d
Suppose -7 = -n + 4. Suppose 11 = -v - 6*p + 2*p, p - n = -3*v. Let i be 2 - -6*1*-1. Sort i, v, 3 in descending order.
v, 3, i
Let u = 3 + 1. Let k = -3.9 + u. Sort 0.5, -0.3, k.
-0.3, k, 0.5
Let g(b) = b + 3. Let n be g(-5). Sort n, -1, 3 in decreasing order.
3, -1, n
Suppose -5*k - 4*t + 5 = 0, -5*k + 8 = -5*t - 42. Let i = -3 - -3.5. Sort k, -4, i in descending order.
k, i, -4
Let f = 5004/35 - 143. Let u = f - 137/105. Put -0.2, 5, u in descending order.
5, -0.2, u
Let s = 0.2 + 0.3. Let i(d) = -d - 15. Let v be i(-10). Let f = -0.1 - 0.3. Put s, f, v in descending order.
s, f, v
Let i(w) = -w**3 + 5. Let j be i(0). Put j, 3, -9 in increasing order.
-9, 3, j
Suppose -4*c - c = 0. Let s = -0.04 + 0.34. Sort c, -0.4, s in descending order.
s, c, -0.4
Let p = 53.4 - 58. Let o = 7 + -12. Let g = o - p. Put -5, -1, g in increasing order.
-5, -1, g
Suppose -5*k + 25 = -a, -4*k = 5*a - 2*k + 17. Let g = -5 - a. Let r be g/2 + (-5)/(-1). Put 1, r, 3 in ascending order.
1, 3, r
Let t be ((-38)/18)/(1/2) + 4. Let s = 2/11 - -3/44. Put s, t, 2 in increasing order.
t, s, 2
Let h = -7 + 8. Let l = -4 + h. Sort 2, 3, l in ascending order.
l, 2, 3
Let s = 12 + -19. Let y(x) = -x**3 - 6*x**2 + 7*x + 5. Let l be y(s). Put l, 2, 1 in descending order.
l, 2, 1
Let s = -4 - -5. Let f = 0 - s. Put 2, f, -8 in ascending order.
-8, f, 2
Suppose -5*d + 4*d + 2 = 0. Sort -1, 8, -5, d in descending order.
8, d, -1, -5
Let f = 9 - 17.1. Let b = f + 8. Put b, -2, -3 in ascending order.
-3, -2, b
Suppose 2 = -3*a - 10. Let l be 1/5 + (-72)/(-15). Let t = l - 3. Sort t, a, -5 in decreasing order.
t, a, -5
Let x = 131 + -152. Sort 0, 2, x in decreasing order.
2, 0, x
Let a(w) = -4*w - 14. Let u be a(-5). Sort u, -3, 2 in decreasing order.
u, 2, -3
Let w = 0.2 + 0.8. Let q be (-2)/(-2 - 1 - -5 - -7). Sort 0.3, q, w in decreasing order.
w, 0.3, q
Suppose 6*n + 4*n + 50 = 0. Sort 1, -24, n in decreasing order.
1, n, -24
Suppose 144 = v + 7*v. Put -4, 2, v in decreasing order.
v, 2, -4
Suppose a - 8 = 5*a. Let c be 0/(-1*2) + 4. Let l(m) = -m**2 - 2*m + 3. Let w be l(2). Sort w, a, c in decreasing order.
c, a, w
Suppose -3*a = 4*j - 89, -6*a + a = 4*j - 159. Let x be (4/(-10))/((-42)/a). Let n = -21 - -23. Sort 2/17, x, n.
2/17, x, n
Let z(p) be the third derivative of 0*p + 1/2*p**3 + 0 + 4*p**2 + 11/24*p**4 - 1/60*p**5. Let q be z(11). Put q, 2, -3 in increasing order.
-3, 2, q
Let c = -6/47 - -165/188. Sort 0, c, -4.
-4, 0, c
Let a = -199/66 + 17/6. Let r = 0.3 + -0.1. Let x = r - 0.3. Sort x, 1/8, a in decreasing order.
1/8, x, a
Let o = -50 + 30. Let l be ((-15)/o)/((-1)/(-4)). Sort 2, -4, l in descending order.
l, 2, -4
Let t = 5 + -4. Let d = t + -4. Let m = 2.5 + d. Sort 3, 2/9, m in decreasing order.
3, 2/9, m
Let j = -7 - -7.3. Let y = -15.43 + 1.23. Let h = y - -14. Put 2/7, h, j in descending order.
j, 2/7, h
Suppose -6 = 4*o - o. Let s(x) = x**3 - 6*x**2 + 4*x. Let j be s(4). Let p = j + 12. Sort o, -5, p in descending order.
o, p, -5
Let q(h) = -h**2 - 8*h + 4. Let v be q(-5). Let r be v/(-57) + 17/(-3). Sort -2, r, 2/11 in decreasing order.
2/11, -2, r
Let t = 