.07, a, -2
Let y be 3/6*10*-1. Let k(p) = -p + 3. Let g be k(0). Sort -1, y, g in descending order.
g, -1, y
Let h = 5.8 - 6. Let j = 0.3 - 0.6. Let m = j + h. Sort m, -3/2, 0 in descending order.
0, m, -3/2
Let l = -3 + 2.5. Let q = -0.068 + -0.332. Put l, 5, q in increasing order.
l, q, 5
Suppose -9*t + 2 = -10*t. Sort -5, 2, t in descending order.
2, t, -5
Let v(z) = z**2 + 11*z + 20. Let l be v(-8). Sort 0, l, 2, 17 in decreasing order.
17, 2, 0, l
Let r be (6/4)/((-9)/24). Let m be 8 + (-3)/((-3)/(-2)). Suppose -2*v - 9 = 3*c, m*c - 7*c - 3 = 0. Put 4, v, r in decreasing order.
4, v, r
Let d be 0 - 4/(16/(-12)) - 1. Let k = 5 - 10. Sort -4, k, d in increasing order.
k, -4, d
Suppose 5*p + 3*j = 110, 0 = -4*p + 2*j - j + 71. Sort -2, p, 3 in decreasing order.
p, 3, -2
Let u = 2 - 9/4. Sort u, -1, -4/7.
-1, -4/7, u
Let i = 0.3 + -1.3. Let u = -3.01 + 0.01. Let t = i - u. Sort t, 0, -4 in decreasing order.
t, 0, -4
Let t = 5.091 + -0.091. Let o = -1 - -1.5. Put o, t, 2 in decreasing order.
t, 2, o
Let p = 2.8 + -5.8. Sort -1, 0.2, p in decreasing order.
0.2, -1, p
Let k = -65 - -65. Let x = -154749 - -310580803/2007. Let m = x + -2/669. Sort -0.1, m, k in descending order.
k, -0.1, m
Let s = 0.8 - 0.9. Sort s, 5, 9 in increasing order.
s, 5, 9
Let m = 17 - 16. Put -5, -3, m, 2/11 in ascending order.
-5, -3, 2/11, m
Suppose 0 = z + j - 3, 4*z + 0*j = 3*j + 5. Suppose -z*p = p + 9. Let d(w) = -w**3 - 8*w**2 - 7*w + 2. Let v be d(-7). Put p, 4, v in increasing order.
p, v, 4
Let k = 78 + -83. Sort -3, k, -0.2, -4 in decreasing order.
-0.2, -3, -4, k
Let h = 33 + -34. Let y be (-1)/(0 - -3 - 4). Let o = 1.9 - 2. Sort h, o, y in decreasing order.
y, o, h
Suppose -3 = 4*w - 11. Sort 5, w, 1 in ascending order.
1, w, 5
Let g = 7 - 6. Let k = -3 + g. Put k, 2, 3 in increasing order.
k, 2, 3
Let i = -0.05 - 0.27. Let z = i - -0.02. Sort z, 3, 1 in ascending order.
z, 1, 3
Suppose 4*t - 4*q = 88, -t - q = -6*t + 90. Sort -3, t, 0, 2 in ascending order.
-3, 0, 2, t
Let d(c) = c**2 + 5*c - 14. Let f be d(-8). Let z(y) = y - 9. Let p be z(f). Sort p, -2, 4 in increasing order.
-2, p, 4
Suppose -4*n + 2*g = -12, g - 4 - 4 = -5*n. Let u(i) = i + 2. Let d be u(-2). Suppose d = 3*v - 12, -2*v + v = n*k + 4. Sort 0.2, -0.5, k in decreasing order.
0.2, -0.5, k
Suppose 4*p + 5 = -3*x - 2, -p + 7 = -x. Sort -3, 7, x in increasing order.
x, -3, 7
Let y(w) = 2*w**2 - 5*w + 2. Let k be y(3). Suppose 3*z + 0*z = -6. Sort 1, z, k in ascending order.
z, 1, k
Let b be (-2)/((27/6)/9). Sort 0, -1, 2, b in descending order.
2, 0, -1, b
Let j(f) be the third derivative of -f**5/60 + 5*f**4/24 - 5*f**3/6 + 5*f**2. Let d be j(4). Sort d, -3, 0 in decreasing order.
0, d, -3
Suppose 0*y + 3*y = 6. Sort 1, y, -1.
-1, 1, y
Let b be -3 + (-5)/(15/(-8)). Sort 3, 0.9, b in decreasing order.
3, 0.9, b
Let i = 2.7 - -1.3. Let n be 4/(-20)*(-2 + 1). Sort n, i, -0.1 in descending order.
i, n, -0.1
Suppose 4*n + 1 + 7 = 0. Sort -3, n, 35, 0.
-3, n, 0, 35
Let n = 155 - 152. Put n, 5, 2, -2 in descending order.
5, n, 2, -2
Suppose 3*d + 2*o - 7 = -2*d, 2*o = 5*d - 23. Sort d, -5, 2 in increasing order.
-5, 2, d
Let x = 3 + 18. Suppose -n - 1 + 4 = -b, 3*n = -3*b + x. Sort b, 1, 5 in decreasing order.
5, b, 1
Let n(l) = l**2 + 6*l - 6. Let b be n(-7). Let v(j) = 2*j + 9. Let q be v(-12). Let p = q + 20. Put p, b, -4 in decreasing order.
p, b, -4
Let l(q) = -q**3 + 7*q**2 - 8*q + 13. Let g be l(6). Sort 2/7, 1/3, g, 2 in descending order.
2, g, 1/3, 2/7
Let n = 9 + -12. Sort 1/4, n, -2/9, 1/2 in descending order.
1/2, 1/4, -2/9, n
Let j be 2/6*(15 + -21 + -3). Suppose 9 + 3 = 4*r - 3*a, -4 = -2*r + a. Sort r, 5, j in ascending order.
j, r, 5
Let m(q) = -q**2 - q + 1. Let f be (0 + (-3)/(-9))*-3. Let n be m(f). Sort 3, n, -1.
-1, n, 3
Let v = 38.5 - 38. Sort -6/7, -3/2, v, -1/5 in ascending order.
-3/2, -6/7, -1/5, v
Let c = 4 - -1. Suppose -5*t = 4*j + 18, -t - 3*j - j - 10 = 0. Put 2, t, c in increasing order.
t, 2, c
Let p be 1/(0 + 2/(-26)). Let q = 18 + p. Sort -5, 1, q in ascending order.
-5, 1, q
Let c = -82 - -408/5. Put c, 4, -0.3 in increasing order.
c, -0.3, 4
Let v = -0.9 - -1.4. Put 0, -3, v in descending order.
v, 0, -3
Let i = 0.5 - -1.5. Let g = -2.7 + 3. Put -5, i, g in ascending order.
-5, g, i
Suppose 6*m = 2*m + 4. Sort m, -5/4, -3 in increasing order.
-3, -5/4, m
Suppose -120*c = -119*c - 2. Let o = 2 - 1. Sort -4, c, o.
-4, o, c
Let c(s) = -s**2 + 6. Let a be c(0). Let x(w) = w**3 - 5*w**2 - 4*w - 7. Let n be x(a). Put -4, 3, n in descending order.
n, 3, -4
Suppose m + 3*m = 8. Suppose -4*v + 19 = 3*i, -5*v = -m*i - 17 - 1. Suppose -v*z = z + 5. Put -4, z, 5 in descending order.
5, z, -4
Let n = 3 + -2. Let f(w) = -w + 4. Let o be f(5). Let s be o/(n + 3/(-2)). Sort s, 0, -3 in descending order.
s, 0, -3
Let k = 4.6 + 0.4. Let v be (-80)/(-35)*(-1)/2. Let u = v - -37/14. Sort k, -2/3, u in descending order.
k, u, -2/3
Let s = -13 - -13.4. Let q = 0 + s. Sort 7, q, 0.2 in increasing order.
0.2, q, 7
Let i(z) be the third derivative of -z**4/24 - 4*z**3/3 + 3*z**2. Let g be i(-8). Sort -3, g, 5.
-3, g, 5
Let w = -2 + 7. Suppose 0 = -4*a + 12. Let b be (-5)/(-15)*a - -3. Put w, 0.5, b in descending order.
w, b, 0.5
Let s = -1.1 + 6.1. Let a = -4 - -7. Suppose a = 5*q + 8. Sort q, s, -4 in decreasing order.
s, q, -4
Let j = 80 + -76. Sort 3, j, -5 in descending order.
j, 3, -5
Let m = 22 + -17. Suppose -16 = -m*q + q. Put q, 3/5, 1 in decreasing order.
q, 1, 3/5
Let f = 824/187 - 78/17. Sort -2/3, -5, f in increasing order.
-5, -2/3, f
Let c = -14 - -13.89. Let a = c + 0.31. Sort a, -10, 0.1.
-10, 0.1, a
Let s = 23 + -21. Let r = 9 - 8. Sort -2, s, r in decreasing order.
s, r, -2
Suppose -3*z - 6 = -21. Let h = z - 2. Suppose h*p = p - o - 9, 4*p - 3*o = -13. Put 2, 1, p in decreasing order.
2, 1, p
Let d be (-6)/(-5)*(-1)/2. Let w = -21 - -22. Put w, -5, d in decreasing order.
w, d, -5
Let r(b) = -b**3 + 10*b**2 - 11*b + 13. Let i be r(9). Let f be 5 + -6 + (-6)/3. Sort 5, i, f.
i, f, 5
Let g = 3 + -3.5. Sort g, 2, -2/7 in descending order.
2, -2/7, g
Let t = -5.9 - -6. Let v = -0.3 - -0.4. Let z = t - v. Sort z, -1, -0.4 in descending order.
z, -0.4, -1
Let h = 5.03 - 0.03. Let u be 176/(-40) + 2/5. Sort -3, h, u in increasing order.
u, -3, h
Suppose 4*u = 5*f + 2, -u + 0 - 7 = -5*f. Let q(s) = -s**3 + 8*s**2 + 7*s + 13. Let j be q(9). Sort 1, u, j in ascending order.
j, 1, u
Let z = 133/60 - 23/12. Let j = z - 31/20. Sort j, 0.2, 0.1.
j, 0.1, 0.2
Let m = 9.76 + 0.24. Let j = -1.9 + -4.1. Let k = m + j. Sort 0.2, k, -2.
-2, 0.2, k
Suppose -24 = -0*x - 4*x. Suppose 5*r = 4*a - 16, -a - 2 = -3*r - x. Suppose a*c - 16 - 4 = 0. Sort 3, -2, c in descending order.
c, 3, -2
Let r = 16 + -13. Suppose -8 = -3*b - b, -3*b - 24 = 5*g. Let h be -1*(0 - 1 - g). Sort h, r, -2.
h, -2, r
Let c = 11.7 - 12.2. Put 2, c, -4/9, 0.4 in descending order.
2, 0.4, -4/9, c
Let g(t) = -t**3 + 4*t**2 + 2*t - 6. Let x be g(4). Let m = -17 + 18. Let o(y) = 2*y - 6. Let s be o(5). Put s, m, x in descending order.
s, x, m
Let v(l) = 4*l**2 - 2*l + 1. Let a be v(1). Let n = 1 + a. Suppose n*s + 12 + 4 = -c, 4*c - 5*s - 41 = 0. Sort c, 5, 1/4 in descending order.
5, c, 1/4
Let z = 0.065 - 0.465. Sort 1, 4, z.
z, 1, 4
Let a = 15 - 10. Suppose 5 = j + 4*j + a*i, 3*j - 2*i = -7. Put 0.4, j, -0.5 in increasing order.
j, -0.5, 0.4
Let b = -210 + 210.2. Suppose -3*t = 2*t. Suppose 20 = 5*s + m - 2*m, t = -3*s - 2*m - 1. Sort b, 0.4, s in descending order.
s, 0.4, b
Let i(a) = 2*a**3 + 10*a - 5*a**3 - 3*a**2 - 11 + 15*a**2 + 4*a**3. Let l be i(-11). Sort l, -11, 3.
-11, l, 3
Suppose 5*j - 3 = -13. Sort 2, j, -5, -0.3.
-5, j, -0.3, 2
Let q(u) = u + 13. Let h(b) = -b**3 - 6*b**2 + 3*b + 7. Let g be h(-6). Let y be q(g). Suppose 2 = -6*f + 4*f. Sort y, f, 0 in ascending order.
f, 0, y
Let y = -289/1036 + -1/148. Let c = 0.07 + -5.07. Put c, -1, y in ascending order.
c, -1, y
Suppose -3*p + 5 = -13. Let c = 2 - p. Put -2, 8, c in increasing order.
c, -2, 8
Suppose -5*o + 2*d = -19, 0 - 3 = -3*o - 3*d. Let r = o + -6. Sort 0, -5, r in ascending order.
-5, r, 0
Let b = -1.3 + 1. Let r = b - 0.7. Let h = r + 1. Sort h, 2, -2 in increasing order.
-2, h, 2
Suppose 0 = 4*l - 16 + 8. Put 13, l, 5 in increasing order