et u be ((-2481)/(-825) - 3)*(32/120)/(-4). Which is bigger: u or 0?
0
Let c = -99 + 82.9. Let k = c + 16. Which is smaller: 3 or k?
k
Let s be 2/((-10)/(-25)) + (-191)/(-4). Let d be (212/8)/(1/(-2)). Let r = s + d. Which is smaller: 40 or r?
r
Let t be 18*((-5000)/(-15))/5. Let q be 2/6 - t/(-45). Suppose 9 = -30*l + q*l. Are l and -1 non-equal?
True
Let c = 689 + -8003/12. Which is bigger: c or 23?
23
Let w(x) = x**2 + 9*x + 10. Let u be w(-8). Suppose 68 = -2*b + 6*b. Let c be b/(-34) + 82/44. Which is smaller: c or u?
c
Let c be ((-18)/(-4) + -2)/(16/(64/(-974))). Is 0 greater than c?
True
Suppose -12*g = -3*c - 10*g + 36, -4*g + 36 = 3*c. Let t be 10/c*(3 - (-78)/(-30)). Which is smaller: -92 or t?
-92
Let h = -120 - -121. Let j be (6976/(-130))/(396/10). Let w = j - -15/11. Is w at least h?
False
Let l = 3483 + -3483. Are l and -3/7072 non-equal?
True
Let a be 12/(-32) + (-2271)/2808. Let y = a - -25/26. Is y greater than or equal to -1/5?
False
Let y = -639 - -639.369. Let t = y - 0.269. Let v = -0.013 + -0.014. Which is bigger: t or v?
t
Suppose 5*c + 4899 = 5*b + c, 2*c = -3*b + 2935. Let p = -47974/49 + b. Which is smaller: p or 0?
p
Let f = -7290 + 6525. Is f equal to -3822/5?
False
Let x(g) = g + 6. Let k be x(-2). Suppose 166 = 5*l + 4*s, 4*l + k*s - 148 = -12. Suppose -m + 2*m - 31 = 0. Which is bigger: l or m?
m
Let w = -29549/2 + 14775. Let k(v) = v + 4. Let l be k(0). Suppose 0 = -b - l*b + 10. Is b smaller than w?
False
Let o(b) = -73*b + 2699. Let t be o(37). Is t at least as big as -70/89?
False
Let q be 849/(-36) - (-1 + (-5)/(-4)). Let y = q + 757/30. Are 1 and y nonequal?
True
Let i = 94 + -83. Let t = 210 - 132. Suppose -5*x - x = -t. Is i > x?
False
Let a(n) = 2*n**2 - n - 36. Let q be a(6). Suppose -5*o + 5*y - q = -10*o, 16 = -4*o + 4*y. Let v(i) = -i. Let z be v(4). Is z >= o?
False
Let g be 6806/26 + 165/715. Which is bigger: 259 or g?
g
Suppose o - 4*o = 5*o + 488. Is -38 at most o?
False
Let x be ((-1500240)/(-476586) - 3) + (-2)/11. Let r = 4/87 + x. Which is smaller: r or -1?
-1
Let j = 120/5233 + -289666/21303543. Let a = -10/69 + j. Is 0 < a?
False
Suppose 0 = 32*m - 192574 + 217342. Is m > -6959/9?
False
Let r be 160/360 - ((-43302)/(-108) - (-1)/2). Is r at most 1/4?
True
Let j = -12269/7 - -1753. Is -1/20 < j?
True
Let o = 3209/2780 + -3/695. Let h = o + -3/4. Which is smaller: 13 or h?
h
Let s = -47 - -43. Let j be (-6)/s*52/(-39). Let l(t) = t**2 + 7*t - 2. Let w be l(-5). Is w <= j?
True
Let c = 962483/2 - 496528. Is -15286 greater than or equal to c?
True
Let n = 219893 + -219872. Let j(w) = w**3 + 8*w**2 + 9*w. Let z be j(-6). Is z less than n?
True
Suppose 603*o + 400 = -4453 + 1235. Is -1410 <= o?
True
Let s = 37357/23214 - -11/318. Which is smaller: s or 2?
s
Let p be (-45)/(-2)*(117/(-6))/(9/4). Which is smaller: -197 or p?
-197
Let o be 47/(105/(-132) + (-9)/(-12)). Which is greater: o or -1037?
o
Let k = 1 + -3. Let n be 276/(-2668) - (-248)/(-2088). Which is bigger: k or n?
n
Let q(b) = -b**3 - 3*b**2 + 24*b + 123. Let g be q(-11). Let p = -797 + g. Is p bigger than 30?
False
Let p = -204 + 204. Suppose 3*k - n + 51 = -4, -3*k + 5*n - 59 = p. Is -16 equal to k?
False
Suppose 0 = 3*k - 2*o - 23, 0 = k + 4*o - 2*o + 3. Suppose 2*b - 17 = f, -10*f = b - 6*f + 5. Which is smaller: k or b?
k
Let o = -862 - -1211. Let u = o - 347. Let r be ((-8)/6)/(-45 + 3). Which is smaller: r or u?
r
Suppose 2*r - 3*x + 1197 = 0, 4*r + r + 2976 = 2*x. Let h = r + 24. Which is greater: -569 or h?
-569
Suppose -4*m = -4*w + 20, 0 = w + 2*m - 1 - 19. Suppose -w*x - 117 - 23 = 0. Which is smaller: x or -16?
-16
Suppose 2*l - 6 = -2*j - 20, 3 = -l - 3*j. Do l and 102 have different values?
True
Suppose 8*x + 2*g - 110 = 6*x, -60 = -x + 4*g. Suppose 2*i + 131 = c, -5*i - 271 = -2*c + x. Suppose k = -0*k - 66. Which is smaller: i or k?
k
Let w = -22 + 20.4. Let l = -3.2 - w. Let k = l + 1.7. Which is smaller: -28 or k?
-28
Let p = 270.48 - 4.48. Let o = p - 469. Is o at most 1?
True
Let b be ((1 - (-6)/(-4))/1)/(62997/(-12)). Is -1 less than or equal to b?
True
Let h = 0.1 - 0.1. Suppose 5*l - 335 = -4*t + 369, l = 3*t + 137. Let n = l - 139. Which is smaller: n or h?
h
Let i be (1/5)/(4/(-20)). Let m be (-4 - 8/(-4))/((-9)/i). Which is greater: -11/4 or m?
m
Let z be (0/(0 - 3))/(30/10). Suppose z = -4*j + 2*j - 4*k, j - k = 3. Which is smaller: 0.26 or j?
0.26
Let r = 1129/33 - 104/3. Suppose -4*x = -p - 71 + 78, 3*x - p = -7. Are r and x nonequal?
True
Let l be (-445)/712 - (-5)/((-120)/20121). Which is smaller: l or -838?
l
Suppose 3*v - 18 = 0, -17*v + 14*v = 5*t + 92. Do t and 23 have different values?
True
Let w be 582/(-485) - (-2794)/670 - (3 - 0). Let y = 4 + -1. Let m = -2 + y. Which is smaller: w or m?
w
Let p be 27/(-81)*(2/(-3))/((-16)/(-24)). Is p equal to -15.8?
False
Let h = -540.9371 + -0.0629. Let z = h - -647. Which is greater: z or 1/4?
z
Let n be (-1026)/(-1395) - 26/(-403). Which is bigger: -1.721 or n?
n
Let x be -15*(16/130)/(-4). Suppose 15 = 2*y + 3*y. Suppose -3*n - 3*t = 0, 0 = -4*n + t + y*t - 8. Are n and x equal?
False
Let t = 211982/17 - 12466. Suppose 10 = -3*v - 2*a + 29, -2*a + 29 = 5*v. Which is smaller: t or v?
t
Suppose 29*b = 8 - 37. Is -6/503 less than b?
False
Suppose v = 3 - 4. Let l be 3/(-4) - (-65)/(-20). Let f be l/(12/(-5)*105/14). Is v less than or equal to f?
True
Let t = -10891/6 + 12949381/7134. Is t bigger than -1?
True
Let l = 29 + 326. Let m = -261 + l. Is m bigger than 95?
False
Let b = 1.08 - 1.08. Let s = b + 1.3. Which is bigger: -2/9 or s?
s
Suppose 192 = -2*z - 2*s, 7*z - 3*z - s = -389. Let p be (-12)/24 + z/(-138). Is 0 != p?
True
Suppose 0 = -5*y + 2*m - 30, -3*m + 18 = -y - 5*m. Let c = -3 - y. Suppose 0 = -c*x + 3*x. Which is bigger: -1 or x?
x
Let w = -10425106/290903 + 3476/97. Which is greater: 1 or w?
1
Let m(b) = 45*b + 18. Let v be m(10). Suppose -81*j + 72*j = v. Is j < -52?
False
Let d be 6/9*-1*(-79740)/24. Is 2214 less than or equal to d?
True
Let w = 0.1 + 0.07. Let m = -33.001 + 0.001. Let g = 33.2 + m. Which is bigger: g or w?
g
Let l be -1 - 1 - (-56212)/(-1058). Let h = -55 - l. Which is smaller: 1/2 or h?
h
Suppose 18*g + 57*g - 303 - 72 = 0. Is -0.216 equal to g?
False
Let b(t) = -41*t - 256. Let j be b(-6). Which is greater: -21 or j?
j
Let j = 275 + -281.72. Let w = j - -7.2. Do 0.1 and w have different values?
True
Suppose -3*p = -89 + 89. Let d(w) = -w**2 - 6*w - 49. Let z be d(p). Is -49 > z?
False
Suppose 0 = -a + 10 + 3. Let v be (-12 + a)/(1*4). Is v smaller than -128?
False
Suppose 8666*b - 8690*b - 5064 = 0. Are b and -212 unequal?
True
Let c(q) = q**3 - 100*q**2 - 68*q - 940. Let p be c(102). Which is smaller: p or 12931?
12931
Let q(m) = m**3 + 12*m**2 + 18*m - 2. Let o be q(-10). Let h be (-128)/(-7) + (-8)/(-168)*-6. Is o smaller than h?
False
Let q(f) = 20*f + 10. Let x(n) = -82*n - 34. Let l(c) = -7*q(c) - 2*x(c). Suppose s - 6*s + 25 = 0. Let v be l(s). Which is greater: v or 119?
119
Let k(p) = 2*p**3 + 11*p**2 - 56*p + 65. Let h be k(-9). Which is smaller: h or -548?
-548
Let k = 303 - 214. Let g = k - 89. Is -0.11 < g?
True
Suppose 8*d - 20 = -2*d. Suppose 3*j + 4*c - 5 = d, -4*j + 8 = 4*c. Are j and -5/61 non-equal?
True
Let j(r) be the third derivative of -1/12*r**4 + 0 - 1/120*r**6 + 36*r**2 + 0*r + 1/3*r**3 + 1/20*r**5. Let h be j(2). Is h != 3?
True
Let y = -24324 - -28615. Which is smaller: y or 4290?
4290
Let r be 44/1155*(-147603)/8. Let j = r - -1407/2. Is j at most as big as 2?
True
Let b = -62.282 - -0.282. Let t = -108 - b. Which is bigger: -1/4 or t?
-1/4
Let y = 44 + -43.08. Let w = -595.28 + 9.28. Let f = w - -587. Which is bigger: y or f?
f
Let j = 0.052887 - -233.357113. Let g = j + -232. Is g at most as big as 0.1?
False
Let r(a) = 109*a - 3159. Let w be r(-28). Which is greater: -6210 or w?
-6210
Let w be (-3113)/9734*-5*4/10. Let q = -11/157 - w. Which is smaller: 0 or q?
q
Let s(b) be the third derivative of b**6/120 - 13*b**5/60 + 7*b**4/6 + 19*b**3/6 + 88*b**2. Let j be s(10). Do j and 2/129 have different values?
True
Let h = -40 - -48. Suppose -1296 = -h*w - w. Let j = w + -145. Which is bigger: 44 or j?
44
Let g be 24/861*203/(-13050). Which is greater: 0 or g?
0
Let y be -4 - (-3 + -1 + 