c = 88613/13 - q. Is d <= c?
False
Let m be ((-26)/(-143))/(12/11). Is 0.29 >= m?
True
Let p(x) = -x**3 - 7*x**2 - 3*x + 24. Let m be p(-6). Suppose -z = z + 3*y + 10, -z + m = -4*y. Is z at least as big as -11/6?
False
Suppose -409*u + 6 = -404*u + 2*s, -4*u - 9 = -3*s. Let f = -4607 - -225755/49. Which is smaller: f or u?
u
Let h = -41719/70 + 596. Suppose 6*b - 19 = -13. Suppose 5*z - 2*t = 1 + b, 5*z = -5*t - 5. Does z = h?
False
Let k(t) = -t**3 + 14*t**2 + 2*t - 15. Let w be k(14). Let b be (-1)/(w/(-85)) - 6. Which is greater: 2 or b?
2
Let x = -9398 - -9286. Is 0.2 < x?
False
Let l(w) = w**3 + 15*w**2 - 10*w - 124. Let f be l(-15). Is f != -126?
True
Let c = 5 - 3. Suppose c*z - 4*i + 17 = -3*i, 3*i - 21 = z. Let d be (-4)/(-4*(-33)/z). Which is greater: 1 or d?
1
Suppose -299*s = -509*s - 382620. Is s greater than -12750/7?
False
Let s = -114896 + 114954. Let n = -1 - -3. Suppose -n*f + 60 = g, -226 = -4*g + f + 5. Is g > s?
False
Let g = 16112 - 21692. Do -5580 and g have the same value?
True
Let r(g) = 9*g - 10*g - 16*g - 5*g + 35 - 12*g. Let d be r(2). Is d at most as big as -32?
True
Let j = -2096 + 1151. Let u be (-1 - (-7)/(-3))*j/(-3465). Is u greater than 1/7?
False
Let t(i) = 3*i**3 + 39*i**2 - 3*i + 75. Let j be t(-13). Which is smaller: j or 121?
j
Let y = 2/2539 + -32594/2698957. Is 0 equal to y?
False
Suppose 0 = -4*s + 4*p - 16, 4*s + 21*p + 19 = 26*p. Which is bigger: -1/1196 or s?
-1/1196
Let u = -19 - -19. Suppose q + 3*o - 4 = 0, -3*q + 7*q - 2*o - 16 = u. Suppose q*m + 5*n + 23 = 0, 0*n - 4 = -m + 2*n. Which is smaller: m or -5/6?
m
Suppose 15*y + 2 = 19*y - 2*o, -2*y - 5*o + 31 = 0. Let i be (y/(24/(-40)))/1. Which is smaller: -45 or i?
-45
Suppose -11*j + 214 = -14*j + 2*y, 5*y - 139 = 2*j. Which is bigger: -79 or j?
j
Let d = -570.1162 - 0.8838. Is d != 4/9?
True
Let t be (-8)/((-16)/(-6)) - 46. Let d = 46 + t. Let f be (4 - -37 - d) + 5. Is f at least as big as 51?
False
Let d(p) = 36*p + 121. Let t be d(6). Is t equal to 337?
True
Let b = 960/139 - 511070/65747. Let d = b - -6/43. Is 0 at most d?
False
Let r be (-10)/(720/27) + (156058/(-59536))/(-7). Is 0 > r?
True
Let n = -1 + 2. Suppose 2*g + 10 = 4*l, l + 0*g - 5 = 3*g. Let u be (l/3)/(3/9). Are n and u non-equal?
True
Let u = -889 + 890. Is u less than or equal to 2/4197?
False
Suppose -248*s = -245*s + 3*r + 2634, -2*s = 4*r + 1746. Which is smaller: s or -881?
s
Let h = -3561 + 3560. Which is smaller: 13/89 or h?
h
Let v(k) = k**2 - 105*k - 327. Let c be v(-3). Which is smaller: c or 2.28?
c
Let m = 7 + -2. Let t(l) = -2*l + 13. Let h be t(4). Suppose -80 = -m*i - 5*j, 4*j - 94 + 12 = -h*i. Which is greater: i or 2?
i
Let n = -368.98 + 382. Let g = n - 13. Suppose 16*j - 136 = 8. Which is bigger: g or j?
j
Let g be (-21)/49 - (-2571768)/4172. Let o = -616 + g. Do o and 1/4 have the same value?
False
Let u = -669/5 - -4693/35. Let p = -22 + 4. Let a = 8 + p. Which is smaller: a or u?
a
Let v = 34616 + -41535. Which is bigger: -3/5 or v?
-3/5
Suppose -4 = -8*d - 4. Suppose 9*n - 4*n = 10. Let m be 21/182*n/21. Is d != m?
True
Suppose -u - 28484 + 10112 = -7*u. Which is bigger: u or 3063?
3063
Suppose 3*a - 50*z + 55*z = 2535, 2*z = -5*a + 4263. Is 1709/2 >= a?
False
Let q = 56 - 44. Let f be (-9)/((-45)/(-10)*2/q). Let l be (0 + (-18)/f)*(-44)/6. Is -9 at least l?
True
Suppose -4*p - 82 = -18. Let l be (p/28)/(4/14). Let n be l - -4 - (-3 - -2). Is 4 less than n?
False
Let g(v) = -15*v. Let m be g(1). Let h = -15601 - -15604. Which is smaller: m or h?
m
Let c be ((-18)/(-15) - 2)*5. Let p be (150/(-35) + c/(-14))/1. Let v be (-69*p/(-18))/((-4)/6). Do 0 and v have different values?
True
Let n = 125.58 - 12.38. Let m = -113 + n. Let o be (2 - 6) + 74/17. Which is bigger: o or m?
o
Let w(z) = 7*z**2 - 73*z - 235. Let d be w(21). Is d at least 1321?
False
Suppose 157*c = 80*c. Is c not equal to 37/57?
True
Let u be 36190/210*(-6)/(-2). Is u < 520?
True
Let z = 4039 + -1013791/251. Let b = -327 - -321. Let d(v) = v**2 + 8*v + 12. Let u be d(b). Which is bigger: u or z?
u
Suppose 4*f = -4*x - 4, 4*f - 6 = -x - 22. Let v be (-80)/36 - (-2)/9. Let s be (-3 - -2)/(v/(-6)). Do f and s have different values?
True
Let o = -16 + 1. Let a = 33 + o. Let g = a + -15. Is g less than 1.1?
False
Suppose 19 = 133*g - 2774. Is g > 5?
True
Let g = -25 + 39.8. Let v = -19 + g. Let p = v + 4.1. Which is bigger: -16 or p?
p
Let n = -51666 - -51946. Suppose -274 - 1141 = -5*h - 5*g, 0 = -3*h + 4*g + 835. Is h greater than n?
True
Let g be (-5)/((-1)/(4 - 3)). Let x = 7 - g. Suppose -35 - 38 = x*r - 5*f, -86 = 4*r + 2*f. Which is bigger: r or -23?
-23
Let l be -1*(-6366)/1380 + -5. Let j = -3/230 + l. Do j and -209 have the same value?
False
Suppose -15*r = -5*x - 16*r + 18211, x - 4*r - 3617 = 0. Is x <= 3642?
True
Suppose -5*h + k + 1039 = -1258, -4*h + 5*k + 1825 = 0. Let z = 11 + h. Which is smaller: 470 or z?
470
Let b(h) = -2*h**3 - 194*h**2 - 7*h - 437. Let m be b(-97). Is m less than 242?
False
Suppose 4893*y - 4910*y = -17. Is 1/883 less than y?
True
Let d = -889/2 - -445. Which is smaller: d or 549?
d
Let f = 95/6 - 41/2. Let i = -42 - -47. Let g be 8/i*35/(-14). Which is bigger: f or g?
g
Let u = -122 - -120. Let v be 4 + -6 + 2 + u + 2. Suppose v = -o + 6 - 29. Is o > -22?
False
Let y(s) = 2*s**2 - 2*s - 1. Let c(w) = 12*w**2 - 13*w - 90. Let q(b) = c(b) - 5*y(b). Let k be q(-7). Which is bigger: 0 or k?
k
Suppose 273 = -4*f - d, -f + 5*d - 71 = 8*d. Is -46 greater than f?
True
Let w = 4 - 4. Suppose 4*c - 11 = 5*y, w = -3*c - 5*y - 6 - 12. Let n = 2 + c. Which is smaller: 3/5 or n?
3/5
Suppose -4*w + f + 105 = -0*f, 79 = 3*w - f. Let k = 22 - w. Let x = k + -14. Is x != -18?
False
Suppose 0*d = 2*d - 20. Let c be (d/15*-3)/61. Which is smaller: 1 or c?
c
Let x(c) = -3*c**3 + 10*c**2 + 6*c + 2. Let t be x(5). Let r = t + -12. Let a be 6/(-12) + (r/(-12))/5. Which is smaller: 0.8 or a?
0.8
Suppose 1461 = -15*l + 18*l. Let f = l - 495. Are -10 and f unequal?
True
Suppose -9*u + 45 = -0*u. Suppose -3*s - 4*q - 4 = -s, -u = 2*s + 5*q. Let b be 16/7 + -2 - s. Do b and -8 have the same value?
False
Let t be -75 - -82 - (-1341 + 0) - -3. Is 1350 greater than or equal to t?
False
Let x be (-1 - 6/(-4))/(637/(-577122)). Is -4076/9 greater than or equal to x?
True
Let o(l) = 175 - 332*l - 334*l + 677*l. Let w be o(-16). Is w less than or equal to -4/41?
True
Let m be (8/10)/(6/255). Suppose -15*n + m - 109 = 0. Which is smaller: n or 9?
n
Suppose -66145 = -67*b + 103876 + 205514. Is 5606 not equal to b?
True
Suppose -i = 3*i - 16, -x + 5*i = -14. Suppose 26 - x = -2*v. Suppose 8 = -2*n + v*w, -4*n - 3*w + 40 = 12. Is 5 at least n?
True
Suppose -3*a - 3*a = -114. Suppose a*c - 8 = 11*c. Which is greater: c or -1/237?
c
Let v = 75031450/1199231 + -3316/53. Which is bigger: -1 or v?
v
Suppose 0 = -47*p + 40*p - 2107. Let l = -240 - p. Which is smaller: l or 62?
l
Let k(m) = 44*m**2 + 3. Let b be k(2). Let c = b - 4474/25. Which is greater: c or 1?
1
Let b(x) = -x**3 + 5*x + 3. Let t be b(-1). Let v be t/4*0 + 3 + -104. Is -101 <= v?
True
Suppose -7574 = -46*m - 44880. Do -811 and m have the same value?
True
Let j be ((-162)/(-45))/((-9)/(-150)). Let v be ((-55)/25 + 2)*(-4)/j. Is 0.1 less than v?
False
Suppose -5*j + 3*x = -4*j, 3*j + x = 0. Suppose j + 9 = -m. Let w(z) = z**2 + 24*z - 92. Let p be w(-27). Which is smaller: p or m?
p
Let m(a) = a**3 + 9*a**2 - 2*a - 21. Let w be (2/3)/(-2 + (-40)/(-18)). Let k be w - (1 - -13) - (-3 + 1). Let z be m(k). Do z and -7 have the same value?
False
Suppose -25 = -40*f + 15. Let j be 1*f/4 + 46/(-192). Is j > 0?
True
Let g = 76.3931 + -0.3931. Are g and 0.08 unequal?
True
Let s be (0 + -236)*27/6444 - -1. Which is bigger: -1 or s?
s
Suppose -1105 = g + 1089. Which is bigger: -2195 or g?
g
Let p be (-1)/(4/4) + 124/64. Let h = p + -283/80. Let a = 8 - 12. Which is smaller: a or h?
a
Let f = 122558/43075 - 9/1723. Which is bigger: f or 3?
3
Let z = -41.4 - -40.58. Let y = 1 + z. Is y > -1.3?
True
Let c = -10863 - -10754.09. Let o = c + 109. Let h = -18 - -19. Which is bigger: h or o?
h
Let i = -60.2 + 58.996. Let o = 8.308 + i. Let t = 0.104 - o. Is -5/6 smaller than t?
False
Suppose -7*t + 5*t + 2*x = -42, -t = 5*x - 39. Let q = -60 + t