
Let u = -14 + 19. Let n(q) be the first derivative of -q**4/4 + 4*q**3/3 - q**2/2 + q + 2. Let l be n(4). Put u, -2, l in decreasing order.
u, -2, l
Suppose 2*s - 21 = 9*s. Sort s, -2/9, -0.3, -0.1.
s, -0.3, -2/9, -0.1
Let h be 1/6*36/(-27). Put 0, -1, h in increasing order.
-1, h, 0
Suppose -10*c + 354 = -12*c. Let z = 1237/7 + c. Sort 1/3, -1/7, z in descending order.
1/3, -1/7, z
Suppose 0 = -9*s + 4*s - 5. Suppose 0 = -t + a + 1 + 1, -3*t - 5*a = -30. Sort t, -4, s in ascending order.
-4, s, t
Let v be (-1)/3 - (-39)/9. Sort v, 4/5, -0.04 in decreasing order.
v, 4/5, -0.04
Let p(b) = b**3 + 5*b**2 + 3*b + 6. Let s be p(-4). Suppose 5*v = -k + s, 0*k = v + k - 6. Let q = 0 + v. Put 4, q, 2 in increasing order.
q, 2, 4
Suppose 10 = -m + 5*v - 10, -2*m + 20 = 5*v. Put 1, 9, m in descending order.
9, 1, m
Let n = -16 - -21. Sort -4, -1, n in ascending order.
-4, -1, n
Suppose -5*w = -4*z - 0*w + 33, 2*w + 6 = z. Let l = z - 4. Put 3, l, -2 in ascending order.
-2, 3, l
Let q = 357 + -359.01. Let l = q - -0.01. Let u = 2 - l. Sort u, 1, -0.2 in ascending order.
-0.2, 1, u
Suppose -2*z = -0*w - w + 7, -3*z = 2*w. Suppose -18 + 3 = 4*x - 5*q, -5*x + 2*q = 23. Sort x, w, 2.
x, 2, w
Let q be ((-8)/18)/(-1 - 1). Let b = 52 - 209/4. Sort q, 2, b in increasing order.
b, q, 2
Let w = -0.11 + 4.11. Let c = 2 + 6. Let j = w - c. Put j, 0.3, 3 in descending order.
3, 0.3, j
Suppose -4*d = -5*u - 9, -4*d - 1 + 4 = u. Let f be (-16)/(-4) + u*3. Sort f, 1/5, -2 in descending order.
f, 1/5, -2
Let j = -94 + 104.2. Let d = -10 + j. Put d, 4, -1/7 in increasing order.
-1/7, d, 4
Let d = 1 - 1.3. Let i = 0.5 + d. Suppose -l + o = 3*l - 8, -2*o - 6 = 2*l. Sort i, -1/4, l in descending order.
l, i, -1/4
Let g(t) = -t**2 - 7*t + 2. Suppose -2*u + 25 = -7*u. Let n be g(u). Let r be ((-27)/n - -1)*-4. Sort -3, -4, r in descending order.
r, -3, -4
Let w = 11 - 5. Let f = -6 + w. Sort 2/3, f, -2/3 in descending order.
2/3, f, -2/3
Let s = 5.5 - 0.5. Sort -7, s, -0.3.
-7, -0.3, s
Suppose 5*o - 10 = -0. Suppose 0 = 7*x - 9*x + 6. Suppose d - 8 = -o*s + x*s, 36 = 4*d - 5*s. Sort d, -3, -2 in descending order.
d, -2, -3
Suppose -12 = -2*z + 5*z. Put 2, -1, z, 0 in increasing order.
z, -1, 0, 2
Let r(u) = 2 - 1 - 3*u + 2*u. Let o be r(-1). Let x(q) = -2*q**2 + 5*q - 2. Let t be x(3). Sort 4, o, t in descending order.
4, o, t
Let l = -1.2 - 3.8. Sort -1/7, l, 3, -3 in decreasing order.
3, -1/7, -3, l
Let c be ((-69)/(-46))/(6/8). Put 5, c, 0 in descending order.
5, c, 0
Suppose 15 = -2*q - 5*i, -q + 15 = 3*q - 5*i. Let g be q + -2 - (1 + 0). Let c = g + 7. Sort -2, c, 1 in increasing order.
-2, 1, c
Let u = 11 - 1.2. Let r = 0.2 + u. Let f = r - 10.5. Put 1, f, -0.4 in increasing order.
f, -0.4, 1
Let l = 2.9 - 1.9. Let w = 0 - 1. Let i = -11 + 11.5. Sort w, l, i in ascending order.
w, i, l
Let z = -7 - -7.03. Let n = z + 0.27. Let b = 0.03 + -3.03. Put -2/3, b, n in descending order.
n, -2/3, b
Let t(a) = -16*a - 94. Let j be t(-6). Sort -3, 4, j, -12.
-12, -3, j, 4
Let f be ((-8)/(-10))/((-8)/(-20)). Suppose -n + f = -0. Let a(z) = -z**3 - z - 2. Let s be a(0). Sort s, n, 5 in ascending order.
s, n, 5
Suppose -k = 4*z - 1033, 4*k - 2*z = -0*k + 4222. Suppose -r = -4*r + k. Let y = 5965/17 - r. Put -1, y, 4 in descending order.
4, y, -1
Let r = -0.08 + 0.38. Let v = 305/4 - 76. Sort -2, v, r in ascending order.
-2, v, r
Suppose -3*w + w = -4*f + 8, 3*f - 16 = -w. Let h = w - 8. Suppose -3*k - 18 = -0*k - o, 12 = 4*o. Put k, h, 0 in ascending order.
k, h, 0
Suppose 1 - 17 = 2*j + 4*k, -3*j + 5*k - 24 = 0. Let p = 11 + j. Let u be 3/p + 4*1. Put 0.3, u, -3 in descending order.
u, 0.3, -3
Let h = -0.2 - -0.5. Let a = 0.7 + -4.7. Sort h, a, 4.
a, h, 4
Let i = 0.24 - -3.76. Sort -4, 1/12, i in ascending order.
-4, 1/12, i
Let q = 4 + -11. Let n be q/((-35)/(-2))*10. Put 11, 2, n in increasing order.
n, 2, 11
Let n = 1 - 0.6. Let a be (24/4 - 0)/(9/(-6)). Put n, a, -1/2 in decreasing order.
n, -1/2, a
Suppose -2*s - 2*b = -4, 3 = -0*b + b. Put 0, s, -4 in decreasing order.
0, s, -4
Let i(m) = 2*m**2 + 19*m - 15. Let a be i(-10). Sort 0, a, 4, -2.
a, -2, 0, 4
Let k be (-208)/(-40) - (-2)/(10/(-1)). Put 6, -3, k in increasing order.
-3, k, 6
Let k = -15 + 27. Suppose -4*h = -k*h - 40. Put -2, h, -1 in decreasing order.
-1, -2, h
Let k = -2 + 5. Let w = -2 + 2.5. Sort w, k, 2/7 in ascending order.
2/7, w, k
Let s = -13.2 - -13. Sort s, 1, -0.4 in decreasing order.
1, s, -0.4
Let x be 3*(0 - 2/(-3)). Suppose -54*k - 2*l = -58*k - 30, 5*k + 5*l = 0. Put -2, x, k in descending order.
x, -2, k
Let x = 3.7 - 1.6. Let j = -2.07 - -0.07. Let u = x + j. Sort u, 0.4, 5 in decreasing order.
5, 0.4, u
Let k(h) = h**2 - 6*h - 4. Let j be k(0). Let t be (-2 - -3)/(-1) + -2. Put -5, t, j in ascending order.
-5, j, t
Let v = -0.6 - -0.2. Let c = 6 + -11. Sort v, 3, c in descending order.
3, v, c
Suppose -4*l + 0 = 8. Put 1, l, 6 in ascending order.
l, 1, 6
Let j be (4 - 1) + 24/(-7). Put 4, -0.2, j in decreasing order.
4, -0.2, j
Suppose -4*q + 5 = -5*b - 5*q, 0 = 4*b - q - 5. Sort 6, -1, b in decreasing order.
6, b, -1
Let c = 0.166 - -0.034. Put 6, -5, -3, c in descending order.
6, c, -3, -5
Suppose -3 = -n - 0*n. Suppose 0 = -5*c + 5*v - 10, 2 = -c - 0*v - 3*v. Put n, c, -3 in ascending order.
-3, c, n
Suppose -2*a + 20 = -6*a. Sort a, 5, 2 in increasing order.
a, 2, 5
Let g be 51/4*(2 - -2). Suppose 11 = -h - g. Let o = h + 308/5. Sort -1, o, 4/3 in descending order.
4/3, o, -1
Let u be 3/(-3)*14/(-1). Suppose i = -0*i - 3*c + u, 8 = -3*i + c. Put -4, -3, i in decreasing order.
i, -3, -4
Suppose -m - 5*z = -5, -4*m + 4*z = 2*z + 2. Suppose t - 4*t + 6 = m. Sort t, 0.09, 2/9.
0.09, 2/9, t
Suppose 0 = 21*y - 12*y - 9. Suppose -4*x - 13 = 7. Put 4, y, x in descending order.
4, y, x
Suppose 0 = -3*c + 4*z + 22, -2*c + 2 = 3*c + 2*z. Sort -3, c, 3, -4 in decreasing order.
3, c, -3, -4
Let s = -69 - -77. Sort -5, s, 1, 3.
-5, 1, 3, s
Let f be 44/(-6) - (3 + (-100)/30). Put 0, 4, f in increasing order.
f, 0, 4
Let u = 8/33 + -52/33. Put -1, -0.5, u in descending order.
-0.5, -1, u
Suppose -u - 5 = -4. Let o be (9/(-3) + u)/1. Let l = -10 - -14. Sort o, 1, l.
o, 1, l
Suppose -12 = u - 5*u. Let z(g) = -g**3 + 7*g**2 - 6*g. Let m be z(6). Suppose m*i = u*i. Put 2, i, 3 in increasing order.
i, 2, 3
Let p = 5.05 + -0.05. Let l = -70 + 67. Put l, -5, p in increasing order.
-5, l, p
Let z be (-76)/(-6) - 4/6. Put z, -2, 2 in decreasing order.
z, 2, -2
Let m = -0.193 - -0.593. Sort 0.3, -4, m.
-4, 0.3, m
Suppose 4*h + 23 - 43 = 0. Let c be (3 + -1)*1 + 0. Sort -4, h, c in descending order.
h, c, -4
Let r = 13 - 9. Sort r, -1, -2.
-2, -1, r
Let x = 19 - 18.8. Sort -0.3, -5, x in increasing order.
-5, -0.3, x
Let t be (-54)/(-10) + 6/(-15). Let q(u) = u - 9. Let c be q(11). Suppose c*n - 3 = n. Put 0, n, t in decreasing order.
t, n, 0
Let c be 5/10*(3 + -2). Sort c, 0.3, -3 in decreasing order.
c, 0.3, -3
Suppose y - 4*y - 4*a + 17 = 0, 4*y - 5*a = -29. Sort 3, y, 0 in decreasing order.
3, 0, y
Let u = 9 + -7. Suppose u*n + 12 = -3*r, 5*n = -5*r - 7 - 18. Put -5, 2, r in decreasing order.
2, r, -5
Let k = 2/275 - 564/1925. Let c = -2.7 + 7.7. Sort -5, k, c in descending order.
c, k, -5
Let n = 18 + -15. Sort n, -1/3, -2/5 in descending order.
n, -1/3, -2/5
Let u be (-2)/(-3) - 1/(-3). Sort -3, u, -5.
-5, -3, u
Let y(c) = -c + 9. Let f be y(4). Put 8, -1/5, f in increasing order.
-1/5, f, 8
Let f = -7.8 + 7.8. Let n = 5.3 + -0.3. Sort n, f, -5 in ascending order.
-5, f, n
Let p be (-4)/22 + 196/(-11). Let q be (-3)/(-3 + p/(-4)). Suppose -k + 4*c = k + 8, 4*k + c - 20 = 0. Sort k, q, -1 in decreasing order.
k, -1, q
Suppose 4*a + 2*z - 9 = 5, -4*a - 21 = -5*z. Sort -5, -2, a, -1 in decreasing order.
a, -1, -2, -5
Let x(k) = -2*k**2 + 0*k**2 + k - 26*k**3 - 3*k + k. Let q be x(-1). Suppose m - q = -4*m. Put m, 0, 2 in descending order.
m, 2, 0
Let w = 4 - 3.7. Let o = w + 0.7. Let p = 0 + o. Sort 0, -0.2, p in decreasing order.
p, 0, -0.2
Let i be ((-8)/10)/(5 + 1). Let b = 52 + -311/6. Sort b, i, -0.2 in increasing order.
-0.2, i, b
Suppose 3*q - 5*x = 16, -2*q + 0*q - 5*x - 6 = 0. Let t = 4 + -2. Suppose 3*u - t = 1. Put 0, q, u in increasing order.
0, u, q
Let l(z) = 5*z - 20. Let k be l(3). Sort -3, -4,