j be (2/(-4))/((-2)/(-8)). Let g be (-146193)/126009 - 2/(-18). Let t = -10/359 + g. Are j and t non-equal?
True
Let u = 13.2286 - -0.1414. Let b = u - 0.37. Let m = b - 13.11. Which is greater: m or 2?
2
Let q = 0.074 + 10.026. Let r = q + -10.5. Let t = -20 - -23. Is r greater than t?
False
Let w be (-28 - (17 - 8))/(156 - -7). Which is smaller: 1 or w?
w
Let m(b) = -12*b - 69. Let s be m(-6). Suppose -46 = j - 5*g, 4*j - s*g + 1 = -183. Which is smaller: j or 2?
j
Let l(z) = z + 42. Let p be l(0). Suppose -272*c = -12367 - 417. Do c and p have different values?
True
Let o = 5 + -5.1. Let i = 160.0434 - 0.0434. Which is smaller: o or i?
o
Let u(m) = 2*m - 30. Let i(b) = -b**3 - b - 2. Let v be i(-1). Let s be u(v). Let t = 15 - s. Is 46 equal to t?
False
Suppose -n + 0*c + 86 = 2*c, 3*n = -3*c + 261. Let z = n - 19. Are 211/3 and z equal?
False
Let a = -463 - -590. Let o = a - 123. Are 0 and o nonequal?
True
Let p = -3.2 - 17.8. Let m = -34 + 11. Let g = m - p. Which is smaller: -1 or g?
g
Suppose 1250 = -4*a - 2*r, -3*r - 317 = 4*a + 932. Let f = a + 314. Is 1/65 equal to f?
False
Let h be (-12)/16*(2 - (4 + 2)). Suppose -3*v - 26 = 4*w, 3*v + h*w + 30 = -0*v. Let k be (21/(-14))/((-3)/(-25)). Which is greater: v or k?
k
Let y be ((-26)/8)/13 - (-137)/4. Suppose 3*s = y + 236. Which is smaller: 271/3 or s?
s
Let g = 5043/5 - 1013. Let p(d) = -5*d**2 + 65*d - 5. Let t be p(8). Let v = -200 + t. Which is bigger: v or g?
g
Suppose 3*d = -12, 3*g + 6*d - 498 = 3*d. Let n(b) = -5*b**2 - 11*b - 32. Let k be n(-6). Let s = k + g. Is s > 24?
False
Suppose 0 = 4*w + 6 - 170. Suppose -2*j - 25 = -3*m, -4*m - 5*j = -0*j - w. Let f = m - 3. Does 6 = f?
True
Let d(w) be the second derivative of -11*w**4/12 + w**3/2 - 2*w**2 - 7*w. Let b be d(1). Is -5 less than or equal to b?
False
Let h(x) = -x**3 - 10*x**2 - 10*x - 11. Let j be h(-9). Let t be j/9 + 4609/19404. Is -1 equal to t?
False
Let k(b) be the third derivative of -b**6/120 - b**5/5 - b**4/2 - 3*b**3/2 - 10*b**2. Let q be k(-11). Suppose -u = -q*u. Is -3/8 equal to u?
False
Let c = 122814665/16 - 7673176. Let d = c + -2743. Which is greater: -1 or d?
-1
Suppose 0 = 12*p - 9*p - 15. Let n be (1 + 4)*8/p. Suppose -2*u - n + 6 = 0. Which is smaller: 3/13 or u?
u
Let j = -71.8 + 5.8. Let g = j + 83. Let d = g + -17.1. Which is smaller: -1 or d?
-1
Let f(k) = -k**3 + 100*k**2 - 10*k + 968. Let y be f(100). Are -222/7 and y non-equal?
True
Let q = -0.367 - 1.083. Let y = -6.45 - q. Let w = 25 + -24.9. Is w at most y?
False
Let i = 43 - 40. Suppose -i*t = -5*j + 275, -t = t. Is 56 greater than j?
True
Let x be ((-186)/(-155))/(1 + (-4)/10). Suppose -3*r - 11 = -4*q + 14, x*q + 4*r + 4 = 0. Which is greater: 8 or q?
8
Let w be 610840/(-2137156) - 10/(-35). Let f = w - 2808833512/839597. Let m = -3342 - f. Do m and 3 have different values?
True
Let w = 12567 + -12566.94. Is w smaller than 10.1?
True
Let w be ((-1)/(-111))/(4/36). Let j be (-20)/((-60)/(-9)) - -3*1. Which is smaller: j or w?
j
Let k be (-3 + 815/(-1))/((-240)/(-600)). Do k and -2047 have the same value?
False
Let n = -4446 + 297888/67. Which is bigger: n or -5?
n
Let a(y) = 28*y**3 + 6*y**2 + 16*y - 62. Let c be a(4). Is c smaller than 1891?
True
Let o = -469615 + 469615. Let s = -40/3 - -250/21. Is s equal to o?
False
Let j be (-1)/(-5) - (-168)/10. Let y = 18.2 - -62.8. Let l = -80 + y. Which is smaller: j or l?
l
Let i = -39677/3 + 13039. Let k = i + 184. Is -2 at least k?
True
Let l = -7343 - -11114. Is l bigger than 3772?
False
Suppose -13*d = -3*d - 40. Let q = 10 - d. Suppose 0 = 23*r + 14*r - 259. Are q and r equal?
False
Let a = 1092 + -1150. Which is smaller: -64 or a?
-64
Let w be 1092/(-70)*10/(-4). Suppose -w = i + 2*i. Do i and -13 have the same value?
True
Let o be -42 - (-18 - (-132)/4). Let q(r) = -r**2 + 4*r + 3. Let y be q(-6). Is y less than or equal to o?
True
Let v = 1815 - 1814. Let y = -37 - -37.017. Let z = -32.983 - y. Which is bigger: z or v?
v
Let s = -0.07 - 0.93. Let z(d) = 2*d**2 - 18*d + 22. Let k be z(13). Suppose 11*g - 20*g - k = 0. Which is bigger: s or g?
s
Suppose 0 = 3*f - 2*t + 8 + 11, -5*t = -4*f - 37. Let d be (3/(-9))/(f/9). Suppose -2*j = z + 6, -d = -j - 3*z + 6. Is j > -5?
False
Suppose -445*p = -444*p + 11422. Is p bigger than -11423?
True
Let s be (1 - 6)/((-459)/(-35802)). Is -2740/7 at least s?
False
Let y be 15/(-3) + (-120)/(-15). Suppose -y*p = -6*p - 6, -169 = 5*v + 2*p. Which is smaller: 1/3 or v?
v
Let k be (-80)/40 - (0 + -1). Let b be (10/130)/(k*3). Is b at least as big as 0?
False
Let p(s) = s**2 - 16*s - 9. Let w be p(8). Let c = w + 51. Suppose -11*q + 1915 = 2135. Which is greater: q or c?
q
Let l(z) be the first derivative of 3*z**2 + 6*z - 59. Let p be l(-3). Which is bigger: -22 or p?
p
Suppose -3*f - 2*s = -46, -5*f + 75 = 5*s - 2*s. Suppose 27 - 663 = -4*b. Suppose -4*n = -b + 115. Which is smaller: f or n?
n
Suppose -w - 3*w = 0. Let o be 24/3 - 47/((-178318)/(-30380)). Is w bigger than o?
True
Let y = -893257/5 - -178651. Let d = -19.5 + 33. Let a = d - 1.5. Which is smaller: y or a?
y
Let n = 0.9 - -0.1. Let r = 109 - 109. Suppose -8*z + 173 - 69 = r. Is n greater than z?
False
Let k be (21 - 15) + (-33)/(-4). Suppose 40 = l + 25. Is k at least as big as l?
False
Let i be (21 + -8 + 5)/((-9)/(-30)). Suppose i - 64 = 4*g. Does g = -1/544?
False
Let d be (-4)/22 - 6/(-25080)*-2287. Let u = d + -2/95. Let c = -103 - -102. Does u = c?
False
Let y be (-3)/4 + 173562/312. Let b = y - 556. Let u = 739 - 740. Which is bigger: b or u?
b
Let d = -443 - -190. Let h = d - -262. Let u(n) = n**3 + 8*n**2 + 11*n + 3. Let b be u(-6). Is h less than b?
False
Suppose -8 = -2*f - 2*f. Let o be (-1639)/7018 + f/11. Are o and 1 equal?
False
Let z(h) = -8*h**3 + 53*h**2 + 20*h + 4. Let u be z(7). Which is smaller: -1 or u?
u
Suppose 8*s = 13*s - 25. Let k be 5600/623 - 4 - s. Is 0 greater than or equal to k?
True
Let d(l) = 2*l**3 - 3*l**2 - 11*l - 19. Let v be d(13). Let r be -4 + (1 - v/(-1240)). Which is smaller: 0 or r?
0
Let m(t) be the first derivative of -23*t**2 - 2*t + 23. Let l be m(1). Which is bigger: l or -44?
-44
Suppose 29 = -5*q - 46. Let v(i) = i**3 + 30*i**2 - 450*i + 26. Let b be v(-41). Is b bigger than q?
False
Let m be 12/(-18) - (-16)/9*-192. Which is smaller: -336 or m?
m
Let y = 77 + -225. Let o = y + 112. Which is smaller: o or -35?
o
Let p(j) = 2*j**3 + 21*j**2 + 26*j + 10. Let c be p(-10). Is c equal to -5?
False
Let h = -89259/59 - -1513. Suppose -19*a - 7 = -26. Is a smaller than h?
False
Let y = -2.715 + 2.4636. Which is smaller: y or 0?
y
Let b = -89722 + 1343336/15. Let j = b - -923/5. Let x = -18 + j. Which is greater: 0 or x?
x
Let i = 2393 + -10069. Is -7676 <= i?
True
Let j = 13 + -5. Suppose -5*s + l + 4*l = 30, 0 = -s - 4*l + 19. Let z be (s - 13)/(24/(-12)). Are z and j equal?
False
Let h(a) = a**2 - 7*a + 7. Let w be h(6). Let d be w/2 + (-1)/(-2). Suppose 0 = 236*l + 194818 - 197414. Which is smaller: d or l?
d
Suppose 2*f - i = 80, 28*f + 5*i = 26*f + 56. Which is greater: f or 89?
89
Let j = 39671/744 - -3/248. Which is smaller: -19 or j?
-19
Let t = 563 + -603. Let d be ((-110)/t)/((-2)/7). Which is smaller: -11 or d?
-11
Let h(x) = x**2 + 75*x + 463. Let i be h(-61). Is i at least -380?
False
Suppose 2*b - 56 = -4*u + 4*b, -2*u = b - 28. Suppose 0 = -13*x + u*x + 63. Which is bigger: -65 or x?
x
Let b = -6.4 + 6.361. Let c = -83.039 - b. Let r = c + 86. Which is greater: r or -0.08?
r
Suppose -2*b - 8 = -14. Suppose b*j = -i - 3 + 6, -3*i = -2*j + 13. Let s = -5.83 - 0.17. Are s and j non-equal?
True
Let t = -1/1680 - 101/3120. Which is smaller: t or 0.3?
t
Let i(v) = -48*v + 6205. Let w be i(129). Which is smaller: w or -10?
-10
Suppose -5*q + 3*b - 1272 - 150 = 0, 3*q + 830 = -4*b. Is q <= -282?
True
Let i = 3648.04182 + -3648. Which is bigger: 1 or i?
1
Let x = 15.34 - 0.34. Let h = x + -14.8. Let c = 92 + -91. Is h bigger than c?
False
Let m = 38379 - 37445. Which is bigger: m or 939?
939
Let s = 26051.958 + -26076. Let w = -24 - s. Which is smaller: 0 or w?
0
Let c = -12/857 - 2367/14569. Is c smaller than -72?
False
Let c = -7 + 10. Suppose -c*x + 5 = 2*x. Let w be (-2295)/261 + -2 - -11. Which is greater: w or x?
x
Let i(s) = s**3 + 