384)). Let g = -95/9 - s. Is -1 bigger than g?
False
Let y(q) = q**2 + 16*q + 4. Let l(o) = o**2 + 15*o + 4. Let r(h) = -7*l(h) + 6*y(h). Let j be r(-8). Is 2 bigger than j?
False
Suppose -30 = -2*x - 2*j, -4*j + 12 = 2*x - 28. Let d(f) = -f**3 + 9*f**2 + 9*f + 2. Let a be d(x). Which is smaller: 0 or a?
a
Let a(j) = 8*j**3 - 4*j**2 + 3*j - 6. Suppose 4 = 2*y + 2*y, -4*n - 3*y + 15 = 0. Let l be a(n). Let u = -2011/11 + l. Which is greater: u or 1?
1
Let t be 6/((-2)/10*-2). Let f be (15 - 13)/((-4)/(-10)). Let u(v) = -v**3 + 7*v**2 - 6*v - 7. Let w be u(f). Is t at most as big as w?
False
Let z(k) = -15*k - 27. Let f be z(-1). Are -1 and f equal?
False
Let k be ((3 + -3)/(-7))/(0 + -2). Is k less than or equal to 3/563?
True
Let k = 8 + -5. Suppose 5*b - v = 5, 0 = -5*b + 3*v + k + 12. Which is greater: b or -2/11?
b
Let l be 1/3*(-2)/(-3). Let g = 818 + -878.1. Let x = g + 60. Which is greater: x or l?
l
Suppose 12*t - 5 = 7. Is -1/22 greater than or equal to t?
False
Let c = 1802 - 1732. Is 71 at most as big as c?
False
Let x = 246/713 - 8/31. Let i = x - 52/69. Let u(h) = -h**2 - 4*h - 1. Let m be u(-4). Is i greater than or equal to m?
True
Suppose 4*t - 1 = -y - 2, -y + 6 = -3*t. Which is bigger: t or 2/1251?
2/1251
Let y(q) = -q**2 + 5*q + 3. Let h be y(5). Suppose 36 = -4*l + j, h*l = -2*l - 2*j - 32. Which is smaller: -9 or l?
-9
Let m(r) = r**2 + 8*r - 21. Let p be m(-10). Let i = -26 + p. Is i at least -28?
True
Let s = -67 + 96. Suppose -4*z + 88 = -3*u - 3*z, u + 26 = 2*z. Let t = u + s. Are t and -2 equal?
False
Let f be 5343/(-1170) + (-4)/(-10). Is 2/11 > f?
True
Let u = 79 + -34. Suppose -u - 11 = 8*v. Do -7 and v have the same value?
True
Let r(h) = -8*h + 344. Let b be r(45). Is b not equal to -2?
True
Let o = -55 + 86. Suppose 291 = 10*t + o. Is 26 less than t?
False
Let q(c) = -5*c**3 - 5*c**2 + 1. Suppose -68 + 66 = f. Let j be q(f). Is 20 less than j?
True
Suppose -3*a = 5*i - 17 - 8, 5*a = 5*i + 55. Suppose -a = -5*n + 3*n - 3*j, -2*n + j + 2 = 0. Let t be 0 + 4*(-4)/(-24). Does t = n?
False
Suppose -81 - 14 = -5*i. Let f = i - 16. Suppose -g + u + f = 0, -3*g + 5*u + 5 = -2. Which is smaller: 3 or g?
3
Let i = -25231/102 + 468/17. Let p = i + 219. Let u = 0.01 - -1.99. Is p less than or equal to u?
True
Let c be (15/25 - (-32)/(-10)) + 0. Suppose 4 = -5*y + 4*y. Which is bigger: y or c?
c
Let c = 394 - 394. Is 2/273 greater than c?
True
Let q = -4.665 - 0.335. Is q > 4/7?
False
Suppose 5*y + 25 = 3*d, 0 = 3*y - 0*y + 2*d - 4. Let w be -1 - (-1 - -3) - -5. Let p be (w/((-8)/10))/2. Which is smaller: p or y?
y
Let l = -4432 + 35709/8. Which is smaller: l or 32?
l
Suppose 3*i - 6 = 0, 5*u + 500 = -i + 6*i. Which is greater: u or -102?
u
Let b be (3 - 1) + 24/2. Let f be 8/b*2/(-4). Let r = -397 - -395. Is f >= r?
True
Let o = 13388/351 + -518/13. Which is greater: -2 or o?
o
Suppose -5*z = -3*z + 4. Let w = z - 0. Suppose 27*n - 497 + 308 = 0. Which is smaller: n or w?
w
Suppose 5*q + 4*y - 14 = 0, -3*y - 1 - 4 = -4*q. Let v(t) = 22*t**2 + t. Let m be v(-1). Let d be (-35)/m*8/(-5). Is d at least q?
True
Let f(h) = h**2 - 32*h + 51. Let m be f(23). Is m bigger than -156?
False
Let g = -31/11 + 27/11. Let s be 6/4 + 3/(-6). Let c be (-3)/(-9)*(-3)/s. Which is bigger: g or c?
g
Let s = 25.6 + -26. Let b = -0.8 - s. Is b greater than or equal to -2?
True
Suppose -8*k = -3*k. Let s = 3 - 3. Suppose -f + 3 = k, 4*v - 3*v + 2*f - 8 = s. Which is smaller: v or 5/4?
5/4
Let x be -5 - 0 - 2 - 0. Is x at least as big as -15/2?
True
Let d = -11 + 26. Let m = -19 - -18. Do m and d have the same value?
False
Let q(v) = 10*v**2 - 2*v + 1. Let c be q(1). Let i be (27/(-2))/(c/(-12)). Let u be (-50)/i + (0 - -3). Is 0 greater than u?
False
Let p(u) = -u - 3. Let s be p(-5). Let o(v) = v + 60 - 35 - 26. Let j be o(s). Is j less than 2/9?
False
Suppose -16 = -3*x - 10. Let n(y) = 4 - y - 1 + 4*y**x - 5*y**2 + 0*y. Let f be n(0). Which is bigger: -3 or f?
f
Let r = 31403/13 + -2417. Let l = -41/39 - r. Is 0 greater than l?
False
Let n(i) = i**2 + 3*i - 5. Let d be n(6). Let u be 3/5 + 5/(-425)*d. Is 1 > u?
True
Suppose 2*x + 120 = -2*u, 4*u + x = -2*x - 245. Let d be u/25 + 2/(-5). Which is bigger: -2 or d?
-2
Let d = -43 - -24. Is -5 equal to d?
False
Let g = 0 + -3. Let i(t) = -43*t**3 + 0 - 19*t**2 + 41*t**3 - 10*t - 11. Let d be i(-9). Is d at most as big as g?
False
Let a(p) = -9*p**3 - 4*p**2 + 6*p - 27. Let l be a(5). Let k = 81876/67 + l. Let w(d) = -d + 4. Let n be w(3). Is n > k?
True
Suppose -2*v = -8, 2*r - r + 13 = 3*v. Let q = -6619/21 - -315. Is q at least as big as r?
True
Let u be (30/(-16))/((-1)/4). Which is smaller: u or 8?
u
Let x = 79.9 - 138.9. Which is smaller: -2 or x?
x
Let a be 78/(-88) - (-5)/4. Which is smaller: a or 1?
a
Suppose -2*d + 4*x + 40 = 0, 15*d + 4*x - 56 = 11*d. Suppose -5*f = 2*q - 55, -5*q + 70 = 4*f - 5*f. Is d less than or equal to q?
False
Suppose 5*v - 4*w - 1554 = 0, 2*v + 4*w = v + 306. Which is bigger: v or -1?
v
Let k = -0.013 - -14.013. Let s = 13.9 - k. Let g = 0.1 + 0. Does g = s?
False
Let w(m) = -2*m**3 - 13*m**2 + 21*m + 17. Let t be w(-8). Which is smaller: 40 or t?
40
Suppose -3*s = s + 20, 2*s + 177 = -z. Which is smaller: z or -168?
-168
Let l = -583 + 647. Which is bigger: -2/13 or l?
l
Suppose 2*k + 3 = a, -33*k - 2*a - 6 = -34*k. Is k != -17?
True
Let j = -0.2 - 2.4. Let a = -28.4 + j. Let t = a + 31.1. Is -2 greater than t?
False
Let i(p) = p**3 - 2*p**2 + 2. Let k be i(4). Let t = k - 28. Let a be 5/6*t/(-9). Which is greater: a or 0?
0
Let y = -74.3 - -33.5. Let m = -41 - y. Let z = -1.6 + 1. Which is greater: z or m?
m
Let i = -28 + 53. Let q = -24.4 + i. Are 1 and q equal?
False
Let t be 16/33 + 12/66. Is t <= 13?
True
Let p = 1534 - 1535. Suppose 0 = 9*t - 4*t - 70. Is p < t?
True
Let l = -2 - -7. Let f = -1.534 - 0.106. Let j = f - -0.64. Is j less than l?
True
Let z be 0/(-4 - -3) - 0. Let l = z + 8. Let h(t) = -t**2 + 12*t - 18. Let r be h(l). Is 14 at least as big as r?
True
Let r be ((-12)/(-26) + 0)*-1. Suppose -5*p = -0*p + 3*h - 17, p + h = 3. Suppose 0 = -g + p - 3. Is r <= g?
True
Let q = -0.05 + 0.11. Let v = 1.28 + 0.12. Let f = v + -0.4. Is q bigger than f?
False
Let q = 68 - 112. Which is greater: q or -1/5?
-1/5
Let b = -1 + 9/5. Let r = 1965 - 39289/20. Let v = b - r. Are 0 and v non-equal?
True
Let z be (16*(-1)/1)/(14/98). Is z less than or equal to -113?
False
Suppose -3*y - u = -136, u + 1 = 2*u. Suppose 2*s + 49 = i, 4151*i - 4148*i - 139 = -2*s. Which is smaller: i or y?
y
Suppose 42*w - 16 = 26*w. Is w smaller than -3/398?
False
Suppose z + 3 = -3. Let f = 3 - 3. Which is smaller: z or f?
z
Let a = 181.1 + -174. Let k = 5 - a. Let b = k - -1.97. Is 2 bigger than b?
True
Let i be -8*(3 - (-15)/(-6)). Let x be 0*-2*1/i. Let n be 1 - -1 - (-5)/(-2). Is x < n?
False
Suppose 6*b - 10*b + 3*v = -43, 5*b - 51 = v. Are b and 120/11 unequal?
True
Let p be 4/556*-1*-5. Let i = p + -899/1807. Is i at most as big as 1?
True
Let x(u) = 10*u + 103. Let l be x(-5). Which is bigger: 52 or l?
l
Let a be 24 + (-11 - -15) - -12. Is a bigger than 59?
False
Let p = -93 + 80. Which is bigger: p or -1?
-1
Let x(c) = 3*c**2 + 7*c. Let r be x(-4). Suppose g - 5*g = -r. Suppose -s = 12 - g. Is -6 equal to s?
False
Let s = -33930/11 + 3088. Let z = s - 70/33. Which is bigger: z or -4/7?
z
Suppose -3*p = -7*p + 96. Is 22 greater than p?
False
Let f be (9/6)/((-234)/(-46)). Let p = f + -3997/858. Are -4 and p equal?
False
Let d = 7.98 + -5.98. Do 41 and d have different values?
True
Let l be 6/(-15) - 10/(-25). Suppose 4*g - 67 - 37 = l. Is 26 <= g?
True
Let y = 991 + -44587/45. Which is smaller: -1 or y?
-1
Let i be (-345712)/(-33759) + 2/9. Let s = i - 210/121. Is s <= 9?
True
Let f(g) = g**3 + 34*g**2 - 66*g + 16. Let j be f(-36). Is j smaller than -205?
False
Let i = 36666/47 - 780. Which is greater: 0 or i?
i
Suppose -5*g = -8*g - 17001. Let o = -62283/11 - g. Let l = -2084/429 + o. Which is bigger: l or -0.1?
l
Let p(a) = 114*a**2 - 2*a + 1. Let h be p(1). Suppose -l + 33 = h. Let f = l - -315/4. Are f and -1 equal?
False
Let n = 5.2 + -0.2. Suppose j - 48 = -4*x, 36 = -93*x + 96*x + 5*j. Which is bigger: x or n?
x
Suppose -4*z + 5*n + 61 = 0, -4*z = -0*z - 4*n - 60.