-3, l
Let x be 5 + -3 - (10 - 8). Let t(u) = u - 6. Let d be t(5). Let f = -8 + 6. Sort f, d, x in increasing order.
f, d, x
Let k = 3 + -2.8. Sort 3/2, -2, k in descending order.
3/2, k, -2
Let v = -15 + 11. Sort -5, v, -9.
-9, -5, v
Let j be (4 + -4)/(0 - 1). Suppose j = v - 7*v. Let c(y) = y**2 + 5*y + 6. Let x be c(-4). Sort -5, x, v in increasing order.
-5, v, x
Suppose 0 = 16*r - 21*r. Put r, -3, 3 in decreasing order.
3, r, -3
Let o = 2 - 3. Put o, -1/2, -1/7 in decreasing order.
-1/7, -1/2, o
Let p = 1.7 - 1.1. Let u = 0.08 + 0.22. Let m = p - u. Sort -2/3, 2, m.
-2/3, m, 2
Let m be (3/(-10))/3*-6. Put m, -0.08, -1/2 in decreasing order.
m, -0.08, -1/2
Let b be 2/1*(-1)/(-2). Let w be (-3 - -5)*30/(-4). Let q = -17 - w. Put q, b, 5 in descending order.
5, b, q
Let p(x) = 2*x + 29. Let h(q) = -q - 15. Let f(w) = 11*h(w) + 6*p(w). Let k be f(-9). Let t(y) = -y + 4. Let u be t(5). Put -4, k, u in descending order.
k, u, -4
Suppose -2 - 22 = -4*m. Suppose 2*v + 0 = d - 7, 2*v - 2*d = -m. Suppose -5*b - 5 = -5*p, 0 = -3*p + 3*b - 6*b + 27. Put p, -2, v in increasing order.
v, -2, p
Let m = -1.1 + -4.9. Let f = m - -6.2. Let p = -0.5 - -1. Sort p, -1, f in ascending order.
-1, f, p
Let o be (0 + 2/4)*0. Suppose -2*d + 6 = -5*s, -3*s + 3*d + 0*d = o. Sort 5, s, -3.
-3, s, 5
Let k = -49/165 + -2/55. Sort 27, -5, -0.3, k in ascending order.
-5, k, -0.3, 27
Let x = 5 + -5. Let b be ((-2)/(-8))/(39/52). Let t be 1/(2/(4/10)). Sort x, b, t in increasing order.
x, t, b
Suppose 16 = -10*f - 4. Put f, 3, -5, -3 in decreasing order.
3, f, -3, -5
Let i(k) = -k**2 + 7*k - 11. Let j be i(5). Put 0, 7, j in decreasing order.
7, 0, j
Suppose 3*y = c - 1, 0*c - 5*c = -3*y + 7. Suppose -4*k + 4 = -4*j, k - 3 = 2*j + 1. Let b be (j/(-2) - 1)/y. Sort -4, b, 0.5 in decreasing order.
0.5, b, -4
Suppose 5*x - 6*x = -5. Suppose -q - 4 = -2*y, 2*q - 32 = -x*y - q. Sort 0, -1, y in descending order.
y, 0, -1
Suppose 8*r - 51 = 5*r. Let g = 16 - r. Sort g, -3, 3 in ascending order.
-3, g, 3
Let r = 14/29 + -212/319. Sort -0.4, r, 1/4, 27 in ascending order.
-0.4, r, 1/4, 27
Suppose -2 = 4*c - z, -5*c - 4 = -z - 1. Suppose -t = 3*p - 18, 3*t + t - 4*p = -8. Sort 4, c, t in decreasing order.
4, t, c
Let w(z) = -z**3 - 4*z**2 - 3*z + 1. Suppose -5*s - 35 = -5*v, 7 = -0*s - 5*s - 2*v. Let p be w(s). Let d = 2.3 + 0.7. Sort -2, p, d in ascending order.
-2, p, d
Let m = -2.3 + 1.28. Let l = 0.02 + m. Sort 0.4, l, 1/3 in decreasing order.
0.4, 1/3, l
Let c be 3/(-6) + (-1)/(-2). Suppose c = a + 5. Let k be (-1)/(2 - 21/9). Sort k, 2, a.
a, 2, k
Let t be 3/(-18) - (-24)/90. Sort 3, -4/3, t.
-4/3, t, 3
Let v = -40 + 37. Sort v, 3, -2.
v, -2, 3
Let t = 0 + -1. Suppose 11 - 3 = 2*u. Sort u, 5, t in increasing order.
t, u, 5
Let k(c) = c**3 + 10*c**2 + c + 1. Let a be k(-10). Sort 2, 5, 1, a.
a, 1, 2, 5
Let x = 0 + 4. Suppose 4*k + 19 = 11. Sort x, k, 0.
k, 0, x
Let a(z) = -z**2 - 9*z - 5. Let y be a(-8). Suppose 1 = y*k - 8. Sort 4, k, 0.
0, k, 4
Suppose 4*f - 8 = -4. Let h(n) = -n**3 - 3*n**2 - 1. Let g(z) = -z. Let b(p) = 5*g(p) - h(p). Let c be b(-4). Sort f, c, -4 in decreasing order.
c, f, -4
Let v = -7 - -7. Sort 0.2, v, -2/3 in descending order.
0.2, v, -2/3
Let i = -405 + 28754/71. Let j = 281/213 - i. Let u = -201 + 206. Put j, 3, u in decreasing order.
u, 3, j
Let h = -610/11 - -56. Let b = -0.8 + 0.3. Let i = -2 - 0. Put h, b, i in descending order.
h, b, i
Let x = -0.85 - -0.35. Suppose 3*u + 2*u = 20. Suppose -5*t = -3*j + 25, u*j = -j. Sort 2/5, x, t in decreasing order.
2/5, x, t
Suppose -w + 3*t = -2*w - 3, 3*w - 7 = -t. Let c = -1 + -1. Let m be 1 + (2 - w) - c. Sort 0, m, 4 in ascending order.
0, m, 4
Let d = 22 + -12. Let v be (8/110)/((-4)/d). Put 0.3, v, -2 in decreasing order.
0.3, v, -2
Suppose 0 = a + 5*o - 1, 6*a = a - o + 5. Sort 4, a, -2, 2 in descending order.
4, 2, a, -2
Let l = 229/4 + -57. Let f = 0 + -0.5. Put f, l, 4 in decreasing order.
4, l, f
Let y be (1*(-8)/10)/2. Let g = -466/105 - -32/7. Put y, g, -4 in decreasing order.
g, y, -4
Suppose 3*b + 9 + 7 = 5*w, 2*w + 4*b = -4. Suppose -2*r + w = -x + r, -3 = x - 4*r. Sort x, 3, 2.
x, 2, 3
Suppose -25 = -3*u + 11. Suppose -v + u = -8*c + 4*c, -v - 2*c - 6 = 0. Suppose -9 = 3*z - 0*z. Sort 1, z, v in descending order.
1, v, z
Let w = -38 - -33. Let l = 353 + -1034/3. Let q = l + -8. Sort -1/2, w, q in increasing order.
w, -1/2, q
Let n(w) = -3*w - 1. Let d be n(1). Let g(j) = -16*j - 78. Let t be g(-5). Sort d, t, -5.
-5, d, t
Let u(s) = s. Let v be u(2). Suppose 4*x - 20 = -3*t + t, 5*x - 27 = -3*t. Suppose 13 = -2*l + o, 0*l - 3*o + 31 = -4*l. Sort v, l, t in decreasing order.
t, v, l
Let l be (-5)/(30/27)*2. Let g = 11 + l. Let s = 3 + -2.97. Sort g, s, -0.3.
-0.3, s, g
Let b be (2/3)/(4/(-6)). Put 0, -4, b in descending order.
0, b, -4
Let w(s) = -s**3 - 11*s**2 - 9*s + 5. Let y be w(-10). Let z be (0 - 3) + (-6)/(-3). Let g be ((2/(-6))/z)/1. Sort y, -4, g in decreasing order.
g, -4, y
Let q(p) = p**3 + 22*p**2 + p + 17. Let s be q(-22). Put -1, -7, s in ascending order.
-7, s, -1
Let u = 1 - -2. Let a = 1.6 - 4. Let b = a + 2. Sort b, 0.5, u in descending order.
u, 0.5, b
Let z(g) = g + 17. Let x be z(-15). Let m be 11 + (-3)/(1 - 4). Suppose 0 = -5*t + t + m. Put x, 0, t in decreasing order.
t, x, 0
Let q(m) = 5*m**2 - 2. Let z be q(1). Sort z, -3, 0, 5.
-3, 0, z, 5
Suppose -2*u - 5 = -u. Let n = 1 - -1. Put n, -1/7, u in decreasing order.
n, -1/7, u
Let q = 7 - 6. Let s = q - 0.6. Sort -1, -3, s.
-3, -1, s
Let m(b) = b**2 + 4*b - 7. Let z be m(-6). Sort -3, z, 3 in decreasing order.
z, 3, -3
Let v(c) = c**3 - 4*c**2 + 2*c + 1. Let h be v(2). Suppose 0 = 5*p + 10. Put -6, h, p in ascending order.
-6, h, p
Let b = 217/34 + -13/2. Let m be (1 - (1 - 2))*1. Let l be m/(-4) - -1*1. Sort l, b, 2 in decreasing order.
2, l, b
Suppose 2*p + 9 = 5*v, -v + 3*p + 11 = -2*p. Let w = v - 4. Sort 2, w, 1.
w, 1, 2
Let c = 70 - 65. Sort -2, c, -5.
-5, -2, c
Let f = -93 + 94. Sort 0.08, 4, f, -0.4.
-0.4, 0.08, f, 4
Suppose 2*b = -3 + 9. Suppose 5*z - 3 = 4*z, 3*x = -z + b. Suppose x = 5*k - 10. Sort -1, k, 4 in ascending order.
-1, k, 4
Let i be (-1)/(1/3) - (-147)/51. Let o(p) = -3*p. Let f be o(1). Sort i, f, -4 in descending order.
i, f, -4
Let f(c) = -2*c + 2. Let v be f(3). Let k be 2/(-15)*3*-5. Suppose -3*y - 13 = -k*r, 4*r = -2*y + 5*y + 17. Put 1, y, v in increasing order.
v, y, 1
Let z = -147/2 + 75. Sort 0, -9, z.
-9, 0, z
Let t = -20.5 + 20.3. Sort -2/9, -7, 2, t in ascending order.
-7, -2/9, t, 2
Suppose t = 5*n - 4, n = -t + 6*t + 20. Put -1, 4, 1, n in descending order.
4, 1, n, -1
Let s(p) = -p - 8. Let u be s(-6). Let i = -24 + 17. Let l be (-6)/(-21) - 5/i. Put l, u, -3 in increasing order.
-3, u, l
Let c be (-75)/(-9) + 8/(-6). Put 1, c, -4, 2 in decreasing order.
c, 2, 1, -4
Let g = 3.2 - 6.2. Sort -0.4, -1, g in descending order.
-0.4, -1, g
Let n be 3/(7/10 + -1). Put -1, 0, n in descending order.
0, -1, n
Let f = -7 - -3. Let v = 2 + -2. Suppose -3*g + 6*b + 11 = 2*b, 2*b = 2*g - 6. Put g, v, f in ascending order.
f, v, g
Let i be ((-6)/12)/(-1*3/18). Sort i, 1, -45 in ascending order.
-45, 1, i
Let v be -2 + (-19)/(-10) + 0. Let o = -19 + 23. Let s = -4 - -9. Sort o, v, s.
v, o, s
Let k(m) = -2*m + 7. Let c be k(5). Let x be 1/1 + (0 - c). Put 0.5, 2, x in descending order.
x, 2, 0.5
Let r = 0.34 - 0.3. Let n = -1.96 - r. Let v = 76 - 72. Put n, -3, v in ascending order.
-3, n, v
Suppose -4*d - 10 = 5*g, g + 2*d = 7*d - 2. Suppose 2*w = -4*c + 3*w + 8, -5*c + 2*w + 10 = 0. Sort 4, g, c in decreasing order.
4, c, g
Let d = -13.6 + 15. Let b = -1 + d. Let u = b + 2.6. Put -5, 2/5, u in decreasing order.
u, 2/5, -5
Suppose -6*t = -3*t. Let s be t - -2 - (-10)/(-8). Put 2, s, -2/7 in ascending order.
-2/7, s, 2
Suppose -2*k = -3*n + 2*k - 4, -2*k = 4. Let w be n*((-48)/(-15) + -3). Put w, -5, 6 in descending order.
6, w, -5
Let i = 0.2 + 0. Let z = -1.3 - -0.9. Let l = 4 + -2. Sort i, z, l.
z, i, l
Let p = 5 + -4. Sort -1/3, p, -3 in ascending order.
-3, -1/3, p
Suppose 0*u - 40 = 8*u. Suppose l - 7 = -5*g, -2*g + 0 = l - 1. Sort l, u, 3 in descending order.
3, l, u
Let p = 61 + -63. Put 9, p, -4 in ascending order.
-4, p, 9
Suppose -x - 4*p = -23, 0 + 7 = 4*x - p. Let n(l) = l - 