ing order.
z, -2, 2
Suppose 10 = u + u. Suppose 2*x - 2*w = -w - 9, -5*x - 2*w = 9. Suppose -4*f = -5*g - 0*f - 21, -5*g + 3*f - 22 = 0. Put x, u, g in decreasing order.
u, x, g
Let p = -2 + 1. Let r = 887/7 + -127. Put p, r, 1 in decreasing order.
1, r, p
Suppose 18 = 5*w + 4*n, -4*w + 10 + 5 = 3*n. Suppose 0 = 4*d - z - 13 - w, -20 = -2*d + 4*z. Let l be 9/(-30)*(-5)/6. Sort d, l, 3 in descending order.
d, 3, l
Let q = -43 + 46.8. Let v = -0.8 + q. Let a = 4 + -4.4. Sort 1, a, v.
a, 1, v
Suppose -5*k + d = 11, -7 = -3*k + 5*d + 4. Let u be (-30)/(-28) - 5/40*4. Put k, u, -1/3 in descending order.
u, -1/3, k
Let q = -3 + 3. Let s be q + -2 + (-5)/(-4). Let b be 1/(-2)*(24 - 21). Put b, s, -2 in descending order.
s, b, -2
Suppose 9*s = 13*s - 8. Put -5, 0, s, -0.2 in descending order.
s, 0, -0.2, -5
Suppose -s = s. Sort -1, s, 4 in decreasing order.
4, s, -1
Suppose 1 - 16 = 3*i. Put i, 3, 0 in ascending order.
i, 0, 3
Let r(n) = -n**2 - 6*n - 5. Let j be r(-3). Suppose 0 = -0*i + 3*i - 9. Put i, -3, j in descending order.
j, i, -3
Let g = 4/9 + -19/63. Put 1/3, -3, g in decreasing order.
1/3, g, -3
Let b be 1/1*(3 - 2). Let z(m) = m**2 - 6*m - 11. Let f be z(8). Sort f, b, 4 in ascending order.
b, 4, f
Let t = 2/27 - 37/135. Sort 1/5, t, 1, -5 in ascending order.
-5, t, 1/5, 1
Let f = 0.3 - -0.7. Let a = 2.21 + -0.21. Sort f, -4, a.
-4, f, a
Suppose -a + 2*h + 7 = 0, a - 2*a = -3*h - 9. Sort -2, a, 2 in increasing order.
-2, 2, a
Let h = -1.04 - -2.04. Sort -0.2, 2/17, h, 16 in decreasing order.
16, h, 2/17, -0.2
Suppose 4*c - 4*n = -4, 0*n = 3*c + 2*n - 7. Let q be c/(-2)*(-2)/(-1). Let i(v) = -v**3 + 6*v**2 + 8*v - 5. Let d be i(7). Put d, q, -4 in descending order.
d, q, -4
Suppose -i + 6*i - 150 = 0. Let z be (18/i)/((-3)/(-2)). Sort z, 0.1, 0.3 in descending order.
z, 0.3, 0.1
Let y = -0.019 + 0.119. Put 1, y, 5 in descending order.
5, 1, y
Let d = 3 - 5. Sort 4, 3, d, 0.4 in descending order.
4, 3, 0.4, d
Let j = 6 - 6.13. Let y = j - -3.63. Let q = y + -0.5. Sort q, 2, 0.3.
0.3, 2, q
Let u(t) = t**3 + 2*t**2 - 2*t + 4. Let g be u(-3). Suppose 3*z + 23 = -4*i, 4*z = 7*z - 2*i - 7. Let p be -2 - (4 + 0 + -2). Put g, p, z in descending order.
g, z, p
Let o = -13 - -11. Sort -0.4, -10/3, o in descending order.
-0.4, o, -10/3
Suppose -4*a + 2 = -3*a. Suppose a*x - 8 = -2*x. Suppose x = -f - f. Sort -3, -5, f in ascending order.
-5, -3, f
Suppose 2*r - 1 = -7. Let o be -1 - -8 - 15/5. Suppose 0 = -h - h + 2. Sort r, h, o in decreasing order.
o, h, r
Let f(w) = w**2 + 0*w + w + 4*w + 4. Let s be f(-4). Sort -5, 2, s in ascending order.
-5, s, 2
Let m = 2 - 0. Let f be 13/3 + (-6)/(-9). Let i = 22 + -19. Put i, f, m in descending order.
f, i, m
Suppose 4*n - 6 = -2. Let p = 1.7 - 0.2. Let r = -2 + p. Put n, r, 2/7 in increasing order.
r, 2/7, n
Let g(s) = -s**2 + 13*s + 16. Let q be g(14). Sort -2, q, -1 in decreasing order.
q, -1, -2
Suppose 20*m + 4 = 21*m. Put m, -3, -5, 0.5 in ascending order.
-5, -3, 0.5, m
Let p = -71 - -66. Put 3, p, 4, -3 in increasing order.
p, -3, 3, 4
Suppose x + 2*x = -12. Let g = 5 - 4. Put g, 3, x in descending order.
3, g, x
Suppose 5*w = -3*w + 16. Sort w, 5, 3 in ascending order.
w, 3, 5
Let g be ((-12)/1)/(6/(-3)). Let u = 5 - g. Sort 2, 4, u in descending order.
4, 2, u
Suppose -2*w + 3*w + 4 = 0. Sort 2, -3, w in increasing order.
w, -3, 2
Let u = -4450/7763 - -2/1109. Let o = 0.1 + 0.2. Put u, o, -1 in descending order.
o, u, -1
Suppose -2*a - 7 = -3*x - 0*a, a = 4. Let v = 2 - 1. Let p be v + -3*2/(-3). Sort 4, p, x.
p, 4, x
Suppose 7 = 4*l + j - 2*j, -l - 11 = 4*j. Let d be (-4)/10*10/(-2). Suppose -q + 4 = -1, c + 7 = d*q. Sort c, 2, l in ascending order.
l, 2, c
Let v = 7 - 3. Let r = 0.02 - -0.98. Sort -4, r, v.
-4, r, v
Suppose 11*v + 15 = 26*v. Let d = -11111/23 + 483. Put 0, d, v in decreasing order.
v, 0, d
Let q = -2.3 - -14.3. Let x = q + -6. Put x, -2, 5 in ascending order.
-2, 5, x
Suppose -3*r - 2 = 1. Let u = -3 + 8. Sort r, u, 0 in descending order.
u, 0, r
Let g be (-4)/((-10)/4 + 2). Let s be 2*(0 - 46/(-12)). Let k = g - s. Put k, 2/17, 2/9 in descending order.
k, 2/9, 2/17
Let g = 64 - 64.2. Put -2, g, -0.3 in ascending order.
-2, -0.3, g
Suppose -8 = 2*l - 16. Sort l, -2, -15 in descending order.
l, -2, -15
Let w(o) = o**2 - 4*o - 3. Let a be w(5). Let m be (-2 - -1)*-1*-5. Sort m, 5, a in descending order.
5, a, m
Suppose -4*s - 2*f - 4 = -32, -4*s - f + 24 = 0. Sort s, 1, 3.
1, 3, s
Let g = 61 - 61.5. Sort g, -2/9, 3/5 in ascending order.
g, -2/9, 3/5
Let u = 176/5 + -35. Let b = 3.4 + -9.9. Let l = b + 7. Put u, -4, l in increasing order.
-4, u, l
Let d = -16 + 15.7. Put d, 3, 1 in decreasing order.
3, 1, d
Let i = 4.9 - -0.1. Sort -1/3, i, -0.4 in decreasing order.
i, -1/3, -0.4
Suppose -3*a + 3 = -x + 2*x, -5*x = 2*a + 11. Suppose -4*o + 2 + 10 = 0. Sort x, -1/4, o.
x, -1/4, o
Let g = -19 - -16. Sort -2, 2, g in increasing order.
g, -2, 2
Let a = -2 + 1.5. Let r = -0.05 + 0.15. Let c = r + a. Put c, 1/2, -1 in decreasing order.
1/2, c, -1
Let t(h) = 2*h. Let a be t(2). Let v = 41 - 45. Sort v, a, 3 in descending order.
a, 3, v
Let a(p) = -p - 7. Let s be a(-10). Put 5, -4, s in decreasing order.
5, s, -4
Let s = 40 - 42. Sort -1, -10, s in descending order.
-1, s, -10
Suppose -w = -0*w + 1. Put -3, 0, w in decreasing order.
0, w, -3
Let p = -4 - -4. Suppose p = 3*a + 9 - 0. Sort -4, a, -1 in increasing order.
-4, a, -1
Let n = 8 - -1. Let d be 9/30*12/n. Sort -0.5, d, 3.
-0.5, d, 3
Let h be (2 + -2)/(5 - 6). Sort -2, -5, h.
-5, -2, h
Let o = -0.41 - 4.59. Let i = -3 - -5. Put i, 2/13, o in decreasing order.
i, 2/13, o
Suppose -17 + 6 = 2*r - 3*c, -3*c = 5*r - 25. Let m(i) = -i + 4. Let z be m(r). Suppose -g - 5 = o, -o = z*g + 4*o + 10. Sort -1/4, -3, g.
g, -3, -1/4
Let l = 0.193 + 0.007. Put l, 7, -3 in increasing order.
-3, l, 7
Let n = -5 + 2. Sort -1/3, n, -0.1 in descending order.
-0.1, -1/3, n
Suppose -4*l - 5*u - 34 + 2 = 0, l - 5*u = 17. Put 5, l, 4 in decreasing order.
5, 4, l
Suppose 5*m + 14 = -2*m. Sort m, 3, -2/3.
m, -2/3, 3
Let q = -3.9481 - 0.0419. Let n = -4 - q. Let d = 0.11 + n. Sort -2/7, d, -3/5.
-3/5, -2/7, d
Suppose -4*h - 2*h = 0. Suppose 0*s - 4*s + 40 = 0. Suppose -2*p + 4 - s = h. Put 0, p, -4 in decreasing order.
0, p, -4
Let o(q) = -q**2 - 7*q - 8. Let c = -2 - -6. Suppose r + z = -10, -c*z = 2*r + 3*r + 46. Let b be o(r). Put 5, b, -4 in decreasing order.
5, b, -4
Suppose 2*r + 5*r = 0. Put 3, r, 10 in ascending order.
r, 3, 10
Let l = 0.042 + 1.958. Sort l, 0, -4 in descending order.
l, 0, -4
Let g = -0.2 + 1.2. Suppose -1 = -4*o + 3*o. Let b be 1 + 0 + o + 1. Sort b, 0, g in ascending order.
0, g, b
Let l be (-17 - -15) + (-7)/(-3). Put -0.4, -2, l in ascending order.
-2, -0.4, l
Suppose -2*m + 2 = 5*s + 2*m, 2*s = -2*m. Suppose -g - p + 16 = p, 24 = 2*g + s*p. Suppose 0 = q + g - 3. Sort q, 5, 4 in descending order.
5, 4, q
Let r(o) = o**3 + 6*o**2 + 6*o. Let j be r(-5). Suppose 0 = 5*s + 10, 6*s + 8 = t + s. Let m = t - -6. Put j, 2, m in decreasing order.
m, 2, j
Let i = -0.1 + -0.5. Let x = i - -0.3. Put 2/15, x, 0 in decreasing order.
2/15, 0, x
Let c be (14 - 7)*10/14. Sort 4, -3, c.
-3, 4, c
Suppose 0 = 4*x - 3*x. Suppose x = 3*z - 0*z. Let n = z - -1. Put -1, n, -4 in ascending order.
-4, -1, n
Let o = -2/17 - -21/34. Let w(u) = -u**3 + 7*u**2 + u - 4. Let q be w(7). Put q, -0.09, o in decreasing order.
q, o, -0.09
Suppose 5*l = -2*y - 0*y - 10, 0 = -4*y - 4*l + 4. Suppose -y*k = -0*k - 5. Let b(c) = c**3 - 4*c**2 + 3*c - 1. Let j be b(2). Put j, k, -1 in descending order.
k, -1, j
Let v = -0.035 - 22.965. Let t = v - -21. Put t, 8, 3 in decreasing order.
8, 3, t
Suppose 5*s - 16 = s. Suppose 2 = -s*k + 2*k. Put 2, k, -2 in ascending order.
-2, k, 2
Suppose -15 = 5*c - 0*c, 5*j - 3*c - 54 = 0. Suppose 4*o + j = -11. Let f = 12 - 9. Sort f, -2, o in descending order.
f, -2, o
Let l = 3.7 - 3.5. Suppose 4*f + 11 = -n, -2 = -6*f + f + 4*n. Let a be (9/(-6) - -1)/f. Sort 5, a, l in descending order.
5, a, l
Let l = -15/11 + 23/33. Put 3, 10, l in decreasing order.
10, 3, l
Let b(q) = -q**2 - 6*q - 5. Let i be b(-4). Let l = i + -4. Sort l, 3, 5 in decreasing order.
5, 3, l
Let s = 4 + 4. Let f = s + -7. Sort f, -5, -2 in descending order.
f,