 = 0. Put -4, -2, h in descending order.
h, -2, -4
Let u be 68/(-20) - 18/30. Sort -2, 3, u, 0 in decreasing order.
3, 0, -2, u
Suppose 2*a - y = 2*y - 7, -5*a - 15 = -5*y. Let t = 12 - 12. Put a, 5, t in ascending order.
a, t, 5
Let f be (2/(-3))/((-10)/(-15)). Suppose 0*r = 4*r + 16. Let a be (3/r)/(3/(-12)). Put a, -2, f in increasing order.
-2, f, a
Let a = -27 + 28. Put a, 3, 0 in increasing order.
0, a, 3
Let v be (-1)/(2/14) + 4. Put 3, -4, v in decreasing order.
3, v, -4
Let b = 0 - -15. Suppose k + b = 3*u, 5*k + 2*u + 3 = -4. Put 0.4, -2, k in decreasing order.
0.4, -2, k
Let p = -141 + 145.88. Let q = -0.12 - p. Put q, -0.2, 2 in descending order.
2, -0.2, q
Let x = 58 + -50.9. Let t = x + -7. Sort t, 3/2, 2/7 in decreasing order.
3/2, 2/7, t
Let v(o) = -o**3 - 8*o**2 + o + 8. Let a be v(-8). Let g = -2 + 2. Suppose 2*c + g*c + 8 = 0. Put c, a, 3 in decreasing order.
3, a, c
Let n = 0.05 + 0.35. Let j = 3 - 1. Sort 0.5, j, n in descending order.
j, 0.5, n
Let h = -7 + 10. Suppose -b = -4*y + 9, -2*b - 5*y + 5 = -3. Sort b, h, 4.
b, h, 4
Let j(w) = w - 1. Let i be j(-3). Sort -3, 6, -5, i in decreasing order.
6, -3, i, -5
Let f = 27.8 + -28. Sort f, 0, -7, 2 in descending order.
2, 0, f, -7
Let f(c) be the second derivative of c**3/6 - 3*c**2/2 + 3*c. Let u be f(4). Sort -5, 0, u.
-5, 0, u
Suppose -3*k - 4*l + 803 = -2*k, 2*k - 2*l - 1656 = 0. Let y be k/(-56) - (-4 + 2). Let s = y + 88/7. Sort -2, 2, s in decreasing order.
2, s, -2
Suppose -12 - 12 = 4*q - 4*t, -t = -4*q - 21. Sort q, -4, -1 in descending order.
-1, -4, q
Let o(g) = -2 - 28*g + 40*g + g**2 - 1. Let m be o(-12). Put m, -5, 3 in decreasing order.
3, m, -5
Let v be (-2 + -8)/(4/(-2)). Let j be (-8)/(-52) - (-74)/26. Put 2, v, j in increasing order.
2, j, v
Let w = 13 + 21. Suppose 3*p = -5*s + w, -3*s + 0*p = -3*p - 6. Let l(q) = q. Let t be l(1). Sort s, 4, t in increasing order.
t, 4, s
Let g be (-1)/(-2) - 6/(-4). Suppose -2*s + 5*s = 0. Sort g, -1, s.
-1, s, g
Let g be -2*(-3)/(42/(-4)). Sort 0.3, -0.4, g.
g, -0.4, 0.3
Let m = 51 + -50. Put 0.2, -3, m, -0.5 in descending order.
m, 0.2, -0.5, -3
Let w(l) = 4*l. Let b = 3 - 2. Let q be w(b). Let a = 223 - 222. Put q, -3, a in decreasing order.
q, a, -3
Let v be 3/(-3)*(0 - -2). Let i = 2/157 + -165/628. Sort v, -1/2, i in descending order.
i, -1/2, v
Let m = -536/3 - -178. Sort 0.1, 8/5, 2/9, m in decreasing order.
8/5, 2/9, 0.1, m
Let l be 2/2 - 552/(-10). Let y(u) = 13*u**2 - 2*u. Let x be y(-2). Let v = x - l. Sort 2/7, v, 0.4 in decreasing order.
0.4, 2/7, v
Let q be 2/(-8)*14*-2. Let w = 4 - q. Sort -4, -1, w in decreasing order.
-1, w, -4
Suppose -3*g + 0 + 6 = 0. Let i be g*(-4)/(-92)*-1. Sort 1/3, -4, i.
-4, i, 1/3
Suppose l = -0*l + 5. Suppose -15 = l*g + 10. Put g, -1, 5 in ascending order.
g, -1, 5
Let m be 56/12 - (-2)/(-3). Let z be 0*2/m + -3. Let b = z - -6. Put b, -3/5, 3/4 in increasing order.
-3/5, 3/4, b
Let z = 24 - 20. Sort -5, -3, z.
-5, -3, z
Let t be 2/(-4) - 1/4*30. Sort 5, t, -4.
t, -4, 5
Let f = 3 - 3. Let a = 1 + f. Let u(t) = 3*t - 1. Let s be u(a). Put 0, 4, s in decreasing order.
4, s, 0
Let g be ((-12)/(-15))/((-12)/30). Put g, 0, 4, -3 in ascending order.
-3, g, 0, 4
Let b(d) = -d - 6. Let u be b(-5). Sort -3, 2/13, u, 1/13 in increasing order.
-3, u, 1/13, 2/13
Let n = -2.29 - -1.89. Put 2, -2/9, n, 7 in descending order.
7, 2, -2/9, n
Let j = 1.2 - -0.8. Let u = 3.1 + -3. Let h = 0.6 + 0.4. Sort j, u, h.
u, h, j
Suppose -13*j + 8*j = 0. Let c = -4 + j. Put 1, c, -3 in ascending order.
c, -3, 1
Let u = -4 + 4. Sort u, 4, -1.
-1, u, 4
Let a be -1 + 12/(-4) + -2. Let d = 10 + a. Put 2, d, 3 in decreasing order.
d, 3, 2
Let w(c) = c**3 + 3*c**2 - c - 2. Let u be w(-2). Put u, -2, -6 in ascending order.
-6, -2, u
Suppose 5*h - 7 = 5*o + 13, 0 = o - 5*h + 4. Put 1, 0, 2, o in increasing order.
o, 0, 1, 2
Let t(v) be the first derivative of -v**4/4 + v**3/3 - v**2/2 + 8*v - 2. Let u be t(0). Let w be (4 - 5)/(u/2). Sort 0.1, 0.5, w in descending order.
0.5, 0.1, w
Suppose 2*f = -2*f + 24. Suppose 13*u - 12*u + 3 = 0. Sort f, u, 1.
u, 1, f
Let n(m) = -m**2 + m - 1. Let b be n(-1). Sort -4, 3, 2, b in increasing order.
-4, b, 2, 3
Suppose 0 = -o - 7*o. Let t = -3 - -7. Sort t, 2, o.
o, 2, t
Let p(i) = i**3 - 9*i**2 - 10*i - 4. Let s be p(10). Suppose -3*b = -3*r, 5*r = 2*b + 13 - 1. Suppose b = -x - 3*x. Sort 0, x, s in decreasing order.
0, x, s
Let i = 4 + 0. Suppose i + 1 = -k. Sort 4, k, -3 in ascending order.
k, -3, 4
Suppose 5*l = -2*u + 13, 2*l = -3*u + 4*l + 10. Suppose 12 = f + 4*q, -u*f + 4*q + 1 = -7. Let c be (2 + 0 + -1)*f. Sort 5, c, -3.
-3, c, 5
Suppose 5 = -4*m + 9. Put 4, 2, m, -1 in decreasing order.
4, 2, m, -1
Let w = 2 - -2. Suppose -4*o - 25 = o. Let c = 5 + -2. Sort w, o, c in increasing order.
o, c, w
Let y(s) be the third derivative of -s**5/30 - s**4/3 + 5*s**3/6 - 3*s**2. Let g be y(-4). Sort g, 0, 1 in increasing order.
0, 1, g
Let p be 11/5 - (-2)/(-10). Suppose -p*i - 5 = -i - 2*v, 5*i - 4*v + 1 = 0. Suppose 0*l - i = l. Sort l, -4, -1.
-4, l, -1
Let f = -8 + 8.4. Let o = 2 + -1.92. Let x = 3.92 + o. Put -2, x, f in ascending order.
-2, f, x
Let k = 14.4 - 16. Let b = -1.5 - k. Put b, -0.5, -3/4 in decreasing order.
b, -0.5, -3/4
Let q = 89 - 94. Sort q, -1, 0, -2.
q, -2, -1, 0
Let k = -62.06 + 62. Sort -3/4, -4, k, 0.5.
-4, -3/4, k, 0.5
Let k = 75 - 76. Sort 3, -5, k, -2 in decreasing order.
3, k, -2, -5
Suppose 3*a = -5*k - 8, a = -0*a - 1. Let c = 1333 - 1332.8. Let d = -2 + 3. Sort k, c, d.
k, c, d
Let h = 8.1 - 3.1. Sort -3, -1, h in decreasing order.
h, -1, -3
Let l = -188 - -187.6. Let b be 2/5 + (-4)/10. Put 1, b, l in decreasing order.
1, b, l
Suppose d = -4*c, 5*d + 23 + 13 = -2*c. Put -3, -5, d in descending order.
-3, -5, d
Let r be (-2)/1*1 + 2. Suppose 4*t - 56 = -0*f - 2*f, 47 = 3*t - f. Suppose 0 = -3*g - 0*g + t, g = 5*p. Put r, p, 4 in decreasing order.
4, p, r
Let p = -8 - -12. Suppose -j + 14 = -5*h, 0 = 3*j - 2*j - p. Let a be (4 - 2)*(h + 3). Sort a, -3, -2 in decreasing order.
a, -2, -3
Let i = 1884 - 5716/3. Let m = i - -21. Let v be 5/2 - 1/(-2). Sort 0.1, v, m in ascending order.
m, 0.1, v
Let z = -5 - 0. Sort -4, -1, z in decreasing order.
-1, -4, z
Let b = 6 - 16. Let w = b - -6. Sort 7, w, 2 in decreasing order.
7, 2, w
Let z(t) = -t**3 + 6*t**2 - 3*t - 7. Let w be z(5). Suppose o + w = 4. Sort o, 7, -3 in increasing order.
-3, o, 7
Let a(n) = -n**3 - 2*n**2 + 2*n - 1. Let t be a(-3). Put t, -3, -4 in decreasing order.
t, -3, -4
Let z = 0.081 - 0.081. Put -2/3, z, -1 in ascending order.
-1, -2/3, z
Suppose 5*z - 8*z + 3 = 0. Put 2, -1, z in descending order.
2, z, -1
Let n be (15/(-9))/((-1)/18). Suppose 0 = -5*b - 2*u + 5, -5*b + 0*b + 5*u = n. Let m = 1 + -3. Put -3, b, m in decreasing order.
b, m, -3
Let o(c) = c**2 + 7*c - 4. Let j be o(-7). Suppose 5*v = 5*y + 5, -9 = -5*y + 2*v - 2. Let p = -4 + y. Put j, 1, p in decreasing order.
1, p, j
Let a = -18.6 - -21. Let i = a - 2. Sort i, 2/7, -4 in descending order.
i, 2/7, -4
Let f(b) = -b + 2. Let g be f(5). Let p be (1/2)/((-40)/7270). Let m = -91 - p. Put m, 0.5, g in increasing order.
g, m, 0.5
Let f(c) = c**2 + 4. Let v be f(0). Suppose 0 = v*y - 8*y + 16. Put y, 1, 3 in decreasing order.
y, 3, 1
Let n = -0.343 - 0.057. Put 4, -0.1, n, 2/9 in decreasing order.
4, 2/9, -0.1, n
Let r(p) = -5 + 11*p + 3 - 10*p. Let q be 3/(-6)*(-5 - 1). Let y be r(q). Sort y, 2, -2 in descending order.
2, y, -2
Let l(m) = 10*m - 70. Let q be l(6). Put -5, q, 5 in descending order.
5, -5, q
Let w = -95.6 + 106. Let g = w + -10. Sort -1/3, g, 3/4 in increasing order.
-1/3, g, 3/4
Suppose 0 = -0*u - u - 2. Suppose -2*d - 3*d = -2*r - 19, 25 = 5*r + 2*d. Suppose -r*g = -5*g + 10. Put -3, u, g in ascending order.
-3, u, g
Let f be ((-3)/(-21))/((-3)/(-9)). Put -1/3, 0.1, -2, f in decreasing order.
f, 0.1, -1/3, -2
Suppose -3*z - 3*l + l + 2 = 0, 16 = -z - 4*l. Let o be (2/(-5))/(z/(-5)). Let x be 2/(-6)*(0 - -6). Sort 4, x, o.
x, o, 4
Let m = 248 - 245.02. Let q = m - -0.02. Sort -1, q, 0.3 in decreasing order.
q, 0.3, -1
Suppose 5*c + 25 = 0, -28 = p + 7*c - 3*c. Let f = -4 - p. Sort -4, -2, f in decreasing order.
f, -2, -4
Let g = -1.4 + 1.7. Put 0, 0.1, g in decreasing order.
g, 0.1, 0
Let c(x) 