). Suppose -67 = 37*c + 7. Is c bigger than h?
False
Let t = -92 - -96. Let a = -12540/13 - -138574/117. Let d = a - 220. Is t <= d?
False
Let y = -1411381/180 - -7841. Which is smaller: 0 or y?
y
Suppose 21456 = 4*m + 4*b, b = 4*m - 15933 - 5513. Is m less than or equal to 5362?
True
Let t = 408 - 405.2. Let x = 0.006 + 3.094. Let f = t - x. Is f greater than -6?
True
Let m = -7454 - -67088/9. Is -13.21 equal to m?
False
Let o be -9 - 8916/(-342) - 17. Let f = -443759/171456 + -25/3008. Let u = o - f. Is 2 less than u?
True
Let o(i) = i**2 + 30*i - 4*i + 0 + i + 52. Let t be o(-25). Suppose -4*n - 30 + 1 = -5*r, -12 = 2*n - t*r. Which is smaller: -4/7 or n?
n
Let i be (14/(-7))/(27/(-3)). Let o = -93 + 86.3. Let v = o + 77.7. Which is smaller: i or v?
i
Let w = -2595 + 2515. Is -886/11 at least w?
False
Let w be (-7 - 645/(-105)) + (-2)/14. Let r = 1/10 + -43/30. Is w smaller than r?
False
Let k(h) = 17*h**2 + 33*h + 242. Let b be k(-10). Which is bigger: 1615 or b?
1615
Let j = 17 - 18. Let l = 2939 - 108755/37. Is j != l?
True
Let g = -3021 + 3048. Is -8 greater than g?
False
Let l = -11/26 + 6/13. Let s = 500 - 273. Suppose 235*b = s*b. Is b at most as big as l?
True
Let z be 2*(23 + -35 - 932699/(-77725)). Which is greater: 0 or z?
0
Let l be (-1)/((-138)/(-72) + -2). Let a be l*(-5 - 166/(-42)). Which is smaller: -13 or a?
-13
Let n be 2*3*(-35)/(-30). Let a be (-4)/10*-1*(n - 2). Suppose a*l = z + 9, -l + 9 = -2*z + 3*z. Which is smaller: 1 or l?
1
Let c be 6/(-3 + 3 + 1 + 1). Let q be ((-1 - c) + 0)/(-10). Let s = 0.4 - -1.6. Which is bigger: s or q?
s
Suppose 276 = -2*o - 2*k, o - 5*k - 269 = -455. Is o not equal to -53?
True
Suppose 16*h = -5*h + 84. Suppose -2*i + 8 = 4*a, -4*a + 0*a + h = i. Which is smaller: a or -1/2?
-1/2
Let o be 17 + 25/(125/(-80)). Which is smaller: -1/7857 or o?
-1/7857
Let h be (104/(-18) + 1)/((-49)/1176). Let m = -227/2 + h. Is m bigger than 0.7?
True
Let x = -9232 + 9231.8. Suppose 5 = 3*p - 13. Let j be (-62)/(-30) + p/(-9). Is j less than x?
False
Suppose 9*m = 5*m - 2*b + 110, -4*b - 105 = -5*m. Let p(q) = 11*q - 436 + 207 + 175. Let t be p(7). Which is bigger: m or t?
m
Let g = -4 + 1.9. Let t = -2.1 + 3.4. Let h = g + t. Is h equal to -0.1?
False
Let w(k) = -2*k - 26. Let s be w(-12). Let t be (s/4)/(7/182). Let a(h) = -2*h**2 - 3*h - 4. Let x be a(-3). Is x less than t?
False
Let y = 3519/13 + -271. Let p be (12/(-10))/((-7)/210). Let v = 35 - p. Which is greater: v or y?
y
Suppose 5*i + 98 = 2*o, 0*i - 4*i = 3*o - 101. Let y = o + -35. Suppose 0 = s - y*x + 19, 5*s - 2*x = -6*x + 25. Is s at most 0?
False
Suppose -3 = -2*q - o - 1, 2*q + 6 = -5*o. Let j(i) = i**3 + 2*i**2 + 8*i + 5. Let y be j(-5). Let w = 554/5 + y. Is q != w?
True
Let i(d) = d + 11. Let y be i(-5). Let r(h) = h**2 - 15*h - 37. Let p be r(17). Let w be 1 + p/y*0. Is -1 bigger than w?
False
Let h = -5531 + 5724. Suppose 259 = 3*u - 320. Are h and u non-equal?
False
Let g = -97757/95 + 1029. Let c = -35 - -35. Suppose 2 = q - c*q - s, -2*q = s + 2. Is g less than q?
True
Let m = 144 - 99. Suppose 4*y + 15 = y, -104 = -2*q - 2*y. Let t be q/76*(178 + 2)/3. Is m greater than or equal to t?
True
Let n = 17 - -5. Suppose -41*u = -37*u - 4*v - 60, -2*u + 36 = -v. Is n >= u?
True
Suppose 0 = 8*q + 374 + 162 - 2016. Which is smaller: q or 143?
143
Let d = -11701 + 11699. Which is smaller: d or -14.83?
-14.83
Let n = 17319 + -17317. Let l = -14 + 28. Suppose 5*c - 2*h + 26 = 8, 3*h - l = c. Which is smaller: n or c?
c
Let n = -87.31374 + 1.23474. Let f = 86 + n. Which is bigger: 0.1 or f?
0.1
Let i(z) = z**3 + 26*z**2 + 152*z + 19. Let n be i(-14). Is n equal to 0.5?
False
Suppose -5*j = -2*j + 3*z - 228, 4*z = -8. Let s = 5938 - 17579/3. Let p = s - j. Is 8 at most p?
False
Let i be 6/(-51) - (-38)/323. Let r = 8491/12 + -708. Which is smaller: r or i?
r
Let v = -102.03 + 94.39. Which is smaller: v or 4?
v
Let a be 1/(-2)*(1 + 1). Let b be (a/(-4))/(2 - 28/16). Let g = -1/56 + 123/616. Is b <= g?
False
Let u = 64 + -95. Suppose 0 = -4*w + 7*w + 4*q + 84, q = -2*w - 61. Is u > w?
True
Let v = 17376 - 17332. Is v >= 48?
False
Let x = -411/68 - -23/4. Suppose w + 4*w = 2*z + 14, 0 = 5*w - 20. Let f be 16/(-28) - (0 + z/7). Do f and x have the same value?
False
Let q be (6 - 23) + (-55530)/(-60). Is 908 smaller than q?
True
Let d = -1.55 + 0.15. Let v = 2213 + -2212.97. Are v and d nonequal?
True
Suppose -35*t - 1158 = -1298. Let l be (-2)/(-7) + (-94)/(-14). Suppose -4*x - 5 = l. Is x <= t?
True
Let h = 151 + -150.2. Let w = -0.15 - 1.65. Let c = h + w. Which is smaller: -2.3 or c?
-2.3
Let s be ((-24)/(-9) - 3)/(7/(-105)). Suppose s*h = 1834 + 1096. Let a be (1 - 3)*(h/292 - 2). Which is smaller: a or -1?
-1
Let g = -3044/27645 + 10/97. Which is bigger: 1 or g?
1
Let x be (-5)/(-1) - (137038/4653 - 0). Let z = x - -220/9. Is -1 < z?
True
Let x be (3*310/(-15))/(-1). Let q = -50 + x. Suppose 30 = -3*h - q. Which is smaller: -27/2 or h?
h
Let w = 10903/720 - 243/16. Let a = -15 - -11. Let n be a/(-10) - 7/5. Is w <= n?
False
Let s = -55.93165 - -0.06665. Let g = 0.135 - s. Is g at least 1?
True
Let j = 8/579 - -1054/7527. Is j <= -593?
False
Suppose -4*a = -5*s + 13065 - 1145, -3*s = a + 2946. Is a >= -2967?
False
Let w = -373 - -404. Which is smaller: -0.3 or w?
-0.3
Let u = -199 - -529. Suppose u = 5*r + 5*j, 8*r + 2*j = 10*r - 128. Is r != 67?
True
Let m(w) = w + 11. Let t be m(4). Let a be (-4 + t/5)*-2. Let j = 92/91 - 2/13. Which is smaller: j or a?
j
Let l = -5312 + 5300. Is -23 < l?
True
Let c(z) = -z**3 - 6*z**2 - 7*z + 5. Let t be (-98)/3 + ((-112)/21)/(-8). Let i = -36 - t. Let h be c(i). Which is smaller: h or -3/14?
-3/14
Let o(c) = 2*c**3 + 40*c**2 - 359*c + 2. Let b be o(-26). Are b and 1223 unequal?
True
Let m = 584 + -360. Let z = m - 30. Which is smaller: z or 197?
z
Let x(f) = -f. Let q be x(0). Let s(d) = d**2 + 4*d + 8. Let u be s(0). Let g be 2*6/u*64/7536. Which is smaller: q or g?
q
Suppose 2 = -j - 5*m + 3, 3 = 3*j - 3*m. Do 37 and j have the same value?
False
Let u = -2026/9 - -81049/360. Is 3/5 less than u?
False
Let j = -16757 + 16759.2. Is j at least as big as 1.9?
True
Let v be ((-478)/(-8))/(2867/2). Let w be ((-3 + -1)/2 - -4)*(-287)/7708. Let u = v + w. Is -1 less than or equal to u?
True
Let n = -2601 + 2599. Which is bigger: -268/329 or n?
-268/329
Let g = 1707.00297 - 1707. Which is smaller: g or 0.1?
g
Let p be (-3*(-2)/15)/((-137852)/9190 - -15). Which is bigger: p or -1837?
-1837
Let o be (14/3)/((-60)/10260). Do o and -799 have different values?
True
Let g = -5402 + 5359. Is -43 != g?
False
Let h be (-56 + 54)*2/4. Let k be -4 - (-4 - h - 1) - -4. Suppose 3*l + 45 = -0*l. Are k and l equal?
False
Let q(h) = -25*h + 3681. Let g be q(107). Is g at least as big as 1007?
False
Let o be 446/112 - (-100)/(-25). Which is smaller: -1 or o?
-1
Suppose 0*j - 1695 = 5*k + 2*j, 5*k = -j - 1700. Suppose 124*q + 3060 = 115*q. Which is smaller: q or k?
k
Suppose 5*b = -3*y - 329, -2*y + 4*b + 105 = -3*y. Let z be 4*(2 - 110/4). Let w = z - y. Which is greater: 35/3 or w?
35/3
Suppose -b - 5*w + 421 = 3619, 0 = 4*w - 24. Is b >= -3227?
False
Let a = 2.1 - -3.9. Let y = a - 3.5. Let x = -2.5 + y. Is -5/4 less than x?
True
Let g = 19/41 + -11739/25420. Suppose -2836*x + s - 14 = -2834*x, -5*x - 56 = -4*s. Which is bigger: g or x?
g
Let q be (-41)/(-41)*-496*2. Which is smaller: q or -994?
-994
Suppose 6*w - 2 = 3*r + 2*w, 5*r = -5*w - 50. Do -37 and r have different values?
True
Suppose 2*v - 47 = 3*g - 55, 14 = 5*v + g. Suppose 4*z + 2 = -v. Is 2/1297 > z?
True
Suppose 6*q = -5*q + 27*q. Suppose w + 3*w + 484 = q. Are -120 and w nonequal?
True
Let z = 4719 + -4720. Which is greater: z or 1/1110?
1/1110
Let f = 19/98 + 6238/49. Let h = -2089 - -2217. Which is bigger: f or h?
h
Suppose 897 = -247*u + 244*u. Let v = 58 - u. Does 358 = v?
False
Let f = -138403/273 - -507. Which is greater: f or 0?
f
Let a = 100.0652 + 1.2948. Are -1 and a equal?
False
Let d(n) = 6*n**2 - 22 - n**3 + 7*n - 21 + 44. Let x be d(6). Let p be 1 + (-3)/((-3)/41). Is p < x?
True
Let d = -42 - -36. Let g = 0.05353 - -41.94647. Which is smaller: d or g?
d
Let x = -479269/7110 - -11/1422. Does x = 19?
False
Let m = 368.68 + -341.2. Which is bigg