t + 5*c + 3 = z, 3*t - 5 = -2*c. Put 0, t, n in decreasing order.
n, t, 0
Suppose 0*x = 5*u - 2*x + 3, -5*x = -20. Let o = 2 - 2. Sort 4, o, u in decreasing order.
4, u, o
Let z = -0.1 + 0.2. Let q be (-1 + 3)*1/(-1). Let m = -28 - -28.5. Sort q, m, z.
q, z, m
Suppose 15 = -9*f + 12*f. Sort -1, 4, f, 2.
-1, 2, 4, f
Let b be 8*-4*4/(-64). Sort -0.4, 0.4, b in descending order.
b, 0.4, -0.4
Let w = 10 + -7. Put 0, -12, w in decreasing order.
w, 0, -12
Let f = -15.3 - -15. Let z = -55 + 84. Let r = -147/5 + z. Put r, 0, f in descending order.
0, f, r
Let s(c) = -4*c**2 - 1. Let v be s(-1). Let w = -10 - -7. Sort w, -4, v in ascending order.
v, -4, w
Let v = 75/217 - -7/31. Put -8/3, v, 0.4 in ascending order.
-8/3, 0.4, v
Let b = 1 - 3. Let h be 16/6 + 6/18. Sort h, b, -4 in descending order.
h, b, -4
Let g = -3 - -2. Let x = g + 0.9. Let t = -6.4 - -6. Put t, x, 0.5 in descending order.
0.5, x, t
Let d = 0.2 + 0.3. Suppose 3*t + 6 = 0, 1 = 3*i + 3*t - 2. Sort d, -2/7, i in descending order.
i, d, -2/7
Let p be (-1 + 6/4)/(17/(-34)). Put 0, 2, 3, p in decreasing order.
3, 2, 0, p
Let w = -1 + -1. Let i = 7 + w. Suppose -3*q - 12 = 2*x - 3*x, 5*x = -15. Sort q, i, -2.
q, -2, i
Let a be (19 - 22)/(3*(-1)/(-2)). Put a, -6, 5, -3 in increasing order.
-6, -3, a, 5
Let i(j) = 6*j + 1. Let d be i(-1). Let u(m) = m**2 + 6*m + 7. Let f be u(-5). Sort d, -4/5, f.
d, -4/5, f
Let j = -58 + 32. Let c = 28 + j. Sort 0.2, 0.1, c.
0.1, 0.2, c
Suppose -2*d + 8 = 2*d. Suppose a = d*a - 1. Put 4, a, -4 in decreasing order.
4, a, -4
Suppose 27 = -3*i - 3*p, 2*i + 22 = -0*i - 3*p. Let f be (-22)/(-20) - (-1)/(-2). Put 0, f, i in decreasing order.
f, 0, i
Suppose i - 130 = -9*i. Sort -2, -4, i in ascending order.
-4, -2, i
Suppose -1 = 2*s + 5. Put -2, 5, s in ascending order.
s, -2, 5
Let x(w) = -w + 7. Let n be x(8). Let g = 4 - 2. Let q be g + 1 - 1*-2. Sort q, n, 2.
n, 2, q
Let v = -0.49 - 0.51. Sort 0, v, 0.8 in increasing order.
v, 0, 0.8
Let c be (-3)/((-5)/(20/6)). Suppose 0 = -5*f + 4*y - 12, f + c*y - 12 = 5*f. Put f, 2, -2 in descending order.
2, -2, f
Suppose 11*s - 14*s + 9 = 0. Let x(h) = -h**2 + h + 6. Let k be x(0). Put k, s, 1 in descending order.
k, s, 1
Let p = -0.9 - -0.6. Let d = p + -0.1. Sort d, -5, -4.
-5, -4, d
Let b(q) = 13*q**3 - 2*q**2 + 1. Let f be b(1). Let c be (f/(-290))/((-3)/15). Let t = -16/203 - c. Sort 1/3, -4, t in ascending order.
-4, t, 1/3
Let r = -165 + 165.5. Let s be (-61)/24 + (-4)/(-6). Let i = s + 53/24. Sort 1/9, r, i in decreasing order.
r, i, 1/9
Suppose -3*w - 12 = 0, -3*y - 20 = 4*w - 4. Let i = -2.25 - -2.05. Sort y, -1/9, i in decreasing order.
y, -1/9, i
Let i = -16 + 20. Sort i, -5, -1.
-5, -1, i
Let l(n) = 4*n - 13. Let m be l(4). Put 0.9, -2, m in increasing order.
-2, 0.9, m
Let i = 0.051 - -0.149. Sort 3, 0.4, i in increasing order.
i, 0.4, 3
Let j be (-9)/3 + ((-43)/(-15) - 0). Put j, -4, -0.5, -1/3 in decreasing order.
j, -1/3, -0.5, -4
Suppose -7*i = -2*i. Sort 2, 1, i in increasing order.
i, 1, 2
Let s be (2/(-6))/(1*20/(-12)). Let b = -0.1 - 0. Sort b, s, 5 in decreasing order.
5, s, b
Let b = -4 + 6. Suppose 0 = -b*s - 1 + 7. Suppose 2*g - 5*r + 2 + 0 = 0, 0 = -3*r + 6. Sort -5, g, s in increasing order.
-5, s, g
Let w(b) = b - 9. Let r = -8 - -13. Let h be w(r). Put 2, -1, h in decreasing order.
2, -1, h
Let w = -50.01 - -50. Let y = -567.01 - -564. Let x = y - w. Sort 0.2, -1/11, x in descending order.
0.2, -1/11, x
Let q = -7.2 - -10. Let j = q + -3. Let c = 0.09 + -2.09. Put c, j, -3 in increasing order.
-3, c, j
Let i = -25 + 31. Sort -2, 0.4, i.
-2, 0.4, i
Let m be 26/(-8) - 2/(-8). Let r(v) = v**3 - 11*v**2 + 11*v - 12. Let n be r(10). Sort n, -5, m.
-5, m, n
Let q = 49 - 52. Put q, -3/2, 3 in decreasing order.
3, -3/2, q
Suppose -35 = -2*j - 41. Let c = 12 + -7. Put -2, c, j in increasing order.
j, -2, c
Let c be 2/10 - (-6 - 93/(-15)). Let m(f) be the second derivative of -f**3/6 + 2*f**2 + f. Let o be m(c). Put o, 3/4, -2 in increasing order.
-2, 3/4, o
Suppose -5 = w - 1. Let v be (-2)/(-8)*(5 + -1). Put 1/7, w, v in increasing order.
w, 1/7, v
Let m be (-15)/24*(3 + 26/(-10)). Sort 3/5, m, 0 in descending order.
3/5, 0, m
Let s(j) be the third derivative of j**6/120 - j**5/12 - j**4/4 + j**3/3 - 3*j**2. Let d be s(6). Put -7, -2, d in ascending order.
-7, -2, d
Let n = 2 - -1. Let q = -8 + 4. Let r = q + 3. Sort 0, n, r in ascending order.
r, 0, n
Suppose 3*y + 3*n = 7*y - 1, 0 = 5*n - 5. Suppose 22 = 4*s - 5*j, -j - 4 = -4*s - 5*j. Sort 4, s, y in decreasing order.
4, s, y
Let h(q) be the second derivative of -q**3/6 - 9*q**2/2 - 2*q. Let c be h(-4). Put c, 0, 1 in descending order.
1, 0, c
Let t be (-3 + 4)*3*2/66. Suppose -2*d + 3 = -3. Put t, d, 1 in decreasing order.
d, 1, t
Let x(t) = t**3 - 5*t**2 - 6*t + 9. Let d be x(6). Suppose -d = -5*c + 11. Let q(y) = y**3 - 3*y**2 - 6*y + 4. Let r be q(c). Sort r, 4, 5 in ascending order.
r, 4, 5
Let c = 0.37 - -0.03. Let a = 0.4 + 4.6. Sort 0.2, c, a in ascending order.
0.2, c, a
Let z = 80 - 85. Put 6, z, -0.5, 0.2 in ascending order.
z, -0.5, 0.2, 6
Let q = 11 - 10. Let a be 1/(-4) + 3/(-4). Put -0.3, a, q in ascending order.
a, -0.3, q
Let p = 10/27 + -1/27. Let z = 10 - 10. Sort -1/6, z, p in ascending order.
-1/6, z, p
Let v = -6 + 1. Put v, -0.4, 2/3 in descending order.
2/3, -0.4, v
Let q be 2 + (-4)/(36/21). Let i = -0.5 + 0.2. Sort i, 4, q in descending order.
4, i, q
Let f = 0.2 - 1.2. Let r = -12.05 - -0.05. Let j = r + 12.2. Put j, f, -0.3 in ascending order.
f, -0.3, j
Let r be 14/(-119) + (-202)/17. Let b be -3*(58/r + 4). Put 5, b, 14 in decreasing order.
14, 5, b
Suppose -c + 4*a = 12, -6*c - 3*a = -3*c - 24. Suppose c*s = 7*s. Put s, -4, -2 in decreasing order.
s, -2, -4
Suppose 0*m + 5*q + 4 = 3*m, 4*q - 16 = 0. Suppose v + m = -v + 3*u, -5*v + 2*u - 9 = 0. Sort 5, 2, v.
v, 2, 5
Let o be (2/6)/(1/6). Suppose 0 = -o*g - 2*g + 12. Sort 0.1, 0.4, g in increasing order.
0.1, 0.4, g
Let o be (-2 - (1 + -2))*0. Suppose -2*c + 18 = 2*l + 2*c, -2*l + 5*c = 9. Let p be 90/21 - 4/14. Put o, p, l in decreasing order.
p, l, o
Suppose -39*f = -37*f + 6. Suppose 0 = -5*v - 0*v + 5. Put f, 2, v in descending order.
2, v, f
Let g = -8 - -24. Let b = 11 - g. Sort b, 5, 0.3 in increasing order.
b, 0.3, 5
Let n(u) = -u**2 + u + 5. Let f be 0*1*2/6. Let p be n(f). Let z(b) = -b + 1. Let d be z(p). Put d, -3, -5 in decreasing order.
-3, d, -5
Let y = 43 - 22. Let o be (y/(-9) - -2)*-6. Let d = 16 - 11. Sort o, d, 1 in descending order.
d, o, 1
Suppose 6 = -2*c + 2. Suppose 3*m + 7 = -2. Put -4, m, c in descending order.
c, m, -4
Let u = -3 - -7. Suppose -u*s - 4 = -0*s. Sort 1/2, -0.2, s in increasing order.
s, -0.2, 1/2
Let m = -6 - -7. Let i be (1 + m)*(-7)/105. Sort 0.7, i, 1 in decreasing order.
1, 0.7, i
Suppose 0 = -5*c + p + 2 + 9, -2*c - 5*p + 26 = 0. Put 5, c, -62 in decreasing order.
5, c, -62
Let t = -39 + 42. Sort 3/4, t, -2/3 in decreasing order.
t, 3/4, -2/3
Let t(d) = -d + 13. Suppose -5*g + 2*g + 24 = 0. Let h be t(g). Sort h, 3, -5 in ascending order.
-5, 3, h
Let i = -93 - -1025/11. Put -0.4, -2, i in increasing order.
-2, -0.4, i
Let y = 75.5 + -75. Sort 4, y, -0.02, 0.4.
-0.02, 0.4, y, 4
Suppose -4*c = 2*n + 10, 4*c + 0*c - 5*n + 45 = 0. Let m = 7 - 2. Suppose -3*t = 28 - 31. Sort m, t, c.
c, t, m
Let u = -1 + 1.5. Let x = 0.6 - u. Suppose 3*r + 0*s - 10 = -4*s, 0 = -5*r - s - 6. Put -4, x, r in descending order.
x, r, -4
Let y(h) = h**2 + 5*h + 2. Let b be y(-5). Let s(j) = j**3 + 5*j**2 - 5*j + 2. Let f be s(-6). Put 0, f, b in decreasing order.
b, 0, f
Suppose r + 3*z = -2*z + 10, -4*r - 2*z + 4 = 0. Suppose -2*w + r*w = 6. Suppose u - 2*o - 31 = 6*u, -2*u + o - 7 = 0. Put u, w, -2 in descending order.
-2, w, u
Let z(k) = -2*k**2 - 12*k - 5. Let s be z(-6). Put -4, 5, -1, s in decreasing order.
5, -1, -4, s
Let w = 61 + -53. Sort w, 1/3, -2/7.
-2/7, 1/3, w
Suppose -4*p + 8 + 4 = 0, -2*a + 2*p - 8 = 0. Sort 15, a, -3 in ascending order.
-3, a, 15
Let p = -3 + 6. Let c = 1.2 + -0.8. Sort -3, p, c in decreasing order.
p, c, -3
Let u be (-4)/(-16) - (-41)/(-4). Let y = -11 - u. Let o = -1 + 2. Put -3, y, o in decreasing order.
o, y, -3
Let g be 2 - 1 - (-12)/3. Sort g, 2, -5 in ascending order.
-5, 2, g
Let t be -1*(-1 + 5