ich is bigger: t or 1/40?
1/40
Let s be 4/3 - 128/240. Suppose 0 = -4*b + 20, 4*w - 2*b + 4 = -6. Is s != w?
True
Let a be -46 + 45 - 1/(-1). Which is smaller: a or 6/19?
a
Let m(t) = -9*t**3 + 56*t**2 - 10*t + 26. Let v be m(6). Which is smaller: v or 297/8?
297/8
Let j = 2 - -1. Let z(l) = l**3 + 13*l**2 + 12*l - 12. Let r be z(-12). Let u be 9/r + (-116)/(-112). Is u < j?
True
Let g = -13 - -11. Let f = 13 + g. Suppose 41 = 5*l + f. Is l less than or equal to 5?
False
Let g(j) = -5*j + 42. Let s(l) = l - 8. Let a(c) = -2*g(c) - 11*s(c). Let o be a(3). Which is smaller: o or 9/5?
o
Let g = 7 - -4. Let w = 159 + -154. Is g smaller than w?
False
Let s = -76 + 119. Let d = -67 + s. Let q = 27 + d. Which is greater: 0 or q?
q
Let f(o) = 2*o**3 + 2*o**2 - 6*o - 2. Let q be f(3). Let w be 44/760*q - 3. Is w > 1?
False
Suppose 7*c - 9*c = 70. Is -37 < c?
True
Let v be ((-3)/2)/(135/27792*2). Which is greater: -154 or v?
-154
Suppose -5*p - 16 = -2*r - p, 0 = 4*p + 12. Suppose z = b + 4*b + 4, r*z = 5*b + 3. Let y = -105/4 - -213/8. Which is smaller: b or y?
b
Let d(a) = -3*a - 83. Let z be d(14). Is z < -125?
False
Suppose 7*c - 288 = -c. Let i be (2/c)/((-12)/(-18)*-4). Which is smaller: i or 0?
i
Let s(i) = i**3 + 6*i**2 - 6*i + 10. Let d be s(-7). Let b(j) = 7*j**2 - 5*j + 6. Let l be b(2). Suppose -d*g - 63 = -l. Which is smaller: g or -11?
g
Let w be 1*2*((-336)/32 - -11). Are w and -1/71 unequal?
True
Let o = 0.38 + 5.92. Let a = -1.3 + o. Which is greater: -0.1 or a?
a
Suppose 3*x - d - d - 8 = 0, 5*d + 20 = -x. Is -3/925 smaller than x?
True
Let q = 30 - -106. Let f be q/(-152) - (-1 + 0). Let a be (-2)/4*18/54. Are f and a equal?
False
Suppose -2*t = -3*q - 672, -3*t = 5*q + 22 + 1098. Is q equal to 0?
False
Let v be ((-1)/7)/((-56606)/(-581)). Is v at most -1?
False
Let s be 4/88*4 - (-608)/(-198). Which is smaller: s or -4?
-4
Let c be 54/((-2)/14 + (-12)/14). Let s = c - -58. Which is bigger: s or 1?
s
Let t be (-9)/(-18)*(2 + 0). Let k be (8 - (t + 3))*4. Does 16 = k?
True
Suppose 114 = 8*w - 206. Let k be 36/w - (-2 - (-48)/20). Is 1 <= k?
False
Let m = -84.56 - -84. Let r = m + 12.56. Is 2/5 less than r?
True
Let h be 10 - (-4 - -3 - -5). Suppose -2*j + h*j = 0. Suppose j = 2*k + w + 6 + 5, 22 = -5*k + 3*w. Which is greater: k or -6?
k
Let r be 4 + (-5)/(6560/476). Let g = r + 2008669/3608. Let f = 560 - g. Which is smaller: 0 or f?
f
Suppose -2*i + i = 0. Let m = 608/1209 - 104/93. Which is greater: m or i?
i
Suppose 143 = -23*j - 133. Is -10 smaller than j?
False
Let c(o) = 2*o**3 - 34*o**2 - 37*o + 23. Let t be c(18). Let w = 3 - -2. Suppose -5*u - a + w = -5*a, 5*u + a = t. Is -1/27 smaller than u?
True
Let n = -11.46 + 11.46. Do 5.11 and n have different values?
True
Suppose 25 = x - 5*p, -2*x - 2*x + p + 81 = 0. Suppose -5*k + 37 = -4*k - 5*h, 4*h + x = 0. Suppose r - 5*r + k = 0. Is 2 at most r?
True
Let z = -149 - -130.9. Let u = z + 19. Let g = 0.1 + u. Which is bigger: 3 or g?
3
Let x = -209.07 + 209. Which is smaller: -8 or x?
-8
Let b = 0.07 + -0.77. Let u = -1 - b. Is 0.02 at most u?
False
Let t be (1 - -2)*6/9. Suppose 2*y + t*y = 20. Is y bigger than 56/9?
False
Let r = -365.862 + 366. Is r smaller than -0.1?
False
Let a = -17 - -25. Suppose 3*g + 271 = 292. Does a = g?
False
Let p = 63 + 9. Suppose -4*o + 3*i - 228 = 0, -4*i - p = 4*o + 128. Are -55 and o equal?
False
Suppose 0 = 3*d - 5*p - 15 - 33, 5*d = 3*p + 64. Does d = 9?
False
Let p(o) = -11*o**3. Let x be p(-1). Let f be (-24)/45 + (-4)/(-3). Is x bigger than f?
True
Let o = -32 + 45. Let i = o - 12.92. Let p = i - -0.42. Which is bigger: p or -0.1?
p
Let g(y) be the third derivative of y**6/120 - 7*y**5/30 + y**4 + y**3 + 10*y**2. Let r be g(12). Are r and 6 unequal?
False
Let q(d) = d**2 + 18*d + 22. Let k = 16 - 33. Let v be q(k). Suppose 12 = -5*p + g + 43, 5*p + 2*g - 43 = 0. Are v and p equal?
False
Let d = -1335 + 1107. Does -227 = d?
False
Let d(y) = -y**3 - y**2 - y + 3. Let v be d(0). Let r be (-3 + v)/(4/2). Suppose 2*k + 3*w + 11 = r, w = -4*k - 3*w - 12. Which is bigger: k or -0.3?
k
Suppose -3*w + 4*n + 24 = n, 5*w - 56 = -3*n. Let d = -339 - -328. Let z = d + w. Is z at most as big as 0?
True
Let q(p) = p**3 - 18*p**2 - 7*p - 9. Let l be q(20). Which is smaller: 652 or l?
l
Let q = 789 + -792. Which is smaller: 9 or q?
q
Let a = -42 - -31. Let c = -11 - a. Is 5/8 >= c?
True
Let l(w) = w**2 - 27*w + 135. Let k be l(5). Let d = -1 + 1. Is d less than k?
True
Let q = -1 + 2. Suppose -u - 19 = 5*a + q, -2*a = 4*u + 44. Let b be (-6)/u - 10/(-25). Is -2 less than b?
True
Let n = -4.245 - -0.245. Is -1/8 bigger than n?
True
Suppose -4*f + 9*f - 4*r + 11 = 0, -5*r - 17 = 4*f. Let u be 5 + 3*(f + 2). Suppose 2*n - 8 = -u. Is 2 at most n?
True
Let d(j) = j**3 - 15*j**2 + 15*j - 11. Let w be d(14). Suppose 0 = -3*z - w*k, 6*z + 3*k = 5*z - 2. Let i be 13*z/(-6) - -2. Which is greater: i or 2/7?
2/7
Let k(j) = 47*j - 45*j + 59 - 9. Let w be k(-23). Is w <= 0.2?
False
Suppose -3*g = -6*g + 12. Suppose -3*z + 1 + 2 = 0, -5*y - g*z - 16 = 0. Let f be 5 - (y + 4/1). Is f at most 11/2?
True
Suppose -100 = -5*t - 2*s, t - 3*s - 26 - 11 = 0. Suppose -2*j + 0*j = y - 7, -y = 5*j - t. Let o = -6 + 5.9. Are o and j non-equal?
True
Suppose 7*s + 16*s = -23. Is 142 at least as big as s?
True
Suppose o - 3*o = -v + 21, -o = -v + 26. Are 129/4 and v non-equal?
True
Let d = -23 - 0. Which is bigger: d or -28?
d
Let o be (3 - (-25)/(-10)) + 423/6. Let m be (-21 - 0)*30/(-9). Is o not equal to m?
True
Let y = -45 - -44.78. Let j = -2 - -2.08. Let z = j + y. Which is smaller: 1 or z?
z
Suppose -7 = 3*c + 3*n + 2*n, 2*c = n + 4. Let x be 56/(-14) + 4*c. Is x at least -1/126?
True
Let n = 445.08 + -21.08. Is n smaller than 2?
False
Let j(z) = z + 1. Let o(m) = -m + 3. Suppose -f + 2*f - 3 = 0. Let i be o(f). Let u be j(i). Which is greater: -3/14 or u?
u
Suppose 0 = -5*k + 25, -601 = -4*l - 0*k - 5*k. Let a be 0 - (-4)/(-10) - l/140. Let j = 1.1 + -0.1. Is j smaller than a?
False
Let h be (-11 - -6) + -5 + 5 + 278. Is 271 > h?
False
Let c = 232/7 - 471/14. Is c greater than 3/14?
False
Let w be (-1 - -1)/(2 - 0). Let p be w + (-35)/15 - -2. Is p greater than or equal to 4?
False
Suppose 6*o - 12 + 6 = 0. Let w be ((-26)/(-132))/1 + 4/(-8). Which is bigger: w or o?
o
Suppose -3*d - 75 + 24 = -4*u, 2*d = 6. Suppose -1 - u = 2*g. Let a be (-26)/g + 1/(-4). Is -1 != a?
True
Let g(q) = 6*q - 21. Let v be g(8). Let r = v - 27. Is r > 10/9?
False
Let w = -8/9 + 38/63. Suppose 5*p = 3*s + 9 - 0, 4*p - 4*s - 12 = 0. Which is smaller: p or w?
w
Let r = -3 + 5. Let o = 0 - r. Let i be o/(-8) - (-3)/(-12). Are 2/5 and i non-equal?
True
Let g be 2 + 0 - (8 + 2). Let i(p) = -p - 8. Let m be i(g). Suppose 4*z - 4*f - 40 = m, z - 4*f = -f + 6. Which is smaller: z or 10?
10
Let y be ((-1)/(-3))/((-3)/36). Suppose 0 = 11*i - 6*i + 15. Let p(t) = 2*t + 4. Let f be p(i). Which is smaller: y or f?
y
Let r = 1065 - 991.9. Let d = r + -73. Which is greater: d or 1.4?
1.4
Suppose -3*v - 2*i = 13, 2*v + 5*i = -17 - 10. Let j = 100 - 353. Let z = 6324/25 + j. Which is smaller: v or z?
v
Let g(q) = -3*q**2 - 59*q - 33. Let j be g(-20). Is j bigger than -51?
False
Let j = -11.4 - -15. Let s = j - 3.8. Is 6 at most s?
False
Let q = -76/3 + 51/2. Let a = 2564 + -2564. Which is greater: a or q?
q
Let q(v) = -v**3 + 4*v**2 - 5*v + 4. Let z be q(2). Suppose -5*m + 2 = -4*i - 6, -5*i = -4*m + 19. Do i and z have different values?
True
Suppose -7*l + 92 = -4*l - 4*h, 4*l = -h + 91. Is l bigger than 24?
False
Let x = 849 - 859. Is x bigger than -16?
True
Let i be 4316/748 + 12/(-66) + -3. Which is smaller: i or 2?
2
Let z = 193575012/37 + -5230803. Let k = 954 - z. Which is smaller: k or 0?
k
Let f = -1979 + 3027. Is f smaller than 1049?
True
Suppose 4*o - 3 = -3*y - 0, -3*y - 3*o = -3. Let l be (-27)/18 + y/2 + 0. Let a = 0 - 0. Is l >= a?
False
Let i be ((-13740)/39)/(-2) + 3. Let g = i + -179. Does g = -1?
False
Suppose 5*l + 0*l + a = 6, 1 = 3*l - 2*a. Let o be 14*6/(-12) + l*3. Which is greater: o or -2?
-2
Let n = -49 + 44. Is n at least -35/9?
False
Suppose -5 = -0*n + 3*n - 4*a, -n + 2*a = 1. Let h = 9 + -33. Let c = -23 - h. Which is greater: c or n?
c
Let g = 1849/2926 + -25/38. Is g greater than