f = -121.024 + b. Which is smaller: 1/4 or f?
f
Let s(l) = -76*l + 228. Let z be s(3). Is z bigger than 7/29?
False
Let l = 6.3 - 7. Let o = l + 0.5. Let s be ((-16)/14)/((-5)/(35/2)). Is s >= o?
True
Let c = 8.7 + 2.21. Let x = c + 0.09. Which is bigger: x or -2/3?
x
Let g(f) = -f**3 + 6*f**2 - 6*f + 5. Let a be g(5). Let u be a/(-8)*2/(-2). Which is greater: u or -2?
u
Let v = -539 - -8087/15. Does v = -3?
False
Let m be (-2*1)/(-4)*0. Let a = -15 - -19. Suppose -a*c + 24 = 3*t, m*c = 4*t + c - 45. Is t <= 11?
False
Let o = 15.9 - 10.8. Let t = o + 0.9. Let b = t - 8. Which is smaller: b or 1?
b
Let l = -41 + 49. Let i = l + 1. Which is smaller: i or 10?
i
Suppose 195*g = 199*g - 3300. Is g greater than 825?
False
Let q = 25.29 - 25.5. Which is greater: q or -11?
q
Let r be ((-342)/(-42) - 9)*(-82 + -2). Which is smaller: 69 or r?
69
Suppose 3*h + 14 + 10 = 0. Let q be (1/h)/(10/4). Let c(b) = 13*b**2 - 495*b + 37. Let z be c(38). Which is bigger: z or q?
q
Let f be 5 + (1 - 7) - -2. Is 209 equal to f?
False
Let b(k) = k**3 + 9*k**2 - 8*k + 5. Let y be b(-10). Let z be (-25356)/(-140) - 9/y. Let f = z - 182. Are f and -1 nonequal?
True
Suppose -11*h - h = -12. Let q be (-9*2 + h)/(-1). Is 6 greater than q?
False
Let t(p) = -2*p + 7. Let o be t(6). Let c(z) = -z**3 - 3*z**2 + 2*z + 2. Let l be (-2)/12 + (-357)/126. Let d be c(l). Are d and o equal?
False
Let v = -5094 - -2664161/523. Which is greater: v or 1?
1
Suppose 44*j - 414 = 35*j. Which is smaller: 45 or j?
45
Let y = 1166/35 - 208/7. Which is smaller: y or 1?
1
Suppose 0 = -3*s + 26 - 11. Let n(g) = -5*g + 6. Let t be n(s). Is t <= -18?
True
Suppose 5*z + 7*z - 624 = 0. Suppose 2*v = 2*h + z, -154 = -h + 6*h + 3*v. Is h less than or equal to -31?
False
Let d = 117 - 106. Let t(i) = 2*i**2 - i + 10. Let q be t(0). Does d = q?
False
Let p = 2.97 + 0.03. Let w(b) = -2*b**2 - 9*b + 8. Let d be w(-5). Let x be (-2)/6 + (3 - d). Which is smaller: p or x?
x
Let w = 560.2 + -560. Is 1.36 != w?
True
Let k = 108 - 108.3. Let l = -1 + 7. Do l and k have the same value?
False
Let l = -62989058/146115 - 2875/3247. Let v = l - -432. Is v less than 1?
True
Let z be (12/10)/(495/(-300)). Let t = z + 21/44. Is 3 bigger than t?
True
Let r = 16 - 35. Let d = r + 20. Which is bigger: d or 21?
21
Let w = -22 - -46. Suppose -a = v - 10, 4*a = -v + 5*v - w. Are 3 and v equal?
False
Let z(k) = 3*k**2 + k. Let d be z(1). Suppose -4*c - d*w = 0, w = -4*c - c. Let v = -11 - -9. Is v greater than c?
False
Suppose -p + 6*p - 140 = 0. Let z = 47 - p. Suppose 3*x = -6*c + c + 16, -3*x - z = -2*c. Is x < -3?
False
Let n = -11 - -5. Let v = 12 + n. Let o be (-16)/130 - v/(-30). Is o bigger than -1?
True
Let j = -2 + -18. Is j less than -20?
False
Suppose -4*g + d - 108 = -43, 2*g = -3*d - 29. Is g at least -14?
False
Let g = -1.1 - -0.3. Let m = -7.8 - g. Let p = m - -7.1. Which is smaller: p or -0.04?
-0.04
Suppose -7*c = -4*c - 378. Suppose -2*b + c = -11*b. Let r = -29 + 16. Is r greater than b?
True
Let n be 73/(((-8)/(-44))/((-36)/(-99))). Which is smaller: 148 or n?
n
Let q be (-775)/(-50)*((-5)/1 - -1). Is q less than -63?
False
Let k be 0 + (2 - (3 + 1)). Let q be (k - -3)*(-9)/(-1). Let g = q + -12. Is -3 < g?
False
Suppose 4 = -5*h + 3*f, 3*f + 2 + 4 = 0. Let k(p) = -16*p + 2. Let v be k(h). Which is greater: 33 or v?
v
Let y be (-2)/22*-1*(-54124)/4. Let s = 1231 + y. Which is bigger: s or 1?
1
Suppose w + 24 = 2*y, 3*y - 22 = -w + 9. Suppose 2 = -n - a, -4*n + 0*a = 5*a + y. Suppose -b = -n + 9. Which is bigger: b or -7?
-7
Let k(q) be the second derivative of -q**4/12 + 7*q**3/3 - 3*q**2/2 - 4*q. Let l be k(14). Is -5 smaller than l?
True
Let u = 10 + -3. Suppose 0 = -3*f - 11*f + 84. Which is bigger: u or f?
u
Suppose -3*y + 2*s + 6 = 0, 0 = -3*y + s + 9 - 0. Let h(d) = 2*d**2 - 20*d + 6. Let w be h(10). Is w not equal to y?
True
Let b be ((-7)/42)/(4/6). Let y = -26 + 38. Let d = y + -12.1. Which is bigger: d or b?
d
Let f be (430/(-15))/((-16)/24)*1. Is -5 at most f?
True
Suppose 5*o + 333 = 4*k, 5*k - 23*o = -26*o + 370. Is 2 smaller than k?
True
Let z = -7 - -6. Is 0.8 at least as big as z?
True
Suppose -5*y + 4*t = 2*t + 1, -7 = -3*y + 5*t. Let s be ((-4)/(-6))/(20/(-38)) - -1. Which is greater: s or y?
s
Let c(a) = 130*a - 1321. Let y be c(10). Let g be -1 + 1/((-2)/41). Which is smaller: g or y?
g
Let g = -0.33 + -0.67. Let u = -1.3 - -2.2. Which is smaller: g or u?
g
Let c(d) = -6*d + 1. Let a(k) = -7*k + 2. Let i(s) = 5*a(s) - 6*c(s). Let w be i(-7). Let h be ((-2)/w)/(8/12). Is -0.07 at least h?
False
Let x be ((-564)/48 + 10)/((-1)/8). Are -26 and x nonequal?
True
Let d = -1 + 0.8. Let o = -0.15 + 0.15. Let b = d - o. Which is bigger: -4/3 or b?
b
Let d = -0.018 + -32.282. Let r = 60.9 + d. Let b = r + -30. Which is smaller: b or 1?
b
Let t be ((-14)/(-10))/(4/20). Which is bigger: 4 or t?
t
Let n = -32 + 32.1. Let r = n + 0.25. Let s = r - 0.32. Is 2 <= s?
False
Let g = 8.2 + -0.2. Let k = 8.6 - g. Let q = k - 0.6. Which is greater: -5/7 or q?
q
Let t = -765 - -721.3. Let x = t - -45. Do -0.3 and x have different values?
True
Let v = -1.76 + 0.16. Let l = -13.6 - v. Let i = l - -12.2. Which is greater: i or -0.7?
i
Let s(m) = -m**3 + 3*m**2 + 3*m. Let h be s(-2). Let v be 0 + 17 + (-6 - (2 - 6)). Is h < v?
True
Let s = 63/265 - 2/53. Let b = -171 + 172. Is b at most as big as s?
False
Let w = 71017/801 - 7873/89. Let j = -2/89 - w. Which is greater: j or -2?
j
Let f(b) be the third derivative of b**4/24 + b**3/2 - 6*b**2. Let p be f(-3). Which is smaller: p or -3/7?
-3/7
Suppose 14 + 0 = 7*d. Let i be (-6)/(-12)*(11/d - -1). Is 1 greater than i?
False
Let w = 0.749 + 1.251. Which is smaller: -155 or w?
-155
Let t(y) = -y - 40. Let i be t(-49). Which is bigger: i or 4?
i
Let g(o) = 3*o**2 - 2*o + 11. Let z be g(6). Is 106 at least as big as z?
False
Suppose -d + 8 = 3*i - 19, 3*d + 29 = 2*i. Which is greater: i or -22?
i
Suppose -v - 3*v = -96. Suppose 2*k = -2*k + v. Which is greater: 7 or k?
7
Let y = -90.3 + 107. Let r = 17 - y. Let s = -3.3 + r. Which is bigger: 3/7 or s?
3/7
Suppose -7*n = -5*n + 6. Let k = -3 - n. Are 6/37 and k nonequal?
True
Let v be (18/(-15))/(12/80). Which is bigger: -39/5 or v?
-39/5
Let g = -249 - -258. Suppose 4 + 6 = -5*n. Let z be 10 - (3 - (n - -3)). Is g != z?
True
Let y = -5520 + 3280. Let i be 4/10 + 221/y. Let m = i - 1/64. Which is greater: -1 or m?
m
Let j = -16 + 22. Suppose -j = -u + 4. Let p be 10/18 - 6/u. Which is bigger: 0 or p?
0
Let p be 4 + 30/5 - 477. Is p bigger than -468?
True
Let m(d) = d + 27. Let n be m(-21). Let t be n/(-8)*64/(-24). Is t less than or equal to 2?
True
Let t(s) = s**3 - 28*s**2 + 77*s - 3. Let q be t(25). Which is greater: q or 52?
52
Let v be -2*1*(-6)/(108/(-1461)). Let p = v - -749/6. Do -37 and p have the same value?
False
Let b = -23 + 14. Suppose 2*s + 1 - 9 = 0. Suppose -5*q + m = 48, -s*q + m = -7*q - 24. Is q < b?
False
Let a = -15 - -15. Suppose -5*x + 4*z - 49 = a, -5*x + 0*z = 2*z + 73. Which is greater: -11 or x?
-11
Let z(x) = -3*x**2 - 5*x - 3. Let f be z(-7). Let g be f/(-30)*3 - (-1)/2. Which is smaller: 1/4 or g?
1/4
Let i be (-1065)/(-11) + (-92)/(-22) + -4. Let b = i - 128. Which is greater: b or -30?
-30
Let t(p) = -p**3 - 13*p**2 - 6*p + 8. Let b be t(-9). Let r = -48/179 - 422366/1611. Let g = b - r. Which is bigger: -1 or g?
g
Let o = 1967 + -1856. Do o and 120 have the same value?
False
Let l be (3 - -1)*(-28)/16. Let v = 11 + l. Suppose 4*c - 12 = -3*s, -c = -0*c + s - v. Is c less than 5/6?
True
Let m(q) = 75*q**3 + 4*q**2 - q - 6. Let o be m(-2). Let g = o + 11175/19. Which is bigger: g or -2?
g
Let k be ((-96)/(-45) - -3)*-3. Do -14 and k have the same value?
False
Let a(i) = 3*i - 2. Let b be a(3). Suppose b*x = -3*f + 3*x + 7, 0 = -4*x - 8. Suppose 4*j - f - 3 = 0. Is j at least 3/2?
True
Let m(r) = -3*r + 46. Let q be m(8). Suppose -166 = -5*s + 4*c, -2*s = 4*c - 66 + q. Is s less than 28?
False
Let a be 1 + 2/((-4)/38). Let t = 103 + -92. Suppose 0 = -3*j + t*j + 152. Is j > a?
False
Let d(k) = k**3 + 9*k**2 - 6*k + 12. Let x be d(-10). Let t be 4/((-32)/x)*-1*2. Are t and 1/5 equal?
False
Suppose 3*u = 2*u + 16. Suppose 2*x + u = 4*i, 2*x - i + 9 = 4*x. Let a be (-11)/33 + x/6. Is 1/