, -1, x in decreasing order.
1, -1, x
Suppose -3*q + 12 = -0*q. Let g(t) = -3*t + 16. Let v be g(7). Put -3/5, q, v in ascending order.
v, -3/5, q
Let s = -2361/133 - -125/7. Sort -4, s, -0.2 in descending order.
s, -0.2, -4
Let l(j) = j**3 - 3*j**2 + 5*j - 5. Let v be l(2). Put -5, v, 7 in ascending order.
-5, v, 7
Let k = -27 - -23. Sort 4, 0, k, 2 in ascending order.
k, 0, 2, 4
Let i(s) = -s - 3. Let m be i(-3). Sort m, 5, -2 in ascending order.
-2, m, 5
Suppose 2*p - 8 = -0. Let i be 6/(-4)*p/6. Let c = 0 - i. Sort -4, c, -3.
-4, -3, c
Let g = -24 - -20. Let a = 1 - -3. Sort g, a, -2.
g, -2, a
Let b = -20 + 33. Let v = b + -9. Sort v, 0, -3/4 in decreasing order.
v, 0, -3/4
Suppose 22 = -6*i + 4*i. Let a = 3 + i. Let s = a + 12. Sort 1, -1, s in decreasing order.
s, 1, -1
Let z = 0.08 + -0.08. Let x = 0.2 - z. Let g be 0/(-3) + 5*-1. Sort x, 5, g in ascending order.
g, x, 5
Suppose 3*k + 8 = 5*k. Let b(n) = -24*n - 1. Let v be b(1). Let a be (-5)/v - (-18)/10. Put 1, k, a in ascending order.
1, a, k
Let r = 0.1 - 0.3. Let t = r - -0.5. Let c = -0.04 + 2.04. Put -2/5, c, t in decreasing order.
c, t, -2/5
Let l be 2*3/12 + -32. Let b = l - -33. Let r = -3.7 + 1.7. Sort 0.4, b, r.
r, 0.4, b
Suppose 10*d - 6*d = 4. Suppose -i - 3 = -0*i. Sort d, i, -2.
i, -2, d
Let u(s) = -3*s + 6. Let g be u(3). Sort g, -12, 0 in descending order.
0, g, -12
Let u be (-16)/10*20/(-8). Let w be 3/2 + 2/u. Sort 5, 1, w in descending order.
5, w, 1
Let v = -7 + -2. Let r = v - -11. Sort -4, r, 3.
-4, r, 3
Let h = 175 + -175.1. Put 0.5, h, 4/7 in decreasing order.
4/7, 0.5, h
Let w(v) = -v - 3. Let j be w(-6). Suppose 5*b + q + q = 76, 38 = 3*b + 5*q. Suppose 0 = -g + 4, -2*f + 4*g = -f + b. Sort -1, f, j in decreasing order.
j, f, -1
Let z(i) = -i**3 + 4*i**2 + 4*i + 5. Let w be z(5). Suppose -n = -1 - w. Put 0.1, -1/5, n in increasing order.
-1/5, 0.1, n
Let n = 8 + -7. Let v(u) = u**2 + 9*u + 7. Let m be v(-9). Let z = m - 12. Sort n, z, -4 in descending order.
n, -4, z
Let m be (1 - 2)*-1 - -2. Let i be ((-6)/4)/(m/(-6)). Let v be (5/1)/5*0. Put i, v, 1 in descending order.
i, 1, v
Let q be -4 + 1 + -1 + 93/24. Put -4, 0.5, 0.4, q in increasing order.
-4, q, 0.4, 0.5
Suppose 5*v = 5*q + 5, -3*q - 2*v = 2*v - 18. Suppose -b + 18 = q*b. Suppose 3*l - 3 = b. Sort l, 0, -5.
-5, 0, l
Let v = 12 + -10. Put -4, v, 2/5 in descending order.
v, 2/5, -4
Let l be (2 - 1)/((-1)/(-4)). Let q = l + -2. Sort 0.3, -3/5, q in decreasing order.
q, 0.3, -3/5
Let y = -24.4 + 20. Let g = y - -4. Let z = 148 - 1181/8. Put g, z, 4 in increasing order.
g, z, 4
Let a = 5 + -2. Suppose 0 = -x + 3, 5*k = 4*x - 29 + 2. Let l = -7 - k. Put -5, a, l in decreasing order.
a, l, -5
Let y be 4 - ((-5)/(-1) - 1). Put 4, y, 1 in increasing order.
y, 1, 4
Let l = -14 - -12. Let h = -1 + l. Let f = -1 - -1. Put f, h, 3 in decreasing order.
3, f, h
Suppose 0 = -3*a + 3, -3*j + 8*a - 3*a - 5 = 0. Suppose -c - 3*c - 60 = j. Let k be 6/c + (-6)/(-15). Put 1, k, -4 in descending order.
1, k, -4
Suppose -z - 2 + 6 = 0, -2*n + 3*z - 16 = 0. Suppose o - 6*o = 0. Sort o, n, -1 in descending order.
o, -1, n
Let w be -1*1/(4/24). Sort w, -2, 1 in decreasing order.
1, -2, w
Suppose 0 = c + 3*c. Suppose -4 = 2*t - c. Let b = 4 + -7. Sort 4, t, b.
b, t, 4
Let c be -3*(2*-1)/(-6). Suppose -i = -3*q + 1, 0 = i - 0*i - 4*q + 3. Put -2, c, i in increasing order.
-2, c, i
Let q = -4 - -9. Let z be -2*(-3)/6 + -2. Put z, -2, q in descending order.
q, z, -2
Let v = 0.2 + -1.2. Let i = -2 - v. Sort 5, 3, i in increasing order.
i, 3, 5
Let n = 70 - 628/9. Let x = 1.016 - 0.016. Sort -4, n, x in descending order.
x, n, -4
Let o = -159 + 1750/11. Put o, -2, -3 in increasing order.
-3, -2, o
Let t = 1/523 - 146969/3138. Let m = -47 - t. Sort m, 0.1, 1 in decreasing order.
1, 0.1, m
Let i be (-3)/(-1) + (-3 - -1). Let y = 34 + -33.7. Put i, y, -1/5 in ascending order.
-1/5, y, i
Let l = -3 - -4. Let b be 2/(2/11) - l. Suppose 0 = 5*x - b - 0. Sort 1, -2, x in decreasing order.
x, 1, -2
Let q = -3 - -6. Suppose 4*f - 56 = 56. Suppose -5*l + f = 3. Sort l, q, -2.
-2, q, l
Let n be (-3)/(-7)*(-6)/9. Sort -2/9, 12, n in descending order.
12, -2/9, n
Suppose -5*s - u - 25 = 0, -3*s = 2*u + 2*u - 2. Put 1, s, 2 in decreasing order.
2, 1, s
Let n(b) = -b**2 + b + 4. Let g be n(0). Let y = g + -4. Let d(q) = -q**3 + 3*q**2 + 6*q - 6. Let s be d(4). Put s, y, -0.2 in descending order.
s, y, -0.2
Let m = 4.08 - 0.08. Let t = 3.38 + -3.18. Put t, m, -1 in descending order.
m, t, -1
Suppose -4 = -2*n, -h + 0*h + 5*n - 14 = 0. Sort -2, h, 3, -3.
h, -3, -2, 3
Let v be (1/2)/((-2)/(-24)). Suppose -v + 0 = 2*u. Sort 0, 4, u in descending order.
4, 0, u
Suppose l + 12 = 5*l. Suppose -l*j + z + 23 = 2*j, -5*j - 4*z + 33 = 0. Suppose 2*o = 3*o - j. Put 0, o, 1 in descending order.
o, 1, 0
Let g(y) = -12*y + 13. Let s be g(-9). Let b be s/(-132) - 1/(-4). Sort b, -0.3, -0.4 in decreasing order.
-0.3, -0.4, b
Let o(y) = -4*y**3 + 5*y**2 - 3*y. Let g(u) = 5*u**3 - 5*u**2 + 3*u - 1. Let i(c) = 3*g(c) + 4*o(c). Let v be i(3). Put v, -2, 3 in descending order.
v, 3, -2
Let l be 4 - (-2 + 3 + -2). Put 3/2, 6, l in ascending order.
3/2, l, 6
Let j(s) = s**3 - 7*s**2 - 9*s + 12. Let u be j(8). Sort 3, u, 1, -4.
-4, 1, 3, u
Suppose 0 = -x + 2*x + 2. Sort x, 17, -1.
x, -1, 17
Suppose -c + 7 = 6. Suppose 0 = x - 5*x - 8. Sort c, x, 5 in descending order.
5, c, x
Suppose 6 = s + 1. Let d = -3 + s. Suppose 0 = -d*r - r + 9. Sort 4, r, -4 in descending order.
4, r, -4
Let s(g) = 2*g**2 + 22*g - 19. Let n be s(-12). Sort n, -1, -4 in decreasing order.
n, -1, -4
Let c be (-2)/(-6)*(-1)/1. Let l = 3.4 - 2.9. Sort c, l, -1 in descending order.
l, c, -1
Let o = -56 + 60. Let c be (0 - -1)*2/2. Sort -1, o, c in descending order.
o, c, -1
Let x be (-15)/7 + 2 + 0. Let s = -0.302 - -0.302. Sort x, -0.1, s in descending order.
s, -0.1, x
Let b = -15/4 + 43/12. Let q = -228 + 227.9. Let o = 1.3 + -1. Sort q, o, b in decreasing order.
o, q, b
Suppose 0 = 5*b + 20 + 5. Let i = 7 + -5. Sort 1, i, b.
b, 1, i
Let v(w) = w - 7. Let k be v(13). Let o = k - 5. Sort -0.1, o, -2/11 in decreasing order.
o, -0.1, -2/11
Let g = -0.7 + 0.2. Suppose -4*k + 3*n + 19 = 2*n, 5*k + 2*n = 27. Sort g, 0.2, k.
g, 0.2, k
Let x = 0.11 + 0.04. Sort -1/3, 0.3, x in ascending order.
-1/3, x, 0.3
Let a be 1/3 + (-14)/(-3). Let r(g) = g - 9. Let u be r(6). Let m be -5 - (-4 + (-6)/u). Put m, 2, a in descending order.
a, 2, m
Let h be (80/15 - 4)*(-6)/4. Let w = 5 - 2. Sort w, 2, h.
h, 2, w
Let l = 0.001 - -0.499. Let t = 2.6 - -0.4. Sort 2/9, t, l.
2/9, l, t
Let a(h) = -2*h**2 + 2*h + 1. Let b be a(-1). Let c be 6/21 + (-136)/(-14). Suppose -5*x - 3*k - 20 = 0, -30 = 5*x + k - c. Put x, b, 4 in descending order.
4, b, x
Let k(h) = -h**3 - 6*h**2 - h - 6. Suppose 7 - 1 = -w. Let y be k(w). Suppose g = 2*r + 6 - 19, -3*g + 2*r = 19. Put g, y, -2 in decreasing order.
y, -2, g
Let q(n) = -n**2 - 3*n - 3. Let g be q(-2). Put 1, 2, g in ascending order.
g, 1, 2
Let d be -1*(8 + (-1 - 0)). Let p = d + 11. Suppose 0 = c - p*i - 22, -c + 0*c - 8 = 2*i. Sort 5, c, -1.
-1, c, 5
Let x(r) = r**2 - 19*r - 5. Let a be x(19). Sort -1, a, 5, -0.3 in descending order.
5, -0.3, -1, a
Let i(k) = k**2 + 3. Let s be i(6). Let u = s + -28. Suppose 0 = 3*f - 6, f + u = -3*x - f. Sort x, 3, -4 in increasing order.
x, -4, 3
Let h(t) = -t**2 - 7*t + 20. Let d be h(-9). Suppose 0*s - 4*s = 0. Sort s, -1, d in ascending order.
-1, s, d
Let j be -4*(1/4 + -1). Suppose c - 8 = -j. Sort 2, -1, c in increasing order.
-1, 2, c
Let a = -5 + 7. Let c = 125 - 130. Sort a, c, 1.
c, 1, a
Let l = -0.01 + 6.01. Let m = -5.94 + l. Let n = m + -0.06. Put n, -1/4, 2/11 in descending order.
2/11, n, -1/4
Suppose q = -3, 3*j + 4*q = 2 + 1. Let w(x) = x**3 - 6*x**2 + 6*x - 6. Let f be w(j). Put f, 3, -5 in ascending order.
-5, f, 3
Let r = -295 + 291. Let u(m) = 7*m - 1. Let z be u(3). Suppose -24 = -3*j - j + 2*k, -3*k - z = -2*j. Put 3, r, j in decreasing order.
j, 3, r
Suppose u = 4*f + 16, -3*f + 5*u - 11 = 1. Let v = -9 + 13. Put v, f, 0 in decreasing order.
v, 0, f
Let l = 1 - -1. Let q = l - 1.5. Let n be ((-3)/138)/(2/8). Sort q, -1/6, n in increasing order.
-1/6, n, q
Suppose -4*q + 4*t = q - 21, 26 = 5*q + t. Suppose -3*a = -18