o or 5?
o
Let k be 64*(-9)/(-18) + -8. Let b be ((-2)/6)/((-100)/k + 4). Is b at least as big as 0.21?
True
Let d(b) = b + 9. Let i be d(-7). Let f be 5/((-550)/(-56542)) + 8/i. Let w = f + -518. Is -1 equal to w?
False
Let w = -65271/2 + 32618. Let o(r) = r**3 + r**2. Let d be o(-3). Which is bigger: d or w?
w
Suppose -49*f - 8045 = 2686. Which is greater: f or -216?
-216
Let q = 15.091 + 3.909. Let u be 2/(-3)*6/(-10). Is q not equal to u?
True
Suppose 5*v - 4*v = -7. Suppose -c = -4*c + 60. Let g be -7 - (1/(-5) + (-56)/c). Which is smaller: v or g?
v
Let b(r) = 20*r**2 + 3*r + 1. Let o be b(-4). Suppose 2*k + 313 = o. Let n(w) = -w + 4. Let g be n(7). Which is smaller: k or g?
g
Let x(m) = 13 + 15 - 29. Let d(j) = -j - 61. Let q(s) = d(s) - 6*x(s). Let n be q(-23). Do -32 and n have the same value?
True
Let s(o) = 2*o**3 - 25*o**2 - 134*o + 39. Let n be s(-6). Which is smaller: n or -502?
-502
Let v(l) be the first derivative of l**3/3 - 3*l**2/2 - 2*l + 3. Let k be v(3). Let q be (-3 + 2)*k + 300/(-138). Is q less than or equal to -1?
False
Let o = 519/5 - 41. Let v = -2188/35 + o. Is v < -6.42?
False
Let x be 4 + (7426/(-1501) - 1/19). Which is smaller: x or 3/887?
x
Let v = -148 - 144. Let n be (4/30)/(v/72 - -4). Is 3/5 smaller than n?
False
Let n be (4/6)/((5 - 11)/18). Let z be (-2)/(4/n - -1). Suppose -4*h = z*p + 4 - 2, 4*p - h = 5. Is p greater than or equal to -1/46?
True
Suppose 9*i - i + 5454 = -19*i. Are i and -195 nonequal?
True
Let z = 3 + -1. Let i(x) = -x**3 + 22*x**2 + 25*x - 968. Let c be i(21). Which is bigger: z or c?
z
Let n(g) = -g**3 - 11*g**2 - 30*g - 17. Let p be n(-7). Let f be 6/10*(-14)/3. Is f at least p?
True
Let f(l) = -l**3 + 12*l**2 - 34*l - 8. Let m be f(6). Suppose -22*i = -m + 26. Is -18/77 at most i?
False
Suppose -3*s - 2*s = -125. Suppose -14*k + 669 = s. Do 46 and k have the same value?
True
Let i(v) = 2*v**3 + 15*v**2 - 19*v - 89. Let d(u) = u**3 + 8*u**2 - 9*u - 45. Let p(w) = -7*d(w) + 4*i(w). Let c be p(-5). Are c and -24/19 nonequal?
True
Let w be (10 + 205/(-25))/(6932/(-20)). Is w smaller than 0?
True
Let j = 51 - 47. Let q(m) = 4*m**2 + m**3 - 3*m**3 + m + m**3 + j - 7*m**2. Let g be q(-3). Is 3/4 > g?
False
Suppose 4*b + 20 - 32 = 0. Suppose -2*n - 3*f - 29 = -215, 90 = n + b*f. Do n and 96 have different values?
False
Suppose -89*s + 143*s = 114912. Is s at most as big as 2129?
True
Let o be ((-636)/98156)/((-2)/6). Do o and 1 have different values?
True
Let p be ((-56)/(-112))/((-2)/(-160)). Is -11 bigger than p?
False
Let v be (-1 - -9636) + (-36)/(1 - -5). Are 9629 and v non-equal?
False
Let v be (10 + 17 - -6)*(-119)/(-21). Which is greater: 167 or v?
v
Let h be 2/(3/(225/6)). Suppose m - 6*m + 4*v + h = 0, -m = 2*v - 5. Is -6 at least m?
False
Suppose -s - 5*b + 53 = 0, -4*b + 56 = -3*s + 310. Which is greater: 77 or s?
s
Let c = 713 + -128. Suppose l - 1 + c = -2*b, -l - 3*b = 587. Let k be (-1 + l/(-580))*(6 + -2). Do k and 0 have the same value?
False
Let h = -35.47 + 0.87. Let v = 4.7 - -30.3. Let g = v + h. Is g at least as big as 1?
False
Let u = -32 + 21. Suppose -3*w + 71 = -5*m, -3*w + 53 = -4*m - 17. Suppose -w*l - 57 = 163. Which is bigger: l or u?
l
Let k(z) = 2*z**2 - 54*z + 221. Let d be k(5). Let r be 192/(-230) - 6/(-15). Is r >= d?
False
Let j = -47 - -44. Let g(w) = 26*w - 3. Let d be g(j). Suppose 5*r + 3*u = -406, -u + 51 = -r - 27. Which is smaller: d or r?
d
Let x be (11 - 10)/((-2)/352*-4). Suppose 2*y - 178 - 18 = -5*f, 2*f - 5*y = 61. Let z = f + 6. Is z greater than x?
False
Let q be 12/(-32)*-4 - (-67)/(-2). Suppose -5 = -r - 3. Suppose 2*d + 76 = -2*s, 3*d = -2*d - r*s - 175. Which is greater: d or q?
q
Suppose -59*h + 954 = -41*h. Let g = 14 - h. Which is smaller: -36 or g?
g
Let a be 3 - (8/(-8) - -982). Let q = -830 - a. Is 146 != q?
True
Let q = 177 + -1942/11. Let a = 55457 + -55456. Which is greater: q or a?
a
Let s = -30 - -38. Suppose -4*f = s, 65 = -2*j - j - 4*f. Suppose -2*v = -4, 7*g + 90 = 3*g + 3*v. Are g and j nonequal?
True
Let w(b) = -b**3 + 17*b**2 - 16*b + 5. Let c be w(16). Suppose -3*n - 4*s + 16 + 24 = 0, 4*s = c*n - 88. Let v be -1 + 3 + 14/1. Is v greater than n?
False
Let i be (-597)/(-6)*20/(-2 + -3). Is -403 less than i?
True
Let k = -104/77 - -2638/1155. Which is greater: k or -8/5?
k
Let f(y) be the second derivative of -y**3/3 - 3*y**2/2 + 17*y. Let t be f(-7). Let x = -0.02 + 1.02. Which is bigger: t or x?
t
Let j = -6762 - -6778. Which is greater: j or 0.183?
j
Suppose -224*k + 118407 = -64*k - 332633. Which is smaller: k or 2818?
2818
Suppose 3*n = 0, 4*w + 26 - 222 = -3*n. Suppose 4*h - 44 = -2*l, 2*l - 6 = -5*h + w. Let g = -16404 + 16406. Which is bigger: g or h?
h
Let h(b) = -b**3 + 2*b**2 + 22*b - 33. Let y be h(5). Is -57 not equal to y?
True
Let v = 2 + 7. Suppose 0 = -7*n + 5 + v. Suppose -2*m + n = -4*m - 3*z, 2*z = -5*m + 17. Are m and 5 non-equal?
False
Let b be (-4)/16 + (-1)/(-4). Let y be 260/(-104) + 691/260 + (-6)/39. Is b at least y?
False
Suppose -4*k + 3*k = 0. Let w be (16/4 + -1)*(5 - k). Let h = w - 109/7. Is 0 > h?
True
Let a = 240844 - 19026312/79. Let z = 27766/711 - a. Which is bigger: 34 or z?
z
Let b = 10 + -3. Let f = -922 + 915. Which is greater: f or b?
b
Let a(s) = -s**3 - 31*s**2 - 157*s - 43. Let h be a(-25). Is h at least 2268/17?
False
Suppose z = -3*m - 12, -26*z + 31*z + 38 = -4*m. Is 1 greater than z?
True
Let h = -12 + 15. Let p = -1.9 + 69.88. Let k = p - 68. Which is smaller: h or k?
k
Let j(y) = -y**2 + 3*y. Let l be (-492)/8 + -1 + 1/2. Let i = -62 - l. Let u be j(i). Which is greater: u or -5/8?
u
Let t = 5937 + -5899.29. Let j = t - 37.7. Is j >= -3?
True
Suppose 5*y + 1672 - 19907 = 0. Is y greater than 3646?
True
Let o = 7576/297135 + -53/1917. Suppose -3*x - 3*a - 6 = 0, -x + 6*a + 3 = 2*a. Which is bigger: x or o?
o
Let i(y) be the second derivative of -y**5/20 + 17*y**4/12 - 13*y**3/3 + y**2 - 188*y. Let b be i(15). Are b and 62 equal?
True
Let u = 22458.113 + -42.113. Is -0.1 bigger than u?
False
Let k(w) = -2*w**3 + 12*w**2 + 2*w + 7. Let z be k(6). Suppose 22*l - 138 = z*l. Suppose -l = -3*f + 26. Is f >= 25?
False
Let r = 18056335109/27273 + -662059. Which is bigger: -1 or r?
r
Let p = 3/4669 - -6998825/9338. Which is smaller: 751 or p?
p
Let g = 181.8 - 177.8. Which is greater: g or -192?
g
Let l be 13 + -2 + -12 + (-594)/(-518). Is l less than or equal to -1?
False
Suppose -52*s = 53*s - 525. Suppose -i + 3*i = 0. Suppose -o - 41 = -2*k - i*k, o = s. Is k greater than or equal to 43/2?
True
Let l = 132 - 68. Let n = -0.141 - -63.941. Let g = l - n. Which is smaller: g or 2/5?
g
Let v be 8/30 + (-2)/(-5). Let s(u) = 3*u**2 - 31*u + 61. Let q be s(8). Suppose -2*o - 7 + 108 = -5*n, 3*o + q*n = 139. Which is smaller: o or v?
v
Let z = -31138/3 - -10380. Is z less than -20009?
False
Suppose 1266003268 = -4*a + 5*h, 5*h - 274313435 - 42187382 = a. Let x = a + 8997168722963/28427. Let d = x + 2/917. Which is smaller: d or -1?
-1
Let d be (940/(-950) + 1)/(-10). Which is bigger: 1 or d?
1
Let i = 1388914/6545 + -13/1309. Let r = i + -213. Let o be (28/(-12) + 2)/((-6)/(-36)). Is o smaller than r?
True
Let g be (-3)/(12/(-8))*(-5)/11162. Let c = 21274747/27905 - g. Let k = 770 - c. Is k <= 8?
True
Suppose 10 - 42 = -8*o. Suppose -2*j + 20 = -0*j. Let s(h) = h**2 - 12*h + 25. Let k be s(j). Which is greater: o or k?
k
Let k be (-2 + (6 - 39/(-12)))/(1/12). Is k >= 95?
False
Let s = 87 + -76. Suppose 16*z + 40 = s*z. Suppose 0 = 18*q - 12*q + 42. Which is bigger: q or z?
q
Let n = 14374703177613082/94107 + -152748500939. Let l = 2/7239 + n. Which is smaller: -2 or l?
l
Let s(j) = 2*j + 13. Let h be s(-9). Let y be (-14)/(-4) + h/10. Let u be (-2 + y/(-6) - -2)*-74. Which is smaller: u or 38?
u
Let o be (4/216)/(14/2)*-16. Let c = o - 3085/3024. Is c less than -1?
True
Let i = 8093/6 + -1360. Let q = 4/745 - -30533/2235. Let z = q + i. Which is greater: z or 2?
z
Suppose 2*y + 4*y = 0. Let f = -28.27 - -0.27. Let t = 1 + f. Is y != t?
True
Let m(t) = t**3 - t**2 + t + 1. Let g = 10 - 11. Let y be (-1)/g*(-1)/(-2)*0. Let s be m(y). Which is greater: -1/4 or s?
s
Let r(s) = 7*s**3 + 3*s**2 - s + 1. Let v be r(1). Let c be 3/((-9)/(-178)) - v/(-15). Suppose 69*w - 72*w - c = 0.