n decreasing order.
0, -1, c
Suppose -3*z - 1 = -4*z. Sort -0.1, 5, z in increasing order.
-0.1, z, 5
Let n(q) = q**2 - 13*q + 3. Let a be n(13). Let t be (-3 + 3)/(2 + -1). Sort t, -1, a in descending order.
a, t, -1
Let b be (-419)/((-4)/(-48)*34). Let h = 148 + b. Put -5, h, 3 in increasing order.
-5, h, 3
Suppose 16 = -2*y + n - 3*n, 0 = -4*y + 3*n - 39. Suppose -2*v - 21 = v. Let g = v - y. Sort g, -5, -2 in descending order.
g, -2, -5
Suppose -2*y = q - 1, 5*q + 9*y - 10 = 4*y. Suppose z + 9 = -4*v, z + 0*z + 3 = 2*v. Sort v, q, 4 in increasing order.
v, q, 4
Let f = 2/67 - -262/201. Sort 0, f, -0.2 in decreasing order.
f, 0, -0.2
Let q be (-8)/28 - 341/(-42). Let s = -13/2 + q. Put 0.4, -0.1, s in decreasing order.
s, 0.4, -0.1
Let n = -10.9 + -0.1. Let b = 9 + n. Sort -5, b, -0.2.
-5, b, -0.2
Suppose 3*q + 3 = 4*h - 8, -15 = -5*h + 4*q. Sort -2, h, -4, 5 in decreasing order.
5, h, -2, -4
Let n = 18 - 25. Let i(x) = -x**2 - 6*x + 10. Let j be i(n). Let w be (-13)/j - 4/6. Put 0, 4, w in decreasing order.
4, 0, w
Let n be 2 - -15*1/(-8). Let s = 1.32 - 0.32. Put -2/13, n, s in decreasing order.
s, n, -2/13
Suppose 4*r + 0 = -4. Let a(c) = 5*c**2 - c. Let i be a(1). Sort r, -3, i.
-3, r, i
Let y = -6 - -6.3. Let t = 0.8 - y. Let f = 10.7 - 15.7. Sort -2, f, t.
f, -2, t
Suppose b - 5*v = -3*b + 11, -4*b + 51 = 3*v. Suppose 3*x + 0*x = -b. Let j be 4/6*x/11. Put j, -0.2, -0.4 in descending order.
j, -0.2, -0.4
Let n be (-3 + 27/6)*-2. Put n, 0.1, -2/13 in decreasing order.
0.1, -2/13, n
Let t be 0 + (11 - 0)*4/2. Put -4, -3, t in decreasing order.
t, -3, -4
Suppose 0 = -26*n + 27*n + 2. Put n, -1, -4 in decreasing order.
-1, n, -4
Let l(d) = d**2 - 15*d + 27. Let g be l(13). Let n be (-2)/11 + (-92)/(-22). Sort g, -1, n.
-1, g, n
Suppose -l - 4 - 17 = 5*i, 0 = 2*l - 2*i - 6. Suppose -2*w + 7*w + 15 = 0. Put l, -5, w in decreasing order.
l, w, -5
Let w = -18 + 23. Sort w, 1, 0 in decreasing order.
w, 1, 0
Suppose -3*k - y = -3, -5*k + 3 - 6 = -y. Suppose k = 4*b - 9 + 1. Put b, -1, 0 in decreasing order.
b, 0, -1
Let w(f) = 2*f**2 + 13*f - 3. Let o be w(-7). Put 5, o, 2 in descending order.
5, o, 2
Let b = -54 - -54.5. Put 1, -0.14, 2/13, b in decreasing order.
1, b, 2/13, -0.14
Let k = -0.3 - -0.6. Let s = -78/5 + 16. Put k, -2, s in ascending order.
-2, k, s
Let o(x) = x**3 + 15*x**2 - 17*x - 17. Let q be o(-16). Put -2, q, -3, 0 in decreasing order.
0, q, -2, -3
Let z be 80/(-182) + 2/7. Put 3, z, -1/3 in descending order.
3, z, -1/3
Let z be 5 + 2/4*-4. Suppose -z*s = -s - 10. Sort 2/5, s, -2.
-2, 2/5, s
Suppose 0 = -2*z + 2 + 6. Suppose 0 = -z*y - 9 - 55. Let x be (y/(-20))/((-1)/5). Sort x, -2, 4 in decreasing order.
4, -2, x
Let h be (2 - 1)*15/20. Let o = 450/7 - 64. Sort o, h, 1 in ascending order.
o, h, 1
Let g = -27 - -14. Sort 0.3, g, 0 in increasing order.
g, 0, 0.3
Let a = -25 - -27. Let y be 2/((-7)/5 - -1). Sort -2, y, a in ascending order.
y, -2, a
Suppose 2*y - 21 = -y. Suppose -2 = -x - 2*u, -3*x - 19 - y = -2*u. Let f be 3/x*-6 + 0. Put 2, f, 1 in decreasing order.
f, 2, 1
Let k(p) = 5*p**3 - 3*p - 3. Let z be k(-1). Let a = -1 + 0. Let n = -2 - a. Sort -2, n, z in decreasing order.
n, -2, z
Let q = -162 - -167. Sort 19, q, 0.5 in ascending order.
0.5, q, 19
Let p be 2*(-9)/(-24)*4. Sort -3, 5, p in descending order.
5, p, -3
Let t = -0.06 + 0.46. Let n = -0.3 + 3. Let f = n + 0.3. Sort f, t, -3 in decreasing order.
f, t, -3
Let i = -5 + 0. Let a(d) = 0*d + 5 + d**2 + 6*d + d. Let q be a(i). Sort 4, q, 3.
q, 3, 4
Let d = 2.5 + -2.44. Put d, -5, -0.3 in ascending order.
-5, -0.3, d
Let a = 0.38 + -5.38. Sort -0.7, -0.4, a.
a, -0.7, -0.4
Suppose -5*z - 15 = -0. Sort z, 0.5, -4 in decreasing order.
0.5, z, -4
Let n = 172 + -168. Let g(a) = -a**2 + 5*a - 2. Let c be g(6). Let u = -5 - c. Put 5, n, u in increasing order.
u, n, 5
Let p = -16.2 + 15. Let n = -0.2 - p. Put 0, n, -0.3 in decreasing order.
n, 0, -0.3
Let f = -12 + 27. Suppose 8*k - 3*k + f = 0. Put k, 4, 1 in ascending order.
k, 1, 4
Let h = 2.62 + 0.38. Sort h, 0.3, -0.4 in descending order.
h, 0.3, -0.4
Let x = -4.2 - -6. Let g = 2 - x. Let n = -62.9 + 63. Put g, 4/7, n in decreasing order.
4/7, g, n
Suppose -11*i + 10*i = 4. Put 0.4, -0.5, i in decreasing order.
0.4, -0.5, i
Suppose -4*u - 18 = c, 6 = -u + 2. Sort c, 2, 0 in increasing order.
c, 0, 2
Let o = -3 - -4. Let f = 589 + -591. Sort f, o, 4.
f, o, 4
Let g be (-22)/(-18) + 2/(-9). Suppose -2*x = -0*x - 8. Let p = -0.15 + 3.15. Sort p, x, g in decreasing order.
x, p, g
Let p = 235/3 - 77. Sort 0.2, -2, p in descending order.
p, 0.2, -2
Let q = -0.11 - -0.1. Let m = q - -2.01. Put 0.4, 1, m in increasing order.
0.4, 1, m
Let d(v) = -v**2 - 2*v - 1. Let m be (-1)/(-5) + (-24)/20. Let l be d(m). Let b = -6 - -4. Put 1, l, b in ascending order.
b, l, 1
Let t = -3 + 0. Let d be (-1)/t - (-39)/(-9). Put 1, 4, d in ascending order.
d, 1, 4
Let i = 34 + -32. Let a = -1 - -0.98. Let r = -0.38 + a. Put i, -4, r in increasing order.
-4, r, i
Suppose 2*y + 12 = 3*g - 7*g, -3*g = -y + 19. Sort -3, g, -1, 0.2 in decreasing order.
0.2, -1, -3, g
Let v = 1.04 + -26.04. Sort v, -0.5, 0.5.
v, -0.5, 0.5
Let m(h) = h**2 - 10*h + 2. Let u be m(10). Let n(r) = 0*r**2 + 6*r**3 - 2*r**2 + r + 0*r**u. Let w be n(1). Sort w, -1, 3/2 in increasing order.
-1, 3/2, w
Let t = -0.1 + 0.3. Let l = 72 - 72.1. Let g = 0.1 + 2.9. Sort t, g, l in decreasing order.
g, t, l
Let o be 1/(-7)*(-6)/3. Let h be (-2 - 1) + -26*(-5)/42. Put o, h, 5 in decreasing order.
5, o, h
Let n = -58 - -53. Put n, 3, -1 in increasing order.
n, -1, 3
Let z = 830/3 + -277. Let v = -1 - -2. Let q = v + 2. Sort z, q, -6.
-6, z, q
Let d = -0.45 - -5.45. Put d, -2/3, -1 in descending order.
d, -2/3, -1
Let c be (-7)/21 - 5/3. Suppose -j + 0*o = -4*o - 25, -10 = 3*j + 5*o. Put -5, j, c in decreasing order.
j, c, -5
Let g(b) = b**2 - b. Let s be g(-1). Suppose -2*i = s - 0. Put -4, -3, i in decreasing order.
i, -3, -4
Let l(z) = 2*z**2 - z. Let u be l(1). Suppose -1 + 9 = c. Let y = 3 - c. Put u, 4, y in decreasing order.
4, u, y
Suppose 3*y - 28 = 10*y. Sort 0, 2, y in increasing order.
y, 0, 2
Suppose 0 = 2*t + 3*t + 10. Let r be 6/1 - t/1. Let g be (-2)/(-16) - 2/r. Sort 0, 0.2, g in decreasing order.
0.2, 0, g
Let r = -9 - -8.7. Sort 0.3, -1, r, 1/15 in ascending order.
-1, r, 1/15, 0.3
Let d = 0.088 - 7.388. Let u = d - -7. Sort u, 0, -2/3 in descending order.
0, u, -2/3
Suppose 0 = -2*i + 9*i. Sort i, 1, 3 in descending order.
3, 1, i
Let f be -1*5 - (-3 + (-2 - -3)). Let n(x) = x + 5. Suppose -2*a - 6 = 2*l + 4, -5*l = -5*a + 25. Let q be n(l). Sort f, q, 3.
f, q, 3
Let j = 135 + -135.1. Put 3/2, -6/13, 3, j in decreasing order.
3, 3/2, j, -6/13
Let h = 4 + 1. Let d be 8/(-16) - 6/4. Put d, h, -5 in descending order.
h, d, -5
Let k = -5 + 6. Let o = -17 - -13. Let x be (0 - -1)/((-2)/(-10)). Sort k, x, o in descending order.
x, k, o
Suppose -5*p + 4*s - 26 = -0*p, 3*p - 3*s + 18 = 0. Sort -5, 0, p, 5 in decreasing order.
5, 0, p, -5
Let k be ((-3)/2)/(6/16). Let h be (-1)/(-5)*-2*5. Suppose 0 = -8*a + 3*a. Put h, k, a in increasing order.
k, h, a
Let m = 1.1 - 0.1. Let x = 0.5 - m. Put -2/13, x, 3 in ascending order.
x, -2/13, 3
Suppose -2*h - 3*y + 4 = 0, 8 = 3*y + 2. Let c be (-2 + 1)*(3 + -6). Let b = c - 5. Sort 1, b, h in descending order.
1, h, b
Let g = -0.03 + -2.97. Put 4, g, 1 in ascending order.
g, 1, 4
Let g = -11 - -11.01. Put 1/8, g, 4/7 in decreasing order.
4/7, 1/8, g
Let l(k) = 2*k**3 + k**2 - k. Let n be l(1). Suppose n = i, -3*b = -b + 5*i - 18. Suppose 3*g - 2 - 1 = 0. Put g, 5, b in decreasing order.
5, b, g
Let h be 0/2 - (-48)/(-32). Put 0.5, h, -1/3 in decreasing order.
0.5, -1/3, h
Suppose -g + 6 = 5*w, -12 = g - 4*w - 0. Suppose -12 + 0 = -s - 3*r, -4*s + 4*r - 32 = 0. Let j be (2/s)/(2/(-15)). Sort 4, j, g in ascending order.
g, 4, j
Suppose 12*g - 68 = -8. Let b = -0.7 - -0.2. Put 1, b, g in increasing order.
b, 1, g
Let b = -39 - -8. Let y be b/(-4) + (-3)/(-12). Let n be 2/40 + (-2)/y. Put n, -2, -3 in decreasing order.
n, -2, -3
Suppose -5*b + 13 = 5*k - 4*k, 2 = -k. Let f = -5.4 + 5. Put -0.5, f, b in ascending order.
-0.5, f, b
Let a(r) = 10*r + 185. Let h be a(-18). Let j be 1/(1 - 0 - 0). Suppose 0 = 5*v - 0*v. Put v, h, j