-16) - b) + 0. Sort 3, h, 0.4 in descending order.
3, h, 0.4
Suppose -8 - 8 = -2*b. Suppose m = -2*u - 2*u + 16, 0 = -2*m - 2*u + b. Sort m, 4, -2 in descending order.
4, m, -2
Let i = 0.2 - 1.2. Let d = -52 + 54. Sort -5/3, d, i in ascending order.
-5/3, i, d
Let j(r) = 3*r - 2. Let k be j(1). Let s = -8 + 12. Sort s, k, -1 in ascending order.
-1, k, s
Let p be -1 + -1 - (-2 + -2). Put -89, p, -2 in ascending order.
-89, -2, p
Suppose f + 0 = -1. Let c = f - 3. Suppose 0*p - 6 = 3*p. Sort p, c, -5 in descending order.
p, c, -5
Let a be ((-1)/3)/((-2)/18). Suppose -a*d + 3*t + t - 15 = 0, 5*d = t - 42. Let g = -7 - d. Put g, 3, 1 in ascending order.
1, g, 3
Let h = 57.4 - 57. Put -0.1, h, -6, 1/7 in ascending order.
-6, -0.1, 1/7, h
Let r = 1 - 2. Let c = 504/5 - 4606/45. Let t = c + -1/9. Put t, -4, r in decreasing order.
r, t, -4
Suppose -229 = -2*z + 4*a - a, -3*a + 92 = z. Let u be z/(-52) + (-2)/8. Let o = u - -171/91. Put 2, -0.1, o in ascending order.
o, -0.1, 2
Let k = 2/41 - 49/164. Put -1/7, k, -3 in decreasing order.
-1/7, k, -3
Suppose -1 - 4 = 5*v. Sort 3, -5, v.
-5, v, 3
Let c be (-15)/(-75) + (-1)/(-5). Put c, 1, -5 in ascending order.
-5, c, 1
Suppose 4*o - 5*v = 15, 2*v - 1 - 1 = 0. Let s be ((-3 - -7)/(-4) + 0)/1. Sort s, -2, o in ascending order.
-2, s, o
Let v(i) = i**3 + 11*i**2 + 10*i. Let n be v(-10). Suppose -3*o - 5*t + 19 = -n*t, 3*t = -3*o + 9. Let h = 2 - o. Sort 5, h, -5.
-5, h, 5
Let q = 14 + -13.5. Put q, 2, 2/5 in ascending order.
2/5, q, 2
Let p(k) = -k**3 + 11*k**2 - 7*k - 29. Let o be p(10). Sort 4, 3, o in descending order.
4, 3, o
Suppose -5*g - 2 = 3. Put 1, g, 4 in decreasing order.
4, 1, g
Let b = 14 + -8. Let r = -6 - -10. Let w = r - b. Put 0.5, -1/3, w in descending order.
0.5, -1/3, w
Suppose 9 + 11 = -4*b. Suppose -4*h + 12 = -z, 0*z + 3*z = h - 3. Let p be 3 - (-1 + (-1 - 0)). Put b, z, p in increasing order.
b, z, p
Suppose -4*o + 4 = c - 0*c, -5*o = -10. Suppose 5*n + 20 = 45. Put 0, c, n in increasing order.
c, 0, n
Suppose -3*p - 13 = -7. Sort -3, p, -6, 2 in descending order.
2, p, -3, -6
Suppose -25 = -2*g - 31. Put g, -2, -5 in decreasing order.
-2, g, -5
Let s be (-10 - -5) + 27/6. Let u be ((-1)/(-3)*-1)/1. Put s, 0, u in ascending order.
s, u, 0
Let m be (8/(-12))/((-4)/6). Let n = 4 - 9. Put 5, m, n in increasing order.
n, m, 5
Let j be -1*(-15)/3*1. Suppose j*r = 2*r - 6. Sort -4, 5, r in descending order.
5, r, -4
Let m be (3 + -2)*(4 - 2). Let l = m + -1. Put l, -2, 2 in descending order.
2, l, -2
Let h = 62 - 311/5. Sort h, -2, -3.
-3, -2, h
Let d be 0 - ((-10)/2 - -1). Let q(n) = n**3 - 7*n**2 - 6*n - 11. Let g be q(8). Sort g, d, 6 in descending order.
6, g, d
Let g = 0.1 - 0.1. Let x = -59/5 - -56/5. Sort 0.3, g, x in decreasing order.
0.3, g, x
Let u = 153/58 + -4/29. Let v = -25 - -25.5. Sort -1, v, u in descending order.
u, v, -1
Let f = -1.1 + 1.1. Let d = -4.93 + -0.07. Sort d, f, -1/2 in descending order.
f, -1/2, d
Let w = -5 - -3. Let s(q) = -2*q + 1. Let r be s(w). Let n(o) = o**2 - 4*o. Let f be n(r). Sort 3, f, -3 in ascending order.
-3, 3, f
Let y(q) = q + 10. Let o be 30/(-10) - (-1 + 6). Let r be y(o). Sort -5, r, 5 in ascending order.
-5, r, 5
Suppose 4*b = -0*b + 4, -a - 2*b + 17 = 0. Suppose 5 = -5*f - a. Let c be 10/(-4) + 2/(-4). Sort f, -2, c in increasing order.
f, c, -2
Let k = -46 + 42. Sort k, 1, -2.
k, -2, 1
Let o be -4*((-20)/(-8) + -3). Suppose -3*f - 13 = -4*g, -f + 4 = 3*f. Suppose -4*u = 2*i + 2, u + g = -i + o. Sort -2, u, 0 in descending order.
u, 0, -2
Suppose 10*j - 7*j - 6 = 0. Sort j, -3, -2.
-3, -2, j
Let k be (2/(-4))/((-6)/48). Let l(v) = -v**3 - 4*v**2 - v + 4. Let b be l(-3). Sort k, 5, b in descending order.
5, k, b
Let c(j) = 4*j**3 - j**2 + 1. Let k be c(-1). Let y = -81 + 83. Put k, 3, y in ascending order.
k, y, 3
Suppose 0 = b - 2 + 5. Let p = 7 - 5. Let o be 1 - (p/(-2) + -1). Sort 4, b, o in decreasing order.
4, o, b
Let u(s) = -4*s - 23. Let l be u(-7). Let c = -4 - 0. Sort c, -2, l in descending order.
l, -2, c
Let g = -533 + 529. Suppose 0 = -0*b + 5*b + 25. Sort -3, b, g in decreasing order.
-3, g, b
Let g = -21 - -21.4. Put -5, g, -3 in increasing order.
-5, -3, g
Let b = 6.86 + 0.14. Put 0, b, -0.5 in decreasing order.
b, 0, -0.5
Let t = 9 + -6. Put 4, -2, t in ascending order.
-2, t, 4
Suppose i + 16 = s, 2*s - 4*i + 3*i - 34 = 0. Let l = s - 20. Let p = -2 - -3. Sort 4, l, p in decreasing order.
4, p, l
Let y = 0.1 - 1.4. Let r = y - -1. Suppose -5*t - 5*w = -35, 3*t + 5*w - 13 = 18. Sort r, -4, t in descending order.
t, r, -4
Let h = 484/9 + -54. Let i = -0.3 - -0.7. Sort h, i, 5 in ascending order.
h, i, 5
Let r = -773 - -766.34. Let n = -0.76 - r. Let h = n - 6. Put 0.1, h, -2/9 in descending order.
0.1, h, -2/9
Let m = -3 + 0. Suppose -5*l - 9*l = 98. Put 3, l, m in descending order.
3, m, l
Let h(c) be the third derivative of -c**4/24 + 7*c**3/6 + 2*c**2. Let u be h(7). Sort -4, u, -1 in increasing order.
-4, -1, u
Let n = 7 - 10. Let i = -1 + n. Suppose 4*h = 4*c + 3 + 17, 5*h - c = 13. Put h, i, 1 in ascending order.
i, 1, h
Suppose 0*a + 4*a = 2*x, a - 5*x = 0. Let r(c) = -2*c - 1 + 0 + 4. Let g be r(3). Sort a, g, -1.
g, -1, a
Let c = 15 + -14.5. Sort c, -0.05, 0.1 in ascending order.
-0.05, 0.1, c
Suppose 2*n = 7*n. Suppose 3*s = -12, 4*w + n*w - 3*s = -8. Suppose 16 = -4*j - 5*a - 0*a, 0 = 3*j + 5*a + 12. Sort w, 1, j in descending order.
1, j, w
Suppose -i + 17 = 19. Put 12, i, -1/6, -5 in decreasing order.
12, -1/6, i, -5
Let s be 70/72 + (-2)/9. Let u = 1.55 + -1.5. Let k = u + 0.05. Put k, -0.1, s in decreasing order.
s, k, -0.1
Suppose 2*a - 28 = -a + 2*j, 4*a + 5*j + 1 = 0. Suppose a*c = 8*c + 4, -c = -3*f + 11. Put -3, f, -2 in descending order.
f, -2, -3
Let f = 4 + -6. Suppose -2*v + v + 2*d + 6 = 0, 0 = -4*v - 3*d - 31. Sort v, f, 4 in ascending order.
v, f, 4
Let j be -2*(-4 + 1 + 1). Sort -4, 2/7, j in decreasing order.
j, 2/7, -4
Let z = 0.37 + 0.03. Let i = 0.1 - z. Put i, -2/7, 3 in ascending order.
i, -2/7, 3
Let j(w) = w**2 - w + 2. Let f be j(2). Suppose n = 2 - 3. Let o be (-5)/15 + (-14)/3. Put o, n, f in ascending order.
o, n, f
Let q = -19.2 - -3.2. Let y = -19 - q. Sort -4, 1, y.
-4, y, 1
Let k = -102 + 106. Put -2, 1/2, k, 2 in ascending order.
-2, 1/2, 2, k
Let f = 11 - 11.6. Let a = 0.4 + f. Let m = -0.07 + 0.27. Put 4, a, m in decreasing order.
4, m, a
Let p(f) = -3*f - 5. Let c be p(-4). Suppose -6*j = -c - 17. Sort j, 5, -4 in descending order.
5, j, -4
Let t(p) = p**2 + 7*p + 9. Let y be t(-6). Suppose -25 = -2*o + 25. Suppose 0 = -5*d + c + 5, 0*c - o = -2*d + 5*c. Sort d, -5, y.
-5, d, y
Let p(a) = 5*a - 1. Let u be p(-6). Sort u, 0, -1 in ascending order.
u, -1, 0
Let h be -4 - 0 - (-2)/(-2). Let z be ((-1)/(-3))/(1/(-3)). Put 1, h, z in increasing order.
h, z, 1
Let v = 13 - 8. Suppose v*c = 2 + 3. Sort c, -5, 4.
-5, c, 4
Let w = -1 - -1. Let c = -1 + 0. Let y = c + w. Sort 1, y, -3 in decreasing order.
1, y, -3
Suppose 0 = -2*s - 4 - 14. Let o = s - -11. Suppose -a - g - 2*g = -11, -g - 3 = o*a. Sort 4, a, -5 in ascending order.
-5, a, 4
Let o = -3 + 1. Let h = 2 - -4. Let p = h + -6. Put p, o, -5 in ascending order.
-5, o, p
Let s = 0.2 - 0.21. Let k = 0.01 + s. Let p = -0.08 + 2.08. Sort p, -2, k in descending order.
p, k, -2
Let m be (-24)/9*36/(-8). Let l(x) = 2*x**3 + 2*x**2 - 2*x. Let f be l(2). Let k be f/6*m/(-10). Put 4, 3, k in descending order.
4, 3, k
Suppose 0 = -4*k + r - 11, -4*k - 3*r - r = 36. Let j = 0 - 2. Sort j, k, -1 in increasing order.
k, j, -1
Let d = 9/8 + -29/40. Let r = 0.18 - -0.32. Put r, -3/4, d in descending order.
r, d, -3/4
Let x be -1 + (-5)/(30/(-4)). Let h(z) = -z - 2. Let t be h(-1). Sort x, t, 2/3 in descending order.
2/3, x, t
Let y = 5 + -1. Let n(l) = l**3 - 7*l**2 + 8*l - 8. Let m be n(6). Suppose 0 = -2*u + o - 4*o + 22, m*u - 28 = -2*o. Sort u, y, 0 in ascending order.
0, y, u
Suppose -4*s = 4*v - 5 - 19, -2*s = -v - 3. Suppose -s*u + 10 = -u. Suppose 0 = -0*o + u*o + 15. Sort -5, -2, o in decreasing order.
-2, o, -5
Let x(z) = -10*z + 9. Let q be x(2). Let r be (-4 - -1)/(9/(-30)). Let b = q + r. Put b, 4, 0 in ascending order.
b, 0, 4
Let d = -18 + 107/6. Let t = 0.96 + -1. Let p = t - 1.96. Sort p, -1/7, d in increasing order.
