order.
f, i, -5
Suppose -4*f + 18 = -2. Suppose l = -5*b + 5, -f*b - 5*l + 4 + 1 = 0. Suppose -4*d + 3*d + 2*q + b = 0, -4*q = 0. Sort d, -2, 2 in descending order.
2, d, -2
Let f(v) = 5*v + 1. Let c be f(-1). Let a(g) = -g**3 - 6*g**2 - 6*g - 1. Let k be a(-5). Sort c, k, -3.
c, -3, k
Let h(y) = -2*y**2 + 2*y. Let u be h(2). Let z = u - -8. Suppose -25 = -4*b - 5*c, -2*c - 2*c = -4*b - 20. Sort b, z, 3 in increasing order.
b, 3, z
Suppose 3*v = 4*x - 3*x + 1, -5*x = -v + 19. Sort 5, x, 3 in decreasing order.
5, 3, x
Let u = -101/72 - -13/8. Let t(x) = -2*x + 6. Let d be t(5). Put -0.4, d, u in decreasing order.
u, -0.4, d
Let w = -2 - -3. Let y = 5 - w. Let o(g) = g - 1. Let q be o(3). Put q, -2, y in descending order.
y, q, -2
Let f(n) = -n**2 - 7*n - 2. Let r be f(-6). Suppose 20 = 6*y - 2*y. Sort r, y, -5 in decreasing order.
y, r, -5
Let i(p) = -p**3 + 4*p**2 - 2*p - 1. Let k be i(2). Put -2, k, -6 in descending order.
k, -2, -6
Let s = 8.9 - 8.6. Let p be (-10)/21 - (-2)/6. Sort -1, p, s in descending order.
s, p, -1
Suppose 0 = -5*z + 5 + 5. Suppose -z*v = -3*v. Sort -4, -5, v.
-5, -4, v
Suppose -3*y + 9 = -12. Let x(a) = -a**2 - a + 7*a + 4 + 0*a**2. Let z be x(y). Sort z, 4, 2 in increasing order.
z, 2, 4
Let w be 22/(-84) - (-10)/(-60). Let k(t) = 9*t**3 - 2*t**2 + 1. Let z be k(1). Sort z, 3, w.
w, 3, z
Let b = 6 - 14. Let y(c) = -c - 7. Let f be y(b). Put -1, f, -4 in descending order.
f, -1, -4
Let y(k) = -12*k - 97. Let m be y(-8). Let d = -7/17 + 89/51. Sort 3, d, m in ascending order.
m, d, 3
Let s = 0.8 - 1.2. Let y = 0 + s. Put y, 1/10, 1/6 in ascending order.
y, 1/10, 1/6
Let k = 3 - 8. Let h(l) = 2*l + 9. Let j be h(-6). Suppose -2*b - z = 5, -3*z - 1 - 14 = b. Sort k, j, b in descending order.
b, j, k
Suppose -3*j - 3 = -5*q, 4*q = j + 10 - 2. Put -3, q, 0, 0.2 in increasing order.
-3, 0, 0.2, q
Let s(m) = m**3 + 3*m**2 + 3*m + 16. Let q be s(-3). Sort -2, q, -3.
-3, -2, q
Suppose 9*w + 5 = 4*w - 5*x, 5*x = -4*w. Let s(g) = g - 15. Let o be s(0). Let r be 6/(-5)*o/(-6). Sort w, r, 0 in increasing order.
w, r, 0
Let f = -2 + 4. Let s = -24 + 20. Put 4/7, f, s in descending order.
f, 4/7, s
Let u be 6 + 0/1 - 3. Suppose 3*z = 3*t + 21, 2*z + 3*t = -0*z - 11. Suppose 0 = -u*j + 4*v - 14, 4*j - z*v + 18 = 3*v. Put 0.2, j, -3 in decreasing order.
0.2, j, -3
Let f = -11 - -7. Put f, -5, 3 in decreasing order.
3, f, -5
Let d = 0.02 + -0.07. Let l = d - -0.55. Put l, -1/2, -4 in ascending order.
-4, -1/2, l
Suppose -3*g - 24 + 69 = 0. Suppose 0*i - 3*i - g = 0. Let d be ((-11)/22)/(2/4). Put i, 1, d in decreasing order.
1, d, i
Suppose x + 5*t - 45 = 0, 2*t - 71 = -3*x + 12. Suppose 8*q = 3*q + x. Put -5, q, 3 in descending order.
q, 3, -5
Let f be ((-4)/10)/(4/20). Let v be (f/(-10))/(0 - -1). Sort v, -1, 0.3 in descending order.
0.3, v, -1
Let x(i) = i + 10. Let s be x(-5). Sort -1, 1, s in descending order.
s, 1, -1
Let z = 3 + -3.2. Let s = -10 + 6. Sort -0.5, z, s.
s, -0.5, z
Let n = -0.2 - 0. Let a = 6 + -10. Sort a, -2, n in increasing order.
a, -2, n
Let r be (-1)/(1 - 2)*6. Suppose d + r - 2 = 0. Put 3, d, 2 in decreasing order.
3, 2, d
Let t(z) = -238*z**2 + z. Let j be t(-1). Let w = 1909/8 + j. Let v be 8/70*5/2. Sort v, w, -5 in ascending order.
-5, w, v
Let u be ((-1)/(-2))/((-2)/(-20)). Let h be 10 + (-1 - -2) + -2. Suppose -7*c = -h*c - 8. Put c, u, 2 in decreasing order.
u, 2, c
Let z = -9.6 + 8. Let b = z - -1.1. Put b, 3, -2 in ascending order.
-2, b, 3
Let r be (42/(-8))/(2/(-8)). Let q be (-5)/(-7) + 6/r. Let t = -81 - -83. Sort q, t, -4 in increasing order.
-4, q, t
Let w be -4 + ((-515)/(-75) - 3). Let o = -2 - -2. Sort o, -1/9, w in decreasing order.
o, -1/9, w
Let c = -1.8 + 2.8. Let t = 1.1 - c. Sort 0.5, -2/15, t in ascending order.
-2/15, t, 0.5
Let a = 3 - 5. Let f = a - 0.8. Let q = f - -3. Sort -2/3, q, -3 in increasing order.
-3, -2/3, q
Let i be ((-2)/(-4))/(1/4). Let v be i/4 - (-6)/(-4). Let w(j) = -2*j - 1. Let l be w(-1). Put 2, l, v in decreasing order.
2, l, v
Let o = 6 + -12. Let f be (-9)/(-2)*(-2)/3. Let g = o - f. Put g, 3, -1 in ascending order.
g, -1, 3
Let i = 0.05 + 0.25. Let c = -4 + 2. Let a be (c/(-4))/(4/(-16)). Sort a, 2, i in descending order.
2, i, a
Let n be (-8)/(-3) + (0 + 36)/(-12). Let g = 2 + -1.5. Sort -0.3, n, g in increasing order.
n, -0.3, g
Suppose 0 = 2*w + 3*w - 25. Suppose 5*b + 2 = 12. Let z = -7 + b. Sort -1/2, w, z.
z, -1/2, w
Suppose -3*b - 5 + 22 = -4*m, -4*b + 12 = 0. Let j be 4/(-14) - 52/14. Put m, j, -3 in ascending order.
j, -3, m
Let v(u) = u**2 + 7*u + 8. Let x be v(-6). Sort x, -4, -3, 1 in descending order.
x, 1, -3, -4
Let l(b) = b**3 - b**2 + b + 1. Let r be l(0). Sort -3, 4, r.
-3, r, 4
Suppose 49 - 99 = 5*v. Sort v, -4, -3 in ascending order.
v, -4, -3
Let j = -0.46 - -0.16. Sort 0, j, -0.4, -10/3.
-10/3, -0.4, j, 0
Suppose -j - 5*x + 4 = 12, -3*x - 3 = 0. Suppose 17 = 4*c + 3*q, c - 3*q + 0 = -7. Put c, j, 1 in ascending order.
j, 1, c
Let c(v) = -3*v - 5. Let b be c(-4). Let p(r) = r - 11. Let s be p(b). Let y be (-6)/(-4)*8/(-6). Put -5, y, s in ascending order.
-5, s, y
Suppose 4*c = 3*h - 8, 3*c - 8 = -h - c. Put 5, -5, h in descending order.
5, h, -5
Let t = -3.1 + 0.1. Let o(r) = r - 1. Let f be o(0). Let l be f/(-1) + (-5)/6. Sort t, 0.1, l in increasing order.
t, 0.1, l
Let h = -0.1 - -0.2. Suppose 6*c - 2*c - 96 = 2*f, -5*f = 0. Let y be (c/42)/(-1 - 1). Sort h, y, -4 in descending order.
h, y, -4
Suppose 5*i = 5*j, i - j - 3 = 3*j. Let a be 4 + ((-1)/1 - 1). Suppose 7*w - 15 = a*w. Sort -5, i, w.
-5, i, w
Suppose -5*l = -n - 5, -5*n + 3*n = 5*l + 10. Put n, -3, -4 in increasing order.
n, -4, -3
Let i = 85.2 + -85. Put 2, i, 5 in decreasing order.
5, 2, i
Let t = -49 - -47. Let u be ((-3)/(-9))/(1/(-9)). Sort u, 4, t in decreasing order.
4, t, u
Suppose -2*c = -7*c. Suppose c = -4*q + 7*q. Suppose -20 = -4*i, -5 + 0 = p - 2*i. Sort -4, p, q in increasing order.
-4, q, p
Suppose 2*r = 4*n + 26, -2*n - 13 = -2*r + 3. Sort -1, 7, n in descending order.
7, -1, n
Suppose 4 = -2*f + 2*s - 10, 7 = -f - s. Let n = 11 + f. Suppose n = 2*o, 5*h + 3*o - 12 = 2*o. Put 0.2, h, -4 in ascending order.
-4, 0.2, h
Let q = -0.2 - -0.4. Let y = q + 3.8. Let n be (-8)/22*(-1)/2. Put n, 2, y in descending order.
y, 2, n
Let m be 1/(-4) - 7/(-20). Let p = 6 - 20/3. Sort 1, p, m in descending order.
1, m, p
Let a(v) = -2*v**2 + v - 3. Let g be a(3). Let y(u) = -11*u - 1. Let c be y(-1). Let x be g/15*c/(-3). Sort -5, -3, x.
-5, -3, x
Suppose h + 0*h = 5. Suppose -z + 3 = -r + 13, -4*r - h*z - 5 = 0. Suppose 2 - 5 = i. Put i, 2, r in decreasing order.
r, 2, i
Suppose 2*m + 2 = 2*n, 5*n + 10 = -4*m + 51. Sort -4, 2, n in descending order.
n, 2, -4
Let n(j) = 6*j**3 - 1. Let s be n(1). Let g = -2 + 32. Let m be (4/12)/((-2)/g). Sort s, 2, m.
m, 2, s
Suppose 77*f + 62 = 79*f. Put 0.1, 2, f in decreasing order.
f, 2, 0.1
Suppose -4*f - 10 = f. Let v = -0.088 + 0.168. Sort f, 2, v.
f, v, 2
Let s = 3.9 + -4. Let j be ((-5)/(-6))/5*-4. Put j, s, 0.4 in increasing order.
j, s, 0.4
Let l be (-1 - -1)*(-2)/4. Let h = 21.8 - 21.3. Sort 0.4, l, h in ascending order.
l, 0.4, h
Let r be (8/(-6))/((-8)/12). Let y be 4*(1 + 2 - r). Let l be (-6)/(-20)*(-4)/(-2). Sort y, l, -4/3.
-4/3, l, y
Let i be (-3 - (2 + -5))/2. Let q(t) = t**2 + 7*t + 3. Let b be q(-6). Let w = b + 1. Put w, i, -3 in decreasing order.
i, w, -3
Let l(h) = h + 11. Let m be l(-14). Sort m, -1, 0 in ascending order.
m, -1, 0
Let f = -2 + 4. Suppose 2*b + 11 = -3*x, 3*b - 8*b + 2*x = -1. Put f, 0.4, b in ascending order.
b, 0.4, f
Let g = 1.8 - 2. Suppose -2*h - 3*h = -5, -4*n = 5*h + 27. Let y be n/(-6)*9/6. Put 5, g, y in ascending order.
g, y, 5
Let i(j) = -j**2 + 5*j + 3. Let f be i(5). Let p = f + 1. Sort -3, p, 0 in decreasing order.
p, 0, -3
Let s(v) = v**3 - 12*v**2 - 26*v - 27. Let z be s(14). Sort z, 4, -34.
-34, z, 4
Suppose 0 = -5*w + 20, 3 = -5*h + w - 1. Let m = 11548/21 - 550. Put h, m, 0.3 in descending order.
0.3, h, m
Let x be (-9 + 1)/((-9)/(-3)). Let i = -7/3 - x. Put 0.2, i, 2 in decreasing order.
2, i, 0.2
Suppose 0 = -4*w + 8*w + 16. Sort -6, w, 5 in descending order.
5, w, -6
Let y be 1939/1428 - (-4)/(-6). Let i = y - -1/17. Put i, -1, -0.5 in ascending order.
-1, -0.5, i
Suppos