 q, -0.2
Let q = -3 - -1. Let n(v) be the first derivative of v**3/3 - 5*v**2 - 7*v - 17. Let b be n(11). Put b, 0, q in descending order.
b, 0, q
Let c = -6618 - -11176. Let m be (-4)/(-18) + c/630. Let x = m + -55/7. Sort 2, x, 1/4.
x, 1/4, 2
Let o = 0.0898 - -0.9102. Sort -3/2, -4, o.
-4, -3/2, o
Suppose 0 = 3*u - 3*h, 0 = 2*u - 0*u + 2*h - 8. Let i(m) = 8*m - 12. Let n be i(u). Sort -2, n, -1 in descending order.
n, -1, -2
Let u = 541/390 - -22/195. Sort 0.99, 3, u.
0.99, u, 3
Let c = 13 - 12. Let y = -0.069 - -4.069. Let q be (-8)/36 - (-4)/18. Put y, q, c in descending order.
y, c, q
Let b = 55.5 - 56. Suppose 0*p + 4 = -2*p. Sort b, -0.1, 0.03, p in descending order.
0.03, -0.1, b, p
Suppose -5 + 1 = 2*f. Suppose -2*q - o - 2*o + 23 = 0, -6 = -4*q + 2*o. Sort f, -4, q, 1 in descending order.
q, 1, f, -4
Suppose -6 = -z - z. Sort z, 4, -1, -5 in descending order.
4, z, -1, -5
Let q = 24 - 18. Let j be 9/q*8/6. Suppose 3*r + 3*p = 0, 0 = p - j*p. Put 3, r, -7 in descending order.
3, r, -7
Let h = -388.98 - -389. Sort 1, h, 0.5.
h, 0.5, 1
Let b be 1 + 2/(-4)*14 + 1. Put b, 0, 4, -1 in increasing order.
b, -1, 0, 4
Let o be 375/(-15)*(-11)/(-55). Suppose -4*h - 31 = 3*i + 2*i, h - 5*i = 11. Sort 0, h, o, -2 in descending order.
0, -2, h, o
Suppose -2*r = 0, 4*b + r - 5*r = -52. Let l = -11 - b. Let a = 5 + -8. Sort a, 0, l in increasing order.
a, 0, l
Let h = -509/2 + 255. Put h, -44, 5 in decreasing order.
5, h, -44
Let s = 237 - 518. Let y = 138 + s. Let t be (-37)/(-13) + (-22)/y. Sort -0.1, t, -0.2.
-0.2, -0.1, t
Suppose -2*p + 19 = 4*h + 1, 5*h = -5*p + 20. Let q be (-1)/(1/(-6)) - -4. Sort p, 2, q.
p, 2, q
Let s be ((-26)/20 + 2)*92/161. Sort 1, 5, s, 4/3 in descending order.
5, 4/3, 1, s
Let v(u) = -u**2 - 5*u - 2. Let c be v(-2). Suppose c*a = -7 + 23. Suppose -5*n + 4*o = 2 + 2, o + 16 = -3*n. Put 0, n, a in increasing order.
n, 0, a
Let n = -0.3 - 0.2. Let x = 8919 - 8918.95. Put n, 4, x in descending order.
4, x, n
Let a(k) = 4*k - 64. Let d be a(16). Suppose 0 = 5*u - u + 44. Sort d, 4, u in descending order.
4, d, u
Suppose -11*l - 28 - 27 = 0. Put -7, 1, l, -1 in decreasing order.
1, -1, l, -7
Suppose 216 - 44 = u. Let j be -2 - ((-2)/15 + u/(-60)). Put j, 0, 27 in decreasing order.
27, j, 0
Let x(s) = -s - 3. Let t be x(-5). Let p(u) = -u**2 + 3*u + 1. Let g be p(4). Sort g, t, -1 in increasing order.
g, -1, t
Let x(t) = -t**2 + 12*t - 8. Let m be x(7). Suppose -14 + 7 = -c + 4*l, 2*c + 5*l - m = 0. Let n be -4 - c/((-253)/90). Put -2, 2/11, n in decreasing order.
2/11, n, -2
Let c be (-8)/(-80)*4*-1. Let l = 6.1 - 1.1. Sort 1, l, c in descending order.
l, 1, c
Suppose 5*u + x = 726, 240*u = 242*u + x - 291. Sort 4, u, 0.
0, 4, u
Let t be (-2 - -4)*(-4)/(-228). Let l = -105811 + 48249889/456. Let b = t - l. Sort -2, b, -0.2 in increasing order.
-2, -0.2, b
Let p = 6 + -3. Suppose -a = a - 94. Let w = a - 53. Sort w, -5, p in increasing order.
w, -5, p
Let l be (-24)/(-14) + -2 - 1947/(-77). Suppose -l = g - 6*g. Put 2, -3, g, 1 in descending order.
g, 2, 1, -3
Suppose 8*v = 30*v - 44. Sort 3/4, 1, 24, v in decreasing order.
24, v, 1, 3/4
Let q be (-25)/(-10)*(-1 + 2 + -3). Sort -10, q, 1.
-10, q, 1
Let h = 1375 - 1379. Sort -5, h, -0.025, -2/7 in decreasing order.
-0.025, -2/7, h, -5
Suppose 9*x - 9*x = -11*x. Sort 4, x, -32.
-32, x, 4
Suppose -14 = -4*o - 6. Suppose -f = -2*q + 4, q + o*f = -q + 10. Suppose 3*h + 0*i + 5*i - 43 = 0, -5*h - 2*i = -59. Put h, q, 4 in ascending order.
q, 4, h
Let f = 185 + -182. Suppose 4*k - 187 + 59 = 0. Let x be 10/f - k/(-48). Put -2, 3, x in decreasing order.
x, 3, -2
Let r = -21 + 3. Let g = 28.9 - 29.3. Put r, g, -2/13 in descending order.
-2/13, g, r
Let i = 4.2 + 0.8. Let p = i + -6. Let j = 0 + -5. Put 1/4, p, j in decreasing order.
1/4, p, j
Suppose 6*y = -9*y - 45. Let j be (1 + (-2)/3)*1. Put y, -4, j in decreasing order.
j, y, -4
Let v = 32.1 + -32.3. Let j = -5 - -9. Sort 0.05, v, j in descending order.
j, 0.05, v
Suppose -69*b = -70*b - 54. Sort -2, -0.1, b, 2.
b, -2, -0.1, 2
Let d = -8 + 9. Let l be (d/10)/((-4)/32). Sort 1, l, 2/9 in ascending order.
l, 2/9, 1
Let z = -3 - -2. Suppose 2*m - 4*l = -8, l + 21 = 5*m + 14. Let g(w) = -2*w - 7. Let i be g(-5). Sort m, z, i.
z, m, i
Let g = -71 + 68. Sort -1/4, g, -8 in decreasing order.
-1/4, g, -8
Let v = -0.0845 - -0.1045. Put v, -1/6, 4, -15 in increasing order.
-15, -1/6, v, 4
Suppose 0 = -5*s + 2*f + 18, -f - 12 = -0*s - 4*s. Let l be s/(24/(-10) + 2). Let b(w) = -66*w + 335. Let o be b(5). Sort 1, o, l in descending order.
o, 1, l
Let j = 2246 + -2269. Sort j, -4, -1, -5.
j, -5, -4, -1
Suppose 6*a + 6*a = -192. Let n = a - -18. Let x(r) = r + 2. Let y be x(-5). Put y, n, 4 in increasing order.
y, n, 4
Let d = 22 + -25. Let r = -445 - -669. Let c = r + -5150/23. Put -0.08, c, d in descending order.
c, -0.08, d
Let r = 6.02 - 8.02. Put 0.41, r, 1 in increasing order.
r, 0.41, 1
Let d(x) = x**3 + 21*x**2 + 23*x + 57. Let c be d(-20). Sort -4, c, 3, 2.
-4, c, 2, 3
Let y = 48 + -113. Let u = -68 - y. Let a = 196 + -1370/7. Sort u, a, 1.
u, a, 1
Let q(l) = -l**3 + 3*l**2 - 3*l + 3. Let r be q(2). Suppose -23*t = -15*t + 32. Put 2, t, r in descending order.
2, r, t
Let c(y) = y**3 + 11*y**2 + 9*y + 100. Let i be c(-11). Put -8, 13, i in ascending order.
-8, i, 13
Suppose -4*z = 12 - 36. Let h = 24 + -24. Put h, z, -1 in increasing order.
-1, h, z
Suppose 19*h - 24*h = -15. Put 2, 0, h in ascending order.
0, 2, h
Let y = 0.0122 + 0.6478. Sort -0.2, y, 2/7, 5/6.
-0.2, 2/7, y, 5/6
Let p be 240/45 - (-4)/6. Suppose p*s = 4*s - 18. Let i be 38/(-9) + (-2)/s. Sort -1, i, 5.
i, -1, 5
Let u = -1.981 - 0.019. Let l = -2.1 - -1.9. Sort 17, l, u.
u, l, 17
Suppose -2*n = -0*i - 2*i - 12, 4*i - 11 = -3*n. Let q = 1 + 3. Put i, q, 0 in decreasing order.
q, 0, i
Let k = -110 + 37. Let f = k - -75. Sort f, 4, -2 in decreasing order.
4, f, -2
Suppose 0 = -4*y + 13*y - 8*y. Let o = 3 + 2. Sort y, o, 2.
y, 2, o
Let u = 1068 - 4271/4. Put -10, u, 4, -0.5 in descending order.
4, u, -0.5, -10
Let t be 756/540*1*5. Sort -5, t, 34 in descending order.
34, t, -5
Let o(u) = -u**3 - 4*u**2 - 3*u - 4. Suppose -5*l - 6 = -3*l. Let k be o(l). Sort -1/10, -0.5, k in decreasing order.
-1/10, -0.5, k
Let o be 6/(-2) + (0/(-1))/(-3). Sort -7, -1, o, 1.
-7, o, -1, 1
Suppose 4*n = -c + 8 - 0, -3*c = -n + 2. Let a(v) = -v**2 + 20*v + 8. Let h be a(19). Let x be 12/h*45/10. Sort x, 3, c.
c, x, 3
Let s = -2579 + 2579.4. Sort -0.5, -3/23, s, -1/6.
-0.5, -1/6, -3/23, s
Let d = 165.1 - 161.1. Sort -0.4, -0.336, d in decreasing order.
d, -0.336, -0.4
Let b(w) = 2*w + 25. Let j be b(-14). Put 3, j, -4, 16 in decreasing order.
16, 3, j, -4
Let b = -0.0451 - 5.9549. Put b, 1/3, 0.1, 5 in ascending order.
b, 0.1, 1/3, 5
Let z = -161 + 1123/7. Let i = 3186 + -3183. Put i, 1, z in ascending order.
z, 1, i
Let q = 32.959 + 0.041. Let g = q - 32. Sort -5, 1/6, g.
-5, 1/6, g
Let h = 1476 + -1476.1. Suppose -2*g - 8 = 2*g. Let q be g/(-3) - (-2)/(-12). Sort 3, q, h.
h, q, 3
Let y be (9/45)/((-147)/(-70) - 2). Put y, -6, -5, 3 in increasing order.
-6, -5, y, 3
Suppose -2*w = 3*w + 40. Let o be 20/w - 2/(-4). Let r be -2*39/24 + 3/12. Put r, o, 4 in decreasing order.
4, o, r
Let v be -1 + (9/(-6))/((-3)/(-4)). Suppose 3*l - 10 = -2*l. Let w be (v/(-9))/(l/(-6)). Sort 5, -4, w in descending order.
5, w, -4
Suppose -51*m - 60 = -36*m. Suppose 4*u - 1 = b, 4*u + 6 + 18 = -4*b. Let h = -1 - u. Sort h, 5, m.
m, h, 5
Suppose -26 = -9*g - 8. Sort -36, -1, g in descending order.
g, -1, -36
Let h(k) = 4 + 3*k + k**2 + 4*k - 2*k. Let q be h(-4). Let m = -2132 + 2130. Sort q, -0.5, m.
m, -0.5, q
Suppose -89 = 15*l - 89. Sort 2, 1, -2/7, l.
-2/7, l, 1, 2
Let p = 5.3 + 88.7. Let a = p - 94.2. Put 4, 1/5, 0, a in descending order.
4, 1/5, 0, a
Suppose 2 = -s + 3*s. Suppose 0*b = 2*k - 2*b - 6, s = -b. Let u = 6 + -1. Put k, u, 1 in increasing order.
1, k, u
Let x(m) = -3*m**2 + 2*m + 2. Let p be x(-1). Let r = 10 - 7. Suppose 2*b = 5*b. Sort b, p, r.
p, b, r
Suppose -n = -82*n. Suppose 0*x + 3*r + 41 = 5*x, -2*x = 5*r - 35. Sort n, x, -1 in ascending order.
-1, n, x
Let i = -229/117 - -24/13. Sort i, 0, 3, -1/7.
-1/7, i, 0, 3
Let q = -652 + 646.06. Let x = 0.06 - q. Let c = x - 8. Sort 1/2, -2/3