
-3, y, z
Suppose 4*j = -4*t + 20, 5*j + 25 = 4*t - 31. Suppose -2*h + t = 4*x + h, 3*x + 3 = h. Sort 3, x, -3 in decreasing order.
3, x, -3
Let v = 1 + -1. Let j = -2/223 - -677/892. Let f be 1/1 + 77/(-84). Sort v, j, f in descending order.
j, f, v
Suppose -16 - 12 = 2*u. Sort 3, 0, u in decreasing order.
3, 0, u
Let u be (-2)/9 + (-7 - (-174)/54). Put 5, 1, u, 3 in ascending order.
u, 1, 3, 5
Let p be ((-6)/4)/(-3) + 15/(-30). Sort 4, -3, p in increasing order.
-3, p, 4
Let b = -4 - -2. Let s = 5 - 3. Sort b, 1/6, s.
b, 1/6, s
Suppose 0 = -2*c + 4*c + 3*z, 5*c - 4*z + 46 = 0. Let v be (-4)/c*(-12)/76. Sort 0, v, 1.
v, 0, 1
Let j = 15 - 11. Let q be 12/(-42) + 32/14. Sort q, 0, j in decreasing order.
j, q, 0
Suppose 0 = 3*n, -2*h = -2*n + 3 - 5. Let s = -0.424 - -0.024. Sort 2, s, h in decreasing order.
2, h, s
Suppose j + 3*b = 70, 0*b - 3*b = -4*j + 265. Let w = j - 196/3. Sort w, -2/19, -2/5 in descending order.
w, -2/19, -2/5
Let s(z) = -3*z - 6. Let h be s(-4). Suppose -p - 5*a - 8 = 0, -p = -2*p - 4*a - h. Let i = 0.05 - -0.05. Sort p, i, -3 in ascending order.
-3, i, p
Let w = 3 - 3.02. Let b = w + -2.98. Let t = -5 - b. Sort 1/5, 1, t.
t, 1/5, 1
Let x = 31 + -22. Sort -1, 4, x in decreasing order.
x, 4, -1
Let c = -68/93 - -2/31. Let d be 56/48 - (-1)/(-6). Sort c, d, 0.
c, 0, d
Suppose 4*j - g - 2*g - 19 = 0, 0 = -5*g - 25. Let o be (-3 - (-3 + 2))/(-1). Suppose 4*r + o*w + 0 + 10 = 0, 3*w + 3 = -2*r. Sort j, r, -5.
-5, r, j
Let w(n) = -3*n - 2. Let m be w(-2). Suppose 0*s = 2*s + 6. Put s, 2, m in decreasing order.
m, 2, s
Let k be (-2)/2*(-12)/2. Let t = k - 3. Suppose -4*x + 15 = -7*x. Put t, x, -0.1 in decreasing order.
t, -0.1, x
Let p(n) = n + 6. Let b be p(-10). Let h = -29 - -41. Suppose -2*d = d - h. Sort b, 5, d in increasing order.
b, d, 5
Let u = -5 - -1. Let j = 11 - 8. Suppose 4 + 0 = 4*h. Sort j, u, h in descending order.
j, h, u
Suppose 3*l + 57 = 8*l - f, -4*l + 57 = 3*f. Let x = l + -21. Sort -3, x, 5 in descending order.
5, -3, x
Let z be 1 - (6 - 1) - 1. Sort z, 0, 4.
z, 0, 4
Let v(l) = -l**2 + 4*l + 5. Let n be v(5). Let z(a) = a + 4. Let j be z(0). Suppose 4*r = -r + 25. Put j, r, n in decreasing order.
r, j, n
Let n be (4/(-3))/(4/30). Let r(q) = -q**3 - 5*q**2 - 2*q + 5. Let y be r(0). Put y, n, -4 in decreasing order.
y, -4, n
Let y = 1.1 - 1.1. Let t = 0.3 - y. Sort t, 0.1, 2/7 in descending order.
t, 2/7, 0.1
Let k be (1 - 2) + (-5)/(-1). Let q(f) = -f**3 + 0*f**2 - 3*f**3 - 5*f + 5*f**3 - 3*f**2. Let b be q(4). Sort b, k, 3 in ascending order.
b, 3, k
Let m be 2/(2 + -7 + 3). Sort 2, 1, m in increasing order.
m, 1, 2
Let q be 26/39 - (-7)/6*2. Sort 1, q, -11, 2 in ascending order.
-11, 1, 2, q
Suppose 2*k = c - 1 - 5, -k - 13 = -3*c. Suppose 6*u - c*u = 0. Sort 5, 2, u in decreasing order.
5, 2, u
Let u(c) = -c + 6. Let v be u(11). Let n(q) = q**2 + 6*q - 9. Let i be n(-7). Put v, i, 1 in ascending order.
v, i, 1
Let w = 1.69 + 0.31. Let q = -18 - -13. Put 1/2, w, q in descending order.
w, 1/2, q
Suppose 0 = i - 2*g + 5 - 3, -2*g = -3*i + 2. Let p be (-10)/15*(2 - 20). Let a be 8/p + (-4)/6. Put i, -5, a in descending order.
i, a, -5
Let f = 1.7 - 0.7. Let s = 2 - f. Let v = 47/3 - 241/15. Put s, 0.4, v in decreasing order.
s, 0.4, v
Suppose -p + 3*y = -3, -y = -p - 2*y + 3. Suppose 0 = 2*t - 6*t + 4. Put p, -3, t in descending order.
p, t, -3
Let n(r) = 2*r - 10. Let b be n(3). Put -5, b, 6, -1 in decreasing order.
6, -1, b, -5
Let x be (4 + -4)*(-2)/(-4). Sort -2, 5, x in increasing order.
-2, x, 5
Suppose 2*s + 5*h + 1 = 2, 5*s - h = 16. Suppose 12 = -5*u - 8. Sort u, s, -1 in decreasing order.
s, -1, u
Let h be (-75)/27 + 2/(-9). Suppose 4*r = 2*r - 10. Sort 4, h, r.
r, h, 4
Let c(k) = -k**2 - 3*k + 5. Let p be c(-4). Let f be (p/(-3))/((-6)/4). Let s = 2.8 - 0.8. Put s, 1/3, f in ascending order.
f, 1/3, s
Let h be -2 - (2 + -2)/3. Suppose -1 = l - 0. Sort 4, h, l in decreasing order.
4, l, h
Suppose -19 = -3*a - 7. Suppose 0 = a*m + 4. Sort 1, 0, m in descending order.
1, 0, m
Suppose 0 = -3*g + 2*d - 17, -3*g - 19 = -5*d + 10. Suppose -6 = 4*m - 4*p + 10, 3*p + 3 = 0. Put 3, m, g in decreasing order.
3, g, m
Suppose 0 = -8*l + 3*l + 25. Let q(b) = 4 + b + 3 - b - b. Let h be q(l). Put -5, -1, h in increasing order.
-5, -1, h
Let a = 16.1 - 12.1. Sort -10, a, 1 in descending order.
a, 1, -10
Let l = 3 + -2. Let o(n) = -n**3 - 4*n**2 + n + 8. Let r be o(-4). Sort r, l, -5.
-5, l, r
Let r(p) = p**3 + 3*p**2 - 5*p + 1. Let g be r(-4). Suppose -2*n + 4 = -0*f - 4*f, -4*n + 14 = -2*f. Sort n, -3, g in descending order.
g, n, -3
Suppose 3*w = -2*w + 20. Let i = 1 + w. Sort i, 3, 4 in descending order.
i, 4, 3
Let o = -65 + 68. Let r be (5/4)/(2/8). Let a be 3 - 1 - (2 - r). Sort a, o, -1 in decreasing order.
a, o, -1
Let y = 9 + -2. Suppose 3*h + a - 5 - 5 = 0, -8 = -2*h - 2*a. Put y, -5, h in descending order.
y, h, -5
Let b = -298.7 + 285. Let r = 14 + b. Put 5, 3, r in descending order.
5, 3, r
Suppose 7 = -b + s, -2*s + 7*s - 10 = 0. Let f be (24/(-10))/(b/25). Let c be (4/f)/((-2)/(-24)). Sort -2, 1, c in descending order.
c, 1, -2
Let x be 2/3 - 4766/(-60). Let i = x - 80. Sort -0.5, 5, i in descending order.
5, i, -0.5
Let h = -2 + 4. Suppose -h*x + 8 = -2. Let t be 0/(2*(-3)/6). Put x, t, 3 in increasing order.
t, 3, x
Let d be (-8)/(-36) - 52/(-9). Sort d, 1, -5, 0.
-5, 0, 1, d
Suppose 5*f = 25, 0*s - 5*s = 4*f - 40. Suppose 2*c + 9 = 5*c. Put s, -4, c in increasing order.
-4, c, s
Let t = 92 - 99. Put -3, t, 3, -2 in descending order.
3, -2, -3, t
Let q be (-5 - -2 - -3)/2. Suppose q = -3*i - i. Sort -5, i, -3 in ascending order.
-5, -3, i
Let b be ((-2)/6)/((-2)/(-30)). Sort -2/7, -1/6, b in descending order.
-1/6, -2/7, b
Let o be -1 + 5 - 24/3. Sort -3, 10, o.
o, -3, 10
Suppose 0 = 3*n - s - 31, n + 4*n = -5*s + 45. Let m = -6 + n. Sort -5, 3, m.
-5, 3, m
Let f = 1.8 - 1.6. Sort 4, 0.1, f in descending order.
4, f, 0.1
Let a = 2.03 + -0.03. Let x be ((-8)/30)/((-84)/30). Let k = -60 + 61. Sort a, x, k in increasing order.
x, k, a
Suppose -2*c + 25 = 3*c. Suppose -a + o = -10, -4*o = 4*a - o - c. Suppose -4*l = -5*l + 1. Sort 4, l, a in decreasing order.
a, 4, l
Let x(c) = c. Let p be (-1)/4 + (-75)/20. Let h be x(p). Sort 2/3, h, -0.5 in descending order.
2/3, -0.5, h
Let b be 0*(-4)/8*2. Suppose b*t + 16 = 4*t. Sort 2, 1, t.
1, 2, t
Let f(a) = -a**2 - 6*a - 1. Let g be f(-5). Let i be 5/((-2)/(-1*2)). Let r be (3 + -1)*33/(-22). Put r, g, i in decreasing order.
i, g, r
Let l be 15/(-22) - (-30)/165. Put -0.3, 2, l in descending order.
2, -0.3, l
Let a = -4.7 - -4.2. Put -2, a, -3/7 in descending order.
-3/7, a, -2
Let r(o) = 2*o + 14. Let y be r(-7). Put 1, y, 4 in decreasing order.
4, 1, y
Suppose 1 = 3*a - 8. Suppose 0 = -5*b - 2*f + 7, 2*b + 5*f = -0*b + 7. Sort 4, b, a in ascending order.
b, a, 4
Let i = 5 + -4.88. Let a = i - -1.88. Put 0.4, a, -3/5 in decreasing order.
a, 0.4, -3/5
Suppose -2 = -4*g + 6. Let x = 2 - -1. Suppose x*h + 2 = h. Sort -3, h, g in descending order.
g, h, -3
Let t = -2 + 0. Let a = t - 0. Let l = a - -2.1. Put l, 4, -3 in increasing order.
-3, l, 4
Let x = 0.04 - 0.04. Let u = -1 - x. Put 1/2, u, -3/8 in decreasing order.
1/2, -3/8, u
Let p = -7 + 7.3. Let g be (0 - 10)*(9/2)/(-9). Sort g, 0, p in ascending order.
0, p, g
Suppose -4*m = 2*v - 22, -3*v + 5*m - 6 = 5. Suppose -k = -4 - 0. Sort v, -3, k in descending order.
k, v, -3
Let q = 0.8 + -5.8. Suppose 4*y - 2*k - 11 = 9, 0 = -4*y + 3*k + 22. Sort q, y, -0.4.
q, -0.4, y
Let s(p) = 4*p + 3. Let o be s(-2). Let n = -16/249 - 17848/1245. Let j = 14 + n. Sort o, 0.5, j in descending order.
0.5, j, o
Let i be (-28)/80*(-18)/21. Sort -0.1, 1/6, i in descending order.
i, 1/6, -0.1
Let l be (-3)/(-2)*(-3)/9. Sort -4, 0.4, l.
-4, l, 0.4
Let a be (5 - 9) + 10 + -1. Suppose -2*l = -0*l - 18. Suppose 5*c = -11 - l. Sort 3, a, c in descending order.
a, 3, c
Let t = 0.08 - 0.38. Let i = -6.8 - -7. Sort i, 2, t.
t, i, 2
Suppose -5*g - 21 + 3 = -2*z, 0 = -2*z - 2*g + 4. Suppose 0 = z*x - 3 - 13. Suppose 7*p = 4*p - 12. Sort p, x, 1.
p, 1, x
Suppose 3*w + 4 = m, -3*m - 3*w = -2*w + 8. Let h be (m - 1)*(-4)/9. Put 0.3, h, -2/7 in descending order.
h, 0.3, -2/7
Let d be 34/(-95) - (-7)/35. Let f = d - -37/114. Sort 3, 