l*w - 3*a = 2*w - 8. Sort 0, w, -3 in ascending order.
-3, 0, w
Let x be 2*1*(-13)/2. Let n = x + 8. Suppose 47 - 36 = 11*q. Put -3, q, n in ascending order.
n, -3, q
Let m = -0.2 + 1.17. Let i = 0.03 + m. Let f = -4.7 + 5. Put -1, f, i in ascending order.
-1, f, i
Let x = 8 - 12. Suppose -5*s + 10 = -5*o, -3*o = 3*s - 0*s + 6. Suppose 20 = -u + 6*u. Put s, x, u in increasing order.
x, s, u
Suppose -3*f - 4*l + 1 = 14, -4*l = 16. Let z(h) = h. Let v(n) = 4*n + 5. Let t(o) = -v(o) + 5*z(o). Let k be t(7). Put 5, k, f in descending order.
5, k, f
Let g = 0.076 + 8.124. Let h = g - 0.2. Let b = h + -8. Sort -1/2, b, 1 in descending order.
1, b, -1/2
Let j = -0.25 + 0.08. Let h = 0.17 + j. Sort -5, h, 5/2.
-5, h, 5/2
Suppose 0*y = 9*y + 27. Sort y, 13, -2, -1 in decreasing order.
13, -1, -2, y
Let o = 20.6 - 21. Let b(d) = -d**2 - 6*d. Let f be b(-6). Sort f, o, 0.1 in ascending order.
o, f, 0.1
Let a = 38 - 23. Suppose -5 = 5*i + a. Let g be (-8)/(-32) - 5 - -5. Put g, i, -1 in increasing order.
i, -1, g
Let p = 2.849 + 0.171. Let t = p + -0.02. Sort 2, t, -3 in increasing order.
-3, 2, t
Let z = -3/25 + 43/150. Suppose 2*o - 2 = q, 5*o - 6 = 2*o. Let u = -9 - -9.2. Sort z, u, q.
z, u, q
Let r = -234 + 232. Let g = 20 - 9. Let q = 8 - g. Put 2, r, q in descending order.
2, r, q
Let m = -2.2 - -2. Let r be 3/((-279)/(-24)) + 0. Let w = r - -68/217. Put -0.3, m, w in increasing order.
-0.3, m, w
Suppose h - 10 = -7. Put -0.1, -0.02, h in decreasing order.
h, -0.02, -0.1
Let z = -0.5 + 0.1. Let v = -7.6 + 9. Let b = v + z. Put -0.5, 2/3, b in ascending order.
-0.5, 2/3, b
Let y = -1.1 + -0.9. Put -0.1, y, 0.3 in ascending order.
y, -0.1, 0.3
Let d = -0.05 + -3.95. Let w be (-5)/15 - 8/(-42). Let z be -1 - (3/12 - 2). Sort d, z, w.
d, w, z
Let b(y) = -y**3 + 6*y**2 + 2. Let f be b(6). Put 5, f, -1 in ascending order.
-1, f, 5
Let b(l) = l - 14. Let s be b(17). Sort 1, s, 4, -3 in increasing order.
-3, 1, s, 4
Let h = 2803/11 - 255. Suppose -6 - 4 = 5*g. Put g, -2/15, h in decreasing order.
-2/15, h, g
Let x be (-10)/(4 + (0 - 3)). Let p = 5 + x. Put 0.3, p, -2 in ascending order.
p, -2, 0.3
Let v be 4/(-2*1/2). Let a be (16/v)/(-2 + 4). Put -2/3, a, -5 in increasing order.
-5, a, -2/3
Let d = -25.13 + 25. Let f = 4.87 - d. Let m = 6 - 9. Sort f, -3/5, m in descending order.
f, -3/5, m
Let y = -1.2 - 0.8. Let s = 1.6 + y. Put s, -2, 0.4 in ascending order.
-2, s, 0.4
Let g = -1 + -3. Sort g, 1, 1/4 in descending order.
1, 1/4, g
Suppose -4*v + 9 = -3. Let l(d) = -d**2 + 4*d - 8. Let a be l(3). Put a, 0, v in decreasing order.
v, 0, a
Suppose 0 = -d + y - 3, -4*y + 2*y - 4 = 0. Sort -3, -9, d in ascending order.
-9, d, -3
Let p(h) = -h**3 - 7*h**2 + 7*h - 19. Let r be p(-8). Sort r, -2, -4, 0 in ascending order.
r, -4, -2, 0
Let y = 0.32 - 0.18. Let n = -0.04 + y. Sort n, -0.4, 0.5.
-0.4, n, 0.5
Suppose -2*t = -2*w + t, -5*w = -t. Sort w, 5, -3, 3 in ascending order.
-3, w, 3, 5
Let v = 24 - 24. Sort -1, 2, v, 4 in descending order.
4, 2, v, -1
Let k = -3.89 - 0.11. Let x = k - -4.2. Put 1/6, x, 2/7 in decreasing order.
2/7, x, 1/6
Let c be (-12)/(-15)*5/1. Sort 0, 2, c in decreasing order.
c, 2, 0
Let a = 13 + -18. Let d be 1/(-2 - a/3). Let l(w) = w**2 + 4*w - 1. Let m be l(d). Sort 2, 3, m in ascending order.
m, 2, 3
Let w = 1.6 - 12.6. Let h = -11.3 - w. Put 5, h, 0 in descending order.
5, 0, h
Let m = -7 - -3. Let l = -0.12 - -5.12. Let x = -4 + l. Put m, x, 5/4 in descending order.
5/4, x, m
Let z = -2 - -1.9. Let i = 1.09 + -0.89. Sort -0.3, i, z in decreasing order.
i, z, -0.3
Suppose 5*k = f - 6*f + 15, 0 = -k - 4*f + 12. Suppose k = 2*z - 4*z - 4. Sort 0, z, 1 in ascending order.
z, 0, 1
Suppose 0 = -2*n - 14 + 2. Sort 4, 0, n in increasing order.
n, 0, 4
Let l = 0.8 - -0.8. Let w = 0.9 - l. Let h = -0.3 + w. Put h, -0.2, -2 in decreasing order.
-0.2, h, -2
Let x be ((-14)/(-7))/((-4)/6). Let b be (-1)/3 - 14/(-6). Suppose 0 = h + 4*p + 24, 5*h - b*p - 2*p = 0. Sort 4, x, h in decreasing order.
4, x, h
Let q = 0.08 - -0.22. Let r = -4.07 + 0.07. Put -3/5, q, r in ascending order.
r, -3/5, q
Let v = -8 - -8. Let r = -5 + 2. Sort v, -4/5, r in decreasing order.
v, -4/5, r
Let j(z) be the first derivative of -z**3/3 - 5*z**2/2 + 9*z + 1. Let n be j(-7). Put n, -2, 1 in increasing order.
n, -2, 1
Let m be 1*(-4 + 2) + -14*1. Put 0.3, 0, m, 0.5 in ascending order.
m, 0, 0.3, 0.5
Let g = 54 - 215/4. Let k = -9 - -11. Sort -1/3, k, g in increasing order.
-1/3, g, k
Let q = 0 + 5. Put -0.4, q, -4/7 in descending order.
q, -0.4, -4/7
Suppose -2*a - w = -5*a + 13, w - 27 = -5*a. Sort a, -4, 58.
-4, a, 58
Let q = -40 + 45. Sort -8, -2, q, -4 in increasing order.
-8, -4, -2, q
Let j = 9 - 6. Suppose 8*b + j*z = 3*b - 16, -9 = -3*z. Suppose 2*l - 7 = 3. Put l, b, 1 in increasing order.
b, 1, l
Let t(x) = 3*x**3 - 4*x**2 - 7*x + 3. Let q(s) = 4*s**3 - 4*s**2 - 8*s + 4. Let v(u) = 4*q(u) - 5*t(u). Let z be v(-3). Put 2, z, -2 in descending order.
2, z, -2
Suppose -f = -4*f. Suppose l = -f*l. Let q be l*3/(-6) - -5. Sort 0, q, -2 in decreasing order.
q, 0, -2
Let f be (-2)/(-8) - (-6)/(-12). Let o = 5.5 + -0.5. Sort 0.2, o, f in decreasing order.
o, 0.2, f
Let j = -21 - -20.5. Let z = j - -4.5. Put -2, 0.9, z in descending order.
z, 0.9, -2
Let l = -12/13 - -59/78. Sort -5, -7, l.
-7, -5, l
Let v = 5 + -2. Suppose -4*s = 6*r - r + 32, 5*s = r - 11. Sort r, 6, v in decreasing order.
6, v, r
Let t be 2/(-5)*(-2 - 3). Let a be 2/3 + 88/12. Let x = 12 - a. Sort t, x, 0 in descending order.
x, t, 0
Let z be (-2 - -2)/(-2) + 2. Let u be ((-48)/18)/4*15/4. Sort 2/7, z, u in decreasing order.
z, 2/7, u
Let s(r) = -r**2 - 9*r + 12. Let p be s(-10). Suppose 12 = p*y + y. Sort -3/5, -1/2, y in decreasing order.
y, -1/2, -3/5
Let p be (6/7)/((-2)/(-14)). Let z = 16 - p. Let x = z - 6. Sort 2, x, -2 in decreasing order.
x, 2, -2
Let h = 0.089 + 3.911. Sort -2, h, -7/4 in ascending order.
-2, -7/4, h
Suppose 0*y = 3*y + 3. Let c(j) = -j**3 + j - 1. Let l be c(-2). Suppose 0 = -l*i + i. Put 4, i, y in descending order.
4, i, y
Suppose -25 = 6*f - f. Suppose 3 + 5 = 4*o. Put f, 5, o in increasing order.
f, o, 5
Let l be (32/12)/((-6)/(-9)). Suppose 0 = -v - 2*m + m - l, -5*v = 3*m + 10. Sort -1, v, 4 in descending order.
4, v, -1
Let x be 12/(5 + -2) + (14 - -7). Sort x, -0.3, -4 in ascending order.
-4, -0.3, x
Let z = 0.06 + -0.08. Let j = z + 5.02. Put -0.1, j, -5/2 in ascending order.
-5/2, -0.1, j
Let y = 548 - 551. Suppose -g = -5*q + 2, -2*q - 17 + 7 = -4*g. Sort -1, g, y in decreasing order.
g, -1, y
Let p = -0.12 - -0.12. Sort -16, p, 3/8 in ascending order.
-16, p, 3/8
Let p = 35 - 30. Let b = 0.05 + -0.45. Let d = -6 - -6.3. Put b, d, p in descending order.
p, d, b
Let v = 9.6 - 9.5. Put v, -0.23, 1/3 in decreasing order.
1/3, v, -0.23
Suppose -2*i = -0*i. Suppose 1 = 2*n - 1. Suppose -n = -a - 4. Put -5, a, i in ascending order.
-5, a, i
Suppose 3 = -2*k - 9. Let w = k + 1. Let o = 2 - 4. Put -4, o, w in decreasing order.
o, -4, w
Let w(x) = x**2 - 5*x + 1. Let y be w(6). Let o = -2 + y. Sort 2, o, 4.
2, 4, o
Suppose -o + 31 = o - 5*r, 0 = -5*o - r + 10. Sort o, -1/4, -2/5, -1/3 in decreasing order.
o, -1/4, -1/3, -2/5
Let r = 0 + 2. Let p be (0/1)/(r/(-2)). Sort -1, p, -5 in ascending order.
-5, -1, p
Let z be (2 - 0)*2/1. Sort z, 1, -2, -5 in descending order.
z, 1, -2, -5
Suppose -s + 2*s + 5*h = 14, -3*s - 2*h + 16 = 0. Let b be (-1*(-3)/(-9))/(38/(-114)). Sort b, -1, s in descending order.
s, b, -1
Suppose -25 = -2*d - 3*d. Put 2, -3, d in descending order.
d, 2, -3
Suppose 3*w + 8 - 23 = 0. Suppose -16 - 4 = -w*b. Let d = 2 + -3. Sort d, b, -4.
-4, d, b
Suppose -13 = 2*o + 1. Let v(p) = p - 7. Let y(q) = 2*q - 6. Let h(w) = -3*v(w) + 2*y(w). Let x be h(o). Put 3, x, 4 in decreasing order.
4, 3, x
Suppose 5*v - 17 = 13. Let h be (-2)/(-1) + -2*1. Suppose h = 3*k + 5*m - 3 - 5, k + 24 = 5*m. Sort k, v, 4 in decreasing order.
v, 4, k
Let i be 16/12*(-15)/10. Sort -4, 3, i.
-4, i, 3
Suppose o - 3*o - 5*m - 11 = 0, 1 = m. Let c be 2/(4 + o/3). Let j = -0.2 - -0.3. Sort j, 2, c in increasing order.
j, c, 2
Let v = 16.8 + -2.8. Let d = v + -13.9. Sort -5, -1, d in increasing order.
-5, -1, d
Let k = -3 - -3. Let u be -2 + 0*(-3 - -4). Put u, -0.5, k in ascend