ending order.
-3/4, n, b
Let b = -17.6 + 22. Let a = b - 4. Let g = 4.6 - 0.6. Put g, a, -2 in descending order.
g, a, -2
Let d = -0.03 + 0.07. Put -1, 2, -2, d in descending order.
2, d, -1, -2
Suppose 4*b + 2 + 6 = -n, 0 = 3*n + 4*b + 8. Suppose n = -2*l + 2 + 4. Put 1, l, -4 in descending order.
l, 1, -4
Let t = 24 - 17. Suppose t*r - 50 = 2*r. Put r, 2, -4 in decreasing order.
r, 2, -4
Let x = 0.9 + -1.4. Sort 2, x, -0.1.
x, -0.1, 2
Let d(s) = 4*s + 1. Let b be d(1). Let f = b + -6. Sort f, -5, 5.
-5, f, 5
Let w(g) = 6*g**3 - g**2 + g - 1. Let a be w(1). Sort 1, -1, a in increasing order.
-1, 1, a
Let t = -7 - -2. Let q = -9 - -14. Let d be (-8)/(-28) - (-2)/(-7). Put d, q, t in ascending order.
t, d, q
Suppose -9 = -5*g + 3*o, 2*o + 8 + 3 = 5*g. Suppose -5 = -4*h - 1. Suppose -3*v = 2*v. Put v, g, h in descending order.
g, h, v
Let y = -2 + 0. Let o = -2.4 - y. Let i = -54 + 52. Sort o, i, -1.
i, -1, o
Suppose 9*v - 8*v = 4. Sort -4, v, -3 in descending order.
v, -3, -4
Let p = -7.08 + 0.78. Let b = -6 - p. Let m = 8 - 6. Put -1/2, b, m in ascending order.
-1/2, b, m
Let z be ((-2)/60)/(2/8). Let d = -0.54 - 0.06. Let r = -1 - d. Sort r, z, 1 in decreasing order.
1, z, r
Let t = 0.13 - 0.15. Put -0.3, -2/3, t in ascending order.
-2/3, -0.3, t
Let c be 1 - (0 - -2)*37. Let l = c + 514/7. Put l, 3, 5 in ascending order.
l, 3, 5
Suppose 5*h - 2*k = -46, 4*h + 5*k + 10 = -7. Put h, 5, 7 in decreasing order.
7, 5, h
Let p(q) = -q**2 - 3*q - 3. Let x be p(-2). Let a = x + 2. Let t be (-1)/4 + (-1)/28. Sort 1/3, t, a in increasing order.
t, 1/3, a
Let v be 48/(-8)*(-1 + 0). Let w be (v/(-8))/(-3)*-2. Put -0.3, -1, w in ascending order.
-1, w, -0.3
Let r = -4 + 6. Suppose -2*d + 6 = 0, 2*t + 3*d - 3 = r*d. Put -2, 2, t in decreasing order.
2, t, -2
Let z be 6*(-2)/4*(-16)/(-12). Let m(l) = -l - 1. Let y be m(-2). Put -1, y, z in increasing order.
z, -1, y
Let q(y) = y**2 - 3*y - 24. Let v be q(7). Put v, 5, -3, -2 in decreasing order.
5, v, -2, -3
Suppose -2*z + m - 1 = 0, -2*z + 3 - 6 = m. Let a be 2/2 - (2 - 2). Put z, a, 0 in decreasing order.
a, 0, z
Suppose 5*x + p - 253 = 0, 5*p = -0*p + 15. Let f be 3/10*x/20. Let s be (-12)/16*(-4)/(-6). Put s, -4, f in descending order.
f, s, -4
Suppose -k = 3*v - 15, -5*v - 15 = -3*k - 4*v. Let q = -3 + 1. Sort 4, k, q in decreasing order.
k, 4, q
Suppose 9*u = 6*u - 15. Put -2, 11, u in decreasing order.
11, -2, u
Let q be (8/(-10))/(2/10). Sort -12, 3, q in decreasing order.
3, q, -12
Suppose 0 = 4*b - 9*b + 20. Sort b, 6, -4 in ascending order.
-4, b, 6
Let i be (-2)/(0 + (-2)/3). Suppose 3*s = i + 12. Put 4, s, 4/5 in increasing order.
4/5, 4, s
Let q be 2/(-4) + 4/(-8). Let t(d) = d**2 + 7*d - 4. Let c be t(-7). Sort 1, q, c.
c, q, 1
Let q(d) = d**2 - 2*d - 2. Let v be q(2). Let m = -4 - -7. Put m, 4, v in ascending order.
v, m, 4
Let n = -9.16 - -0.46. Let a = n + 1.7. Let s = 5 + a. Sort 0.3, s, 5 in ascending order.
s, 0.3, 5
Suppose -3*q + 15 = 4*g, -g + 8 = 3*q + 2. Put 2, q, -4, 12 in increasing order.
-4, q, 2, 12
Suppose 0 = t - y - 2*y - 4, 3*t = -3*y - 12. Let u be ((-2)/2)/((-2)/(-6)). Let m(g) = -2*g - 22. Let a be m(-13). Put t, u, a in descending order.
a, t, u
Let n be 6*(-1 + 3/2). Suppose 3*w - 2*t = w - 10, 6 = n*w + 4*t. Put w, 4, -3 in descending order.
4, w, -3
Suppose -2*x + 4*p - 6 = 0, -2*p - 9 = 3*x - p. Let n be (-2)/5*-8 + 13/(-65). Put x, -2, n in descending order.
n, -2, x
Suppose 4*b = 3*i - 0*b - 8, 0 = 2*i - 4*b - 4. Let n(o) = o**3 + 4*o**2 - 1. Suppose -g - 16 = 3*g. Let a be n(g). Put a, i, -3 in descending order.
i, a, -3
Let x(y) = -y**2 + 4*y + 7. Let f be x(5). Let m = 181 - 184. Sort f, m, -2 in ascending order.
m, -2, f
Suppose 2*g + a = -5, a = 4*a + 9. Sort -0.3, 0, g.
g, -0.3, 0
Let v = -12 + 7. Sort 2, v, 0.
v, 0, 2
Let h = -7 + 12. Suppose -3 = -v - 6. Let c be 4/14*v/(-6). Sort 0, h, c in decreasing order.
h, c, 0
Let g = -7.3 - -2.3. Sort 5, g, -1 in ascending order.
g, -1, 5
Let j = 8.09 - -0.51. Let g = -9 + j. Put g, 0, 0.5 in increasing order.
g, 0, 0.5
Suppose 0 = p - 3*p, -t + 2*p + 5 = 0. Put -5, -19, 4, t in increasing order.
-19, -5, 4, t
Suppose -3*q - 47 = -146. Let w = -65/2 + q. Sort 5, w, 4 in decreasing order.
5, 4, w
Let b = -4/3 + 5/6. Sort 4, -4, b.
-4, b, 4
Suppose 3*z = z + 12. Let h(w) = 5 + 1 + 2 - w. Let u be h(z). Sort u, 4, -4 in ascending order.
-4, u, 4
Let s = -61 - -85/2. Let w = s + 19. Sort -1/3, w, 1/5 in decreasing order.
w, 1/5, -1/3
Let d = -0.24 + -0.06. Let t = -0.7 + 0.8. Let b = t + d. Sort b, 4, 3/2.
b, 3/2, 4
Let p = 2 + -7. Let c = -7 - -4. Put p, 2, c in decreasing order.
2, c, p
Suppose 10*g - 5*g + 25 = 0. Sort 4, -7, g in increasing order.
-7, g, 4
Let j be 2/10 - (-48)/10. Let w = 3 - j. Put w, -5, 5 in decreasing order.
5, w, -5
Let k = -1.3 + -1.7. Put k, 4, 5 in ascending order.
k, 4, 5
Suppose 2 = -s + 4. Suppose -o + 4 = 0, 22 = 2*d + o + 2*o. Put d, -3, s in decreasing order.
d, s, -3
Let d = 0.05 - -0.05. Let v = 6.6 + -11.3. Let m = v - -0.7. Sort 0, m, d.
m, 0, d
Let b be -1 - -3 - (-3 - 50). Suppose -2*y = -d + 25, 0 = d + d - 5*y - b. Let s be 12/15*d/42. Sort 0, s, -3.
-3, 0, s
Let s = 0.31 + -0.28. Put 0.2, -4, -0.4, s in ascending order.
-4, -0.4, s, 0.2
Suppose -4*p = -0*p - 20. Put -0.5, 1, p, 3 in decreasing order.
p, 3, 1, -0.5
Let g(k) be the second derivative of -k**5/20 + k**4/12 - 5*k**2/2 + 4*k. Let w be g(0). Sort w, -3, 2 in increasing order.
w, -3, 2
Let b = -12 + 17. Let l = b - 5.02. Let h = l - -5.02. Sort 1, 0.3, h in increasing order.
0.3, 1, h
Let w be (-4)/(-2 + -2) + (0 - -2). Put 5, 0, w in increasing order.
0, w, 5
Let g be (-2)/(-7) + 272/28. Let w(f) = -f**3 + 11*f**2 - 10*f - 2. Let x be w(10). Put g, x, 1 in decreasing order.
g, 1, x
Let w be 3/5 + (-44)/(-10). Suppose w*x + 3 = 28. Put x, -5, -1 in ascending order.
-5, -1, x
Suppose -5*i - 5*h + 16 = -79, -2*i = -5*h - 59. Suppose -5*g + 23 = 4*j, -2*j = -3*j + 2*g + i. Let y be (-2)/13 - j/(-78). Sort y, 4, 1 in ascending order.
y, 1, 4
Suppose 0 = w - 0*c - 4*c + 16, -5*w - 38 = c. Suppose 0 = -3*z - 3*n + 3 + 3, 4*z = -2*n + 12. Let y = w + z. Sort -2, y, 0.
y, -2, 0
Let i = 7 + -8. Let l be 1/(-10)*(5 - i). Sort 2, -0.2, l.
l, -0.2, 2
Suppose -20*q + 19*q + 5 = 0. Sort -22, q, -4 in decreasing order.
q, -4, -22
Let d = -5 - -3. Let i = 2 + d. Sort 4, -4, i in descending order.
4, i, -4
Let k = 0.007 - 1.007. Put -2/13, k, -2 in decreasing order.
-2/13, k, -2
Let x(h) = -2*h - 2. Let o be x(1). Put -2, o, -0.3 in decreasing order.
-0.3, -2, o
Let t = 6/2617 - -204096/13085. Suppose 4*p - 52 = -3*o, 0 = p + 2*o - 5*o - 28. Let r = t - p. Put r, -3, -2 in decreasing order.
r, -2, -3
Let a = 22 - 21. Suppose 0 = -4*d + n + 20, 4*d + n = 6 + 6. Sort 3, d, a in ascending order.
a, 3, d
Let g = -4 - -3.6. Let i = 4 - 3. Put 3/4, i, g in descending order.
i, 3/4, g
Let k be -8*(-4)/240 + 32/(-15). Put 2, k, 4, 1 in decreasing order.
4, 2, 1, k
Let h = -3.3 + 1.3. Sort h, -4/3, 5.
h, -4/3, 5
Suppose -11*m = -9*m + 8. Let p be -7 - (-1 + 3 + m). Sort p, 0, 5 in decreasing order.
5, 0, p
Let w(v) = -v**2 + 6*v - 9. Let s be w(4). Let a = -2 + 7. Sort s, a, -5 in descending order.
a, s, -5
Suppose 5*y = -3 - 2. Let d(c) = 5*c**2 - 1. Let s be d(y). Put 1/4, s, 2/7 in descending order.
s, 2/7, 1/4
Let v(o) = -4*o - 1. Let g be v(1). Sort -1, g, 1 in decreasing order.
1, -1, g
Let l(z) = -z**3 + 6*z**2 + 9*z + 3. Let h be l(7). Suppose -2*m + 5*u = -m + h, -u = 2*m + 1. Sort 1, -1, m in increasing order.
m, -1, 1
Let m be ((-5)/(-3))/((-5)/(-30)). Suppose 53 = -z - 33. Let q be z/18 - m/45. Sort 3, 0, q in descending order.
3, 0, q
Suppose 56 = 3*s - 130. Let x be s/20 - (0 - -3). Sort x, 2, -0.1.
-0.1, x, 2
Suppose -7*k + 11*k = 20. Put 1, k, 4 in increasing order.
1, 4, k
Suppose 3*b = 10 - 1. Sort b, -5, 2.
-5, 2, b
Let m(p) be the second derivative of -p**5/20 - 5*p**4/12 + 5*p**3/6 - 7*p**2/2 + p. Let n be m(-6). Put n, 2, -2 in decreasing order.
2, n, -2
Let t be 2/(-6) + 14/6. Let y be 2 + (-2 - 4/(-4)). Sort 0, t, y in descending order.
t, y, 0
Let n = 6 - 6.1. Let y = n - 5.9. Let a = -3 - y. Put -0.5, 0.5, a in descending order.
a, 0.5, -0.5
Let n(k) = -k**2 + 3*k. Let o be n(2). Suppose 0 = -o*w - 4*c - 2, -3