 Let t = p + q. Sort -2/9, t, -2.
-2, -2/9, t
Let o = 2 - 3. Let c = -1 - o. Let m = c + -1. Put -2, m, 1 in decreasing order.
1, m, -2
Let v(u) = u. Let j be v(1). Suppose 40 = -a - 7*a. Sort a, 3, j.
a, j, 3
Let m be 138/270 + 2/(-5). Let t = m + 7/18. Sort 1, t, 0.3.
0.3, t, 1
Suppose -5*g = 4*a - 4, -a - g - 16 = -3*a. Suppose 0*v + 2*v = -a. Sort v, 0, 5 in descending order.
5, 0, v
Suppose -10 = -2*t, 3*f + 5*t = 28 + 15. Suppose 21 = 3*z + 2*m, 0 = -2*m + f. Sort z, -4, 0 in increasing order.
-4, 0, z
Suppose 14 = 2*i - 4*r, 2*r + 2 - 1 = -i. Suppose i*u + 0*u = -6. Put -1, 5, u in decreasing order.
5, -1, u
Let l = 149 - 154. Let r(g) = g**2 + 5*g - 7. Let p be r(-6). Put p, -1/8, l in decreasing order.
-1/8, p, l
Suppose i + 3*m = -13, -i - 4*m - 11 = 5. Let w = -17 + 31. Let g be 50/w + (-12)/(-28). Sort g, -2, i in descending order.
g, -2, i
Let u(x) = 4517*x**2 - x + 4. Let f be u(3). Let g = 368168/9 - f. Let n = g - 254. Sort 1, 0, n in decreasing order.
1, 0, n
Let w = -24 - -16. Put -1, 0, w in descending order.
0, -1, w
Suppose 2*m + 5*o + 13 = -3, 16 = 4*m - 2*o. Suppose 27 = m*f + f. Let b be 24/f*(-6)/4. Sort -1/2, b, -0.1 in descending order.
-0.1, -1/2, b
Suppose -31*f = -35*f - 8. Sort -4, 5, f.
-4, f, 5
Let s = 13 + -8. Suppose 2*j - 3*j = s. Sort j, -1, -4 in descending order.
-1, -4, j
Let t be (-3)/(4/(0 - 4)). Suppose 4*p + t*y = 2*p - 5, 3*p = -y - 11. Sort p, 1, 5 in increasing order.
p, 1, 5
Let u = 9 - 9.5. Sort u, -5/8, 1 in increasing order.
-5/8, u, 1
Let d(t) = t + 1. Let p be d(8). Put p, -4, 3, -2 in decreasing order.
p, 3, -2, -4
Let m = 7 - 4. Put 2, m, -1 in increasing order.
-1, 2, m
Suppose 2*u = 3*g + 33, -5*u = -0*u + 3*g - 30. Suppose -u = -3*o - 0, -4*h + 4*o - 44 = 0. Put 2, h, 0 in decreasing order.
2, 0, h
Let c(d) = d - 2. Let q be c(4). Let j be -7 + (3 + 0 - 1). Let l be (-38)/90 + (-1)/j. Sort q, l, 1.
l, 1, q
Suppose -2*x = 0, -5*v - 3*x + 0*x = -25. Suppose f = v*g - 25, -2*g = -3*g + 4*f + 24. Put -4, g, 2 in increasing order.
-4, 2, g
Let p be (7 + -1)*(24/(-9))/4. Let q be (-4 - -3)/(1/(-5)). Sort q, p, 1 in decreasing order.
q, 1, p
Let j be (-2)/(-4)*(-1 - 7). Suppose a - 4*z = 2*a + 13, a = -z - 4. Sort a, j, -2 in decreasing order.
a, -2, j
Let a = -12 + 8. Let z = -2.2 - 0.3. Let r = z + 2. Sort 3/5, r, a.
a, r, 3/5
Let y = 14909/70 - 213. Let c = 3/10 + y. Let h = -4.3 + 4. Put 0.4, c, h in decreasing order.
0.4, c, h
Let b = 1 - -1. Let a be ((-1)/b)/((-1)/4). Put 4, -2, a in descending order.
4, a, -2
Let u be 8/(-3) + 14/21. Let p be (-6*1)/(3/(-2)). Let w be (-26)/(-4) - 15/10. Sort u, w, p in descending order.
w, p, u
Suppose w = 3*w + 2. Sort -5, 1, w in decreasing order.
1, w, -5
Let i(b) = -b**3 + b**2 + b + 3. Let f be i(0). Let p(x) = -x**2 + 9*x - 4. Let a be p(8). Sort f, a, -2.
-2, f, a
Let s be (-2)/(-1)*(-30)/(-12). Suppose -9 = s*o + 6. Sort 3, o, 2 in increasing order.
o, 2, 3
Suppose -4*f + 11 = -5. Suppose -21 = f*q - 1. Let s(c) = -c - 8. Let a be s(-4). Put a, q, -2 in decreasing order.
-2, a, q
Let w = -419 - -1237/3. Let x = -6 - w. Put 5, x, 0.2 in increasing order.
0.2, x, 5
Let r(j) = -j**2 + 7*j - 1. Let l be r(7). Put l, 2, -5 in increasing order.
-5, l, 2
Let j be (-1)/(-2)*-1*-32. Suppose -5*s + j = -s. Let k be 3/12 - 9/s. Sort k, -5, -4 in descending order.
k, -4, -5
Let i = 6.9 - -1.6. Let j = -8 + i. Sort -3, j, -0.2 in descending order.
j, -0.2, -3
Let z = -63/2 + 32. Let i = -5.08 + 0.08. Let j = i - -6. Put -2, z, j in increasing order.
-2, z, j
Let b = -9 - -12. Sort -0.3, b, 1.
-0.3, 1, b
Let o = 72 - 71. Put o, 3, -2, 2 in increasing order.
-2, o, 2, 3
Suppose -4*v - 3 = -3*v, -4*s = 5*v + 31. Let w be (-4)/((-2)/1) + 0. Put s, w, -2 in increasing order.
s, -2, w
Let c = 4 - 4. Let i be -1 + 0 + 0 + -3. Let t be 92/(-22) - i/22. Put c, -5, t in descending order.
c, t, -5
Let l = 113 - 117. Suppose -2*y - 16 = -2*o, 9*o - 25 = 2*y + 4*o. Put 0, y, l in ascending order.
y, l, 0
Suppose g + 3 = 7. Suppose 2 = 4*t - u, u = -0*u - 2. Let h = -9 + 6. Sort t, h, g.
h, t, g
Let g(q) = -q**3 + q**2 + 5*q + 3. Let t be g(3). Sort -3, 2, 10, t.
-3, t, 2, 10
Let x(q) = -5*q - q**2 - 2 + 0*q + 0*q. Let b be x(-3). Let d(v) = -7*v + 47. Let s be d(6). Sort 0, b, s in ascending order.
0, b, s
Let p = 5 + -2. Let i be (-1)/(4 - 84/20). Let g = i - p. Put 0, g, 1 in ascending order.
0, 1, g
Let p be (2/(-1))/(14/35). Sort p, -3, -4.
p, -4, -3
Let z be 1*(3 + 0 + -3). Put -3, -5, z in decreasing order.
z, -3, -5
Suppose 0 = -5*c + 5*v - 40, 5*v = 4*c - 2*c + 16. Let b be (c/(-20))/((-3)/(-15)). Let f = 5 + -9. Put f, b, 5 in increasing order.
f, b, 5
Let f = -1 + 1. Let a = -209/756 + -1/108. Sort a, -5, f.
-5, a, f
Let g be ((-5)/(-2))/(1/(-2)). Let h = -60 - -61. Put 2/3, g, h in descending order.
h, 2/3, g
Suppose -3*q + 3 = -4*p - 7, p - 3 = -2*q. Put -4, p, -5 in increasing order.
-5, -4, p
Let o be (1/2)/(1/2). Suppose -r = -0*r + 4*b - 4, 0 = -5*r + 4*b - 28. Let q be (0 - -1) + 1 + 1. Put q, r, o in increasing order.
r, o, q
Let j = 2 - 2.1. Let g = 2.3 + -0.4. Let v = j - g. Sort -3, v, 0.4 in descending order.
0.4, v, -3
Suppose -1236 = 14*d - 396. Sort 4, d, -3 in decreasing order.
4, -3, d
Let k(d) = d**2 - 5*d - 9. Let i be k(7). Suppose 3*v - i*r = -59, 5*r - 2 = 3. Let b be (-12)/(-10) - v/(-30). Sort 1/6, 5, b in increasing order.
1/6, b, 5
Suppose 2*h + 35 = -h - 4*u, 0 = 2*h + 3*u + 25. Sort 2, -6, h in decreasing order.
2, h, -6
Let f = -19 - -18. Sort 2/9, -0.1, f in decreasing order.
2/9, -0.1, f
Let t = -31 + 29. Put 2, 3, t, -5 in decreasing order.
3, 2, t, -5
Let g = 1 + -3. Let k = g + 4. Let h be -1 - 0/(1*-2). Sort h, k, -3/7.
h, -3/7, k
Let l(x) = x**2 + 11*x + 11. Let y be l(-10). Suppose 3*a + 20 = -2*d, 5*a + 0*a = 3*d - 8. Put 5, d, y in increasing order.
d, y, 5
Let r be 1*1/2*2. Suppose 3*y - 11 = -2. Suppose -o = -3*t - 3, -5*o = -t - 2 + 1. Sort y, o, r in increasing order.
o, r, y
Let f be (0 - 2) + -1 + 4. Let k be 4 + f + -3 - 5. Put k, -4, 1 in decreasing order.
1, k, -4
Suppose -2*x - 2 = -2*f, 4*x - 1 - 1 = f. Put x, -6, 0 in ascending order.
-6, 0, x
Let l = 23/66 - 1/66. Put 4, 1, l in ascending order.
l, 1, 4
Let y = 60 + -53.2. Let n = 7 - y. Let s = -5 + 5.3. Put -5, n, s in ascending order.
-5, n, s
Suppose 0*d + 20 = 2*d. Suppose -5*x = -d*x + 55. Sort x, 5, 2 in descending order.
x, 5, 2
Suppose -2*d = d. Let f(z) = -z**3 + 9*z**2 + z - 4. Let v be f(9). Let q(r) = -2*r**2 - 13*r - 8. Let p be q(-6). Sort v, p, d in ascending order.
p, d, v
Let g = -0.99 - -0.74. Sort 0.4, -0.1, g in descending order.
0.4, -0.1, g
Let z = 75 + -74. Let d = 3.5 - 3. Put z, 4, d in decreasing order.
4, z, d
Let w(l) = -2*l + 9. Let x be w(3). Let d(r) = -5*r**3 + 2*r - 1. Let y be d(1). Put -2, y, x in ascending order.
y, -2, x
Suppose -5*f = -3*v + 2*v - 25, 5*f - 2*v = 25. Sort -5, f, 0.
-5, 0, f
Let s = 3 + -2. Let o = 0.25 + 2.75. Put 0.4, o, s in ascending order.
0.4, s, o
Let u = -0.03 + 1.03. Let s = -1.2 + 0.9. Sort 2, u, s in ascending order.
s, u, 2
Let m(f) = f**2 - 2*f + 1. Let h(k) = k**3 + 3*k**2 + 2*k + 1. Let g be h(-2). Let q be m(g). Let u = 0.1 + -0.2. Put q, u, 0.3 in ascending order.
u, q, 0.3
Let r = 0.28 + 2.92. Let s = r + -0.2. Sort s, -3, -1/4.
-3, -1/4, s
Let v be -5*(2 - 6)/4. Sort 2, v, -2.
-2, 2, v
Suppose 3*x + 17 = -37. Let c = -15 - x. Put 9, 1/2, c in decreasing order.
9, c, 1/2
Let t = -0.28 + -0.12. Let a = -1 + 6. Let o be (25/13 + -2)*-2. Sort o, t, a in descending order.
a, o, t
Let w = -6 + 8. Let s(m) = -m**3 + 7*m**2 + 9*m - 9. Let h be s(8). Sort -2, w, h in decreasing order.
w, h, -2
Let y = -4 + 2.5. Let i = y + -0.5. Sort 0.4, i, -4/3.
i, -4/3, 0.4
Let t = 37 + -32. Suppose q + 6 = 5*b, -q - 5 = -2*b - 2. Sort t, 0, b.
0, b, t
Suppose -5 = -8*q + 3*q. Put 3, 8, q in decreasing order.
8, 3, q
Suppose -4*d = -5*m - d + 35, m = -5*d + 35. Let v be (-4)/m + (-8)/(-20). Put v, -0.3, 5 in descending order.
5, v, -0.3
Let v = -71 - -75.1. Let g = -3.6 + -0.4. Let b = v + g. Put -3, b, -5 in descending order.
b, -3, -5
Suppose 0 = 9*t + 3 - 3. Sort -0.01, -5, 2/3, t.
-5, -0.01, t, 2/3
Let c = -0.21 + 0.61. Let a = -0.8 + c. Let o = 0.2 - -0.3. Sort -2/13, o, a in ascending order.
a, -2