+ 25 = -0*p - c*p. Put 2, m, 3 in increasing order.
2, 3, m
Let f be 2/(-9) + (-25)/9. Sort -1, 3, f in increasing order.
f, -1, 3
Let c = -23 - -25. Suppose -4*h + 3*r - 8 = 5, -h - 5*r = 9. Put 0, c, h in descending order.
c, 0, h
Suppose -3*h + 3*c = 0, 0 = -5*h - c - 11 + 41. Sort h, -4, 3.
-4, 3, h
Let s = -13 - -8. Let p(b) = -b**2 - 11*b + 11. Let h be p(-12). Put h, s, 2 in decreasing order.
2, h, s
Let q = -57 - -60. Put 67, -0.4, q in descending order.
67, q, -0.4
Suppose -4*a = t + 12, -7*t = -3*t + 3*a + 22. Let u = 0.017 + -5.017. Sort 0.4, t, u.
u, t, 0.4
Let s = -27 - -26.6. Let o = -3.5 + 3. Let x(b) = -b**2 + 5*b - 2. Let g be x(4). Sort g, s, o.
o, s, g
Let r = 17.9 - 15.9. Let y = 0.1 + 0.1. Let w = y + -0.6. Sort r, w, 0.1.
w, 0.1, r
Let n be (-32)/(-24) - 34/30. Put 4, n, -4 in decreasing order.
4, n, -4
Let g = -9/52 + -5/572. Let t be (1 - 0)/1 + 1. Suppose -2*j = -0*j - t. Sort g, 0, j in ascending order.
g, 0, j
Let z(n) = n**3 - 6*n**2 - 2*n - 4. Let s be z(6). Let a be (6/s)/((-27)/(-12)). Let k = -3 - -2. Sort k, a, 5 in ascending order.
k, a, 5
Suppose 20 = -7*h + 2*h. Suppose 0 = 2*b + o, 3*b + 7*o = 3*o. Let i = -3 + b. Sort i, 5, h in increasing order.
h, i, 5
Let q = 232/3 + -78. Sort -1, q, -4.
-4, -1, q
Let c(f) = 3*f + f**3 - 12*f**2 + 0*f - 12 - 4 - 2*f. Let m be c(12). Sort m, 2/19, 4.
m, 2/19, 4
Let k = 24 - 23. Suppose 4*y - 3*d = -17, 3 = -y + d - 2. Let u be 1*y - (-5 + 5). Sort k, u, -3.
-3, u, k
Let w be (-44)/(-33)*(-3)/(-2). Sort 3, w, 7 in ascending order.
w, 3, 7
Let l = -18 - -13. Let r be 1/(2 + -1)*l. Sort 1, r, -2.
r, -2, 1
Let o = 11 - 10.8. Let b = -5 - 0. Put o, -0.4, b in decreasing order.
o, -0.4, b
Let o = -0.55 - -0.34. Let b = -4.79 + o. Let t = -7 - -10. Sort b, -2/3, t.
b, -2/3, t
Let q(h) = h**3 - 6*h**2 - 7*h. Let r be q(7). Suppose 40 = 3*k + 52. Sort r, k, 4 in descending order.
4, r, k
Let n be 5*(-1*2 - -1). Suppose 6 = -w - 2*w. Sort n, -3, w in decreasing order.
w, -3, n
Suppose -3*m = -7*m + 4. Sort 3, m, -3.
-3, m, 3
Let k = 3 + -3. Sort 3, k, -2 in ascending order.
-2, k, 3
Suppose 9 = -3*u + 3*j, 2*j = -u - 0 - 3. Let b be 0*(-1)/(u/3). Suppose 5*l - l + 4*m - 16 = b, -12 = -3*l + 5*m. Sort l, 3, 4/7.
4/7, 3, l
Let f = -39 + 40. Put f, 5, 4 in ascending order.
f, 4, 5
Let a = -451.98 + 457. Let u = a + -0.02. Suppose -3*x + 0*x = -3. Put x, -3, u in decreasing order.
u, x, -3
Suppose -2*t - 3 = -3*t. Sort t, -6, -2 in ascending order.
-6, -2, t
Let d = 4 - 1. Suppose -2*q + 14 = -d*p, 0 = 3*q - 5*p - 7 - 16. Put q, 0, -1 in increasing order.
-1, 0, q
Suppose -z + 18 = z. Sort 0, -1, z.
-1, 0, z
Let x = 2/49 - 132/833. Sort 5, -5, x.
-5, x, 5
Let c = 3.94 + -4. Let t = c - 0.24. Sort 1/3, -0.4, t in decreasing order.
1/3, t, -0.4
Let s be 3*(-1 + -1 + 1). Let a = -2/221 - -452/1105. Sort a, s, 0 in decreasing order.
a, 0, s
Let v be (4 + -7)*(1 - 2). Sort v, 5, -5 in decreasing order.
5, v, -5
Let v(r) = 2*r**2 + 18*r. Let b be v(-9). Let d = 2 + -2.5. Put b, d, -0.2 in ascending order.
d, -0.2, b
Let w(p) = 4*p + 14. Let d be w(-3). Let g be 0/(-1*1/(-1)). Sort d, -5, g in decreasing order.
d, g, -5
Let v(j) = j**2 + j + 5. Let z be v(0). Let m(w) = w - 7. Let t be m(z). Let n = 1 + 4. Sort t, n, -3 in decreasing order.
n, t, -3
Suppose 0*t = t - 2. Let u be (1 - 0)*-5*1. Sort u, -3, t in increasing order.
u, -3, t
Let r be (-4 - -3)/((-2)/10). Sort r, 2, -2 in decreasing order.
r, 2, -2
Suppose 3*v + 3*c + 15 = 0, v + 1 = 4*c + 11. Suppose 23 = 3*j + 8. Suppose r + p = 0, 5*p = j*r - 0*p - 30. Put -5, r, v in descending order.
r, v, -5
Let s be ((-15)/50)/((-3)/(-8)). Let r(q) = q**2 + 6*q + 2. Let h be r(-6). Put -5, s, h in decreasing order.
h, s, -5
Let a = 7 + -6. Let l be (-4 + 1)*(a - 2). Suppose 2*c - 15 = -c. Sort -1, c, l in ascending order.
-1, l, c
Let p = -100 - -98. Sort p, 12, 3.
p, 3, 12
Suppose t + 4*w + 8 = 0, 2*w = 4*t + w - 19. Let k = -31.64 + -0.36. Let n = -36 - k. Put t, -1, n in descending order.
t, -1, n
Let v = -37 - -37.2. Put 0, 6/7, v in decreasing order.
6/7, v, 0
Let y = 15 - 17. Let r be -1 + -6*y/4. Sort -1, -5, r.
-5, -1, r
Let b be (-18)/(0 + (-4 - -3)). Put 3, -1, b in increasing order.
-1, 3, b
Let m be 1/14*-10 - (-4)/(-14). Suppose -9 = b - 4*b. Sort -7, b, m in ascending order.
-7, m, b
Let z = -0.9 + -3.1. Sort -5, 2, 4, z.
-5, z, 2, 4
Let a be (-1 + 0)/(2/4). Suppose -119*h = -118*h. Sort -4, a, h in decreasing order.
h, a, -4
Let p = -2 + -1. Put 2/11, p, 3 in descending order.
3, 2/11, p
Let a be (6 - 3)*(-10)/(-6)*1. Sort -4, -2, a in descending order.
a, -2, -4
Let g(n) = -3*n**2 - 23*n + 12. Let l be g(-8). Sort -3, 0, 1, l in decreasing order.
l, 1, 0, -3
Suppose -3*a = -3*w + 15, -2*w + 4*a + 25 = -a. Let p be w*-1*(-1)/(-2). Suppose -4*o - 7 - 13 = p. Put o, 4, 2 in decreasing order.
4, 2, o
Let y(v) = 5 + v**2 + 9*v - v**2 - v**2. Let a be y(9). Put a, 2, -3 in decreasing order.
a, 2, -3
Let r(u) = -u**2 - 3*u + 2. Let p be r(2). Let c(h) = h + 5. Let n be c(p). Let i(j) = 2*j - 4. Let a be i(0). Sort n, a, 5 in ascending order.
a, n, 5
Let j = 6.2 + -5.7. Sort 0.3, -4, j, 3 in decreasing order.
3, j, 0.3, -4
Let k(q) = -q**2 + 17*q - 25. Let p be k(13). Sort -1, 1, p.
-1, 1, p
Let c = -0.64 + 0.34. Let g = -11 - -7. Let m = 0 + 0. Sort m, g, c in descending order.
m, c, g
Let c = -0.7 + 0.8. Sort -3, 1/3, c in decreasing order.
1/3, c, -3
Let v = 18 + -10. Let f be (-6)/(-8) - (-2)/v. Let j(x) = x**2 - 3*x - 13. Let h be j(6). Put f, h, -5 in descending order.
h, f, -5
Let y(t) = -24*t - 24*t + 47*t. Suppose -2 = -6*q + 4*q. Let h be y(q). Sort h, -5, 3 in increasing order.
-5, h, 3
Let v(s) = -s**3 + 5*s**2 + 3. Let x be v(5). Let a(r) = -r - 2. Let j be a(-7). Sort j, x, -1.
-1, x, j
Let r be (-4)/(-6)*3/(-2). Let x(p) = 3*p**2 + 27*p - 57. Let n be x(2). Sort n, r, 4 in descending order.
n, 4, r
Let n be 1/(-5) + (-2578)/(-3360). Let l = n + 1/240. Let a = -12.4 + 11.9. Put l, 0.3, a in decreasing order.
l, 0.3, a
Let x = 7.9 - -1.1. Let r = 9.09 - x. Let l = r + 3.91. Sort -3, l, 2/3 in decreasing order.
l, 2/3, -3
Suppose 65 = -10*b + 23*b. Let g = -5 + 7. Let q = g + 0. Put b, q, 1 in decreasing order.
b, q, 1
Suppose 4*z - 4 = 2*z. Suppose 0 = z*s - 0*b - 5*b - 1, 2*b + 1 = s. Sort -1, s, 1.
-1, 1, s
Let v = 1.4 - -6.6. Put 0.1, v, -0.2 in descending order.
v, 0.1, -0.2
Let h(a) = -a**2 - 6*a - 5. Let y(v) = v**2 + 6*v + 5. Let s(m) = 7*h(m) + 6*y(m). Let n be s(-4). Sort 0.1, 2/7, n.
0.1, 2/7, n
Suppose 28 = 5*h + 3. Suppose 2*v + 8 = 2*c, c + 9 = -3*v + 3*c. Let p = v - h. Sort p, -5, -4.
p, -5, -4
Let s be (-4)/(-6) - 40/15. Sort 3, -5, s in descending order.
3, s, -5
Suppose 8 = -4*f - 12. Let x = -6 + 9. Sort 2, f, x.
f, 2, x
Let n = -2.99 + -0.01. Let l = n - -2.94. Let m = -3.94 + l. Sort -1, m, 5 in ascending order.
m, -1, 5
Let r = 6 - 6. Suppose r = i + i. Let x be -1 - -3 - (i - 3). Sort -4, x, 4.
-4, 4, x
Let v(o) = 2*o + 11. Let t(u) = -u - 6. Let x(a) = -5*t(a) - 3*v(a). Let k be x(-5). Sort k, -4, 0 in decreasing order.
k, 0, -4
Let o be ((-6)/(-10) + -1)*-5. Suppose -3*y = z + y - 5, -2*y = -o*z. Let c = 4.32 - 0.32. Sort 3, z, c in ascending order.
z, 3, c
Let n(u) = u**2 + 2*u - 1. Let m be n(-3). Sort -4, -1, m in decreasing order.
m, -1, -4
Let r = 0.068 + -0.068. Put -5, r, -2/13 in ascending order.
-5, -2/13, r
Let i = 45 - 25. Let a = -18 + i. Sort a, 5, 3.
a, 3, 5
Let o = 33 - 19. Let l = o - 14. Sort 4, l, -2 in increasing order.
-2, l, 4
Let x be (8/(-10))/((-1)/(-5)). Put x, -1, 0.3 in increasing order.
x, -1, 0.3
Let p = -6 + 11. Let y = 6.1 + -1.1. Let o = y + -4.9. Sort o, -2, p.
-2, o, p
Let b = -5 - -3. Sort 0.5, -1/4, b.
b, -1/4, 0.5
Let d(x) = -3*x**2 + 2. Let m be d(2). Let y be 84/m - (-8)/20. Let q be 3*1 + y/4. Put q, 4, 5 in ascending order.
q, 4, 5
Suppose 0 = -j - j. Suppose -2*x = j, -x - 2*x = -4*m + 20. Put -3, m, 1 in descending order.
m, 1, -3
Suppose 0 = -k + 6*k. Suppose 2 = 2*x - k*x. Put -1, x, 5 in ascending order.
-1, x, 5
Suppose -w + 8 = w. Let a be -3 - (50/w)/(-5). Sort a, 1/6, 4 in ascending order.
a, 1/6, 4
Let v be ((-2)/(-5))/((-18)/(-10)). Let x(t) = -t - 2. Let i be x(2). Let y = -1.06 - -0.06. Put y, i, v in ascending order.
i, y, v
Suppose 0 = 