Let x = -5.12 + 0.12. Let c = -10 - x. Put c, j, 1 in decreasing order.
j, 1, c
Let t(q) = -q**2 - 5*q - 1. Let z be t(-2). Suppose 0 = 5*o - z. Let y(d) = -d**2 - 11*d - 4. Let j be y(-11). Put 2, o, j in increasing order.
j, o, 2
Let o(h) be the second derivative of 0 + 2*h**2 + 1/2*h**3 - 3*h. Let j be o(-3). Sort -3, 4, j.
j, -3, 4
Suppose 0 = 3*s - 5*x - 22, -x + 2 = 2*s + 2*x. Put s, 1, 5 in descending order.
5, s, 1
Let b be 22/5*75/24. Let l = b + -49/4. Sort 0, 0.4, l in descending order.
l, 0.4, 0
Suppose -t + 2 = 4. Put t, 0.2, 1 in ascending order.
t, 0.2, 1
Let x be 0 + (-3)/(60/(-14)). Let j = x - 9/10. Put 3, 0, j in decreasing order.
3, 0, j
Let b be (-2)/(-8) - (-306)/(-72). Sort -8, b, 3 in decreasing order.
3, b, -8
Let l = -33 - -33. Put -31, l, 5 in descending order.
5, l, -31
Suppose -a = -2, -2*t = a + 2*a. Sort 4, t, 1 in ascending order.
t, 1, 4
Suppose 3*i - i - 2*b = 0, -4*i - 3*b + 28 = 0. Suppose 0 = -i*v + 2*s - 14, 6 = v + 5*s - 7. Let n be (-4)/14*v/4. Sort -2, 4, n in decreasing order.
4, n, -2
Suppose -2*w - f + 1 = -3*w, -4*f = w - 9. Sort -4, w, -5, 4 in descending order.
4, w, -4, -5
Let r = 0 + 6. Let x(g) = -g**2 - 3*g + 1. Let p be x(-3). Put p, 1/3, r in descending order.
r, p, 1/3
Let t = 8.6 + -4.6. Put 1/5, t, 11 in increasing order.
1/5, t, 11
Suppose 28*k + 5 = 29*k. Sort k, -1, 4, -8.
-8, -1, 4, k
Let j be 6/10 - (-96)/(-60). Let a be 0 - (-2 + j) - -1. Sort -2, -1, a.
-2, -1, a
Let p = 1.6 + -19.1. Let m = -18 - p. Sort -1/6, 7, m in descending order.
7, -1/6, m
Let f = 0.399 - -1.531. Let d = f + 0.07. Let r = -1 - d. Sort -1, r, -4/5 in ascending order.
r, -1, -4/5
Let i be ((-2)/(-5))/(4/(-5)). Sort i, -3, 5 in descending order.
5, i, -3
Suppose 8 = 4*a - 4. Suppose 5*z = -15, 7*h - a*h = -3*z + 59. Suppose -4*n - h = n + 3*u, -7 = 2*n + u. Sort 0, -1, n in descending order.
0, -1, n
Let y be (-4 + 3)/((-3)/6). Sort y, -4, 0 in decreasing order.
y, 0, -4
Let m be ((-2)/5)/((-6)/30). Let g = -4 + m. Sort g, -4, 1/9 in increasing order.
-4, g, 1/9
Let g(m) be the second derivative of -m**5/10 + m**4/4 + m**3/6 - m**2 - 4*m. Let t be g(2). Sort 2, t, -6.
-6, t, 2
Let f = 44.9 - 43. Let l = 1.1 + f. Put -0.04, 5, l in descending order.
5, l, -0.04
Let p = 547 - 549. Let w(u) = u**2 - 3. Let a be w(0). Put 0, p, a in descending order.
0, p, a
Let f = -0.9 - 0.1. Let a = 15 - 15.3. Put a, f, -2/13 in increasing order.
f, a, -2/13
Suppose -3*v + 22 = 7. Suppose -2*c = 2*c. Let r = c - 0. Sort v, r, -4.
-4, r, v
Suppose -j = 5*x - 19, 6 = x - 5*j - 3. Put 0.1, x, 0.4 in decreasing order.
x, 0.4, 0.1
Let j = -2.6 - -8.45. Let d = 0.15 + j. Let f = 5.6 - d. Put f, 5, -3 in descending order.
5, f, -3
Let s = -0.45 - 0.44. Let t = s - 0.11. Put 0.5, -3, t in increasing order.
-3, t, 0.5
Let t be -1*(0 - 0)*(-7 + 8). Sort t, -3, 2 in descending order.
2, t, -3
Let c(t) = t**2 - 15*t + 14. Let u be c(14). Put 3, -10, u in increasing order.
-10, u, 3
Let h = 2 - 2. Sort h, 5/4, 5.
h, 5/4, 5
Suppose 9 = 7*g - 4*g. Let l(k) = -k**2 + 3*k + 5. Let p be l(4). Suppose -b + 1 = 6. Sort p, b, g in decreasing order.
g, p, b
Let g = 17 - 14. Sort -4, g, 2/11.
-4, 2/11, g
Let w be (-4)/22 + 196/(-616). Put 2/11, w, -0.4 in increasing order.
w, -0.4, 2/11
Let j(x) = x**3 - 5*x**2 + 4*x - 4. Let q be j(4). Suppose 2*y - 4 = -0. Put 0, q, y in increasing order.
q, 0, y
Let u(f) be the third derivative of -f**6/120 + f**5/10 + f**4/12 - 7*f**3/6 - 2*f**2. Let n be u(6). Sort 3, -2, n in ascending order.
-2, 3, n
Let v = -536/7 - -77. Put v, -21, 0.5 in ascending order.
-21, v, 0.5
Let h(x) = x + 12. Let q be h(-8). Suppose q*y = -3*a + 3*y - 15, 0 = -3*y. Sort a, 2, -3 in descending order.
2, -3, a
Let c(h) = -h**2 + 13*h + 13. Let r be c(14). Sort -5, r, 3.
-5, r, 3
Let j = -18 + 15. Let r be 6 + j + 2 + -2. Sort 2, -11, r in increasing order.
-11, 2, r
Let a = -2 + 5. Let f be ((-5)/(-15))/((-2)/(-12)). Sort 1, f, a in descending order.
a, f, 1
Let j be (-20)/(-70) - 2/56*-13. Put -4, j, -3/22 in descending order.
j, -3/22, -4
Let p be -8*((-75)/12)/5. Let d = p - 43. Let i be d/(-12) - 3/(-12). Sort i, -4, 5 in increasing order.
-4, i, 5
Let i be 38/(-28)*-2 - 2/(-7). Let b be (-1 - 0)*-3 + 1. Suppose 0 = 4*z - f + 18, 0 = z + 5*f - 3 - 3. Put b, i, z in ascending order.
z, i, b
Suppose -3*h - 5 - 1 = 0. Suppose i + 14 = -3*n, -2*n - 22 = -2*i + 2*n. Put h, 4, i in increasing order.
h, i, 4
Let v(c) = -c**2 + 8*c - 6. Let z be v(6). Suppose -4*y + 8 = 5*m, 3*m = -2*y + 5*y - z. Suppose 28 - 39 = -11*w. Put m, w, 4 in increasing order.
m, w, 4
Suppose 11 - 1 = 5*y. Sort -5, 11, y in descending order.
11, y, -5
Let a = 0.03 + -0.1. Let q = -0.27 - a. Put -4, 4, q in increasing order.
-4, q, 4
Let n = 0.38 + 0.02. Let a = 0.71 + -1.21. Sort -5, n, a in ascending order.
-5, a, n
Let m be 2/3 + 10/3. Suppose 2*w = w. Let u be w - (0 - -1 - 2). Sort m, u, -2.
-2, u, m
Let a = 19 + -11.99. Let m = 0.01 - a. Let o = m - -2. Sort o, 0.3, 0.2 in decreasing order.
0.3, 0.2, o
Let a = 5 + -7. Let c be 0 - (-1)/((-5)/678). Let l = -136 - c. Put a, -1, l in descending order.
l, -1, a
Let f = 94 + -91. Put -4, 4, f, 1 in ascending order.
-4, 1, f, 4
Suppose -d = -6*d - 15. Let u(m) = m**2 + 8*m + 2. Let h be u(-8). Sort h, -5, d.
-5, d, h
Let y = -2 + -2. Let l be (-1)/2 + 11/2. Let g = l - 0. Put 4, y, g in decreasing order.
g, 4, y
Let n be -1 + (7 + -1)/2. Let o = -8.3 + 4.3. Put o, n, 2/7 in descending order.
n, 2/7, o
Let z = -11 + 11. Let n = 3 - z. Sort n, 2, -2/3.
-2/3, 2, n
Let i be (-123)/6 + 6/(-12). Sort 1, -4, -2, i.
i, -4, -2, 1
Let d = -172 + 849/5. Sort 2/5, d, -3, 2/19.
-3, d, 2/19, 2/5
Let g = -1.9 - -1.5. Sort -5/2, g, 1 in increasing order.
-5/2, g, 1
Let s = 0.3 + 3.7. Sort 21, 3, s in descending order.
21, s, 3
Let c(f) = -f**3 - 5*f**2 + 7*f + 8. Let r be c(-6). Suppose m + 3*h + 4 = 0, -3*h + h + 12 = -3*m. Put m, r, 3 in descending order.
3, r, m
Let y be -1*(5 - 3)/2. Let c = y + 2. Put c, -1, -3 in descending order.
c, -1, -3
Let w = -21 - -47. Let q = -19 + w. Sort q, -1, 0.
-1, 0, q
Let i = 2 + -1.5. Put 2/9, i, 0.2, -5/3 in descending order.
i, 2/9, 0.2, -5/3
Let c(d) = -2*d**3 - 2*d**2 - 2*d - 1. Let k be c(-1). Sort k, -4, 5 in ascending order.
-4, k, 5
Let a = -16 + 16. Put -3/2, 0.1, a in increasing order.
-3/2, a, 0.1
Let g be -4 + 2 + -1 + (5 - 1). Sort 3, g, -0.5 in descending order.
3, g, -0.5
Let v = -0.275 - 0.225. Suppose 160 = 3*k + k. Let s be (-2)/3*(-6)/k. Put v, 5, s in increasing order.
v, s, 5
Let f be 4*(0 - (-3)/4). Suppose 0 = -p + 4 - f. Suppose 0 = 5*u + 4*v + 35, u + 2*v + 1 = 4*u. Put u, p, -2 in decreasing order.
p, -2, u
Let c(a) = a**3 - 8*a**2 + 6*a + 10. Let x be c(7). Let r(j) = j**2 - 10*j + 8. Let w be r(9). Put 5, w, x in ascending order.
w, x, 5
Let b = 0.15 - 0.25. Sort -0.4, 2, b in increasing order.
-0.4, b, 2
Let c(d) = d**2 - 12*d + 4. Let a be c(12). Suppose a*q = q + 90. Let h be (-8)/20 - (-32)/q. Sort -2/9, h, -0.4 in descending order.
h, -2/9, -0.4
Let t be 6/(-4)*(1 + -3). Let l(s) = -s**3 + 9*s**2 - s + 9. Let n be l(9). Sort n, t, -4.
-4, n, t
Let v be 6 - (2 - (1 + -2)). Let f(i) = 2*i**2 - 4*i - 1. Let s be f(3). Sort v, s, 0.
0, v, s
Let u = 18 - 14. Sort -17, 3, u in descending order.
u, 3, -17
Let g be (8/(-10))/(1/5). Suppose m + 0*m + 62 = 0. Let i = m + 190/3. Put i, 0.2, g in descending order.
i, 0.2, g
Let l be 34/(-153) + 32/(-18). Sort 3, l, -1 in decreasing order.
3, -1, l
Let i = -8.5 + 8.3. Sort i, 4, 6/7, 1/11 in descending order.
4, 6/7, 1/11, i
Suppose 6 - 14 = -4*r. Sort -5, r, -1.
-5, -1, r
Suppose 0 = -r - 2*s + s, -5*s = 3*r + 10. Sort r, 2, 4 in decreasing order.
r, 4, 2
Let b(l) = -2*l**2 + l + 2. Let y be b(2). Sort -5, y, 2 in increasing order.
-5, y, 2
Let h(i) = -i**3 - i**2 + i + 1. Let l be h(0). Sort l, -0.1, -0.3.
-0.3, -0.1, l
Let y(m) = m**2 + 12*m + 31. Let s be y(-8). Let x be (-1)/(2/2)*-4. Sort x, s, -3 in descending order.
x, s, -3
Suppose 0 = 2*l + 4*s + 2, 2*l - 5*s + 2*s = 19. Put l, -10, -5 in increasing order.
-10, -5, l
Suppose 4*t + 9 + 3 = 0. Sort t, 4, -2 in descending order.
4, -2, t
Let i be (-6)/(-35)*10/6. Let n be 9/(-6)*(-4)/(-3). Sort i, 0.5, n in descending order.
0.5, i, n
Let w be -2 - (2 + 4)*-