ing order.
c, 0.2, n
Let u be (2/(-2))/(1 + 0). Let y be ((-3)/(-6))/(2/16). Suppose -x = -0*x + y. Sort x, 3, u in descending order.
3, u, x
Let a = 4.3 + -2.9. Sort 4, a, -2.
-2, a, 4
Suppose j + 2*j - 6 = 0. Let w = 6 - j. Suppose 5*m - 6 = -s, -4*m = -0*m + 2*s. Put -1, m, w in descending order.
w, m, -1
Suppose 6 = -2*f, 2*f + 10 = -2*q + 3*q. Let h = 0.14 - 5.14. Let a = 0.3 + 0.2. Sort h, a, q in decreasing order.
q, a, h
Suppose -u = 4*u - 60. Suppose -b = k + u, -2 = k - 1. Let x = -6 - b. Sort 3, -3, x in descending order.
x, 3, -3
Let q be -1 + 2 + (8/(-2))/4. Put -1, q, -4 in descending order.
q, -1, -4
Suppose 5 = p + c, 2*p = -10*c + 5*c + 25. Suppose 3*v - 12 = -p*v. Suppose h = -0 - v. Sort -1, 0, h in ascending order.
h, -1, 0
Let s(n) = -17 - 6 + 3 + 0*n - n. Let m be s(-15). Sort -1, m, 4 in ascending order.
m, -1, 4
Suppose 10 = -3*c + 1. Let t = -45 - -40. Put t, c, -4 in descending order.
c, -4, t
Let m be ((-16)/(-24))/((-6)/9). Suppose g - 5*a + 5 = 0, -g = 3*a + 6 - 17. Sort 0, g, m in increasing order.
m, 0, g
Suppose -3*j - 4*h - 4 = j, j + 3*h = -3. Suppose -6*n - 9 = -3*n. Put n, j, -4 in increasing order.
-4, n, j
Suppose -12 = 3*i, 4*w = 5*w - 5*i - 23. Suppose -w*v = -5*v. Sort -4, -5, v.
-5, -4, v
Suppose -3*j = -3 - 3. Suppose 3*w = 5*k + 24, -j*w - 3 = 5*k + 6. Put -4, w, 2 in increasing order.
-4, 2, w
Let k be (-1)/(2*(-1)/(-2)). Let g be ((-2)/2 - -2) + k. Sort 2, g, 3 in increasing order.
g, 2, 3
Suppose 4*l = 12, -u - 3*l = -8*l + 12. Suppose -2 = p + u. Sort p, 1, -3 in decreasing order.
1, -3, p
Let b = 6 - 7. Sort 3, 4, b in increasing order.
b, 3, 4
Let t = 15 - 11. Sort 5, t, -5 in increasing order.
-5, t, 5
Let g = 5 - 9. Let q(o) = -o**3 - 5*o**2 - 5*o - 2. Let y be q(g). Let s(c) = c**3 + 2*c**2 + 4*c + 6. Let f be s(-2). Put f, y, 3 in descending order.
3, y, f
Let v = -20.8 - -13.5. Let z = v - -1.3. Sort -1/3, -1, z in descending order.
-1/3, -1, z
Suppose 6*j - 8*j = -6. Put -2, j, 2 in descending order.
j, 2, -2
Let j = 13 + -13. Sort j, 3, 1 in decreasing order.
3, 1, j
Let h = 26 + -26.22. Let i = -0.02 - h. Let k be -2 - 2*9/(-12). Sort 4, i, k.
k, i, 4
Let v = -23 - -23.4. Sort 1/6, v, -1.
-1, 1/6, v
Let k = -11 - -10.2. Let x = k + 0.6. Sort 1/4, x, 0.3.
x, 1/4, 0.3
Suppose -z - 1 = 2. Sort -4, -1, z.
-4, z, -1
Let j = 3.3 - 0.3. Let a = j + 0. Let x = 0.1 + 0.2. Sort x, -5, a in descending order.
a, x, -5
Let f be (-552)/(-115) + 1/5. Sort -9/4, -4, f in increasing order.
-4, -9/4, f
Suppose 4 = 2*m - 4*m, 0 = v + 4*m + 8. Suppose v = -3*r - 2*r + 15. Suppose 9 = -3*h - r*u, -2*h - 5*u + 0 = 3. Put h, -1, -5 in descending order.
-1, h, -5
Suppose 0 = -2*g + 1 + 7. Let a(y) = y - 9. Let n be a(g). Let v(l) = -l**3 - 5*l**2 + 2*l + 7. Let z be v(n). Sort z, 3, -5 in descending order.
3, z, -5
Let t = -0.0527 + -24.2473. Let v = -24 - t. Sort 0.5, -0.1, v in decreasing order.
0.5, v, -0.1
Let o = 0.49 + -3.49. Let f = -8.6 - -9. Put f, o, 4 in increasing order.
o, f, 4
Let k = -4 - -6. Suppose n + n + k = 0, -4*s + n = 11. Suppose -3*d + 9 = -5*i - 3, 4*d - 2*i - 2 = 0. Sort d, 1, s in descending order.
1, d, s
Let h = 275 + -143. Sort -3, -4, h in ascending order.
-4, -3, h
Let w = -17.6 - -16. Let h = w + 1.1. Put -2/3, h, -0.2 in descending order.
-0.2, h, -2/3
Let s(p) = p - 10. Let l be s(7). Let t be 1*-1*-1*5. Suppose t = 4*o - 3. Sort l, -1, o.
l, -1, o
Let v = 1 + 5. Let h = -5 + v. Let t be (6/8)/((-1)/4). Sort -4, h, t in descending order.
h, t, -4
Let m = -4.13 + 0.13. Let l = 0 - -1. Sort m, l, 3/8 in decreasing order.
l, 3/8, m
Let h = 9 - 10. Suppose 0 = 4*n - 12, -5*d - 3*n + 46 = -6*n. Let b = d - 8. Sort h, b, 1 in ascending order.
h, 1, b
Suppose -3*x + 8 = -x. Suppose 4*r = 3*g + 9, -x*r - 1 + 7 = -2*g. Let n be -1 + 2/(r - 1). Put -2, -5, n in decreasing order.
-2, n, -5
Suppose -j = -g + 1, 3*g + 13 = -j - 4. Put 3, g, -3, 4 in decreasing order.
4, 3, -3, g
Let r = -21 - -20. Sort r, 1, -2/7, 5/2 in increasing order.
r, -2/7, 1, 5/2
Suppose s = 5*u - 21, -3*u + 3*s + 10 = 5*s. Sort 5, u, 1/3.
1/3, u, 5
Suppose -1 = -3*c + 11. Sort 0.4, -1, c.
-1, 0.4, c
Suppose -p - 4 = -8. Let o be p/(-8)*(-4 + -2). Let u(n) = -n**2 + 6*n + 6. Let b be u(7). Sort b, o, -3 in descending order.
o, b, -3
Let r = 15 - 20. Sort r, 2/7, 3 in decreasing order.
3, 2/7, r
Suppose -2 = 5*i - 27. Suppose 21 = -r - i*h, 0 = -r - 4*r + 3*h + 7. Sort r, -4, -2.
-4, -2, r
Let h = -56 + 51. Let q = -40607 + 202347/5. Let r = -138 - q. Sort 4, h, r.
h, r, 4
Let l be -6 + 3 + 2 - -13. Let m = l - 7. Let n be -1 + m + 3 + -3. Sort 2/17, n, 1/9.
1/9, 2/17, n
Let v = -0.4 - 0.1. Let z = 1 + v. Let b = 0 + -1. Put -4/3, z, b in decreasing order.
z, b, -4/3
Let g(q) = -2*q**2 + 8*q - 9. Let r be g(2). Put -7, r, 8 in decreasing order.
8, r, -7
Let z be (0 - -3)/(0 - 1). Put -1, z, 0, 4 in descending order.
4, 0, -1, z
Suppose -d - u = -0*u, 10 = -4*d + u. Let v(m) = -m**3 - 4*m**2 - 3. Let a be v(-4). Sort a, -1, d in ascending order.
a, d, -1
Let s = -1.4 + 1.1. Sort s, 2, -1/8 in decreasing order.
2, -1/8, s
Let d be -1*(-4 + 3)*-2. Let t be 3 + 3 + 1 + d. Put 4, -2, t in ascending order.
-2, 4, t
Let o = 149 - 145. Let d = 6 + -5.3. Let g = 0.3 + d. Sort 0, g, o.
0, g, o
Let j(u) = 4*u**2. Let t be j(1). Suppose 5*i - 15 = -0*i. Suppose -3*o + o + 4 = 0. Sort i, t, o in increasing order.
o, i, t
Suppose 3*w - 4 - 2 = 0. Suppose 2*p - w = 8. Suppose 0 = -z - p + 6. Put 2, z, 0 in decreasing order.
2, z, 0
Let a be (-96)/(-44) + 2/(-11). Put a, -3/2, 1 in ascending order.
-3/2, 1, a
Suppose -5*j = 14 + 11. Sort -4, -3, j in decreasing order.
-3, -4, j
Let i be (44/(-11))/((-20)/(-6)). Sort i, 1/4, 3 in increasing order.
i, 1/4, 3
Let l(a) = a + 2. Let u be l(-4). Let r(x) = -x**3 + 26*x**2 + 54*x + 53. Let d be r(28). Put d, 3, u in descending order.
3, u, d
Let k = 31/15 - 7/5. Let z = -2 + 6. Let c = z - 3.6. Sort k, -0.2, c in descending order.
k, c, -0.2
Let i = 12 - 17. Let v be (1 + 1)*(-3)/6. Put i, v, 1 in descending order.
1, v, i
Suppose -5*z = -0*z + 25. Put -2, z, 1 in descending order.
1, -2, z
Suppose 7*j + 3 - 3 = 0. Let i(w) = -w**2 - 4*w + 3. Let f be i(-4). Suppose -f*l = 2*l + 20. Put j, l, 3 in increasing order.
l, j, 3
Let c(r) = 2*r - 8. Let h be c(7). Suppose -v - 9 + h = 0. Sort v, -1, -4 in increasing order.
-4, v, -1
Suppose 28 = l - 3*q - 2*q, 5*q + 25 = 0. Let v(p) = 4*p - 5*p + 0*p + 1 + l. Let d be v(6). Put 5, 0, d in descending order.
5, 0, d
Let m(l) = -2*l**3 - 2*l**2 + 2*l + 1. Suppose 0*i + 3*i + 6 = 0. Let x be m(i). Suppose 3*w + w - 16 = 0. Sort w, -5, x in descending order.
x, w, -5
Suppose 3 = -15*a + 12*a. Sort a, -23, -3 in decreasing order.
a, -3, -23
Let a = 0.4 + 0. Let j = -0.12 - -0.12. Sort a, j, -1/3 in descending order.
a, j, -1/3
Let j be 2/(-1) - (-14)/2. Suppose 5*s = -4*q - 12, -4*q + 0*q + 8 = 0. Put s, j, 1 in descending order.
j, 1, s
Let k(h) = -3*h - 12. Let z be k(-8). Suppose 0*x = -4*l - 2*x + z, -6 = l - 4*x. Let o be (7 + -1)*l/4. Put 5, o, 1 in descending order.
5, o, 1
Let u(m) = -2*m + 14. Let t be u(6). Suppose 0*y + 4 = -4*y. Put y, -2, t in increasing order.
-2, y, t
Suppose -2*s = -4*w - 4, -3*w = 3*s + 2*s - 10. Let l(i) = i**3 - 3*i**2 - 4*i + 3. Let h be l(4). Put h, -3, s in decreasing order.
h, s, -3
Let k = 12 - 0. Suppose 5*w - h = -3, -2*w + 3*h = -3 + k. Sort w, -1, -2 in increasing order.
-2, -1, w
Let s = 12 - 16. Put -3, s, -2 in decreasing order.
-2, -3, s
Suppose 4*p + 3*x - 18 = 43, 0 = 2*p - 4*x - 14. Suppose 3*q = -p + 1. Suppose 5*f - 4*j + 2 = 0, -5*j - 1 + 22 = 3*f. Sort f, q, -1 in decreasing order.
f, -1, q
Suppose -3 = -4*m - 7. Let i(w) = 0*w - w - 1 + 3. Let s be i(6). Sort 4, s, m.
s, m, 4
Let g be (-276)/(-273) - 1 - (-22)/(-143). Let p = -2 - 1. Put p, 2, g in descending order.
2, g, p
Let l = -178 + 183. Sort -2/17, 0.4, l in increasing order.
-2/17, 0.4, l
Let g be 2/(-7) + 23/7. Let h be (-2)/g*6/1. Put h, 0, 3/4 in descending order.
3/4, 0, h
Let p be (-4)/22 + 40/(-22). Sort 5, p, 3, -9.
-9, p, 3, 5
Let x be 2/((-6)/(-4) - -1). Let b = 3.1 + -0.1. Let v = 2.6 - b. Sort x, v, 2 in descending order.
2, x, v
Let t(z) = 13*z + 2. Let v be t(-2). Let h = -19 - v. Sort 7, -4, h in decreasing order.
7, 