. Let l = y - 0. Sort v, -1/6, l in descending order.
l, -1/6, v
Suppose 99*a - 85*a = -70. Let q(d) = -d**3 + 4*d**2 + d - 2. Let y be q(2). Suppose -y = 3*m - 2. Put m, -4, a in descending order.
m, -4, a
Let b(d) = 16*d**2 + 113*d + 12. Let s be b(-7). Let j be 9/(-3) + 1*5. Suppose -j*t - 2 + 4 = 0. Sort t, s, 2 in increasing order.
t, 2, s
Suppose 24*q = 13*q + 22. Put -3, -7, -1, q in decreasing order.
q, -1, -3, -7
Let s = -32 - -19. Put s, 2, -1 in decreasing order.
2, -1, s
Suppose 5*l + 3 = -22. Let y(p) = p**3 + 6*p**2 + 6*p + 8. Let s be y(l). Suppose 4*o + 1 = 5*a - 1, 0 = s*o - 6. Put 0, -2, a in descending order.
a, 0, -2
Suppose -5*f + 3*x - 10 = 0, 5*f + 4*x + 30 = 3*x. Put 50, f, 2, -1 in descending order.
50, 2, -1, f
Let b be -4 + (8 - -6) + 7. Sort b, -2, -1 in descending order.
b, -1, -2
Let u = 1314 - 1326. Put u, 1/12, -4 in decreasing order.
1/12, -4, u
Suppose 4*x + 5*l + 15 = 0, 4*l = -3*x + 7*l + 9. Sort 3, x, -11 in ascending order.
-11, x, 3
Let q = 10338 + -10334. Let u = 0.38 - 0.19. Sort -3, q, u.
-3, u, q
Let t = -11 + 11.5. Sort -2, -26, t in descending order.
t, -2, -26
Let o(z) = z - 4. Let y be o(6). Suppose k = -13 + 15. Let n be (y - (-6)/k) + 1. Sort 4, 5, n in descending order.
n, 5, 4
Let w be 1/(-4)*2 - (-30)/12. Suppose w*m = -2*b - 3 - 3, 0 = -3*b. Sort m, -4, 4, 3 in descending order.
4, 3, m, -4
Let z = -4 + 6. Let t be (-2)/(-4)*(z + -2). Let w(m) = 9*m**2 + 70*m - 70. Let j be w(1). Put t, -5, j in ascending order.
-5, t, j
Let r = -37 - -57. Suppose -7*y = -r*y + 52. Sort -2, y, 5, 3.
-2, 3, y, 5
Suppose 13 = 4*f + 17. Let c be 0/f - (1 - (2 + -2)). Sort c, -20, 3.
-20, c, 3
Suppose -2*q + 3 = y, -y + 2*q = 3*y - 22. Let c(k) = k**3 - 8*k**2 - 22*k + 21. Let f be c(10). Put 2, y, f in increasing order.
f, 2, y
Let r = 1810/221 - 108/13. Let l = -312 - -312.3. Sort l, -2/7, r in decreasing order.
l, r, -2/7
Let v = 1.37 - 1.37. Sort 5, v, -3 in decreasing order.
5, v, -3
Let f be 2/1 - (2 + 4). Let b be 0/(4/f + 2). Suppose b = -u - 3*u + 16. Put 3, u, -3 in ascending order.
-3, 3, u
Let i be -1 - (-36)/44 - (-84)/(-22). Let z be i/(-2)*30/(-20). Put z, 5, -4 in ascending order.
-4, z, 5
Let s = -8541/5 - -1711. Let k = 0.21 + -0.01. Put k, -0.4, s in descending order.
s, k, -0.4
Let t be (-4)/10 - (-3)/((-15)/203). Sort 1, 2/15, t in increasing order.
t, 2/15, 1
Let y(l) = l + 19. Let w be y(-13). Let m be -3*(-8)/w*1. Sort m, -1, 1 in ascending order.
-1, 1, m
Let g be (-25)/4 + 3 - (-12)/3. Put 5, g, 1 in increasing order.
g, 1, 5
Let a = -0.081 + -0.319. Let h be (2/(-30))/(2/4). Let p = -0.06 - 0.44. Sort a, h, p in ascending order.
p, a, h
Let p be 55/(-33) - (-1 + -1). Let v = 8 + -6. Sort v, p, -2/5, 1/2 in ascending order.
-2/5, p, 1/2, v
Let n = 508 + -507. Put -1, n, -4 in descending order.
n, -1, -4
Let n = 0.0363 - 0.3363. Sort -1/9, n, 0, -3/7.
-3/7, n, -1/9, 0
Let l(v) = -5*v**2 - 4*v + 2. Let b be l(-4). Let s = 308/5 + b. Suppose -3 = -q + 5*h, -q + 2*h = -0*q - 3. Sort -1, s, q in ascending order.
-1, s, q
Let c(f) = -f**3 - f**2. Let h be c(-1). Let u = -0.053 - 22.947. Let l = u + 23.1. Put h, 7/3, l in increasing order.
h, l, 7/3
Let u(p) = p**2 - 14*p - 32. Let d be u(16). Suppose 4 = g - d. Sort -3, g, 2.
-3, 2, g
Let y(o) = -82*o - 902. Let r be y(-11). Sort r, -35, 5 in increasing order.
-35, r, 5
Let k = 42 - 376/9. Suppose -2*r - 2*b + 2 = 0, 4*b - 4 = 3*r - 0*b. Let t be (-8)/(-12) + r/1. Put k, t, -0.2 in increasing order.
-0.2, k, t
Let u be 13 + 3 + -7 - -3. Let m be (44/u)/(3/18). Let z = -21 + m. Sort 0, -0.2, z.
-0.2, 0, z
Let f be (-13)/((-104)/(-16)) - (-1)/(-5). Put 0, 4, f in ascending order.
f, 0, 4
Suppose 0 = 21*i - 14*i - 112. Suppose -9*p = i + 2. Put -0.2, -0.1, 5, p in decreasing order.
5, -0.1, -0.2, p
Let a = 75.066 + -75. Let h be ((-468)/144 - -3)/((-2)/(-8)). Sort a, -3/8, h in decreasing order.
a, -3/8, h
Let q = -426 + 439. Put 4, q, -2 in decreasing order.
q, 4, -2
Let q = 0 + -3. Let o be (q/(-2))/(9/30). Suppose 2*d + 2*d = -5*a - 25, -20 = o*d - 5*a. Sort d, -1, 3 in descending order.
3, -1, d
Suppose 83*f = 80*f - 18. Sort f, 4, -5.
f, -5, 4
Let b be 48/9 - 2/6*-2. Suppose -90 = 3*z - 8*z. Suppose -2*h + b*q + z = 3*q, 2*q = 3*h - 17. Put h, 2, -4 in decreasing order.
h, 2, -4
Let b(w) = 13*w - 139. Let s be b(11). Let c = -1 - -3. Sort 3, s, c in decreasing order.
s, 3, c
Let i = -32 - -32. Let c be (6/5)/((-6)/990). Let t be (-2)/11 - (-756)/c. Put i, -3, t in ascending order.
t, -3, i
Let i = -2.48 - -2.18. Let b be ((-6)/(-4))/((-2)/4). Let l = b - -2. Sort l, -0.1, i in decreasing order.
-0.1, i, l
Suppose 0*s + s - 4 = 0. Let t be (-6)/s*((-52)/12 - -1). Sort t, 4, -6, 2 in decreasing order.
t, 4, 2, -6
Let t = 109/20 + -7023/140. Let j = t + 45. Let p = -6 - -5.7. Put p, j, -5 in increasing order.
-5, p, j
Let i(w) = -w**3 - 17*w**2 + w + 14. Let h = 30 - 47. Let p be i(h). Sort 0, p, 35 in increasing order.
p, 0, 35
Let g = -152.09 + 152.49. Let v be (0 - -1) + 0 + -1. Sort -6, g, 0.3, v.
-6, v, 0.3, g
Let c = 95 + -63. Suppose 31 - 11 = -5*t. Sort -2, t, c in decreasing order.
c, -2, t
Let r(u) = u**2 - 1 + 4 + 8 - 17*u + 0*u**2. Let d be r(16). Suppose -3*z + 3*g = 3, 0 = -2*z + 3*z + 5*g - 5. Sort z, d, 2 in decreasing order.
2, z, d
Let h = -37/138 - -10/23. Let z = 0.4932 + 0.0068. Sort z, h, 0.1, -0.4 in decreasing order.
z, h, 0.1, -0.4
Let z = 202 + -112. Let j = -89 + z. Put 0, 0.1, j in ascending order.
0, 0.1, j
Let y(g) be the first derivative of g**4/4 - g**3/3 + g**2/2 + 3*g - 1. Let w be y(0). Let j = -1983 + 1978. Sort j, w, -3 in increasing order.
j, -3, w
Suppose 4*c - 12 - 12 = 0. Suppose 70 = c*k - k. Let f be 2/(-4)*k - -2. Sort -3, -4, f in decreasing order.
-3, -4, f
Suppose 18 = -52*x + 61*x. Let w be 3/(2/(-4) - 1). Put w, 1, x, -1 in decreasing order.
x, 1, -1, w
Let w(f) = f**3 - 5*f**2 + 3*f - 12. Let h be w(5). Let t be (1/(h/9))/(6/4). Let o = 17 + -86/5. Put o, t, 0.02 in increasing order.
o, 0.02, t
Let n(m) = 2*m + 3. Let i be n(-3). Let v be (-11 - -2)*(-2)/i. Let s be v/(-45)*6/(-4). Put -2, -0.4, s in descending order.
s, -0.4, -2
Let w = -84 + 83.949. Let t = w + 3.051. Put -5, 5, 4, t in decreasing order.
5, 4, t, -5
Suppose 0 = 11*l - 6*l - 10. Suppose 4*d - 5*b + 125 = 0, -3*b - l*b = -2*d - 75. Let i = -25 - d. Put 3, 1, i in descending order.
3, 1, i
Let j = -3 + 2.946. Let k = j + -0.016. Let s = -3 - -5. Put -1, k, s in decreasing order.
s, k, -1
Let p = 4.5 + 15.5. Let z = -1569.06 + 1549. Let d = p + z. Put -4, -5/3, d in descending order.
d, -5/3, -4
Let l(c) = 4*c**2 + 11*c + 10. Let r be l(-1). Sort -4, 17, r, 2 in increasing order.
-4, 2, r, 17
Let c = -4.9256 - 0.0744. Put c, -51, 2 in descending order.
2, c, -51
Let l = -356 - -358. Put 0.3, -15, -2, l in decreasing order.
l, 0.3, -2, -15
Suppose 16 + 11 = 3*c. Suppose 15 = 14*k - c*k. Sort -16, -1, k, 0 in ascending order.
-16, -1, 0, k
Let j = 12569/14130 + -1/1570. Sort 3/7, 1/2, j in ascending order.
3/7, 1/2, j
Let t(d) = -2*d**2 - 2*d - 1. Let w be t(-2). Let s = 85.9 - 86. Sort s, w, -1 in descending order.
s, -1, w
Let c = 46 + -17. Let f = -34 + c. Put -0.8, 4, f in ascending order.
f, -0.8, 4
Let g be 76/646 - (-132)/34. Sort 7, 1, g in decreasing order.
7, g, 1
Suppose 4*g = -y + 86, -71*y = -75*y - 5*g + 344. Put y, -1, 3, 2 in ascending order.
-1, 2, 3, y
Suppose 31 = h + 29. Suppose 24*r - 28*r + 20 = 0. Sort h, r, 9, 4 in decreasing order.
9, r, 4, h
Let j be 2/(-4) - 1 - (-18)/12. Suppose 4*q + 28 = 4*i, 3*q = -0*i - 3*i - 3. Sort i, j, -1, 5 in decreasing order.
5, i, j, -1
Let i(a) = a**3 - 3*a**2 - 6*a + 6. Let x be i(4). Let o be (28/(-8) - -4)/((-2)/(-192)). Let l = 50 - o. Sort 5, x, l in ascending order.
x, l, 5
Suppose 2*w + w - 6 = 0. Suppose -3*l + w*l = 3. Sort l, 1, -4.
-4, l, 1
Let d = -8 - -7.85. Let i = d + -1.45. Let z = i - -1.3. Put 2, -0.5, z in ascending order.
-0.5, z, 2
Let i be 1/(-5) + 1278/90. Let b = 9 - i. Sort b, -0.5, 0.2 in increasing order.
b, -0.5, 0.2
Let b = -125/8204 - 6/293. Put -2/7, b, -4/7 in ascending order.
-4/7, -2/7, b
Let l = 533 - 531. Let r = -16 + 24. Suppose 5*q - 17 - r = 0. Sort l, q, 14 in decreasing order.
14, q, l
Let g be (-21)/3 - 2 - -15. Sort -4, g, -0.