*b = 0. Suppose 4*h = -b - 4. Sort h, 1, 3 in descending order.
3, 1, h
Let q = -1 - 0. Let x = 0.21 - 8.21. Let g = 8.4 + x. Sort q, g, 3.
q, g, 3
Let v = -21.1 + 24. Let j = -1.1 - v. Let o be ((-1 - 1) + 0)*-2. Sort -2, o, j.
j, -2, o
Suppose -3*h - 6 = -3*t, -4*h + 3*t + 4 = 12. Put h, 5, 2 in decreasing order.
5, 2, h
Let l = -1.6 + -2.4. Let y = 0.1 - 0.4. Put 0.3, y, l in descending order.
0.3, y, l
Suppose 4*s - 2*f = -2, -2*s - s = -f. Let n be (1 - 2/4)*-6. Put s, 3, n in decreasing order.
3, s, n
Let i be 2/(-1 + 3)*1/9. Let j = 0.1 - 0.2. Suppose 4*d - 6 - 10 = -4*s, 4 = s - 3*d. Sort j, i, s in decreasing order.
s, i, j
Let p = -0.71 + -0.09. Let f = 1.2 + -1. Let i = p - f. Put -3, i, 4 in decreasing order.
4, i, -3
Suppose -5*u = -5*z + 30, -17 = 3*z + 3*u + u. Put 6, 5, -4, z in ascending order.
-4, z, 5, 6
Suppose 66*v - 4 = 62*v. Put 2, -1, 21, v in decreasing order.
21, 2, v, -1
Let x be (-4 + (-26)/(-6))*(0 - 12). Suppose -4*c + 0 = 4*w + 4, 7 = c - w. Sort 5, c, x in increasing order.
x, c, 5
Let b = 0.7 + -0.4. Let y = 0.2 + b. Let m = 19 - 23. Put -5, m, y in descending order.
y, m, -5
Suppose -p + 9 = -4*p. Let b be p/(-2) + (-68)/40. Put -3, b, -2 in ascending order.
-3, -2, b
Let p = 38 - 36. Sort p, 0.06, 1 in decreasing order.
p, 1, 0.06
Let t = 10.2 + -10. Sort -1/2, t, -1/5 in ascending order.
-1/2, -1/5, t
Let k = 58 - 113/2. Sort -1, k, 1/4, 0.1 in descending order.
k, 1/4, 0.1, -1
Let n = -21 - -18. Sort 3, n, 17 in decreasing order.
17, 3, n
Suppose 2*q + q = -24. Let o = q - -4. Put 3, 1, o in descending order.
3, 1, o
Suppose -4*s = 4*g + 35 - 7, -2*s = -3*g - 1. Put g, 5, -18 in descending order.
5, g, -18
Suppose p - 4*t - 5 = 0, 2*p + 0*t + 12 = -3*t. Put 3, 0, -2, p in increasing order.
p, -2, 0, 3
Let y = -133 + 131. Sort -5, -9, y, 2 in increasing order.
-9, -5, y, 2
Let u = 76 - 76.1. Sort -4, u, -0.02, -2/3.
-4, -2/3, u, -0.02
Suppose 3*f + 3 = 4*f. Let d be 0 + 1 - (0 + 3). Sort d, -5, f.
-5, d, f
Suppose 0 = -10*q + 7*q - 3. Put 0, q, 5, 48 in increasing order.
q, 0, 5, 48
Suppose i - 2 = 2. Put 5, -3, i in increasing order.
-3, i, 5
Let g = 33323951/155 + -214994. Let b be (-8)/28 + 69/217. Let h = g - b. Put h, 0.5, 5 in descending order.
5, 0.5, h
Suppose -4 + 8 = 4*d. Sort 3, d, -5 in ascending order.
-5, d, 3
Let w = -272 + 525/2. Let r = -403/42 - w. Let s = -0.3 - 0.1. Sort 1, s, r in ascending order.
s, r, 1
Suppose 5*a + 7*b + 20 = 3*b, -3*b - 12 = 3*a. Suppose 0 = 2*s - 0*s - 30. Let u = s + -11. Sort -5, a, u in ascending order.
-5, a, u
Let z(j) = -2*j. Let y be z(2). Let p = y - -5. Suppose -2*o + s = 11, -2*s = 5*o + 2*s + 21. Put -4, o, p in decreasing order.
p, -4, o
Suppose -4*d + 5*t = -51, 3*d + 5*t - 5 - 7 = 0. Let f be (-2)/(-7) + 346/14. Suppose -4*a = -d*a - f. Put 2, -4, a in descending order.
2, -4, a
Suppose 80 = 3*l + 13*l. Sort 0, l, 2, -3 in ascending order.
-3, 0, 2, l
Let r = 6 - 6. Sort -7, 4, r.
-7, r, 4
Let q be 3*(5 + (-8)/2). Let y(r) = r**3 - 2*r**2 - 2*r. Let b be y(q). Put b, 0, 5 in descending order.
5, b, 0
Let h = 2.48 - -0.02. Let o = 2 - h. Sort -4, o, -2/9 in increasing order.
-4, o, -2/9
Let v = -4 - 11. Let c be (v/10)/((-1)/(-2)). Sort 0, c, 1 in decreasing order.
1, 0, c
Suppose -3*h + 3*q = -6, -5 = -2*q + 1. Put h, 3, -4 in descending order.
h, 3, -4
Let v(m) = m**2 + 8*m - 1. Let x be v(-8). Suppose 4*q + 21 = 1. Put -3, x, q in increasing order.
q, -3, x
Let c(h) = -h**3 - 7*h**2 + 6*h - 11. Let j be c(-8). Suppose 10*r + 1 = 9*r. Put j, -5, r in decreasing order.
j, r, -5
Let i = -11 - -7. Let x = i - -3.8. Put x, 2/17, 5 in descending order.
5, 2/17, x
Let s = 6409 - 13892. Let l = s + 30185/4. Let a = -64 + l. Sort a, 1, 1/7 in descending order.
1, 1/7, a
Let o = -14 - -21. Let z = o + -4. Sort -4/7, z, -0.4 in ascending order.
-4/7, -0.4, z
Suppose -2*z - 3*z = 5. Let f = z + -1. Let w be f/(3 + (2 - 3)). Put w, 3, 6 in increasing order.
w, 3, 6
Suppose -3*x = -2*o - 2*x - 3, 3*o - 2*x + 7 = 0. Suppose 2*m - 8 + 10 = 0. Sort m, -2, o in decreasing order.
o, m, -2
Suppose -15 = 5*p - 55. Sort -2, p, 5.
-2, 5, p
Let s = -8 + 11.2. Let j = s + -3. Let z = -581 - -584. Sort z, j, 2.
j, 2, z
Suppose 4*i - 4 = 0, 2*l + 0 - 10 = -2*i. Let h be -3 + -2 + 0/l. Let r(a) = -a**2 + 7*a - 7. Let v be r(6). Put 3, v, h in descending order.
3, v, h
Suppose -p - 2*c + 0*c = 0, -10 = p - 3*c. Let t = -9 + 6. Sort 3, p, t.
p, t, 3
Let p(s) = s**2 + 3*s - 5. Let c be p(-3). Sort -2, 3, c in ascending order.
c, -2, 3
Let r = 3/97 - -67/970. Let l = 10 + -5. Suppose 0*x + 3*x - 4 = 4*t, -5*x - l*t - 5 = 0. Sort 1, x, r in decreasing order.
1, r, x
Let q = -16 + -1. Let a = -18 - q. Sort a, -1/3, -0.06.
a, -1/3, -0.06
Let x = -28 + 23. Sort 14, -1, x.
x, -1, 14
Suppose -l - f = -5*l + 5, -2*l + 1 = -f. Suppose -2*b = l*b - 8. Sort b, 0, 3 in ascending order.
0, b, 3
Let k = -3 + 5. Let g = 4 - k. Sort -0.1, -2, g in decreasing order.
g, -0.1, -2
Suppose 5*g + 4*t + t + 30 = 0, 0 = 2*g + 4*t + 8. Sort -1, -5, g in increasing order.
g, -5, -1
Let g be 3/9 - 13/39. Sort 3, g, 5.
g, 3, 5
Suppose 0 = -2*v + 43 - 53. Put 0, 4, v in decreasing order.
4, 0, v
Suppose 3*i = 13*i. Suppose 2*a - 2 - 2 = 0. Sort i, -2, a in ascending order.
-2, i, a
Let v be (-4)/55*5/2. Put v, -1/4, -0.2 in decreasing order.
v, -0.2, -1/4
Let d = -0.6 + 0.3. Let s be (-4)/(-18) + (-24)/(-378). Let j be (-2)/8*(0 - 2). Put j, s, d in descending order.
j, s, d
Let b = 41 - 24. Suppose 3*r - g = -6, -3*r + 4*g - b = 2*r. Let t be (0 + -1)*5/r. Put t, -2, -1 in ascending order.
-2, -1, t
Let x = -2 - -1. Let v be (-4 - -2 - -5) + -3. Let z(h) = h**3 + h**2 - h + 1. Let t be z(v). Sort t, 4, x in ascending order.
x, t, 4
Suppose 2*l - 6 = 0, 0*s + 284 = -2*s + 4*l. Let f = 43 + s. Let w = 1207/13 + f. Sort w, -2, 1/5 in descending order.
1/5, w, -2
Let x(h) = -4*h**3 + h. Let y(v) = v**3 + 8*v**2 + 6*v - 8. Let o be y(-7). Let r be x(o). Sort r, 5, 2.
2, r, 5
Let h = -2 - -4. Suppose -h*j - 2*j = -8. Let s be (1 + 0)/(j - 1). Sort -4, s, 3 in descending order.
3, s, -4
Let c = -73/7 - -11. Let z = 2.1 + -2. Put z, c, 2/5 in descending order.
c, 2/5, z
Suppose 0 = 4*t - 8 - 4. Let g = t + 1. Suppose 0*m = -g*m. Put -1, m, -4 in descending order.
m, -1, -4
Let w = 662/5 - 132. Let h = -162 - -649/4. Put h, w, -1/5 in decreasing order.
w, h, -1/5
Let s(w) = w + 5. Let b be s(4). Let u = b - 5. Suppose 3*p - 4*p + u = 0. Sort p, 2, 0 in increasing order.
0, 2, p
Let h = -12 - -8. Suppose 6*y - 2*y + b + 8 = 0, -3*b = 2*y + 4. Put h, -5, y in descending order.
y, h, -5
Let h(b) = -b**3 + 3*b**2 + 4*b + 1. Let l be h(4). Let w be (-47)/(-3) - (-2)/6. Suppose -1 = -5*k + x + w, -4*x - 8 = -5*k. Put l, -1, k in descending order.
k, l, -1
Let b = -8 - -8. Suppose 5*g + 3*k - 24 = b, 0 = -5*g - 5*k + 21 + 9. Suppose g*l = 3 + 12. Sort l, 0.5, 1/5 in decreasing order.
l, 0.5, 1/5
Let n(x) = -2*x**2 + 3*x + 2. Let i be n(-2). Let t be 10/i*(-12)/40. Let p = 0.1 + -0.2. Put -1, p, t in increasing order.
-1, p, t
Suppose -5*g + 9 = 34, -u - 2 = g. Suppose -3*k = -2*y + 6, -5*k + u*y = 6*y + 10. Sort 1, k, 3.
k, 1, 3
Let f(k) = -k + 3. Let o be f(3). Let v(d) = d - 2. Let m be v(o). Let p = 22 + -19. Sort p, m, -3.
-3, m, p
Let a be (-2)/4 - 38/(-4). Suppose 3*m + a = -3. Sort m, 2/11, -1/9 in descending order.
2/11, -1/9, m
Let h(n) = 5*n + 31. Let x be h(-6). Sort x, -7, 4 in descending order.
4, x, -7
Let a(u) = -u + 17. Suppose z = -2 + 16. Let v be a(z). Sort 0.4, v, 1/4 in descending order.
v, 0.4, 1/4
Let v = -0.02 + 1.22. Let i = v + -0.8. Sort i, -4, 4 in decreasing order.
4, i, -4
Let b be -1*2 + (-2 - -4). Let r(q) = q - 7. Let d be r(5). Sort b, 5, d in decreasing order.
5, b, d
Let s = 12.1 - 12.2. Let g = -4 - -6. Put -0.4, s, g in decreasing order.
g, s, -0.4
Let i = 5 - 4. Let p = i - 0.5. Put 3, 5, p in decreasing order.
5, 3, p
Let u be (2 + -5)*(0 - 1). Suppose 2*w + u*t + 35 = -2*w, -3*w = -t + 10. Sort 2/5, w, 0.
w, 0, 2/5
Let w(r) be the first derivative of r**4/4 + 11*r**3/3 + 11*r**2/2 + 10*r + 3. Let t be w(-10). Put 1, t, -4 in decreasing order.
1, t, -4
Let s = 109 - 43. Let w be (-4)/10 + 2032/30. Let h = s - w. Put h, -2, 0.5 in increasing order.
-2, h, 0.5
Let d = -9 + -2. Let