- -7). Is c at most -64?
False
Let n = 40 - 35. Suppose n*y - 36 = -7*y. Let l be -1*((-4)/32 - 0). Is l less than or equal to y?
True
Let t = 2 + -9. Let i = 1134 - 7936/7. Which is greater: i or t?
i
Let p = 275472784/23 + -11975254. Let a = -1824 + p. Is 1 at least as big as a?
True
Let d(i) = i**3 - 3*i**2 - 3*i - 1. Let c be d(6). Let t(h) = -h**3 + 4*h**2 + 20*h + 10. Let r be t(4). Which is smaller: r or c?
c
Let c be (-58)/203 - (-366)/840. Is -61 less than c?
True
Suppose m - 5*y + 20 = 0, 24*y - 21*y = 12. Let n(g) = 5*g + 75. Let k be n(m). Which is bigger: k or 74?
k
Let o = 0.3076 - 0.1076. Is o >= 225?
False
Let z be (16/8)/(-7*(-8)/(-145824)). Is z <= -5209?
False
Let r be -1*1*39/(-12) + -2. Let d(h) = h**2 - 6*h + 3. Let i be d(6). Suppose 4*f - 3 = w, 4*f + 5*w + i = 12. Which is smaller: r or f?
f
Suppose -3*m + 2*m + 60 = 2*y, 3*y + m = 92. Let a be (14 + -18)/(48/(-60)). Which is smaller: y or a?
a
Let g be (-2064)/(-15) + (-81)/135. Is g <= -16?
False
Let w = -0.044 - 141.956. Let b = w + 140. Let v be (5/2 + -1)/(-2). Which is smaller: b or v?
b
Let y = 14.9 - -101.07. Let u = y + -115. Let c = u - 0.37. Is -1/2 > c?
False
Let b(q) = 4*q**2 - 105*q + 620. Let f be b(9). Let a = 1/1399 + -1582/256017. Which is smaller: f or a?
f
Let b(g) = 3*g + 8. Let f be b(7). Suppose 39 - f = 2*x. Let q be 86/222 + x/(-15). Are 1 and q nonequal?
True
Let m = 105 + -101. Let s be (-21)/(-14)*((-8)/3)/m. Are s and 2/85 non-equal?
True
Suppose 0 = -7*b + 4*b + 15. Suppose 0 = -b*f + 4*i + 16, 23 = 5*f + 3*i - 0*i. Suppose v + 12 = -4*h + 5*v, 8 = -f*h + 3*v. Which is smaller: 1/61 or h?
1/61
Let s = -13688 + 314829/23. Which is bigger: -40 or s?
s
Let a = 132 + -1722/13. Suppose 147*b - 148*b - 7 = 3*r, 0 = -3*r + 2*b + 5. Is a >= r?
True
Let d(x) = -2*x**3 - 7*x**2 + 19*x + 57. Let g be d(-4). Which is greater: g or -768?
g
Suppose 26 = -3*l + 5*a + 98, 5*l - 3*a = 104. Which is smaller: 47 or l?
l
Suppose 60*j = -31*j. Let d = 36323/27 - 4033/3. Which is greater: j or d?
d
Let s be 1/4 - (-658)/56. Let n be (s/15)/((-8)/(-1292)). Let c = 44564/345 - n. Is 1 smaller than c?
False
Let r = -688 - -368. Let c be 7/(-6)*(r/(-210))/8. Is -1 bigger than c?
False
Suppose -46166 = -48*k + 101626. Suppose 4844 = -57*x - k. Is -138 bigger than x?
True
Let p = 16.0524 - 15.99. Is p at least as big as 1/4?
False
Let j = -29 + 31. Suppose j*g - 5*c = -6*c + 2, 0 = -3*g + 2*c - 11. Let s be g*((-42)/(-64))/(-7). Which is smaller: s or -1?
-1
Let f be (-6 + (-19320)/819)/((3 - 4)/(-15)). Which is smaller: f or -444?
-444
Let l be (9936/104)/3 + (-6)/(-39). Let t = 113 - 80. Which is bigger: l or t?
t
Suppose -2*w + 20 = 2*w - 4*f, 5*w - f - 13 = 0. Suppose -2*n = 5*k + 61, 35 = -5*k + 2*k - w*n. Which is smaller: k or -14?
-14
Let r be (24/(-543))/(4/(-2)). Let z be 48/(-8) - (-11 - (-6 + 0)). Which is greater: r or z?
r
Let f = -30213 + 120851/4. Suppose -q - 5*u = -2*q - 281, 5*q = 5*u - 1345. Which is greater: q or f?
f
Let r be (-4)/18 + ((-1)/(-4) - (-75597)/108). Are 699 and r unequal?
True
Let q be (16 + ((-296)/12 - -8))/(2/(-3)). Which is smaller: q or -1/10844?
-1/10844
Let u(x) = 52*x - 205. Let k be u(4). Which is greater: 140/61 or k?
k
Let x(q) = -3*q**2 - q - 5. Let h(l) be the third derivative of l**4/8 + 6*l**3 + 29*l**2. Let w be h(-13). Let u be x(w). Is -29 <= u?
True
Let a = 1240 - 2481/2. Is -276 greater than a?
False
Let m = 4 + -6. Let n = -0.5758 - -15.5758. Are m and n nonequal?
True
Suppose -194*a + 22367 + 10225 = 0. Which is smaller: -9/2 or a?
-9/2
Let z = -7.6 + -0.4. Let d = 84 - z. Let w = -88 + d. Do 0 and w have the same value?
False
Let c(g) = g**3 - 4*g**2 - 7*g + 9. Let p be c(-4). Let b = -103 - p. Let a be (-6)/63 - b/28. Which is smaller: 7/8 or a?
a
Let f(x) = -2*x + 0*x + 3*x + 8. Let m be f(-8). Let i = 18319/16 + -1145. Which is smaller: i or m?
i
Let y be (6/(-9))/(6/63). Suppose 4*w + 12 = -5*i, -2*w - 2*i - 2 = 2. Suppose -w*u - 3*b - 4 = 22, -2*b = 8. Is u > y?
False
Let s be (33/12)/(54/(-8)). Let m = 25/54 + s. Suppose v = 3*v + 8, -2*v - 11 = 3*u. Which is smaller: m or u?
u
Let p be 4 - (-84)/(-12) - (-5)/(70/48). Which is bigger: p or 12/17?
12/17
Let n = 9769 - 8281. Is 1488 greater than n?
False
Suppose 1067 = 37*h - 11069. Is 1 > h?
False
Let x(v) = -3*v. Let l be x(0). Suppose 2*j + c - 633 = l, 2*j + c + 635 = 4*j. Let k = j - 1598/5. Is k less than or equal to -1?
True
Let x = 495 + -15348/31. Let l = -61.3 - -721.3. Let u = l + -659. Is x > u?
False
Let w = 0.02 - -0.13. Let f = -37.1 + 36.91. Let g = f + w. Is g bigger than -0.06?
True
Let a(s) = -4*s**2 - 8*s - 5. Suppose -24*w = -13*w + 11. Let k be a(w). Is -3/37 less than k?
False
Let i = -10407.34 - -10508. Which is smaller: i or 2/3?
2/3
Let w = -1293.302 + 1295. Let i = -0.302 - w. Is i <= -4/25?
True
Suppose 3618 = 70*g - 43*g. Suppose -15*i - g = -809. Is 45 > i?
False
Let k be ((-42718)/(-6))/(-13) - (-1 - (-5)/15). Is -546 less than k?
False
Let u(z) = 20*z - 365. Let x be u(18). Let h(c) = -c**2 - 10*c - 29. Let n be h(x). Let y = -0.05 - -0.75. Which is bigger: y or n?
y
Suppose 0 = 579*d - 855*d. Which is greater: d or -25/894?
d
Let z(u) = 2 + 6*u**2 + 134*u + u**3 - 11*u**3 - 17 - 65*u - 67*u. Let n be z(-3). Is n greater than or equal to 303?
True
Let x(u) = -3*u + 44. Suppose 3*l + 0*l - 42 = 0. Let i be x(l). Which is greater: -0.039 or i?
i
Let j be ((-561)/132 - -2)*(-160)/(-39). Let t be (0 - -1) + -11 + 0. Is t equal to j?
False
Let p = -3594 - -5358. Let g be 2/12 + 4815349/2730. Let q = g - p. Is -1 at most as big as q?
True
Let j(p) = -p**3 - 5*p**2 - 5*p + 7. Let b be j(-3). Suppose 7*m - b*m + w = 27, 2*w = 5*m - 56. Which is greater: 1 or m?
m
Let w be (6392/(-204))/(-4 + 22/6). Which is bigger: 39 or w?
w
Let p = 27 + -99.5. Let z = p - -72. Let m = z - -0.63. Which is smaller: 0.2 or m?
m
Suppose 3*r + 3*q + 3 = -12, 10*r = 2*q - 110. Are -148 and r unequal?
True
Suppose -194 = g + 2*s, 3*g = -5*s - 120 - 469. Do g and -219 have the same value?
False
Suppose -6*l - 3*l + 45 = 0. Suppose -l*x + 29 - 34 = 0. Which is greater: 2/239 or x?
2/239
Let k(i) = 4*i**2 - 17*i + 18. Let j be k(8). Let f = j - 153. Is f >= -1/6?
False
Let b(g) = 41*g - 17. Let a be b(6). Suppose 4*k - 887 = 5*n, -4*k = -3*n - 361 - 536. Which is greater: a or k?
a
Let d = -767 - -766.6. Which is smaller: -11 or d?
-11
Let s(l) = -2*l - 46. Let j be s(0). Let o = j + 56. Let u be ((-15)/o + 2)/((-3)/10). Which is greater: u or -0.1?
-0.1
Suppose 0 = 2*k + 3*x - 67 + 37, 4*x + 40 = 4*k. Let q be (-3)/k + 0 - 148/(-688). Which is smaller: q or -1?
-1
Let v = 47225 + -283291/6. Let w be -3*1 + 2 + 12. Which is greater: w or v?
w
Let u(q) be the second derivative of q**5/10 - 3*q**4/2 + 2*q**3/3 - q**2 + 27*q + 2. Let s be u(9). Which is greater: s or 35?
35
Let r = 2641 + -2642. Is r smaller than -4/1733?
True
Let s be 1/(((-6)/14)/3). Suppose -42 = -77*a + 112. Let t be (((-7)/4)/s)/a. Which is smaller: t or 0?
0
Let b = 1376911/176712081 - 2/152733. Do b and -1 have the same value?
False
Let c be (1/(-30))/((56/6)/(518/444)). Let w(m) = 2*m - 3. Let z be w(2). Is c greater than z?
False
Let b = -87096/17 - -2086841/425. Let j = -213 - b. Let s be (-2)/7 - (-25)/(-35). Is j smaller than s?
False
Let x = 27018 + -27012. Which is bigger: x or -3140?
x
Let h be (-11 + 10)/(3/21 + 83/56). Let n(w) = -4*w**2 + 2*w. Let q be n(1). Is h bigger than q?
True
Let x(t) = 10*t - 111. Let h be x(12). Suppose h*v + 41 = 149. Is v greater than or equal to 13?
False
Let t be (11/22)/((-3)/6) - (-4977)/245. Are t and 20 equal?
False
Let t be (-1582)/(-5) + (-48)/120. Suppose 0 = 5*u - 5, -r = -22*u + 24*u + t. Is 1 equal to r?
False
Suppose -6*n - 3*f = -2*n + 17, -5*n - 60 = -4*f. Let m be 15*22/165*-5. Does n = m?
False
Let y = -108 + 113. Suppose y*q = -3*p + 1 + 46, -4 = -q. Which is smaller: p or 17?
p
Let z = -2893/4 + 724. Suppose -5*m - 4 + 14 = 0. Is m at most as big as z?
False
Let v = 1146/223 + -1462203/283879. Which is greater: v or 0?
0
Let b = -512.2 + 513.2. Is b >= -23.16?
True
Suppose 0 = 2*g - 7*h + 3*h - 1276, -h - 637 = -g. Let b be (-126 + 8)*(786/123 + 0 + -1). Let a = g + b. Is 0 equal to a?
False
Let t = -923 + 925. Let d = -0.1