der.
v, 2, 0
Suppose -k - 2*k - 12 = 0. Let c = k - -7. Suppose 4*n = 23 - c. Put n, 2, -2 in ascending order.
-2, 2, n
Let c = 1/418 + 2501/2926. Let g = -0.6 + 2.6. Let y = -2.1 + g. Put -4, c, y in ascending order.
-4, y, c
Let n = -3 - -4. Let d = 0 - n. Sort 5, d, -0.3 in ascending order.
d, -0.3, 5
Let c be (7/(-4) - -2)/(-1). Sort -2, 0.2, c in decreasing order.
0.2, c, -2
Let m = -44 + 1010/23. Sort m, 0.5, 5 in descending order.
5, 0.5, m
Let l = 18 - 6. Let m = 11.7 - l. Put m, -1, 0.5 in increasing order.
-1, m, 0.5
Let y(k) = k - 7. Let c be y(9). Suppose 5*a + d = -19, -3*a - 9 + 1 = 4*d. Put -5, c, a in descending order.
c, a, -5
Let f = 49 + -53. Put -5, f, 2 in ascending order.
-5, f, 2
Let j = 13 - 13. Sort j, 2/17, -1/3 in decreasing order.
2/17, j, -1/3
Let p = 8/13 + -45/52. Put 0, p, -4 in decreasing order.
0, p, -4
Suppose 2*c = 2*j + 18, 3*c + 2*j = 2*c - 6. Suppose -h - c*f = -0*h + 12, -4*h - 5*f = 37. Let w = -13 - h. Put w, 4, 2 in descending order.
4, 2, w
Let t = -6.1 + 1.1. Let c = -19 + 23.8. Let r = t + c. Put 2, 1, r in ascending order.
r, 1, 2
Let p(t) = 4*t + 3. Let y be p(-2). Let a = 5 + -7. Let z = y - a. Sort z, 1, 3.
z, 1, 3
Let z = 2 - 2.6. Let b = z - -0.3. Sort b, -3, 0.1 in descending order.
0.1, b, -3
Let o be 1*(-1 - (-3 - -7)). Sort 0.4, 3, o in ascending order.
o, 0.4, 3
Let g be 2/(-4) - 11/(-2). Suppose r - 5*t + 3 + 11 = 0, -r = -2*t - 1. Suppose 2*j + r = q, 2*j = 7*j + 20. Put -4, q, g in descending order.
g, q, -4
Suppose 2*v + 2 = 3*v. Let x = -27 + 51/2. Put 0, x, v in descending order.
v, 0, x
Let n = 19 + -18.5. Sort 5, n, -0.1, 3 in increasing order.
-0.1, n, 3, 5
Suppose p = -1 - 1. Let q(s) = -2*s**3 - s**2 - 3*s + 4. Let l be q(0). Sort p, l, -3 in ascending order.
-3, p, l
Suppose 2*t + 10 = -3*t. Let d = t - -2. Let h = -16 + 18. Put h, d, -5 in ascending order.
-5, d, h
Let d = -7 - -11. Let h = -2 + d. Let f = 1 - 2. Put f, 0, h in decreasing order.
h, 0, f
Let h(u) = -u + 9. Let w be h(5). Sort w, -8, -4, 0.
-8, -4, 0, w
Let l = -3.2 - -6.2. Put -5, l, 1, 0.2 in descending order.
l, 1, 0.2, -5
Let p = -104 - -107.24. Let c = 0.86 + p. Let y = -4 + c. Put 0.4, -2, y in decreasing order.
0.4, y, -2
Let a be 0/(4 + 2/(-1)). Let b(m) = -m**3 - 11*m**2 - 11*m - 13. Let u be b(-10). Let x = u + a. Put -4, -5, x in decreasing order.
x, -4, -5
Let m = -4 + 0. Let s = 0 + m. Let g be 8/30*(-8)/(-16). Put s, 5, g in descending order.
5, g, s
Let v = -157 - -156.7. Sort 0.3, -1/10, -0.4, v in descending order.
0.3, -1/10, v, -0.4
Let i = 9 + -17. Let h = i + 7.99. Sort 0, h, -2/13 in ascending order.
-2/13, h, 0
Let c = -16 + 12. Let m = 32 + -35. Sort m, c, 0.06 in increasing order.
c, m, 0.06
Let s(h) = 4*h**3 - h**2 - h - 1. Let o be s(-2). Let y = -215/6 - o. Sort 2/3, 1/4, y in decreasing order.
2/3, 1/4, y
Let x be (-18)/63 + 1/28. Put x, 3/2, 4 in ascending order.
x, 3/2, 4
Suppose -6 = 2*w - 2. Let u be (-3)/(w/(8/(-3))). Put -3, u, -1 in ascending order.
u, -3, -1
Let d = 1 - -2. Let l be (d/2)/((-4)/(-24)). Suppose -3*b = -0*b + l. Sort 5, -2, b in increasing order.
b, -2, 5
Let i = 2 - 0. Let q = i + -1.8. Let s = -0.1 + 0.1. Sort q, s, -3/8 in ascending order.
-3/8, s, q
Let u = -72 + 67. Let d = 45 - 17. Suppose 4*c + 2 = 8*c + 2*g, c - d = 5*g. Put u, 2, c in decreasing order.
c, 2, u
Let y(r) = -4*r - 1. Let g be y(-1). Suppose 3*f = 4*u + 27, -3*u + 2*f - 7 = 12. Sort 1, g, u.
u, 1, g
Let t = -0.37 - 0.03. Let l = -13 - -12. Let m = l - 2. Put -0.1, m, t in ascending order.
m, t, -0.1
Let b = 89 + -89.3. Sort b, 3/7, 0.4.
b, 0.4, 3/7
Suppose -4*a = 4*j, a = -4*j - 2 - 4. Sort -50, 3, 5, j.
-50, j, 3, 5
Let k be (-2)/(-18) + (-3)/9. Let b = -1.91 - 0.09. Put -5, b, k in decreasing order.
k, b, -5
Let d = -0.12 + 4.12. Suppose 4*x - 8 = -x + s, -14 = -3*x - 4*s. Suppose -3 + 7 = -x*g. Sort d, -1, g in increasing order.
g, -1, d
Let t(y) = -y**3 - 5*y**2 + 2*y + 5. Let h be t(-5). Let v = h + 3. Put -4, -1/7, v in decreasing order.
-1/7, v, -4
Let p(y) be the second derivative of y**2 + 1/12*y**4 + y + 0 - 1/2*y**3. Let x be p(3). Put 0, x, -3 in decreasing order.
x, 0, -3
Let n be (-10)/45 - (-235)/(-45)*-1. Let m = -2.6 - -3. Sort -3/2, m, n in increasing order.
-3/2, m, n
Suppose 2*v - 4*q + 6 = -v, 5*v + 4*q = -10. Sort v, 0, -6 in ascending order.
-6, v, 0
Let n be (-3 + (6 - 3))*-1. Let t = -2 - n. Sort -4, t, 5 in ascending order.
-4, t, 5
Let i(m) = -m - 1. Let t be i(-4). Let r be t + (-9)/(-3)*2. Suppose -b - r = 2*b. Put 0, b, 4 in decreasing order.
4, 0, b
Suppose -8*h = -17 + 9. Put -4, -2, 13, h in decreasing order.
13, h, -2, -4
Let u = -53 - -52. Sort u, -9, -5 in decreasing order.
u, -5, -9
Let p(z) = -z**3 + 10*z**2 + 10*z + 13. Let w be p(11). Let c = w + -4. Put -1, c, 1 in decreasing order.
1, -1, c
Let g = 0 + -0.3. Let z be 2/3*(0 + -3). Sort z, g, 1 in descending order.
1, g, z
Let b = -30.6 + 31.1. Let a = 3 - 1. Put a, b, 5 in ascending order.
b, a, 5
Suppose 3*j + 1 = 5*h, 16 + 11 = -j - 5*h. Let s = 223.3 - 223. Sort s, j, 3 in descending order.
3, s, j
Suppose -16 = -0*g - 4*g. Put g, -1, 6 in decreasing order.
6, g, -1
Let w = -8 + 7.3. Let b = 1.2 + w. Sort -1, -2, b in descending order.
b, -1, -2
Let p = -0.6 - -0.2. Let g = -25 + 25. Put g, p, 4 in descending order.
4, g, p
Suppose 5*g = -4*k + 41, -g - 4*k + 13 = -8. Let o = -11 + 15. Let z be 2/4 + 6/o. Put z, -3, g in descending order.
g, z, -3
Let f = -21 - -21.3. Sort f, -3, -5 in increasing order.
-5, -3, f
Suppose -1 = f - 0. Let v = 3 + f. Suppose v*w = -w - 15. Sort 1, w, 2 in ascending order.
w, 1, 2
Suppose 4*r - 5*b = 15, 2*b = -2*r - 3*r - 6. Sort -4, -5, r in increasing order.
-5, -4, r
Let f = 11 - 13. Put 0, f, -0.1 in descending order.
0, -0.1, f
Let h be 2/(1 + (-3)/2). Let f be ((-2)/3)/((-8)/(-12)). Let x be (f - 0)/(2 + -3). Sort 2, h, x in ascending order.
h, x, 2
Suppose 3 + 5 = -4*d. Let v = d + 4. Let o(f) = 2*f + 2. Let c be o(-3). Sort -3, c, v.
c, -3, v
Let p be ((-12)/10)/((-9)/30). Suppose -p = -2*z + 3*z. Put z, 5, -0.1 in increasing order.
z, -0.1, 5
Let k be (-2)/(-4)*(0 + 0). Suppose k = -3*v + v - 10. Sort 3, v, -3 in ascending order.
v, -3, 3
Suppose w - 43 = -5*h, h - w - 2*w + 1 = 0. Sort 3, h, 4 in descending order.
h, 4, 3
Suppose 2 = -2*j + 6. Suppose -5*b - 8 - j = 0. Let k be (b + 3 - 1)/1. Put -1, -4, k in decreasing order.
k, -1, -4
Suppose 0 = -3*h + 6*h - 9. Suppose 10 = -s + h*s. Put s, -0.5, 1 in increasing order.
-0.5, 1, s
Let c be (-6)/(3 - 0) + -3. Suppose 6*d - d = 3*u - 16, -u - 8 = 5*d. Put c, d, 2 in ascending order.
c, d, 2
Let b(i) = -i**3 + 7*i**2 - 5*i - 5. Let v be b(6). Sort 0, v, -3 in ascending order.
-3, 0, v
Suppose -31*m = -28*m + 12. Let p be (1 - (2 + -1)) + 0. Sort p, m, 5.
m, p, 5
Let u be (-2)/((-50)/(-16) - 3). Let d = 22 + u. Put d, -1, 4 in decreasing order.
d, 4, -1
Suppose 3*a - 6 = 5*h, -2*h = 2*a - a - 2. Suppose 0 = -3*c - 4 - a. Put c, -4, 1 in ascending order.
-4, c, 1
Let r = -9 - -4. Suppose -14 = -5*n - 2*t - 2*t, 3*t - 1 = n. Put 0, r, n in decreasing order.
n, 0, r
Let q = -2356/7 - -336. Let t = -100 - -1302/13. Sort 4, q, t.
q, t, 4
Let o = -1/13 + -21/65. Let m = -6 - -6.3. Sort o, m, 2/9 in descending order.
m, 2/9, o
Suppose 5*u + d = -3, 2*u - d - 4*d - 15 = 0. Sort u, 5, 1, 13.
u, 1, 5, 13
Let x = 3.6 - 4. Let q = x + 0.2. Let t = 0.8 - 1.2. Sort -1, t, q in increasing order.
-1, t, q
Let s be -6*1*3/(-6). Suppose 4*n = 5*w - n + 70, 5*w = 3*n - 62. Sort s, w, 0 in increasing order.
w, 0, s
Let j be (-30)/(-4) + (-2)/4. Suppose s = -2 + j. Let k be (-22)/(-10) - 1/5. Sort s, -2, k in ascending order.
-2, k, s
Let h = 6 + -7. Sort h, 7, -0.1.
h, -0.1, 7
Let a be -8 + 12 + 3*-1. Put 0.5, a, 3 in increasing order.
0.5, a, 3
Let g = 11 + -10. Suppose 2*b - 6*q + 7 = -q, -g = -4*b - 5*q. Put 5, b, -2 in descending order.
5, b, -2
Let c = -97/413 - 3/59. Sort 3, 3/7, c in descending order.
3, 3/7, c
Suppose 56*g = 52*g + 4. Put -6, -1, 5, g in decreasing order.
5, g, -1, -6
Let g = 4.8 - 0.8. Let n = g + -3.6. Sort n, 5, -5 in increasing order.
-5, n, 5
Suppose -2*b - 2*b - 3*c - 14 = 0, -4*b = -4*c + 28. Let q be 2/7 - 161/49. Put q, b, 5 in decreasing order.
5, q, b
Let h(i) = i**3 + 2*i**2 + 2*i + 