 -5*c - 8 = -4*v, 0 = 3*c - 5*v + 1 - 4. Put 0, 5, 3, c in increasing order.
c, 0, 3, 5
Let p(f) = f**3 + 3*f**2 - 10*f - 4. Let v be p(-5). Let l be v*(-5)/16*1. Put 0.7, l, 2/11 in descending order.
l, 0.7, 2/11
Suppose -83 = -d - 88. Let i = 2 + 1. Let j = i - 2. Sort j, 0.1, d in ascending order.
d, 0.1, j
Let h(r) = r**3 - 12*r**2 + 10*r + 19. Let g be h(11). Suppose 4*u + 4*z - g = 0, 2*u + 2 = 2*z - 6*z. Suppose -c + 5 = 4*c. Sort -1, c, u.
-1, c, u
Let m(c) = 6*c - 17. Let i(x) = -5*x + 16. Let d(w) = -3*i(w) - 2*m(w). Let l be d(2). Sort 0, l, 2 in decreasing order.
2, 0, l
Let i = -4/87 + 194/435. Sort i, 18, -4/7, 2/11.
-4/7, 2/11, i, 18
Let z be (0 + 1)/((-1)/(-5) + 0). Suppose 8 = -2*f + 4*v, -4*f + f + 4*v = 10. Put f, -5, z in descending order.
z, f, -5
Let v be 32/48 - 1/6*34. Put -0.2, 5, v in descending order.
5, -0.2, v
Let y = 18 - 25. Suppose 5*n - n + g = -12, -2*g = 0. Let z be ((-8)/(-112)*-8)/(2/(-14)). Sort z, n, y in increasing order.
y, n, z
Let p be (-1300)/(-18) + (-8)/36. Let y = -33 - -30. Let v be (1/y)/((-6)/p). Put v, 0, 5 in decreasing order.
5, v, 0
Let q(g) = -23*g + 275. Let m be q(12). Put -13, m, 1 in decreasing order.
1, m, -13
Let s = -619 - -620. Sort -4, 0.2, 5, s.
-4, 0.2, s, 5
Let r = -121.01 - -121. Let s = r - -0.11. Sort 0.06, 4, -5, s in decreasing order.
4, s, 0.06, -5
Let m be (-5 + 5)*(-2 - -1). Let v be -3*2*1/(-2). Suppose -42 = -20*x - 2. Put x, v, m in descending order.
v, x, m
Suppose i = -3*i - s + 5, -3*s = -2*i - 1. Let y(z) = z - 14. Let b(h) = -h + 16. Let m be b(6). Let j be y(m). Sort 4, i, j in ascending order.
j, i, 4
Let m = -1683 + 1699. Put m, -5, 10 in descending order.
m, 10, -5
Suppose r - 90 = -4*r. Let z be r/42 + 62/(-14). Let m be (264/(-60) - (-2)/5) + -1. Sort z, m, 5 in descending order.
5, z, m
Let s = 0.208 - -50.792. Sort -5, s, 2/9.
-5, 2/9, s
Let u(i) be the first derivative of -i**4/4 + 14*i**3/3 - 25*i**2/2 + 8*i + 5. Let c be u(12). Let a = -1 + -1. Put a, c, 4 in increasing order.
c, a, 4
Let p = -40 - 8. Let u = p - -46. Put u, -0.1, 1 in increasing order.
u, -0.1, 1
Let f = 287 + -409.6. Let x = f - -123. Sort x, -0.3, -12 in increasing order.
-12, -0.3, x
Suppose -47*j + 75 = -72*j. Sort 15, j, 6.
j, 6, 15
Let l be 3/(-6) - (-29)/(-2). Let q = 13 + l. Let z = 0 + 0. Sort q, z, -1 in increasing order.
q, -1, z
Suppose 6 = 2*v - 4*v. Suppose 6*u + 761 = 773. Put v, 13, u, 5 in ascending order.
v, u, 5, 13
Let x = -1.16 + 0.06. Let s = -1.2 - x. Sort s, 0.04, -0.2 in ascending order.
-0.2, s, 0.04
Let a(n) = -n**3 + 11*n**2 - 11*n + 14. Suppose 0*i + 10 = i. Let g be a(i). Suppose 0*f - 4*f + 5*z = 0, 0 = -2*f + 2*z. Sort g, -3, f.
-3, f, g
Suppose 5*p - 25 = -4*l, 0*l - 2*l + 11 = p. Sort 12, p, -2, 4 in increasing order.
-2, p, 4, 12
Let q = 145 + -141.6. Let j = q + -1.4. Sort -21, j, 4, 1 in descending order.
4, j, 1, -21
Suppose -284*l + 281*l = 0. Sort -1, 30, l, 4 in increasing order.
-1, l, 4, 30
Let m(h) be the first derivative of 3*h**2/2 - 5*h - 8. Let i be m(3). Let r(y) = y**3 + 4*y**2 + 3*y + 2. Let s be r(-3). Sort i, s, 1.
1, s, i
Let j be (-3)/12*2*-12. Suppose v + 20 = j*v. Let x = 32 - 31.9. Sort -2, x, v in increasing order.
-2, x, v
Let m = 1.58 - 2. Let i = m + -4.58. Put -4, i, 2/9 in ascending order.
i, -4, 2/9
Suppose -5*a + 2 = -23. Sort a, 1, -1 in decreasing order.
a, 1, -1
Let f = -1.1 + 6.6. Let a = f + -10.5. Sort 0.4, 9, a in descending order.
9, 0.4, a
Let f = -11.43 - -11. Let g = f - -5.43. Put 20, g, -2/5 in decreasing order.
20, g, -2/5
Suppose -3*x = -5*a + 24, -3*a + 7*a + 4*x = 0. Suppose -n + 8 = -f - f, -5*n = -4*f - 10. Sort f, 11, a in descending order.
11, a, f
Suppose 6 + 19 = 5*y. Let j = -818 + 821. Put j, -1, 1, y in ascending order.
-1, 1, j, y
Let j = 5.4 + -2.4. Suppose -4*u + 17 = z, -5*u - 2*z + 35 = 2*z. Suppose 2*o + u*o + 5 = 0. Sort j, o, -0.3 in ascending order.
o, -0.3, j
Let i = -11 + 17. Let x = 4 - i. Let w = 53 + -53. Put w, x, 0.1 in descending order.
0.1, w, x
Suppose -3*q - 21 = -3*i, -5*q + 0*i = 4*i - 1. Sort q, 5, -1, -16.
-16, q, -1, 5
Let o be (-2)/(-2) + 4468/(-36). Let q = -123 - o. Sort q, -2, -4 in decreasing order.
q, -2, -4
Suppose 0 = -o - o. Suppose -3*b + 27 + 9 = o. Suppose -13*c = -b*c - 3. Sort c, 1, 0.
0, 1, c
Let i = -477 - -476. Put i, -19, -3, -4 in increasing order.
-19, -4, -3, i
Let j(b) = -b - 18. Let h be j(-11). Let t = 8 + h. Let f be (-2 + t)/(2/(-4)). Sort 2/7, -0.5, f in decreasing order.
f, 2/7, -0.5
Let n(m) = m - 5. Let b be n(7). Suppose 3*f + 10 = -0*u - b*u, -4*f + 3*u + 15 = 0. Sort f, -4, 1, 30 in descending order.
30, 1, f, -4
Let r = -16 - -29. Sort r, 0, -3, 3 in decreasing order.
r, 3, 0, -3
Let p(a) = 4*a**3 + 15*a**2 + 5*a + 27. Let o be p(-4). Sort -0.4, -1, -4, o in ascending order.
o, -4, -1, -0.4
Let m = -45.2 - -45. Let j = -453/7 - -65. Put 1, j, m in decreasing order.
1, j, m
Suppose 5*j + 3 - 20 = z, -4*z = 2*j + 46. Suppose 5*q + 2*b - 41 = -3, -5*q = 5*b - 35. Let s = z + q. Sort s, -1, -2.
s, -2, -1
Let h = 2 + -3. Let u = 262 - 258. Sort u, h, -6 in decreasing order.
u, h, -6
Let w = 15.92 - -0.08. Let h = w + -13. Let y(m) = m**2 - 2*m - 1. Let n be y(3). Sort h, -2, n in ascending order.
-2, n, h
Suppose -n + 5*f + 11 = -5*n, -n - 3*f - 1 = 0. Suppose s + 20 = 6*s. Let m = -32 + 34. Put s, n, m in descending order.
s, m, n
Let y be 153/136 - 2/16. Sort 37, y, 4.
y, 4, 37
Let f = 51/5 + -10. Suppose 0 = -4*t + 31 - 7. Let p be (-5 - -3)*t/4. Sort f, 5/2, p in ascending order.
p, f, 5/2
Suppose 2*p - 12 = 5*p. Let i = -466 + 467. Put i, p, -7 in descending order.
i, p, -7
Suppose 2*l + 8 = -2*w, 4*w = -l - 26 + 19. Put -5, 1, w, 0 in ascending order.
-5, w, 0, 1
Let g = 21.2 + -21. Let n = -38 + 38. Sort g, -3, n in increasing order.
-3, n, g
Let f = 384 - 1156/3. Let j = -7 + 6.8. Put f, j, 7 in ascending order.
f, j, 7
Let p = 450 + -17552/39. Let d = -5/13 - p. Let v = 0.16 - 3.16. Sort v, d, -1/7 in decreasing order.
-1/7, d, v
Let w(p) = p**2 - 12*p - 22. Let r be w(14). Let a be (3/9)/(2/r). Sort a, -1, -2, 4 in decreasing order.
4, a, -1, -2
Let y(r) = r - 10. Let w be y(10). Suppose -2*o - 6 = -8*o. Sort -3, o, w, 2 in ascending order.
-3, w, o, 2
Let c = -0.03 - -0.03. Suppose -2*x + 12*a - 13*a - 10 = 0, -5*a = 0. Put 1/34, x, c in decreasing order.
1/34, c, x
Let w be (3/18 + 15/18)*19. Suppose 4*r - 11 = -5*l, 5*l - 3*r - w + 1 = 0. Sort 5, l, -4 in decreasing order.
5, l, -4
Suppose 0 = -4*m + 15 - 3. Suppose -4*b - 20 = b. Sort -3, m, b.
b, -3, m
Let p be (-2)/(-7) + ((-400)/35)/5. Sort 3, -18, 4, p.
-18, p, 3, 4
Let g = -9 + 12. Let u = -90 + 85. Put u, g, -8 in increasing order.
-8, u, g
Suppose 0*o - 5*o + 188 = -4*k, -2*k - 4 = 0. Let r = o - 33. Suppose -5*z - 5 = -0*z. Sort r, z, -3 in descending order.
r, z, -3
Let t = -2 - -4. Suppose 0*d - f - 5 = -d, 5*f = -5*d + 35. Let h be d/32*4 - 7/4. Put -2, h, t in ascending order.
-2, h, t
Let c = 78 + -77.94. Let f = 0.24 + c. Sort -11, f, -5 in increasing order.
-11, -5, f
Let l = -9 + 10. Let a be l/1 + (1 - -1). Let b be 3/((-30)/74) - (-2)/5. Sort b, a, -2 in ascending order.
b, -2, a
Let r = -13 + 11. Let z = 0.46 - 2.36. Let l = z - 3.1. Sort l, -7, r in descending order.
r, l, -7
Let q be (-6)/27 - (681/(-27) + 3). Suppose 2 = 5*t + q. Suppose 0*c = -5*c. Put c, -3, t in descending order.
c, -3, t
Let u be (4/6)/((-5)/(-3)). Let i(w) = w**3 + 11*w**2 + 9*w - 7. Let d be i(-10). Suppose l + d*z - 20 = 8*z, 5*z = -25. Put 1, l, u in increasing order.
l, u, 1
Let g(r) = -6*r - 1. Let c be g(1). Put c, 4, 5 in descending order.
5, 4, c
Let y = -14.3 + 14.6. Sort 8, -0.5, y in ascending order.
-0.5, y, 8
Suppose n + 0*n = 3, 0 = 5*i + 5*n - 5. Suppose -5*d - 1 = y + 20, 4*y = -5*d - 24. Let f be 3/(-1*4/d). Sort -7, f, i.
-7, i, f
Let t(k) = -k**2 + 52*k + 47*k - 17 - 91*k. Let p be t(5). Sort 1, 4, p, 5 in descending order.
5, 4, 1, p
Suppose -5*y = -5*q + 25, 2*q = 3*q + 4*y + 5. Put 5, -29, q in decreasing order.
5, q, -29
Suppose -13*r - 7*r - 2500 = 0. Sort -2, 3, 4, r.
r, -2, 3, 4
Let b = -292 - -306. Put b, 3, 6 in decreasing order.
b, 6, 3
Let z be 7 + (-364)/(-169) + -10 + (-6)/39. Let g be (-18)/(-4) - (-1)/2. Put g, z, 2, -6 in decreasing order.
g, 2