ich is smaller: y or -2?
-2
Suppose 4*d + 11 = 3*n + 5, 3*n + 2*d - 6 = 0. Suppose 0 = n*y + 7 + 3. Let k(l) = 3*l**2 - 5*l - 7. Let p be k(y). Which is bigger: 1/4 or p?
p
Let k = 24569 + -368528/15. Suppose g - 3 = -6. Are g and k non-equal?
True
Let l = 1.64 - 2. Let c = 0.01 - l. Let x = 0.37 - c. Which is smaller: x or 3?
x
Let z(o) be the first derivative of -o**4/2 - 2*o**3 + 5*o**2/2 + 3*o + 194. Let b be z(4). Is -201 bigger than b?
False
Let c = 405059/40734 - -1/2263. Let a = -61/6 + c. Which is smaller: a or -2?
-2
Suppose -5*i - 1 = 19. Suppose -6*b + 230 + 316 = 0. Let m = -92 + b. Which is greater: m or i?
m
Let h = -326722 - -97689756/299. Which is smaller: h or 0?
h
Let g = 6254578/13 - 484918. Let l = g + 3800. Which is smaller: l or 4?
l
Let s be 587/(-9) + (-3)/(-27)*2. Let i = s + 76. Suppose 5*h - a - 24 = 41, -4*h + 63 = -3*a. Is h bigger than i?
True
Suppose 16557 + 2219 = 5*i + 3*m, 5*m + 15 = 0. Is 3757 equal to i?
True
Let g(q) = q - 2. Let s be g(6). Suppose s*k + 3*v + 103 = -91, -86 = 2*k - 4*v. Let r = 73 + k. Which is smaller: 25 or r?
25
Let u = -1 + 1. Let o = -4824/11 - -352130/803. Which is smaller: u or o?
o
Let t = -24998/3 - -725272/87. Let b = t + -22191/5858. Which is smaller: 0 or b?
0
Suppose -1121 = 4*b + 5*t - 8*t, 0 = -2*b + 2*t - 560. Let n be ((-562)/3)/((-12)/(-18)). Is n >= b?
True
Let g(x) = -x**3 + 11*x**2. Suppose 0 = -o + 8*o - 2*o. Suppose o = -2*v - v + 33. Let n be g(v). Which is smaller: n or 4/11?
n
Let s = 4016 + -4016.3. Which is smaller: 58/11 or s?
s
Let x = 1105 + -1331. Is -223 smaller than x?
False
Let a(k) = k**2 - 17*k + 5. Let y be a(17). Suppose -9*r = -y*r + 12. Let h be r/(-2)*(-2 + (-16)/3). Does -7 = h?
False
Let i = -13239/5 + 2648. Which is bigger: -23 or i?
i
Suppose -46*j + 17 = -121. Let s be (0 + 2/(-4))*0. Suppose d + s*d - 2 = 0. Is j less than d?
False
Let p be ((-2)/(8/3))/(83/(-332)). Suppose p*x + 3*m = 2*m - 5, 5 = 5*x - m. Which is bigger: x or 4/59?
4/59
Suppose -4*u - 4*p = u - 17, -16 = -2*u + 3*p. Suppose -87 = u*c + 153. Is c greater than or equal to -46?
False
Let n = -8327 - -1929. Which is smaller: n or -6397?
n
Let s(t) = t**2 - 13*t - 30. Let b(l) = -2*l**2 - 28*l - 11. Let v be b(-13). Let g be s(v). Suppose 0 = f - g*f + 40. Which is smaller: -41 or f?
-41
Suppose g - 46 = -n + 6*n, 5*n = -2*g + 77. Let r = -37 + g. Suppose f + 1 = -4*u, -r*f - 1 = 4*u + 3. Is -12 less than f?
True
Let j be 36804/239395 + (-119)/(-663) + (-1)/3. Is j > 1?
False
Suppose 48*v - 47*v = 0. Suppose -3*k + 4*w + 63 = v, 3*k + 4*w = -k + 56. Suppose -22*m - 5 = -k*m. Is 2 at least as big as m?
True
Suppose p = -k + 2, 2*p - 3 = 5*p. Suppose -2*x - 2*q + 674 = 0, 0 = -5*x + k*q - 5*q + 1676. Is x greater than 334?
False
Let w = -103 + 102.78. Let j = w + -1.78. Which is greater: j or -4?
j
Let q be (-30)/(-3) + -18 - -106. Suppose 75*y + 46 = q*y. Let o = -10 - -3. Which is greater: o or y?
y
Suppose 5*x - 3*k + 3317 = 517, 5*k - 582 = x. Let q = x + 562. Let c = 6 + -1. Is q greater than c?
False
Suppose -4*w - 25 = 183. Let k = -362/7 - w. Do k and 41 have different values?
True
Suppose 8*o = -5480 - 5912. Let a be 4/o*-1074 + -3. Is 1 != a?
True
Let r = -12 - -20. Let w = r + -9. Let f = 17 + w. Are f and 15 unequal?
True
Let t = 28119 + -24379. Which is greater: 3744 or t?
3744
Let b(z) be the second derivative of -z**4/6 + z**3 - z**2 + 68*z. Let q be b(0). Which is bigger: q or -16?
q
Suppose 0 = -x + 3 + 1. Suppose -h - x*h = -200. Let u = 119/3 - h. Is 0 at most u?
False
Let k(x) = -59*x + 152. Let w be k(-18). Suppose 970 = -f - 3*f + 2*q, -5*f + q = w. Is f >= -244?
True
Let b = 181 - 150. Let o = 45 - 14. Is o not equal to b?
False
Let v(i) = 564*i**3 + 3*i**2 - i - 2. Let u be v(1). Suppose 17*z + u = 23*z. Which is bigger: z or 278/3?
z
Let m be 12/48 - 70/(-8). Suppose 4*k + 601 = 3*z, -m*k + 13*k = z - 611. Is -153 at most as big as k?
False
Let d(m) = -m - 8. Let l be d(-14). Suppose 0 = l*w + 22 + 296. Which is bigger: w or -51?
-51
Let v = -172 + 82. Suppose -s - 464 + 19140 = -204*s. Which is smaller: s or v?
s
Suppose -2*m + 2 = 38. Let j be 850/(-12) - (-3)/m. Let n = 42 + j. Is -29 not equal to n?
False
Let g be (6 - 9 - -1) + 3 + -10 + 8. Let l be 3/9*(-1 - -34). Which is greater: l or g?
l
Let k(s) = -58*s**2 + 3 + 1 + 1 + 36*s**2 + 4*s. Let w be k(-1). Is -17 equal to w?
False
Let y be 615/27 - (-203 - -226). Which is greater: -16414 or y?
y
Suppose 0 = 7*d - 5*d + 6, 14 = 2*u - 4*d. Let b be -37 - ((-3)/u - -5). Let r be ((-72)/30)/(b/75). Is r smaller than 5?
True
Let h = -573 - -572.076. Let j = h + 0.89. Let a = 0.116 - j. Is a >= 2/5?
False
Suppose 45 = 15*x - 6*x. Suppose 0 = -5*w - x*c + 4*c + 871, 3*w - 3*c - 519 = 0. Suppose 0 = 35*u - 32*u + w. Is u smaller than -59?
False
Let z(q) = 136*q + 14. Let f be z(39). Let c = f + -547759/103. Is -1 at most c?
True
Let b(h) be the second derivative of h**5/20 - 2*h**4/3 + 4*h**3/3 - 7*h**2/2 - 229*h - 1. Let c be b(7). Which is smaller: -8/11 or c?
-8/11
Let a = 68004/10883369 + 1/13759. Which is smaller: 1 or a?
a
Let i be (-3429)/(-18) - -3 - 2/(-4). Suppose i*f - 191*f - 3 = 0. Which is smaller: 150 or f?
f
Let z = -9 - -10.41. Let y = -1.61 + z. Which is bigger: y or 0.2?
0.2
Let w = 4189.948 - 6.948. Is w smaller than -0.1?
False
Suppose -2*m = -3*w - 67, 2*m + 92 = -4*w + 4*m. Let s = 12 + w. Let n = 878/5 + -877/5. Which is bigger: s or n?
n
Let d(x) = -2*x**2 + 74*x + 20. Let m(h) = -h**2 + 37*h + 10. Let i(g) = 2*d(g) - 5*m(g). Let v be i(16). Which is smaller: v or -344?
v
Let a(p) = 109*p**3 - 2*p**2 + p. Let u be a(1). Let m be 1/6 + (-186)/u. Suppose -y + 2 = 5*o, 3*y = -3*o - 3 - 3. Is o at most as big as m?
False
Suppose 62 - 74 = 12*r. Let v = 152/91 + -9/7. Which is smaller: r or v?
r
Let v = -0.0655 + 0.1365. Which is smaller: 2.9 or v?
v
Let d be 5/20*2/(-6)*3. Which is bigger: d or -1.946?
d
Let f = 614 + -591. Let a be -1*f*(-86)/(-43). Suppose -3*y - y - 180 = 0. Which is greater: a or y?
y
Let t(b) be the second derivative of 15*b - 1/12*b**4 + 0 - b**2 + b**3. Let v be t(5). Which is greater: 2 or v?
v
Let b = -147 + 149.6. Let z be (3 - 2) + (-3 - -4). Let w be z + 24/10 + -4. Which is greater: w or b?
b
Let o(u) = -u**2 + u. Let r be o(0). Let w be (26/(-156))/((-2)/4002). Let q = w + -334. Which is greater: r or q?
r
Let c = -418 + 472. Are -39 and c equal?
False
Suppose -1 = w + 1. Suppose -5*h + 3*l + 47 = -0*l, -34 = -3*h - 4*l. Suppose h*j - 2*j = -32. Which is smaller: j or w?
j
Let c(y) be the first derivative of -y**5/60 + 3*y**4/8 + y**3 + y**2 - 12. Let f(k) be the second derivative of c(k). Let h be f(10). Is h != -8?
True
Let l = -55.94 - -56.94. Which is smaller: l or -4182?
-4182
Let t = 4237 + -3400.1. Let r = t - 837. Let j = -134 - -91. Is j equal to r?
False
Let k(t) = t**2 - 6*t + 2. Let l be k(6). Suppose 6 = -f - c, -2*f - 2*c + 6*c + 12 = 0. Let y be (-13)/(455/(-150)) + f/7. Which is greater: l or y?
y
Suppose -2*p = -4*v + 1484, -5*v = 190*p - 193*p - 2229. Is p > -0.1?
False
Let c be ((-1)/3*-2)/((-8)/(-244)). Let x(h) = 4*h**2 + h - 12. Let p be x(-3). Which is greater: c or p?
p
Let l be 11478/9 + (-4)/(-12)*2. Which is bigger: l or 0.1?
l
Suppose -4 = -3*o + 4*k + 4, -o - 2*k = 4. Let d = -0.109 - 0.021. Let z = d + 0.13. Is o greater than or equal to z?
True
Let w be (4/(-5 - -7))/(2/1). Let n = 95 - 51. Let j be ((-2)/n)/(w/(-10)). Is 0 greater than or equal to j?
False
Let d = 1808 + -920. Let x = 679 - d. Is -210 at least as big as x?
False
Let m = 1059 - 741. Suppose m - 774 = 6*d. Is -75 bigger than d?
True
Suppose 3*k - 2357 = -4*j, k + 2*j + 3885 = 6*k. Suppose 4*u - l - 614 = k, -2*l = -u + 350. Let v = -5918/17 + u. Which is bigger: v or 0?
0
Suppose -4*o = -3*h + 84, 5*h = -4*o - o + 175. Let w = 927 + -935. Let l(s) = 2*s**2 + 45*s + 264. Let j be l(w). Is j < h?
False
Let o = 3 + -242/81. Let f = o + 4367/567. Which is smaller: f or 9?
f
Let z(q) = 109*q**2 - 560*q + 45. Let t be z(7). Is t greater than or equal to 13186/9?
True
Let r = -5848 + 6082. Which is greater: r or 236?
236
Let c be -73*(-5)/10*16. Suppose c = -106*k + 114*k. Is 73 <= k?
True
Let q be 4/22 - 597875/(-1375). Which is greater: q or 436?
436
Let f(d) 