 + 4 = 3*v. Put v, -1/7, -1/8 in increasing order.
v, -1/7, -1/8
Let z = 175 - 178. Sort 1, z, 0, 1/2 in descending order.
1, 1/2, 0, z
Let p = 0.97 - 0.07. Let w = p - -0.1. Put -4/3, -2, w in increasing order.
-2, -4/3, w
Let b(l) = -l**3 - 5*l**2 - l - 5. Let w = -1 - 4. Let s be b(w). Let f = 8.3 - 8. Put -0.2, s, f in increasing order.
-0.2, s, f
Suppose -2*b - 3*h = -13, -4*b = h - 2*h - 19. Suppose 14 = -b*z - 1. Let d = -1.1 + 0.1. Sort z, 0, d in descending order.
0, d, z
Let o(s) = -8*s + 10*s**2 - 4*s**2 + s**3 + 8 + s**2 - 2*s**3. Let t be o(6). Put 5, -1, t in descending order.
5, -1, t
Suppose -5*k - 39 = -2*k. Let b = k + 13. Put 4, b, 3 in descending order.
4, 3, b
Suppose 9*w = 13*w + 20. Sort 5, w, 4, 8 in descending order.
8, 5, 4, w
Let o = -0.16 - 3.84. Let k = 0 - 0.2. Let r = k + 0.2. Put -0.1, o, r in ascending order.
o, -0.1, r
Suppose 10 = -2*f - 3*d, -4*f - 2*d = -0*d + 4. Put -1, f, 0, -2 in decreasing order.
f, 0, -1, -2
Let j = 79 + -79.1. Let x = -0.1 + -0.1. Let i = -7 + 10. Sort j, i, x in ascending order.
x, j, i
Suppose 3*q = 4*m - 32, 0 = 3*q + 4*m - 7 - 1. Let a(t) = t + 8. Let j be a(-5). Let l be 2/j*(-12)/(-8). Put -3, q, l in increasing order.
q, -3, l
Let n be 3*((-4)/3)/4. Suppose 3*w + 4 - 19 = 0. Suppose -w*z = -13 - 2. Put -4, n, z in increasing order.
-4, n, z
Suppose h + h + 4 = 0, -2*n = 3*h. Sort 4, n, 0.
0, n, 4
Let g(o) = o. Suppose -4*t = -0*t - 40. Let c = t - 6. Let b be g(c). Sort 3, b, -3.
-3, 3, b
Let c = 2.92 + 0.08. Let a = -3 - -2. Sort a, -2/13, c.
a, -2/13, c
Let n = -3 - -3.3. Let z = 0.4 - n. Put 0.7, z, 3 in descending order.
3, 0.7, z
Let a(m) = m - 6. Let l be a(5). Let c = -22 - -33. Let z = c + -7. Sort 5, z, l in increasing order.
l, z, 5
Suppose 3*q - 9 = -g, -g - 14 = -q - 3. Let p = 1157/7 - 165. Sort 2, g, p in ascending order.
g, p, 2
Let z = -4 + 3. Let t be (-15 + z)*1/(-2). Suppose 2*q + t + 0 = 0. Put q, 1, -1 in ascending order.
q, -1, 1
Let k = -70 + 70. Sort 3, 2, k, 5 in descending order.
5, 3, 2, k
Let q = 25/124 - -3/62. Suppose 3*u - 5*n - 22 = 0, 3*n = 3*u - 2 - 10. Put -0.2, u, q in descending order.
q, -0.2, u
Let t = -7 - -6.93. Let j = -0.08 - -0.01. Let s = j - t. Sort -3, -1/4, s in decreasing order.
s, -1/4, -3
Let q = 8/13 + -11/39. Let j = -19 + 37/2. Let u = 0.5 + -0.4. Put q, u, j in ascending order.
j, u, q
Let c be (-18)/(-8) - 24/(-32). Suppose -l - 11 = 5*t, 0 = -2*t + 3*l + l. Put 5, c, t in ascending order.
t, c, 5
Let j(c) = c**2 + 5*c - 5. Let n be j(-5). Suppose -3 + 0 = -k. Let u(q) = -q**2 + 4*q - 2. Let s be u(k). Put 4, n, s in ascending order.
n, s, 4
Let c = -6 + 4. Let q = 13 - 9. Let o be 14/5 - q/(-20). Sort c, 1, o.
c, 1, o
Suppose -5*g + 0*g = -10. Suppose 16 = 2*l + 3*f, 0 = -g*l + 2*f - 5 + 1. Let m = -1 + l. Put -3, -0.3, m in increasing order.
-3, -0.3, m
Suppose -4*l + 40 = 52. Sort -1, 3, l, 5.
l, -1, 3, 5
Let c = -0.7 - -0.3. Put 3, 1, c in descending order.
3, 1, c
Suppose 4*l = -2*i + 10, 4*i + 5*l = -0*l + 26. Let b = i + -13. Put -1, 5, b in descending order.
5, -1, b
Let p(u) = -u + 4. Let c be p(6). Let s be (c - -1)*(-2)/6. Put s, -3, 0.1 in descending order.
s, 0.1, -3
Let i(z) be the first derivative of -z**3/3 - 5*z**2 - 8*z - 2. Let w be i(-9). Sort -4, -5, w in decreasing order.
w, -4, -5
Let s be 6 + ((-4)/(-2))/(-1). Suppose 0 = 4*a - 2*i - 20, 0 = -i - 0 - s. Let z be (0 - (-2)/(-2)) + -4. Sort a, z, -1.
z, -1, a
Suppose 4*q - 70 = -c, -q + 5*c + 0*c = -7. Put 2, -2, q, 3 in descending order.
q, 3, 2, -2
Suppose -u + 4*u - x = -1, -u + 3*x = -5. Let a(r) = r**2 - 4*r - 7. Let g be a(7). Let i be (6/(-21))/((-2)/g). Put u, i, -5 in descending order.
i, u, -5
Let g = -1 - 0. Let z be (-2)/5 - (-10)/25. Sort 3, g, z in descending order.
3, z, g
Let m be (10/15)/((-4)/(-18)). Suppose v = -2*v + 15, -m*v = 4*c + 5. Let n(y) = -y + 3. Let d be n(4). Sort d, 4, c.
c, d, 4
Let q be -1 + (-1 - -2) + 5. Suppose -16 = -q*g + g. Let m = 36 + -35. Sort g, m, -4 in increasing order.
-4, m, g
Let y(b) = -b + 4. Let w(j) = -2*j - 12. Let s be w(-8). Let z be y(s). Suppose z = -4*k - 10 - 10. Sort 7, 0, k.
k, 0, 7
Let u = -1.9 + 14.9. Let n = u + -12. Let d = -7.7 - -8. Sort d, 5, n in decreasing order.
5, n, d
Let s(j) = -2*j**2 - 6*j. Let m(n) = n**2. Let c(t) = 3*m(t) + s(t). Let p be c(6). Suppose p*l = -4*l + 16. Sort 3, l, 0 in descending order.
l, 3, 0
Let b = 5 + -5.03. Let j = 1.97 - b. Let h = 0 - j. Put -5, 1, h in increasing order.
-5, h, 1
Let r = 2.3 - 11.3. Let c = r - -6. Let b = 23 + -23. Sort -0.1, b, c in ascending order.
c, -0.1, b
Suppose -2*d + 7*d = 3*z + 16, 3*d = 4*z + 14. Let l = d + 0. Let w be 0/(1/(l/(-4))). Put -1, w, 2 in increasing order.
-1, w, 2
Let r = 3 - 2. Let q = -343/5 - -69. Let d(p) = p**3 - 2*p + 1. Let z be d(2). Put z, q, r in decreasing order.
z, r, q
Let b be 16/(-10)*10/(-4). Put -3, -1, b in ascending order.
-3, -1, b
Let n(g) = -g**2 - 9*g - 9. Let x be n(-7). Let t(y) = -2*y + 6. Suppose 0 = -4*r - r + 25. Let a be t(r). Sort a, 3, x in descending order.
x, 3, a
Let i be -4 - (120/(-18) - 1/3). Let q be (-24)/(-10) + 4/(-10). Sort q, i, -3 in decreasing order.
i, q, -3
Let y = 11 + -11.3. Sort 0.3, y, 1/9 in ascending order.
y, 1/9, 0.3
Let o = -1.4 + 1. Let f = -23 + 68/3. Let g be (4 - 3)/(2 - (1 + 2)). Put g, f, o in increasing order.
g, o, f
Let d = -530/11 + 48. Sort 1/5, 4, d, 3 in decreasing order.
4, 3, 1/5, d
Suppose 5*f - 4*f = 0. Let d be -3 + (5 - (f + -1)). Sort 5, 1, d.
1, d, 5
Suppose 0 = -15*o + 5*o + 30. Sort o, -2, 5.
-2, o, 5
Let d = 0 + 2. Suppose -4*l + 12 = -8*x + 6*x, 3*x = -4*l - 8. Sort -3, x, d in descending order.
d, -3, x
Let d = 8 + -6.4. Let s = d + 0.4. Sort -4/7, s, 1 in descending order.
s, 1, -4/7
Suppose -2*r - r - 6 = 0. Let n = r + 3. Sort -4, n, -9.
-9, -4, n
Suppose -3*g = -3*d + 12, g + d + 12 = -2*g. Let f be 8/4 + -2*4. Let t be 1/(f/(-2) - 2). Put t, -3, g in descending order.
t, -3, g
Let s = 183 - 178. Sort -2, s, 4/3, -0.5 in descending order.
s, 4/3, -0.5, -2
Let b = -9 - -21. Let l = b + -7. Let v be (10/4)/(l/(-10)). Sort 0.1, v, 0.4 in descending order.
0.4, 0.1, v
Suppose -3*h = 4*f - 2, f - 2*h = -7*h - 8. Suppose -3*j + 2*o - 11 = 0, f = -j + 3*o - 11. Let k = 0 - j. Sort k, -5, 3 in descending order.
3, k, -5
Let s = 3/55 - 5/11. Let o be 1/4 - (-22)/8. Put 4, o, s in descending order.
4, o, s
Let f = -19.5 + 20. Sort f, -4, -1 in increasing order.
-4, -1, f
Let l = -24 - -21. Suppose 4*u + 9 = -11, 4*w - 2*u = 22. Suppose 4*m + 5 = -w*f + 1, -8 = 2*m. Sort f, 3, l in descending order.
f, 3, l
Let u = -3.911 - -0.011. Let j = 4 + u. Let k = -0.1 + -0.4. Sort j, 0.2, k in increasing order.
k, j, 0.2
Let a = -3 + 3.5. Let j = -8 + 5. Let g = j + 17/6. Sort g, -2, a in descending order.
a, g, -2
Let u = -2 - -2. Suppose -4*z = -5*q + 27, 5*q + 2*z - 3 = 6. Let m be 26/(-6) - (-1)/q. Sort u, m, 1 in descending order.
1, u, m
Let l be (2 - 41)*(-1)/3. Suppose -3*i - 4 + l = 0. Suppose -4*d + i*o = -8, -5*d + 0*d + 5*o + 5 = 0. Put -0.4, 0.3, d in decreasing order.
d, 0.3, -0.4
Let q = 52 - 52.3. Sort 0.3, -5, q.
-5, q, 0.3
Suppose -6 = 4*y - 4*z + 18, 0 = -2*z + 10. Let t(x) = x - 4. Let f be t(4). Sort y, f, -2 in descending order.
f, y, -2
Let w = 8 - 10. Let o be (-1)/(-11)*(3 - 37). Let x = o - -169/44. Sort 2, w, x in decreasing order.
2, x, w
Let c(p) = -2*p + 12. Let l be c(8). Let o be ((-6)/(-12))/(2/l). Suppose 0*b + 2*b = 4. Sort -4, b, o in descending order.
b, o, -4
Let j be (2/(-5))/((-84)/210). Put j, -2, -3, 2 in descending order.
2, j, -2, -3
Suppose -u + 4*k = 4*u + 15, 0 = -2*u - 2*k + 12. Put 0, u, 5 in descending order.
5, u, 0
Suppose -4*o + 7*o + o = 0. Put 0.4, 1.2, o in decreasing order.
1.2, 0.4, o
Suppose -3*n + j + 2 + 4 = 0, 2*n + 5*j = 21. Let m be 5/2*(n - 1). Let y be (-3)/1 - 0/6. Sort m, y, 2 in decreasing order.
m, 2, y
Let a be 2/(-11) + 57/(-231). Let u = 0 + 1. Sort u, -0.4, a in increasing order.
a, -0.4, u
Suppose 0 = 5*m - 4*m. Let p = -8 - -10. Suppose -k = -m*k - p. Sort k, 5, 3 in increasing order.
k, 3, 5
Let m(h) = -3*h + 1. Let f be (-3)/(-15) - (-16)/(-5). Let u be m(f). Suppose -8*w + u = -6*w. Sort w, 0, -4.
-4, 0, w
Suppose 0 = -4*z + 2*p - p - 14, -3*p + 12 = -2*z. Le