2*t = -3*t - 52. Sort g, -1, -2 in ascending order.
-2, -1, g
Suppose 0 = -l + 3 - 8. Suppose 2*i + 15 = 7*i. Let s(h) = h**3 - 13*h**2 + 9*h + 36. Let r be s(12). Sort l, r, i in descending order.
i, r, l
Let d(c) = 5*c**3 - c**2 - 5*c - 3. Let i be d(-3). Let w be 4/(-14) + (1 - 133). Let p = i - w. Put 0.3, p, 2/9 in decreasing order.
0.3, p, 2/9
Let o = -6 - -5. Put 2, o, -4 in increasing order.
-4, o, 2
Let d = 11 + -9. Suppose m + 5 = b + 13, -5*b - 31 = -d*m. Sort 2, 4, m in increasing order.
2, m, 4
Let j(p) = p**2 - 5*p - 11. Let a be j(7). Sort 14, -2, -3, a in decreasing order.
14, a, -2, -3
Let r be 6*((-2)/(-3))/2. Let s = -4 - -2. Put r, 0, s in decreasing order.
r, 0, s
Let y = -5.9 - -6. Sort -5, 1, -9, y in descending order.
1, y, -5, -9
Let r(j) = -j**2 + 9*j + 25. Let l be r(11). Let g(d) = -5*d**3 + d**2 + d - 1. Let f be g(1). Put f, l, -5 in decreasing order.
l, f, -5
Let o = -3.87 + -0.13. Let u = -2.4 + -0.6. Sort o, 2/9, u in increasing order.
o, u, 2/9
Suppose 0*a + a = -4*v + 18, -3*v = -12. Sort -3, 0, a.
-3, 0, a
Let n = -3.6 - -4. Suppose -18 = -14*j + 8*j. Suppose -3*k = 2*k - 5. Put k, n, j in increasing order.
n, k, j
Let v = 19 - 26. Let r = -3 - v. Sort -4/5, -2, r in increasing order.
-2, -4/5, r
Let t = -24 - -24. Let q be (-1)/2*-1*t. Suppose 5*z + 2 = -4*r - 13, 4*z = -3*r - 11. Sort r, q, -4 in descending order.
q, -4, r
Let z = -2.7 - -2.6. Let q = -0.04 - -0.34. Put z, q, -4/3 in descending order.
q, z, -4/3
Let a be (-2)/(-6) + 1/(-3). Let r = 0 - a. Let h(u) = -u**2 - 7*u + 1. Let z be h(-7). Sort 3, z, r.
r, z, 3
Let y be ((-1)/(-22))/((-4)/48). Sort y, -32, -2 in ascending order.
-32, -2, y
Let y = 6.33 + -1.33. Sort y, 4/5, -1/4.
-1/4, 4/5, y
Suppose 5*o - o = 5*a - 16, 0 = -4*a + 2*o + 14. Put -4, a, -44, 1 in descending order.
a, 1, -4, -44
Let h = 45/104 - 4/13. Sort -1, -1/4, 2, h in decreasing order.
2, h, -1/4, -1
Let m = -9 - -8. Put 3, -4, m in descending order.
3, m, -4
Let u = 5.3 + -1.5. Sort -1, -1/6, u in decreasing order.
u, -1/6, -1
Let k = 18 - 22. Let b be (2/3)/((-2)/(-9)). Sort b, k, -5 in descending order.
b, k, -5
Let r = -1 - 29. Let g be (r/7 - -2) + 2. Let z = 1 - 1. Sort z, -4, g in decreasing order.
z, g, -4
Let o = -6 - -9. Put -16, o, 0.5 in decreasing order.
o, 0.5, -16
Suppose 0*f = -2*f + 10, 13 = r + 3*f. Let a = 3 - r. Let l = 0.7 - 0.9. Sort 1/3, a, l in descending order.
a, 1/3, l
Let u be (-3)/(-2)*10/3. Suppose -25 = -0*h + u*h. Put -4, 0, h in ascending order.
h, -4, 0
Let g be (1 - (-10)/(-4))*2. Let b be 6/(-21) + (-30)/(-7). Let h(x) = 3*x + 26. Let z be h(-8). Put g, z, b in decreasing order.
b, z, g
Let w be ((-2)/(-36))/(1/(-4)). Let b = -0.17 - 0.03. Sort w, -3/4, b in descending order.
b, w, -3/4
Let n = -1798/143 - -140/11. Sort -4/9, n, -4, -0.25.
-4, -4/9, -0.25, n
Suppose 0 = 6*k - 3*k - 12. Let p = 4 - 7. Let m be k/(-6)*(0 - p). Put m, -4, 5 in descending order.
5, m, -4
Suppose -5*g = 5*q - 15, -3 = -q + g + 4*g. Suppose q = 3*i - 6*i. Let y(r) = -r**2 - 4*r + 5. Let f be y(-4). Sort -4, f, i in ascending order.
-4, i, f
Suppose -c + 52 = 2*f, -2*c + 7 = 2*f - 45. Let p be f + -1 + 0 + -1. Let r be (p/(-10) + 2)*-5. Sort r, -1, -4 in ascending order.
-4, -1, r
Suppose 15 - 3 = 3*j. Suppose 3*o + 0*o + 17 = b, 1 = 3*b + o. Suppose -h - b*h = -15. Sort j, 1, h.
1, j, h
Suppose 0*c = 2*c - 28. Suppose 3*y + 0*u - c = -2*u, u + 19 = 5*y. Suppose 1 = o + 3, -4*w + 3*o = 2. Put y, -3, w in decreasing order.
y, w, -3
Suppose 0 = 3*d + 2*k + 19, 2*k = 2*d - d - 7. Put -2/15, 0, d in descending order.
0, -2/15, d
Let l = -0.07 - -0.57. Let z = -6 - -5.7. Put z, l, 4/9 in descending order.
l, 4/9, z
Let x = -0.33 + -0.17. Sort 1/9, x, 5.
x, 1/9, 5
Let g(y) = y - 2. Let r be g(0). Suppose 3*c - 4 = -2*d, -2*d - 2 = -5*c - 3*d. Let j be (-4)/(-2) + (-5 - -3 - -2). Put c, j, r in increasing order.
r, c, j
Let q = 63 - 59. Sort -0.3, 0, q, -3.
-3, -0.3, 0, q
Let q = 0 + -3. Let w = q - -3. Put 4, w, -3 in descending order.
4, w, -3
Let u(l) = l - 10. Let g be u(5). Let z = 2.48 + -2.08. Sort z, g, 2/3 in ascending order.
g, z, 2/3
Suppose 2*n - 5*j - 3 = -17, 18 = 2*n + 3*j. Sort n, 2, 1/6, 0.5 in decreasing order.
n, 2, 0.5, 1/6
Let r(w) = w**2 - 22*w - 23. Let h be r(23). Sort 1, -3, h, -23 in decreasing order.
1, h, -3, -23
Suppose 0 = -0*s - 2*s + 2. Let b be (-1 + (-6)/(-4))*-2. Let j = 1 + -3. Sort b, s, j.
j, b, s
Let a be 1*-3 - 2*1. Let b be 5*(-6)/(-15)*1. Let u be b/10 + 2/(-10). Put 2, u, a in descending order.
2, u, a
Let r(i) = -2*i**3 - 7*i**2 - 6*i - 5. Let z be r(-3). Let p be (2/(2/(-7)))/1. Let b be (-2)/(-7) + 2/p. Put z, b, 2 in ascending order.
b, 2, z
Let b = -29 - -24. Put 2, -0.9, b, -0.4 in ascending order.
b, -0.9, -0.4, 2
Let z = -43 - -48. Put z, 7, 4 in decreasing order.
7, z, 4
Let r = -26 + 26. Put r, 4, -4 in descending order.
4, r, -4
Let s = -0.356 + -0.044. Sort -10, -1/3, -5, s.
-10, -5, s, -1/3
Suppose u + 31 = 4*k - 2*k, 4*u + 82 = 5*k. Suppose k*n - 15*n = 0. Put -5, 1, n in ascending order.
-5, n, 1
Let p(j) = 4*j - 7. Let f be p(6). Suppose -5*h - f - 3 = 0. Let t = -2 - -4. Put -5, h, t in descending order.
t, h, -5
Let r(d) = d**2 - 3*d + 1. Let l be r(4). Let x = -394 - -5525/14. Let c = 3/70 - x. Sort 1/4, c, l.
c, 1/4, l
Let h = -6 + 8. Let b be -1*(-1 - (1 - -1)). Let y(v) = v - 3. Let u be y(b). Put -5, h, u in decreasing order.
h, u, -5
Let n = -273 - -273.4. Let w = -9 - -5. Sort n, w, 1 in descending order.
1, n, w
Let d = 4.6 + 0.4. Let t = 1.1 + -1. Put -2/11, t, d in decreasing order.
d, t, -2/11
Let k = -7 + 5. Suppose 4*a - u - 8 = 0, 3*u = -2*a + 6*u + 4. Suppose 0 = -4*d - 5 + 1. Sort k, d, a in decreasing order.
a, d, k
Let g be 8*1*(-6)/(-12). Sort -3, 3, -4, g in descending order.
g, 3, -3, -4
Let b = -6 - -10. Let n = -6 - -5. Put b, 3, n in decreasing order.
b, 3, n
Suppose 3*l + 0 = -12. Suppose 0 = -17*u + 13*u - 8. Suppose -2*d = -6*d - 4. Put u, l, d in decreasing order.
d, u, l
Let u = 4 - -10. Let a = -13.5 + u. Sort 1/5, a, -1/4.
-1/4, 1/5, a
Let c = 0 - -3. Let w(q) = 2*q - 9. Let k be w(5). Sort c, k, -3/2 in descending order.
c, k, -3/2
Let g = -0.33 - -0.3. Sort -2, 0.2, -2/7, g in increasing order.
-2, -2/7, g, 0.2
Let j = 0.29 - -0.01. Let q = -0.5 + j. Sort q, 0.2, 0.5 in ascending order.
q, 0.2, 0.5
Let p be (-232)/(-14)*(-3)/(-10). Let l = 6228/1295 - p. Let z = -166/111 - l. Sort z, 0.3, 1/8 in ascending order.
z, 1/8, 0.3
Let q = -0.2 + -0.3. Let o = 31.3 - 31. Put q, o, 2/3 in increasing order.
q, o, 2/3
Let d = 3 - 6. Let q = -0.21 + -0.29. Sort q, 5, d in ascending order.
d, q, 5
Let z be (-36)/10 - (-52)/(-130). Suppose 19 = -3*t + 3*p + 2*p, 2*t - 4*p + 14 = 0. Put t, z, -2 in increasing order.
z, t, -2
Suppose -3*p = -5*c, 5*p + 0*p + 3*c = 0. Suppose 5*r - 10 = 3*r. Suppose d = -3*a + 6, r*a + 7 = -0*d + 4*d. Sort -2/3, d, p in increasing order.
-2/3, p, d
Let m be (-3)/(-12) - 1/4. Let d = 4 + m. Let q = -25 + 22. Sort d, q, 1 in descending order.
d, 1, q
Let x = -25 + 42. Suppose -4*c + 0*c + x = -5*q, c - 2*q = 8. Suppose 5*t = -13 - 2. Put t, c, 1 in descending order.
1, c, t
Let u be ((-4)/(-8))/(1/(-10)). Sort u, 3, 2 in descending order.
3, 2, u
Let l = 76.3 - 72. Let t = 6 - 10. Let m = t + l. Sort -3, -1, m.
-3, -1, m
Let x = -9/14 - -1/7. Let z be (5/2)/((-6)/(-12)). Let b be -6 + z + 4/3. Put b, x, 1 in decreasing order.
1, b, x
Let y(s) = -s**3 - 4*s**2 + s + 2. Let n be y(-4). Let w be n*(-3)/(-6)*-2. Put -2/9, w, -1/3 in descending order.
w, -2/9, -1/3
Suppose x - 4 = 3. Let r = -6 - 1. Let q = x + r. Put -6, q, -3 in decreasing order.
q, -3, -6
Let a(c) = c**2 - 6*c + 6. Let o = 2 + -3. Let h = o + 5. Let m be a(h). Put m, 2, -4 in increasing order.
-4, m, 2
Let s be (-1)/(-9)*3 + (-2)/6. Sort -6, 1, s.
-6, s, 1
Let h = 2 - 7. Let i = -0.254 + -0.046. Put i, h, -1 in decreasing order.
i, -1, h
Let v = -16.9 + 17. Put -1, -0.5, v in decreasing order.
v, -0.5, -1
Let f = 3 - 1. Sort 4, 0, f in decreasing order.
4, f, 0
Let o(d) = d**2 + 4*d - 2. Let i be o(-5). Let l(f) = -f**2 + 5*f + 5. Let j be l(5). Put i, j, -1 in descending order.
j, i, -1
Let u be 16/(-14)*(-2)/8. Let y = 12 + -23/2. Sort -2, y, u.
-2, u, y
Let b(n) be the first derivative of -n**