*a = f - 2. Let n = a + 0. Let y be 2/(-1) + (0 - n). Sort -4, y, 1 in descending order.
1, y, -4
Let y = 7 + 3. Suppose -7*k = -5*k - y. Let c = 132 + -132. Put k, 2, c in decreasing order.
k, 2, c
Suppose -4*g + 3 = -g. Let z = g + 1. Let u = -9.6 + 9.4. Sort z, 0, u in ascending order.
u, 0, z
Let l(k) = -k - 3. Let u be l(-6). Let w = 41 + -41. Put 5, u, w in increasing order.
w, u, 5
Let s = 2.7 + 0.3. Suppose 2*b + 3*f = -15, -2*f + f = 1. Let v = 10 + b. Put s, -0.1, v in decreasing order.
v, s, -0.1
Suppose 2*t - 4 = p, -3*p - 4*t - 12 = t. Sort 1, -3, p in decreasing order.
1, -3, p
Let q = -104 - 26. Let l = q + 124.3. Let o = l - -0.7. Put o, 4/3, 0 in decreasing order.
4/3, 0, o
Let r be (-30)/248*(-4)/50. Let v = -383/465 - r. Sort v, -0.4, 2/7.
v, -0.4, 2/7
Let d = 1.3 - -3.7. Let y = -1.69 - -0.19. Let i = 1.6 + y. Sort -1, d, i in increasing order.
-1, i, d
Suppose 2*v = 2, 2*t = -t - 2*v + 8. Suppose -t*c = 4*y, c + c + 2*y + 8 = 0. Sort c, 5, -5 in descending order.
5, -5, c
Let u be 16/(-56) + 74/14. Sort u, 3, 0 in descending order.
u, 3, 0
Suppose -2*n - 7 = h - 3*n, 27 = -5*h + 3*n. Let j be (40/18 - (-8)/(-36)) + -7. Put 1, h, j in ascending order.
j, h, 1
Let d = 1 + 3. Suppose -4*v - c = c + 26, -5*v = c + 31. Sort 2, d, v in increasing order.
v, 2, d
Suppose 0 = -4*h + 6*h - s - 6, 5*h - 5*s - 10 = 0. Let k be 2/1*(-2 - -3). Sort h, k, 1 in descending order.
h, k, 1
Let j = -4 - -3.5. Let c = 277 - 2219/8. Put j, c, 2 in descending order.
2, c, j
Let c be (-3)/2*(-12)/9. Suppose 5 = -c*d - 1. Let t = 1 - d. Sort t, -1, 0 in descending order.
t, 0, -1
Let p = 223 + -227. Let f = 0.7 - -3.3. Put 3, f, p in ascending order.
p, 3, f
Let t = -3 - -1. Let a = -81 + 81. Put a, t, -4 in ascending order.
-4, t, a
Suppose -10*z + 8*z + 6 = 0. Suppose 3*c - 6 = -z. Sort -5, -11, c.
-11, -5, c
Let p = -1.3 - -1.6. Let b = p - -0.7. Sort b, -3/2, 5 in ascending order.
-3/2, b, 5
Let o = -24 + 24. Let r = -9 - -4. Put r, o, 6 in descending order.
6, o, r
Let a = -47 - -31. Let w = -23 - a. Let c = w + 7.4. Sort -0.2, c, 3/2 in descending order.
3/2, c, -0.2
Suppose 4*j - 3*n = 3, -j = 2*n - 5*n + 6. Let i = 3 + 0. Suppose 2*w - 3*w = 2*t - 5, -w - i = 0. Sort j, t, -4.
-4, j, t
Let b(f) = -4*f**3 + f**2 - 1. Let k be b(1). Let l(z) = -z**2 - 5*z + 6. Let y be l(-6). Sort y, 1, k in decreasing order.
1, y, k
Let t(n) = -5*n - 21. Let b be t(-4). Sort 8, b, -5 in descending order.
8, b, -5
Let o = -0.115 - -0.515. Sort 3, o, -5, 7 in decreasing order.
7, 3, o, -5
Let w(f) = -f**3 + 7*f**2 - 6*f - 2. Let s = 13 - 7. Let n be w(s). Let t = -1.4 + 1. Put n, 4, t in decreasing order.
4, t, n
Suppose 4*o - 4 = 2*m, -5*o - 2 + 12 = 0. Sort m, -1/9, 1 in ascending order.
-1/9, 1, m
Let j be 1/(-4) - ((-1092)/272 - -4). Sort 0.1, j, 1/4 in descending order.
1/4, 0.1, j
Let w be (-435)/(-58)*4/(-6). Sort 1, 1/3, w in decreasing order.
1, 1/3, w
Let i = 7.4 - 7. Suppose 3*m = 2*r + 5*m + 14, 33 = -5*r - 4*m. Let l be 2/3*3/(-4). Put r, l, i in decreasing order.
i, l, r
Suppose -3*k + 7 = 31. Let m = -27 + 46. Let h be m/4 - 2/k. Sort 1, -5, h in decreasing order.
h, 1, -5
Let h be ((5/(-1))/10)/1. Let t = -0.03 + -6.97. Sort h, 2/9, t in ascending order.
t, h, 2/9
Let y = 196 + -2150/11. Suppose 0 = 4*s + 41 + 7. Sort 2/7, s, y in decreasing order.
y, 2/7, s
Let c = 0 + 0. Sort c, -1, 2, 5.
-1, c, 2, 5
Let n be (-15)/(-10)*(0 + 2). Suppose 0 = o - n*o + 8. Suppose -5*p = -2*z - 8 - 4, o*p - 7 = -z. Put -3, 4, z in decreasing order.
4, z, -3
Let z be (1/(-3))/((-2)/12). Let l = -0.05 - -0.45. Let f = -4 + 3.9. Put z, f, l in descending order.
z, l, f
Suppose 3*u - 2*u = 11*u. Let b = 0 - -5. Put u, b, 1 in increasing order.
u, 1, b
Let b be (2*(1 - -1))/2. Sort 3, 4, b.
b, 3, 4
Suppose 0 = -a + 5*w, -a - 19 = -4*a - 4*w. Let m(g) = -g + 4. Let t be m(4). Sort a, -7, t in decreasing order.
a, t, -7
Let s be 1*-2 - (0 - 1). Let p(y) = -2*y - 9. Let i be p(-3). Suppose -4*b = -7*b - 6. Put b, i, s in increasing order.
i, b, s
Let x be 3/(-2)*(-4)/3. Suppose -5*o = 10, -3*f - x - 4 = 3*o. Let w = 7 - 12. Put 5, w, f in decreasing order.
5, f, w
Let h = 7.1 + -0.1. Let s = -6 - -4. Let q = s + h. Sort q, 5/3, 0.5.
0.5, 5/3, q
Let x(w) = w - 15. Let v be x(16). Put v, -3, 4 in ascending order.
-3, v, 4
Let u = 0 - 2. Suppose -3*a + 5*q - 15 = 0, -5*q - 10 = 6*a - 4*a. Sort a, u, -1 in descending order.
-1, u, a
Suppose 3*v - 2*c - 14 = 2, -5*v + 26 = -4*c. Suppose 3*x - 3 = 0, -3*h + 4*x = v + 13. Let u = -7 + 10. Put u, -1, h in descending order.
u, -1, h
Let q = 2 - -3. Let l = -2 + 2.1. Let h = 0.06 - 0.46. Put h, q, l in decreasing order.
q, l, h
Let c = -1 - -0.4. Let w = 0.1 + -0.4. Let t = c - w. Sort t, 5, 0.3.
t, 0.3, 5
Let t = 8 + -5. Let n = 2 + t. Suppose -3*q + 4 = q - 4*w, q - 21 = 5*w. Put 3, q, n in decreasing order.
n, 3, q
Let q = 3 - 10. Let u = 6 + q. Let g = 6 + -8. Put -1/5, u, g in decreasing order.
-1/5, u, g
Let u(t) = t**3 + 7*t**2 - 13*t - 36. Let a be u(-8). Sort a, 3, -0.1 in ascending order.
-0.1, 3, a
Let z be 3/(-2) - 4/(-8)*-5. Put 12, 2, 3, z in descending order.
12, 3, 2, z
Let d = 112 + -109. Sort 0.3, -1, d in increasing order.
-1, 0.3, d
Suppose -5*y + 39 = -5*g + 7*g, 5*y - 25 = 5*g. Put 3, y, -3 in increasing order.
-3, 3, y
Suppose 0 = 4*y - 0*y - 4. Put 5, y, -1 in ascending order.
-1, y, 5
Let o = -205 - -3483/17. Put -0.1, 5, o in decreasing order.
5, -0.1, o
Let b be ((-2)/5)/((-1)/5). Suppose -3*l = 4*v - 5, 0*l - b*l = -v + 4. Suppose 18*o + 100 - 46 = 0. Sort 0, o, l in decreasing order.
0, l, o
Let t be 3/(-9)*1/(-2)*3. Let x = -5.4 - -0.4. Put 0.2, t, x in decreasing order.
t, 0.2, x
Let m = -0.6 + 0.2. Let q = m - 0.1. Sort 0, q, 3.
q, 0, 3
Suppose -3*m - 5 = -p, -3*m + 1 + 10 = -5*p. Sort 3, p, 4 in ascending order.
p, 3, 4
Let q(o) = o**2 + 5*o + 1. Let k be q(-2). Let s = -53 - -55. Sort k, s, -3/4.
k, -3/4, s
Let p(a) = 3*a + 6. Let c be p(-4). Let d be 2/c - 3/(-6). Let k = 3.1 + -3. Put d, -0.1, k in descending order.
d, k, -0.1
Let l = -10 - -13. Suppose 2*p - k - 2*k = -5, 5*k = l*p + 8. Suppose 0 = 3*a + 3*t - 24, 5 = -4*t + 25. Put p, 1, a in decreasing order.
a, 1, p
Let k = 0.27 + 4.73. Let l be 8*(-2)/((-8)/(-3)). Let h be (-7 - -1) + l/(-3). Sort h, k, -5.
-5, h, k
Let y = -5 - 2. Let f be (0 + 3 - y)/2. Sort 0, f, 1 in ascending order.
0, 1, f
Suppose f - 16 = 5*b - b, 3*f = -b - 17. Sort 4, 0, b in ascending order.
b, 0, 4
Let j = 1 + -6. Let k = j - -6. Suppose k = -4*x - 7. Sort -4, x, 4 in ascending order.
-4, x, 4
Let t(v) = -5*v + 29. Let a be t(6). Put 0, -4, a in decreasing order.
0, a, -4
Let f(n) = n**3 - 6*n**2 + 8*n + 4. Let h be f(4). Put -2, 0.5, h in descending order.
h, 0.5, -2
Let p(h) = 2*h + 26. Let k be p(-14). Sort -7, k, 2 in increasing order.
-7, k, 2
Let z(s) = -s**2 - 7*s - 1. Let k be z(-7). Let i = -4 + k. Let a(h) = h**3 + 4*h**2 - 4*h + 2. Let w be a(i). Sort 5, -2, w.
w, -2, 5
Let x = -56 + 52. Put 0.14, x, 1/4 in descending order.
1/4, 0.14, x
Let f be ((-20)/8 - (-39)/6) + -5. Sort f, 3, -9.
-9, f, 3
Suppose 5*d - 22 + 2 = 0. Suppose 10 = -d*k - k. Let q = -6 + 5.6. Sort -3, k, q.
-3, k, q
Let h(w) = -w**2 - 5*w + 1. Let k be h(-5). Suppose 2*j + 4 = 2*i, -10 - 3 = -j - 2*i. Suppose j = -2*a - 7. Put 5, a, k in descending order.
5, k, a
Let p(c) = 4*c - 1. Let y be p(1). Let k = -2 + y. Let w = 6 + -1. Put -1, w, k in descending order.
w, k, -1
Let j = 8 + -8. Suppose j = -f - f. Sort -3, f, -0.5 in descending order.
f, -0.5, -3
Let k = 2 - -3. Suppose 4 + 4 = 4*h. Sort h, k, 1.
1, h, k
Suppose z = 5*u + 20, -5*z + 0*z = 5*u + 50. Suppose -2*t + 0*t = -6. Sort t, -3, u in descending order.
t, -3, u
Let r = 17.04 + -0.04. Let t = r - 13. Put t, 0.4, 3 in descending order.
t, 3, 0.4
Let w be (-1)/1 + (-18)/(-22). Let c be 8/20*3/2. Let s(l) = -l + 7. Let k be s(3). Put c, k, w in decreasing order.
k, c, w
Suppose 0 = -5*a - 4*y + 40, 4*a + 9 = 4*y + y. Sort -2, 0, a.
-2, 0, a
Suppose -w - 11 = 4*x - 31, -5*x - 38 = -4*w. Suppose i + w = -3*i. Put i, 2, -2/7 in increasing order.
i, -2/7, 2
Suppose -d = 2*z, 3*d - 8 = -2*d - 2*z. Sort 4, d, 1 in descending order.
4, d, 1
Suppose 3*u + 1 = 2*u. Let x = 26 + -25. Sort x, u, -7 in decreasing order.
x, u, -