 - 3. Put z, f, 0 in increasing order.
z, f, 0
Let c be 0/2 + (-2)/3. Let y = -4 + 3.7. Let o = 0.11 + -5.11. Sort o, c, y in ascending order.
o, c, y
Let g = -4 - -4. Let m(l) = -3*l + 8*l - 3*l - l. Let v be m(1). Sort v, g, 4 in descending order.
4, v, g
Let f(b) = -b**3 + 6*b**2 + 8*b - 9. Let t be f(7). Let j be 7/3*3*-1. Let a = j - -9. Sort t, 3, a in ascending order.
t, a, 3
Let z be ((-3)/63)/((-2)/(-6)). Put -1/2, 0, z in increasing order.
-1/2, z, 0
Let v = 1 - 1. Let q be (-18)/(-6) + (0 - v). Suppose -2*k - 3*p + 17 = 0, 1 = p - 4. Put q, k, 5 in descending order.
5, q, k
Let o = 6 + -7. Let q = 1 - 1.4. Put -0.5, q, o in decreasing order.
q, -0.5, o
Let d = 0.97 + -6.87. Let b = d - 0.1. Let a = b - -5.7. Sort a, 5, 1/10 in increasing order.
a, 1/10, 5
Suppose 3*n + 8 = n - k, 0 = 5*n - 3*k - 2. Let v be 0 + 3 + (-4)/2. Let m = 2 + -5. Sort m, v, n.
m, n, v
Let w = -3 - 0. Let b = 1 + 1. Suppose -r + y + 7 = 0, 2*y + 7 - 3 = 0. Sort r, b, w in descending order.
r, b, w
Let l(y) = -7*y**2 + 3*y + 5. Let p(k) = 3*k**2 - 2*k - 3. Let s(h) = -2*l(h) - 5*p(h). Let v be s(5). Put -4, -3, v in ascending order.
-4, -3, v
Suppose -2*j = -33 + 17. Sort 4, 5, j, -3.
-3, 4, 5, j
Let l = 3 + -1. Let s = 20 + -14. Let a be ((-20)/(-15))/((-2)/s). Put a, 4, l in decreasing order.
4, l, a
Let l = -27 - -139/5. Let j = -6 - -11. Suppose 2*y + j*q = -17, -3*y - 2*y - q = -15. Sort l, y, 5.
l, y, 5
Let l be ((-3)/27)/(4/(-12)). Put -1/2, -0.03, l in descending order.
l, -0.03, -1/2
Let m = 31/70 + -3/10. Put m, -1/5, 0.2, -0.02 in increasing order.
-1/5, -0.02, m, 0.2
Let a = 27 - 25. Sort -4, a, -1 in decreasing order.
a, -1, -4
Let b = -22 + 30. Let q = b + -12. Sort -0.1, q, 0.5 in decreasing order.
0.5, -0.1, q
Let r = 0.4 + -1.4. Let o = -4 + r. Let m be (-3)/(-5)*(-2)/3. Put o, 1, m in decreasing order.
1, m, o
Let x = 8 - 5. Let q = x + -4. Put 1/3, q, -5 in decreasing order.
1/3, q, -5
Let y be (0 + -2)/(4/2). Let w be (11 + y)/((-6)/(-3)). Suppose 7 = w*h + 2. Sort h, -3/2, -0.5 in descending order.
h, -0.5, -3/2
Suppose 2*i + 5 + 1 = 0. Let b = 8 + i. Suppose -6*u = -b*u + 3. Sort u, 1, -4 in ascending order.
-4, u, 1
Let x be (-1)/(-3)*-3*-4. Put 1, 2, x in decreasing order.
x, 2, 1
Let a be (-2)/(-5) + (-192)/(-120). Sort 5, 3, a in decreasing order.
5, 3, a
Let n be (-1)/4 - 87/(-12). Let p(q) = -3*q. Let z be p(-1). Suppose 0 = -4*j - 5*a - 3, z*a = 3*j - 25 + n. Sort -1, j, -2.
-2, -1, j
Let r(b) = b**3 - 5*b**2 + 6*b - 4. Let m be r(4). Let a = -0.38 - -0.08. Sort a, m, -4 in ascending order.
-4, a, m
Let s = -0.3 + 3.3. Sort 0.4, s, 1/4 in increasing order.
1/4, 0.4, s
Let k = -2.7 - -2.2. Let v = 0.2 + k. Sort -5, -1, v in decreasing order.
v, -1, -5
Let h be (-3)/(-6)*(-4)/(-10). Suppose 2*i - 10 = c, -4*i + 5*i - 23 = -4*c. Let o = i - 36/5. Put o, h, -2 in descending order.
h, o, -2
Let o be 25/25 - (-2)/(-1). Sort 5, -5, o in decreasing order.
5, o, -5
Let h be (54/(-12))/9*12/2. Put h, 15, 2 in descending order.
15, 2, h
Let u = -0.285 + -0.015. Sort -4/5, 4, u.
-4/5, u, 4
Let p(k) = 4*k + 1. Let y(u) = -u. Let r(s) = -6*p(s) - 26*y(s). Let w be r(4). Suppose l - b = 8, 8 = w*l + b + 1. Sort -1, 3, l.
-1, 3, l
Let n = -5 + 2. Let s = 1 - n. Let i = -7 + s. Sort -2, i, -4.
-4, i, -2
Let m = -3 + 3. Suppose 10 - 25 = -b. Suppose 2*u - b = -u. Put 1, m, u in ascending order.
m, 1, u
Suppose 0 = -2*v + 7 - 1. Suppose v*i - 4*p + 1 = 0, 8*p - 6 = 2*i + 4*p. Put i, -4, -5 in ascending order.
-5, -4, i
Let i(y) = -y**3 - 15*y**2 - 15*y - 13. Let s be i(-14). Sort 0, 3, s.
0, s, 3
Let q = 120 - 115. Let h = 1.5 + -2. Put q, -0.04, h in decreasing order.
q, -0.04, h
Suppose v - s = 0, 0 = -4*v + 2*s - 2. Sort v, 4, 17 in descending order.
17, 4, v
Let i = 0.026 + -18.026. Sort i, 2/13, 3/4 in ascending order.
i, 2/13, 3/4
Let s(b) = -b + 15. Let o be s(13). Put 5, o, -4 in increasing order.
-4, o, 5
Let r be (1 - (-51)/(-24))*(-2)/6. Let t(k) = k**3 + 3*k**2 + 3*k + 4. Let o be t(-3). Sort o, r, 0.1 in ascending order.
o, 0.1, r
Suppose 5*h - 52 = -12. Put -4, 0.4, h in decreasing order.
h, 0.4, -4
Let w = -724 + 3657/5. Let v = -7 + w. Let d = 2/5 - 1/15. Sort d, v, -0.5 in descending order.
v, d, -0.5
Suppose 0 = -4*c + u + 11, 4*u - 14 = -4*c + 2. Sort c, 0, -4 in increasing order.
-4, 0, c
Let a = 3 + -1. Put 4, 1, a in ascending order.
1, a, 4
Let v = 65 + -454/7. Put v, -2/13, 3/2, 5 in decreasing order.
5, 3/2, v, -2/13
Let v be (1/(-5))/(23/46). Suppose -2*i - x = -2, 2*x = 3*i + 3 + 1. Let a be 2/12 + (-2)/3. Sort a, v, i in decreasing order.
i, v, a
Let u be (-2)/24*-3 + (-33)/(-12). Put -1, -2, -5, u in decreasing order.
u, -1, -2, -5
Let x = 484852/3455 - -46/691. Suppose 4*l = 2*l - t - 279, -5*l = 3*t + 697. Let u = x + l. Sort -3, u, -1/2 in increasing order.
-3, -1/2, u
Let p = 3 + -8. Let d be (-1*1)/((-1)/p). Suppose 2*j - 4 = 2*b, -b - 16 = 3*b. Sort 2, d, j.
d, j, 2
Let p(k) = -k + 1. Let i be p(3). Let z(x) = 2*x - 2. Let q be z(2). Sort -9, q, i in descending order.
q, i, -9
Let b(r) = r + 10. Let t be b(-7). Put 0, -1, t, 5 in ascending order.
-1, 0, t, 5
Suppose -17 = 4*w + 3. Suppose 0*d = -d. Suppose 2*v = -d*v. Sort v, w, 5 in descending order.
5, v, w
Let l = -1.5 - -1. Let m = -6 - -9. Let a = -1 + m. Put -0.4, a, l in decreasing order.
a, -0.4, l
Let f(p) = p**3 + 10*p**2 + 8*p - 3. Let u be f(-9). Suppose t = -t + u. Let j = -3 + -2. Sort t, j, 5 in increasing order.
j, t, 5
Let g = -14.2 + 14. Let c = g - -0.2. Sort -1/5, 2, c in decreasing order.
2, c, -1/5
Let r = -5 - -10. Let a = r + -4.9. Sort a, -1/3, -5 in increasing order.
-5, -1/3, a
Let b = -0.9 - -3.9. Let z = b + 1. Sort 5, 0.4, z in descending order.
5, z, 0.4
Suppose 19 = f - 2*w + 1, 0 = -5*f + 3*w + 97. Suppose h + 25 = -5*g, -h - 5 = -5*g - f. Sort 0, -4, h.
h, -4, 0
Suppose 7 = -n + 3. Sort 1/6, n, -2/5.
n, -2/5, 1/6
Let s = 0 + 5. Let k(u) = -u**3 + 8*u**2 + 8*u + 11. Let n be k(9). Sort n, 3, s.
n, 3, s
Suppose 5*x - 5*l - 80 = 0, x + 7*l + 8 = 2*l. Suppose -x = -2*m - 2*m. Let n be m*(-4)/6 + -1. Sort n, -5, 3 in ascending order.
-5, n, 3
Let p be -2*25/20*2. Put p, 5, -8 in ascending order.
-8, p, 5
Let g(s) = -s**2 + 12. Let f be g(4). Sort -2, f, 0.07, 0.4.
f, -2, 0.07, 0.4
Let j be 2/6 + 85/15. Sort -3, 5, j.
-3, 5, j
Let p(a) = 2*a**2 - 1. Let v be p(1). Let o(y) = -y - 3. Let s = 11 + -19. Let t be o(s). Put t, -3, v in ascending order.
-3, v, t
Suppose 13*n - 17*n = 12. Let x be 5*(1 + 0)/(-1). Let o = -3 + 4. Sort n, o, x in decreasing order.
o, n, x
Suppose 2 = -74*q + 73*q. Sort -1, q, -14 in decreasing order.
-1, q, -14
Suppose l + 5 = 0, 4*v = 3*v - 5*l - 22. Sort -5, v, -1, -4 in ascending order.
-5, -4, -1, v
Suppose -3*w + 12 = 2*k, 2*w - 9 = -k - 1. Let y(m) = k*m + 4*m + 0*m + 4 - m**2. Let l be y(4). Sort -4, 5, l in descending order.
5, l, -4
Let j be (-6)/15 + 144/260. Let f = -2 + 7. Put -0.1, f, j in ascending order.
-0.1, j, f
Suppose q + 8 = 2*q. Suppose n = 3*b - q, -2*b + 32 = 5*n + b. Sort -6, 5, n.
-6, n, 5
Let i = -3.98 - 0.02. Let v = i + -1. Let b = v - -4.6. Put 3, b, 0.2 in decreasing order.
3, 0.2, b
Let r be (-9)/4*((-112)/6)/7. Let f(n) = -n**2 + n. Let x be f(-1). Sort x, r, -1 in decreasing order.
r, -1, x
Let r = -4 + -17. Sort r, -4, 1.
r, -4, 1
Let u(v) = 2*v**2 - v - 2. Let m be u(2). Put 2, m, 0, -1 in increasing order.
-1, 0, 2, m
Let i = 7.92 - -0.08. Let h = 3 - i. Sort h, 1, 2.
h, 1, 2
Let a = -2 - -7. Let p be (-34)/(-42) - 1/((-6)/(-4)). Sort a, 0.4, p in ascending order.
p, 0.4, a
Suppose 0 = -i + 2*i - 5. Let l = 9 - i. Suppose -w - 13 = 3*g, l*g - 6*w + w - 8 = 0. Sort 3, g, -2 in descending order.
3, -2, g
Let n = 0 + -0.1. Let y = 5.5 + -6. Sort 0.1, y, n in descending order.
0.1, n, y
Let b be (-3 + (-9)/(-3))/(-2). Put 4, -5, 3, b in increasing order.
-5, b, 3, 4
Let n be 3*-1*2/(-3). Let p(d) = d - 3. Let x be p(8). Sort x, n, -2/3.
-2/3, n, x
Let t = -0.6 - -6.6. Let u = t - 6.4. Sort 4, -5, u.
-5, u, 4
Let m = 3 - 6. Let s = 0.4 - 2.4. Let h = s - -3. Sort m, h, 5.
m, h, 5
Suppose 7 = 2*p + 1. Let z be (-6)/(-1)*(-4)/6. Let s = p + z. Put 5, s, 2 in decreasing order.
5, 2, s
Let c be 13/(-63) + 10/(-45). Suppose -5*r - 4*b = 29, 3 = 4*b - 7*b. Put r, 4, c in descending 