et o = 109 + -147. Is -36 at most as big as o?
False
Let z(h) = -h**3 + 27*h**2 - 25*h - 23. Let f be z(26). Let k = 10/89 + 7011/178. Let b = -38 + k. Which is greater: f or b?
f
Let o = 13 - 13. Which is smaller: o or 2/13?
o
Let m = 1 + 3. Suppose 4 = m*f - 2*f. Is f greater than 0.04?
True
Suppose 10*d - 6*d = -124. Is d at least as big as -33?
True
Suppose -2*m + 4*r = 0, -4*m - r + 9 = -9. Is m at most 15/4?
False
Let u(k) = -k - 1. Let h be u(2). Let g = 594 + -596. Which is smaller: h or g?
h
Let g be ((-1)/((-3)/66))/(-20 + 18). Is -15 greater than g?
False
Let f be 0 + 1*5/19. Let q = 59/3 - 375/19. Let y = q - f. Is -3 != y?
True
Let s be (-2)/(-24) + (-3)/9. Let g(o) = -2*o**3 - 45*o**2 - 23*o - 23. Let v be g(-22). Is v > s?
False
Let p = 16 - 15.9. Which is greater: p or -2?
p
Let w = 0.11 - 0.15. Let n = w + 2.04. Is n at least 1/10?
True
Suppose -6*s + 2*s - 10 = 2*p, -s + 2*p - 5 = 0. Is -4 >= s?
False
Let k be (7/(-4))/((-2)/24). Are 22 and k equal?
False
Let d = -49 - -49. Which is bigger: d or -10/9?
d
Let m = 47.3 - 48. Let b = -1.9 - -2. Is m at most b?
True
Let y = -36 - -36. Is -1/106 >= y?
False
Suppose 322 = 7*x - 14*x. Which is smaller: -47 or x?
-47
Let w = 24652/5565 - 1/795. Let n = w - 141/35. Which is greater: n or 0.2?
n
Let q = 11 - 12.4. Let n = 0.5 + -1.1. Let p = q + n. Are 1/4 and p nonequal?
True
Let p be -2*1*-2 + -2. Let w = 1 + p. Suppose -w = 3*j + 12. Is j at most -5?
True
Let r = -1.1 + -4.9. Let k = r + 8. Let h = -4 + k. Is h less than or equal to -1/3?
True
Let o = -2.12 - -0.12. Let g = -4 - -2. Let h = g - o. Which is smaller: 1/3 or h?
h
Let n = 38/391 - -72889/2346. Let u = n + -31. Which is bigger: u or -1?
u
Let a = -4 - -3.7. Let z = 0 - a. Let o = 6 + -4. Which is greater: z or o?
o
Let i(b) = 12*b - 43. Let k be i(3). Is k at least as big as -9?
True
Let n = -0.3 - -0.1. Let i = 0.3 - 1.3. Let o = -0.9 - i. Which is greater: o or n?
o
Let i be (4 - 5) + 1*-2. Let n(a) = -a**2 - 2*a + 4. Let j be n(i). Let s be (-18)/(-3)*(-2)/(-4). Is j < s?
True
Let p = 128 - 120. Which is greater: 47/5 or p?
47/5
Suppose 0 = -2*u - 10, -u - 4 = 2*o - 11. Which is greater: 2/7 or o?
o
Let j be (-51)/(-9) - (-10)/(-15). Which is smaller: 6 or j?
j
Let o be (236/(-8) - -1)/3. Which is greater: o or -10?
o
Let n be 4/28 + 1 + (-586)/(-14). Are n and 44 nonequal?
True
Suppose -i = -3*i + 40. Suppose 5*f - i = f. Let y = f - 6. Is y bigger than -1/6?
False
Let y be 2/7 + (-144)/14. Let b = y + 10. Is 1/11 <= b?
False
Let k = 0.21 + 4.79. Let r = -0.04 - 3.96. Let u = k + r. Is 1 greater than or equal to u?
True
Let d be 0 + -224*(-6)/(-10). Let g = d + 135. Is 0 smaller than g?
True
Let p = -6543/50 - -261/2. Let q = p - -149/275. Which is smaller: q or 0.1?
0.1
Suppose 3*p - 2*x + 6*x = 16, -p - 8 = -2*x. Which is greater: -1/12 or p?
p
Let z = -1/44 + -39/220. Is -1 at least z?
False
Suppose 0 = 5*k - 4 - 1. Suppose -c - 6 = k. Let w = -5 - c. Is 3 <= w?
False
Let n be 1/5 - (-681)/(-3255). Let w = 138/487 - 61114/105679. Let v = w - n. Which is smaller: 2 or v?
v
Suppose -2*x = -k - 2, 2*x + x - 3 = -4*k. Which is smaller: k or -26?
-26
Let k(z) = z**3 + 9*z**2 + 9*z + 8. Let w be k(-8). Let a be w/((-1)/(-2)*2). Is a bigger than 2/3?
False
Suppose 0*h - 2*h - 42 = -b, b + 4*h - 12 = 0. Let m be (-4)/(-6) - b/30. Is m at least as big as 1/2?
False
Let s be -2*2/6*138/5428. Is 1 less than or equal to s?
False
Suppose m = -5*c - 19, -2*m + 8 = -6*m - 3*c. Let s(r) = -r**3 + 14*r**2 + 17*r - 30. Let t be s(15). Which is smaller: m or t?
t
Let z = 121 - 465/4. Suppose 0 = 2*n - 3 + 13. Let f = n + z. Which is greater: f or -1?
f
Let p(o) = o**2 + 8*o - 6. Let y be p(-7). Let s = -19 - y. Which is smaller: s or -7?
-7
Suppose -6 = -7*n + n. Let p be ((-2)/10*2)/1. Which is bigger: n or p?
n
Let b(l) = l**3 - 6*l**2 + 5*l + 5. Let w be b(5). Suppose 5*o + r = 3*o + 8, -5*o + 25 = w*r. Suppose k = 3*f - 3, 2*k + 1 = 4*f - o. Does 2/3 = k?
False
Let g = -3 - -4. Suppose -2*c + 3*c - g = 0. Is c greater than 3/11?
True
Let h(w) = 6*w + 17. Let f be h(5). Which is smaller: f or 46?
46
Let a be 3*(2 - (-3)/(-3)). Suppose -a*z = 2*o - z + 8, -4*o - z = 4. Let n be (-1)/(1/(-2 + 1)). Is o not equal to n?
True
Let p(d) = -d - 4. Let k = 1 - 1. Let r = k - 5. Let t be p(r). Is t greater than 2/9?
True
Let f be (-3)/(-3) - 4 - 0. Let n = -37.7 + 38. Are f and n equal?
False
Let z = 2 - 3. Let a = -0.8 + 1.6. Let d = z + a. Is d >= 0?
False
Let v(q) = q**2 - q + 34. Let b be v(0). Suppose 3*m = -15, m - 3*m - b = -4*k. Which is greater: k or 5?
k
Let k(f) = f**2 + 19*f + 26. Let i be k(-17). Which is bigger: -10 or i?
i
Let v be (1/(-6))/((-8)/(-4948)). Let u = 103 + v. Suppose 0*t = t + 1. Which is smaller: u or t?
t
Let u = 75 - 75. Which is smaller: u or 2?
u
Suppose -4*w - 33 = 3*n, 40 = -4*w + 4*n - 0*n. Let q = 7 + w. Is q greater than or equal to -2?
True
Let h(u) = -u - 1. Let j(w) = 1. Let b(d) = -h(d) - 2*j(d). Let a be b(2). Is a greater than or equal to 3/7?
True
Let d be -2*((-44)/(-8) + -5). Let m be 12/21 + -1*1. Which is smaller: m or d?
d
Let x = 2 + -4. Let f be (22/(-20) + 1)*x. Suppose 5*y - y = 4. Is y at least as big as f?
True
Let i(n) be the second derivative of -n**3/6 + 4*n**2 + n. Let v be i(6). Suppose -v*k + 2*q - q = -8, -5*q - 18 = k. Which is greater: k or -2?
k
Suppose 0 = -2*a + 2, 1 = k - 2*a - 0. Let c = k - 0. Which is bigger: c or 4?
4
Let i be (0 + (-2)/(-7))/((-23)/(-161)). Are -5/11 and i equal?
False
Suppose 0*p + 24 = -4*p. Let s be (-2 - -6) + p/3. Suppose 3*g + s = -4. Is -3/2 less than or equal to g?
False
Let n = -0.4 - -1.9. Let o = n - 6.5. Which is greater: 1/3 or o?
1/3
Suppose f + 2 + 0 = x, 4*x + 5*f = 44. Suppose -4*o = -o + x. Which is greater: o or -3/2?
-3/2
Let b(g) = 4*g - 13. Let c be b(7). Which is bigger: c or 27/2?
c
Suppose -2*n = -0*n + 16. Let h be ((-3)/(-12))/((-6)/n). Which is smaller: h or -1?
-1
Let l = -14 + 13. Let r = 58 + -404/7. Is r bigger than l?
True
Let l = -42 - -587/14. Which is greater: 1 or l?
1
Let d = -11 - -7. Let w(u) = 0 + 4*u - 3*u + 3. Let x be w(d). Which is smaller: -1/5 or x?
x
Let j = 1 - 0. Suppose 7 = 2*f - 2*i - 9, -12 = -2*f + i. Suppose f = 3*v + j. Which is smaller: v or -2/5?
-2/5
Let v = -124 + 8306/67. Is v equal to 0?
False
Let b(t) = t**2 - t. Let a be b(1). Let d = -18 + 122/7. Which is smaller: d or a?
d
Suppose 0 = 3*r - 2*r + 12385. Let n = r - -62642/5. Let g = n - 143. Are 1 and g equal?
False
Let c = 0.45 + 0.35. Is 0 at least as big as c?
False
Let q be (-20)/6 - (-3)/9. Let h be 3 + (17/q - -3). Is h greater than or equal to 0?
True
Suppose 3*u = 3*y, 2*u - 3*u - 4 = -5*y. Is 19 <= y?
False
Let d be 2/4 - 1/(-2). Let m(o) = -4*o**3 - 2*o**2 + 1. Let s be m(d). Let b = s - -5. Is 0 < b?
False
Let o(x) = -x - 7. Let t be o(-3). Let f be (-1)/(-12) + 1/t. Let w be 6/8 - (-1)/4. Which is smaller: f or w?
f
Suppose 3 - 13 = 2*v, 0 = 5*x - 4*v - 30. Suppose m = x*b - 5 - 4, -5 = 5*m. Let g be (-10)/b - (-1 + 0). Which is smaller: -0.1 or g?
g
Suppose 6*z - 4 = -82. Do z and -9 have different values?
True
Let t(j) = 19*j. Let n be t(1). Is n smaller than 20?
True
Let v = -12 + 19. Is v < 6?
False
Let z(r) = -r**3 + 7*r**2 + 8*r. Let l be z(8). Suppose l = 4*k - 0*k + 4. Is k < 1/4?
True
Let w = -68 - -275/4. Is w at most 0?
False
Suppose -v - 2*v = 0. Which is smaller: v or 0.04?
v
Let m = -2 - -1. Let k be -2 + 1 - (2/(-8) - 0). Is m bigger than k?
False
Let k be (-1)/(-3)*(3 - 3). Suppose -y + 6 + 0 = 0. Suppose k*r = -3*r + y. Which is greater: 3 or r?
3
Let a = 3.2 + -3. Let f = 2.1 + 0.9. Which is bigger: f or a?
f
Suppose 2*y + 0*y + 20 = 0. Let p = -10 - y. Is -4 < p?
True
Let l(b) = -2*b - 1. Let z be l(-1). Let c = 30/7 - 113/28. Are c and z nonequal?
True
Let y = 4.6 - -0.4. Let m = y - 5. Let w = -27/38 + -3/76. Which is smaller: m or w?
w
Let v be (-100)/15*63/(-2). Let d be 15/(-25) + 166/v. Are 0 and d non-equal?
True
Let q be (-2)/56 - 2/(-7). Is 9 > q?
True
Suppose 2 = 2*q - 0. Let z be 42/7 - 1/q. Let k = 1 + 0. Which is smaller: z or k?
k
Let y = -0.05 + -3.95. Let h = y - -2. Are h and 1 equal?
False
Let z = 9 + -9.2. Let o = z - -0.3. Let s = 0.1 + -0.1. Are s and o nonequal?
True
Let y = -7