/13, v, 0.5
Suppose -4*z + z = 0. Suppose z*s - 3*s = -21. Suppose 0 = -3*w + s + 8. Sort 3, w, -4.
-4, 3, w
Let y = 0.3 + -0.5. Let f = 123/2 - 60. Sort 5, y, f in ascending order.
y, f, 5
Let a = 29 - 24. Suppose -2*i - a = 5. Sort -2, i, -6.
-6, i, -2
Let w(y) = y - 3. Let u be (2 + 1)*1 + 1. Let d be w(u). Sort -2, -5, d in ascending order.
-5, -2, d
Let l = -90 - -90. Sort -2/9, l, -7, -3 in descending order.
l, -2/9, -3, -7
Let n be (1/(-3 + 2))/1. Sort -2/7, -0.4, n in increasing order.
n, -0.4, -2/7
Let y be (-8)/(-6)*9/(-42). Sort -0.4, -0.2, y, -2/9 in increasing order.
-0.4, y, -2/9, -0.2
Let v = 5 - 9. Let f(w) = w + 45. Let l be f(0). Let b be (-6)/(-4) + l/18. Sort v, b, -1.
v, -1, b
Let b = -0.21 + 0.32. Let s = 2.39 + b. Let x = s + -3. Sort x, -4, 4 in ascending order.
-4, x, 4
Let s(p) = p**3. Let w be s(-1). Let n(v) = -v**2 - 7*v - 6. Let m be n(-6). Suppose 2*y - 12 = -4*f - m, -2*f = 2*y - 6. Put f, w, -4 in descending order.
f, w, -4
Let k = 0.64 - 0.73. Sort k, 2, 2/11 in ascending order.
k, 2/11, 2
Suppose -125 + 125 = 7*v. Sort 3, -4, v, -1 in decreasing order.
3, v, -1, -4
Suppose -3*g + 10 = -5*w, -3*g + 8*g = 3*w + 22. Let n be w/((10/4)/(-5)). Put n, 2, 3 in descending order.
3, 2, n
Let z = 5 + -5.3. Put 33, z, 0 in decreasing order.
33, 0, z
Let n be 60/(-63) - (-2)/7. Let x = 1 + n. Put x, 2, 3 in ascending order.
x, 2, 3
Let m = -2 + 6. Let w be (-2)/4 + (-5)/10. Sort w, m, 0 in increasing order.
w, 0, m
Suppose -9 = 4*l + 11. Suppose 3*a = 4*r + 16, -3*a + 7*a = -2*r + 14. Put l, a, 3 in increasing order.
l, 3, a
Let m = 1.387 + -0.387. Let f = 4/107 + 305/428. Sort 3, m, f in ascending order.
f, m, 3
Suppose 0 = -2*v + v. Put v, 6, -2 in descending order.
6, v, -2
Suppose -7*p = -3*p - 4. Sort -3, p, -1, -2 in descending order.
p, -1, -2, -3
Let k be ((-4)/(2 + 2))/(-1). Put k, -4, 5 in decreasing order.
5, k, -4
Let c = -6 - -9. Sort c, 5, 0 in increasing order.
0, c, 5
Suppose -7*x + 8*x = -2. Sort x, 3, 8 in decreasing order.
8, 3, x
Let n be (5/(-2))/(2/4). Let d = -85 - -84. Sort d, n, -2 in decreasing order.
d, -2, n
Let l = 10 - 6. Suppose -2*v = q + 3*v + 21, -3*v - 3 = 3*q. Suppose -2 = -2*y + q. Put y, 2, l in ascending order.
2, y, l
Let y = 0.94 - -0.06. Let b = 1.5 - y. Sort b, -3, -1 in ascending order.
-3, -1, b
Let l be (1 + -1)/(-5 - -4). Suppose -b = l, 4 = -4*h - 2*b + 5*b. Let t = -53 - -267/5. Sort h, 1, t in descending order.
1, t, h
Suppose 0 = 6*v - 2*v. Suppose -p - 22 = -5*d - 3*p, -5*p + 5 = 0. Put v, -7, d in descending order.
d, v, -7
Let c = -0.2 + 0.3. Let i = 2 + -2.4. Let s = c + i. Put s, -3/2, -0.4 in ascending order.
-3/2, -0.4, s
Let i(g) = 8 + 2*g - 7 + 3 + 3. Let q be i(-3). Let f = -9 + 13. Sort -3, q, f in increasing order.
-3, q, f
Suppose 3*s + 18 = -2*n - 16, 0 = 3*s + 5*n + 22. Let q be 4/s + (-12)/(-42). Put q, -5, 6 in increasing order.
-5, q, 6
Let g be (-4)/(-3)*(-81)/(-36). Put g, -3, 5 in decreasing order.
5, g, -3
Let c = 1 + 2. Suppose -c*q - 3 = 6. Let b be -2 + 4/1 + q. Put 5, 1, b in increasing order.
b, 1, 5
Let d be (0/2)/(0 - 2). Let o(n) be the third derivative of -n**6/120 + 5*n**3/6 - 32*n**2. Let y be o(d). Sort y, -4, 0 in ascending order.
-4, 0, y
Let b = 64/217 - 18/31. Sort -4, b, -8 in descending order.
b, -4, -8
Let c be ((-10)/40)/(2/(-8)). Sort 12, -5, c.
-5, c, 12
Suppose -u - 2*c = 1, -5*u - 4 - 1 = 4*c. Suppose -12 = -r + 5*x, -16 = -5*r + x + 2*x. Suppose -4*a = -z - 16, -5*z = -r*z. Put a, 1, u in decreasing order.
a, 1, u
Suppose -3*b + 5 = 2. Let x be (b*-4)/(-8) + -2. Sort -0.5, -0.4, x in increasing order.
x, -0.5, -0.4
Let v be 1/(-5) + (-38)/10. Suppose -28*i = -23*i. Sort i, -1, v in descending order.
i, -1, v
Let t = 2 + -2.2. Let f = 14 + -8. Let a be (-4)/10*(-60)/f. Put a, 1, t in descending order.
a, 1, t
Let r(u) = -u**3 + 7*u**2 - 4*u - 5. Let v be r(6). Put v, -1, 1 in decreasing order.
v, 1, -1
Suppose -3*k = k + 20. Sort 4, k, -12 in increasing order.
-12, k, 4
Let a = -83/3 + 28. Sort a, 1/8, 2 in ascending order.
1/8, a, 2
Suppose i = -v + 1, -2*i + v + 8 = -0*i. Suppose -2*y = -i*y - 3. Put y, -5, 1 in ascending order.
-5, y, 1
Let p(v) = v**2 - 3. Let z be p(-2). Sort 5, 3, z, -3 in descending order.
5, 3, z, -3
Let g(z) = -z**2 - 8*z - 12. Let j be g(-5). Suppose 20 = -j*i + 8*i. Sort -1, 5, i in ascending order.
-1, i, 5
Suppose -2*h - 8 = -0*h. Let u be (-364)/(-35) - 2/5. Suppose u = 4*c + c + 3*w, 2*w - 9 = -c. Sort 2, h, c.
h, c, 2
Let u be 9/(-6) - 17/(-2). Let h be (u/49)/(4/14). Put h, -4, 3/7 in increasing order.
-4, 3/7, h
Let w = 11 - 8. Let o(x) be the second derivative of x**5/20 - x**4/12 - 2*x**3/3 + 3*x**2/2 + x. Let d be o(2). Put d, w, -0.2 in ascending order.
d, -0.2, w
Let n = -7 - -4. Let a = 1/80 - -119/80. Sort a, n, 3/7.
n, 3/7, a
Let d = -25 + 35. Suppose 14 = 5*w - 6, -5*i = 5*w - d. Sort 0, i, 1 in increasing order.
i, 0, 1
Suppose -5*g + 17 = -3. Suppose -3*l + 2 = -g. Sort 4, -1, l in descending order.
4, l, -1
Let c = 197784 - 57555041/291. Let f = c - 2/97. Put -0.4, 0.4, f in descending order.
0.4, f, -0.4
Let w be (-5)/(5/2) - (-6)/2. Let u be (-19)/4 + 1/(-4). Put u, w, 4 in decreasing order.
4, w, u
Let o = -21 - -23. Sort -3, o, 0.3, 3 in decreasing order.
3, o, 0.3, -3
Let d = 3 - 4. Suppose -2 - 48 = 10*m. Put m, 5, d in increasing order.
m, d, 5
Let u = 18.4 + -14.4. Sort u, 1, -0.4, 2/17 in decreasing order.
u, 1, 2/17, -0.4
Suppose 0 = -2*w - 4*b + 22, 4*b - 5*b = -5*w. Let g = 5 - 8. Sort w, -10, g in decreasing order.
w, g, -10
Let s = 0.5 - 0.3. Suppose -5*j = 6 + 4. Put -1/2, j, s in ascending order.
j, -1/2, s
Suppose -14*z = -19*z. Suppose 5*f = 2*m - 1 + 25, -4*f + 24 = -4*m. Suppose 5*x + s - 3 - 7 = 0, 0 = f*x - s + 1. Put -1, z, x in ascending order.
-1, z, x
Let i(q) = 2*q**3 + 11*q**2 - 6*q + 4. Let l be i(-6). Put 1, -11, l in increasing order.
-11, 1, l
Let g(x) = 5*x**3 + 28*x**2 - 4*x - 1. Let k(z) = z**3 + 7*z**2 - z. Let t(o) = 2*g(o) - 9*k(o). Let w be t(7). Put 2, w, -2 in ascending order.
-2, 2, w
Suppose 0 = 2*c - 2*i, -3*c = -5*c - 4*i + 6. Sort c, -10, -2 in ascending order.
-10, -2, c
Let v be (-1 - -2)/((-2)/(-38)). Suppose -5*y + v = 4. Let q(r) = r**3 - 4*r**2 + 4*r - 4. Let i be q(3). Sort i, y, 5 in descending order.
5, y, i
Suppose -3 = -3*s - 4*g, -3*g = -4*s + 7 - 3. Let q = 2 - s. Sort -10, q, 3 in descending order.
3, q, -10
Let d(i) = -i**3 + 10*i**2 - 10*i + 7. Let x be d(9). Put 1, 3, x in ascending order.
x, 1, 3
Let d = -18 + 13. Sort -2, 3, d in descending order.
3, -2, d
Let m be 6/(-21) - 24/14. Let k be ((-3)/m)/((-2)/(-20)). Let d = -11 + k. Sort 5, 0, d in ascending order.
0, d, 5
Let m(x) = -x**2 + 21*x + 4. Let j be m(21). Suppose -28 = -4*s - 2*f, -5*s + 37 = 2*f + f. Sort 2, j, s in decreasing order.
s, j, 2
Let v(x) = -2*x + 4. Let a be v(5). Let z(d) = -d**2 + 22*d - 85. Let o be z(5). Put 4, o, a in decreasing order.
4, o, a
Let q be (-8)/(-9) + 2/(-3). Let w be (-8 + 7)/(1 - -1). Put q, w, 4 in decreasing order.
4, q, w
Suppose -7 = 7*u + 7. Sort u, -1, 4 in increasing order.
u, -1, 4
Suppose 0 = m + 1. Let y be 1 - 3 - 1*m. Sort 1, -3, y.
-3, y, 1
Let z be (13 - -2)*(-3)/9. Let h(y) = y - 16. Let b be h(8). Let m = 6 + b. Sort m, -3, z in decreasing order.
m, -3, z
Suppose -4*q = -5*q + 5. Let x = -254 + 253. Sort 4, x, q in increasing order.
x, 4, q
Let w = 143 + -146. Put -1, -10, w, 3 in increasing order.
-10, w, -1, 3
Let x be ((-1)/(-2))/(6/36). Suppose x*k + 2 = 11. Let s = -4 - -6. Put k, 4, s in descending order.
4, k, s
Let t = -38/15 + 11/5. Sort t, 3, 0.4.
t, 0.4, 3
Let r = -47/72 + -1/72. Put r, 5, -2/15, -4/9 in ascending order.
r, -4/9, -2/15, 5
Let w(c) be the first derivative of -c**4/4 - 5*c**3/3 - 5*c - 1. Let q be w(-5). Let m(o) = -o + 8. Let s be m(5). Sort 5, s, q in decreasing order.
5, s, q
Let h(o) = o**2 + 6*o - 6. Suppose -i + 1 = 0, 3*i = 2*f + f + 21. Let p be h(f). Put 5, p, -1 in descending order.
5, -1, p
Let x be (-27)/18 + (-23)/(-2). Suppose -15 = 5*u, -3*u - 28 = 3*m - x. Let z be (-2 - (-5 + 2))*2. Sort m, 1, z in decreasing order.
z, 1, m
Let a(b) = 5*b - 19. Let n(y) = 3*y - 10. Let r be -5*1 + -2*1. Let z(q) = r*n(q) + 4*a(q). Let i be z(-3). Put 1, -2, i in decreasing orde