(c) = c**3 + 15*c**2 + c + 13. Let t be s(z). Put t, -1, d in ascending order.
t, -1, d
Suppose 0 = -g - h, -3*g - 2*g + 6 = 3*h. Suppose g = 2*b - b. Let c(p) = 201*p - 202. Let s be c(1). Put b, s, 6 in descending order.
6, b, s
Let i = -9 - 0. Let p = i + 9. Let c be (p - -3)*(3 + -4). Put c, 4, 5 in decreasing order.
5, 4, c
Suppose -15 = -5*h, 5*v + 7 = -4*h + 8*h. Sort -15, -5, v.
-15, -5, v
Let a = 18.84 + 0.16. Let c = a + -18.7. Let b(l) = -l**2 - 2*l + 1. Let n be b(-3). Sort n, -0.3, c in ascending order.
n, -0.3, c
Let i = -234 + 235. Let f(h) = -h - 3. Let a be f(-6). Suppose -o = -a*t - 2 - 0, o + 4*t = -12. Put o, -5, i in ascending order.
-5, o, i
Suppose -2*p - d - 11 = 0, -4*d = -7*p + 2*p + 5. Suppose 3*u + 5*g - 5 = 0, -6*g + 10 = 4*u - g. Put u, -5, p in decreasing order.
u, p, -5
Suppose 223*b + 66 = 212*b. Put b, -2, -5 in descending order.
-2, -5, b
Let g = 0.9 - 5.9. Let u = 1057999/44 - 24044. Let q = -3/44 - u. Put g, q, -0.07 in increasing order.
g, q, -0.07
Let f be (-1)/1*6/171*-3. Let j = -5.8 - -6. Sort f, 0.5, j in increasing order.
f, j, 0.5
Suppose -2*i + 112 = -88. Suppose 9*v - i = 5*v. Let q be (-2)/(-20)*v/(-20). Put 4, q, -2/3 in decreasing order.
4, q, -2/3
Let o = -1 + 9. Let h = o + -4. Let q(m) = m**2 + 2*m + 2. Let i be q(-2). Put -2, i, h in increasing order.
-2, i, h
Suppose -2*p + 1 = -1. Suppose v = 3*v + 16. Let b be (10/(-10))/(2/v). Sort -5, b, p.
-5, p, b
Suppose -c - 3 + 1 = 0. Suppose -4*h - 16 = -6*h. Suppose -7*v = -3*v - h. Put 4, v, c in decreasing order.
4, v, c
Let r be ((-3)/(-6) + -2)*12/72. Sort -5, r, -4, -0.11 in descending order.
-0.11, r, -4, -5
Suppose 0 = -0*x - 3*x + 36. Suppose x*k - 5 = 7*k. Sort 0, 3, k.
0, k, 3
Let p be 8/(-14)*63/(-234). Sort 0.5, 8, p in increasing order.
p, 0.5, 8
Let p = -20.59 - -21.7. Let a = 0.35 - 0.24. Let z = p - a. Put 0.4, z, 0.2 in increasing order.
0.2, 0.4, z
Let u be (18/(-4))/(-9) + 156/(-24). Put u, 2, -9, -3 in ascending order.
-9, u, -3, 2
Let v be (-2)/3*1*6. Let w be (-5 + 6)*(-1)/3*0. Sort v, 1, w in descending order.
1, w, v
Let k(h) = 6 + h**2 - 3123*h + 3134*h + h**2. Let v be k(-5). Let z = -3 - -7. Sort -4, z, v in decreasing order.
z, v, -4
Let f = 164 + -161. Sort 27, -3, f.
-3, f, 27
Let p be 7*1 - (22 + -4 - 14). Sort 2, -91, -5, p in increasing order.
-91, -5, 2, p
Suppose 18 = -7*q + 4*q - 3*x, 2*q = -x - 9. Let d be (-2)/(-10) - 267/(-15). Put d, q, 1 in decreasing order.
d, 1, q
Let v be (-1 - 0)/((-3)/87 - 0). Let c = 30 - v. Sort 3, -1, -3, c in increasing order.
-3, -1, c, 3
Let m be 22/(-55)*5*2/2. Put m, -10, -6 in descending order.
m, -6, -10
Let m be 6/(-16)*8/(-18). Let s = -284 + 2558/9. Sort s, m, -1 in decreasing order.
s, m, -1
Let x = -18 + 14. Let g = -0.9 - x. Let t = g + -0.1. Sort 0.2, t, -1 in ascending order.
-1, 0.2, t
Let z = -1.9 - -2. Let h be (22/(-40))/(16/64) + 3. Put h, 3/2, -0.1, z in descending order.
3/2, h, z, -0.1
Let d = -397 - -392. Put -46, d, 0, -3 in increasing order.
-46, d, -3, 0
Let c = 1.2 - 5.2. Let t = c - -8. Sort -0.1, 6, -4, t.
-4, -0.1, t, 6
Let d = -0.1612 + 3.1612. Sort -43, d, -0.2, -3 in descending order.
d, -0.2, -3, -43
Let q(h) be the first derivative of -h**4/4 - 7*h**3/3 - 7*h**2/2 - 5*h + 5. Let v be q(-6). Put 4, 5, -4, v in descending order.
5, 4, v, -4
Let l(w) = 6*w - 11. Let a be l(2). Sort 1/14, -0.5, 4, a.
-0.5, 1/14, a, 4
Let p(l) = -l**3 + 2*l**2 + 6*l. Let v be p(-4). Let u = v + -67. Let s(q) = q**2 + 6*q - 2. Let y be s(-6). Put 4, y, u in ascending order.
y, 4, u
Let v = -764 - -763.95. Suppose -3*o - 3*i + 1 = -o, 5 = -5*i. Put 5, o, -4, v in descending order.
5, o, v, -4
Let i = 1 + 0. Let n = 0.6525 + -0.8525. Put n, i, 4, -4 in decreasing order.
4, i, n, -4
Let i be (-6)/8*(-189)/567. Put i, -3/4, -1 in increasing order.
-1, -3/4, i
Suppose 0 = 484*a - 477*a - 28. Let w be (2 - 3/3) + -1. Put w, -42, a in decreasing order.
a, w, -42
Suppose 7*h - 3*h = -20. Let p(y) = 3*y + 198 - 177 - 5*y. Let g be p(11). Put g, 1, h in ascending order.
h, g, 1
Let p be 263/(-263)*(5 + -1 - 0). Let j = -34 + 20. Put p, j, 3, 1 in decreasing order.
3, 1, p, j
Let u = -690 - -690. Put 3, 25, -2, u in decreasing order.
25, 3, u, -2
Suppose 0*h = h + 2, -w - 4*h = 8. Let i be 1/1 + 2*1. Suppose -2 + 11 = -i*o. Put 2, o, w in ascending order.
o, w, 2
Let v = 110 - 109.8. Put v, -1/4, -3.25 in ascending order.
-3.25, -1/4, v
Let s(g) be the first derivative of -g**2/2 - 10*g - 5. Let a be s(-14). Sort 3, -5, a in descending order.
a, 3, -5
Let k = 3.9 + -24.6. Let w = 21 + k. Sort -2/7, -2/3, w.
-2/3, -2/7, w
Let q be (3/45)/((-231)/35 - -6). Put -4, -6/11, q in descending order.
q, -6/11, -4
Let p(h) = -h**3 - 4*h**2 - 6*h - 22. Let t be p(-4). Suppose 0 = -b - 8 + 3. Let z be 14/10 - (-2)/b. Put t, -3, z in increasing order.
-3, z, t
Let r = 114 - 119. Let w(a) = -a**3 + 6*a**2 + 6*a + 9. Let k be w(7). Sort k, r, 5 in descending order.
5, k, r
Let o(k) = -k**2 + 4*k + 4. Let d be o(4). Let z be -2*d/((-6)/3). Sort -6, -4, z in increasing order.
-6, -4, z
Let a be 16/(-3) + (-6)/9. Let g(f) be the first derivative of f**3/3 + 3*f**2 - 3*f - 1. Let p be g(a). Sort -6, p, -4 in descending order.
p, -4, -6
Let u = -0.04 + -1.96. Let j be 3 - 5 - (-29)/26. Let y = 18/13 + j. Put y, u, -2/9 in descending order.
y, -2/9, u
Suppose 14*d = 17*d - 3*r - 12, -3*r = 3*d. Let u(m) = m. Let p be u(3). Suppose -p*n = -n + 10. Put 0, n, d in descending order.
d, 0, n
Let s = -1031 - -1035. Sort -21, 2, -0.5, s in decreasing order.
s, 2, -0.5, -21
Let p = 3 + 0. Let q be 4/14 + 1311/(-399). Sort q, 6, p in descending order.
6, p, q
Let v = 87.88 - -0.12. Let o = v - 92. Put 2, -2, -5, o in ascending order.
-5, o, -2, 2
Suppose 4*i = 5*u + 240 - 36, -51 = -i - 3*u. Sort -2, 1, i in decreasing order.
i, 1, -2
Let i = 78 - 77.1. Let c = i + -0.5. Put 5, -5, c, -2 in decreasing order.
5, c, -2, -5
Let b be (-24)/(-9)*(-6)/4. Let j be (20/90)/(2*(-3 + 53/18)). Suppose 0 = -0*w + 2*w + 6. Put j, b, w in descending order.
j, w, b
Let t = 2667 - 2666.9. Sort -5, -1/2, t, 1/4.
-5, -1/2, t, 1/4
Let y be 8/(-30)*25/(-30). Let q = -8.2 + 8. Let g = q - 0.2. Put g, 1, y in ascending order.
g, y, 1
Let n(x) = 2*x**2 - x + 3. Let c be n(2). Suppose -6*q + c*q - 21 = 0. Sort 2, 4, q.
2, 4, q
Let g = -0.78 - 4.22. Sort 0.5, g, 3.
g, 0.5, 3
Let s(g) = -g**3 + 6*g**2 + 3. Let z be 1 - -2*(-9)/(-6). Let y be 16/8 + 1*z. Let v be s(y). Put -1, v, 5 in decreasing order.
5, v, -1
Let g = -36 + 39. Let b be (1 + 3/(-6))*-6. Put g, b, 5 in decreasing order.
5, g, b
Let f be (4 + 16/(-5))/(4/10). Suppose 0 = 6*r + 8 - f. Let i = 0 + 0.1. Put i, r, 4 in decreasing order.
4, i, r
Let q(t) = t**2 + 2*t + 3. Let j be q(-3). Let r be ((-39)/j)/((-1)/(-4)). Let h = 22 + r. Sort -8, h, -1.
-8, h, -1
Suppose 4*h + 12 = 4*g, 7*h = 5*h - 5*g + 29. Put -16, 3, h, 5 in increasing order.
-16, h, 3, 5
Let c = 1 + -0.5. Let x = 0.14 + 0.66. Let v = x + 1.2. Put 3/7, c, v in decreasing order.
v, c, 3/7
Let i be 203/4*(-12)/(-3). Suppose 3*o = -4*h - 157, 0 = 4*h + h - 3*o + i. Sort h, 2, 4 in decreasing order.
4, 2, h
Let l(j) = j**3 + 6*j**2 - 2*j + 19. Let w be l(-6). Suppose -4*y - 4*f = y - w, -y - 5*f = -23. Suppose 1 + y = h. Sort -2, 0, h in ascending order.
-2, 0, h
Let s = 66 + 37. Let c = s - 103.5. Let g(m) = -4*m - 1. Let a be g(1). Sort a, 2, c in descending order.
2, c, a
Suppose 5*a + 72 = -7*a. Put 0, 5, 4, a in decreasing order.
5, 4, 0, a
Suppose -3*f + 18 - 6 = 0. Suppose 3*g = -3, -g + f*g + 18 = -3*d. Let k be (-6)/18*3/d. Sort 2/3, -0.2, k in decreasing order.
2/3, k, -0.2
Let q(j) = -2*j**3 - 26*j**2 + 28*j + 4. Let k be q(-14). Sort -5, -12, k.
-12, -5, k
Suppose 2*u + 43 + 39 = 0. Let x = -46 - u. Let q = 22/51 + 4/17. Sort -3, x, q in descending order.
q, -3, x
Let l(x) = -x + 10. Let c be l(7). Suppose 5*i + 5*z = -5, 4*z - 1 = -c*i - 2. Sort -1, -2, i in decreasing order.
-1, -2, i
Let p = -0.2 + 8.2. Let j = -2966/5 + 594. Sort -1/5, p, j in descending order.
p, j, -1/5
Let t be (-25)/35 + 8/(-28). Let g be (15/10 + t)*-2. Let w be (-2)/(-9) + (-65)/9. Sort w, 0, g.
w, g, 0
Let r be (3 - -6) + (-10 - -3). Put 0, 19, -3, r in decreasing order.
19, r, 0, -3
Let x = -9 + 6. Suppose -i = -5*n