5 - -3.5. Put v, -1/3, r in decreasing order.
v, r, -1/3
Let s be 0 + 4 + 9/(-2). Sort -0.1, 0, s in increasing order.
s, -0.1, 0
Let p(z) = -6*z - 1. Let r be p(-1). Let u be 2/6 + (-34)/(-6). Suppose -6 = -2*n + 3*b, 2*n + 2*b = -3*b + u. Sort 2, n, r.
2, n, r
Suppose i - 7 = -2. Suppose -i = -4*g + 3. Sort 5, -3, g in ascending order.
-3, g, 5
Let b be (5/2 - 1) + (-3)/(-6). Put -4, 5, b in descending order.
5, b, -4
Let o be 30/9 - (-6)/9. Let t = o - 3. Sort t, -4, -6 in descending order.
t, -4, -6
Let o = 14.17 + -0.17. Let h = o - 4. Let u = 10.5 - h. Put u, 1, 0.4 in ascending order.
0.4, u, 1
Let a be (-2)/10 + (-64)/(-20). Suppose z = -a*z + 12. Suppose -5 = 5*c + 5*q, 5*c - q - 25 = 4*q. Sort 0, c, z in descending order.
z, c, 0
Let f = -12 - -11. Sort -5, f, 5 in increasing order.
-5, f, 5
Let t be (-2 + 1)*(1 + -4). Suppose -5*u - 2*h - 10 = 0, -t*u + 3*h = 2*u + 10. Let q = -0.3 - -2.3. Sort u, q, -2/15.
u, -2/15, q
Let b be (-30)/9*(-12)/(-8). Let z = 1 + b. Sort z, 4, 2 in descending order.
4, 2, z
Let p = 11 + -8. Let i(r) = -r**3 + 3*r**2 - r + 3. Let v be i(3). Suppose 4*c = -5*u - 23, 5*u + 2*c + 4 = -15. Sort p, u, v in increasing order.
u, v, p
Let y = -17 + 12. Let q be 8/10*15/6. Sort -3, y, q in increasing order.
y, -3, q
Let m = 3 - 5. Let j = m + 6. Put j, 0.3, 0 in decreasing order.
j, 0.3, 0
Suppose -8 = i + 2*u, 3*i + 16 = -2*i - 2*u. Suppose -2*h - 18 = -5*o, -h + o - 10 = h. Sort h, i, 0 in decreasing order.
0, i, h
Let h = 24 + -24.28. Let l = 2.72 - h. Let i be 2/5 + 6/(-15). Put 5, i, l in increasing order.
i, l, 5
Let k = 2.6 + -1.6. Sort k, 2, -0.1.
-0.1, k, 2
Let c(x) be the first derivative of x**3/3 + 3*x**2 + 3*x - 1. Let t be c(-4). Sort t, 4, 2 in descending order.
4, 2, t
Suppose -3*v + 19 = 7. Suppose v*n + 4 = -0. Suppose 0 = 3*m - c - 7, -2*m = -2*c - 4 - 2. Sort -3, n, m in decreasing order.
m, n, -3
Let c = 126 + -125. Let o = -5 + 10. Sort c, 2, o in descending order.
o, 2, c
Let p = 54 + -22. Suppose 0*f + p = 4*f. Sort 4, f, 1.
1, 4, f
Let a = 3 - 6. Let f(w) = 4*w + 4. Let k be f(a). Let n be (-26)/k + (-2)/8. Sort -4, 1, n in decreasing order.
n, 1, -4
Let o = 61/52 + -12/13. Sort -4, o, 1/3 in decreasing order.
1/3, o, -4
Suppose o + 2*l - 4 = 0, -2*o + 4*o = 4*l - 16. Let k be (1 - -4) + 2/(-2). Sort -3, o, k.
-3, o, k
Let h be (-1 + 0)*(-18)/6. Let k be 2/(-6)*h/8. Let b = 3.3 - 3. Sort -1, k, b.
-1, k, b
Suppose 5 = -2*c + 7*c. Let z(d) = -4*d**3 - 2*d + 2. Let x be z(1). Put x, -2, c in ascending order.
x, -2, c
Suppose 3*l = 2*x - 11, -2*x + 8*l = 3*l - 17. Let o be 25/15*(-9)/3. Let u(h) = h**3 + 4*h**2 - 5*h - 4. Let b be u(o). Sort 3, x, b.
b, x, 3
Let s(m) = -2*m - 21. Let h(p) = -5*p + 6. Let y be h(3). Let r be s(y). Sort 1, 4, r.
r, 1, 4
Let u = -2 - -2.1. Let z = -39 + 13. Let w be (-4)/z + (3 - 3). Put 0.2, w, u in decreasing order.
0.2, w, u
Suppose -4 = -2*t - 3*g, 5*g - 8 = g. Let d be (-32)/(-30) + (-6)/15. Let i = d + -1/6. Sort -4, t, i in descending order.
i, t, -4
Let n be (-2)/9 - 342/(-81). Suppose 0 = -m - n*f + 13, 0*f = 2*f - 4. Put m, 4, 0.4 in increasing order.
0.4, 4, m
Suppose 0 = 2*y + 3*j - 11, -5*y + j + j - 1 = 0. Put y, 4, 3 in descending order.
4, 3, y
Let j(g) = -4*g. Let s be j(4). Let o be (-2)/8 - 20/s. Let t = 3 - o. Sort 1, -2, t.
-2, 1, t
Let x = -1 - 0. Let j be -1 - (x - 6/(-39)). Sort j, 2, 0.5 in descending order.
2, 0.5, j
Let z = 40 + -25. Sort 5, z, 1/5 in descending order.
z, 5, 1/5
Suppose 5*w = -2*u - 16, w + 0 + 10 = 3*u. Let i = 4 + w. Let v be (1 + i)/((-10)/8). Put v, -2, 0.5 in decreasing order.
0.5, v, -2
Let d = -1 + -1. Let w = -1.6 - 0.4. Let t = w - d. Sort -3, t, -0.4 in decreasing order.
t, -0.4, -3
Let b(g) = g**3 - 5*g**2 + 4*g - 5. Let r be b(4). Let f be (-1)/(2/(r - -3)). Let v be (0 + -1)/(1/3). Sort v, -1, f in decreasing order.
f, -1, v
Let r = 7.5 + -8. Sort -2/15, 3, r.
r, -2/15, 3
Let m = 4.52 - -0.48. Sort -0.4, m, -1/8.
-0.4, -1/8, m
Let k(j) = j**3 - 2*j**2. Let q be k(2). Suppose -p + 0 - 2 = q. Let d be 3/(27/12 - 3). Sort -3, p, d.
d, -3, p
Let t(q) = -q. Let g be t(-5). Sort -2, 4, g in ascending order.
-2, 4, g
Let x = 1 + -1.4. Let y = -1 + 2. Sort x, -1/4, y in increasing order.
x, -1/4, y
Suppose 0 = -3*z - 18 + 6. Let l be (5/25)/(z/25). Put l, -1, -2 in ascending order.
-2, l, -1
Let u = -2/593 + 2382/2965. Put u, 4, -1/9 in decreasing order.
4, u, -1/9
Let p = -0.3 - 0.7. Let i = -1 + p. Let w = 0.04 + 0.96. Sort -2/11, i, w in increasing order.
i, -2/11, w
Let d = 65 + -64.9. Put 1/14, -0.1, d in increasing order.
-0.1, 1/14, d
Let f = -8.29 + 0.29. Let a = 7 + f. Suppose 5*q - 3 + 23 = 0. Sort q, 4, a in decreasing order.
4, a, q
Let x = -30 - -25. Put x, 0, 1 in decreasing order.
1, 0, x
Let f = -39 - -39. Put 3, -0.1, f, 7 in descending order.
7, 3, f, -0.1
Suppose 0 = 5*k - 2 - 3. Let r(b) = 8*b**2 + 6*b**2 - 2 + 0*b - 9*b**2 - b. Let q be r(-1). Put 5, k, q in increasing order.
k, q, 5
Let c(w) = -w**3 + 7*w**2 + 3. Let a be c(7). Suppose -2 - 6 = 2*d. Sort a, 5, d.
d, a, 5
Suppose -5*c = m - 8 - 23, -2*c + 10 = m. Suppose t - 3*i = 3*t + 4, -t = -3*i - c. Let j = -32 - -30. Sort 3, t, j in descending order.
3, t, j
Suppose 0*s + 2*s - 4 = 0. Let m = -55.7 - -56. Put m, s, 2/3 in descending order.
s, 2/3, m
Let y = 33 + -23. Let m be (-50)/(-60)*8/y. Put -0.4, m, -5 in increasing order.
-5, -0.4, m
Let b = 147 - 1895/13. Let q = 25/52 - b. Put 2/3, q, 1 in descending order.
1, 2/3, q
Suppose 0*f = 3*f. Let x = -2 - -2.4. Suppose 0 = -4*d - 4*k - 32, 3*d = -0*d + 3*k. Put d, f, x in decreasing order.
x, f, d
Let y = -88 + 93. Let f = 4.02 - 0.02. Sort -1, y, f in increasing order.
-1, f, y
Let i be 0 - (2 + -1 + -4). Sort 4, -2, i, -4 in decreasing order.
4, i, -2, -4
Let j(y) = -4*y + 13. Let n be j(7). Let b be (-12)/(-90) - (-77)/n. Put 4, 5, b in descending order.
5, 4, b
Let t = 3 - 1. Suppose 1 = 3*y + 4. Put t, 0.5, y in descending order.
t, 0.5, y
Let s = -7 - -8. Let n = s + -0.6. Sort -0.5, -5, n in decreasing order.
n, -0.5, -5
Suppose 0 = -2*k + 49 - 9. Let o be (5/k)/(2/4). Put 4, -0.2, o in decreasing order.
4, o, -0.2
Let p = 0.04 + 0. Let v = -0.06 - p. Let x = -0.5 + 0.3. Put x, 4, v in descending order.
4, v, x
Let g be 8/(-3)*(-6 + -1)/(-14). Put g, 0.4, -2, -0.5 in descending order.
0.4, -0.5, g, -2
Suppose 4*i = -k + 2, -i = -5*i. Sort -5, k, -2, 5 in descending order.
5, k, -2, -5
Suppose -2*q - 3 = -3*r - 17, -1 = -q. Put r, 2, -3/2 in increasing order.
r, -3/2, 2
Let f be ((-2)/8)/((-14)/16). Let a = 0.6 + -0.6. Let o = 0.2 - a. Sort f, o, -1 in decreasing order.
f, o, -1
Let k(d) = d**2 - 6*d - 6. Let w be k(6). Let i be w/4 - (-3)/2. Sort i, -1, -3.
-3, -1, i
Let g(h) = h + 13. Let z be g(-8). Suppose z*a = 6 + 4. Put -1, a, -2 in descending order.
a, -1, -2
Let v(l) = -l**3 - 6*l**2 + 8*l + 5. Suppose 0 = -2*y - 2*w + 2 - 18, y - 3*w + 4 = 0. Let h be v(y). Sort 5, h, -3 in descending order.
5, h, -3
Let o = 30.7 + -32. Let r = 2.3 + o. Sort -0.2, r, -2 in descending order.
r, -0.2, -2
Let g = 0.06 + 0.14. Let b = 6 + 2. Let r = -4 + b. Put g, 3, r in descending order.
r, 3, g
Let p be (-1)/(-2)*(-25 - -25). Let q = -12 - -17. Sort p, 1, q in decreasing order.
q, 1, p
Let q be ((-27)/(-9))/((-6)/(-4)). Suppose q*l = l - 2, 16 = 4*a - 4*l. Sort -2, 0, a in descending order.
a, 0, -2
Let l(w) = w**3 - w**2 - w - 111. Let f be l(0). Let v = 775/7 + f. Suppose -2*y - 5*z = -10, -28 = 4*y - 2*z - 0*z. Sort v, 1/4, y.
y, v, 1/4
Let d = 35 + -36. Sort d, 0, 16 in decreasing order.
16, 0, d
Let y = 4.99 - 5. Let v = y - -0.11. Let s = v - 0.6. Put s, 0.4, 0.5 in decreasing order.
0.5, 0.4, s
Suppose -76 = -4*r + 4*b, -2*b + 0*b + 52 = 4*r. Let s be (-42)/r - (-1)/(-5). Let a = 2 - s. Put a, -2, 0 in descending order.
a, 0, -2
Let l = 0.17 + -0.19. Let v = l - 0.08. Sort v, -0.4, -4/9 in decreasing order.
v, -0.4, -4/9
Let v be 13/2 - 2/4. Suppose 0 = -a - a - v. Let o = a - -4. Put -3, 5, o in decreasing order.
5, o, -3
Let o(b) be the first derivative of -b**4/4 - b**3/3 + 1. Let w be o(-2). Sort 3, 2, w.
2, 3, w
Let n(l) = l**3 - l**2 + l - 4. Let v be n(0). Sort -3, 0, 4, v in descending order.
4, 0, -3, v
Let v = -4 - -3.7. Let w = -10 + 5. Let l = 6 - 3. Sort w, v, l