at least as big as -3/61?
True
Suppose -33 + 163 = -10*n. Suppose 5*j - j + 4 = 5*o, -5*o - 50 = 5*j. Is n less than j?
True
Suppose 0*r + r - 5*w = 88, -2*r = -4*w - 182. Let k = 20 + r. Let p = 123 - k. Which is smaller: 2 or p?
2
Let l be 4 - ((-2)/(-2 - 0) + -49). Suppose -l - 88 = -3*o + a, -4*o - 5*a = -174. Which is greater: o or 0?
o
Let q be (-3)/8 - (70836/(-224) - (-96)/112). Which is smaller: q or 316?
q
Suppose -54 = 2000*w - 1973*w. Which is bigger: w or -2/1755?
-2/1755
Suppose -7*w - 5889 = 327. Is -890 less than or equal to w?
True
Let d be -3 - (-1*1/6)/((-8)/1494). Is 0.6 < d?
False
Let c be (-28)/16*(-4)/(-5)*(-60)/126. Let o = 592 + -151. Which is smaller: c or o?
c
Let s(f) = -5*f**3 - f**2 + 4*f - 2. Let o be s(1). Let i be (-1 - (-5)/11)/o. Which is smaller: 1 or i?
i
Suppose -54 - 22 = -38*z. Let b(h) be the second derivative of 7*h**3/6 - 3*h**2 + 2*h. Let m be b(z). Which is bigger: m or 9?
9
Suppose 5*y = 8*y - 6, -3*k - 125 = 5*y. Let f = 43 + k. Is -40/13 >= f?
False
Let d(g) = -7*g**2 + 232*g - 4139. Let v be d(17). Which is greater: 0 or v?
0
Suppose -u - 4*l - 21 = -0, -7 = 4*u + 5*l. Suppose 2*p - 5*p = -5*b + 14, 0 = -2*p - 4*b + 20. Let t be (3/p)/(14/52). Is u less than or equal to t?
False
Let p be (-3 - 0) + (1 - -1 - 25). Let h be (2 - 10/8) + (p - -25). Does h = -177?
False
Let g = 531 - 515. Let t = 13 + 2. Which is smaller: t or g?
t
Let z be 3 - 80/15 - 1. Suppose 32 - 20 = -6*k. Is k bigger than z?
True
Let d = -445 + 314. Which is greater: d or -132?
d
Let g(d) = 1397*d - 4. Let z be g(-1). Let v be (1 + z/1398)*(-2 - -4). Which is smaller: 1 or v?
v
Let g = -163 + 162.44. Let t = -35 + 31.56. Let p = t + g. Which is smaller: p or 2?
p
Let s be 23/(-46)*(-2 - 6). Let a = 0.047 + -26.047. Let z = -25.6 - a. Which is smaller: z or s?
z
Let w be 3497/(-55) - 4*(-8)/80. Let h = 745/11 + w. Is h < 6?
True
Let w = -6102 + 2892349/474. Let p = -328408544 + 1712322154115/5214. Let x = w - p. Is x < -2?
False
Suppose -4*l - 11 = -3*m, -16 = 2*l - 3*l - 3*m. Let n be (-3)/(-62)*(-71 - (-6 + 1)). Let p = n + 743/155. Which is smaller: l or p?
l
Let i(p) = p**2 + 36*p - 16. Let q be i(-28). Let z = q - -128. Is -112 <= z?
True
Let t(f) = -f**3 - 96*f**2 - 272*f + 2. Let g be t(-3). Which is bigger: g or -124/7?
-124/7
Let i = 6 + -3. Suppose 0 = 4*c + 45 + i. Let j = -8 + -3. Which is bigger: c or j?
j
Let v(l) = -l**2 + 2*l - 17. Let t be v(-7). Let m be 3/((-2856)/151) + (-10)/t. Which is bigger: m or 1?
1
Let y = -62 + 153. Suppose y = -6*m - m. Let f(n) = -n**3 - 13*n**2 + 2*n + 16. Let w be f(m). Which is greater: w or -11?
w
Let m be (-245)/24*((-64)/24)/((-6)/3). Which is bigger: m or -13?
-13
Let z = -36.538 - -36.54314. Is 0.2 at least z?
True
Let j = -5230 + 5487. Suppose 0*h - 1305 = -5*t + 2*h, 3*t - 752 = -5*h. Which is bigger: t or j?
t
Let b be ((-72432)/84)/((-4)/(-14)). Is -3018 >= b?
True
Let m(k) = 4*k**2 - 183*k + 165. Let y be m(45). Which is bigger: 274/9 or y?
274/9
Let p be 5 + (-216)/40 - 690/25. Let f(y) = -60*y. Let b be f(2). Let u be p/b + 4/(-10). Which is smaller: 1 or u?
u
Let r be (-12)/(-10)*(-8 - 145/(-15)). Let n be -3 - (r - 8)*(-3)/(-6). Is n > 5?
False
Let f = -4415/1952 + 75/32. Suppose -41*h = 67*h - 94*h. Are f and h unequal?
True
Let n(p) = -3*p**2 - 13*p + 102. Let h be n(-19). Which is smaller: h or -740?
-740
Suppose -2*t + 2*g = 12, 10*t = 14*t + 5*g - 21. Let l be (-2)/t*(-7)/28*2. Is l at most as big as -10/7?
False
Let f(b) = 68*b - 686. Let j be f(10). Which is smaller: -176 or j?
-176
Suppose -4*s = 32 - 36. Let t(f) = 0*f + s + 5*f**2 + 2*f - f + f. Let g be t(-2). Is g greater than 17?
False
Let z(q) = -q**2 - q - 1. Let n(m) = -m**3 - 15*m**2 + 13*m + 7. Let s(h) = -n(h) + 2*z(h). Let w be s(-14). Suppose 0 = 5*c + 20 - 45. Is w <= c?
True
Suppose -5*u + 5*j = j + 33, 3*u + 4*j = 25. Which is smaller: 3/18617 or u?
u
Let g = -155 - -460. Let s = g + -901/3. Suppose h - 2*j + 7 = 9, -5*j = 4*h - 21. Do h and s have different values?
True
Let j be (-21)/(567/45) - 4/(-6). Is 13/3825 not equal to j?
True
Let k be (-8)/14 - (-162)/63. Let f be (k/(-4))/(4 - (-45)/(-10)). Are f and 2 equal?
False
Let r be -1*(-2 - (-4)/2). Let q be -2*7/3*(2/12)/1. Is q less than or equal to r?
True
Let y be (4/(40/(-6)))/((-1)/20). Let o be y/15*45/(-6). Let f be ((-12)/4 + 3)/2. Which is greater: f or o?
f
Let n be 22/(-121) + 1 + 27/(-33). Which is bigger: -10/657 or n?
n
Let t = 9806.9 - 9805. Which is greater: t or -0.017?
t
Suppose 3*j - 8*j = -h - 5, -5*h + 23 = -j. Suppose 5 - j = -l. Is -28/11 != l?
True
Let k = 530 + -524. Suppose 4*p - 9*n + k*n + 186 = 0, n + 242 = -5*p. Which is smaller: p or -45?
p
Let z = -6601.9 + 6602. Let p = 5 - 11. Which is bigger: z or p?
z
Suppose 6*g - 681 = -86*g + 331. Do g and -11 have the same value?
False
Let l be (-3 + 2)/(-9) + 177485/(-693). Is l at least as big as -257?
True
Let k(c) = 2*c**2 + 4*c. Let x be k(-3). Suppose 9918*r - 50 = 9923*r. Is r < x?
True
Suppose -28*d + 30*d - 36 = 0. Let u be (d + (-72)/9)*6/10. Which is smaller: u or 12?
u
Let t(r) = r**2 - r + 1. Let k(w) = -6*w**2 + 5*w + 4. Let b(c) = k(c) + 4*t(c). Suppose 2*n - 10 = -3*n - 5*d, 4*n + d - 2 = 0. Let p be b(n). Is 8 < p?
False
Let x be (-2)/9 + (-50 - -8) + -30. Which is bigger: x or -72?
-72
Let w = 6411 + -5412. Is w greater than or equal to 999?
True
Let v be 5/(-2)*(1/(-5) + -1). Let x be v + (-5)/(30/18). Is x smaller than 20?
True
Suppose -4*g - 4*l + 2949 = 8385, 0 = -2*g + 5*l - 2676. Is -1354 smaller than g?
True
Let r = -19853 + 19860. Which is smaller: 331/50 or r?
331/50
Let d(t) be the first derivative of t**3/3 - 9*t**2/2 + 13*t + 85. Let w be d(8). Is 27 bigger than w?
True
Let i = -3919 + 46933/12. Are i and -7 unequal?
True
Let r = -121 - -124. Let z be 105/(-84) + r/4. Are 168/11 and z equal?
False
Suppose 335 = 32*j - 2417. Which is greater: 930/11 or j?
j
Suppose 462*c - 464*c + 320 = 0. Let y = c + -798/5. Is y less than 125?
True
Let z = 4738 - 4734. Is 101/38 >= z?
False
Let q = -330219/3422 + -2/1711. Let l = -96 - q. Which is bigger: -53 or l?
l
Let u = -0.99 + -46.01. Let j = -39.8 - u. Let x = j + -11.2. Is x <= -5?
False
Suppose 231*b + 301*b = 148*b + 391680. Is b less than 1024?
True
Let d be (-316)/1020 - (-6)/45. Let b = -111 - -176. Let j = b - 65. Is j bigger than d?
True
Let c be (2 - 3)/(4/(-4876))*-1. Which is bigger: -3653/3 or c?
-3653/3
Let r = 9 - 10.6. Let s = r + 2. Let j = 128.5 + -129.2. Do s and j have different values?
True
Let p = -6968 - -4347. Let u = -2719.53 - p. Let z = 99 + u. Which is greater: 2/5 or z?
z
Let l = -4891 - -29311/6. Let c = -41/6 - -37/6. Which is smaller: l or c?
l
Let b(z) = 3*z**3 - 6*z**2 + 5. Let h be b(2). Suppose 4*s = g - h, 31 = s + 4*g + 11. Are 1.47 and s unequal?
True
Let p = -129 - -133. Suppose -3*h + 2*f = -0*h + 1, -5*h = -f + p. Let k be (-85)/(-175) - (-2)/(-7). Is k >= h?
True
Let g be 528/(-74624)*10/(-6). Which is greater: g or -1?
g
Let o = -26.839 - 1614.161. Is o less than 7/4?
True
Let y(b) = -4*b**3 - 7*b**2 + 2. Let g be y(-2). Suppose 610 = -5*o - 5*f, g*o - 2*o + f + 476 = 0. Is o less than or equal to -119?
False
Let f = 179/2 - 77. Which is smaller: f or -0.07?
-0.07
Let z be ((-2)/18)/(8/(-60)). Let m be (-4)/(-30) + (-2394)/(-270). Suppose -a + 9 = 3*i, 3*a - 7*a - 3*i = -m. Is a at most as big as z?
True
Suppose 4*h - 4*i = 4, 0*i + 9 = 3*h + 3*i. Suppose 17 - 13 = h*k. Let v be -1 + (-4 - 315/(-55)). Is v at most k?
True
Suppose n - 5*m - 694 = 4*n, 2*n - 4*m = -492. Let u = -4763/20 - n. Which is smaller: -6 or u?
-6
Suppose -2*h = 6, 3 = y - 40*h + 42*h. Suppose -y*a - 90 = -81. Which is smaller: -3/113 or a?
a
Let i = -31883 + 32425. Which is smaller: 2165/4 or i?
2165/4
Let d = -1359 - -1357. Which is smaller: d or 337/7?
d
Let y be (-3)/(-6)*(4/2 - 2). Suppose y = -3*k - 66 + 81. Suppose 3*h = k - 2. Is h at least as big as -7/20?
True
Let t = 28900 - 28928. Are t and -212 equal?
False
Suppose -5*b + 4*c - 6628 = 0, 5315 = -4*b - 20*c + 19*c. Is -1327 bigger than b?
True
Suppose -8*m + 29 + 19 = 0. Suppose 5*q = 0, 0*p + 3*q - m = -3*p. Are 0.01 and p equal?
False
Suppose -69*a - 11 = -70*a + 3*n, n - 1 = 5*a. Which is smaller: -24/73 or a?