 bigger than 3?
False
Let v(d) = d**2 - 7*d - 29. Let r be v(-6). Let p = r + -84. Is p <= -36?
False
Let d = -7 + 5. Suppose -s + 1 = -4*i, -54*s + 50*s = -4*i - 4. Is i greater than d?
True
Let p be (34 - 30) + -60 + -2. Is p > -58?
False
Let n(o) = 6*o**3 - o**2 - 9*o - 7. Let f(m) = -5*m**3 + 8*m + 7. Let b(q) = 5*f(q) + 4*n(q). Let x be b(-5). Is 13 at most as big as x?
False
Let i = -10.02 + 0.02. Let w = -17.5 - -7.7. Let b = i - w. Which is bigger: b or 0.04?
0.04
Let s = -646.7 + 647. Which is smaller: -0.02 or s?
-0.02
Let p = -5 - -5. Let x(c) = -102*c**2 - 2. Let m be x(2). Let f = 2057/5 + m. Is p bigger than f?
False
Suppose 0 = 6*s - 2*s + 4*q + 76, 3*q = 4*s + 76. Is -17 bigger than s?
True
Suppose -w + 19 = -2*b, -4*w - 5*b + 3 = -8. Let v = -7529/212 + 3/212. Let i = v + 35. Is w less than i?
False
Suppose 26 = 4*d + 10, 4*k + d - 32 = 0. Are k and 13/2 equal?
False
Suppose -2*n = -7*n + 85. Suppose -5*u = -4*i + n, -4*i + 5 = -2*u - 3*i. Let o = 1 + u. Which is greater: 3 or o?
3
Let k = 4/8024959 - -35719089597/5842170152. Let c = -49/8 + k. Is -1 at most c?
True
Let f be 4/(-3) + 138/(-18). Let z be (f/(-4))/((-66)/16). Are z and 0 equal?
False
Let h be -1 - 10*1/(-13). Suppose -3*z + 6 = -5*d + 1, -2*d + 4*z = 2. Is d <= h?
True
Let r be -2 - (-3 + 1 - 5). Are r and 24/5 unequal?
True
Let g = 2 + -10. Let m = -620 + 621. Is g at most m?
True
Suppose -2*z + 15 = -3*v, -4 - 21 = -z + 5*v. Is 2/451 at least as big as z?
True
Let u be 4 - ((-40513)/915 + 1). Let l = 14/183 - u. Let k = 244/5 + l. Is k smaller than 3?
True
Let g = -899 - -899. Which is smaller: -6 or g?
-6
Let b be (8/(-30))/((-6)/(-2715)). Is -120 greater than or equal to b?
True
Let a be (-2)/4 - 20/8 - -8. Suppose -171 = 5*y + 2*w, -y + a*w - 150 = 4*y. Which is bigger: -34 or y?
y
Let x be (-76)/88 + (-56)/(-154). Which is bigger: 98/9 or x?
98/9
Let d(w) = -w**3 - 6*w**2 + 1. Let h be d(-6). Let y = -337/4 + 764/9. Let l = y - -1/36. Which is greater: l or h?
h
Let v(f) = f**3 + 7*f**2 - 5*f - 6. Let h be v(-8). Let m be (-1 + 5/3)/(350/h). Do 0 and m have the same value?
False
Let r = 4 - 10. Let q be 2/((-6)/21) + -3. Let n be ((-6)/60)/(4/q). Is n < r?
False
Let z be (12/(-5))/(17/(-510)). Let j = -85 + z. Suppose 2*f - 5*u + 0*u + 21 = 0, 0 = 3*f - 3*u + 36. Is j less than f?
False
Let d(m) = -2*m**3 - 25*m**2 - 8*m + 12. Let x(w) = -2*w**3 - 24*w**2 - 8*w + 13. Let s(u) = -3*d(u) + 4*x(u). Let h be s(-10). Which is smaller: -34/9 or h?
h
Let m = -431 - -429. Is m < 0.67?
True
Let f = -43.5 - -55.5. Is -1/15 bigger than f?
False
Let a = 5688 - 2202. Let f = -665828/191 + a. Which is smaller: f or 1?
f
Suppose 5*p - 2*n = -3, -5*p - 6*n - 9 = -2*n. Which is greater: 3/2204 or p?
3/2204
Let i be -1 + (-7)/(21/(-24)). Let l = 11 - i. Let s be (2/(-4))/((-2)/20). Which is smaller: s or l?
l
Suppose -33 = -s - 2*s. Which is smaller: s or 9?
9
Let q be (-18)/(-252) + (-331)/518. Are q and -1 non-equal?
True
Let b(z) = 5*z**2 + 61*z + 48. Let o be b(-9). Is o less than or equal to 0?
True
Let u = -0.11 - 1.89. Let o = 244 + -249. Which is bigger: o or u?
u
Let b = -51965/34 + 1528. Are -1 and b nonequal?
True
Let f be ((-4)/4)/(93/(-30) - -3). Let k be -5*((-12)/f)/3. Let r = 0.1 - -0.1. Which is smaller: r or k?
r
Let h = -8.94 - 136.91. Let v = 142 + h. Let j = -0.15 + v. Which is greater: j or -2?
-2
Suppose 2*z + 4*d = -42, -2*z - 18 = -22*d + 20*d. Is -12 greater than z?
True
Suppose -2*m = -3*m + 4. Suppose 5*s - 28 = 4*u, -m*s + 3*u + 17 = -5. Are s and -12 unequal?
True
Let z be (-124)/(-7) - 2/(-7). Let f = z + -12. Suppose f*h = 5*h + 2. Is 2 less than h?
False
Suppose 142 + 450 = 4*j. Which is greater: 147 or j?
j
Let h = 724859/12444 - -1/3111. Do 1 and h have the same value?
False
Let c be 143/169 + (-2)/(-13). Which is bigger: c or -1/130?
c
Let q = 201.1 - 212.1. Is q > -10?
False
Let t = -2/1457 + -1437/14570. Which is smaller: t or 45?
t
Let y be 850/15*((-12)/5)/2. Let r = -59 - y. Are 9 and r non-equal?
False
Let a = -2 + -9. Which is bigger: -4 or a?
-4
Let l be (-146)/(-24) + 4/6. Suppose 16*y = 76 + 36. Is l at most as big as y?
True
Let j = 1 + 1. Let h = 3908.08 + -3908. Which is greater: j or h?
j
Suppose -2*v - 1 = -3. Let d = 981 - 6869/7. Do d and v have different values?
True
Let f = -90.7 + 91.7. Is f at least as big as 0.846?
True
Let b(j) = j**2 + 5*j - 6. Let n be b(-6). Suppose 5*w = -n*w. Suppose 3*a + 10 = -2*x, -x - 5 = -w. Does a = 4/9?
False
Suppose 0 = 3*s - 8 + 20. Let f be (-6)/((-4)/(-1 + 3)). Let z be 69/(-12) + -1 + f. Which is bigger: s or z?
z
Let c = -75 + 80. Suppose 7 + 8 = -c*m. Which is smaller: m or -0.04?
m
Let i = 97 - 64. Is i at least as big as 37?
False
Let a(q) = -q**2 - 53*q + 55. Let j be a(-54). Is 3/22 less than j?
True
Suppose -3*q + q = -5*j - 37, -q = 2*j - 14. Let r = q + -9. Let b = -2 + r. Is 2 < b?
True
Let h be (-7)/(70/(-120)) + 79. Which is bigger: 15 or h?
h
Suppose -i + 7 + 3 = 0. Suppose -3*o + 0*o + 18 = -3*t, 0 = 3*t + 4*o - i. Suppose 2*x + 1 = x. Is t >= x?
False
Let x(n) = 6*n**2 + 39*n + 23. Let v be x(-6). Which is bigger: v or 8?
8
Suppose 13 = -2*r + 5. Let c = 39 - 47. Let g be c/12*2/r. Which is greater: 11 or g?
11
Let z be 32/112 - (15/(-21) + 1). Let a be -4 - ((-1 - 3) + z). Which is smaller: -2/149 or a?
-2/149
Let t = -1001 + 1001. Which is smaller: 1.41 or t?
t
Suppose 366*u = 374*u - 560. Which is greater: 73 or u?
73
Let c be (-2212)/(-9) - -4 - 1. Let l = -249 + c. Which is greater: 1 or l?
1
Suppose 5*a - 4*n = 79, 0*n - n = -3*a + 46. Suppose 0*q - a = -3*q. Let w = -4 + q. Which is greater: w or -2/27?
w
Let r be 2/8 - 226/(-56). Let l = -242/63 + r. Let s(c) = c**2 + 3*c - 1. Let x be s(-3). Is l greater than x?
True
Let l(d) = -12*d + 2. Let j be l(1). Let s be -1 - 14/j - (-791)/(-1890). Which is smaller: s or 0?
s
Let r be ((-3)/(-5))/(((-525)/182)/25). Which is bigger: -0.1 or r?
-0.1
Suppose 3*p = p - 2*p. Let n be (-3)/((-342)/(-4)) + 32/48. Do p and n have different values?
True
Let n = -26 + 29. Let a be (-264)/18 + (-1)/n. Do a and -15 have the same value?
True
Suppose p - 2 = 0, 0 = -2*o - 4*p + 10 + 12. Which is greater: o or -5?
o
Let g(w) = w + 6. Let o(d) = 1. Let b(k) = -g(k) + 4*o(k). Let j be b(-4). Suppose p = x + 1, -5*x - 8 = j*p + 4. Are p and -1 unequal?
False
Let q = 104 - 108. Let r be 1 + -2 - -2 - -4. Let c = q + r. Which is bigger: 2/9 or c?
c
Let n be ((-12)/14)/((-7182)/588). Which is bigger: 1 or n?
1
Suppose 4*y - 5*k = -297, 4*y - y + 225 = 3*k. Let v be 1*2*2/y. Let o(a) = -2*a**3 + 2*a**2 - 2*a + 1. Let p be o(1). Which is smaller: v or p?
p
Let m = 2341/5 + -468. Is m <= 8?
True
Let y = 399 - 399.1. Which is bigger: y or 103?
103
Let u be (((-352)/(-22))/16)/(0 - 1). Let i = 33.006 + -0.006. Is u at most i?
True
Let r(c) = c**3 - 7*c**2 + 2*c - 3. Let y be r(7). Let n = 14 - y. Which is smaller: 6 or n?
n
Let g = -126 - -173. Is g less than or equal to 46?
False
Let w(q) = q**3 + 2*q**2 - q. Let x be w(-3). Let a be 2/4*(-4)/x. Suppose -4*m - f = -4 + 3, m + 3*f + 8 = 0. Which is smaller: a or m?
a
Suppose 7*k - 10*k - 24 = 0. Let t(i) = 4*i + 18. Let q be t(k). Are -67/5 and q nonequal?
True
Let r = 839.01 - 834. Which is smaller: 2/5 or r?
2/5
Suppose -2*x = -0*m - 2*m - 48, -3*m = -4*x + 77. Let d be (-4)/((-4)/1) + m. Let k = d + 19. Is 2/3 smaller than k?
True
Let h be (-1 - 0)*-4 + 18. Suppose -4*z + 52 = b, -4*z + 42 + h = -2*b. Let v be (9/z)/((-18)/(-21)). Is v not equal to 1?
True
Let r be (-1*1/1)/((-3)/(-12)). Let s be 20/4*4/10. Let q be s*5/(-40)*r. Which is bigger: q or 1/30?
q
Let g = 0.03 + -0.63. Let h = 0.3 + g. Let w = 50 + -48. Which is smaller: w or h?
h
Suppose 4*x + 4*p = 849 - 285, 15 = -3*p. Let t = -439/3 + x. Which is smaller: -2 or t?
-2
Let g be (0 - -19)/((-43)/(-688)). Is g smaller than 304?
False
Let c be (115/2300)/(1/(-4)). Are -2.7 and c equal?
False
Let b(y) = 4*y**3 + y**2 + 3*y + 2. Let s be b(-2). Let w be 16/(-56) + s/(-14). Suppose -c = -w*c. Which is greater: 6/17 or c?
6/17
Let n be (-2)/3*(-9)/2. Suppose -n*q + 0*q = 4*q. Is q > -1/13?
True
Let x be -4 + 8 - (3 + 5). Which is greater: -51/11 or x?
x
Let s be 13*(4 - 5) + 6. Are s and -7 non-equal?
False
Let s(w) = w + 7. Let 