der.
-3, h, -0.5, 0.2
Let w(u) = -3*u**2 + 4*u - 2. Let i be w(2). Let b = 4 - i. Suppose b = 2*x + 3*x. Sort 1, 3, x in descending order.
3, x, 1
Let r = -1.133 - 3.837. Let d = -0.03 + r. Let w = 0.2 - 0.5. Put 0.2, w, d in decreasing order.
0.2, w, d
Let c(y) = y**2 - 4*y - 7. Let m be c(5). Put 0, m, -1 in descending order.
0, -1, m
Let p be 1*2 + (1 - 5). Suppose -4*w = -c - 19, 0 = -5*c - 5*w - 6 + 36. Sort c, p, 4 in increasing order.
p, c, 4
Suppose 6*f = f - 3*x, 2*f - 2*x = -16. Let z be -8 + -2 - (-18)/6. Let d = z + 2. Sort d, 2, f.
d, f, 2
Let v = -8 - -4. Let z = 1 + v. Let n = z - -6. Put 2/7, -5, n in increasing order.
-5, 2/7, n
Let c be -3*(-5)/45 - 2/6. Let v = 0.1 - 0. Let z = v - 0.2. Sort c, -1, z in ascending order.
-1, z, c
Suppose -5*y = -10*t + 5*t + 15, 0 = -2*y - 4*t + 6. Put -3, 1, y in increasing order.
-3, y, 1
Let i = 6.4 - 6. Suppose -6*r = 6 - 0. Put r, i, 1/2 in ascending order.
r, i, 1/2
Suppose 241*j - 237*j + 16 = 0. Sort j, 4, -5, 5.
-5, j, 4, 5
Let g = 1.87 - 1.8. Let b = -4.07 + g. Let v = b + 4.4. Put -1/3, 0.3, v in decreasing order.
v, 0.3, -1/3
Let v = -149 - -79. Let f be (-36)/v + 2/7. Let c be (-2)/5 + (-12)/(-60). Sort c, f, 3/7.
c, 3/7, f
Suppose x = -6 + 1, 0 = 4*b + 5*x + 13. Sort b, 2, -1 in decreasing order.
b, 2, -1
Let r = -31/208 + -1/208. Let s = 9/4 - 2. Put s, r, 2/3 in descending order.
2/3, s, r
Let u = 0.7 - 0.64. Let s = 0.94 + u. Put 2/9, 4, s in ascending order.
2/9, s, 4
Let a = 2 - -3. Let x be -1 + 3 - a - -7. Sort -5, x, 0 in decreasing order.
x, 0, -5
Suppose i - z - 4 = 0, 23 + 9 = 5*i + z. Suppose -4*w + i + 10 = 0. Suppose -w*u + 0*u = 4. Sort -5, 0, u in ascending order.
-5, u, 0
Suppose -5*b = -0*b. Suppose -5*j + 3*j - 5*v + 16 = 0, b = -2*j - v + 8. Let a be 5 - (1 - 2) - 1. Sort -5, a, j.
-5, j, a
Let p = -8.1 - -4.1. Let h = 0.2 + 0. Let i = h + -0.3. Sort i, -5, p in descending order.
i, p, -5
Let b = -18 - -18. Put -2/17, 11, 3, b in decreasing order.
11, 3, b, -2/17
Let v = 22 - 27. Let c = 1 + 0. Put 0, v, c in ascending order.
v, 0, c
Let c(t) = t**3 + 3*t**2 - 2*t. Let u be c(-3). Suppose 27 = u*k - 3. Put k, 3, 0 in decreasing order.
k, 3, 0
Let c = 24 - 27. Sort 6, -2, -5, c in ascending order.
-5, c, -2, 6
Let v = 6.07 + -0.07. Let a = 6.4 - v. Sort a, 2/19, 0.1 in descending order.
a, 2/19, 0.1
Let f(b) = 3*b**3 + b**2 - b. Let r be f(1). Suppose -3*c = 5*z - 7*c + 5, 3*c = -15. Sort 4, r, z.
z, r, 4
Suppose 14*y - 8 - 328 = 0. Sort 3, y, -4, 5 in ascending order.
-4, 3, 5, y
Let m = 0.5 - 0.1. Let u = 0.8 + -1. Put m, u, 0.2 in increasing order.
u, 0.2, m
Let n = 0.8 - -0.2. Let t = 23.19 - -0.31. Let s = t + -24. Put s, 0.2, n in increasing order.
s, 0.2, n
Let q(l) = l**2 - 8*l - 2. Let m be q(8). Sort -0.6, m, -3 in increasing order.
-3, m, -0.6
Suppose 2*j = j. Suppose 3*h - 4*p + 35 = 0, -4*p + 40 = -6*h + 2*h. Sort j, 5, h in ascending order.
h, j, 5
Suppose 0 = -9*t + t - 32. Put 4, t, 0 in descending order.
4, 0, t
Let u = 3 - 2. Let x(i) = i. Let d(z) = -z**3 + z**2 - 2*z - 2. Let w(b) = -d(b) - 4*x(b). Let c be w(2). Sort c, u, -4.
-4, u, c
Let h be (-8)/6 + 4 + -3. Sort 2/9, h, -0.21 in ascending order.
h, -0.21, 2/9
Suppose 0*t - 20 = -4*t. Suppose 2*j = 6*j + 16. Sort t, 9, j in descending order.
9, t, j
Let p(n) = n**3 - 12*n**2 + n - 15. Let d be p(12). Let j = d + 5. Let b = 0.3 - 1.3. Sort -1/4, j, b.
b, -1/4, j
Suppose -5*n - 5 = -0*n. Let p be 8 + -2 + 6 + (-14)/2. Put 0, n, p in descending order.
p, 0, n
Let j = 27 - 37. Put -3/4, 0.2, j in ascending order.
j, -3/4, 0.2
Let q = -17153593 - -42386529023/2471. Let k = q - 2/353. Sort 1/3, k, 0.4 in decreasing order.
0.4, 1/3, k
Suppose 12 = 5*r - 3*r - 4*m, -3*m + 5 = -5*r. Sort r, 3, 4 in descending order.
4, 3, r
Let j = -22.04 + 0.04. Let o = 20 + j. Put 4/7, o, -3 in descending order.
4/7, o, -3
Let h be (-2)/((-44)/26) + -1. Sort -5, 0.1, h.
-5, 0.1, h
Suppose -y - 2*y - 9 = 0. Let s = -1 - y. Let z = -4 - -11/3. Sort s, z, 1.
z, 1, s
Let h = -17 - -11. Let n = -2 - h. Put 2/15, 5, n in descending order.
5, n, 2/15
Let g = 10 + 0. Let f = 12 - g. Sort f, -3/2, -7/2 in increasing order.
-7/2, -3/2, f
Let y = -79.7 - -80. Sort 3, y, -4 in decreasing order.
3, y, -4
Let x be (-9)/(-20)*(-16)/116. Let p = -4/29 + x. Let d be (-7)/20 + 3/(-12). Put d, p, 2/5 in ascending order.
d, p, 2/5
Let b = 69 - 72. Put b, -5, -4 in decreasing order.
b, -4, -5
Suppose 0 = -50*c + 54*c - 20. Sort c, 2, -4, -25 in ascending order.
-25, -4, 2, c
Let w = 8 + -12. Let j(a) = 3*a - 30. Let x be j(12). Suppose -2*h - x = -4. Sort w, h, -3 in decreasing order.
h, -3, w
Let b = -16 - -25. Suppose -l = -3*l + 4*k + 14, b = 3*l - 2*k. Let u = l - 6. Sort u, 3, 0.
u, 0, 3
Let z = 0.1 + -0.1. Sort z, 2, -1 in decreasing order.
2, z, -1
Let v = 0.06 - -0.94. Let a = 0.7 - v. Let n be (-2 + (-10)/(-3))/6. Put -3/2, a, n in descending order.
n, a, -3/2
Let z = 1.96 + 0.04. Let y = z - 2.1. Let d = -35 + 38. Put d, 1/4, y in decreasing order.
d, 1/4, y
Let m(b) = -12*b + 1. Let s be m(1). Suppose -p + 2*p = -7. Let v = s - p. Put v, 4, -1 in descending order.
4, -1, v
Let k = 14 - 2. Let n = k - 4. Suppose n = 5*v - 7. Sort v, -0.4, -5 in descending order.
v, -0.4, -5
Let l = 33 - 32.5. Sort 5, -14, l in descending order.
5, l, -14
Let s = 7 + -8. Put s, 4, -6 in descending order.
4, s, -6
Let p = 6 + -3. Let v = 13/5 + -6266/35. Let y = v - -176. Sort 5, y, p in ascending order.
y, p, 5
Suppose -4*g - b = -14, g + 0 = b + 6. Sort -3, g, -2 in decreasing order.
g, -2, -3
Let m = 4.51 + -0.51. Sort 1, m, 2/3 in increasing order.
2/3, 1, m
Let l(z) = -z**2 + 4*z + 1. Let q be l(3). Suppose -q*k = 4*x + 24, 5 + 1 = -2*k. Let o be (-3)/2 - 2/(-4). Sort o, x, -4 in increasing order.
-4, x, o
Let q(i) = -i**3 + i**2 - 1. Let n be q(2). Suppose -3*p + 0 = -9. Suppose 27 = j - 5*t, -t + 25 = 5*j - 4*t. Put n, p, j in descending order.
p, j, n
Suppose 4 = 2*b + 5*d + 12, 4*b + 5*d = -16. Sort 0.3, b, -0.3, 1/4 in increasing order.
b, -0.3, 1/4, 0.3
Let z = -0.01 - 0.05. Let j = z + -0.94. Suppose -8 = y + 5*g, 3*y + 12 = 3*g - 6*g. Put j, -0.5, y in ascending order.
y, j, -0.5
Let k be ((-18)/(-12))/((-2)/8). Let d = k + 7. Put d, -2, 3 in decreasing order.
3, d, -2
Let h = 143 - 244. Let y = 101.43 + h. Let p = y - -0.07. Put p, -3, -0.1 in decreasing order.
p, -0.1, -3
Let t be (9 - 5) + (63/6)/(-3). Suppose 0 = 3*p - 3*m + 9, -4*m = 5*p - 0*p + 24. Put -2, p, t in decreasing order.
t, -2, p
Let m be (-4)/4 + (3 - 1). Let d be 4/(-10) + (-46)/10. Put d, -3, m in increasing order.
d, -3, m
Let k = -0.275 + -0.025. Put 2/3, k, 1/4 in ascending order.
k, 1/4, 2/3
Suppose 4*o + 10 = -26. Let z = o - -1. Sort -1, -3, z in descending order.
-1, -3, z
Let u = 5 - 8. Let i be -6 + (u/(-3) - 0). Let r = 7 + -8. Put r, 3, i in ascending order.
i, r, 3
Suppose -3 = -3*r - 0. Sort -2, 5, r.
-2, r, 5
Let f be (-3)/(-2 - 1)*1. Suppose 4*w + 3*d - 9 = -f, 5*d - 19 = -w. Sort 1, w, -4 in decreasing order.
1, w, -4
Let c = -0.38 - -0.08. Let p = 0.3 + c. Let g = 1 - 0. Put g, 0.1, p in descending order.
g, 0.1, p
Let d be 2 - (2 - (-2 + 1)). Sort -0.2, d, 3/4 in decreasing order.
3/4, -0.2, d
Suppose 5*v + 252 = 4*b, -5*v + 3 - 258 = -5*b. Let q be ((-21)/v)/(2/4). Let j = q + -3/8. Put -0.2, j, -5 in decreasing order.
j, -0.2, -5
Suppose 3*s + 3*u - 11 = u, -3*u = 4*s - 15. Suppose -4*q = -s*z + 10, 18 = -4*q - 0*q - z. Sort q, -1, -2 in descending order.
-1, -2, q
Let s = 3 - 3.05. Let q = -3.05 - s. Let w be 0/3 + 0 - (-4)/(-26). Put q, w, -5 in descending order.
w, q, -5
Suppose 0*a - 3*a = -6. Sort 29, a, -3 in descending order.
29, a, -3
Let l = -6 - -6. Let b be (-23)/(-9) + (l - -1). Let z = b - 4. Put 1, z, 0 in descending order.
1, 0, z
Let n(m) = m - 15. Let s be n(11). Sort 5, -5, s in ascending order.
-5, s, 5
Suppose -4*y + 3*s - 2 = -2*s, -s - 8 = -5*y. Let h be (4/(-8) + 0)*y. Sort 3, 2, h in decreasing order.
3, 2, h
Suppose 2*w - 4*x = -w + 29, w + 22 = -5*x. Suppose 16 = -3*m - m. Put w, m, 1 in descending order.
w, 1, m
Suppose 0 = 5*o - 6*o + 4, 4*i - 2*o + 20 = 0. Put 4, -5, i in decreasing order.
4, i, -5
Let m be ((-756)/(-32))/9 + -3. Put m, -3/5, 2, -2/3 in decreasing order.
2, m, -3/5, -2/3
Let d be 2/(-3) 