 - -0.06. Let d = v - 0.1. Sort m, d, -4 in decreasing order.
d, m, -4
Let v = 14.99 - 15. Let c = -1.99 + v. Let j = -0.16 - 0.04. Put j, c, -1 in ascending order.
c, -1, j
Let j = 4.12 - -33.88. Put j, -0.4, -4/3 in decreasing order.
j, -0.4, -4/3
Let v(r) be the first derivative of -r**4/4 + 3*r**2 + 4*r - 24. Let i be v(3). Let h = -0.3 - -1.3. Put i, 0.2, h in descending order.
h, 0.2, i
Let w be (-3)/(-9)*(-9)/(-1 + 2). Put -15, 2, w, 1 in decreasing order.
2, 1, w, -15
Let k = 103.4 - 103. Let b = 88 - 86. Sort 0.55, k, b in ascending order.
k, 0.55, b
Let a = 3.2 + -3. Suppose 3*g - 5 = -4*t, -t - 4*t = 4*g - 6. Sort -11, t, a.
-11, a, t
Let h(k) = 14*k - 50. Let o be h(4). Put 2, -4, o in increasing order.
-4, 2, o
Suppose 32 = 45*d + 167. Sort -3/8, -0.2, 1/7, d.
d, -3/8, -0.2, 1/7
Let r(g) = g**3 + 0*g**3 - 7*g - 36*g**2 + 44*g**2 - 5. Let h be r(-9). Let d = 17 + h. Put -2, d, -3 in ascending order.
d, -3, -2
Let o = -2.98 + 3.38. Sort o, -0.4, 3 in descending order.
3, o, -0.4
Suppose 10*l - 23 = 7. Suppose 6*q - 4*q = w, -5*w = -l*q. Let y be ((-2)/(-4))/(1/18). Sort 5, y, q in decreasing order.
y, 5, q
Let y = -4.3 + -13.7. Let t = -23/21 - -163/168. Sort -1/2, y, t, -4 in descending order.
t, -1/2, -4, y
Suppose -5*l = -6*l - 1. Suppose -4*o - 5*q + 11 = 86, -3*o = -3*q + 36. Sort l, -1/5, o, -0.5 in decreasing order.
-1/5, -0.5, l, o
Let k = 239 + -237. Sort 1, k, 19, -2 in ascending order.
-2, 1, k, 19
Let n be 5/(-3)*390/(-26). Put 7, n, -3 in ascending order.
-3, 7, n
Suppose 0 = 12*m - 1478 + 1418. Sort 0.1, 3/23, -4, m.
-4, 0.1, 3/23, m
Suppose 0 = 11*c + 32 + 1. Sort c, -1, -5 in ascending order.
-5, c, -1
Let t = 57.3 + -55. Let j = 2.1 - t. Let a = 0 - j. Sort a, -5, -3 in decreasing order.
a, -3, -5
Suppose 8*r - 35 = r. Suppose -23 = -14*h + r. Sort 1, h, -4 in descending order.
h, 1, -4
Let x(o) = -o**2 + o + 1. Let n be x(2). Put -55, n, 5, -2 in increasing order.
-55, -2, n, 5
Suppose -17*o - 2 = 32. Let d be ((-32)/(-4))/(1*2). Sort d, o, 1 in descending order.
d, 1, o
Let v = 100.1 + -100.055. Put 0.1, 2/5, v in increasing order.
v, 0.1, 2/5
Let b = 223 - 220. Let n be -2 - 2/(-9)*3. Sort 0, -2/7, b, n in decreasing order.
b, 0, -2/7, n
Suppose -4*j + 135 = 3*i, -2*j + j + 37 = 4*i. Suppose 3*s + 8*s = j. Put -4, -2, s in ascending order.
-4, -2, s
Suppose 610*l - 12 = 622*l. Suppose 2*g - 12 = -2. Suppose 4*d - 32 = 4*x, 0 = 5*d - x + g*x - 4. Sort 3, l, d in ascending order.
l, 3, d
Let s be 36/(-60) - (-28)/5. Suppose 0*i + 59 = 5*i + 3*t, -i - 4*t + s = 0. Let h = 16 - i. Sort h, 1, -2 in ascending order.
-2, 1, h
Let a(i) = i**3 + 8*i**2 - 8*i + 8. Let f be a(-9). Let u = -6 + 1. Put f, 1, u in decreasing order.
1, f, u
Suppose 0*c + 4*c = 0. Suppose -4*h + c*h - 36 = 0. Let z be ((-18)/15)/(h/(-30)). Put -2, z, -3 in decreasing order.
-2, -3, z
Suppose v = 2, i - 3*v + 4*v = 7. Let t = 4 - i. Let g be -7 + (1 + -3)*-1. Put g, t, 2 in increasing order.
g, t, 2
Let t = 2641 - 2637. Let r = 8 - 3. Let j be ((-4)/(-10))/((-1)/r). Sort t, j, 9 in ascending order.
j, t, 9
Let b be (4*(-12)/80)/(7/(-5)). Put 0.3, 9, b, -5 in descending order.
9, b, 0.3, -5
Let h = -101/495 - -1/45. Sort -25, 2/5, h, 1/2 in descending order.
1/2, 2/5, h, -25
Let f = 323 + -324. Suppose -2*t + 31 - 5 = 0. Sort t, f, 5 in descending order.
t, 5, f
Let b = 320 + -325. Put -0.05, b, 3 in decreasing order.
3, -0.05, b
Let l = -418.9 - -418. Sort 0.5, 4, l.
l, 0.5, 4
Suppose 52*s - 25 = 47*s. Put s, 7, 4, -4 in increasing order.
-4, 4, s, 7
Let m be -2*2/(-6)*9/2. Let t = -8 - -12. Suppose 4*a + 8 = -t. Sort m, 4, a in increasing order.
a, m, 4
Suppose -4 = 4*c + 16. Let g be (-2 + (-1288)/(-630))/(1 + (-4)/5). Sort 2, c, g, -1/7 in ascending order.
c, -1/7, g, 2
Let k be -1 + 4 + (-5 - -2). Sort 2, k, -5.
-5, k, 2
Let i(k) = -32*k + 229. Let z be i(7). Put 1, -9, z in increasing order.
-9, 1, z
Let p = -237 + 235. Let n = -3 - -6. Sort p, n, -1, 5 in ascending order.
p, -1, n, 5
Let j(b) = -14*b**3 + b + 7. Let r be j(-2). Let o = r + -461/4. Sort 0.3, o, -0.4, 2/3 in descending order.
o, 2/3, 0.3, -0.4
Let d(t) = t**2 + 2*t - 5. Let s(i) = -i**2 + i. Let k(f) = -d(f) - 4*s(f). Let u be k(2). Sort -4, u, -1 in increasing order.
-4, -1, u
Suppose -23*l = 30*l - 159. Let s(f) = -2*f - 1. Let w be s(2). Put l, 4, 5, w in descending order.
5, 4, l, w
Let w(y) = y**3 - 10*y**2 - 12*y + 10. Let f be w(11). Let o(u) = -u**3 - 9*u**2 + 11*u + 12. Let c be o(-10). Let z = 3 - c. Sort -4, f, z in ascending order.
-4, f, z
Let b(n) = n**2 + 8*n - 16. Let u be b(-10). Suppose a = 9 + 4. Suppose 2*t - 5*t + 5*p = a, 2*p - 4 = 0. Sort t, -4, u.
-4, t, u
Let f = 2109 - 2162. Sort 3, 0, f.
f, 0, 3
Let n(p) = -13*p**2 + 11*p - 10. Let a be n(1). Suppose -j + 0*j = 17. Let w = j - a. Sort 6, w, 2.
w, 2, 6
Let p(w) = -w**2 + 20. Let u be p(0). Suppose -37*v - u = -32*v. Sort -3, v, -1.
v, -3, -1
Suppose 90 + 18 = -54*i. Sort -7, 1, i in ascending order.
-7, i, 1
Let o = -203 + 202. Let c = 455/4 - 113. Put -5, o, 4, c in descending order.
4, c, o, -5
Let t be ((-1210)/130)/(-11) - 2/(-13). Sort 4, -39, t, -5 in increasing order.
-39, -5, t, 4
Suppose -4*i = -2*i + 10. Sort 4, 161, 2, i.
i, 2, 4, 161
Let n be 15/(-4) - (-10)/(-40). Suppose 4*k + 3*t = 0, 6*k - 5*t = 3*k. Let j(w) = w**3 + 7*w**2 - 2. Let i be j(-7). Sort n, k, i in ascending order.
n, i, k
Let k be ((-32)/(-24))/((-2)/(-6)). Suppose -21 = k*w - 1. Sort w, 1, -4 in decreasing order.
1, -4, w
Let d be 192/(-224)*(-2)/4. Put -1/4, d, 11 in ascending order.
-1/4, d, 11
Let p be (-3)/6 + 1 + (-7)/(-2). Put p, -4, -9, 0 in increasing order.
-9, -4, 0, p
Let t = 256 - 260. Put -1/3, -5, t, -1/8 in descending order.
-1/8, -1/3, t, -5
Suppose 11*u + 45 = -4*u. Sort 0, -1, u, -11 in descending order.
0, -1, u, -11
Let r be -6 + 72/8 - 3. Sort 3, -174, -3, r in ascending order.
-174, -3, r, 3
Let d = 943 + -942.9. Sort d, 6, 0.5, -1 in ascending order.
-1, d, 0.5, 6
Let x(y) = 47*y**3 - 3*y**2 - 2*y. Let v be x(-1). Let s = v - -53. Sort s, 3, 0.
0, 3, s
Let a be ((-1)/3)/(2/(-6)). Let y = -2 + 5. Sort -2, a, y, -2/11 in decreasing order.
y, a, -2/11, -2
Let b = 87 - 92. Let y = -35 - -39. Suppose 0 = -5*l + l + 8. Sort b, l, y in decreasing order.
y, l, b
Let o = -33.4 + 34. Let u = o + -0.8. Let q = -1.4 - -1. Sort u, 2/11, q in descending order.
2/11, u, q
Let t = -4.2 - 3.3. Let u = -9 - t. Let z = u - -0.5. Put -0.5, -4, z in decreasing order.
-0.5, z, -4
Let b = 43/8 + -457/88. Let o = 0 + 4. Suppose -o*t - 4 = -8. Sort t, b, 1/4 in increasing order.
b, 1/4, t
Suppose -3*n = p + 13, -26*p = -30*p - 16. Sort 1, n, -14, -4 in decreasing order.
1, n, -4, -14
Let v = -52 - -366/7. Let a be 10/(-4) + (-2)/(-4). Let c = -0.5 + 0. Put c, v, a in decreasing order.
v, c, a
Let w = -68 - -65. Sort 4, w, -16, -5.
-16, -5, w, 4
Let b = -663 - -668. Put -1, 10, 3, b in increasing order.
-1, 3, b, 10
Let g be 28/(-8) - 2/4. Let w = -0.37 - -0.43. Put g, -1, w in ascending order.
g, -1, w
Let c = 7 - 2. Let s = 5.4 - 6. Let r = -300 + 599/2. Sort r, c, s.
s, r, c
Suppose 420 = 53*a - 587. Let l(p) = -6*p + 8. Let s be l(6). Let w be a/42 - (-8)/s. Sort w, -5, -2.
-5, -2, w
Let h be 2 - (0 + -1*1). Let q = -4106 + 4112. Put h, 0, q, 1 in descending order.
q, h, 1, 0
Let h = -110.92 - -111. Let p = 32 + -31.5. Put p, h, -5 in increasing order.
-5, h, p
Suppose y + 0 + 3 = 0. Suppose 2*k = -5*j - 10, 2 = -2*k + 2*j - 3*j. Suppose 6 = -4*x + 5*q - 0, -x - 2*q + 5 = k. Sort y, -2, x.
y, -2, x
Let w be -6 - 2/(-54)*177. Sort w, -3, -2, -1/6 in decreasing order.
w, -1/6, -2, -3
Let n(r) = 4*r**2 + 2*r**3 + 7*r - 10 - 4*r + 3*r**3 - 6*r**3. Let h be n(4). Put 4, 3, 7, h in decreasing order.
7, 4, 3, h
Let x(z) = -z**2 + 10*z + 30. Let j be x(12). Suppose 3*v - j*v = -51. Put v, 4, 0 in increasing order.
0, 4, v
Suppose -80*h = -77*h - 219. Sort h, 0.5, 0.4 in ascending order.
0.4, 0.5, h
Let n be 119/34 + (-3)/(-2). Suppose 3*c - 8 = -n*f + 6, -3*c = -5*f + 26. Put 1/2, f, -4/5, 3 in ascending order.
-4/5, 1/2, 3, f
Let z be (2 - (-51)/(-9)) + -61 + 64. Sort 0.02, 0.1, z, -1/5 in descending order.
0.1, 0.02, -1/5, z
Let m be -5 + -1 - -4 - 2. Put m, 4, -5 in decreasing order.
4, m, -5
Suppose 25*n - 65*n - 200 