 4 - q. Put 4, n, -2 in descending order.
4, -2, n
Suppose 0 = 6*d - 0*d. Put -1, 1, d, -2 in ascending order.
-2, -1, d, 1
Let u(k) = k**3 - 9*k**2 + 7*k + 10. Suppose 0 = 2*v - 11 - 5. Let b be u(v). Sort b, -5, 5.
-5, b, 5
Let f = 1.7 + -1.6. Put -4/7, 4, f in decreasing order.
4, f, -4/7
Suppose -24 = -4*n - 4*o - 0*o, 4*n - 3*o - 3 = 0. Suppose 4*h + 15 - n = 0. Sort -2, 0, h in decreasing order.
0, -2, h
Suppose -2*s - 13 = -3*z + 2*z, -4*z + 8 = 3*s. Let b = 2.4 + -2. Sort s, b, 3/2 in descending order.
3/2, b, s
Let a be (-2)/7 + 272/(-28). Let c be ((-2)/(-1))/(4/a). Let u = -1 + -3. Sort c, 1, u in descending order.
1, u, c
Let i = -112.6 - -113. Sort i, -1/16, -0.2 in ascending order.
-0.2, -1/16, i
Let a = -10.2 + 10. Suppose 0 = 3*i + 15, -3*w + 0 - 26 = 4*i. Let l(k) = 2*k - 1. Let t be l(w). Sort t, a, 5 in descending order.
5, a, t
Let w(m) = -m + 1. Let q(i) = i**2 + 3*i + 1. Let g be q(-3). Let r be w(g). Let k(o) = o**3 - o - 1. Let h be k(2). Sort -1, r, h in decreasing order.
h, r, -1
Let d be 3 - (4 + -3 - -3). Let w = -2 + 3. Suppose -r = -2 + w. Put -3, d, r in descending order.
r, d, -3
Suppose 0 = -3*n + 7*n - 4. Suppose 3 = -4*o - n. Sort -3, -4, o.
-4, -3, o
Let x = -1.3 + 0.8. Let y = x + 0.5. Put y, -3/2, 1/6 in descending order.
1/6, y, -3/2
Suppose -3 = 5*t - 4*t. Suppose 4*o = 8*o - 12. Put o, 0, t in descending order.
o, 0, t
Suppose 2*h - 23 = 5*o + 4*h, 28 = -4*o - 4*h. Put -10, o, -4 in increasing order.
-10, -4, o
Let c = -137 + 136.9. Sort 3, c, -1/2, -5 in ascending order.
-5, -1/2, c, 3
Suppose m + 4 + 0 = 0. Put -1, m, 0 in ascending order.
m, -1, 0
Let s(r) = -5*r + 2. Let l be s(-2). Suppose l + 13 = -5*c. Put -2, c, -1 in ascending order.
c, -2, -1
Let o be (2 + 0)*3/(-2). Let p be (28/(-12))/(-7)*3/1. Sort p, 3, o.
o, p, 3
Let m = 63/2 - 32. Suppose 0*i = -3*o + 3*i, o = -i + 4. Suppose 0 = l + o. Sort m, -0.07, l.
l, m, -0.07
Let j = -13.1 + 13. Suppose -9 - 12 = -3*h. Suppose -22 + h = -5*t. Sort t, j, 0.2 in decreasing order.
t, 0.2, j
Let r(t) = -t**3 - 6*t**2 - 11*t - 7. Let f be r(-3). Let h = 2.1 + -2. Sort h, f, -2.
-2, f, h
Let m = 14 + -10. Suppose -m*k = -2*k. Let v = -7 + 3. Put k, v, -3 in increasing order.
v, -3, k
Let m = -0.16 + -0.84. Put 0, m, -3/8 in increasing order.
m, -3/8, 0
Suppose -5*v - p + 2*p - 22 = 0, 5*v = -4*p - 37. Let m be 2/(-5) - (-52)/105. Put -2, v, m in increasing order.
v, -2, m
Let v = 3.2 - 0.2. Put 0.2, v, 0.4 in decreasing order.
v, 0.4, 0.2
Let u = 5 + -2. Suppose 1 = -5*t + 16. Suppose 2*y = 4*h + 6, -y + 0*y + t = 0. Put u, 1, h in ascending order.
h, 1, u
Suppose 6*u + 19 = -11. Suppose -2*z = z. Sort u, 2, z in descending order.
2, z, u
Suppose -5*m + 3*h = -21, -2*h = -2*m - h + 8. Put m, -2/5, 4, -1/2 in descending order.
4, m, -2/5, -1/2
Let d be ((-5)/15)/(2/(-9)). Let u be (-2)/7 + 11/(-35). Let f = 0 + 3. Put u, d, f in decreasing order.
f, d, u
Suppose -30*a + 45 = -35*a. Put -5, 3/2, 5, a in ascending order.
a, -5, 3/2, 5
Let l = -1 - -0.5. Let v = -1 - 2. Put 2/5, l, v in descending order.
2/5, l, v
Let f(w) = w - 70. Suppose 2*a = -2*a. Let b be f(a). Let v be (-2)/6 - b/(-15). Put v, -1, 3 in descending order.
3, -1, v
Let k = -50 - -46. Put 4, k, -1, 5 in descending order.
5, 4, -1, k
Let w be -1*(3/3)/(-1). Let a be 148/52 - 3*w. Put -5, -0.5, a in decreasing order.
a, -0.5, -5
Suppose -w - 67 = 5*j + 119, 3*j + 108 = 3*w. Let l be j/56 + (-2)/(-7). Sort l, -3, 0 in descending order.
0, l, -3
Let o = 0.04 - 4.04. Let j = 5 + o. Let h = j - 1.3. Sort h, -0.2, -2 in descending order.
-0.2, h, -2
Suppose 3*u - 15 = 6*u. Suppose -5*b + 4 = -v, 8 = -2*v + b + 2*b. Put u, v, 3 in ascending order.
u, v, 3
Suppose 4*y = 5*n - 2, -3*y + 8 = 3*n - 2*n. Suppose -y*l - 12 = -5*l. Put 1, l, 0 in increasing order.
0, 1, l
Suppose -25 = -30*a + 25*a. Sort a, -4, 4, -14 in decreasing order.
a, 4, -4, -14
Let a(l) = -l**3 - 5*l**2 - l + 1. Let z be a(-5). Suppose 15 = 3*g, 3*k + 5*g = 2*g. Put z, k, 0 in decreasing order.
z, 0, k
Let z be -2 - ((-3 - -1) + (1 - 5)). Suppose -2*y - 3 = 3*h, 0*h + 5*y = -2*h - 13. Sort 5, z, h in decreasing order.
5, z, h
Suppose 0 = -5*c, -c + 9 = -3*j - 0*c. Put -5, 1, j in decreasing order.
1, j, -5
Suppose c = 2 + 6. Let h be (10/c)/((-2)/8). Suppose 2*m = -4, p - 2 + 10 = -2*m. Sort 3, h, p.
h, p, 3
Let u = 6 - 11. Let m(y) = -y - 10. Let x = 12 + -20. Let q be m(x). Put u, -1, q in increasing order.
u, q, -1
Suppose 6*t + 2 = 2*t - q, -2*q = 4. Let o(h) = -2*h**2 - 7*h - 9. Let b be o(-2). Put t, b, -1 in decreasing order.
t, -1, b
Suppose 12 = -4*w - 0*w. Let g = -10 - w. Let b(h) = -h - 7. Let j be b(g). Put j, -1, 3 in descending order.
3, j, -1
Let h = -0.05 - -0.85. Let c = h + -0.8. Put c, -5, 3 in descending order.
3, c, -5
Let b = -0.1 + 0. Put -1/8, 0.5, b, 0.1 in decreasing order.
0.5, 0.1, b, -1/8
Let h = -0.24 - -0.34. Sort 5, -2/3, 2, h in increasing order.
-2/3, h, 2, 5
Let w = 20 + -18. Let q = -0.4 + 0.7. Let x = q - 0.6. Put 0, w, x in ascending order.
x, 0, w
Let w = -0.39 + -0.01. Let m = w - -1.4. Let s = 0.5 - m. Sort 1, 2/9, s in decreasing order.
1, 2/9, s
Let m be (-12)/(-30) + (-69)/(-15). Sort 3, -2, m in increasing order.
-2, 3, m
Let i = 9 - 9. Put 4, -1/4, i in descending order.
4, i, -1/4
Let t be 8/(-12)*(-6)/4. Let z(k) = k**3 - 6*k**2 - 5. Let p be z(6). Sort t, p, 0.
p, 0, t
Let j = 58 - 58. Put j, -3, 4 in descending order.
4, j, -3
Let y = 4.6 - 5. Let l = y + 0.3. Let c be (6/(-20))/((-6)/(-12)). Put l, c, -2 in descending order.
l, c, -2
Suppose -5*r = -2*q - 3*q, -4*r = 5*q. Suppose q = -y - y + 4. Put 4, y, -2 in ascending order.
-2, y, 4
Let s = 191/190 + -9/10. Let b be (0 + -2)/(-1 + 0). Suppose c - 3 = -k, -k + 5*k = b*c - 12. Put 5, k, s in decreasing order.
5, s, k
Suppose 3*g + 6 = g. Put g, -1, -2 in ascending order.
g, -2, -1
Let l = -0.08 + -0.06. Let g = l + -0.16. Let m = -0.5 - -0.3. Put 5, g, m in descending order.
5, m, g
Suppose -q + 0*t = -t, 2*q + 5 = 3*t. Suppose -3*p - 3*f + 5 = -f, p - f = -5. Put -5, p, q in increasing order.
-5, p, q
Let y = -350.91 - -351. Let t = 1.1 + -0.1. Sort -1, t, y.
-1, y, t
Let h = 17 - 19. Let v be 18/4 + 2/4. Put h, -3, v in ascending order.
-3, h, v
Suppose h = -a + 6*h - 11, 0 = 3*a - h + 5. Put a, 5, 1 in decreasing order.
5, 1, a
Let c(j) = -2*j**3 - j**2 + 2*j - 1. Let m be c(1). Let a be (54/14)/(15/(-20)). Let g = 179/28 + a. Sort m, g, 5.
m, g, 5
Let r(d) = d**2 - 4*d - 5. Let o be r(5). Suppose 4*j - 4*n - 4 = o, 5*n + 20 = -0. Sort 4, 3, j in ascending order.
j, 3, 4
Let q be (2 - -2)/(0 + 1). Suppose -5*j + 0*j = 15. Suppose 0 = 3*a - 2 + 14. Sort q, a, j in increasing order.
a, j, q
Let h = -0.6 - -1. Let s = -0.7 + 0.7. Suppose -4*k = -5 + 1. Put k, s, h in descending order.
k, h, s
Let p be (-15)/(-3)*1*1. Sort -0.1, 4, p.
-0.1, 4, p
Let k = 20 - 20. Suppose k = c + 3 - 6. Put c, 1, 0 in decreasing order.
c, 1, 0
Let m = -2 + -1. Let g = 8 + -5. Put g, -1, m in increasing order.
m, -1, g
Let c(d) = -d**3 - 8*d**2 - 7*d - 1. Let l be c(-7). Let x = 4 - l. Let v = -3.8 + 0.8. Put v, -0.5, x in descending order.
x, -0.5, v
Suppose n - 2*t = 3, -3*t + 6 = 2*n - 4*t. Sort -3, n, 0.
-3, 0, n
Let i = -5 + 4. Let w be i/((-2)/(-2) - 0). Let n be (-1 - 2)*(-4)/(-6). Sort w, n, 4 in ascending order.
n, w, 4
Let d(m) = 6*m**3 + 2*m**2 - 5*m - 6. Let b be d(-1). Sort 1.3, b, 2 in ascending order.
b, 1.3, 2
Let s(q) = -2*q - 1. Let n be s(-3). Put -8, n, -5 in increasing order.
-8, -5, n
Suppose -4 = -5*y - 14. Let t be 1*y + 8 + -2. Let g = 6 - 4. Sort t, -1, g in descending order.
t, g, -1
Let y(f) = f**3 + 3*f**2 + 3. Let v be y(-3). Let u = -3 + v. Sort -3, -5, u.
-5, -3, u
Let u = -31 - -33.6. Let m = u + -3. Let y = 2.96 - -0.04. Sort m, -1/2, y in decreasing order.
y, m, -1/2
Let a be 28/(-4) - (3 + -3) - -3. Put 46, 4, a in increasing order.
a, 4, 46
Let o = 13 - 7. Let c(b) = 7*b - 1 - 7 - 1 - b**2. Let y be c(o). Sort y, 0, 4 in descending order.
4, 0, y
Let s(a) = a**3 - a**2 + 3 - 3*a**2 + 0*a**3 + 2*a. Let f be s(3). Suppose f*h + 5*j - 15 = -4*h, -h + 9 = -4*j. Put -0.2, h, 0.3 in ascending order.
-0.2, 0.3, h
Let v be 9 + 0 - 2*2. Let d(b) = b**2 - 6*b - 5. Let s be d(7). Put 1, s, v in ascending order.
1, 