et w = 8.751 - -0.049. Which is bigger: 2/9 or w?
w
Let y = -5 - -8. Let k = 3 + y. Suppose -2*d - 24 = -k*d. Is -2/5 at most as big as d?
True
Let p(w) = -2*w**2 + 5*w - 3. Suppose 0 = 2*j - 0*j - 12. Let f(v) = 2*v**2 - 5*v + 4. Let k(l) = j*p(l) + 5*f(l). Let u be k(4). Is 2/7 at least u?
True
Let b = -1576 + 1575.9. Which is smaller: 0.279 or b?
b
Let n = 163/4 - 605/12. Is n != -9?
True
Let y = -570 + 564. Which is bigger: y or -23/4?
-23/4
Let b be (5/(-3) + 1)*(-87 - -441). Is b at most as big as -707/3?
True
Suppose -r + 23 = 2*z, 2*r + 5*z = -0*r + 50. Suppose r*g - 18*g + 15 = 0. Which is smaller: 14/3 or g?
14/3
Let q(x) = -x - 1. Let j be q(2). Let i = 216 + -218. Is i equal to j?
False
Let a(o) = o**3 - 7*o**2 + o + 3. Let y be a(7). Let n be (-3)/(12/8) - y. Is n at most -12?
True
Let m = -4 - -8. Suppose -m*y + 0 = 4. Is y > -1/7?
False
Let n be (-3*4/9)/(14/(-63)). Let h(b) be the second derivative of b**4/12 - 7*b**3/6 + 3*b**2 - 2*b. Let l be h(n). Are l and -1.1 equal?
False
Suppose 0 = 2*a + 2*a - s + 76, 4*a + 5*s = -100. Let n(h) = -h + 16. Let m be n(a). Suppose -q - q + 2*y = -m, -5*q + 4*y = -86. Is q equal to 13?
False
Let r be (518/(-56))/(-2*(-11)/(-16)). Which is smaller: r or 8?
r
Let m be (6 - 5)/(2/12). Let l(y) = -2*y**2 - 7 + 6*y + y**2 + 6*y - 5*y. Let i be l(m). Which is smaller: 6 or i?
i
Suppose 0 = -2*p + p + 2. Suppose 4*g + o - 5 = 0, g + 5*o + 9 = -2*g. Is g greater than or equal to p?
True
Let l = -162 - -161.9707. Does l = 0?
False
Let s = -16.94 - -6.94. Let m = -0.2 + 1.2. Let v = m + -1. Is v less than s?
False
Let x = -603 + 315. Is x equal to -287?
False
Let z be -7*1 - (7482/(-546) + 6). Which is bigger: 0 or z?
z
Let y = 659 + -11205/17. Let x = -1 + 1. Let k = 0.1 - x. Is k less than or equal to y?
False
Let u be (-177)/(-15) + (24/(-15))/8. Are u and 13 equal?
False
Let o be (-1)/(10/8 + -1). Let n be (1 + o)/(-1) - 10/4. Is n less than or equal to 0.18?
False
Suppose 115 = -4*z + 39. Let n = z - -1. Is -20 >= n?
False
Let u = 177 - 166.19. Let k = 11 - u. Let l = k + 0.01. Which is smaller: l or -1?
-1
Let q(z) = -z**2 + z - 1. Let n be q(1). Let i be (7/((-84)/(-18)))/((-2)/4). Let h be ((-14)/(-63))/((-14)/195) - i. Which is greater: n or h?
h
Let p = 44.7 + -51.7. Which is smaller: p or -16?
-16
Let d = 320 - 262. Which is bigger: d or -2?
d
Let r(u) = 4*u - 1. Let j be r(1). Suppose i - c = -2*c + 3, 2*i = 3*c - 9. Suppose 4*o = 4*s - 8, i = 2*o - 2*s + j*s + 7. Which is smaller: 1 or o?
o
Let n(l) = -3*l**2 - 16*l - 25. Let o(r) = 13*r**2 + 64*r + 99. Let j(w) = 9*n(w) + 2*o(w). Let h be j(-14). Is h greater than or equal to -4/13?
True
Suppose -m - 3*m + 16 = 0. Let f(w) = -5*w + 121. Let n be f(24). Which is smaller: m or n?
n
Let w(p) = -3*p + 2. Let b be w(-3). Let i = b - 8. Let m = 0.74 + -0.64. Which is smaller: m or i?
m
Let s = -20357/155 + 1/465. Let x = -133 - s. Let f = 1 + x. Which is greater: -2 or f?
f
Let t = 1781.8 + -1782. Let w be -15 - -2 - 0/2. Which is greater: t or w?
t
Let x = -0.16 - -0.01. Let w = -7.15 - x. Let z = -8 - w. Is z < 4/7?
True
Let o be 4/10 - 42/30. Let n be o/(14/(-4)*-1). Let g = -8.4 + -0.6. Is n >= g?
True
Let k = 150 + -2249/15. Let m = -364 - -1822/5. Let u = k - m. Which is bigger: -12 or u?
u
Let m = 0.0142 + -0.1142. Is m not equal to 1376?
True
Let z be 68/(-306) + ((-1700)/(-18))/2. Let d = -19 + z. Is 28 <= d?
True
Let r = 1100 - 1083. Is 57 bigger than r?
True
Let h be (297/45 - 9)*(-5)/3. Is h < 7?
True
Let q be (231/(-110))/((-10)/(-25)). Let o be (-5)/(-1*(-2)/2). Is o at least as big as q?
True
Suppose 0 = -4*y - 18 + 6. Let g = 2 + y. Let b = -10 - 1. Which is smaller: b or g?
b
Let d be ((-272)/(-51))/((-1)/(-108)). Let s be -4 + (d/(-50))/(-3). Are s and -1 equal?
False
Let m = 1.35 + -0.75. Is -24 greater than m?
False
Suppose -1237 = -18*m + 419. Are 92 and m equal?
True
Let p be -2 - ((-48)/3 - -1). Let u = -2/517 + 523/1551. Which is bigger: u or p?
p
Suppose -17*x + 5*x = -60. Is x >= -6?
True
Let f be 2/3 + 16/(-6). Let q be 2/f + (-15)/(-3). Suppose 3*i = -9, -4*m + q*i - 10 = 14. Is m greater than -9?
False
Let h = -41/36 + -1/9. Let x be (-9)/(-5) - 3/(-15). Suppose -x*l + 7*l = 0. Are l and h non-equal?
True
Let r(i) = -i**3 + 5*i**2 - 2*i + 5. Let a be r(4). Suppose -4*x + 46 = -29*z + 31*z, 6 = -2*z. Is a <= x?
True
Let q(g) = g - 12. Let r be q(6). Let a be ((-9)/3)/(r/(-32)). Are a and -18 nonequal?
True
Let f = 336 - 232. Let x = f - 93. Is 1 >= x?
False
Suppose -t + 0*g - 5*g = 19, -3*t = g + 29. Let l(p) = -1. Let s(v) = -v**2 + 9*v - 6. Let w(z) = l(z) - s(z). Let u be w(7). Is t at most u?
True
Let u be 612/(-85) - 5/(-25). Is -71 < u?
True
Let d(p) = p**3 + p. Let s be d(0). Suppose -3*l = -6*l + 3*a - 84, s = 3*a + 12. Is l at most as big as -0.2?
True
Let d be ((-3)/(-9))/(1/12). Suppose -d*b - a = a + 36, 5*a + 20 = -3*b. Let s(q) = q**2 + 12*q + 13. Let z be s(b). Which is smaller: z or -8?
-8
Let l = -26 + 33. Let u be (-12)/(-18)*(-3)/l. Is -1/7 < u?
False
Suppose 5*a - 92 = 4*o, 3*a - 88 = 4*o - a. Which is greater: o or -20?
o
Let x = -1191 + 1171.52. Let u = 0.48 + x. Let t = -18.8 - u. Which is greater: t or -2?
t
Suppose 0 = -f - 4*n + 25, 0 = 4*f - n - 4 - 11. Suppose 3*y - 30 = -4*m, 0 = -2*y - 3*m + 32 - 11. Is y bigger than f?
True
Let y(f) = f**3 + 4*f**2 + 2*f + 8. Let r = 15 + -19. Let j be y(r). Which is smaller: 1/20 or j?
j
Let x = 76.1 + -76. Is x at most as big as 2/307?
False
Let u be (1 - 2) + (-24)/(-26). Suppose a - 12 = -27. Let j = -16 - a. Which is greater: u or j?
u
Let n(j) = j**2 + 7*j + 10. Suppose -3 = -5*k - 38. Let i be n(k). Let t = 2 - 1.8. Which is smaller: t or i?
t
Let t = 28.9 - 29.9. Is t at least -58?
True
Let x = 9 - 8.9. Suppose 11*y = 16*y + 315. Let u be 18/y + 31/35. Which is bigger: x or u?
u
Let k = -104 - -105. Let t = -35 + 106/3. Which is smaller: t or k?
t
Suppose 3*s = 3*f - 9, 0 = 4*f - 8*s + 3*s - 15. Which is smaller: 14/93 or f?
f
Let n = -2 - -1.5. Let a = 1127 + -1127.1. Which is greater: a or n?
a
Let y = 7/4 - 1. Let g be ((-4)/9)/((-2)/9). Do g and y have different values?
True
Let a = 13328 + -8223379/617. Does a = 1?
False
Let a be 0/(-3 - (2 + -2)). Is 2/1345 smaller than a?
False
Suppose -13*r + 2*r = 176. Let y = -51 - r. Which is greater: -36 or y?
y
Let n = -2529 - -2527. Let c = 1.2 - 0.2. Is n not equal to c?
True
Let r(l) = 20*l + 11. Let h be r(-6). Let k = -63 - h. Suppose 0*c + 2*c = k. Which is greater: c or 22?
c
Let y(f) = 3*f**2 + 36*f + 1. Let q be y(-12). Let x = -2.2 + 0.2. Is q not equal to x?
True
Let b = -1997/21 - -95. Is b greater than -1?
True
Let g = 67.84 - 69. Let y = g - -0.16. Which is smaller: -0.2 or y?
y
Let g be (112/5)/((-11)/440*-2). Which is smaller: g or 449?
g
Let o(l) = l**2 + 6*l + 9. Let i be o(0). Which is bigger: i or 8?
i
Let q(a) = -a**2 + 16*a - 29. Let p be q(14). Let b(y) = -y**3 + 6*y**2 - 4*y - 6. Let g be (-8)/(-44) + 159/33. Let v be b(g). Is p >= v?
True
Let j = -12 - -4. Let l = -7 - j. Which is bigger: -2 or l?
l
Let r = 67 - 37. Suppose -f - r = -11*f. Which is smaller: 14/5 or f?
14/5
Let n = -13 - -18. Let d(f) = f**3 - 7*f**2 + f - 2. Let u(s) = 3*s**2 + 4*s + 3. Let h be u(-2). Let i be d(h). Are i and n equal?
True
Let n = -267 - -1333/5. Which is smaller: n or -669?
-669
Let h(q) = 11*q**2 + 5*q + 4. Let r be h(4). Suppose 8*a + r = 56. Which is bigger: -16 or a?
-16
Let s be -1*(-45)/6*2. Let y be (2/s)/((-3)/10). Is -1 less than or equal to y?
True
Let i = -17/599 - -1397637/5990. Let t = -233 + i. Suppose 4*l + 5*d = 25, 2*l + d = 3 + 2. Are t and l non-equal?
True
Suppose -4*j + 7 = -5*b, 6*j + 3*b + 15 = 3*j. Suppose y = -2, 5*h + 4*y = -1 - 7. Which is smaller: h or j?
j
Let v = 152 + 316. Let j = v - 3281/7. Is j less than or equal to -1?
False
Let q be (2/(-6))/(33/(-54)). Suppose -5*f - 3*h + 13 + 4 = 0, -7 = -3*f - 5*h. Suppose -c = -f*c. Which is bigger: c or q?
q
Let k = 450 - 511. Which is smaller: k or -65?
-65
Suppose 5 = -3*l - 1. Let x = 28.2 - 28. Let g = -0.1 + x. Which is bigger: g or l?
g
Let f = -2348 + 4753. Let h be 1/(-3) + f/4005. Let x = h - 4/89. Are x and -2 nonequal?
True
Suppose 0 = d + 2*j - 33, 4*j + 67 = 2*d - 31. Do d and -11 have the same 