 -3.
-4, -3, o
Let b = 5 - 3. Suppose 0 = -5*m + b*m - 6. Put 5, 0, m in increasing order.
m, 0, 5
Suppose -52*c - 10 = -54*c. Put 2, 1, c in decreasing order.
c, 2, 1
Suppose 5 = -3*k - k + 5*d, 1 = -3*k + d. Let r = 4 + k. Let t be (-9)/(-3) + 10/5. Put -3, t, r in descending order.
t, r, -3
Let r = 0.28 - 0.08. Let u = 2.87 - -0.13. Put u, r, -3 in decreasing order.
u, r, -3
Let z(k) = k**3 - 3*k**2 + 2*k - 3. Let u be z(2). Let l be 11/u + 3 + 0. Sort -0.4, l, -0.1 in increasing order.
l, -0.4, -0.1
Let f be 2/(-8) + (-42)/(-8). Let z = 2 + 2. Suppose 8 = z*k - 0*k. Put f, 3, k in descending order.
f, 3, k
Let x = -27 + 24. Put 0, -2, x in decreasing order.
0, -2, x
Let n(i) = -i**2 - 12*i + 5. Let u be n(-13). Let v = u + 12. Let b be (-2 - -1)/(1/2). Put 0, v, b in ascending order.
b, 0, v
Let w = 0 + 0. Suppose x - 5*z - 19 = w, x + 5*z + 1 + 30 = 0. Let m = -11 - x. Put 0, 5, m in descending order.
5, 0, m
Suppose 4*o + 0 = -4. Let k = o - 0. Let m(l) = 3*l - 1. Let z be m(-1). Sort z, -3, k in ascending order.
z, -3, k
Let o = 36 - 37. Put 0.3, 1/2, o, 0.4 in decreasing order.
1/2, 0.4, 0.3, o
Let j = 3 - 3.5. Let t = 1/231 + 131/231. Let f = 34.1 - 33.9. Sort j, f, t in increasing order.
j, f, t
Let n(c) = c - 11. Let u be n(6). Put -1, u, -3 in ascending order.
u, -3, -1
Suppose 4*p + 0*p - 4*i - 4 = 0, 0 = i + 3. Let f be (-3 - -2)*1*4. Put p, 2, f in decreasing order.
2, p, f
Let h be (-5)/1*(-8)/10. Let v be (-1)/1*(1 - -11). Sort -3, v, h in descending order.
h, -3, v
Let l be (1/20)/((-2)/(-5)). Let z = 5.1 - 10.1. Put 2, l, z in descending order.
2, l, z
Let w = -1.6 - -1.2. Put 1, w, -0.02 in ascending order.
w, -0.02, 1
Let g(p) = 0 + p - 7 - 2*p. Let u be g(-6). Put -4, u, 1 in descending order.
1, u, -4
Suppose -11*t + 3 = 25. Put -5, 1, -1, t in descending order.
1, -1, t, -5
Let u be ((4 + 2)/(-3))/((-6)/9). Sort 4, -4, u, 0 in decreasing order.
4, u, 0, -4
Let s = -2 - -1.5. Suppose 0 = -4*y - 4*c - 5 - 23, 0 = 3*c + 15. Put s, y, 5 in decreasing order.
5, s, y
Suppose -y - 3 = 2*k, 0 = -3*k + 4*k + 4*y + 12. Let r(w) = -w - 6. Let v be r(0). Let c be (-2 + 9/6)*v. Sort -4, k, c in ascending order.
-4, k, c
Let x be (-38)/(-13) + (-6)/2. Sort -3, 5, x in decreasing order.
5, x, -3
Suppose o - 17 = x + 1, -2*x = -5*o + 81. Put 2, o, -3, -1 in descending order.
o, 2, -1, -3
Let z = 0 - 0. Let p = 5 + -1. Put 0.5, p, z in increasing order.
z, 0.5, p
Let j = 10 + -6. Let m = 1 - -4. Let p = -2 - -4. Sort p, j, m in decreasing order.
m, j, p
Let p = 0.2 + 0.3. Let a = 25 + -26. Sort p, 1, a.
a, p, 1
Suppose 3*x = 5 + 1. Let c(j) = -j + x*j - 2*j + 12 - 4. Let y be c(4). Sort -0.3, y, -2.
-2, -0.3, y
Suppose -2*k - 30 = -4*k. Suppose -k = -2*x + 5*x. Put x, -4, 1 in decreasing order.
1, -4, x
Let l = -2/51 + -28/153. Let u be (4/(-8))/((-4)/8). Let j be ((-11)/(-3) + -4)/u. Sort l, 0.1, j.
j, l, 0.1
Suppose 4*a = 2 + 10. Suppose o + 10 = a*o. Sort o, 3, -5 in descending order.
o, 3, -5
Let q(m) = 2*m**3 - 3*m**2 + 2*m. Let g be q(1). Let u be ((-2)/(-5))/(3/(-5)). Put g, -1/3, u in descending order.
g, -1/3, u
Suppose j + 2 = -3*l - 1, -2*l = 2. Let o(q) = q - 5. Let h(g) = g + 1. Let s(r) = -2*h(r) + o(r). Let b be s(-3). Put 2, j, b in decreasing order.
2, j, b
Let o = -3 + 14. Suppose g - 7*v - o = -2*v, 0 = -2*v - 4. Put g, -1, 3 in ascending order.
-1, g, 3
Let j = 0.7 - -0.3. Let n = 131 - 131.1. Sort j, n, -5.
-5, n, j
Let b = -12.2 - -9. Let r = -3 - b. Let o = 15.6 - 16. Put o, r, 1/7 in increasing order.
o, 1/7, r
Let q = -0.9 + 0.8. Let o = -28 - -201. Let d = -1213/7 + o. Sort -0.3, q, d in increasing order.
-0.3, d, q
Suppose 17*r = -0*r + 51. Put -14, 5, r, -4 in ascending order.
-14, -4, r, 5
Suppose -6*f + 20 = -4*f. Let p = 15 - f. Sort 4, p, -5 in decreasing order.
p, 4, -5
Suppose 5*a + 4 - 19 = 0. Let j = 3 + -8. Sort 0, j, a.
j, 0, a
Let l be (-10)/(-55) - 94/(-572). Let j = l + 2/13. Let y = -2 - -4. Sort y, -1, j in decreasing order.
y, j, -1
Let j be (-222)/(-42) - 4/14. Let q be 54/(-10) - (-4)/10. Put 0, q, j in increasing order.
q, 0, j
Suppose -z = 4, -3*w - 5 = -0*w + 5*z. Suppose 5*u - 28 - 2 = 0. Let r be (8/u)/(1/3). Sort w, 2, r in ascending order.
2, r, w
Let f = 7.4 - 5.1. Let l = f + -2. Let w = 22 - 109/5. Sort 3, l, w in decreasing order.
3, l, w
Let z be (-4)/3*(-6)/(-2). Let o = -29 - -33. Put z, 2, o in ascending order.
z, 2, o
Let u = -73 + 70. Sort -3/4, 1/3, -0.5, u.
u, -3/4, -0.5, 1/3
Let t = 7.4 - 7. Suppose 2*c + 3*y = 4*y - 3, 5*c + 3*y = 20. Let b be 3*(-1)/(-7)*c. Put b, -1/3, t in descending order.
b, t, -1/3
Suppose -15 = 5*v + 3*p + 4, -1 = -v - 3*p. Let q(x) = -x + 7. Let s be q(6). Let u be s*(-4 + 6 + 3). Put v, u, 3 in decreasing order.
u, 3, v
Let b(w) = w**3 - 8*w**2 + 5. Let s be b(8). Put 0, -3, 1, s in decreasing order.
s, 1, 0, -3
Suppose 6*t - 3 = 5*t. Put 5, -5, t in increasing order.
-5, t, 5
Let f(c) = -c**3 + c**2. Let u be f(0). Let y be (-20)/(-18) - (u - 2). Let j = y + -178/63. Put -3, j, 0.5 in descending order.
0.5, j, -3
Suppose -5*i = -4*i + 2. Let k be i*1 - (5 - 5). Put 6, k, 2 in descending order.
6, 2, k
Let x = 45 - 44.5. Sort -3, x, -2 in descending order.
x, -2, -3
Suppose -3 + 9 = -2*s. Let p = -1 - -1.5. Let m = p - 0.3. Put m, s, -0.5 in increasing order.
s, -0.5, m
Let x = 0.246 - -0.054. Put x, 1, 0.1 in decreasing order.
1, x, 0.1
Let n(g) be the first derivative of g**2/2 + 6*g - 6. Let q be n(-3). Suppose 3*u = 4*z - 2, 2*u + z = 3*u. Sort 1, u, q.
1, u, q
Let v = 4.79 + 0.21. Put 3, -4, v in descending order.
v, 3, -4
Let y be (-6)/9 + 7/(-3). Let z = 12 - 4. Let k be (-5)/20 - 30/z. Put k, 5, y in ascending order.
k, y, 5
Let z be 20/(-15) - 2/3. Suppose 16 = 4*a - 20. Let m = a - 5. Put 1/2, z, m in decreasing order.
m, 1/2, z
Suppose -m - 4*a + 12 + 3 = 0, 2*m + 35 = 5*a. Suppose 3*v = 5*r + 31, r = -v - 0*v - 3. Sort -2, v, m in descending order.
v, -2, m
Let x = 4.09 - 0.03. Let k = 0.06 - x. Sort k, 0.5, -5 in descending order.
0.5, k, -5
Let p(y) = -y - 1. Let g be p(-3). Suppose 0 = w - 5*q + 20, -3*w + 2*w + 4*q - 15 = 0. Suppose 1 = -w*r + 6. Put r, g, 4 in decreasing order.
4, g, r
Suppose -2 = 3*j + 1. Let l = 40 - 39. Put 4, j, l in ascending order.
j, l, 4
Suppose 3*i = 9 - 6. Put -4, i, 0 in ascending order.
-4, 0, i
Let a(v) = -v + 3. Let m be a(0). Suppose -m*c + 11 = 5. Let q be 17/(-30) - c/(-3). Sort 4, 2/9, q in descending order.
4, 2/9, q
Let k(p) = -p - 19. Let g be k(-17). Put 1/4, -0.4, g, 1/2 in descending order.
1/2, 1/4, -0.4, g
Suppose 5*i = 2*x + 22, 2*x + 17 = x + 4*i. Let o be (-11)/5 + (-2)/(-1). Sort o, 0.1, x in increasing order.
x, o, 0.1
Let r be 17/6 - (1 - -2). Put r, -1/2, 0.3 in decreasing order.
0.3, r, -1/2
Suppose -3*o + 40 = -17. Let s = o + -19. Put -4, s, 16 in decreasing order.
16, s, -4
Suppose -8*o = -4*o. Suppose o = -0*m + m. Put -1, m, 4 in decreasing order.
4, m, -1
Let k be (-3)/(-17)*2/3. Suppose -51 = -3*i - 9. Let y = i - 13. Sort y, 3, k.
k, y, 3
Let u = -23 - -22.69. Let i = 0.11 + u. Put -5, 4, i in decreasing order.
4, i, -5
Let d be ((-5)/(-2))/(2/4). Suppose -2*o + 3 = -3*u, -24 + 3 = 2*u + d*o. Let c(n) = n**3 + 4*n**2 - 2*n - 4. Let a be c(-4). Put a, 5, u in descending order.
5, a, u
Suppose -26 + 33 = -7*j. Suppose 0 = -4*a - 0 - 8. Put j, -3, a in decreasing order.
j, a, -3
Let d = 25 + -20. Sort -2, 3, d in ascending order.
-2, 3, d
Let t(p) = p + 5. Let c be t(-9). Let h be 1*(-4 + 2) + 4. Sort c, h, -3.
c, -3, h
Let i = -1 + 6. Sort i, 2, -6 in decreasing order.
i, 2, -6
Let w = 2 - -1. Suppose -w*f + 11 + 1 = 0. Suppose -2*h = -h + 3. Put f, 2, h in ascending order.
h, 2, f
Let h = 48 - 47.9. Sort h, -1/4, 1 in decreasing order.
1, h, -1/4
Let o = 16 - 13. Put -3, -2, o in descending order.
o, -2, -3
Let g = -2.3 - 13.7. Let c = -13 - g. Sort c, -3, 0.4 in descending order.
c, 0.4, -3
Let z(c) = -c**3 - 4*c**2 + 4*c - 4. Let f be z(-5). Let l = -38 + 37. Sort f, -4, l in ascending order.
-4, l, f
Suppose 0 = -3*g + 3*q - 24, -3*g - 28 = -g + 2*q. Let c = g - -8. Put -4, c, 2 in descending order.
2, c, -4
Let a = 3 - 3.1. Let c = a - -0.4. Put c, 0.5, 0.01 in ascending order.
0.01, c, 0.5
Let r(d) = -d**3 - 17*d**2 + 17*d - 25. Let w be r(-18). Sort -0.1, w, -