ecreasing order.
4, 2, r, -5
Let n = 2109 - 2094. Sort 0, -1, -7, n in decreasing order.
n, 0, -1, -7
Let m = 1008 + -1012. Put 0.2, m, -1/2, -0.4 in increasing order.
m, -1/2, -0.4, 0.2
Suppose 13 = -550*o + 537*o. Sort -14, o, -3 in ascending order.
-14, -3, o
Suppose -11*x + 20 = -9*x. Suppose -p = 3*j - 1, 6*p - 4*p + x = 0. Sort -5, 1, 4, j.
-5, 1, j, 4
Let s(j) = -j**2 - 13*j + 44. Let x be s(-16). Put x, 5, 0, 3 in decreasing order.
5, 3, 0, x
Let x(k) = k**3 - 5*k**2 + 5*k + 2. Let s be x(4). Let j be 8*(s/(-2))/(-12). Suppose -j*t = 4 - 2. Sort 0, -3, t in decreasing order.
0, t, -3
Let d(b) = b**3 - 3*b**2 + 2*b - 3*b - 3 + 6. Let o be d(3). Suppose 5*k - 3*f = -23, 0 = -3*f - o*f + 3. Sort k, -2, 1 in descending order.
1, -2, k
Let t = -17.4 + 5.4. Let j = t - -17. Put j, 3/2, 0.2 in increasing order.
0.2, 3/2, j
Let n be 1 - 3 - (-2 + 4). Let p(j) = -j - 11. Let m be p(-14). Suppose -b - 2*b = -2*l + 3, 5*l - 12 = m*b. Sort n, b, 0 in descending order.
b, 0, n
Let p = -4.81 + 4.91. Sort -0.2, 9, -4, p in descending order.
9, p, -0.2, -4
Let z = -62.3 - -62. Sort z, -0.1, -0.2.
z, -0.2, -0.1
Let b be ((-20)/(-25))/((-2)/(-15)). Let u = -4 - -5. Suppose -u - 1 = -w. Sort w, b, 4 in descending order.
b, 4, w
Let a(o) = -164*o - 822. Let j be a(-5). Let n be -7 + 1/((-2)/(-4)). Put n, -4, 5, j in decreasing order.
5, j, -4, n
Suppose 5*j - 9 = 4*q, -j - 3*q = -20 + 3. Sort -26, 0, -2, j in decreasing order.
j, 0, -2, -26
Suppose 0 = 42*w - 47*w - 20. Let q(c) = -c**3 - 6*c**2 - 8*c - 17. Let d be q(w). Put d, 1, -1 in descending order.
1, -1, d
Let s(f) = 2*f**2 - 13*f + 2. Let w be s(4). Let p(t) = -t - 19. Let k be p(w). Sort 4, k, -2, -3 in descending order.
4, k, -2, -3
Suppose 3*y + 1 = -2*k, -5*k + k - 4*y = 0. Let g(s) = 4*s**2. Let a be g(k). Suppose 3 = 5*m - a*m. Put -2, -1, m in increasing order.
-2, -1, m
Let m(h) = -h**2 - 19*h. Let q be m(0). Put q, 10, -2 in ascending order.
-2, q, 10
Let o(b) = -2 - b + 0 + 4*b. Let w be o(2). Let a = -13.1 + 12.6. Sort 3/5, w, a in decreasing order.
w, 3/5, a
Suppose 0 = f, 4*f - 12 = -v - 2*v. Let n be (v/(-14))/((-30)/105). Sort 5, 0, n.
0, n, 5
Suppose 3*r - 37 = -28. Let a(f) = -f**3 + 10*f**2 - 3. Let l be a(10). Let i = 12 - 13. Put i, l, r in ascending order.
l, i, r
Suppose -4*g - 3*y + 3 = -g, 2*y + 19 = 5*g. Suppose -4*k - 22 = q, 2*q + 69*k = 70*k + 1. Sort g, 5, q, 2 in increasing order.
q, 2, g, 5
Let n be -2*((-18)/8 + 2). Let z = 25 - 29.5. Let k = 4.6 + z. Sort n, k, 1/4 in decreasing order.
n, 1/4, k
Let x be 49/(-21) + (-5 - -8). Let g be 3 + (-2 - 3) + 7. Put x, g, -1/2, 1/2 in decreasing order.
g, x, 1/2, -1/2
Let d be (-6)/(-4) + (-10 - -6 - -3). Sort 1, -2/9, d, -75 in decreasing order.
1, d, -2/9, -75
Suppose 0 = 6*n - 0*n - 12. Let g be 12/(-88)*(2 + -2 - n). Sort 0.2, g, 0.3 in ascending order.
0.2, g, 0.3
Let m(t) = -t + 13. Let w be m(11). Suppose 1 = 5*h - 2*c, 4*h - 9*c = -6*c - w. Sort 0, h, 7, 5 in descending order.
7, 5, h, 0
Suppose 5*d - 60 + 55 = 0. Put -6, 5, -2, d in descending order.
5, d, -2, -6
Suppose -l - 5*n = -29, 5*l + 8*n - 6*n = 76. Sort l, 1/3, -5/3 in ascending order.
-5/3, 1/3, l
Let o(k) = -2*k**2 + 25*k + 73. Let g be o(15). Put -4, 4, g, 0.5 in descending order.
4, 0.5, g, -4
Let j = -673 + 671. Sort j, -1, 0.21.
j, -1, 0.21
Let c = -22933/15 - -1529. Sort c, -69, -0.5 in descending order.
c, -0.5, -69
Suppose 2*o = 9*y - 8*y + 12, 0 = -2*y - o + 1. Let l = -3/14 - -5/7. Sort 1, l, 0.2, y in ascending order.
y, 0.2, l, 1
Let i(r) = -22*r. Let w be i(2). Let v = 42 + w. Put 4, v, 0 in descending order.
4, 0, v
Let m = -324.82 - -340. Let a = m + -0.18. Let u = -14 + a. Sort 1/3, u, -3.
-3, 1/3, u
Suppose -4*i + 20 = -9*i. Suppose 0 = 3*u - 3*s - 9, 3*s = -4*u - 0*s + 19. Suppose -g + u = g. Sort -1, i, g in descending order.
g, -1, i
Let s = 19 + -17. Suppose -m - 7 = -s*x, 2*m = -0*m - 6. Suppose -2*l + a - 32 = 0, 3*l + 23 = x*a - 23. Put 3, -1, l in increasing order.
l, -1, 3
Let f = 1708 + -1708. Let i(u) = -u**2 - 5*u + 8. Let x be i(-6). Sort 3, f, x, 1.
f, 1, x, 3
Suppose -4*c = -6*c. Suppose -h = 3*d, 2*d + c*d = 5*h - 17. Let a be (d - (-3 - 0))/(-2). Put a, 1/3, -0.2 in increasing order.
a, -0.2, 1/3
Let x = -22/7 - -37/14. Let c = -86 + 91. Let f = -2.9 - -3. Sort f, x, c in increasing order.
x, f, c
Let v be (-27)/(-12) - 3/12. Suppose -f = -2*c, -v*f - 3*f = 0. Suppose c = -5*g - 3*r - 16, 3*g + 4 + 5 = -2*r. Sort 0.1, g, 0 in decreasing order.
0.1, 0, g
Let n = -1310 - -1308. Put n, 326, 4 in descending order.
326, 4, n
Let y = 1887 - 9436/5. Sort y, 0.21, 0.1.
y, 0.1, 0.21
Suppose 3*l = -2*h - 7, 2*l - 8 = -h - 11. Put -2.5, l, 2/5 in ascending order.
-2.5, 2/5, l
Let y be 4 - (84 + 3/(-1)). Let d = 82 + y. Put d, 9, -1 in increasing order.
-1, d, 9
Suppose 2*l + 5 - 1 = 0, -2*r + 10 = -l. Put 2, -5, r, -3 in descending order.
r, 2, -3, -5
Let n = 19 - 12. Let u = n - 3. Let o = 1 + u. Sort 1, -0.2, o.
-0.2, 1, o
Suppose -12 = -4*j + y - 4*y, 2*y = 2*j - 6. Suppose 4*r + 2*v + 10 = 0, 4*v + 4 + 4 = -5*r. Put r, j, 8 in ascending order.
r, j, 8
Let x = -48 - -193/4. Let t = -0.927 - -0.527. Put -12, t, x in decreasing order.
x, t, -12
Suppose -4*a - 118 = -102. Put -13, a, -7, -1 in increasing order.
-13, -7, a, -1
Let f = -4.95 + -0.05. Let j be (-2)/(-15) - (-8)/12. Let b be ((18/4)/3)/(-3). Sort b, f, j in descending order.
j, b, f
Let p = 933 + -934. Put 8, p, 2, -5 in increasing order.
-5, p, 2, 8
Let i(j) = -j**3 + j**2 + 3*j + 7. Let l be i(3). Let g = -475 + 471. Put l, g, -8, 2 in decreasing order.
2, l, g, -8
Suppose -4*o - o = -10. Let m = 1.1 - 1.3. Sort m, 5, o.
m, o, 5
Let k = 0 + 4. Suppose -2*a = -5*s - 11, 0 = 3*s + s + a + 14. Suppose 262 = 194*i - 126. Put i, s, k in ascending order.
s, i, k
Let q be (-4)/16 - (-14)/(-8). Let p be (-5 - (-84)/(-7)) + 0 + -1. Let j be (-16)/p + (-4)/18. Sort 3/7, j, q in descending order.
j, 3/7, q
Let n = -3 + 2. Let j = n - -1. Suppose 0 = 5*m - 345 + 305. Sort m, j, 4 in decreasing order.
m, 4, j
Let y = 2.13 - 3.13. Sort 0.03, -0.1, y, -0.2 in decreasing order.
0.03, -0.1, -0.2, y
Let i(m) = -30*m + 958. Let h be i(32). Sort 0, 48, 1, h in ascending order.
h, 0, 1, 48
Suppose 3*b + 17 = 23. Suppose m - 11 = b*c, 5*m - 2*c + 2 = 25. Let k = 12 - 7. Put m, -5, k in descending order.
k, m, -5
Let z = -119 + 122. Sort z, 20, 1 in increasing order.
1, z, 20
Let h = -10 - -16.9. Let i = h - 7.1. Sort i, 2/3, -37.
-37, i, 2/3
Suppose 0 = 30*z - 31*z + 2*y - 3, z - 4*y + 1 = 0. Suppose 5 + 15 = 5*h. Put z, 27, h in descending order.
27, h, z
Let f(g) = -3*g - 9. Let p = 9 - 13. Let o be f(p). Suppose 2*u - 5 = -t, -3*u + 0*t = -o*t + 15. Put u, -2, 4 in decreasing order.
4, u, -2
Let m be (-88)/(-9) - 14/(-63). Suppose -2*a - 17 = 5*q, -5*q + 4*a - 1 - m = 0. Let p = -9 - -5. Sort p, 4, q in descending order.
4, q, p
Let h = -0.8 + -2.2. Let b = 106 - 105.9. Let a be 4/6*(-2)/1. Put h, a, b in descending order.
b, a, h
Let a be -4 - ((0 - 2) + 3)/1. Let y(g) = g + 4. Let p be y(-4). Sort 5, p, 3, a.
a, p, 3, 5
Suppose 10*u + 891 = 771. Sort -1, 0, u, 5 in decreasing order.
5, 0, -1, u
Let a = -0.23 - -0.16. Suppose 15*o - 253 + 253 = 0. Sort a, -1/4, o in increasing order.
-1/4, a, o
Let j(d) = 19*d - 120. Let r be j(6). Put -4, 2, r, 7 in descending order.
7, 2, -4, r
Let f be (5 - 6 - 3)/(1/(-3)). Suppose -f*b = -5*b. Put b, 2, 4, -1 in descending order.
4, 2, b, -1
Let c = 6 + -9. Let n = -3.1 - c. Let f = 3/488 - -235/1464. Sort 0, n, f in decreasing order.
f, 0, n
Let l = 1764/11 + -114616/715. Put -0.4, -1/6, 1, l in increasing order.
-0.4, -1/6, l, 1
Suppose -5 = -65*k - 70. Sort k, -4, 4, -9 in descending order.
4, k, -4, -9
Let a = 60 - 1. Let h = -62 + a. Sort -0.1, 0, -0.4, h.
h, -0.4, -0.1, 0
Let n(j) = j**3 + 9*j**2 - 11*j - 9. Let x be n(-10). Suppose -5*k = -2*r + 15, -4 - 1 = 2*k - r. Put x, -0.5, 0, k in ascending order.
k, -0.5, 0, x
Let c be 27/351 + 200/(-65). Sort 5, c, -2, -4 in decreasing order.
5, -2, c, -4
Suppose -n - 2*n - 6 = 0. Suppose -3*o = -2*t - 18, 0 = t - 0*o + 3*o. Suppose -40*p - 16 = -48*p. Sort n, p, t in increasing order.
t, n, p
Let w = -213/85 + 46/17. Sort -0.4, w, 0.4, 39.
-0.4, w, 0.4, 39
Let k = 1.3 - 1.6. Let f be 3/(-12)*