- 4 = -19. Put -5/4, c, u in decreasing order.
u, c, -5/4
Let u(m) be the second derivative of m**3/6 - 5*m**2/2 + 11*m. Let d be u(5). Let p = -3 - 0. Sort d, p, 4.
p, d, 4
Suppose 2*q + q = -9. Let d be 9/(-2)*140/(-45). Put q, 4, d in decreasing order.
d, 4, q
Let r be (1 + (-2)/3)*3*4. Suppose -r*u + 0*o + 3*o = 10, -5*u - 3*o = -1. Let y = -0.3 - 0.2. Sort y, u, 1/4 in descending order.
1/4, y, u
Let o = -10/21 - -92/105. Let s = -713 - -709. Put o, -3, -0.2, s in decreasing order.
o, -0.2, -3, s
Suppose 0 = 5*l - 4 - 6. Put -4, 18, 4, l in ascending order.
-4, l, 4, 18
Let b = -43/3 - -298/21. Let v = -24 - -19. Suppose 3*c - 14 = c. Sort b, v, c in increasing order.
v, b, c
Suppose -5*p + 3*z + 7 = -25, -4 = -5*p - 4*z. Put -3, -33, p, 2 in increasing order.
-33, -3, 2, p
Suppose p + p - 4 = 0. Let g = 1033 + -1028. Sort p, -0.04, g in decreasing order.
g, p, -0.04
Let r = -569 - -570.018. Let k = -0.018 + r. Put -11, 3, k in descending order.
3, k, -11
Let a = 23 - 25.5. Let u = 0.5 - a. Let h = 0 + -0.2. Sort -0.1, h, u in descending order.
u, -0.1, h
Let c = -224 - -224.18. Let j be ((-1)/12*-4)/1. Sort -2/15, j, c in ascending order.
-2/15, c, j
Let b = 25 + -27. Let r = -12 - -12.1. Sort r, -3, b in descending order.
r, b, -3
Let f(b) = 2*b**3 - 7*b**2 + 6*b - 2. Let d be f(2). Put -5, d, -3 in ascending order.
-5, -3, d
Let t = 3215 + -3217. Let d = -11 - -50. Let n = 28 - d. Sort t, 0.5, n in decreasing order.
0.5, t, n
Let d = -25.014 + 25. Let z = -6.014 - d. Put -1/6, z, 0 in decreasing order.
0, -1/6, z
Suppose 4 = 6*c - 2*c, -3*p - 2*c = -20. Let h be ((-17)/(-51))/(1/p). Sort -4, h, 13, -2.
-4, -2, h, 13
Suppose 0 = -3*k + 90 + 81. Let u = k + -18. Let z be u/12 - 12/(-16). Sort 3, 6, z in decreasing order.
6, z, 3
Let a = 0.1 + 0.1. Let p be (-25)/(-57) - (-1)/(-3). Let h be 4/(-20)*(2 + 0). Sort a, p, h in decreasing order.
a, p, h
Let a(z) = z**3 - 26*z**2 + 45*z + 21. Let j be a(24). Sort -1, -2, j in descending order.
-1, -2, j
Suppose 0 = 2*t - 3*k - 26, t - 7*t - 2*k - 10 = 0. Suppose -8 = -5*i - 23. Let p be (0 - 2)/(2/4). Put i, t, p in descending order.
t, i, p
Let z = -0.2102 - 0.0598. Sort -2, z, 0.3 in increasing order.
-2, z, 0.3
Let v be -63 + 2 + (6 - 2). Let w = v + -10. Let n be (-14)/91 + w/(-13). Sort 1, 0, n.
0, 1, n
Let c = -2.2 + 2. Let z = 527/133 - 27/7. Let j = 55 - 57. Sort z, j, c.
j, c, z
Let s = -4 - -6. Suppose -5*w = 2*r - 69, 7*r + 3 = w + 2*r. Suppose g - 4*o + w + 4 = 0, -s*g - 22 = -5*o. Sort g, -3, 5/6 in decreasing order.
5/6, g, -3
Let g = 161 + -160. Suppose -16 = -3*r + 7*r. Sort r, -5, g, 4.
-5, r, g, 4
Let g = 452 - 450. Sort 5, 6, g, 0 in descending order.
6, 5, g, 0
Let c(i) = -2*i**2 + 4*i + 35. Let u be c(-3). Suppose 5*a - 20 = 0, -5*d - 25 = 2*a - 7*a. Put 1, d, u in descending order.
u, 1, d
Let d = -2.2 + 0. Let a = d - -2. Let j = -40.8 + 38.8. Sort -5, a, j.
-5, j, a
Let y = -90.4 + -1.6. Let r = -91.5 - y. Let c = -216/5 - -4114/95. Put c, r, -25 in increasing order.
-25, c, r
Let p(i) = i**2 - 1. Let k be p(0). Let a(m) = -2*m - 9. Let z be a(-6). Suppose z*b - 20 = -b. Put k, b, -5 in decreasing order.
b, k, -5
Let g be 88 + -102 + (-2 - -18). Let r be (-3)/2*14/(-3). Sort g, r, 5 in descending order.
r, 5, g
Let c = -349.33 - 6.67. Put 3, -4, c in increasing order.
c, -4, 3
Let v be -1 - (-30)/12*(-8)/(-10). Let o be ((-42)/5)/(4/(-10)). Sort v, o, 5 in decreasing order.
o, 5, v
Let y be 2/10 - (-23488)/160. Put 2, y, -2/5 in decreasing order.
y, 2, -2/5
Let r be (-22)/14 + (-1)/(-1). Let i = -2.3 - -2.32. Let m = 0.18 + i. Sort -0.4, r, m in increasing order.
r, -0.4, m
Suppose -5*r + 4*d + 1 = 12, 3*d + 3 = 0. Let o be 9/(0 - -3) + 0. Suppose -17 = 5*a + 4*b, 0 = -o*a + b + 3*b + 9. Sort 3, a, r.
r, a, 3
Suppose -2*y + 11 + 29 = 0. Suppose 0 = -4*b + 4*u + 20, 3*b - y = -0*u - 2*u. Let r be 4*3/b - 6. Sort r, 0, 2 in descending order.
2, 0, r
Let w = 4.55 + -0.55. Let j(l) = -l**2 - l. Let o be j(1). Sort -4, w, o in descending order.
w, o, -4
Let f = -12.014 + 11.014. Let v = -0.21 + -0.23. Let o = v - -0.04. Put o, f, -5 in increasing order.
-5, f, o
Suppose -r = -0*r - 2*q + 2, -3*r = -2*q + 6. Let m be (r - -2) + 6 + -3. Put 0, m, -23 in decreasing order.
m, 0, -23
Let g = -888 - -886. Put 4, g, -10, 1 in decreasing order.
4, 1, g, -10
Let d = -255.59 - -254. Let a = -0.09 - d. Let i = a + -1.1. Sort i, 5, 2/3 in descending order.
5, 2/3, i
Let c(p) = -p. Let q be c(3). Let m = 4152577/155 + -26791. Let d = m + 18/31. Put 0.2, q, d in decreasing order.
d, 0.2, q
Let w = -234 - -250. Sort 5, w, -2, 2.
-2, 2, 5, w
Let q(c) = 3*c - 28. Let k be q(11). Suppose 0 = -5*s + k. Let r = 4 - 1. Sort 2, r, s in decreasing order.
r, 2, s
Suppose -4*c = -4*j + 25 + 51, -4*j = 2*c + 32. Put -2/3, 3/2, c in decreasing order.
3/2, -2/3, c
Let g = -4 - -23. Let l = -19.5 + g. Sort -5/3, l, 1/10, -8 in increasing order.
-8, -5/3, l, 1/10
Suppose 4*n - 2*p = 8, 7 = -3*p + 1. Sort 4, n, -1, 2 in decreasing order.
4, 2, n, -1
Let r be (0 - -2)*(-1 - 1). Let x = -76 + 78. Suppose -h - 3*k + 12 = 0, -k = x*h - 6*k + 31. Sort r, -2, h in decreasing order.
-2, h, r
Let a = 0.66 + -0.8. Let t = -7.86 + a. Put -3, t, 1 in descending order.
1, -3, t
Let q be 620/35 + 5/(-7). Sort -3, 2, -5, q in decreasing order.
q, 2, -3, -5
Let m(z) = 4*z + 15. Let a be m(-5). Let y = 135 + -1757/13. Sort a, y, -0.15 in decreasing order.
-0.15, y, a
Let d = -1.248 - -0.848. Sort -0.2, 4, 36, d in increasing order.
d, -0.2, 4, 36
Let g be 4*(-4 + 3) + 4. Suppose g = t + 14 - 13. Put -2, t, 4 in decreasing order.
4, t, -2
Let k(i) = -i**3 - 6*i**2 - 6*i + 4. Let d be k(-4). Put 3, d, -7 in descending order.
3, d, -7
Let j = -3344 + 3346. Let y = 4.1 - 0.1. Sort j, -3, y, 6 in increasing order.
-3, j, y, 6
Suppose -k - 3*q = 3*k, -q + 2 = 2*k. Let r(y) = y + 12. Let s be r(-12). Sort k, -4, s in increasing order.
-4, s, k
Let f be 2/(((-8)/36)/((-5)/9)). Sort -3, 3, f, -6 in descending order.
f, 3, -3, -6
Suppose 2*i = 3*a + 11, -8*a + 10*a = -i + 2. Sort 7, -5, a in decreasing order.
7, a, -5
Let t = -0.25 - 0.1. Let u = -3.35 + t. Let k = u + 4. Put 3, k, 2 in descending order.
3, 2, k
Let q = 640 - 644. Sort q, 4, -10, 0.3 in decreasing order.
4, 0.3, q, -10
Let f = -843 + 865. Put -1, f, 0.4, 3 in decreasing order.
f, 3, 0.4, -1
Suppose -13*j + 26 = -0*j. Sort j, 5, 1.
1, j, 5
Suppose 0 = -2*r + 2*d, r - 4*d + d = -8. Sort 2, -2, r, 5.
-2, 2, r, 5
Suppose -24*z + 55*z - 124 = 0. Let b(n) = -3*n**2 + n - 1. Let g be b(2). Let w be g*2/(-8) - 2. Sort w, z, -2 in descending order.
z, w, -2
Suppose -17 = -k - 15. Let x be -2 - 6/(-5 + k). Sort x, -2, -10.
-10, -2, x
Let u = 23 - 19. Let r be -3 + (2 - (-1 - 1)). Suppose -3 = 4*p + r. Sort 1/5, p, u.
p, 1/5, u
Let j = 7 + -2. Suppose 376*x - 24 = 388*x. Put j, -7, x in descending order.
j, x, -7
Suppose -54*g = -61*g - 35. Sort 9, -3, -2, g in descending order.
9, -2, -3, g
Let y(u) = -8*u + 28. Let w be y(3). Put 0, -2, 2, w in decreasing order.
w, 2, 0, -2
Let r = -2.21 + 2.11. Put 25/7, -0.3, r in decreasing order.
25/7, r, -0.3
Let u = -22131 + 22128. Let z be 1/4 - 6/(-8). Put z, u, 9 in descending order.
9, z, u
Let y = 0 - 0. Suppose 0 = -11*l - 337 + 282. Sort y, l, 2 in decreasing order.
2, y, l
Let w = 1.588 - 3.588. Sort 0.001, 2, w, -1 in ascending order.
w, -1, 0.001, 2
Let d = 32.9 - 32.9. Let m = -1/143 + -422/1001. Put d, -5, m in ascending order.
-5, m, d
Suppose 0 = -6*g + 2 + 28. Put 4, g, -2, -4 in decreasing order.
g, 4, -2, -4
Let c = 20 + -20. Suppose 11*v - 15 = 16*v. Sort c, v, -1 in increasing order.
v, -1, c
Suppose -n - 5*n - 474 = 0. Let m = -1183/15 - n. Let x = -93 - -463/5. Put x, m, 3 in increasing order.
x, m, 3
Let z be 2*(-2732)/(-8) - 3. Let f be -1 + -3 + z/180. Let q(g) = g**3 + 4*g**2 - 4. Let h be q(-4). Put f, -3, h in ascending order.
h, -3, f
Let u = 197 + -2169/11. Let j = 48 + -48.3. Let x = 6 - 10. Sort u, j, x.
x, j, u
Suppose -5*s = -3*g - 36, g = 2*s - 13 - 2. Suppose 3*h - 4*j + 12 = -0*j, 0 = 4*h + 3*j - s. Put 2, h, -1 in increasing order.
-1, h, 2
Let c = 18 - 13. Let l(q) = -q**3 + 4*q + c*q**2 - 2*q + 3*q**2 + 0*q**2 - 12. Let j be l(8). Sort j, 2, -2.
-2, 2, j
Suppose -83*p + 81*p + 4 = 0. Suppose