ppose 2*a = u + 5. Put c, 0, a in increasing order.
c, 0, a
Let o = -3.7 - -3. Let r = 46 - 51.7. Let q = o - r. Sort q, -5, -1/2 in decreasing order.
q, -1/2, -5
Suppose 0*j = 4*j - 80. Suppose 5*z = -25, c - j = 6*z - 2*z. Let r be 20/2 - 30/6. Put c, r, 4 in descending order.
r, 4, c
Suppose 20 = -0*i + 2*i. Suppose -4*v + 6 = -i. Sort 0.7, v, -0.3 in ascending order.
-0.3, 0.7, v
Let l be -2 - (0 - (1 + 5)). Suppose -t = -o + l - 1, -14 = 2*o + 3*t. Put 0, -3, o in decreasing order.
0, o, -3
Let f = -51 - -50. Sort f, 6, -3, 4.
-3, f, 4, 6
Suppose -4*f + 16 = 2*y, -y + f - 7 = -0*y. Sort 1, y, -3 in decreasing order.
1, y, -3
Suppose -27*q + 22*q = -5. Suppose 4*c + 2*a = 6, 3*a + 2 = -4*c + 3. Sort q, c, 5.
q, c, 5
Suppose 8 = -3*s - s. Sort 3, s, 7 in increasing order.
s, 3, 7
Let x = 1 + -0.7. Let i = -0.1 + -0.1. Let j = x + i. Sort -2, 5, j in increasing order.
-2, j, 5
Let v be (-2)/4*(-6 - -6). Suppose f - 3*i + 3 = v, 3*f + 2*f = -4*i + 42. Sort -3, 0, f in descending order.
f, 0, -3
Let u = -1 - -1.2. Let i(p) = -p**2 - 3*p + 1. Let d be 1/((-1)/(-8)*-2). Let f be i(d). Sort f, u, 0 in increasing order.
f, 0, u
Suppose -4*z = -21 - 23. Let k = -10 + z. Put -1, k, -3 in descending order.
k, -1, -3
Let n be 6/15 - (-38)/30. Let u = 10.6 - 10.17. Let d = u - -0.07. Sort n, 2, d.
d, n, 2
Let x(l) = -l**3 + 6*l**2 - 6*l + 6. Let k = 6 + -1. Let s be x(k). Put 0.5, s, -4 in descending order.
s, 0.5, -4
Suppose 5*h = -4*u - 70, 3*h + 2*h + 70 = -2*u. Let o be (16/h)/((-12)/42). Sort o, -3, -2 in descending order.
o, -2, -3
Let c(n) = -n**2 + 2*n - 20. Let t be c(0). Let w = 16 + t. Sort -2, w, -1 in decreasing order.
-1, -2, w
Let l be 4/(20/(-55)) + 3. Sort 1/4, -2/3, l in decreasing order.
1/4, -2/3, l
Let x be 9/12 + 27/12. Put -5, -7, x, -4 in decreasing order.
x, -4, -5, -7
Let o be -1 - (0 + -2 + -1). Suppose 0*s = 2*s - o. Sort -3, 1/3, s in increasing order.
-3, 1/3, s
Let f(v) = -2*v + 3. Let d be f(3). Sort -2, 0, d.
d, -2, 0
Let z(m) = 2*m**3 + 4*m**2 + m - 3. Let f be z(-2). Sort 1/3, 0.3, f.
f, 0.3, 1/3
Let r = -68 + 64. Sort 1, -5, 5, r in ascending order.
-5, r, 1, 5
Suppose 5*d - 2*v - 8 = -0*v, 9 = 4*d + v. Let n be (0 + -1)/(-2 - d). Let y = 5.13 - 0.13. Sort n, -3/7, y in descending order.
y, n, -3/7
Suppose p + 29 = -3*p - 5*b, -4*b - 18 = -2*p. Suppose 5*q = -0 + 20. Suppose z + q = 5. Sort 2, p, z in descending order.
2, z, p
Let o = -5 - -9. Let m = 0 + -2. Put o, 5, m in increasing order.
m, o, 5
Let m = 34 + -32. Put 0, 1/4, 4/5, m in decreasing order.
m, 4/5, 1/4, 0
Suppose 0*y - 5*y = 0. Suppose 3*s = -5*l - 22, 0*l - 6 = -s + l. Sort 3, y, s in increasing order.
y, s, 3
Let d be (-3 - -2) + 1 - -3. Suppose 6*c - 3*c = 9. Suppose -14 = 3*o + f - 4, -2*o + 8 = -c*f. Sort d, 0, o in decreasing order.
d, 0, o
Let u be (-14)/10 + (-10)/(-25). Let p = -0.4 + 0.4. Sort p, 0.1, u in ascending order.
u, p, 0.1
Let d(j) = -2*j + 20. Let i be d(12). Put i, 6, 1/4, 0.3 in descending order.
6, 0.3, 1/4, i
Suppose o - 11 - 34 = -5*z, 5*z - 2*o - 60 = 0. Let u be (-2)/(-5) + (-44)/z. Sort 5, -1, u in decreasing order.
5, -1, u
Let h(r) = 6*r**3 + 12*r**2 - 12*r - 1. Let p be h(1). Let m be (0 - 1 - -1)/(-1). Sort m, p, -4 in decreasing order.
p, m, -4
Let n(l) = l**3 + 4*l**2 - 3*l - 4. Let x be n(-4). Let f be 5/x*2/(-1). Let c = 0.15 - 0.05. Put 1, c, f in decreasing order.
1, c, f
Suppose 0 = -4*l + 4*c - 2*c - 12, -4*c = -2*l. Put -11, l, 1, -1 in ascending order.
-11, l, -1, 1
Let h be (1 + (-2)/4)*8. Let b = -14 - -23. Suppose t + 2*t = -b. Put h, t, -2 in decreasing order.
h, -2, t
Let q = 0.26 - -0.14. Put -1, 1/2, q in increasing order.
-1, q, 1/2
Suppose 9 - 29 = -5*p. Sort 13, p, 2 in decreasing order.
13, p, 2
Let i = 20 + -15. Put 3, 2, i in decreasing order.
i, 3, 2
Let a(l) = -3*l**2 + 13*l - 4. Let w be a(4). Sort -1, w, 3, 5.
-1, w, 3, 5
Suppose 2*b - 7*b = -15. Suppose -2*v - 6 - 4 = 0. Sort b, 5, v in increasing order.
v, b, 5
Suppose -3*o = 2*o + f - 9, 5*f = 2*o - 9. Sort -5, 5, o in descending order.
5, o, -5
Let n(r) = -2*r**2 + 18*r + 2. Let j be n(9). Sort j, 3, 1.
1, j, 3
Suppose 3*j + 5 = 4*p, -5*j + 3 = -p - 0*p. Suppose 0 = -o - 9 + 8. Sort o, 1, p.
o, 1, p
Suppose -26*i + 28*i = -4. Sort -3, -0.5, i in ascending order.
-3, i, -0.5
Let q = -5 + 4. Let h(a) = -23*a + 1. Let n be h(q). Suppose 4*g - n = 4*s, -3*s - 5 = -2*g + 9. Sort s, -3, 2.
-3, s, 2
Suppose 4*y = 8*y + 12. Sort y, -1, -0.01 in decreasing order.
-0.01, -1, y
Let g be -4 + 98*(-1)/(-24). Put g, 1/6, -4 in decreasing order.
1/6, g, -4
Let r(u) = u**3 + 8*u**2 - 10*u - 4. Let m be r(-9). Suppose 3*x + 1 + m = 0, 2*x + 19 = -5*n. Put -4, n, 4 in increasing order.
-4, n, 4
Let d be 4/(-6) - (-7)/(294/4). Suppose 1 = -2*y - 3. Sort y, -1, d in descending order.
d, -1, y
Let n = -0.09 + -0.01. Let c = n - 0. Let v(m) = -m**2 + 4*m. Let b be v(2). Sort c, b, 1 in ascending order.
c, 1, b
Let h = 271/9 - 30. Sort 5/3, -4, 1, h.
-4, h, 1, 5/3
Suppose -5*r + 2*t - 5*t = 10, 0 = 3*t - 15. Sort 4, r, -2 in decreasing order.
4, -2, r
Let t = -4.3 + 4.3. Sort -1, 1, t in decreasing order.
1, t, -1
Let j = 0 + 0. Suppose -2*f + 3 - 13 = j. Let c(n) = -3*n - 3. Let r be c(-2). Sort 5, f, r in ascending order.
f, r, 5
Let j = 2/333 + -76/333. Let r = 12.2 + -0.2. Let n = 13 - r. Put 0, j, n in increasing order.
j, 0, n
Let w = 1 + 0. Put 0, 16, w in decreasing order.
16, w, 0
Let h = -103 - -106. Let m = 5 - 1. Sort 2, h, m in increasing order.
2, h, m
Suppose -3*d = -2*h + 5, 2*h - 3*h = -2*d - 4. Let m = -87 - -87. Put 1, d, m in decreasing order.
1, m, d
Let g = -51 - -53. Let u be 1*-2*(-10)/4. Suppose 4*l = 5*n - u, -4*n = -6*n - 4*l + 30. Sort n, g, -3 in descending order.
n, g, -3
Let l be (-12)/5 + 6/15. Let x(p) = 2*p**2 - p - 2. Let q be x(2). Let f be 1 - (4 - -1 - 0). Sort f, l, q in decreasing order.
q, l, f
Suppose -10*t - 53 + 13 = 0. Sort t, -2/3, 7/2.
t, -2/3, 7/2
Let u = 358501/25764 - -4/2147. Let r = -14 + u. Put -0.2, r, 4 in descending order.
4, r, -0.2
Suppose -5*b = 5*n + 10, n + 4*n = 5*b + 10. Let q be b/9 + 94/18. Put -1/9, q, 2/3 in descending order.
q, 2/3, -1/9
Let d be 1/(1/(2 + 3)). Sort -5, 4, 7, d in descending order.
7, d, 4, -5
Suppose 2*t - 5 = 7*t. Sort t, -4, 0 in increasing order.
-4, t, 0
Let l = 4.7 - 5. Let v be (-1)/1*(-4)/2. Suppose 4 = 4*a - 5*z - 3, 11 = -a - 3*z. Sort l, v, a in decreasing order.
v, l, a
Let j = -10 + 6. Suppose -23 + 95 = 3*g. Suppose -4*i + r - 6*r = g, -8 = 4*i + r. Sort 3, j, i in decreasing order.
3, i, j
Let b = 1 + -1. Suppose x + 5 = 3. Let d = x - 3. Sort d, b, -3 in decreasing order.
b, -3, d
Suppose -7*n + 2*n = -25. Let o(t) = -t**2 + 4*t + 7. Let a be o(5). Suppose -5*f = -a*f + 6. Put f, n, -4 in ascending order.
-4, f, n
Suppose -10*o + 12*o = 6. Put o, 5, 0 in ascending order.
0, o, 5
Let c = -337/3 - -111. Put 2, c, 0.3 in descending order.
2, 0.3, c
Let f = -13 - -18. Suppose -1 - 9 = -f*b. Sort -5, 3, b.
-5, b, 3
Let r = 9.08 - 9. Let i = -0.12 - r. Put i, 2, 2/3 in descending order.
2, 2/3, i
Let a = -0.02 + 0.52. Let x = 0 + -0.2. Put 2, a, x in descending order.
2, a, x
Let w(j) = 2*j. Let x be w(1). Let p be (-1 + 6)*(-12)/20. Let h be (-7)/3 + 2/p. Sort -4, h, x in descending order.
x, h, -4
Let p = 6.6 - 2.6. Put p, -0.1, -3 in descending order.
p, -0.1, -3
Suppose -l - 24 = -6. Let m be (-16)/l - 2/(-18). Sort 0, -6, m in ascending order.
-6, 0, m
Let f = 1.1 - 0.6. Let c = 0.8 - f. Sort -4, 0.1, c.
-4, 0.1, c
Let q be (-2)/12 + 2 - 2. Let y(m) = m**2 + 5*m - 3. Let x be y(-5). Let j be x + 2 + -2*1. Put 3/4, j, q in decreasing order.
3/4, q, j
Let k(z) = z - 2. Let b be k(-2). Sort 4, 11, b in decreasing order.
11, 4, b
Suppose -19 = -5*n - 5*r + r, 4*n - r = 11. Sort n, -5, -4, -2.
-5, -4, -2, n
Let j be (-32)/14 - (-2)/7. Let n = -3 + 2. Sort j, 1, n in increasing order.
j, n, 1
Let k be ((-2)/(-4))/((-1)/4). Let y(s) = s + 3. Let o be y(-2). Sort o, -5, k in descending order.
o, k, -5
Let o be 2 - (-12 - (-1)/(-1)). Suppose -o = 2*t - 3. Let q = -9 - t. Sort 3, -5, q.
-5, q, 3
Suppose -11*g + 30 = -6*g. Suppose 4*b = g*b. Suppose 5*t + 4 = 3*t. Put b, t, 3 in decreasing order.
3, b, t
Let v(k) = k**2 - 3*k - 1. Let h be v(4). Suppose 12*r - 6*r = -1