6))*(25494 - -14)/7. Which is bigger: 2/7 or z?
z
Let r(z) = z**2 + z - 296. Let m be r(-19). Are m and 35 nonequal?
True
Let y be (-2)/(-7) + 0/(-3). Let q = 6963206/63 + -110527. Is y greater than q?
True
Let b(z) = -2299*z + 6700. Let h be b(3). Let n = 97 - 295. Which is greater: n or h?
h
Let n = -204.6 + 16.6. Let z = -108 - n. Let i = z + -80.11. Which is smaller: 0.1 or i?
i
Let d be ((-7761)/(-10140) - ((-13)/5 - -3))*-4. Is d > -4?
True
Suppose -8*v + 22*v = 98. Suppose -v*s + 20*s - 559 = 0. Is s bigger than -2/3?
True
Let y = -6 + 8. Let v be (y/6 - (-17 + 18))*66. Which is greater: -87/2 or v?
-87/2
Suppose 0*q + 2*q = 4*h + 86, 3*h + 66 = 3*q. Let g = 19 + h. Let z be (2 + g)/((-9)/(-3)*1). Is -2/197 at least as big as z?
False
Let o be (12/(-14))/((-74)/259). Suppose 4*p - p + 291 = -o*t, -t = -p + 95. Is -97 at most as big as t?
True
Let q(x) = -x - 1. Let r(n) = -2*n. Let f(k) = 5*q(k) - 4*r(k). Let c be f(3). Suppose -2*j = -c + 2. Which is bigger: j or -2/37?
j
Let a be 490 - ((-64)/544 - 70/(-17)). Which is greater: 490 or a?
490
Let b = 43090 - 23225519/539. Is -1 at least b?
False
Let z(b) = b**3 - 11*b**2 - 16*b + 1. Let j be z(13). Let v = 131 - j. Let o(h) = 2*h + 18. Let w be o(v). Which is greater: w or 2/7?
w
Let q = -4558 - -3331. Are q and 0 equal?
False
Let g = -149.8 - -130. Let n = g + 18.8. Which is smaller: 21 or n?
n
Suppose -5*m - 5*j = -445, 16*m - 2*j = 17*m - 90. Suppose 45*s = 49*s - m. Let y be (-2154)/(-105) + (-2)/(-7). Is s less than y?
False
Let w = 2.4 + 0.6. Let y = -762.5 - -835. Let g = -69.5 + y. Is w bigger than g?
False
Let b be ((-99)/11880)/((-2)/104). Which is greater: b or 0.01?
b
Suppose 4*b - 351 = -3. Suppose 4002 = 3231*g - 3185*g. Is b less than g?
False
Let f(c) = 2*c**2 + 18*c - 15. Let m be f(-10). Suppose 0*u - 2*j + 483 = -m*u, -3*j + 288 = -3*u. Let r be (u/2)/(13/(-26)). Which is smaller: r or 98?
r
Let g = -347 + 736. Let c = g - 389.07. Which is greater: -1/6 or c?
c
Let m be ((-3)/(-2) + -1*2)/((-18)/452). Which is greater: 13 or m?
13
Suppose -130*r + 41 - 140 = 31. Which is greater: r or -125/59?
r
Let c(i) = 7*i + 144. Let o be 4/20 + -1 - 357/(-15). Let p be c(o). Is 305 > p?
False
Suppose -4*c + 0 = -4. Let m = 5101/23 + -1109/5. Are m and c equal?
False
Suppose 0 = 23*t + 4178 - 10342. Suppose 0*l + l - 5*z = -t, 5*l = -2*z - 1232. Is l greater than or equal to -247?
False
Let h be (5 - 3)*(39180/5596 + -7). Which is greater: -1 or h?
h
Let l(o) = -o**2 - 2*o. Suppose -4*z + 0*z = 4*v - 12, z + 5 = -5*v. Let m be l(v). Which is bigger: 2/771 or m?
2/771
Suppose -3*w - 19708 + 16005 = 4*w. Which is smaller: -520 or w?
w
Let o = -0.02 - -1.02. Are 441 and o equal?
False
Let y be 2/6*147690/(-19 + 9). Is -4922 equal to y?
False
Suppose -4*d = 8, -4*n + d + 50 = -68. Let o = n - 55. Let q be (-56)/(-21)*(-10 + 1). Is o > q?
False
Let d be -270*((-10)/(-4))/(3/(-6)). Suppose 29*c = 38*c - d. Which is greater: c or -1?
c
Suppose -189*b + 974*b - 215*b = -781*b. Let c = 2483499/229 + -10845. Which is smaller: b or c?
c
Let b(i) = -i**3 - 7*i**2 + 2*i + 13. Suppose 0 = 2*d - 0*d - 6, 2*g + 4*d = 98. Suppose -g + 15 = 4*p. Let h be b(p). Which is smaller: -2/81 or h?
h
Let i be 1/(1276/(-8) - (3/1 + -7)). Which is smaller: i or 1?
i
Let w(f) = f**3 - 6*f**2 + 3*f - 5. Let z be w(4). Let y be -3*1/(-4) - (-2877)/548. Let c be (y*(-3)/12)/((-7)/(-112)). Is c smaller than z?
False
Let u = -233.35 + 233.2. Let j = 2.25 + -2. Let y = j + u. Is y <= 16?
True
Let n = 508 - 483. Let c(g) = -18*g + 92. Let l be c(4). Is n greater than or equal to l?
True
Let j = -3/116 + 77/174. Let z be 18/15*-470*(-4)/(-16). Let i = -140 - z. Which is bigger: j or i?
i
Let f(q) = -q**2 - 2*q + 6. Suppose 34*x - 32*x - 124 = 0. Let r = x + -60. Let h be f(r). Which is smaller: h or -1?
h
Suppose 323*c = 307*c - 12544. Are c and -786 nonequal?
True
Let p be (-90)/(-150) - (-2)/5. Let b be 61297/(-14)*8/(-764). Let k = 321/7 - b. Which is smaller: k or p?
k
Let t = -553 + 779. Let q = -240 + t. Which is smaller: q or -16?
-16
Let y = 1.1 - 15.1. Let r = -17.918 + -0.082. Let q = r - y. Which is smaller: q or 1.3?
q
Let y = -7525 + 7525. Which is smaller: 1/1939 or y?
y
Let g be (((-308)/(-63) - 5)*3)/((-2)/6). Which is smaller: -9/23 or g?
-9/23
Let q = 71.989 + 0.011. Let f = 37 - q. Let u = f + 37. Which is greater: -0.29 or u?
u
Let x = -1632 - -1620. Let v be (-25)/(-4) - (-7)/(-28). Let z = -6 - v. Is z != x?
False
Let o(n) = n**2 - 1803*n - 104319. Let w be o(-56). Let b be -430*(0 - 2/(-4)). Is w >= b?
True
Let y = 28328 - 28327. Is y equal to 59/257?
False
Let l = -1955/103748 + -1/701. Which is bigger: l or -0.27?
l
Let f be (0 + 512/24)/(1/6). Let i = -334 + f. Which is smaller: i or 1/4?
i
Let f = 12 + -10.8. Let t = 650 + -649. Which is smaller: f or t?
t
Let x = -3336 - -710566/213. Suppose -b + 6*b - 150 = -5*m, -120 = -3*m + 3*b. Let n be m/(-25) + (17/5 - 3). Does n = x?
False
Let d = 0.224 - 0.236. Let n = -0.312 - d. Is n equal to 0.08?
False
Let m be ((1 + -6)/(-10))/((-2)/(-12)). Suppose 4 = c + m. Suppose 7*o - c = 6*o. Which is greater: o or 13/8?
13/8
Suppose -2*v - 32 = p - 0*v, -5*p - 4*v - 154 = 0. Suppose 1581*q + 67 = 1579*q + w, 3*w = 15. Let j = p - q. Are j and 1/108 equal?
False
Let u = 19.011 + 1.989. Let a = 69/2 - 33. Which is smaller: a or u?
a
Suppose -18*y = 17*y - 140. Suppose 5 = 4*a + u, -3*u = -2*a - 11 - y. Let p = -97 - -678/7. Is p smaller than a?
True
Let c be ((-30)/(-21))/((-24 + 48)/(-168)). Is c at most -537/58?
True
Let i = -224.98 + 6.98. Let s = i + 228. Are 0.03 and s unequal?
True
Suppose 5*b - 41 = -106. Let u(w) = -15*w - 65. Let k be u(-7). Suppose 35*s = 33*s - 3*g - k, -5*g + 36 = -4*s. Is s greater than b?
False
Suppose -2*g + 14 = 2*s, -48*g + 52*g = 32. Is 20/1929 > s?
True
Let k = -5 + 8. Let c = -8187 + 8183.6. Are c and k nonequal?
True
Let v be (-3488544)/(-180) + 29 - 1/(-5). Is 19410 at most as big as v?
True
Let u = -37.4 - 270.6. Let a be (800/(-250))/((-16)/10). Which is smaller: a or u?
u
Let a be 2532/(-101480)*8 - (-4 - (-190)/50). Which is greater: a or 1?
1
Let u be (-1*(-306)/(-48) + 5)*10. Is u < -5/8?
True
Suppose -20*h - 27552 = -10*h - 42*h. Is 856 smaller than h?
True
Let y be (2/(-68))/((-22)/748). Which is smaller: -14/855 or y?
-14/855
Let n = 187.1 - -33.9. Let v = 221.4 - n. Is v greater than or equal to -0.19?
True
Suppose 21*r - 6*r + 13810 = 3520. Which is smaller: -695 or r?
-695
Let l = -1940607/11 + 176226. Let u = -193 - l. Is 1/21 not equal to u?
True
Suppose 0 = -13*d - 344 - 59. Let h = d + 35. Let b be (-4)/h + -2 - -2. Is -1/22 != b?
True
Let s(k) = k**3 - 15*k**2 - 16*k + 7. Let v be s(16). Let b be 2 - (4 - (v - 4)). Let c be 60/141*13/(-52)*1. Which is smaller: c or b?
c
Let o be 20*(-2)/(-84)*3/(-4). Let y = -5 + 7. Suppose -4*v - 12 = q, -q - y*v = q + 6. Are o and q nonequal?
True
Let h = 15874 + -23170. Let p be (-1)/3 + (-2368)/h. Which is smaller: 0 or p?
p
Let y = -8 - -7.8. Let t = 0.8 + y. Let a = 3964 - 3963.8. Is a greater than or equal to t?
False
Let u(j) = 5*j + 8. Let p be u(6). Suppose g + 7 = -3*y + p, 3*g + 63 = 4*y. Let n be -36*((-120)/96 - (-134)/120 - (-4)/(-20)). Is y at least n?
True
Let p = 19 - 12. Let n(i) = -2*i + 16. Let m be n(p). Let q be (-3 + m)*(17/(-4) - -5). Which is smaller: q or 3?
q
Let d be (-41088)/(-3416) + 2 + -14. Which is smaller: d or -1?
-1
Let a(t) = 13*t + 8 + 0*t - 8*t + 5*t**2. Let j be a(-2). Suppose j*n - 5 = 13*n. Is n at least as big as -1/98?
True
Let p = -3.43 - -197.43. Let i = -225 + p. Is 0.2 at most i?
False
Let l = -3566924/161 - -22155. Let g be (-32)/(-276)*(-18)/4. Let c = g - l. Is c != -1?
True
Suppose 707*x - 1050784 - 2616084 = -727162. Are x and 4158 nonequal?
False
Let i(y) = -2*y**2 - 153*y - 567. Let c be i(-70). Is 350 >= c?
True
Suppose -5*z - 10 = -25. Let n be (0 - (2 + (-3)/z))/(-1). Let d be n*(-1)/(-2) + 126/(-72). Which is bigger: d or -1?
-1
Let j be (1 + -2)*((-30)/50 + 1). Let u = -1 + 0.5. Let z = u - 0. Is j bigger than z?
True
Let g = -121 - -123. Let z = -1.86 + 1.87. Is g smaller than z?
False
Let l = -223 - -225. Suppose 5*r - l*r + 24 = 0. Is r > -1?
False
Suppose 4*g - 33 = h, -4*g - 6*h + 3 = -h. Let m(j)