Suppose -6*b + p*b + 12 = 0. Let h = 28 + -28. Is h greater than or equal to b?
True
Suppose 3884 + 7020 = -118*q - 70*q. Suppose 0 = 3*f - 0*f - 3. Let y be (f*57)/(-1) + -1. Is y greater than or equal to q?
True
Let g(v) = -2*v - 3. Let o be g(-5). Let i be (o/((-84)/8))/(3/9). Let k be i/10 - ((-4731)/1170)/19. Is k equal to 1?
False
Let o be -3 + 39*(-24)/(-208) + 1/(-2). Is o > 2/41115?
True
Let l = 5/461 + 509395/922. Let m = -1065581 + 48991291/46. Let a = l + m. Is a < 1?
True
Let r(z) = -2*z**2 - 9*z - 8. Let i be r(-8). Let g be i/(-48) - 1/3. Let x be (-318)/(-132) + 3/(-6). Which is smaller: g or x?
g
Let w = -133797/91930 - 16/1585. Are w and -2/3 non-equal?
True
Let f be ((-4495)/(-87))/(5/6). Let p = 37/82 - -2/41. Which is smaller: f or p?
p
Let i(u) = u + 11. Let b(l) = 9. Let d(j) = -5*b(j) + 4*i(j). Let w be d(0). Is w at least 0?
False
Let n(r) = -2*r**3 - r**2 + 40*r + 77. Let a be n(-2). Suppose 0 = x - 9*x + 64. Which is smaller: x or a?
x
Let g(p) be the second derivative of p**4/12 - 2*p**2 - 19*p. Let j be g(7). Suppose -4*i - i + 137 = -3*u, -i = -5*u - j. Which is bigger: 2/5 or i?
i
Let b be (-266)/95 + 1/(-5). Let a be b*(-6)/579*4/(-8). Is a smaller than -1?
False
Suppose -384*b + 388*b = -l + 122, 3*l - 18 = 0. Suppose y + 4*u + 1 = 36, -145 = -5*y - 5*u. Which is smaller: y or b?
y
Suppose 4*o - 2*o = -n + 70, 3*o + 3*n = 108. Let q(u) = -32*u + o + 18*u + 13*u. Let l be q(-11). Is 45 greater than l?
False
Let b = 0.079 + -0.018. Let h = b + 0.139. Which is bigger: -4.6 or h?
h
Suppose -56862*m - 660 = -56840*m. Which is smaller: 111 or m?
m
Suppose 4 = -m + 2*g + 3, 3*g + 1 = 2*m. Suppose -55 = -3*j + 2*o, 2*j + 8*o - m*o - 54 = 0. Which is smaller: -2 or j?
-2
Let p = 49 + -95. Let f = -20 - p. Suppose -1 = -2*l + o, -4*l - 4*o = -10 + f. Which is smaller: -3 or l?
-3
Suppose -2*w - w - 120 = 0. Let x(b) = 2*b - 25. Let t = 68 - 55. Let m be x(t). Do m and w have different values?
True
Let h = -0.3 + -6.7. Let u = 120845 - 120845.019. Does h = u?
False
Let i = 0.94 + 6.56. Let y = 7.2 - i. Are -20 and y non-equal?
True
Let z(g) = -g**3 + g + 2. Let h be z(0). Let b be ((-5)/(-2))/(h/(-8))*8. Let m be 9/b + (-1)/5. Which is bigger: m or -1?
m
Suppose -2*h - 6860 = -12*h. Let m = -2096/3 + h. Which is smaller: -14 or m?
-14
Let d = -240709124 + 23349467118/97. Let t = d - 7032. Is 1 > t?
True
Suppose 92 - 19 = -73*w. Is w bigger than 2854?
False
Let o(g) = -g**3 - 5*g**2 + 3*g + 4. Let k be o(-3). Let v(f) = -f - 76. Let s be v(-87). Let y = s + k. Is y < -13?
False
Let w be ((-2146)/(-87))/((-4)/(-6)). Suppose 4*x + u = 47, 2*u = -4*x - u + w. Is 128/9 bigger than x?
True
Suppose 4*y + 2*c + 0*c + 40 = 0, 0 = -5*y - 4*c - 62. Does -106 = y?
False
Let y be (288/(-280) - (-6)/14)*-25. Let s(q) = -15*q**2 + q**3 + 2 + 0 - 5. Let r be s(y). Is r at least as big as -3?
True
Suppose 0*j - 91*j = 273. Let l = -3 - -9. Let v be -1 - ((-44)/l - (j + 0)). Which is bigger: 3 or v?
v
Let t be (-24)/168 + 450/14. Suppose -17 = -4*g - j, -3*g - g = -4*j - t. Which is greater: g or 56/9?
56/9
Let a(q) = 7*q - 2. Let l be a(-3). Let d = -136.996 - -146.996. Is l > d?
False
Suppose 0 = -2*h - 6 + 18. Suppose q + 10 = h*q. Let k be q*(-6)/36*(-6)/(-11). Which is greater: -1/3 or k?
k
Let u be 43 + -45 - (7048/(-3530) - (1 + -1)). Which is smaller: u or 1?
u
Let y = 30.7 - 1.7. Let n = y + -24. Let u = -0.033 + 1.033. Is n smaller than u?
False
Suppose 9*h - 9 = 12*h + 96. Is 71 > h?
True
Let i = 45124.9 + -45125. Let y be ((9/3)/3)/1. Let t be (y - 2) + (-14)/(-12). Which is greater: i or t?
t
Let u(v) = v + 2. Let t be u(-4). Let n = -149.66 + -1.34. Let j = n + 119. Are t and j equal?
False
Let q be -87*16/24*(-4)/24*-51. Which is bigger: q or -497?
q
Let v be ((-221984)/(-39240))/(-28) + 1/5. Let t(w) = w**3 + 13*w**2 - 12*w + 28. Let o be t(-14). Which is smaller: v or o?
v
Suppose 0 = -63*h + 18*h + 644283 - 200223. Which is smaller: h or 9867?
9867
Let w = 22144 + -21953. Is 181 smaller than w?
True
Let a be 5 + (-20)/8*(1 + 1). Do -10/287 and a have the same value?
False
Let h be (-9566)/(-23) + 2/23. Let d = h - 2081/5. Is -9/11 >= d?
False
Let y be (2*(-9)/(-150))/((-9)/6). Let s = -125.7 - 3.3. Let d = -129 - s. Is d at most as big as y?
False
Let w(n) = n**3 - 8*n**2 + 5*n + 6. Let q be w(5). Let j be 68/(-952) - (-629)/(-14). Let u = j - q. Is u less than or equal to -2/107?
True
Let u = 737 + -462. Let t = 275.1 - u. Is t at most as big as 77?
True
Let x be -9*(-6)/(9*3/(-30)). Let f be ((-4)/870)/(6 + 366/x). Which is greater: f or -1/4?
f
Let f be (-2)/8 + (-33)/44. Let z = -1 - f. Let p = z - 12. Is p less than -16?
False
Let h = -122 - -122.009. Let f = -75.991 - h. Let a = f - -66. Is -0.5 at most a?
False
Let m(i) = -i**3 - 19*i**2 - 84*i - 23. Let l be m(-16). Which is bigger: 558 or l?
558
Suppose -74*y = -103*y - 110*y - 34*y. Are y and -1/946 equal?
False
Suppose -7*k + 2*k + 23077 + 22758 = 0. Is k less than or equal to 9167?
True
Let t be 0/6 - ((-4)/(-2) - 1). Let h(s) = -s**3 + s**2 + 2*s + 1. Let o be h(t). Let u be -6 + o + (7 - 7). Which is smaller: -36/7 or u?
-36/7
Let r = -31 - -30.11. Let q = -840 - -839.01. Let p = r - q. Which is bigger: p or -56?
p
Let y = 42 - 10. Suppose -b + 3*x - 114 = -3*b, x + 193 = 3*b. Let d = -30 + b. Is y less than d?
True
Let k = -151 - -209. Let a = 56 - k. Which is bigger: a or 12?
12
Let j(k) = k**3 + 2*k**2 - 3. Suppose 3*z = -4*g + 4, g - 1 = 6*z - z. Let i be j(g). Let h be i*((-35)/15)/7. Do h and 1/43 have different values?
True
Let x = 373/788 + -285/394. Suppose n + 0 = 1. Which is greater: x or n?
n
Let i = -2.972 + -0.228. Let g = 32 - 29.2. Let o = g + i. Which is bigger: 1 or o?
1
Let s(h) = -h**3 - 10*h**2 - 21*h + 10. Let i be s(-7). Let l be 4/i - 7/(-210)*-762. Is l >= -15?
False
Let p = -42178/524403 + -2/5297. Let i be 1*0/5 - (0 + 0). Is i less than or equal to p?
False
Let f = -14845/63 + 1600/9. Which is smaller: f or -57?
f
Let k = -2722 - -2722. Is k bigger than 1188?
False
Let s(l) = -3*l**2 + 54*l - 136. Let h be s(15). Let t = -713174/257 - -2775. Which is smaller: h or t?
h
Suppose -2*s + t - 6*t = -25, -2*t - 17 = -s. Let y be (6560/(-5985))/(2/s). Let o = y - -166/21. Is o equal to 0?
False
Let q(i) = 68*i - 476. Let f be q(7). Which is greater: -5/177 or f?
f
Let w(r) = 19*r**2 + 410*r - 201. Let n be w(-22). Which is smaller: -409/16 or n?
-409/16
Suppose 4*v = -5*v + 4*v. Suppose v = 93*n - 85*n. Let i be ((-366)/370)/(-1) + -1. Is i at most n?
True
Let r = -9921 - -10445. Which is bigger: 523 or r?
r
Let q be (6 - 25/5) + 24*(-8)/6. Are -151/5 and q non-equal?
True
Let l be 222/11 - 26/143. Let b be (l/(-8))/5*2. Is 4 bigger than b?
True
Let n(c) be the second derivative of -7*c**3/6 - 43*c**2/2 + 6*c - 5. Let j be n(-6). Is -1/16 equal to j?
False
Let k = 2362 + -4291. Is k bigger than -1928?
False
Let v = 316 - 164. Let o be (-54)/v + 36/16 + -2. Is o at most as big as 1?
True
Let n = -104.00013 + 0.03013. Let o = -104 - n. Which is smaller: o or -0.1?
-0.1
Let w be (-12)/30 - 7/(-30). Let g = -82.5 - -153. Let j = g + -71. Does w = j?
False
Let d(x) be the third derivative of x**6/120 - x**5/6 + 17*x**4/24 - 11*x**3/6 - 22*x**2 - 3. Let f be d(8). Is 0 != f?
True
Suppose 4*k - 7 = 5*f, -5*f - 16 = -5*k - 6. Let q be (-2 + k)*85 + -3. Is 82 <= q?
True
Suppose -2*q = -0*q - 5*c - 5, 0 = -q - 2*c + 25. Let i = q - 7. Let k(l) = -l**3 - 12*l**2 - 7*l - 252. Let a be k(-13). Is i greater than or equal to a?
True
Suppose 2*p - 3*d + 0 = 3, 3 = 3*p - 3*d. Let i be ((-6)/6870*-5)/(7 + -6). Which is bigger: p or i?
i
Let s = -144 - -151. Let h be (s/21)/(38/3 + 1). Are h and -0.1 equal?
False
Let p(z) be the second derivative of -2*z**3/3 - 47*z**2/2 - 333*z. Suppose -24 = 2*f - 0*f. Let u be p(f). Which is smaller: 8/11 or u?
8/11
Let h(m) = m**2 + 8*m - 154. Let x be h(-17). Is 15/248 smaller than x?
False
Suppose 0 = 20*k - 193*k - 346. Is k > -15/28?
False
Let r be 74/370 + (-9819)/20 - 1/4. Which is smaller: -496 or r?
-496
Suppose 12*p - 16*p = -100. Let a be 18/(-45) + 385/p. Which is smaller: a or 11?
11
Suppose -8*n = -13*n - 430. Suppose 2*v - 89 = v. Let w = v + n. Which is smaller: w or 4?
w
Suppose 3*q + 160*d - 163*d