v
Let g(x) be the first derivative of -1 + 1/2*x**2 - x. Let y be g(0). Sort 0, y, -5 in decreasing order.
0, y, -5
Let h = 7 + -11. Let k = 7 + -7. Put 5, k, h in increasing order.
h, k, 5
Let z = 36 - 250/7. Sort z, -2/9, -2/3 in increasing order.
-2/3, -2/9, z
Suppose -3*t + 10 = -2. Let j = 8 - 8. Suppose j + 5 = -5*m. Sort t, m, 5.
m, t, 5
Suppose 6 - 22 = 4*v. Let u be 2/6 + 1/(-3). Let q = -2 + 4. Sort q, u, v in decreasing order.
q, u, v
Let l = 0.62 - 0.62. Suppose 4*f + 37 = -5*d, 3*f + 4*d + 44 = -2*f. Let t be f/2*1/3. Put l, -2/13, t in decreasing order.
l, -2/13, t
Let t = -160 - -159. Sort 0, -0.1, t in descending order.
0, -0.1, t
Let s be (3 + 0)*(-6 - -5). Sort s, -4, 0.
-4, s, 0
Let g(r) = -r - 13. Let c be g(-13). Sort -4, c, -3/5.
-4, -3/5, c
Let z = -5 - -9. Suppose 2*c = 11 + 1. Suppose -14 + c = z*h. Put 2, h, -5 in ascending order.
-5, h, 2
Let d be (-3)/(0 - 3/(-4)). Sort 3, -5, d, 5.
-5, d, 3, 5
Let d = 0.38 + -0.4. Let u = 0.28 - d. Sort 0.5, u, 2/7.
2/7, u, 0.5
Let r be (0*6/12)/(-1). Put r, 2, -5 in increasing order.
-5, r, 2
Let k(u) = -u**3 - 6*u**2 + 6*u - 8. Let l be k(-7). Sort -5, l, 4 in ascending order.
-5, l, 4
Let l = 0 + -3. Let q = l + 1. Put -3, 0.1, q in ascending order.
-3, q, 0.1
Let i be 2 + ((-84)/15 - -4). Sort i, -1, -4.
-4, -1, i
Let w = 6.75 + 0.25. Let i = 12 - w. Sort 2, -3, i.
-3, 2, i
Let s = 2027/7 + -289. Let x = 114 + -111. Sort s, x, -0.5.
-0.5, s, x
Let d = 8.3 + -8. Let c be (4/(-3))/((-1)/3). Suppose -c*o = 18 + 2. Put 4, o, d in ascending order.
o, d, 4
Let g = 0.35 - 0.15. Put -2, 9, g in increasing order.
-2, g, 9
Let n be (2 - 0) + (-11)/5. Let k = -0.42 + 0.02. Let t = k + 0.4. Put n, 1, t in increasing order.
n, t, 1
Suppose 6*l + 6 + 18 = 0. Sort 0, l, -2/19.
l, -2/19, 0
Let j(o) = -o**2 - 2*o - 1. Let r be j(-3). Sort -5, 4, r.
-5, r, 4
Let h = -0.23 + -0.07. Sort 0.8, h, -6 in ascending order.
-6, h, 0.8
Let v be (-1 - -1) + 5 + -5. Suppose v = -0*b + 5*b + 10. Let t be 1 - (b - 27/(-12)). Sort t, 1/9, -0.1.
-0.1, 1/9, t
Suppose 7*c - 4*c - 2*k = -2, -3*c = -4*k - 8. Sort 6, c, -3 in decreasing order.
6, -3, c
Let j = -3 + 6. Suppose 0 = -4*d + 1 - 9. Sort j, d, -2/7.
d, -2/7, j
Let t = 70 - 71. Put 4, t, 3, 2 in increasing order.
t, 2, 3, 4
Let h = 19.6 + -20. Sort h, 2/13, 1 in decreasing order.
1, 2/13, h
Let b be ((-18)/9)/((-40)/38) + -2. Put b, -2, 0.2, 0.05 in ascending order.
-2, b, 0.05, 0.2
Let t = -0.3 + 0.5. Let d = -0.08 + -4.92. Put t, d, 0.1 in descending order.
t, 0.1, d
Let k = -0.07 - -0.37. Sort k, 23, 0.5, 5 in descending order.
23, 5, 0.5, k
Let j(p) be the third derivative of p**6/120 + p**5/60 - p**4/24 - p**3/6 - 7*p**2. Let r be j(0). Sort 0, r, 3 in increasing order.
r, 0, 3
Suppose 5 - 2 = -m. Put m, 3, 6 in increasing order.
m, 3, 6
Let g be 1/3 - 6/18. Sort 4, 2, g.
g, 2, 4
Let i be 46/28*(-2)/(-13). Let j = 7/13 - i. Let a be ((-6)/(-4))/(6/(-8)). Put a, 0.4, j in increasing order.
a, j, 0.4
Let u = 233 + -3493/15. Let p = 22 - 22.34. Let c = 0.06 - p. Put c, u, 2 in increasing order.
u, c, 2
Suppose -4*b + b + 6 = -4*c, 5*c = -3*b - 21. Sort 1, c, 2 in increasing order.
c, 1, 2
Let s = -11 + 8. Sort -1/3, s, -2/3.
s, -2/3, -1/3
Suppose -2*x + 0*x + 2 = 0. Let t(a) = a - 4. Let c(y) = 2*y - 6. Let r(s) = -5*c(s) + 7*t(s). Let h be r(2). Put 2, h, x in descending order.
2, x, h
Let b = 0.8 + 3.2. Sort b, 0, 2/3.
0, 2/3, b
Let d = 9 + -14. Let g = 6 + -4. Let q be 2/g*(-1 - 2). Sort q, d, 1 in decreasing order.
1, q, d
Suppose 0 = -4*d - 0 - 8. Let h be -1 + (-1 - d) + 1. Let u be (0 + -2 + h)*5. Sort u, 1, 2 in descending order.
2, 1, u
Let g = 119 - 118.8. Let w = 13 - 25/2. Put -0.4, w, g in ascending order.
-0.4, g, w
Suppose -3*d - 8 = -2*x, 3*x - 5 - 6 = 4*d. Let n = -22 + 19. Sort 3, n, x in decreasing order.
3, x, n
Let r(n) = -n**3 - 8*n**2 - 7*n - 1. Let a be r(-7). Sort -5, 5, a in descending order.
5, a, -5
Let p = -1 + 1. Let s = 1 + p. Let i = -0.071 - -0.171. Put i, s, -0.4 in decreasing order.
s, i, -0.4
Let o = 4 - 4.4. Let y be ((-6)/4)/(3/(-6)). Suppose 0 = -4*g + 23 - y. Put -2/19, o, g in ascending order.
o, -2/19, g
Let v = -76 + 79. Sort v, -3, -5.
-5, -3, v
Suppose -5*s - 9 = 3*j, 4*s + 4*j - 5 = -17. Suppose 4*c = 13 - 5. Suppose -c*u = -u - 5. Sort -4, s, u in decreasing order.
u, s, -4
Let c be (-6)/10 - 1443/(-2355). Let v = 348/2669 - c. Sort 0.1, v, 2/19 in decreasing order.
v, 2/19, 0.1
Let b(z) = -z. Let y be b(-5). Suppose 2 = y*o + 12. Let h(d) = -d**3 - 2*d**2 + d - 1. Let a be h(o). Sort 4, -1, a in decreasing order.
4, -1, a
Let d(c) = -c**3 - 5*c**2 - 3*c + 4. Suppose -5*q = -10*q - 15. Let t be d(q). Put -2, 3, t in descending order.
3, -2, t
Suppose -8 = -2*v - 2*v. Let b = v + 1. Suppose 0 = 2*p - 2*f + 2, -4 = -2*p + 5*f - 0. Put 2, b, p in increasing order.
p, 2, b
Let h = -0.4 + -0.4. Let a = -5.8 - h. Let b = -9 + 13. Sort b, a, 2 in ascending order.
a, 2, b
Let o be (-1 - -4) + -16 + 15. Put -3, -0.5, o in descending order.
o, -0.5, -3
Let z = -0.07 + 0.01. Let j = 248 - 245.94. Let k = j + z. Sort 1/6, -0.4, k in ascending order.
-0.4, 1/6, k
Suppose 6*h = 4*h. Let j = 0 + h. Sort j, 5, -5 in descending order.
5, j, -5
Let l = 35 + -11. Let k = l + -22. Put 3/5, k, -0.2 in decreasing order.
k, 3/5, -0.2
Let y = 4 + -1. Let q = y - 2. Let u(g) = g**3 + 12*g**2 - 12*g + 12. Let i be u(-13). Put i, 4, q in increasing order.
i, q, 4
Let b(m) = -2*m - 1. Let i be b(-1). Suppose -y - 3*y + 20 = 0. Sort 0, y, i in descending order.
y, i, 0
Suppose s + 2*s + 3 = 3*p, 2*p + 3*s = -13. Put p, -1, 6 in decreasing order.
6, -1, p
Let c be 2/(-5) + 378/45. Let m = -3 + c. Sort 3, -1, m.
-1, 3, m
Let t(p) = -p**3 + 7*p**2 - 8*p + 9. Let l be t(6). Suppose 3*m + 2*s + 10 - 1 = 0, 3 = -s. Sort l, m, -4 in ascending order.
-4, l, m
Suppose 5 = -2*h + 1. Suppose 1 - 3 = -2*t. Suppose g + u + 0 + 1 = 0, u + 1 = 3*g. Put h, g, t in increasing order.
h, g, t
Let i(j) = j**3 + 6*j**2 + j + 2. Let w be i(-6). Let z = 8.3 - 8. Let u = -20.6 - -21. Sort z, u, w in decreasing order.
u, z, w
Suppose 2*l = 7*l - 15. Let x = -10 - -9. Let w be 6*((-2)/(-4))/x. Sort l, w, 1 in decreasing order.
l, 1, w
Let k be ((-8)/16*-3)/((-5)/2). Sort 0.5, k, 8/11, 5 in descending order.
5, 8/11, 0.5, k
Let x = -21 + 8. Let o = -9 - x. Suppose 0 = o*y + 5 - 1. Put 4, 1, y in ascending order.
y, 1, 4
Let g(n) = -n**3 - n**2 + n. Let x be g(0). Suppose u - 2 = -x. Suppose -19 = -j - 4*p, -u*j + 16 = -3*j + 3*p. Sort 2, j, -4 in increasing order.
-4, j, 2
Let s = -4 - -3. Let b = -211 + 211.4. Sort 1/2, b, s.
s, b, 1/2
Let n = 1.15 - 1.95. Sort 5, -0.4, n in ascending order.
n, -0.4, 5
Let r = -0.031 - -5.031. Put 5/6, -0.4, 4/3, r in increasing order.
-0.4, 5/6, 4/3, r
Let w = 16.988 - -0.012. Sort w, -0.4, -0.5 in descending order.
w, -0.4, -0.5
Let x = 1.9 - 19.9. Let m = 15 + x. Sort m, 3, -0.2 in increasing order.
m, -0.2, 3
Suppose 17 - 7 = 5*z. Let p(f) = f**3 + 12*f**2 + f + 8. Let w be p(-12). Sort z, -1, w in increasing order.
w, -1, z
Suppose 7 = 5*c + 12. Put 8, c, 3 in increasing order.
c, 3, 8
Let q = -7 - -12. Let f = -44 - -50. Put f, 0, q in decreasing order.
f, q, 0
Suppose -2*p = 2*p + 8. Put -0.5, p, 0 in increasing order.
p, -0.5, 0
Let i be (-1)/(-3) + (1 - 2). Let z = 9 - 9.21. Let p = -0.11 - z. Sort i, p, -2.
-2, i, p
Let f(n) = n**2 + 5*n - 4. Let p be f(-6). Put 1, p, 0.2 in decreasing order.
p, 1, 0.2
Let h(v) = v**2 + 7*v + 4. Let x be h(-7). Let d be 48/21 + x/(-14). Put 1, d, -5 in descending order.
d, 1, -5
Let o = 6 - 4. Suppose -22 = -2*i + 3*y, 5*i + 11 = 4*y + 66. Suppose -1 = -3*p + i. Sort p, 3, o in increasing order.
o, 3, p
Suppose -3*i = -3, -4*d = -4*i - 10 - 2. Sort -4, d, -3.
-4, -3, d
Let r be (7/(42/(-1)))/(2/(-12)). Sort 2, 4, r, -3 in ascending order.
-3, r, 2, 4
Let l = 17 - 21. Sort -3, -1, l in descending order.
-1, -3, l
Let k(d) = d**2 + 9*d - 11. Let x be k(-10). Sort x, 2, -8.
-8, x, 2
Let k be 15/8 - (1 - -1). Suppose 3 = -4*f + 5*f. Let l be 3 + (f - (6 - 0)). Put l, 2/15, k in decreasing order.
2/15, l, k
Suppose l = 2*o - 3, 0 = -l - 0*l - 2*o + 13. Let b = 11 - l. Let y be 2/b - 26/6. Sort y, -2, 4 in decreasing order.
4, -2, y
Let g be ((-3)/(-2))/((-3)/6). Let i be (-1)/5*(-9 + 