d?
False
Let o(d) = 115*d + 4409. Let a be o(-37). Is 159 at most as big as a?
False
Suppose 4*t = -3*c + 162, -5*t - 5*c + 152 = -53. Let h = -49 + t. Let n = -746 + 736. Is h > n?
False
Suppose 14 = -21*k + 2*k + 12*k. Is k greater than or equal to -3312?
True
Let l = -2990 + 369. Is -2627 < l?
True
Suppose 0 = -2*p - 6, 41*p - 595 = -2*f + 36*p. Which is smaller: 285 or f?
285
Let g = 16991 - 16981. Let k be ((-62)/9)/((-42)/63). Which is greater: k or g?
k
Let s = 6493 - 4219. Suppose 12*o = -4*g + 15*o + s, -564 = -g + 3*o. Are 570 and g unequal?
False
Let g = -17901/4 - -4416. Suppose 0 = -8*d + 4*d - 5*u + 251, -9 = -3*u. Let y = d + g. Which is smaller: y or 0.5?
y
Suppose -6*q - 12*q = -4*q. Suppose q = 78*f - 69*f + 747. Is -84 smaller than f?
True
Suppose 69*q - 5360 = 7715 + 2519. Let n(w) = 57*w**2 + w + 1. Let v be n(-2). Which is greater: v or q?
v
Let t(q) = -8*q**2 - 7*q - 1. Let n be t(-1). Let v be 6/(-15) - (-104)/10. Let m be (n - v/(-4))*(6 - 22). Which is greater: m or -5?
-5
Let r = -539 - -756. Suppose 0 = -1190*t + 276995 - 19955. Is t less than or equal to r?
True
Let i be 629/3175 - 2/25. Is i < 0?
False
Let n = -1.549 + -2.451. Is n greater than 4/45?
False
Suppose -6*l - 2*l - 5480 = 0. Let u = l + 696. Is 8 less than u?
True
Let p = -5397 - -6205. Are 3 and p nonequal?
True
Suppose 10*p + 76 = 16. Let m be 220/30*(-9)/p. Which is smaller: -2 or m?
-2
Let h = 1873/472 + -212/59. Which is greater: h or -1/792?
h
Suppose 0*c + 2*c = 0. Let k be 240/72*5103/(-73). Let h = k + 233. Which is smaller: h or c?
h
Let m = 0.0368 + -0.0388. Let h = m + -0.29. Is 1 bigger than h?
True
Let p be (-45)/5 - (-733 + -1). Let o = p - 754. Which is smaller: o or -32?
-32
Suppose -37*f - 12 = 4 + 21. Is f < 20/159?
True
Let t = -8097.9 - -8098. Is t at most as big as -4597?
False
Suppose -4*u + 24 = 4*x, 5*u = -4*x + 25 + 3. Suppose 5 = 3*r - 4. Suppose -4*h - 3*o + 32 = 0, -3*h + r*o - 2 = -h. Which is bigger: h or u?
h
Let i be -3 - 6/(-36)*-6 - 12. Which is smaller: -7 or i?
i
Let s = -40.52 - -41.52. Is s at least as big as -29/48?
True
Suppose 2*a + 9 = 15, 0 = -2*r - 2*a - 2. Let u be 8/2 - (3 - (r + 3)). Which is smaller: -47 or u?
-47
Suppose -s + 7 = 2*v - 2, 3*v = 4*s - 14. Suppose -5*h = -2*m + 15, v*m + 1 = -5*h - 14. Is m greater than 0.455?
False
Let b be (25 - 1)*693/78. Let v = b - 213. Is v less than -0.2?
False
Let v(n) be the second derivative of n**5/20 + n**4/2 - n**3 - n**2/2 - 3*n - 9. Let w be v(2). Suppose -5*s + 53 = -42. Is w at least s?
True
Let x(d) = -15*d + 188. Let f be x(-15). Let h = f + -413. Which is smaller: 4/127 or h?
h
Suppose 9 = -m - 1. Let p be 1 + m/25 - 24/(-10). Suppose p*x + 40 = -2*x. Is -25/3 < x?
True
Let g be (-12)/(13/(-52)*-906). Let b = 238 + -238. Which is greater: g or b?
b
Let r = -170339 - -170388. Let v(x) = x**2 + 1. Let l(d) = 3*d**2 + d - 4. Let o(w) = 2*l(w) + 6*v(w). Let a be o(2). Which is smaller: r or a?
r
Let c be 102/(-867) - (-532)/4233. Let u = c - -241/996. Which is smaller: u or 0.76?
u
Suppose -2*c - 2*y + 4*y = 12, -5*c + y - 2 = 0. Is c less than -5.17?
False
Let y = 9687 + -9687.53. Let m = -38 + 38.23. Let s = m + y. Is -2 at most s?
True
Suppose 3*y - 14 = 46. Let c = y - 10. Suppose -3*i = -c - 83. Is i < 30?
False
Let v = -0.4305 - 0.0605. Let d = v + 0.491. Let z = -1.6 + 0.8. Which is greater: d or z?
d
Let o be 235 + ((-12)/(-9))/(11/(-66)). Is o smaller than 228?
True
Suppose 11*z - 184 = 3*z. Let a = z - 31. Let r be (2/7)/((-28)/a). Which is smaller: -1 or r?
-1
Let l be (3/2)/(1 - (-55)/(-88)). Suppose -z = l*o + 3 + 17, z + 25 = -3*o. Which is greater: z or -79/2?
-79/2
Let w = -8.47 - -0.47. Let m = w + 3. Let r = -48 - -47.94. Which is smaller: r or m?
m
Suppose -2*w + 2*v + 74 = -w, -5*v = w - 102. Let p = -32 + w. Let i = 21 - p. Which is greater: i or -30?
i
Let i be 25047/16694 - 1 - (46 + (-9191)/202). Which is greater: i or 0?
i
Let b = 22.24 - 66.24. Which is smaller: -73 or b?
-73
Let w(m) = m**3 - 3*m**2 + 1. Let v be w(3). Let s = 3783/32 - 344829/2912. Is v equal to s?
False
Let v = 224740 + -224793. Let g(w) = -8*w**3 + w**2 + 4*w - 3. Let b be g(2). Is b greater than v?
False
Let b = 164215/269744 + -1/11728. Let i = 0 + -0.1. Is i smaller than b?
True
Let j be 324/216 + (-19987)/(-2). Is 9996 less than j?
False
Let t = 174 - 35. Let c = t - 86. Suppose -157 + c = 2*y. Is y smaller than -52?
False
Suppose 0 = 3*i - d - 1490, 8*i = 10*i + d - 995. Is 496 greater than i?
False
Suppose -2*s = 2*s - 1996. Let f = s - 1969/4. Let h = -73/12 + f. Which is greater: h or -4?
h
Let v(n) be the third derivative of n**5/60 - 5*n**4/6 + 12*n**3 - 4*n**2 + 26. Let o be v(12). Are -24 and o unequal?
False
Let p(b) = -279*b**3 + 2*b**2 + 2*b. Suppose 1147*o - 1146*o + 1 = 0. Let r be p(o). Which is smaller: r or 559/2?
r
Let j = -75 - -76. Let d be (54/4)/(-3)*(-36)/(-14). Let t = -325/28 - d. Which is bigger: j or t?
j
Let k(r) = -r**2 - r + 2. Let t(p) = -2*p**2 + 16*p - 36. Let l(w) = 3*k(w) - t(w). Let x be l(-21). Which is greater: x or 9/14?
9/14
Let n(b) = -15*b + 85. Let f be n(7). Let k be 10/f + (-273 - 2). Which is smaller: -276 or k?
-276
Suppose 351 = 3*i - 0*i. Let x be 26/i - (-11)/(-9). Let f be (-4)/8*(x + 3). Is f >= -1?
True
Let j be (-10 + 14)/((-1)/((-1527)/(-6))). Let m be 2 + (-1)/(j/(-2032)). Which is bigger: m or -1?
m
Suppose 4*u + s = 2*u - 2, 3*u - 4 = 2*s. Let v = -1575 + 3177. Let f = v + -142580/89. Which is greater: u or f?
u
Let y be (1296/65880)/((-1)/(-10)). Let x = -0.4 + 0.3. Is x bigger than y?
False
Let n be 0*(15 - 279/18). Which is smaller: -23/86 or n?
-23/86
Let b = -670.1 - -680.1. Do -128 and b have the same value?
False
Let n(w) = -w**3 + 13*w**2 - 23*w - 101. Let j be n(9). Which is bigger: j or 200/13?
j
Suppose 5*n + 0*n - 60 = -5*v, -5*n + 5*v = -40. Suppose 6 + n = -4*x. Let t = 200/437 - 11651/3496. Is t not equal to x?
True
Let h be (-4 - 2)*7/(-21). Suppose -9*a - 2 = -12*a + 5*q, h*a - 3*q - 1 = 0. Is -2/169 < a?
False
Let i = -1.3 - -1.2. Let w = -28620 + 3205481/112. Let x = w + 1/16. Is i at most x?
True
Suppose 3*z - 1 = 8. Let h(p) = -2*p**2 + p - 40 + 34 - 4*p**z + 3*p**3. Let c be h(-3). Is 1/8 != c?
True
Let v = -239.4009 - -239.32. Which is smaller: 0.1 or v?
v
Let t(m) = m**3 + 15*m**2 - 14*m + 27. Let x be t(-16). Let j be (-1)/((-6776)/1356 - x). Is j at least as big as -0.1?
False
Let t = 6445731/14 - 461253. Let x = t + 844. Suppose -3*o = -2*o. Which is smaller: x or o?
o
Let a be -1 + -3 + (3 - 2) + 9. Suppose -5*w + 0*w + 2*b = -17, 4*b - 26 = -2*w. Suppose -4*g - 17 = r, 0*g = w*r - 5*g - 40. Which is bigger: a or r?
a
Let l(k) = k**2 - 13*k + 23. Let p(d) = 0 - 21*d + 6*d - 5. Let c be p(-1). Let u be l(c). Which is smaller: -5 or u?
u
Suppose -m - 81 = -v - 0*m, 0 = 2*v - m - 162. Suppose -v*p = -77*p - 188. Let s(z) = z**3 - 6*z**2 + 9*z - 8. Let h be s(6). Is h at most p?
True
Let q = -544 - -508.9. Let p = q - -25. Let k = p + 10.1. Is -3/4 at most as big as k?
True
Let t = -3207/73 + 570662/12483. Let d = t - 17/19. Let o = 3 - 3. Is o > d?
False
Let z = 107392911/199 - 539664. Which is smaller: -1 or z?
z
Let j = -11 + -27. Let b = 691 - 730. Which is greater: j or b?
j
Let z(p) = 398*p**2 - 20*p. Let g be z(2). Is g smaller than 1553?
True
Let y = -19061 + 57194/3. Suppose -7 = -4*t - 3. Let j be ((-8)/(-6)*3)/t. Is y != j?
True
Let k = 8711 + -8985. Which is smaller: k or 28/9?
k
Let l be (-12 + 43 - 29) + (-1)/5. Which is greater: l or -211/2?
l
Let c(l) = l**3 + l**2 - 7*l - 1. Let m be c(-3). Suppose -385*a + 389*a = 16. Is m less than a?
True
Suppose 3*y - 16 = y. Suppose -4*u + y*u + 4 = 0. Let z = 6.9 - 13.9. Is z less than u?
True
Let i be 2/16 - 184/368. Let m = -4 - -5. Let x be ((0 + -1)/1)/m. Which is smaller: x or i?
x
Let u(i) = 7*i**2 - 57*i - 318. Let v be u(12). Suppose 3*c = -2*c + 50. Which is bigger: c or v?
c
Let u(w) be the first derivative of -5/2*w**2 - 2/3*w**3 + 1/4*w**4 - 23 - 17*w. Let o be u(4). Is o less than or equal to -1/2?
True
Suppose -k - 298 = 4*c, 72*k + 1506 = 67*k - 4*c. Is k < 1/11?
True
Let d = 18670 - 18670.2. Is d smaller than -738?
False
Let v = 0.591521 + -0.691521. Let z = -0.062 - 33.938. Is z at least as big as v