der.
w, 2, j
Let z = 5.8 - 6. Let k = 93.8724 + 0.0276. Let n = k - 94. Sort z, -0.5, n in decreasing order.
n, z, -0.5
Let p = -4 - 1. Let b = -3418 - -3423. Sort p, 0, b.
p, 0, b
Suppose -1454 = -11*v - 1498. Put 8, 4, -1, v in ascending order.
v, -1, 4, 8
Let w be (32/20)/(-2*2). Sort 0.5, 49, w in descending order.
49, 0.5, w
Let t = -36 + 38. Let q(u) = -u + 11. Let m be q(7). Suppose -t*w = -r + 2, -m = 2*w - r - r. Sort w, 3/7, 0.3 in ascending order.
w, 0.3, 3/7
Let j be ((-8)/3)/(2/(-6)). Let t(n) be the third derivative of -n**6/120 + 2*n**5/15 - n**3/6 + 3*n**2 - 2. Let u be t(j). Sort u, 4, -3 in increasing order.
-3, u, 4
Let q = -0.45 - 23.55. Let l = q - -21. Let z be -1 + -2 + (-7)/(-2). Put l, z, -4 in decreasing order.
z, l, -4
Suppose -29*q + 28*q = -3. Suppose 3*p + 2*h = -2*h - 14, 4*p - 33 = 5*h. Let s be ((-6)/4*p)/1. Sort -9, q, s.
-9, s, q
Let p be (-60)/(-21) + (4 - 3) + 1. Let v = p - 36/7. Sort -5, -3, v in decreasing order.
v, -3, -5
Let z = 224/3 - 899/12. Sort -0.3, z, 3, 2 in increasing order.
-0.3, z, 2, 3
Let l be (0 + 6/21)/1. Let n be (36/(-135))/((-3)/5). Sort -7, n, l in ascending order.
-7, l, n
Let l = -106 - -527/5. Let w = 2.965 - -0.035. Put -0.2, w, l, -3 in decreasing order.
w, -0.2, l, -3
Suppose -f + 17*s - 20*s = -16, 2*f - 24 = -4*s. Sort -31, -4, f in descending order.
f, -4, -31
Suppose -3*b + 7*b + 36 = 0. Suppose -4*r + 4*n - 32 = 0, r = -n + 3*n - 11. Let m be 1 + (-16 + 4)/(-3). Sort b, r, m in increasing order.
b, r, m
Let a be 6/(-14) - (7 + (-365)/35). Put a, -3/5, -2.1 in decreasing order.
a, -3/5, -2.1
Let y(f) = 2*f - 9. Let o be y(6). Suppose o*w - 10 = 8*w. Put w, 0, -4 in descending order.
0, w, -4
Let y(s) = -s + 47. Let i(q) = -q. Let n(k) = -5*i(k) - y(k). Let b be n(8). Sort b, 4, -2 in decreasing order.
4, b, -2
Let i(c) = 13*c - 15. Let f be i(3). Let k = 179 - 176. Put f, 5, k in decreasing order.
f, 5, k
Let n = 2.545 + 51.455. Sort n, 0.3, -1, -0.5 in decreasing order.
n, 0.3, -0.5, -1
Let g(j) = -2*j + 6. Let p(s) = 3*s - 5. Let n(v) = 4*g(v) + 3*p(v). Let f be n(-6). Let t = -7 + 2. Put f, t, -2 in decreasing order.
f, -2, t
Let f(t) = -4*t + 24. Let r be f(5). Suppose 5*n = -5*l + 15, -n - n = -3*l + 14. Sort r, -2, 2, n.
-2, n, 2, r
Suppose -39*x + 38*x - 2 = 0, -11 = g + 3*x. Sort 8, g, 7.
g, 7, 8
Suppose -3*c + 20 = -2*y + 3*y, -2*y - 15 = -5*c. Let w be 5*10*11/(-550). Put w, 2, y, 4 in descending order.
y, 4, 2, w
Suppose -184*f + 190*f = 0. Suppose 5*y + 35 = b, -2*b + 0*y + 35 = -3*y. Sort f, -4, b, 3 in decreasing order.
b, 3, f, -4
Let k = 68 - 59. Suppose k*y - 7*y = 0. Sort y, 2/5, -2/5, -2 in increasing order.
-2, -2/5, y, 2/5
Suppose 3*d = 14 - 2. Suppose -5*o - 2 = -12. Suppose n + 3*x + 11 = 0, 3*n + 4*x = -n - 12. Sort d, n, o.
n, o, d
Let z be 1/(-3 - -1 - (-9)/3). Put 0, -5, 2, z in decreasing order.
2, z, 0, -5
Suppose y = -3*o - 5 + 1, 0 = 3*y - 2*o + 12. Let h be -2 + (-16)/(-4) + -3. Sort h, 8, y in increasing order.
y, h, 8
Suppose 1 + 5 = -6*d. Let j(v) = -3*v - 1. Let l be j(d). Suppose -4*w + 0*w = -g - 15, -3*g = l*w - 11. Sort 3, g, -3 in descending order.
3, g, -3
Let i be ((-72)/22)/2 - (-840)/(-2310). Sort 2, i, -13 in decreasing order.
2, i, -13
Let i = 2.0949 + -0.0949. Put -4, i, -0.1 in descending order.
i, -0.1, -4
Let o(y) = y**3 + 5*y**2 - 4*y + 2. Let p be o(-6). Let b = -39/4 - p. Let h = 0.74 + -0.54. Sort 5, b, h in descending order.
5, b, h
Let t = 79 + -5. Let c = 75 - t. Sort c, 0, -5 in descending order.
c, 0, -5
Let f(x) = -x**2 - 10*x - 11. Let i(u) = u**3 - u**2 + u + 4. Let m be i(0). Suppose -m*k = -0*k + 36. Let g be f(k). Put 2, g, -5 in ascending order.
-5, g, 2
Let k = -10.7 + 11. Sort 5, k, 1/2, -3/4 in decreasing order.
5, 1/2, k, -3/4
Suppose -9 = -2*h - 13. Suppose -5*t - 3 = 2. Put h, 1, t in ascending order.
h, t, 1
Let y = -50.5 - -51.5. Sort y, -0.2, -0.9 in increasing order.
-0.9, -0.2, y
Let s = -60 - -137. Let h = s + -463/6. Sort h, -1/3, 5/3 in descending order.
5/3, h, -1/3
Let b = 35.5 + -38.5. Put -0.2, b, -2/9 in descending order.
-0.2, -2/9, b
Let y be (-1020)/72 + 1/6. Let q be ((-7)/y)/((-1)/4). Sort 19, q, -4.
-4, q, 19
Let h = 205 - 250. Let b = 44 + h. Let c = -3 + 8. Sort b, c, -0.2.
b, -0.2, c
Let i = 31 - 31.1. Let h = -0.06 - -0.56. Sort -1, i, h.
-1, i, h
Let k be (0/(-3))/(7 - 8). Suppose k*h + 5 = -h. Let f = -1466/7 - -210. Put f, h, 2/11 in ascending order.
h, 2/11, f
Suppose -19*q + 71 = -24. Put 10, 3, q, -1 in increasing order.
-1, 3, q, 10
Let y(i) = -19*i + 692. Let k be y(37). Sort -1/5, 3, k in descending order.
3, -1/5, k
Let g = -14 + 16. Suppose -g*r - 2*r = 12. Let i be (0 - 1) + (2 - r). Sort -0.3, i, 3 in increasing order.
-0.3, 3, i
Let c be 4/40 + 1305/(-50). Let h be (-8)/(-6)*(-78)/(-4). Let z = c + h. Sort 5, z, -3 in descending order.
5, z, -3
Let m be 6 - (4 - 3)*0. Let o(j) = j**3 - 6*j**2 - 1. Let u be o(m). Sort u, 4, -5.
-5, u, 4
Let a = -0.08 + 0.28. Let j = a - -10.8. Let w = 10.5 - j. Put -3, -4, w in descending order.
w, -3, -4
Let x(r) = 3*r**2 - 5*r + 1. Let m be x(2). Let w(l) = l**2 - l - 1. Let f be w(m). Sort 0.5, f, 0.4, 4.
0.4, 0.5, 4, f
Let h = 2321 - 2320. Put -8, -4, 9/8, h in decreasing order.
9/8, h, -4, -8
Let u = 8.58 + -8.68. Let b = 288/5 - 57. Sort 1/6, b, 2, u in descending order.
2, b, 1/6, u
Let k = -0.96 - -1.56. Sort -18, -4, k, -0.5 in descending order.
k, -0.5, -4, -18
Let i(j) = 13*j**2 + 28*j + 7. Let v be i(-2). Let d = 1 - 3. Suppose 0 = 5*c + 3*q + 5, -5 = -3*q + 4*q. Put v, c, d in increasing order.
d, c, v
Suppose 0 = 5*p + 5*x + 5, 0 = 4*p - 5*x + 2*x - 3. Suppose -66*s - 131 = -461. Sort s, p, 3 in ascending order.
p, 3, s
Let v = -6 + 4. Suppose 0 = 3*y - 4*y + 4. Suppose -4*g - 28 = 4*m, -m + 6 = -y*g - 2. Sort m, v, 2.
m, v, 2
Let v = 31/7 + -65/21. Suppose 5*j = -3*x - 10, 0 = -0*x - 2*x. Let r(u) = -u**3 - 2*u**2 + 8*u + 2. Let o be r(0). Put o, j, v in decreasing order.
o, v, j
Let z = 9 + -5. Let n be ((8/(-70))/((-3)/21))/(-2). Sort n, z, -1 in decreasing order.
z, n, -1
Let i = 705555/121 - 5831. Let q = 278/1089 - i. Put 1, q, 3/2 in increasing order.
q, 1, 3/2
Suppose 2*o - 36 = -22. Let c be 66/14 + (-18)/(-63). Suppose -c*k - 7 = 2*x - 2, -3*x = -2*k + 17. Sort k, o, 4 in descending order.
o, 4, k
Let f = -8.48 - 26.52. Let y = 41.1 + -4.1. Let t = f + y. Sort 0.4, 3, t.
0.4, t, 3
Let r(y) = -y**2 - 29*y - 5. Let t be r(-29). Sort 4, t, -1 in ascending order.
t, -1, 4
Let a = 0.15 - 1.15. Let r = -5 + a. Sort r, 3/2, -3/5.
r, -3/5, 3/2
Let l = 4 + -4. Let b be (-5)/(20/(-16)) - 2. Suppose -1 = c - b*c. Sort l, -1, c.
-1, l, c
Let n = 6413 + -6414. Let j = 5 + -2. Put n, -4, 0, j in decreasing order.
j, 0, n, -4
Suppose 11*a + 35 + 9 = 0. Let w = 38/31 - 218/279. Sort w, -5, a in descending order.
w, a, -5
Let u(j) = -21*j - 5. Let l be u(0). Sort l, -3, -1 in descending order.
-1, -3, l
Let b = 2/15 + 1/15. Let u be (2*(-36)/(-8))/(28 + -25). Sort b, u, 3/4 in increasing order.
b, 3/4, u
Let q be 84/15 - ((-5 - 0) + 9). Put 4/3, 1/2, q in increasing order.
1/2, 4/3, q
Let c = -39.34 + 0.34. Let t = c + 37. Sort t, -4, 0.3.
-4, t, 0.3
Suppose 5*d = 3*j - 40, -3*d - 39 = 2*j - 34. Sort 339, d, -2.
d, -2, 339
Suppose 20*f = -97 - 3. Sort 84, 5, 4, f.
f, 4, 5, 84
Let a be ((-525)/(-275))/(((-12)/(-20))/3). Sort -0.5, 2/3, -5, a in descending order.
a, 2/3, -0.5, -5
Let v be (-45)/(-18)*(-7)/70. Put -3/2, v, -68 in descending order.
v, -3/2, -68
Suppose 1284*g = 1292*g - 40. Sort g, 1, 2, 23 in ascending order.
1, 2, g, 23
Let o = 143/3 - 47. Suppose 0 = -17*d + 11*d. Let u be (-32)/(-10) + d + (-2)/10. Sort u, o, -12 in increasing order.
-12, o, u
Let p be (-10)/(-40) - 39/(-4). Let g be p*-2*(-5)/(-10). Let m = 14 + g. Put m, 5, 0 in decreasing order.
5, m, 0
Let p = -278 - -277. Sort 0.4, -0.01, p, 0.5 in decreasing order.
0.5, 0.4, -0.01, p
Let w be (-2 - -8)/((-15)/(-10) + -3). Let h be 5*1/1 + -1. Sort 1, w, h in decreasing order.
h, 1, w
Let h = 3 + 12. Let a = 15.01 - h. Let f = -0.08 + 0.08. Sort f, -0.2, a in descending order.
a, f, -0.2
Let m(t) = -t + 1. Let b(l) = -7*l - 7. Let c(z) = b(z) - 4*m(z). Let k be c(-4). Put k, -8, -1, -3 in descending order.
k, -1, -3, -8
Let z = -185 + 181. Sort -60, 