der.
2, 0, a
Suppose -5 = -4*r + m, 0*m - m - 5 = -r. Let o = -2142.97 + 2143. Let c(w) = w**2 - 10*w - 8. Let y be c(11). Put o, y, r in increasing order.
r, o, y
Let l be -9 + 4 - ((4 - 5) + -5). Sort l, -2, -4 in ascending order.
-4, -2, l
Let b be ((-26)/12 - -2)/((-29)/(-87)). Put -6, b, 5, 12 in decreasing order.
12, 5, b, -6
Let f = 0.337 - 0.277. Sort f, 5, -0.4 in descending order.
5, f, -0.4
Let x = -35 + 53. Let h = x - 13. Let z = 4.06 + -0.06. Sort -1/2, z, h.
-1/2, z, h
Let j be (-41)/(-6) + (-66)/11. Put -1/3, 8, j in descending order.
8, j, -1/3
Let c = 1 + -1.03. Let v = -1.5 + 1.4. Let t = -0.3 - v. Put t, 3, c in decreasing order.
3, c, t
Let z = 563 + -584. Put 4, z, 0, 2 in decreasing order.
4, 2, 0, z
Suppose -14*l = -4*l + 30. Let p = -9.5 + -0.5. Sort -0.4, -0.2, l, p.
p, l, -0.4, -0.2
Let h(i) = -5*i**2 - 2*i + 2. Let k be h(1). Sort k, 5, -4, -6 in decreasing order.
5, -4, k, -6
Let k be 3/((-77)/(-14) + -7). Sort k, 6, -46 in increasing order.
-46, k, 6
Let h = -11.541 - -0.041. Let x = h - -10.5. Sort -0.5, x, -4, 0.3.
-4, x, -0.5, 0.3
Let g = 29.4 + -28.13. Let z = g + 1.73. Put 0.4, z, -0.1, 9 in decreasing order.
9, z, 0.4, -0.1
Let q = -2/93 - -42/31. Let t(p) = 22*p - 1. Let b be t(1). Let i be 81/b + 2*-2. Put q, 1, i in increasing order.
i, 1, q
Suppose 2*g = -2*r, 3*r - 4 + 0 = -2*g. Sort 1/6, r, 0.1, -0.2 in decreasing order.
r, 1/6, 0.1, -0.2
Let r = -5 - -7. Let m = -88 + 81. Let c = r + m. Sort -3/5, -0.3, c in increasing order.
c, -3/5, -0.3
Let m be (-1 - 0)*(-2)/(-3 - -1). Suppose -i + 2*b = -579, b - 1322 = -2*i - 139. Let c = i - 6485/11. Sort m, c, 4 in decreasing order.
4, c, m
Let w = -17.74 - -18. Let l = -9.74 - w. Let s = l + 9.92. Sort 2, s, -3 in decreasing order.
2, s, -3
Let l(b) = -8*b**3 + 47*b**2 + 5*b - 10. Let x be l(6). Put x, -5, -18 in decreasing order.
-5, x, -18
Let q = 3.01 - 0.01. Let l(h) = h**3 - 8*h**2 + 2*h + 12. Let f be l(8). Suppose 4*z - f = -4. Sort 4, z, q.
q, 4, z
Let a(c) = -4*c + 20. Let t be a(5). Suppose t = -26*p + 22*p. Put p, 2, 14, 5 in increasing order.
p, 2, 5, 14
Let r = 1.59 - 1.06. Let a = r - 0.13. Let v = 4 + -1. Sort v, a, -3/7.
-3/7, a, v
Let x be -2*84/(-238)*(0 + 1). Put x, -3, 0.2 in decreasing order.
x, 0.2, -3
Let g = 0.42 + -0.12. Let y be (-1)/(1*(3 - 28/8)). Put y, g, -3 in descending order.
y, g, -3
Let h(i) = -10*i + 208. Let m be h(21). Let x(q) = -q**2 + q + 3. Let r be x(3). Sort r, m, 2.
r, m, 2
Let q be (3 + -3 + -1)/(17/68). Put -103, q, -1 in decreasing order.
-1, q, -103
Let s be (-322)/(-770) + -3*4/(-66). Let k = 1 - s. Sort 3, k, -0.9 in descending order.
3, k, -0.9
Suppose -11*c + 8*c - 7 = -2*r, -11 = -5*r + c. Sort 1.4, -1, r.
-1, 1.4, r
Let m be 2/4 - 222/(-4). Suppose -2*x + m = 12*x. Sort 1, x, 2, -2 in descending order.
x, 2, 1, -2
Suppose -4*a - 3*d = 13, 3*a - 4*d - 73 = -114. Sort 2, -2, 5, a in descending order.
5, 2, -2, a
Let n = 6 - 4. Let b = -0.1447 + -0.0553. Sort b, 4, n in descending order.
4, n, b
Let u be 3981/(-840) - (-4)/10. Let h = u - -37/8. Put -2/5, 3, h in descending order.
3, h, -2/5
Let p = 2 - -3. Suppose -2*m - 25 = -5*r, -3*r + 5*m + 28 = -6. Suppose r*s + 2 = -5*z - 3, 2*s = 0. Sort z, -2, p.
-2, z, p
Suppose 5*s = b + 15 + 15, -2*b = 10. Sort 3, -4, 9, s in descending order.
9, s, 3, -4
Let v = 43 + -47. Let q be (68/(-8) - v)*2/(-3). Sort -3, 4, -16, q in ascending order.
-16, -3, q, 4
Let d = 140 + -137. Let w(z) = -z**2 + 2*z + 3. Let t be w(4). Suppose 3*s - 3*g - 2*g = 4, -12 = 3*s + 3*g. Sort s, t, d in descending order.
d, s, t
Let b = 1186 - 1185. Suppose 0 = -4*m + m + 15. Let i be (4/(-10))/((-2)/(-10)). Sort b, m, i in descending order.
m, b, i
Let a = -32 + 32. Let g = a + -5. Sort -2/7, 0.7, g in descending order.
0.7, -2/7, g
Suppose -2*x - 5 = 3*x. Let k be (131 - 141)*(-12)/40. Sort 2, 4, k, x in increasing order.
x, 2, k, 4
Let b be (-1 - 1/(-2))/(-1). Let s = -3319 + 3324. Put b, s, 0, 2/11 in decreasing order.
s, b, 2/11, 0
Let k = -5 + 5.02. Let o = -0.62 + k. Let p = -60 - -65. Put o, 0.3, p in increasing order.
o, 0.3, p
Let j = 1 + 0. Let y(s) = -s**3 - 20*s**2 - 80*s - 72. Let x be y(-15). Sort -1/3, x, j, 2/11 in decreasing order.
x, j, 2/11, -1/3
Let u be (-1)/(3 + (-280)/92). Suppose 2*t + 5*s + u = 0, 5*s = 4*t - 3*t - 11. Put t, 2, 4 in ascending order.
t, 2, 4
Suppose 0*r + 16 = -2*r - 4*h, -23 = -4*r + 3*h. Suppose 3*f + 28 = -0*f + t, -16 = 2*f - 2*t. Let l be 17/5 - (-4)/f. Sort r, 10, l in descending order.
10, l, r
Let u = -2.8 + 7.8. Sort 2/7, -8, u, 0.5 in descending order.
u, 0.5, 2/7, -8
Let z be (20/(-8) - -2)*110. Let t = -79 - z. Let y be 6/4*t/18. Sort 2, y, -1 in descending order.
2, -1, y
Let v be (4/(-6))/(-11 + 1010/90). Put v, -5, -1, 3 in decreasing order.
3, -1, v, -5
Let c = -4.9827 - 0.0373. Let s = 0.02 + c. Let w = -222 - -221. Sort w, s, 3 in increasing order.
s, w, 3
Let i be (-2)/(-6)*1*(6 + -3). Sort 2, i, -3 in decreasing order.
2, i, -3
Suppose k + 0*k + 4 = 0. Let f(r) = -r**3 - 3*r - 2. Let o be f(0). Sort k, 0.4, 3, o in descending order.
3, 0.4, o, k
Let s = 271.7 - 271.4. Sort s, 2, 5, 1 in increasing order.
s, 1, 2, 5
Let i = -24 - -15. Let x = -4 - i. Let f(v) = -13*v - 416. Let q be f(-32). Sort 4, q, x in increasing order.
q, 4, x
Let s = -109 + 66. Sort 4, s, -2 in descending order.
4, -2, s
Let i = -0.4 - 2.6. Let r = 3.4 + i. Put r, -0.4, 12 in increasing order.
-0.4, r, 12
Let b be (2/7)/((-50)/(-875)). Sort -5, -2/11, 2, b in decreasing order.
b, 2, -2/11, -5
Let m(r) = -2*r**3 + 3*r**2 + 35*r + 1. Let g be m(5). Let a(p) = -p**2 - 7*p + 3. Let h be a(-6). Sort g, -5, h.
-5, g, h
Let p be 0 + -1 + 2 - -1. Suppose -4*h = -0*z - p*z + 6, h + z = 6. Let t = -7 + 11. Sort -3, h, t.
-3, h, t
Let p(c) = 4*c. Let x be p(-1). Let q = 1130.9 - 1131. Suppose 5 = -2*k + k. Put q, x, k in decreasing order.
q, x, k
Let q be (2/6)/((-3)/9). Let o = 41 + -14. Suppose -3*r - 7*c - o = -3*c, 0 = r - 4*c - 7. Put q, r, -4 in descending order.
q, -4, r
Let p be 1/4*320/(-104). Let r = p - -24/65. Let x = -21/5 - -199/45. Put r, 1, x in decreasing order.
1, x, r
Suppose t - 4*t = 2*h + 26, h - 31 = 4*t. Let z be (2 + t/5)*-5. Put 4, z, -3 in decreasing order.
4, z, -3
Let z = -102.59 + 103. Let h = -0.01 + z. Let u = 1 - -2. Put u, -1, h in increasing order.
-1, h, u
Let p(w) = -6*w - 1. Let o be p(-1). Suppose -16 = o*t - 4*g, -1 = -t - 3*g - 8. Sort -6, 5, t in ascending order.
-6, t, 5
Let g(s) = 10*s**3 + s + 1. Let u(a) = -11*a**3 - a - 1. Let l(n) = -6*g(n) - 5*u(n). Let t be l(-1). Sort 4, -5, t in decreasing order.
t, 4, -5
Suppose 5*v + 3*x = 21, -15*x + 22 = 4*v - 10*x. Put -87, 2, v in ascending order.
-87, 2, v
Let w = -323 - -320. Put -2, w, 49 in descending order.
49, -2, w
Let v be (2 - 13/3)*-3. Suppose 19*a - 106 - 6 = -9*a. Put 1, 2, a, v in decreasing order.
v, a, 2, 1
Let q = 1.1 - 4.1. Let u be ((-2)/6)/(1*(-8)/18). Sort -4, u, q in descending order.
u, q, -4
Let t = -24 + 26. Let b(p) = -p**2 + 2*p - 1. Let g be b(t). Put g, 1, -19 in ascending order.
-19, g, 1
Suppose 5*w = 2*t - 10, 4 = 5*w - t + 14. Let q(h) = -2 + 2 - 1 + 3 - 7*h - h**2. Let j be q(-7). Put w, 3, j in ascending order.
w, j, 3
Let m be 4/(-7)*(-11)/22. Put -5, -2, m, 0.3 in decreasing order.
0.3, m, -2, -5
Suppose -4*x = -5*m - 31, -5*x + 3*m + 56 - 27 = 0. Let s(y) = -2*y. Let l be s(1). Sort l, 0, x, -3 in decreasing order.
x, 0, l, -3
Let v be (4/(-2))/((-1)/2). Let l be ((-10)/v)/(8/16). Let w be 12/8*8/6. Put l, w, 0 in descending order.
w, 0, l
Suppose 2*t + 12 = 2*c, 0 = c - 3*t + 7*t - 1. Let r(v) = v**2 - 5*v + 1. Let y be r(2). Suppose 9 = k + 2*k. Put k, c, y in descending order.
c, k, y
Let f be (4/(-7))/(2/(-14)). Let w(o) = -o**3 + 9*o**2 + 11*o - 14. Let p be w(10). Let g be p/((-12)/9) - 3. Sort f, g, 3 in ascending order.
g, 3, f
Let l = 76 - 72. Sort 0, -1, l, 10.
-1, 0, l, 10
Let a(i) = -19*i - 55. Let l be a(-3). Put l, -7, -0.2 in descending order.
l, -0.2, -7
Let v = 0.07 - 4.07. Let l be (-1)/(-2)*179/7. Let k = l + -25/2. Sort -0.1, v, k in ascending order.
v, -0.1, k
Let n = 0.033 - -127.967. Let o = n - 126. Sort 4/3, -0.1, o.
-0.1, 4/3, o
Let l = -17/10 + 11/5. Suppose -11*o + 42 = -4*o. Let j be o*(-3)/(-12)*8/16. Put