3 + 8))/(-1). Suppose n - 81 = -v. Is 1/618 greater than n?
True
Let l be (672/7)/((-1524)/7096). Let a = l - -447. Which is bigger: a or -1?
a
Let t = -14315.97 - -14292. Which is bigger: -0.06 or t?
-0.06
Let s = -0.288 + 0.188. Does s = 1437?
False
Let q be 7*(-6)/(-81) + 8/(-24). Suppose 2*y - 3*m = 3, -y - 5*m = 4*y + 5. Does q = y?
False
Let n = 338 - 306. Suppose l + 3*l = -4, 4*l = -5*o + 126. Let p = n - o. Which is greater: p or 11?
11
Let f = -2961331 + 343517221/116. Let d = -97/4 + f. Which is smaller: d or 0?
0
Let h = -0.651 + -0.139. Let r = -0.21 + h. Which is bigger: -66 or r?
r
Let k be (-2745)/610*(-2)/(-30)*-2. Which is greater: 2/383 or k?
k
Let b be (1 - -1) + -2*1. Let x = -9393 + 2188567/233. Which is smaller: x or b?
x
Let h(t) = -10*t + 1091. Let f be h(-8). Which is smaller: 1173 or f?
f
Let a = 104250 + -1128297749/10823. Is -1 at least a?
False
Let j = 1.98 + 0.02. Let v be 2534/(7/(-1)) - -2. Let m be 20/v*(0 - 1)*3. Which is smaller: m or j?
m
Let p(v) be the third derivative of 0*v + 7 + 55/6*v**3 + 3*v**2 - 1/4*v**4. Let s be p(5). Is 25 <= s?
True
Let c be ((-2)/6 + 1)/((-51)/((-306)/(-56))). Is -44 greater than or equal to c?
False
Let f(r) = -r**2 + 153*r - 5390. Let t be f(55). Let c be (-230954)/(-504) - 1/4. Let y = -458 + c. Which is bigger: y or t?
t
Let h = -45/23 + 1239/598. Suppose 3*b - 89 + 6 = 5*d, -76 = -4*b - 2*d. Suppose -b*a + 3*k = -23*a + 5, -4*a - k = -5. Is a != h?
True
Let i = 71 + -20. Let z = 64.6 - i. Which is bigger: z or -0.1?
z
Let v = -264 - -273. Let p = -1 + v. Which is greater: -3/2 or p?
p
Let d be ((-32)/160)/(2/(-3830)). Let w = 8811/23 - d. Which is bigger: -6 or w?
w
Let w = 2241 - 1416. Suppose 4*q - 4101 = 5*u, 2*u - 3*u - w = -2*q. Is -817 <= u?
True
Let l = -26 - 91. Let h(x) = -119*x**2 + 303*x + 303. Let g be h(-1). Is g equal to l?
False
Let g(i) = i**2 + i + 64. Let u be g(0). Let k(d) = -d**2 + 106*d - 1063. Let l be k(94). Which is bigger: u or l?
l
Let i(m) = m**3 + 3*m**2 - 3. Let x be (-21 - -12)*2/6. Let c be i(x). Let b be 1*3/6*-6. Is c bigger than b?
False
Let f be 1 + (-192)/(-10) + 9/(-45). Let o(i) = i**2 - 21*i + 40. Let a be o(f). Let y be 309/15 + (-12)/a. Which is smaller: y or 21?
y
Let f(n) = 3*n**2 - 78*n - 247. Let j be f(-4). Are 562/5 and j equal?
False
Suppose 2*k - 2*r + 16025 = 45473, 5*k + r - 73614 = 0. Let l = -220747/15 + k. Let b = -107/60 + l. Which is bigger: b or 6?
6
Let l be 13 + -10 + 264/(-91). Let u = 17561696721/12194 + -2880383/2. Let c = l - u. Which is bigger: 0 or c?
0
Suppose 23 = -2*w - 2*w - l, 2*l = 3*w + 9. Let r be w/1 - (3231/45 - 10). Are r and -67 nonequal?
True
Let y(n) be the third derivative of -53*n**4/24 + 53*n**3/6 - 90*n**2. Let z be y(7). Is -318 > z?
False
Let p be ((-2 + -2)/(-4))/(-1). Let d be ((-2)/6)/(p - 16/(-15)). Which is smaller: -9/2 or d?
d
Let x be (2 - (-21)/(-6))/(75/1600). Let m = -34 - x. Is m smaller than -9?
False
Suppose 2*j + j = g + 6, 3*j - 2*g - 3 = 0. Suppose o = 4*p - 7*p + 25, 40 = j*p - 2*o. Suppose -2*u = 18 - p. Is u >= -1/2?
False
Let d be (-189 - -1)*6/(-12). Let x = d - 70. Suppose -2*n + 3*r + x = 0, 4*r - 12 - 22 = -n. Do n and 18 have the same value?
True
Let m(y) = 405*y**2 + 15*y + 13. Let b be m(-1). Is 404 <= b?
False
Suppose 0 = -c - 2. Let o be c - -1 - (-19 + -1). Let y be 0 - ((-39 - -33) + -14). Which is bigger: o or y?
y
Suppose -91*j = z - 86*j - 562, j - 1 = 0. Which is smaller: 560 or z?
z
Let g be -1*205040/224 + 1/(-14)*2. Are g and -916 unequal?
True
Let b(t) = -t**3 + 12*t**2 - 9*t - 18. Let v be b(11). Suppose 0 = -5*l + v*p + 510, -2*l + 204 = -7*p + 12*p. Which is bigger: l or -1?
l
Let o = 33/536 + -1439/1608. Are o and 11 unequal?
True
Let f = -6244 + 6245. Which is smaller: f or -2934?
-2934
Suppose 0 = -2*w - 2*f + 8, 2*f - 7*f = -w - 8. Let j be 8/(-272)*1/w. Let b = -3 + 3. Which is smaller: j or b?
j
Let n = -0.02448 + 8.37448. Which is bigger: n or -0.2?
n
Let l be 2/(-66)*((-9)/33 - 864/(-5346)). Is 4 smaller than l?
False
Let t(s) = s**3 - s**2 + 156*s + 157. Let d be t(-1). Which is greater: d or -63/43?
d
Let z(g) = -299*g - 5080. Let d be z(-17). Is d at most 53?
True
Let z(x) = -2*x**3 + x - 1. Let m be z(0). Let i be (0 - m)*36/28. Is 1 less than i?
True
Suppose 0 = 3*d + 2*s - 4, -3*s = 4*d - 7*s - 12. Suppose -f = d*y - 31, 0*f = -5*y - 3*f + 79. Let t be 4/y - (-5)/7. Which is greater: -2/25 or t?
t
Let u = 895 - 897. Let x be (-737)/(-1815) + u/6. Is -0.4 < x?
True
Let a = -273 - 553. Which is smaller: 0 or a?
a
Let b = 2 - -4. Let d = -680/29 - -21138/899. Which is smaller: d or b?
d
Let j = -2 - 0. Let c(q) = -226*q**2 + 0 - 4 - 2*q + 227*q**2. Let o be c(j). Does 1 = o?
False
Let n = 0.75 + -0.37. Let y = 0.374 - n. Let j = y + -49.994. Which is smaller: j or 2/3?
j
Let n = 0.03193 - 4.03193. Which is bigger: 65 or n?
65
Let l(u) = -14*u + 1. Let g be l(-3). Let t(h) = -48*h + 6. Let n be t(1). Let v = n + g. Is v smaller than 2/97?
False
Let z(y) = -7*y + 2*y - 1 + 54*y**3 - 55*y**3 + 2*y**2 + 10. Let o be z(2). Which is bigger: o or -14/25?
-14/25
Let r = 38948.07 + -38948. Let u(p) = -p**2 + 2. Let o be u(0). Which is bigger: o or r?
o
Let w = -506.966 + 507. Is w at least as big as -11?
True
Let h = -7892 + 7892. Is h at least -0.1812?
True
Let v be 7 - 2/((-2)/81). Suppose 4*q - 2*n - v = 0, 5*q + 36 = 7*q + n. Which is smaller: q or 21?
q
Let g = -69 - -71. Suppose 599 - 34 = g*z - 3*x, -2*x = 5*z - 1460. Is 290 at most as big as z?
True
Let s be (-111)/(-2) + (-33)/66. Which is bigger: s or 49?
s
Let q(o) = 2*o**2 + 82*o + 209. Let s be q(-3). Which is greater: 20 or s?
20
Let a be 1956/(-6)*((-22)/(-14) + -2). Suppose 560 = 11*b - 7*b. Let y = b - a. Which is bigger: -0.044 or y?
y
Let v be (-4)/9 - 391/1377. Is v less than or equal to -2?
False
Let v = -659 + 710. Let d = -51 + v. Which is bigger: 3/194 or d?
3/194
Let c = 4727/5 + -955. Let n = -21/152 + 7021/760. Let u = n + c. Is -1 less than or equal to u?
True
Let v = -4.8 + 1.6. Suppose -10 + 3 = -4*l - 3*a, 2*l = 5*a - 3. Is v not equal to l?
True
Let q = 9666 - 8863. Which is smaller: q or 3?
3
Let k = -66.58 + -0.42. Let g = k + 31. Let v = g - -33. Which is bigger: v or -4/7?
-4/7
Let v = -7044.9596 - -6420.997. Let h = v + -0.0374. Which is greater: h or 2/5?
2/5
Let d be 4/(-6) + (-77)/(-3). Let c = 10 - d. Let z be 12/(-30) + (-21)/c. Which is greater: z or -2/313?
z
Let c be 0 - ((-458)/(-72) - 5). Let q = c + 10/9. Which is smaller: q or -8.7?
-8.7
Let l(k) = k**3 + k**2 + k - 3. Suppose -8*t - 31 = 9. Let i be l(t). Is -110 at least as big as i?
False
Let k be 0 + 2*3*(-17)/561*-1639. Which is smaller: -11 or k?
-11
Let a(y) = -11*y - 77. Let v be (-6 + 6/(-3))/(1/2). Let x be a(v). Let u be -3 + 98 + 16/4. Is x not equal to u?
False
Let x be (-6)/(-2)*1124/63787. Which is smaller: x or 0?
0
Suppose -4*j = -2*j + 4*q - 14, -2*j + 5*q = 4. Let o(l) = 116 - 38 - l**2 - 28 - 5*l - 34. Let r be o(j). Which is greater: r or 5/2?
5/2
Let u = 4098.3519 + -4098. Let t = 0.1481 + u. Let j = -14.7 + 14. Is t >= j?
True
Let a be (-30)/((1305/(-20))/(-9) + (-13 - -5)). Is a != 321/8?
True
Suppose 2*d + 4*j - 14 = 0, 0 = -3*j - 2 + 5. Suppose -2*v + 3 = 11, 7 = d*o - 3*v. Let u be o - (9/((-36)/160) - 1). Is u at most 40?
True
Let r(g) = -g**3 - 8*g**2 + 28*g + 5. Let b be r(-11). Suppose -5*z = 5*t - b, 4*z - 30*t = -25*t + 66. Is z > 1?
True
Suppose 2*l + 1653 = 5*l + 5*u, 0 = 5*u. Let s = 574 - l. Is 67/3 < s?
True
Let l = -8176 + 16249/2. Which is greater: l or 6/11?
6/11
Suppose -3914 = -7*i + 4*i + 2*d, -5*i = -5*d - 6520. Is 1306 at most as big as i?
True
Let t = -1850/13 + 142. Let x = -116 - -116. Is x != t?
True
Let s be -5*8/(-10)*3/4. Let q be (0 - (s - 2))*-20. Let c be (q/18 + -1)*2. Is c bigger than -9?
True
Let c be (-7386)/(-10) - (-48)/(-80). Suppose c*k - 727*k = -11. Let u be -1 + 6/(-10) + 1. Which is greater: k or u?
u
Let t = -5 - -7. Suppose 3*j - 43 = -3*x + 7*j, -4*j + t = 2*x. Let u be (-5)/(-4) - (-8 + x). Is -1 greater than u?
False
Let h be (-51)/(-15) + (-2)/5. Let q(v) = -4*v - 126. Let n be q(-32). Suppose 0 = h*w + 1 + n. Is 0 at most as big as w?
False
Let y = 0.85647 + -1.15647. Let r = -360 - -3956/11. Is r at least y?
False
L