v = v + 15. Suppose -22*u + 12*u + 20 = 0. Put v, -2/13, u in decreasing order.
v, u, -2/13
Let b = -0.034 - 0.066. Let s(p) = p + 2. Let q be s(5). Let o be -2 + q*(-1)/(-4). Put o, 0, b in decreasing order.
0, b, o
Suppose 5*p = -4*x + 1, x + 4*p = -0*p + 3. Put 0, x, 11 in descending order.
11, 0, x
Let z(l) = -l + 1. Let v be z(1). Suppose 9 = -3*h - v. Sort 3, 5, h in decreasing order.
5, 3, h
Suppose -5*y + 7 = -3. Suppose -2*c = 3*c + 25. Sort y, 3, c in increasing order.
c, y, 3
Let b = -0.3 + -0.2. Let j = 1.3 - 0.8. Let w = 0 + -0.2. Sort j, b, w.
b, w, j
Let v = -4036925 + 5651695237/1400. Let p = v - 5/56. Put p, 2, -0.3 in increasing order.
-0.3, p, 2
Suppose 4*s - x = x - 24, 3*x = 2*s + 20. Sort 1, 9, s in decreasing order.
9, 1, s
Let m = -13 + 9. Put -3, m, 1/2 in decreasing order.
1/2, -3, m
Suppose -3*t + 21 = i - 5, 19 = 2*t - i. Let s be (-34)/(-10) - t/3. Put -1/3, s, -3 in increasing order.
-3, -1/3, s
Let a = -12 + 8. Let u = 1 + a. Put 0.5, u, -0.1 in descending order.
0.5, -0.1, u
Let i(g) = -5*g**3 + 2*g**2 - g + 1. Let r be i(1). Put 2, 5, r in increasing order.
r, 2, 5
Let t(o) = 3 - 5 + 11 + 4*o - 3*o. Let w be t(-9). Sort 0.1, w, 1.
w, 0.1, 1
Let y = -0.18 - -2.18. Sort y, -0.5, -2 in descending order.
y, -0.5, -2
Let s = 30 + -30.1. Put s, -2/3, -0.5, 2 in ascending order.
-2/3, -0.5, s, 2
Let a = -10 - -13. Let q = 230 - 2532/11. Put q, a, 0.1 in increasing order.
q, 0.1, a
Let d(b) be the second derivative of -b**4/12 - 2*b**3/3 + b**2/2 + 4*b. Let z be d(-3). Put -4, -2, z in decreasing order.
z, -2, -4
Let f = 1.5 + -2. Let i = -39 - -38.9. Sort i, -1/9, f in decreasing order.
i, -1/9, f
Suppose z - 3*z + 18 = 0. Let y(t) = -t**3 + 10*t**2 - 8*t - 12. Let q be y(z). Sort -5, 0, q.
-5, q, 0
Let z = 72 + -218/3. Let a be ((-4)/6)/((-4)/6). Sort z, 4, a in descending order.
4, a, z
Suppose 5*l - 4*u + 27 = 0, 2*l = -5*u + 3*u. Sort 4, -15, l in increasing order.
-15, l, 4
Let k = -3 + 3.2. Let f = -139/21 + 19/3. Put -2/3, k, f in decreasing order.
k, f, -2/3
Let c = -1 - -3. Let y = 5 - c. Sort -4, -3, y.
-4, -3, y
Let h = 0 + -0.1. Put -0.3, h, 11 in descending order.
11, h, -0.3
Let u = 30 + -56. Let c = 30 + u. Sort -1, -0.2, c in descending order.
c, -0.2, -1
Let g = 5.2 + -2.2. Sort -2, 4, g in decreasing order.
4, g, -2
Let h = 7 + -12. Let y = 5.3 + h. Sort y, 0.4, -1 in ascending order.
-1, y, 0.4
Let x be (-55)/(-25) + 1/(-5). Let w be (5 - 3 - x) + 2. Sort 4, w, -3 in increasing order.
-3, w, 4
Let a = -130 - -125. Put a, -1.8, 0.2 in increasing order.
a, -1.8, 0.2
Let n(d) = -d**3 - 9*d**2 - 10*d + 1. Let j be n(-8). Let o = 2/451 + -23458/1353. Let c = j + o. Put 3/5, c, 0.3 in increasing order.
c, 0.3, 3/5
Let n = -512/5 - -7123/70. Let k = -1/42 + n. Sort k, 1, 0.5 in ascending order.
k, 0.5, 1
Suppose -4*d + 8 = -0*d. Sort 7, -2, d in decreasing order.
7, d, -2
Let f be 11 - (0 + -1 - 1). Suppose -5*b + 0*b - j = -f, 0 = -4*b + 2*j + 16. Sort b, -5, -2 in ascending order.
-5, -2, b
Let m = -3.4 - 0.6. Let x = m - -1. Sort 0.2, x, 2 in decreasing order.
2, 0.2, x
Suppose -3*c + 32 = 8. Sort -3, c, 2 in increasing order.
-3, 2, c
Suppose -15*f - 4 = -19*f. Put 23, 4, -4, f in ascending order.
-4, f, 4, 23
Let r(n) = n**2 - 15*n + 20. Let j be r(14). Suppose -5*v - 3*p - j = p, -3*p = -5*v - 13. Sort v, 5, 0.
v, 0, 5
Let v be 64/(-10) + (-24)/(-60). Put 2, v, 0, -2 in decreasing order.
2, 0, -2, v
Suppose 4 - 12 = 4*p. Sort 4, p, -1, 5.
p, -1, 4, 5
Let p be -7 - (-1 - 1*-1). Let s(d) = 7*d - 75. Let a be s(11). Sort p, a, -4 in decreasing order.
a, -4, p
Let z = 23.482 - -0.418. Let t = z - 24. Sort t, 0.5, 0.4.
t, 0.4, 0.5
Suppose 45 = 8*w + 5. Sort 11, 2, w in decreasing order.
11, w, 2
Let w = -69 + 139/2. Let k = 2 - 4. Sort 2/13, k, w in decreasing order.
w, 2/13, k
Let a = 3 + -2.9. Let c = 5.06 - 0.06. Put a, -5, c in increasing order.
-5, a, c
Let n be (1/(-2)*-6)/1. Let w be -31 + 20 - (-5 - 1). Sort 2, n, w.
w, 2, n
Let q be (-3)/(4/(-16)*-18). Sort -2, 4/5, q in descending order.
4/5, q, -2
Let u = -0.3 + 0.4. Let j = 0.04 + -0.54. Let f = 0.5 + j. Put u, -1/5, f in ascending order.
-1/5, f, u
Suppose -v = 4*j - 23, v + 0*j = 4*j - 1. Let b = v - 8. Let p = b - 0. Put p, 4, -4 in increasing order.
-4, p, 4
Let z(a) = a - 6. Suppose 2*i = d - i - 7, 11 = -d - 3*i. Let x(b) = -5. Let l(o) = d*z(o) + 3*x(o). Let m be l(-3). Sort m, 5, 4 in decreasing order.
5, 4, m
Let h = -2.35 - -21.25. Let s = h - 19. Put -1/2, s, 5 in descending order.
5, s, -1/2
Suppose -2*t - 2*t + 4*i = -32, 4*i = 5*t - 37. Let m = -20 - -13. Let l be (-2)/m - (-19)/7. Sort t, 1, l.
1, l, t
Let l = 15 + -11. Suppose 17 - 5 = l*v. Suppose 3*b - 4*r = 0, -v*r = 2*b + b + 21. Sort -1, b, 1 in increasing order.
b, -1, 1
Let z be (-1 + 3 + 3)/(-1). Let f be 8/(-6)*3/(-2). Suppose i - f*i + 2 = 0. Sort 5, i, z in ascending order.
z, i, 5
Let y be 6 + (48/(-4))/4. Let m be 0/(4/(-1*2)). Sort -5, y, m in increasing order.
-5, m, y
Let t = -8 + 25. Let q = 18 - t. Put -4, -1, q in decreasing order.
q, -1, -4
Let b be 16/72 + (-202)/18. Let r(a) = a**2 + 11*a - 4. Let n be r(b). Sort n, 5, -3 in decreasing order.
5, -3, n
Let g(t) = -t - 1. Let v be g(1). Let c be (-1 - 0) + (0 - v). Suppose 5*k = -4*z + 36 + 9, 0 = 2*k + 2*z - 20. Sort k, -1, c in increasing order.
-1, c, k
Suppose -4*s - 5*m = 76, -3*m = -4*s + 8*s + 76. Sort -1, 2, s in descending order.
2, -1, s
Let o be (-45)/(-39) - 4/26. Suppose 2*s = -5*v, -2*v = 5*s + 3*v - 15. Suppose 0 = -3*p + 2*t + 16, -3*p - s*t - 4 = -3*t. Sort o, -4, p in descending order.
p, o, -4
Suppose l = -0*l - 3. Let h = -83 + 77. Put 5, l, h in increasing order.
h, l, 5
Let q = 5 + -1. Let x = 14 + -9. Let y = -8 + x. Sort q, y, 1.
y, 1, q
Suppose -4*t = 2*q + 8, -17 = -q + 4*t + t. Let x = 0.25 - 0.32. Sort x, q, -1 in increasing order.
-1, x, q
Suppose -3*p = -7*p. Let x(k) = k**2 - k - 2. Let b be x(p). Let u be (-1*(0 - 1))/(-1). Put -5, b, u in descending order.
u, b, -5
Let p(d) = -d**2 - 3*d - 3. Let w be p(-2). Let f = 5 + w. Sort f, 7, -2 in descending order.
7, f, -2
Let w = 8 + -6. Let j be 3/2*24/(-18). Put j, -5, w in decreasing order.
w, j, -5
Let b = 0.3 + -0.4. Sort 3, 2/11, 0.3, b in increasing order.
b, 2/11, 0.3, 3
Let d = -5 - -4. Suppose 35 = 2*a + 2*i + 3*i, -3*a - 2*i = -25. Sort -2, d, a in increasing order.
-2, d, a
Let f be -3*((-2)/(-6) - 1). Let n be -1 - -2 - 3*-1. Suppose -u = n*u. Put -1, u, f in increasing order.
-1, u, f
Let v = 22 - 15. Suppose 0 = t - v + 2. Suppose -5*s - w = -3*w + t, 0 = -3*w + 15. Sort s, -4, 2 in ascending order.
-4, s, 2
Let h(k) = k**2 + 6*k + 3. Let y be h(-5). Sort y, -7, 1, 2 in decreasing order.
2, 1, y, -7
Let i(f) = f**3 + f + 2. Let q be i(0). Sort q, 0.3, 0.4 in descending order.
q, 0.4, 0.3
Let m be 5/((-4)/(-8)*-2). Put 1, m, -3 in ascending order.
m, -3, 1
Let g(b) = -b**3 - 10*b**2 - b - 14. Let i be g(-10). Put i, -1, -11 in increasing order.
-11, i, -1
Let m = -11 - -11. Sort 3, -4, m, -16 in decreasing order.
3, m, -4, -16
Suppose -4*d = -0*d - 4*n + 12, d = 2*n + 2. Put -3, -2, d in descending order.
-2, -3, d
Let o be (-3)/(-6) - 181/(-8). Let z = o - 23. Let y(t) = 2*t**2 - 5*t + 2. Let n be y(3). Sort n, z, -0.2.
-0.2, z, n
Suppose 2*z - 8*z = -12. Suppose 2 + 8 = -2*t. Put z, t, -3 in increasing order.
t, -3, z
Let f be ((-4)/(-3) + -2)*3/(-8). Sort -3, -0.7, -3/5, f in decreasing order.
f, -3/5, -0.7, -3
Let n = -0.05 + -1.95. Suppose 0 = -3*s + 35 - 38. Let v = 2 + -2.2. Put s, n, v in decreasing order.
v, s, n
Let z be (-3)/1*7/3. Let h = 5 + z. Sort h, -0.1, 3 in increasing order.
h, -0.1, 3
Let t = 0 + -1. Let w = -29 + 27. Sort t, w, 3 in increasing order.
w, t, 3
Let r = 0.2 - 4.2. Put -0.1, 4, r in decreasing order.
4, -0.1, r
Suppose z - 4 + 3 = 0. Let m be z + (2 + 1 - 6). Let x(s) = -s**2 + 2*s + 3. Let j be x(-2). Sort m, -3, j in descending order.
m, -3, j
Let j = 0.01 + 0.05. Let w = -0.0076 + 4.0676. Let a = w - j. Sort -5, a, 2 in decreasing order.
a, 2, -5
Let q = -6.8 + 47.8. Let l = -38.1 + q. Let b = l + -3. Sort 0.2, b, 1.
b, 0.2, 1
Let x(j) = -6*j - 1. Suppose -7 = 4*h + 1. Let i be x(h). Suppose -2*p = l + 2*p - 13, -5*l + i = 2*p. Put 5, 0, l in descending order.
5, l, 0
Suppose 0