 Put 2, 4, p in decreasing order.
4, 2, p
Let n = 7 + -2. Let g = 7 - n. Sort g, 3/8, -0.4 in increasing order.
-0.4, 3/8, g
Suppose 0 = 3*p - 6 - 0. Suppose 3*t - t + 13 = -5*m, -p*m - 18 = 4*t. Sort 4, -5, m in decreasing order.
4, m, -5
Let b = -39 - -39.4. Sort b, -2, 0.03 in increasing order.
-2, 0.03, b
Let q = -2 - -5. Suppose k - q*k + 20 = 0. Suppose -4*n = o - 25, -2*n = -0 - k. Put -2, o, -0.5 in ascending order.
-2, -0.5, o
Let b be (-4)/(-18)*(-6)/8. Let n = -2.73 - 13.97. Let u = n + 17. Put b, -3, u in increasing order.
-3, b, u
Suppose c + 1 - 6 = 0. Put c, -3, -14 in ascending order.
-14, -3, c
Let o = -11 - -16. Sort 3, 1, o in decreasing order.
o, 3, 1
Let k(y) = y**3 + 10*y**2 - 10*y + 10. Let x be k(-11). Sort x, -2, 2 in ascending order.
-2, x, 2
Let i be 8/(-33) + (-3)/(-9). Let p = -3 - -2.8. Let m = 0 - 3. Sort i, p, m in decreasing order.
i, p, m
Suppose -3*a - q + 4*q = 0, q = -a - 4. Put a, -0.2, 0.4 in increasing order.
a, -0.2, 0.4
Suppose 4*b - 3 - 1 = 5*t, -5*b + 5 = -t. Let a = -1 - b. Let m be ((-210)/(-12))/7*-2. Sort 1, m, a in increasing order.
m, a, 1
Let f = 6.6 + -4.6. Let b = -0.1 + 0.1. Let o = f - b. Sort o, -3, 4.
-3, o, 4
Let d be (-1)/2 - 9/(-4)*-2. Let a = -7 - -4. Sort a, d, -0.5 in decreasing order.
-0.5, a, d
Let v = -11 + 16. Let i = v + -1. Sort i, -3, 3/5 in descending order.
i, 3/5, -3
Let j = -43 - -175/4. Suppose -15*q + 11 + 34 = 0. Sort q, j, -3/13 in descending order.
q, j, -3/13
Let k = -89 - -83. Put -1, 5, k, -4 in increasing order.
k, -4, -1, 5
Suppose 5 = -10*s + 15. Let y(x) = 4*x**3 + x + 1. Let h be y(-1). Sort 3, s, h in descending order.
3, s, h
Let y = 0.35 - -0.05. Let z = 0.29 - y. Let n = 4.89 - z. Sort -0.3, n, 2/3.
-0.3, 2/3, n
Let p = -10 + 8. Suppose 0 = -10*z + 6*z + 12. Sort -4, z, p in ascending order.
-4, p, z
Suppose -2*u - 3*u + 270 = 0. Let d be ((-1)/3)/(9/u). Sort 2, -3, d in ascending order.
-3, d, 2
Let r = 13957/1596 - -2/399. Let o = r + -25/4. Suppose -2*s = -c + 4*c + 6, 5*s = 5*c - 15. Sort o, c, -0.1.
-0.1, c, o
Suppose -x + 4*k = 4*x + 32, -4*x - 19 = -k. Sort 3, -3, x.
x, -3, 3
Let c be (2/(-6) + -1)/((-10)/30). Sort c, -3, -3.3, -2/3 in descending order.
c, -2/3, -3, -3.3
Let o = 3 + 1. Let z = 3 - o. Let n = z - -1.2. Sort -4, -2/13, n in descending order.
n, -2/13, -4
Let z = -0.5 - -0.8. Let a = -3/40 + 29/120. Put -2/5, a, z in decreasing order.
z, a, -2/5
Let t = 29 - 26. Sort t, 0, -5 in descending order.
t, 0, -5
Let y(j) = j**3 + 10*j**2 - 11*j + 7. Let o be y(-11). Let h = 3 - o. Put -1, -2, h in descending order.
-1, -2, h
Suppose 7*z - 7 = 6*z. Let j(f) = -f**3 + 6*f**2 + 8*f - 5. Let o be j(z). Sort -5, o, 1 in decreasing order.
o, 1, -5
Let v be 38/12 + 4/(-24). Suppose -3 + 6 = v*z. Let y = -0.1 - 0.1. Sort y, z, 0 in ascending order.
y, 0, z
Let g be (-1)/7 + 3/21. Suppose 4*f - 8*f = 20. Sort f, g, -1 in decreasing order.
g, -1, f
Let c = -35 - -30. Put c, 2, -3/4 in increasing order.
c, -3/4, 2
Suppose t + 2*t - 30 = 0. Suppose 2*i + 3*u = t + 5, 4*i = 2*u - 10. Let h be -2 + -1*(i - -3). Put 0, h, -6 in descending order.
0, h, -6
Suppose -2*i = -62 + 64. Sort 1, 5, -5, i.
-5, i, 1, 5
Let f = -0.14 - -3.14. Sort 2, -1, f in descending order.
f, 2, -1
Let m = -4 + 2. Let h(j) be the second derivative of j**4/12 + 2*j**2 + j. Let r be h(0). Sort r, 2, m.
m, 2, r
Let s be 1/(-1)*(1 - 5). Put 3, s, -3 in descending order.
s, 3, -3
Let t = -35 + 30. Sort -3, 1, 3, t in ascending order.
t, -3, 1, 3
Let n = 12 + -8. Let g be 1*-10*(-4)/(-8). Put g, n, 1 in descending order.
n, 1, g
Suppose -n + t = -2*t - 8, 2*n + 5*t - 27 = 0. Let g = n - 6. Let b = -0.4 - 0.1. Sort b, g, -2/3 in increasing order.
-2/3, b, g
Let t = -383 + 5743/15. Sort t, -5/6, 0.2.
-5/6, t, 0.2
Let m = 0.15 + 10.85. Let c = 11.3 - m. Let j = -0.06 + -1.94. Sort -1, c, j in ascending order.
j, -1, c
Suppose -20 = 3*t + 2*t. Let l(i) = i - 1. Let n be l(-4). Sort t, n, 0 in ascending order.
n, t, 0
Let l = -0.2 - -8.2. Let t = l + -8. Put 5, t, -4 in descending order.
5, t, -4
Let s be 6/21 + (-27)/70. Let w = -49 - -49.4. Put s, w, 4 in increasing order.
s, w, 4
Let t = 2 - -2. Suppose 2*x = t*x - 6. Sort 5, 2, x in descending order.
5, x, 2
Suppose -3*u + 15 = -3*a, 5*a + 6 = 4*u - 15. Let g = -4 + u. Suppose -2*v + 0 - 2 = g. Sort v, 0, 4 in ascending order.
v, 0, 4
Let l = -1.2 + 1.4. Let w = -8 + 7. Put w, 0.1, l in increasing order.
w, 0.1, l
Let w = -8 + 4. Let p be (6/18)/((-8)/12). Let s be (-10)/3*12/(-10). Sort w, s, p in increasing order.
w, p, s
Let l = -4.05 - -0.05. Let k = -0.07 + 0.37. Put k, l, -2 in decreasing order.
k, -2, l
Let q = 1 - 4. Let r = -8 + 6. Put r, -0.2, q in decreasing order.
-0.2, r, q
Let t = 0.07 + -0.37. Put 0.5, -1/2, -8, t in increasing order.
-8, -1/2, t, 0.5
Let j = -2.1 + 2. Let h be (7/3 + -3)*-15. Let r be h/(-10) - 14/(-16). Put j, r, -2 in descending order.
j, r, -2
Let z be 1 + (2 - -2) - 4. Sort -4, -5, z in decreasing order.
z, -4, -5
Let a = -4 - -2. Let j be 1 - (0 - -2 - a). Let z = j - -3. Sort -3, -2, z in descending order.
z, -2, -3
Let b be ((-36)/(-14))/((-3)/70). Let n be b/(-9) + 6/(-9). Let s be -2 + n + -2 - -3. Sort 4, 0, s in decreasing order.
s, 4, 0
Let q(u) = -4*u - 3*u + 7*u + 11 + u. Let m be q(-6). Sort 4, m, 1 in ascending order.
1, 4, m
Let o be (-3)/((-6)/(-1))*12. Let d be o/(-14) + 24/(-7). Let p be -2*(-1 - 1) - 1. Put p, d, -1 in increasing order.
d, -1, p
Let v = 1 - 2. Put -5, v, 1 in descending order.
1, v, -5
Suppose 0*k = 2*k + 8. Let x be (1 - 2) + 1 - k. Let f(w) = -w**2 + 29*w - 73. Let r be f(26). Sort x, -5, r.
-5, x, r
Let h = -1 + 3. Let d = 12 - 7. Let v = -267 + 267.5. Sort d, h, v.
v, h, d
Let n = -0.3 + 1.3. Let c = 3 + -1. Sort n, -4, c in increasing order.
-4, n, c
Let a(v) = 2*v - 4. Let p be a(4). Suppose 2*k + 2 - 14 = 5*i, -2*i - p = 0. Suppose -5*l - 15 = -0. Sort k, l, 2.
l, k, 2
Suppose y + 2*n + 6 = 0, -4*y + y - 4*n - 10 = 0. Let s be 15*-1*10/30. Put -3, y, s in descending order.
y, -3, s
Let i = 37/2 + -17. Suppose 0*x - 16 = -4*x. Suppose 0 = -0*a + 2*a + 4*o + x, 0 = -5*a + 4*o - 10. Sort i, -1, a in decreasing order.
i, -1, a
Let g be 18/63 - 114/7. Let d be g/9 - 14/63. Put d, -4, 3 in descending order.
3, d, -4
Let j(l) = l. Let y(t) be the first derivative of t**2/2 + t + 2. Let z(c) = 2*j(c) - 3*y(c). Let w be z(-4). Sort w, -1, 3.
-1, w, 3
Let i = -29.5 + 30. Put 2, -3/4, i in descending order.
2, i, -3/4
Let n = 9 - 10. Let t = n + 1.04. Let d = -0.26 - t. Put 4, d, 1/8 in increasing order.
d, 1/8, 4
Let s = 3.18 + -3.1. Put s, 0, 2/11 in increasing order.
0, s, 2/11
Suppose 2 = -5*k - 3, -5*k - 17 = -2*j. Suppose o - 4*o = -j. Let a be ((-3)/o)/(3/(-8)). Put 3, -2, a in descending order.
a, 3, -2
Let t(z) = 2*z**2 - 7*z + 4. Let c be t(4). Suppose -5*n = -c - 7. Suppose -5*y = 20, -m = 2*m - 4*y - 16. Put n, -1, m in decreasing order.
n, m, -1
Let d = 0.5 - -0.5. Let t = d - 1. Let n be (24/(-30))/((-12)/10). Sort -2/15, t, n in descending order.
n, t, -2/15
Let b = 0.02 - -7.98. Let r = 9 - b. Sort r, 0.4, -0.5.
-0.5, 0.4, r
Suppose -5*d + 2 + 8 = 0. Suppose 0 = -4*q - 3*t + 2*t - 176, 5*t + 115 = -3*q. Let u = -223/5 - q. Sort u, -0.2, d in ascending order.
-0.2, u, d
Let j = -20 + 19.7. Let x be (0 + 2 - -1) + -2. Sort 0, x, j in increasing order.
j, 0, x
Let j = 2 - -1. Let k(r) = -r**3 - 2*r**2 + 1. Let m be ((-15)/(-6) + -3)*-2. Let i be k(m). Sort j, -3, i.
-3, i, j
Let p = -3 + 2. Let m be p + (-2 - -2)*1. Sort m, -2, 3.
-2, m, 3
Suppose r = 2*w - 6, 5*r + 2*w = -0*w - 18. Let v = 4 - 0. Sort r, v, 1 in decreasing order.
v, 1, r
Let c = -30 - -29. Sort 5, c, 4 in ascending order.
c, 4, 5
Let n = -116 - 108. Let p = 228.95 + n. Let q = p + 0.05. Sort -1, 3, q.
-1, 3, q
Let z(w) = w**2 - w. Let g be z(0). Suppose -5*v = 4*a + 3, -2*a = -g*a - 6. Sort -4, v, 4.
-4, v, 4
Suppose -4*l + 2 = -6. Suppose -4*d + 2*y = -2*d + 4, l*y = -5*d - 24. Put 0, d, 5 in increasing order.
d, 0, 5
Suppose 0 = x + 4 - 2. Sort 4, 3, x, 9 in increasing order.
x, 3, 4, 9
Let h = -3 + -6. Let o = -4 - h. Sort -1, 0.3, o in decreasing order.
o, 0.3, -1
Let g(o) = 2*o - 5. Let u be g(3). Put -1, u, -3 in decreasing order.
u, -1, -3
Suppose -2*b = -3 + 1. Sort -5, -10, b.