 Let r = p + v. Put -5, -3, r in decreasing order.
r, -3, -5
Let i(g) = -g. Let u be i(-6). Suppose u - 2 = 2*j. Put j, 0, -2 in descending order.
j, 0, -2
Let a = 0.6 - 2.1. Let g = -1 - a. Let r = 5 - 4. Put r, 4, g in increasing order.
g, r, 4
Let f = -3 - -6. Let y = -0.06 - -4.06. Put -1/5, f, y in decreasing order.
y, f, -1/5
Let l = 45 - 47. Sort l, -5, 3.
-5, l, 3
Suppose -k + 2*k - 7 = -3*j, -5*k = -5*j - 15. Suppose -2*h + 3*v = 0, 0 = -0*v - v. Put h, j, -1 in decreasing order.
j, h, -1
Suppose 4*r + r = -5. Let j be ((-28)/3)/(r/3). Suppose -5*s = 3*a - j, 0 = 3*s - 10 - 5. Put a, 0, 4 in ascending order.
0, a, 4
Let q(j) = 3*j + 2. Let d be q(-2). Let r = -49 + 53. Sort -1, r, d in descending order.
r, -1, d
Let s = -4 - -14. Suppose -6*r + 4*r - j + s = 0, 4*r - 2*j = 12. Sort 0, 2, r in descending order.
r, 2, 0
Let b = -15 + 9. Sort 3/4, b, 4/3 in decreasing order.
4/3, 3/4, b
Let n = 4.05 - 0.05. Put 0.3, -2/9, n in increasing order.
-2/9, 0.3, n
Suppose -6*b + 2 = -4*b. Suppose 0 = -o + b. Sort -1, o, 5 in ascending order.
-1, o, 5
Suppose 5*n = 4*n + 5. Let o(w) = w**2 - 10*w - 8. Let z be o(11). Suppose 5*x + z + 2 = 4*a, 4*x + 4 = -4*a. Put 1, n, a in descending order.
n, 1, a
Let g be (-1)/((1/12)/(-1)). Suppose -g = -5*k + 13, 33 = -2*f + 5*k. Put -2/9, -10, f in descending order.
-2/9, f, -10
Let r = -0.1 + 5.1. Put r, 1/10, -11 in ascending order.
-11, 1/10, r
Let v(k) = k - 6. Let o be v(5). Let l be (o + 1)/(6/3). Sort l, -2, 3 in ascending order.
-2, l, 3
Let f(k) = k**2 - 6*k - 7. Let g be f(7). Suppose -1 = -5*v + 14. Put -2, v, g in decreasing order.
v, g, -2
Let v(p) = -p**2 - 4*p - 2. Let q be v(-2). Let i be 12/16 + (-3)/4. Suppose i = -0*j - 2*j - c - 1, 4*c = 3*j + 29. Put j, 4, q in increasing order.
j, q, 4
Let x = -78 + 1016/13. Sort -3, 0, x, -0.5 in ascending order.
-3, -0.5, 0, x
Suppose z - 5*z + d = -4, -d = 0. Let c = -6 + z. Sort -0.06, c, 1/7 in descending order.
1/7, -0.06, c
Let x(s) = -s**2 + 0*s**2 + 0*s**2 + 2*s**2 - 11 - 9*s. Let t be x(10). Let z be (-2)/(-18) - t/3. Sort -0.2, z, -1/10 in descending order.
z, -1/10, -0.2
Let i = 2/149 + -161/894. Let y = 73.87 + -69.9. Let h = -0.03 - y. Sort i, h, 3/8 in ascending order.
h, i, 3/8
Let q be ((-6)/4)/(1/(-2)). Suppose -3*x - 7 = -2*f + f, -8 = 4*x - f. Sort q, x, 0 in descending order.
q, 0, x
Let m = -1 + 2. Let s = -6 + m. Put 0.2, -1/8, s in ascending order.
s, -1/8, 0.2
Let h = -0.34 - -0.04. Let s = 0.7 - h. Put s, 3/7, 0.2 in increasing order.
0.2, 3/7, s
Let o be ((-4)/6)/((-30)/(-225)). Put -4, -22, o in decreasing order.
-4, o, -22
Let q(x) = -x + x**2 - 1 + x + 3. Let h be q(-2). Suppose 2*w + h = -2*z, -6*z + 3*z + 3*w - 3 = 0. Put -1/6, -5, z in descending order.
-1/6, z, -5
Let t be ((-22)/55)/(24/345) + 6. Let x = -0.08 - 0.72. Let c = x + 0.3. Put 5, c, t in increasing order.
c, t, 5
Let y = -9 + 16. Let t = -5 + y. Sort -2, 3, t.
-2, t, 3
Let s = 6 - 1. Let x = -0.047 + 4.347. Let k = x + -0.3. Sort k, 4/5, s in descending order.
s, k, 4/5
Let c(v) = v**3 + 14*v**2 + 21*v - 28. Let p be c(-12). Sort 0, p, -2 in descending order.
p, 0, -2
Let x = -1 + 3. Let o = 1/18 + 5/72. Sort -2, x, o.
-2, o, x
Suppose -4*j + 3*i = -6*j, 0 = -2*j + 5*i. Suppose -5*o + 4*o + 1 = j. Suppose -f = 4*f - 4*r - 21, -4*r = -f + o. Put 3, 1, f in increasing order.
1, 3, f
Suppose 0 = 3*d - 7*d. Let n be ((-16)/(-12) + 0)*6. Suppose -5*v - n - 12 = 0. Sort d, v, 2 in decreasing order.
2, d, v
Let q = -0.5 + 0.6. Let r = 5 - 5.3. Let o = -0.5 - r. Sort o, 1, q in decreasing order.
1, q, o
Let l be 3/(-2)*(-16)/(-18). Sort -1/3, -0.5, l in increasing order.
l, -0.5, -1/3
Let j be (-1)/((-14)/(-4) + -3). Sort 8, j, 5 in decreasing order.
8, 5, j
Let y(h) = h**2 - 4. Let m be y(3). Sort 2, 1, m.
1, 2, m
Suppose 0 = n + 2 - 0. Let t = 0 - n. Let v = -2 - -3. Sort t, -5, v in ascending order.
-5, v, t
Suppose s - 3*v = -3*s + 109, -3*v - 9 = 0. Sort 3, -5, 1, s in decreasing order.
s, 3, 1, -5
Let b = 29 - 24. Sort 0, -2, b in decreasing order.
b, 0, -2
Let d = 32 + -31.6. Sort d, 1/2, 0.1, -5 in increasing order.
-5, 0.1, d, 1/2
Let n be (-1)/((-2)/2) + 1. Suppose 2*l + 3*l - 4*a - 17 = 0, -l + 7 = -2*a. Put n, l, -4 in increasing order.
-4, l, n
Suppose 0*n + 10 = 5*n. Sort -5, n, -20 in ascending order.
-20, -5, n
Let p = 0.07 - -3.93. Let w = -5.6 - -3. Let h = w + 3. Sort p, -1/2, h in decreasing order.
p, h, -1/2
Suppose 5 + 5 = -a + 5*d, a - d + 6 = 0. Let j = -5 - -13. Suppose -3*z = -5*s - j*z + 10, -5*s + 10 = -2*z. Sort s, 0, a in decreasing order.
s, 0, a
Let d = -1.3 - 8.7. Let i = -10.3 - d. Sort -2/9, i, -0.5 in decreasing order.
-2/9, i, -0.5
Suppose -4*i + i - 5 = -5*p, 5*p - 5 = 0. Sort -1, 3, i in increasing order.
-1, i, 3
Let n = 10 + 0. Suppose 2*p + 2*p - 3*i = 11, 5*i = p + n. Put -4, -1, p in increasing order.
-4, -1, p
Let x = 2/83 - 91/332. Let v = 161 + -1770/11. Sort x, v, -1.
-1, x, v
Let g be (-4)/6*(-6)/(-28). Sort 0.1, 0, g.
g, 0, 0.1
Let o be (10/4)/((-2)/(-4)). Suppose 4*z - 1 = 2*l + 3, o*l = 2*z - 2. Let f(u) = u**3 - 4*u**2 - 3*u - 7. Let r be f(5). Sort 2, r, l in descending order.
r, 2, l
Let d = -147/4 - -37. Let q = 102.6 - 103. Sort -5, q, d in ascending order.
-5, q, d
Let v = 36 - 31. Put v, 9, -5 in ascending order.
-5, v, 9
Let k be 26/6 + 2/(-6). Suppose 3*n - 7 = 4*q, n - 7 = -5*q + k*q. Suppose o + 12*o - 3*o = 0. Sort n, 2, o.
o, 2, n
Let w(p) = -p**3 - 9*p**2 + 3. Suppose 18 = -2*z - 0*z. Let b be w(z). Suppose y + 0*y = -d, -5*d - 8 = -3*y. Sort 0, y, b in decreasing order.
b, y, 0
Let w = -146 - -132.4. Let u = w - -14. Sort -0.8, u, -3 in ascending order.
-3, -0.8, u
Let b = -0.1 - -0.3. Let g(c) = c**2 - 3*c + 4. Let i be g(3). Suppose 14 = o - 3*o + 4*s, -2*o - i*s + 26 = 0. Sort b, o, -2.
-2, b, o
Suppose -3*r = -5*p + 64, -2*r + 0*r + 5 = p. Suppose -p + 31 = 5*z. Suppose -z*a + 0 = 4. Sort 2, a, 0.2 in ascending order.
a, 0.2, 2
Let q = 15 - 15. Let w = q - -0.5. Sort 4, -0.4, w in increasing order.
-0.4, w, 4
Let b(o) = -o**2 + 8*o - 8. Let c be b(6). Let s be (-5)/(c - 3) + 1. Sort 0.1, s, 3 in increasing order.
s, 0.1, 3
Let c = 4 + -8. Let q = c + 7. Suppose 0 = r - u + 2, -4*r - 3*u - u - 24 = 0. Put r, q, -2 in ascending order.
r, -2, q
Let z be 0/(-2) - (8 - 252/35). Let u = 0.08 - 0.38. Sort z, -1/2, u.
z, -1/2, u
Suppose 4*w + 1 = 2*w + 3*g, -2*w + 20 = 4*g. Sort w, 0, 2, -3 in ascending order.
-3, 0, 2, w
Let o = 58 - 60. Let m(g) = -g**2 + 7*g - 7. Let c be m(6). Let n = -1 + 3. Sort n, o, c.
o, c, n
Let o = 20 + -20. Let j be (-2)/(-8) - (-14)/8. Put j, o, -1 in descending order.
j, o, -1
Let s(v) = v**3 + 5*v**2 - 2. Let u be s(-5). Let p = -21.4 + 21. Put u, p, 0.4 in ascending order.
u, p, 0.4
Let z(h) = -2*h - 26. Let v be z(-14). Put 0, v, 5 in increasing order.
0, v, 5
Let v be 4/(-18) + 38/9. Suppose -4*z - 19 = -5*p, 3*p - v = -4*z + 1. Let i = 4 - 2. Sort 4, z, i in decreasing order.
4, i, z
Let b = -5 + 4. Let g = b - -2. Suppose 2*d + 2*i - 12 = 0, -2*d + 5*i - 16 = -0*i. Sort 3, d, g in increasing order.
g, d, 3
Let f = 33.2 + -33. Sort -8, f, 1/3 in descending order.
1/3, f, -8
Let v = 0.8 + -3.8. Let j be (-4)/112 + (-1)/4. Let f = -30 + 34. Sort v, j, f.
v, j, f
Let m = 25 + -21. Let s be ((-2)/8)/((-21)/12). Sort m, s, -1/3 in decreasing order.
m, s, -1/3
Suppose -3*o + 5*r + 19 = 0, 0 = -o - 2*r + 7*r + 13. Sort -2, 6, o, 0.
-2, 0, o, 6
Suppose u = -17 + 16. Sort -4, 0, u in increasing order.
-4, u, 0
Suppose -3*l = -34*j + 33*j + 5, -5*l + 5*j + 5 = 0. Let a be (0 + -2)*10/4. Put a, l, -1 in descending order.
-1, l, a
Suppose -5*s + 0 + 20 = 0. Sort s, -5, 0 in descending order.
s, 0, -5
Let x(t) = 2 + 7 + 6*t - 1 + t**2. Let k be x(-6). Let r be 12/(-2)*4/k. Sort r, -0.2, 0.1 in descending order.
0.1, -0.2, r
Let w = 11 - 14. Put w, -0.3, 1, -3/5 in decreasing order.
1, -0.3, -3/5, w
Let j = 17/27 + 1/27. Sort j, 0.5, 3 in descending order.
3, j, 0.5
Let y = -31.3 - -31. Let x be 2 - 1 - (4 - -2). Put x, 0.01, y in decreasing order.
0.01, y, x
Let y = 0.0398 + 2.9902. Let x = -0.03 + y. Sort x, 2, -5 in descending order.
x, 2, -5
Let r be (-6 - -2)/((-15)/12). Let k = 14/5 - r. Put k, 2/15, -3/5 in descending order.
2/15, k, -3/5
Suppose -6 = -3*v + 2*v. Supp