 a(-7). Suppose -2*t - 2*w + 1 = 7, z = -5*w. Put 2, 0.1, t in decreasing order.
2, 0.1, t
Let q = -0.85 + 0.15. Let o = q + 0.3. Sort o, 3, -2 in decreasing order.
3, o, -2
Suppose 2*b = -6, -4*p + 2*b + 4 = -2. Suppose n + 3*n - 264 = p. Let g be (-6)/21 - n/14. Put 4, 3, g in ascending order.
g, 3, 4
Let d = -7 + 11. Let u(k) be the first derivative of -k**2/2 + 9*k + 4. Let z be u(14). Sort 1, d, z.
z, 1, d
Let n = -2 - 0. Sort 0.4, 0.2, n in ascending order.
n, 0.2, 0.4
Let a = 1 - 2. Suppose 10*t - 6*t = -28. Put t, 2, a in descending order.
2, a, t
Let g = -4 + 8. Let m = -12 + 12.2. Sort g, -2/7, m in decreasing order.
g, m, -2/7
Let o be (-23)/7 - (7 - 6)*-3. Let k = 2.1 + -2. Sort 0.3, o, k in descending order.
0.3, k, o
Let g = -6 + 8. Let k be 5/2*4/(-15). Put k, g, -5 in decreasing order.
g, k, -5
Let m = -3.4 + 3. Let l = 0.5 + -0.1. Let h = m + l. Put h, 0.3, 4 in decreasing order.
4, 0.3, h
Let o = 0.44 + -2.44. Put -5, -0.3, o, 6 in descending order.
6, -0.3, o, -5
Let q be 11/6 - (-4)/(-12). Let g = 69 - 277/4. Put g, -0.5, q in increasing order.
-0.5, g, q
Let b = 3.5 - 3.3. Put -1, b, -0.05 in descending order.
b, -0.05, -1
Let c(t) = t**3 + 3*t**2 - 2*t - 1. Let f be c(-3). Suppose -1 - f = -2*i. Let s = 7 + -12. Sort 1, i, s in ascending order.
s, 1, i
Let a(r) = r**3 + 4*r**2 + 3*r + 1. Let w be a(-3). Suppose -4*y - 13 = -3*y. Let f be y*(-1)/(-15) + w. Put -1/4, f, 0.2 in descending order.
0.2, f, -1/4
Let u be (-4)/6 + (-32)/(-12). Sort u, 0, 5.
0, u, 5
Let d = -5 - -10. Let s = 3 - 4. Sort d, s, -2 in ascending order.
-2, s, d
Suppose 0 = -5*u + u. Let o(z) = 9*z + 48. Let a be o(-5). Put a, u, -1 in ascending order.
-1, u, a
Let t be (27/(-6))/3*3/45. Sort 2/17, -5, t in decreasing order.
2/17, t, -5
Let m be ((-1)/(-2))/((-3)/(-30)). Suppose 3*u + 3*i + 25 = -2, 4*i = 2*u - 6. Let d = u - -2. Sort m, -2, d in ascending order.
d, -2, m
Let k = -0.8 - -1. Put -1/5, 1, k in descending order.
1, k, -1/5
Suppose h + 4 = -0. Put -3, h, 4 in decreasing order.
4, -3, h
Let o = -55 - -57. Put 2/7, 1/6, o, 3 in ascending order.
1/6, 2/7, o, 3
Let o be 9/6*(-1)/3. Let m = -95.9 - -96. Put m, 2/9, o in increasing order.
o, m, 2/9
Suppose -3*g = -4*d - 40, 3*g - d - 49 = -g. Let z(i) = i + 5. Let n be z(-5). Suppose n = -4*t - 0*t - g. Put 0, 3, t in descending order.
3, 0, t
Suppose 0 = -0*m - m + 7. Sort m, 3, -1.
-1, 3, m
Suppose -2*l = -5*u + 10, -4*l = 4*u + 4 + 16. Suppose -2*c - 2*y - 4 = 2*y, 0 = -5*y - 5. Suppose -f - 7 = -4. Sort c, l, f in decreasing order.
c, f, l
Let f = -4 + 1. Let d = 0.4 - 0.29. Let i = d + -0.01. Sort f, i, 2 in increasing order.
f, i, 2
Let k = 19 + -33. Let t = 18 + k. Let l = -8 + 5. Sort t, -1/2, l in decreasing order.
t, -1/2, l
Let v(i) = -i**2 + 9*i + 3. Let q be v(9). Suppose -3*u - q = -2*x - 7, -5*u + 8 = -2*x. Let h = 9.4 - 9. Sort h, 5, u in ascending order.
h, u, 5
Let h = -2 - 2. Let r(q) = -q**3 - 2*q**2 + q. Let x be r(1). Let s = x + 1. Put h, s, 2 in ascending order.
h, s, 2
Let w = 8 - 5. Suppose 0*s - w*s + 3 = 0. Let z = -3 - s. Put -2, 4, z in descending order.
4, -2, z
Let k = 0 - -1. Suppose d - 3*o = 5, -d - 5*o + 11 - 30 = 0. Put d, k, 0 in descending order.
k, 0, d
Let s = -2.2 - -10.2. Let v = s + -8.4. Sort -3, -0.2, v in increasing order.
-3, v, -0.2
Suppose 2*z - 23 = -5*k, 7*z = 3*k + 2*z + 11. Sort 0.5, k, 2/3, 0 in descending order.
k, 2/3, 0.5, 0
Let w(i) be the second derivative of -i**3/6 - 2*i**2 - 4*i. Let t be w(-7). Put -3, 5, t in descending order.
5, t, -3
Let w = 36 - 6. Let t = 9 - 12. Let u be (4/w)/((-2)/t). Sort 5, u, -5 in descending order.
5, u, -5
Let s = 3 + -5.4. Sort s, -0.4, 2 in increasing order.
s, -0.4, 2
Let d(o) = -o. Suppose n - 5 = 2*z, -4*z = -n + z + 14. Let j be d(n). Sort 3, -1, j in ascending order.
-1, j, 3
Let o be 15/5 - (2 + 0). Suppose -5*r + 5*k = -5, 2*r + o = 5*k + 3. Let c(h) = -2*h**3 - h**2 + h. Let t be c(1). Put r, -4, t in ascending order.
-4, t, r
Let w = 5.09 + -0.09. Let v = w - 4. Sort 2, -5, v.
-5, v, 2
Suppose -o + 3 = 2*o. Let x = o + 2. Put 2/7, -4, x in descending order.
x, 2/7, -4
Let l be ((-1)/(-1))/((-15)/90). Sort -2, l, 1 in decreasing order.
1, -2, l
Let a(s) = 3*s**2 + s + 1. Let f be a(-4). Let w be 1/f + 4/20. Let l = -1.3 + 0.3. Put w, l, 1/4 in descending order.
1/4, w, l
Suppose 0*m - 2*m - 2 = -5*v, -3*v + 18 = 3*m. Let n be (-2)/3 - 28/12. Sort m, n, 5.
n, m, 5
Suppose 5*d - 20 = -0. Let p = 0.72 - -0.08. Let l = 0.8 - p. Put l, d, 2/7 in decreasing order.
d, 2/7, l
Let p = -17 + 17. Suppose -4*k + 11 = 3*j, p = 3*k - 3*j + 9 - 33. Sort k, 3, 0.4 in increasing order.
0.4, 3, k
Let q(i) = i**3 + 4*i**2 - 7*i + 2. Let w be q(-5). Let x(h) = -h**3 + 12*h**2 - 12*h + 15. Let d be x(11). Put d, w, -3 in descending order.
w, d, -3
Let k = -3 - -3. Let r = -4 + k. Suppose 4*c - 2 = 2*n, 0 = -3*c + 7 - 4. Sort n, 0, r in increasing order.
r, 0, n
Suppose -3*n - 10 = n - 3*z, 5*n - 5 = -5*z. Let d be (-22)/(-8) + (-1)/(-4). Put n, d, 4 in descending order.
4, d, n
Let m = 3 - 2.8. Let v be (-1)/(1 + -7)*-2. Sort v, -5, m.
-5, v, m
Suppose 0 = 2*u + 3*u. Let s(v) = 2*v**3 - 4*v**2 + 3*v - 1. Let j be s(2). Suppose 0 = -j*t - 5 - 0. Sort t, -4, u in decreasing order.
u, t, -4
Suppose 2*o = 3 + 13. Sort -3, o, 5 in decreasing order.
o, 5, -3
Suppose 3*n - 4*x - 5 = 0, 0 = -5*n + x + 2*x - 10. Put -4, 0, n in increasing order.
n, -4, 0
Let z = 4 - 3. Put 0.4, -0.2, z in descending order.
z, 0.4, -0.2
Let q = 2.9 + -2.5. Put -0.06, q, 1/6 in descending order.
q, 1/6, -0.06
Let x = 0.035 + -0.365. Let t = 0.07 - x. Let a = 0 - t. Put -0.3, 3, a in decreasing order.
3, -0.3, a
Let i = 13 - 11. Sort 5, i, 3 in descending order.
5, 3, i
Let o = -1039/7 + 149. Sort o, -3, -2/11.
-3, -2/11, o
Let r = 4 + -3. Put r, -2, 4 in increasing order.
-2, r, 4
Let l = 43 + -19. Suppose 0 = -2*d - 2 - l. Let k = d - -18. Put k, 1, 3 in decreasing order.
k, 3, 1
Let a(j) = 1. Let p(s) = s - 4. Let c(m) = 6*a(m) + p(m). Let g be c(-4). Sort -0.5, 0.3, g in increasing order.
g, -0.5, 0.3
Let v be 3/9*(7 - 4). Let m(h) = -h**2 + 8*h - 7. Let n be m(6). Suppose 25 = 2*u + 3*u + 5*f, 3*f = n*u - 1. Sort u, -5, v in descending order.
u, v, -5
Let m be -3 + 3 + 6/15. Let b = 26 - 26.4. Put 3, b, m in decreasing order.
3, m, b
Let y(v) = -v - 6. Let a be y(-8). Suppose n - 3 = -a*d, 0 = 3*n - 2*d + 1 - 2. Sort n, 2, 4 in descending order.
4, 2, n
Let g = 0.01 + -0.12. Let o = -0.04 - g. Let d = o + -0.07. Sort d, -3, 3.
-3, d, 3
Let f = -1 + 0.94. Let v = 0.24 - f. Let k = -3.2 - -3. Put v, 1/6, k in decreasing order.
v, 1/6, k
Let c = 1 + -1.1. Suppose 2*n + 6 = -4*z, z - 10 = 4*n + 11. Let u = -3950/19 + 208. Sort n, u, c in descending order.
u, c, n
Let m = 196.99 - 197. Put 3, 0.1, -2/7, m in increasing order.
-2/7, m, 0.1, 3
Let f be (-3 + 3)/3 + 5. Put -5, f, 3 in decreasing order.
f, 3, -5
Let s = 2 - 7. Sort s, 10, 4 in increasing order.
s, 4, 10
Let d(h) = h**2 - 5*h + 2. Let x be d(4). Suppose -20 = u - 5*u. Let i = 7 - 11. Sort u, x, i in decreasing order.
u, x, i
Let h = -0.06 - -0.05. Let a = h + 0.21. Sort -0.1, a, 5 in decreasing order.
5, a, -0.1
Let l(k) = -k - 6. Let j be l(-6). Sort -6, -1, j.
-6, -1, j
Let a = 0.6 - 0.7. Sort a, 0.3, 3 in descending order.
3, 0.3, a
Let b be (-3)/9*8/(-4). Sort -1/4, -4/7, b in decreasing order.
b, -1/4, -4/7
Suppose 0 = 3*y - 3*f, 3*y + 4*f - 24 = 4. Suppose -2*c + 8 + 3 = -3*d, 0 = 5*c - 3*d - 5. Put c, y, -1 in decreasing order.
y, -1, c
Let v be 15/(-10) - -21*1/2. Sort -1, -4, v.
-4, -1, v
Let k = -91 - -91. Sort 2/7, 2, 0.5, k.
k, 2/7, 0.5, 2
Let u(b) = -b**3 + 10*b**2 - 8*b + 4. Let y be u(9). Put -4, y, 2, -2 in descending order.
y, 2, -2, -4
Let q = -0.13 + -0.37. Sort 3, q, -2/9.
q, -2/9, 3
Let q = -0.9 + 1. Let p = 38.939 + 0.061. Let t = p - 39.3. Sort 1/2, q, t in decreasing order.
1/2, q, t
Let x = 7 + -4. Let g be (-1)/(-6)*x*-2. Let n be 2/(-5) + 36/(-10). Put n, g, 3 in decreasing order.
3, g, n
Let b = 12.5 - 15.5. Sort -2/17, -0.9, b in decreasing order.
-2/17, -0.9, b
Let c be 2/(-4) + (-3)/6. Let v be 4/(-3)*(-3)/2. Suppose v*u = 2 + 6. Sort u, -4, c in decreasing order.
u, c, -4
Let d(m) = -m**2 + m + 3. Let c be d(0). Suppose 4 = c*n + 7. Sort n, 5, 