0 + (11 - 2). Let m = v + -13. Sort m, -3, -0.4 in descending order.
-0.4, -3, m
Let h = 1 - 2. Suppose -y + 0*y + 1 = 0. Suppose 4*a = -3 - y, 5*a = 4*i - 25. Sort h, i, -3.
-3, h, i
Suppose 6*c - 10 = c. Suppose 4*p + 7 = -5. Sort 0, c, p.
p, 0, c
Suppose 0 = -2*y - 5*j, y = 2*y + 5*j + 5. Sort -3, 1, y in ascending order.
-3, 1, y
Let n = 7 - -22. Suppose -4*c - r + n = 0, 3*r = -7*c + 2*c + 38. Let y be -2 + c + (-2 - -1). Sort -4, 2, y.
-4, 2, y
Let f(y) = -y + 5. Let k be f(2). Put 0, k, -0.2, -1 in decreasing order.
k, 0, -0.2, -1
Let d = 6 - 10. Let k = -17 + 9. Let n(q) = -q - 9. Let v be n(k). Sort v, d, 0.1 in descending order.
0.1, v, d
Let d = 0.2 - 0.16. Let h = -3.16 - -0.36. Let r = 0.2 - h. Put r, 2, d in decreasing order.
r, 2, d
Let w be 45/18*(-12)/10. Put w, -1, 0 in decreasing order.
0, -1, w
Let j = 1.9 + -3.6. Let u = j - 0.3. Let n = -8 + 7.7. Sort n, -1, u in ascending order.
u, -1, n
Let j be ((-16)/20)/((-14)/5). Let p be ((-4)/6)/((-2)/30). Let z be p/45 - 1/18. Put j, -1, z in ascending order.
-1, z, j
Let g = 47 + -34. Sort 0, g, 1.
0, 1, g
Suppose y + 5*k + 21 = 0, -4*k - 2 = -3*y + 11. Sort y, -11, 1.
-11, y, 1
Suppose 4*o - 40 = -o. Suppose -o = 2*p, -3*j - p = -0*p - 32. Suppose 4*v = -4*x + 20, -3*v + j = 3*x - v. Put 0, 4, x in increasing order.
0, x, 4
Let z be (-4)/2 + 8 + 1. Let j be z + (-1)/(3/6). Suppose p + j = -3*o + 6*p, 2*p = -3*o + 2. Sort o, 2, -1 in descending order.
2, o, -1
Suppose 24*t = 19*t + 25. Sort 1, t, -5.
-5, 1, t
Let g = -11 - -6. Put g, 3, -2 in decreasing order.
3, -2, g
Let f = 7.86 + 0.14. Let r = 4 - f. Suppose -2*i = 5*z + 19, 18 + 2 = -z + 5*i. Sort r, 4, z in ascending order.
z, r, 4
Suppose 25 = 5*f - 5*g, 2*f + 2*g + 10 = -0*f. Let d(v) = v + 10. Let w be d(-6). Sort 1, w, f in decreasing order.
w, 1, f
Let t be (-2 - -3) + 12/(-14). Let p = 7.84 + 0.16. Let u = p + -10. Sort u, t, 0.5 in descending order.
0.5, t, u
Let b = -13 + 9. Let s = -2 - b. Let p be (s + -3)/(-2 + 3). Put 1, -2, p in decreasing order.
1, p, -2
Let v(k) = 3*k + 2. Suppose 18 = n + 4*b, 0*n + 4*b - 30 = 5*n. Let l be v(n). Let o = 66 - 67. Sort l, 0, o.
l, o, 0
Let o = -3 + 0. Suppose -2*w - 2*n - 12 = 0, 5*w + 28 = 4*n - 7*n. Put w, o, -9 in descending order.
o, w, -9
Let b be -1 - (-9)/11 - (-2752)/(-473). Let f = 1 + -4. Sort -3/2, f, b in ascending order.
b, f, -3/2
Let a(x) = -3*x**3 - x - 1. Let s be a(-1). Let j = -1 - 3. Let h(n) = -2*n - 3. Let w be h(j). Sort w, s, -4.
-4, s, w
Let r = 105 + -131. Sort -5, r, 5 in ascending order.
r, -5, 5
Let o(y) be the second derivative of -3/2*y**3 + 0 + 1/12*y**4 + 3*y + 6*y**2. Let m be o(8). Put m, 0, -3 in decreasing order.
m, 0, -3
Let f be (-50)/(-18) + -4 + (-266)/(-63). Sort f, 4, 0 in ascending order.
0, f, 4
Let d = 5.5 - 5. Sort 4/7, 2/17, d in descending order.
4/7, d, 2/17
Let o be (-2)/(1/6*(5 - -1)). Sort 1, o, 4, 0 in descending order.
4, 1, 0, o
Let x be (1 + -3)*(-3)/2. Sort 5, -1, -2, x in decreasing order.
5, x, -1, -2
Let k = -6 - 0. Let f = 1 + k. Sort -4, 1, f.
f, -4, 1
Let a = -22 - -22. Sort -3, a, -2 in ascending order.
-3, -2, a
Let v be (3 - 8)/5 - -2. Put v, 4, 9 in increasing order.
v, 4, 9
Let v = 15 + -16. Let r(t) = -t**3 - t - 5. Let j be r(0). Let z = 4 - 1. Put j, z, v in descending order.
z, v, j
Let n = 74 + -75. Sort -4, n, -8 in ascending order.
-8, -4, n
Let n(p) = p**3 - 4*p**2 + 3*p + 4. Let h be (1 - 5)*6/(-8). Let l be n(h). Let u(o) = o + 2. Let f be u(-1). Put f, l, 2 in descending order.
l, 2, f
Let v be 2/8 + 17/(-68). Sort -1, -2, v in ascending order.
-2, -1, v
Suppose j - 3*j = -10. Suppose -5*d - 3*x = -1 + 4, d = -x + 1. Let z = -2/171 + 230/171. Put j, d, z in decreasing order.
j, z, d
Suppose -4*z = 5*s + 40, 2*z - 12 = -5*s - 42. Let q = -7 - z. Sort -4, -3, q in increasing order.
-4, -3, q
Let m be 5 - (1 + 2 - 1). Let p = 1.2 - 6.2. Let j = p + 5.4. Sort -4, m, j in decreasing order.
m, j, -4
Let r = 12 - 10. Put r, -12, 0 in ascending order.
-12, 0, r
Let c = 0.03 + -0.03. Let x = c - 1. Put x, 4, -2/5 in descending order.
4, -2/5, x
Let r = 0.5 - 0. Let m = 7730623/198 + -39044. Let z = 5/22 + m. Sort r, -2, z in descending order.
r, z, -2
Let u be (-2)/(3/2 + -2). Suppose -p = -6*p + 5*j + 15, -u*j = -2*p. Suppose -w - 1 = 5*t + 6, 0 = -3*t - p. Sort 1, w, 0 in decreasing order.
w, 1, 0
Let d be (-7 + 7)*(-3 - -4). Put d, -1, 6 in increasing order.
-1, d, 6
Let t = 46 + -321/7. Let k = 2 - -1. Sort t, -0.5, k in descending order.
k, t, -0.5
Let q = -0.09 + 0.13. Sort q, 1, -1/3 in ascending order.
-1/3, q, 1
Let b = 2/25 - 33/100. Suppose 13 = -18*q - 5. Sort 2/21, b, q in decreasing order.
2/21, b, q
Let t = -9 - -18. Suppose 0*p + 3*p + t = 0. Let r = -2 - -4. Sort p, r, 4 in descending order.
4, r, p
Let d(h) = -h**3 - 2*h**2 + 3*h. Let i be d(-3). Let u be -1 - i - (-1)/2. Let r = -0.7 + 0.6. Sort r, 4, u in decreasing order.
4, r, u
Let n(t) = -8*t + 40. Let l be n(8). Put l, 3, -0.2 in decreasing order.
3, -0.2, l
Let y(b) = b**3 + 8*b**2 + 6*b - 6. Let c be y(-7). Let p = 4 - c. Suppose -w + 1 = 0, 4*n - 13 = -0*w + p*w. Sort -4, n, 5 in increasing order.
-4, n, 5
Let d be 2/(7/35*2). Suppose 0 = 2*i + 2*i. Suppose w = -i - 4. Sort w, 1, d in decreasing order.
d, 1, w
Let p = -64 + 63.9. Sort 1/3, 12, p.
p, 1/3, 12
Suppose 5*z = 3*c, -15 = 4*c + 5. Let j = 0.2 - -0.3. Put z, -1/3, j in descending order.
j, -1/3, z
Suppose 2*t - 2 = -0*t, 5*c - 1 = 4*t. Let x(i) = i**2 - 10 - 4*i**2 + 2*i**2 + 8*i. Let o be x(7). Put c, 5, o in decreasing order.
5, c, o
Let h = 26 + -31. Let s = 3 - 3. Let g = s + -0.4. Sort g, h, -1/3.
h, g, -1/3
Let t(f) = 2*f + 6. Let j be t(-6). Let x = j + 2. Sort 5, 3, x.
x, 3, 5
Let d(j) = -j**2 + 6*j + 7. Let i be d(6). Let l = i + -3. Suppose 0 = -l*g + 3*g. Put 1, -2, g in decreasing order.
1, g, -2
Let j = 14 - 11. Let y = -0.1 - -0.3. Put -5, y, j in decreasing order.
j, y, -5
Let o = 32 - 29. Put -4, 1, o in decreasing order.
o, 1, -4
Let s be ((-3)/(-1))/((-15)/(-20)). Sort s, -5, 2.
-5, 2, s
Let o = 100 + -99. Sort 1/4, -1, 5, o in decreasing order.
5, o, 1/4, -1
Let f(j) = -5*j**2 + 7*j - 1. Let d be f(1). Sort -3, d, 3, 8 in increasing order.
-3, d, 3, 8
Let b(a) = a**2 - 5. Let l be b(0). Let t = 4 + -3.5. Put t, -3, l in decreasing order.
t, -3, l
Suppose k + y + 3 = 6, y = -4*k. Suppose 4*i = 3*i - 4. Sort i, k, 0 in increasing order.
i, k, 0
Let u = -22 - -17. Sort u, 2, -4 in increasing order.
u, -4, 2
Suppose -4*z = 7 - 27. Suppose 2*f - z - 9 = 0. Suppose 0 = -2*g + f + 3. Put g, 3, -4 in decreasing order.
g, 3, -4
Suppose -33 = -4*t + 5*g, 0*t - 27 = -t + 5*g. Suppose 0 = q - t. Let x be (3 - -4 - 3) + -1. Put q, -5, x in ascending order.
-5, q, x
Let f = -0.6 + 4.6. Let o = -63 - -66.9. Let g = o - f. Sort -0.3, -0.4, g in descending order.
g, -0.3, -0.4
Let p = 47 + -47. Put p, 2, 1, 5 in descending order.
5, 2, 1, p
Let l be (16/5)/((-2)/(-10)). Let w be l/7 - 2/7. Suppose -w*m = -m. Put -2, m, -3 in ascending order.
-3, -2, m
Let i = -0.02 - -0.12. Put 1/2, i, 4/3 in decreasing order.
4/3, 1/2, i
Suppose -f - 16 = -5*f. Put -3/7, f, 3 in ascending order.
-3/7, 3, f
Suppose 4*r - 30 = -10. Suppose -20 = -r*d, 3*d - d = 2*q + 2. Suppose -q*m - 5 - 7 = 0. Put m, 5, -2 in ascending order.
m, -2, 5
Let n(u) = -u**3 + 5*u**2 + 2*u - 6. Let w be n(5). Suppose -3*m = -p - 5*m, -3*p + w*m = -30. Let c = p - 9. Sort c, -5, 0.3 in descending order.
0.3, c, -5
Let h(t) = t**3 - 3*t**2 - 4. Let x be h(3). Suppose q = 2*q + 2*f - 9, 21 = 3*q + 3*f. Put x, -2, q in descending order.
q, -2, x
Let a = -2 + 1. Let y be 65/(-25) + 2/(-5). Put 3, a, y in ascending order.
y, a, 3
Let b(z) = z**2 - 4*z + 2. Let o be b(5). Let u = o + -5. Put -5, u, 4 in increasing order.
-5, u, 4
Let k(p) be the second derivative of p**3/6 - p**2/2 + 3*p. Let t be k(-3). Put -2, t, 2 in descending order.
2, -2, t
Suppose -o - l = 5, -4*o + l = 4*l + 15. Put o, -18, -5 in decreasing order.
o, -5, -18
Let j = -50.2 + 50. Let h be (5/9 - 0) + -1. Sort h, -4/7, j in ascending order.
-4/7, h, j
Let u(t) = -t**3 - 8*t**2 + 2*t + 10. Let z be u(-8). Sort -5, -2, z.
z, -5, -2
Let c(v) = -v**2 + 4*v - 9. Let q be c(2). Let l be (-2)/8 + 30/(-8). Sort 2, l, q.
q, l, 2
Let k(j) = -j - 