der.
p, 0, 3
Let h be (140/(-44) - 4/(-22))/((-6)/10). Let g(c) = -c**3 + 6*c**2 + c - 7. Let d be g(6). Sort -4, -2, h, d in increasing order.
-4, -2, d, h
Let u be -3 + (-10)/(-8) + 1. Let x = 0.15 + -0.22. Let a = 1.07 + x. Put u, a, -2/7 in descending order.
a, -2/7, u
Suppose 0 = 3*l + 3*q - 9, 4*q - 25 + 9 = -2*l. Let t be 4/6*(-15)/4*2. Sort 0, l, 4, t in ascending order.
t, l, 0, 4
Let d = -0.292 + -0.208. Let k = -3.06 + 0.06. Put k, 3/2, 5, d in decreasing order.
5, 3/2, d, k
Let f = -256.6 + 257. Let s be (2/(2*1))/(-2). Let x be 1/(-2) - (-9)/6. Put s, x, f in decreasing order.
x, f, s
Let k = -18.6 - -16. Let d = -1 - 0.6. Let s = k - d. Sort s, 1, 3/8 in increasing order.
s, 3/8, 1
Let h = 0.9848 - -0.0152. Let k(f) = -3*f - 1. Let p be k(1). Sort h, -5, 4, p in descending order.
4, h, p, -5
Let y(g) = -g**3 + g**2 + 14*g + 25. Let n be y(-2). Sort n, 2, -13, -4 in decreasing order.
n, 2, -4, -13
Let c be -1 + (-1 - 0) + 4. Let p be (-62)/(-899) + 356/(-116). Suppose f = -7 + 3. Sort p, c, f in ascending order.
f, p, c
Let d = -229.1 + 229. Put d, -0.05, -4 in descending order.
-0.05, d, -4
Let r be -1*(-1 + 2)*-3. Suppose r*q + 7 = 10. Put -3, -8, 5, q in descending order.
5, q, -3, -8
Suppose 8*s - 45 = -s. Sort s, 3, -4 in ascending order.
-4, 3, s
Suppose -2*b - 13 = 54*j - 55*j, -7 = -3*j - 2*b. Sort -33, 0, j in descending order.
j, 0, -33
Suppose 7 - 43 = -36*i. Put -1, i, 3, -2 in decreasing order.
3, i, -1, -2
Let l = 2.659 + -2.579. Sort 0.2, l, -3.
-3, l, 0.2
Let d = -27 + 7. Let u = d - -23. Put -1/3, u, 4/9 in descending order.
u, 4/9, -1/3
Let z = -1979 - -1697. Put -1, z, 1, 4 in decreasing order.
4, 1, -1, z
Suppose -2*s + 7 = -d, -9 = -2*s - d + 8. Let w = -8 + s. Suppose 0 = 5*p - 9 - 11. Put 5, p, w in decreasing order.
5, p, w
Let a = 6 + -4. Let g be ((-4)/5 + 1/(-5))*(-2 + 2). Sort -5, a, g.
-5, g, a
Let z = 0.984 - 1.484. Put 1/7, 0.3, z in descending order.
0.3, 1/7, z
Let b = 13 + -4. Let c = 14 - b. Sort 2/3, c, -0.4, -3.
-3, -0.4, 2/3, c
Let c = 0.399 + -0.29. Let v = c + 0.291. Put -2/5, -1/3, 0.03, v in descending order.
v, 0.03, -1/3, -2/5
Let f(z) = -6*z**2 - z - 13. Let m be f(-3). Let w = m - -60. Let v = -4 - -7. Sort v, -3, w.
w, -3, v
Let n = 4 - 6. Let s(l) = -l**3 + 4*l**2 + l - 4. Let z be s(4). Suppose 2*v + 5 = -3*t, -v - 5 = -z*v - t. Sort 0, n, v in decreasing order.
0, n, v
Let l(v) = -v**3 + 7*v**2 - 5*v - 5. Let r be l(6). Suppose 4*g + 8 = 6*g. Let b = g + r. Put b, -5, 3 in increasing order.
-5, 3, b
Suppose 11*i = 21*i. Sort i, 2, -5.
-5, i, 2
Let w = -174 - -186. Sort w, 0, 5, 4/7 in descending order.
w, 5, 4/7, 0
Let a(l) = l**3 + 17*l**2 + 11*l - 3. Let s be a(-16). Let m be 1*-3 + s/35. Sort m, -5, -6/7 in ascending order.
-5, -6/7, m
Let v(q) = -q**2 - 6*q + 1. Let b be v(-6). Let s = 1946.8 - 1947. Put 0.26, s, b in decreasing order.
b, 0.26, s
Let f be (-19 - -17)*(7/(-2) - -2). Sort -4, f, 2.
-4, 2, f
Let w = -1155 + 1150. Sort -1, w, -1.2 in decreasing order.
-1, -1.2, w
Let x = 2 - 7. Let d be (-90)/(-27) - 2/6. Suppose -d*r = 2*c - 11, -2*c = 2*r + 2*r - 16. Sort 2, c, x in increasing order.
x, c, 2
Let m be -10 + 716/30 + -14. Suppose -5*z + l = -0*z - 20, -5*z + 4*l + 5 = 0. Put -4, -5, z, m in ascending order.
-5, -4, m, z
Suppose r = i - 4, -12*r + 13*r = -2*i + 5. Suppose 4*o - 28 = -g, -5*o + 0*g + 38 = 2*g. Suppose -2*l = -o*l. Sort i, 4, l in increasing order.
l, i, 4
Let m = -0.37 - 0.687. Let d = -0.057 - m. Sort 1/2, -0.02, d in decreasing order.
d, 1/2, -0.02
Suppose -4*r + 96 = -r. Suppose 0 = -r*s + 34*s - 6. Sort s, -9, -4.
-9, -4, s
Suppose -97 = -27*b - 16. Sort 2, -32, b, 4.
-32, 2, b, 4
Let c be (-8)/(-6)*(10 + 124/(-16)). Let b be 5 + (1 - 0)*-1. Sort 5, 1, c, b in increasing order.
1, c, b, 5
Let p(g) = -g**2 - 8*g - 9. Let m be p(-7). Put -3, m, 6 in decreasing order.
6, m, -3
Let m(o) = -o**3 + 5*o**2 - 6*o - 5. Let w be m(4). Let u(n) = 2*n**2 + 26*n + 3. Let l be u(w). Let v = -10 + 14. Sort -2, l, v in ascending order.
-2, l, v
Suppose 13*o - 139 = -152. Sort o, -4, 4/5 in decreasing order.
4/5, o, -4
Let q be 1 - -7*(-2)/(-2). Suppose -q = k + 2. Let y be 20/125*k/(-4). Put 2, y, -3/2 in ascending order.
-3/2, y, 2
Let u(a) = 7*a - a**3 + 10 + 395*a**2 - 387*a**2 + 10. Let g be u(9). Let b(z) = -z - 6. Let s be b(-6). Sort -16, g, s in descending order.
g, s, -16
Let c(o) = o**3 - 3*o**2 + o - 1. Let t be c(2). Let k(u) = -3*u. Let v be k(t). Let i = v + -6. Put -3, -4, i in decreasing order.
i, -3, -4
Let w = 6 + -6.3. Let h = 59/4 + -15. Put w, 2, h in decreasing order.
2, h, w
Let t = 0.095 - 0.094. Let p = t + 0.099. Put -0.6, 0.5, p in ascending order.
-0.6, p, 0.5
Suppose -3*h - 2*k + 99 = 0, -2*h - 48*k = -46*k - 68. Let x be 4/(-18) + (-2)/(-9). Sort -1, h, x.
-1, x, h
Suppose w + 20 = 3*w + 5*k, 3 = w - k. Suppose 21*i = 17*i. Sort w, i, -1 in ascending order.
-1, i, w
Suppose 15 = 3*v - 3*f, -9*v + 12*v = -2*f + 5. Put -2, -0.2, v, -4 in ascending order.
-4, -2, -0.2, v
Suppose 24 - 12 = 4*m. Let u be (5/10)/(2/52). Let l = u - 20. Sort -5, l, m in ascending order.
l, -5, m
Let q be 3 + (-6)/(-15) + (-85)/25. Suppose 0 = -5*b - q*b + 15. Let j = 0.7 - 1. Sort -3, b, j in decreasing order.
b, j, -3
Suppose 3*h = -2*h - 5. Suppose 3 = -4*i + 15. Suppose 95 + 13 = -27*m. Sort h, i, m in ascending order.
m, h, i
Let p be (-51)/(-2) - (14 - 5). Put -0.4, p, 1 in increasing order.
-0.4, 1, p
Suppose 4*a - 8*a = 0. Let w be 109/(-99) - 4/(-18). Let y = w + 6/11. Sort -2, a, y in descending order.
a, y, -2
Let m = 5 + -4. Let c(y) = -3*y**3 + 2*y**2 - 1. Let s be c(1). Suppose 6 = -4*f + 3*f. Put s, f, m in decreasing order.
m, s, f
Let f = -962.9 + 917. Let b = -46 - f. Let r(d) = -d**2 + d + 2. Let n be r(3). Put 2/3, n, b in ascending order.
n, b, 2/3
Let r = -2048 - -14334/7. Let y = 16/9 + -121/63. Sort y, -0.2, r, 1 in descending order.
1, y, -0.2, r
Let u be (-15)/(-15)*(3 - 1). Suppose s = 3*a + 30, -u*a - 3*s = -6*s + 13. Suppose 2*j - 2*r = 0, -j - r + 2 = -0. Put -1, j, a in decreasing order.
j, -1, a
Let a = 46 - 51. Suppose 1 = -2*w - 3. Put w, 2, a in decreasing order.
2, w, a
Let y be (-6)/16*(-10)/3. Put 0, -13, y in increasing order.
-13, 0, y
Let u = 3 - -2. Suppose -2*i - 2 - 8 = d, -3*d = 0. Suppose 21 = -w + 17. Put i, w, u in increasing order.
i, w, u
Let u = 446 + -451. Suppose -10 = m - 6*m. Sort 4, m, -3, u in descending order.
4, m, -3, u
Suppose 3*x + 286 = 3*d - d, 3*x + 3*d + 261 = 0. Let l = x - -94. Put l, 4, -25, 5 in decreasing order.
5, 4, l, -25
Let x = 0 - 0.3. Let m = -293.7 - -291.7. Sort x, m, -0.2 in increasing order.
m, x, -0.2
Suppose 4*g + 2*m + 10 = 6*g, 4*m = -4*g + 4. Suppose -2*t + 5*s - 20 = 0, 0 = -3*t - 4*s + s + 12. Put g, 2, t in increasing order.
t, 2, g
Let w = 4/781 - 813/6248. Put -2/7, w, -0.3, 2/3 in decreasing order.
2/3, w, -2/7, -0.3
Let w(h) = -h + 13. Let f be w(17). Let j be ((-70)/21 - -4)/(f/(-6)). Put -13, -0.4, j in descending order.
j, -0.4, -13
Let l = 112 - 447/4. Sort -4/7, 2/3, 0, l in descending order.
2/3, l, 0, -4/7
Let g = -12 + 10.8. Let d = 4.2 + g. Let i = 132 + -131.8. Put -0.1, d, i in decreasing order.
d, i, -0.1
Suppose 2*b = -s - s - 62, 3*b + 5*s + 89 = 0. Let k = -166/5 - b. Put k, -0.5, 2/3 in decreasing order.
2/3, k, -0.5
Let g(t) = -10*t**2 + 45*t + 28. Let x be g(5). Sort -1, -2, 1, x in increasing order.
-2, -1, 1, x
Let g = 4 + -34. Let d be (g/(-105))/((-8)/(-70)). Put d, -3, 1/12 in decreasing order.
d, 1/12, -3
Let f = 11.1 + -9.1. Let n = 24/7 - 2054/595. Put n, f, 1 in decreasing order.
f, 1, n
Let a = 681/5 + -137. Let g = 0 - 0.2. Suppose -3 = 3*p, -7 = 3*y + 329*p - 325*p. Sort y, a, g.
y, a, g
Let r(g) be the first derivative of -g**4/4 + 4*g**3/3 + g**2/2 + 17*g - 7. Let d be r(5). Put d, 7, 4 in decreasing order.
7, 4, d
Let o = 0.4 - 0.6. Let h be 26/(-30) + 2 + 1*-1. Sort -2/9, h, o in increasing order.
-2/9, o, h
Let v = -2.5 - -3. Let r = 9 - 11. Sort 4, r, v in ascending order.
r, v, 4
Let p be -10*-5*(-3)/(-30). Sort 2, -5, -1, p in decreasing order.
p, 2, -1, -5
Suppose 0 = -4*z + 8, z + 11 = -5*a + 4*z. Let f = -72 - -83. Suppose 5*h + 5 = -4*c + 28, 3*h = -c + f. Sort a, -4, h in increasing order.
-4, a, h
Let k = -5.1 + 1.1.