*5/60 + m**4/6 - m**3/2 + m**2. Let s be y(3). Is l bigger than s?
False
Let z be 13 + 6/9*3. Is z > 15?
False
Let k(h) = -h + 2. Let t be k(-8). Suppose 0 = -3*m - 2*m + t. Let p be m - (0 - (-24)/10). Is p at least as big as 0?
False
Let w(j) = -6*j - 1. Let g be w(-1). Is g < 7?
True
Suppose -2*o + i = -2*i + 1, -o - 3*i - 23 = 0. Is o at least as big as -5?
False
Suppose i + 10 = 3*i. Let j = i - 5. Is j at least as big as -2/9?
True
Let b(a) = -a**3 - 2*a**2. Let y(m) = -m**2 + 4*m - 2. Let v be y(4). Let j be b(v). Let d be 2/(-1) + (-100)/(-55). Which is greater: d or j?
j
Let t(u) = -u**2 - 13*u + 10. Let c be t(-8). Let s be (-5)/c*10/12. Which is bigger: 0 or s?
0
Let r = -112/159 + 2/53. Do 0 and r have the same value?
False
Let o be (-5 - 1 - -8) + 9/(-5). Let m be ((-15)/12)/5*-4. Which is greater: m or o?
m
Let w be (-11)/(-3) - (-2)/6. Suppose -w*t + 3*k = 5, 3*k - 2*k = -4*t + 7. Do -1/6 and t have the same value?
False
Let d = 9 + -13. Are -1 and d non-equal?
True
Suppose -f - 3 = 0, -5*n = f + 4 - 1. Is n at most as big as 2/31?
True
Let d be (2 + -1 - 19)/(-2). Suppose -4*g = -d*g - 10. Let u be -2 - ((-1)/1)/(-1). Is g less than or equal to u?
False
Suppose -5*d - 90 = -u, 2*u = 3*d - 0*d + 61. Is d at least as big as -17?
True
Let m(i) = i - 5. Let j be m(7). Let h(g) = -g**2 + 4*g + 5. Let w be h(4). Let d = w + -3. Are d and j non-equal?
False
Let z = 18 - 6. Let o be -2 - ((-16)/z + -1). Is o > 0.1?
True
Let d(m) = 3*m + 3. Let a be d(4). Suppose 3*y + 2*y = -a. Let z be y/15 - 21/(-5). Which is smaller: z or 3?
3
Suppose 4*b = -0*b. Let t be -2 - 3 - -2 - -1. Let a be (-68)/65 - t/(-13). Which is smaller: a or b?
a
Let f = -11 + 16. Let m = -6 + f. Is m less than 0?
True
Suppose -2*r = -9 - 11. Which is greater: 8 or r?
r
Let t(a) = -a**3 - 8*a**2 + a - 6. Let y be t(-8). Let q be ((-4)/14)/(10/y). Is 1 at least q?
True
Suppose 0 = -0*w + w. Let z = -2/235 + 1183/940. Which is greater: w or z?
z
Let k = 7 - 5. Let f be k*14*3/(-4). Let y be 6/f + 24/(-14). Is y smaller than -2?
False
Let o = 8/39 - -6/13. Suppose 1 = 4*l + 5*n - 2, -5*l = 4*n - 6. Which is smaller: l or o?
o
Let j = -12 + 15. Which is greater: -3/7 or j?
j
Let o = -682 - -8860/13. Do 1 and o have the same value?
False
Let m = -0.4 - -1. Let z = 11 + -10.3. Let q = z - m. Which is bigger: 0 or q?
q
Let z be (-8)/(-5) + (-6)/(-15). Let t(i) = -2*i. Let c be t(3). Let u be ((-6)/18)/(z/c). Is 1 at least u?
True
Suppose 2*u + 445 = -3*u. Let d = 1156/13 + u. Suppose 8 = m - 4*j, -3*m + j + 2 = -0. Do m and d have the same value?
False
Let o(y) = -y**2 - 4*y - 9. Let n(q) = -2. Let h(z) = -1. Let i(d) = -5*h(d) + 3*n(d). Let r(k) = 6*i(k) - o(k). Let f be r(-2). Is f >= -1?
True
Suppose 3 = y, 2*x + 1 = -4*y - 3. Let a be 1/(-21) + x/28. Which is smaller: 1 or a?
a
Let y be (-12)/(-30)*(-15)/(-21). Do y and 0.2 have the same value?
False
Let a be (-6)/(-21) + 144/(-602). Let l be 4/12 - (-320)/(-15). Let w = l - -20. Which is greater: w or a?
a
Let b = 3079/896 + -1/128. Is b at most as big as 2?
False
Suppose v - 2*v + 8 = -3*m, -2*m - 5*v - 28 = 0. Let n = 4 + m. Suppose n = -4*w + 8*w. Is -3 at most as big as w?
True
Let s = -1012/13 + 78. Which is smaller: s or -5?
-5
Let x = -0.062 + 19.062. Which is smaller: 0 or x?
0
Let q = -295/2 - -67/6. Let a = q + 135. Which is smaller: -2 or a?
-2
Let t = 8 - 5. Let x(n) = 0 - 3*n**2 + 3*n + 5*n**3 - 2 - 4*n**t. Let y be x(2). Which is greater: -2/7 or y?
y
Suppose -27 = -3*s - 2*o - 11, -5*s - 2*o + 28 = 0. Is s at least as big as 6?
True
Let z = -409/6 - -68. Let j = 31 - 20. Let q = j - 11.1. Is z greater than q?
False
Let h = 4 - -1. Let d = 12 - 16. Let c = h + d. Which is smaller: 0 or c?
0
Let o(x) = -x**3 - 3*x**2 + 6*x**3 + x + 3 - 4*x**3. Let c be o(3). Let z = c + -6. Which is greater: z or 1?
1
Let a be ((-2)/5)/((-2)/10). Suppose 0 = -2*r - 2*p - 11 + 3, p = -a. Is r greater than -4?
True
Let j be 7 - (-4)/(0 + -2). Suppose 3 = j*i - 7. Which is smaller: 3 or i?
i
Let v be -2 - 4/4*-1. Is v equal to -3/13?
False
Suppose -2*b + 0*b = 0. Suppose 5*l - 34 = -4*n - 8, b = 2*n + 2*l - 12. Let s be (3/n)/(18/(-32)). Is s equal to -1?
False
Let j = -3.1 - -3. Let a = -0.3 - 0.1. Let k = a - 0. Is k bigger than j?
False
Let m(d) = -d**3 - 5*d**2 + 2*d - 6. Let y be m(-5). Is -17 at most as big as y?
True
Let t = -121 + 845/7. Which is greater: 0.1 or t?
0.1
Let n be (5 + -3)/(1/22). Suppose 6*i + 14 = n. Are 4 and i equal?
False
Let q = 103 - 1341/13. Is q greater than 1?
False
Let b(j) = -j**2 - 5*j + 2. Let t be b(-8). Which is smaller: -93/4 or t?
-93/4
Suppose -2*p + 11 - 9 = 0. Are p and -1/65 nonequal?
True
Suppose -80 = -4*k - k. Let z be 28/70 + k/10. Is 8 <= z?
False
Let i be 1/(-8)*(-2 + 0). Let x be (-3)/((-3)/6*3). Suppose 4 = -x*j - 2*j. Do i and j have the same value?
False
Suppose -36 = -8*u + 4*u. Let o = u + -7. Let l be (-1)/(-4) - 1/o. Which is smaller: -4 or l?
-4
Suppose 10 + 2 = 4*b. Let t be 0/(b*1/3). Which is bigger: -4/3 or t?
t
Let n = -80 + 80. Is 0.01 < n?
False
Suppose -2*k = -2*y + 2, -k - 1 - 3 = -4*y. Let x = 517/6 - 86. Which is bigger: y or x?
y
Suppose -4*x + 5*x + 25 = 0. Is x >= -25?
True
Let w = -15 + 11. Let j = 8 + w. Which is bigger: 3 or j?
j
Let n = -8.3 - -10.3. Which is greater: n or 10/3?
10/3
Let z be (8/(-132))/((-4)/2766). Let p = z - 42. Which is smaller: p or -1/3?
-1/3
Let d = 0 - 1. Let p be (-3)/(-2)*(-7)/42. Which is bigger: p or d?
p
Let h = -8 + 12. Suppose -4*i = -j + 3*j - 2, 40 = 4*j - 4*i. Suppose 0 = h*z + b - j, 0*z + 2*z - 5*b = 31. Which is smaller: 2 or z?
2
Let y = 3.7 + 0.3. Let h = y + -2. Which is smaller: 0.1 or h?
0.1
Let c = -19 + 39. Suppose 0 = w - 4*b - c, -w + 5*b = w - 25. Which is greater: 2/13 or w?
2/13
Let f = -1.4 - -8.4. Let k = f - 7.2. Do 0 and k have the same value?
False
Let u be (-1)/((14/(-8))/7). Suppose 8 = 2*a - 2. Which is bigger: a or u?
a
Let g = 12/17 + -694/935. Let x = g + 7/11. Suppose 4*m + 3*s - 3 = 3, -5*s = m - 10. Is m not equal to x?
True
Let h = 5 - 3.1. Let s = h + -1.6. Is s at least as big as -3?
True
Let h = 6/5 - 17/10. Let b = -1 + 2. Let d = 1 - b. Which is smaller: d or h?
h
Suppose 4*x = -2 + 10. Let j be 13/117*2*x. Which is smaller: j or -2/9?
-2/9
Let r(p) = -p - 6. Let i be (-5)/(-1)*18/(-15). Let a be r(i). Let o = 10 - 6. Which is greater: o or a?
o
Let b = -57/4 + 21/2. Is b <= -4?
False
Let l = -18.1 - -18. Is l greater than or equal to 2/3?
False
Let s(x) = x**3 + 3*x**2. Suppose -v + 14 = 2*p + 3*v, 0 = v - 5. Let z be s(p). Let k = 151/390 - -1/78. Which is bigger: z or k?
k
Suppose -2*b - 8 = -0. Is -3 greater than or equal to b?
True
Let y = 7 + -10. Let z = y + 3. Suppose 0 = -t + 4*d + 15, z = 3*t + 3*d + 18 - 3. Which is smaller: 2/5 or t?
t
Let w(r) = r - 1. Let x be w(-3). Which is greater: -5 or x?
x
Let s(z) = -z**3 - 5*z**2 - 2*z - 12. Let n be s(-5). Is n at most as big as 2?
True
Let t = 36 - -7. Is t <= 42?
False
Let v = 4 + 18. Which is bigger: v or 23?
23
Let w be (-32)/(-66) + 2/(-3). Let i = 2 - 1. Is i at least as big as w?
True
Let i = -4.4 - -2.4. Which is smaller: i or 2/9?
i
Let k(f) = -f**2 + 7*f - 2. Let a be k(8). Let w = a - -10. Which is smaller: w or 1/5?
w
Let h = 25 - 26. Is h at least -3/8?
False
Let l be (-2)/(-8) + 11/4. Suppose 0*v - 3*v + l = 0. Let h(d) = -d**3 + d - 1. Let c be h(v). Which is bigger: 1/6 or c?
1/6
Let g(r) = 2*r + 3. Let h be g(4). Suppose -2*p = -3*p - 7. Let n = p + h. Are 5 and n equal?
False
Let x = -649/20 - -162/5. Which is smaller: -1 or x?
-1
Let z = 15 + -2. Is z greater than 12?
True
Suppose -2*q - p = -3*p, 3*q + 4 = p. Which is smaller: q or -1?
q
Let z = -6/107 - 3721/428. Which is bigger: z or -10?
z
Let z = 7 - 9. Let m = 2 - z. Is -1 equal to m?
False
Let f = -0.04 + 0.54. Is 0.1 smaller than f?
True
Let u(h) = -h**2 + 6*h - 13. Let b be u(5). Is b at most -8?
True
Suppose l + 2*v - 1 = 0, 3*l + 4*v - 8 = -l. Let j = l + -3. Which is bigger: j or -3?
j
Suppose p = 2*p. Let q be 3 + -4 - 14/(-12). Do q and p have the same value?
False
Let r = -71/316 + -2/79. Let k be (-24)/18 - 1/(-3). Which is bigger: r or k?
r
Let g be (2 + -3)/1 + 4. Suppose -7 - 1 = g*i - b, 4*i + 4 = 3*b. Which is smaller: -3 or i?
i
L