: p or 2/3?
p
Let v be 13 + (-2 - 2/(-2)). Suppose -u - 2*t - 96 = 0, t + 1 = -2. Let k be (8/(-110))/(v/u). Is 2 less than k?
False
Let f be (5 - 4)/(3/(-90)) + -5. Is -38 >= f?
False
Let i = -11.26 + -2.84. Let l = i - -14. Is l < -7?
False
Let q = 3/2719 + 522033/13595. Is q less than 37?
False
Let k be (-3)/(-9) + 598/6. Suppose -o = -f - 22, 5*f - k + 10 = -5*o. Is -1 < o?
True
Suppose 4*j - 4 = -6*i + i, 2 = 2*j - 5*i. Is j bigger than 5?
False
Let v = 51 + -51.062. Let x = v + 0.062. Is x less than 17?
True
Suppose -8*d = 8*d + 63 - 143. Let s be 11/2 + 2*-1. Is d less than or equal to s?
False
Let v be (7 - (-1 - -9)) + -21. Is 0 at most v?
False
Let y = -533 + 49. Is y at least -485?
True
Let j be (1 - (1 - 1)) + 2. Let o be -3 - (3 - 3) - -153. Let a be ((-9)/o)/(j/4). Is a smaller than 0?
True
Let f(q) = q + 4. Let b be f(-7). Let y be (-12)/5*(-178)/b. Let p = y - -142. Which is bigger: p or 16?
16
Let o be (-5)/(-30) + 39/(-18) - -2. Is o less than -2/1655?
False
Suppose -y - v + 31 = 3*y, 0 = -y + 4*v - 5. Suppose -2*w - y = 9. Let b be ((-3)/6)/((-36)/w). Are b and 1 unequal?
True
Let b be 4/(-22) + (-4)/(-22). Let w be (-1)/(-2)*b + -3. Which is smaller: w or -8?
-8
Let k(b) = b**3 + 4*b**2 - 6*b - 6. Suppose 3*y = 6*y + 12. Let n be k(y). Which is smaller: n or 16?
16
Let k = -4099/40 + 855/8. Which is greater: k or 2/9?
k
Let c = -6 - -6. Suppose -1 = -c*t + t. Let g = 4.01 + -0.01. Is g > t?
True
Let a be 5*1/(-3)*3. Let r be (-4)/12 + a/6. Let c = r + 1/2. Are c and -1 equal?
False
Let z = 78 - 235/3. Which is bigger: z or 16?
16
Let k be (-1 + 3)*(-2 - -4). Suppose 5*c = 5*u + 20 - 90, 3*c = -4*u - 70. Let p be (-77)/c - 3/(-54)*4. Do k and p have the same value?
False
Let r = 443 - 442. Which is greater: r or 2/237?
r
Let x = -4 + 16/3. Suppose 5 = 5*p - 0. Suppose -3 = v - p. Which is bigger: v or x?
x
Let p = 103/423 - 1/47. Is -0.45 < p?
True
Suppose -5*h + 103 = 203. Is -19 greater than or equal to h?
True
Let d = -577/8 - -72. Suppose 1 = -v - 0*v, -4 = -2*w - 2*v. Let q(o) = -o + 2. Let t be q(w). Which is bigger: t or d?
d
Let n = 732 + -21240/29. Let o = 40 + -39. Which is smaller: o or n?
n
Let x be 2/10 + (-3)/15. Suppose -i + 4 = x, -f = -6*f - 4*i + 11. Let u(y) = y**3 - y**2 - 2*y - 1. Let v be u(f). Which is greater: -8/7 or v?
v
Let h be ((-6)/(-15))/(7/910). Let f be (9/(-12))/(106/h + -2). Is -19 at least as big as f?
True
Let o(q) = -q**3 - 7*q**2 + 2*q - 2. Let x be 7*(3 + -2 + -2). Let r be o(x). Let n = r - -14. Which is smaller: -3 or n?
-3
Let t = 86 - 120. Let g = 36 + t. Is 1/3 smaller than g?
True
Let m(h) = -3*h**2 - 3*h + 12. Let v be m(-7). Is -2/7 < v?
False
Let c = 33 + -31. Suppose c*u = -5*u + 28. Suppose -u + 0 = 4*t. Is 2/13 bigger than t?
True
Let v(h) = 2*h - 48. Let g be v(29). Is 13 smaller than g?
False
Let x = 132/217 + -10/31. Let o = 0.704 + -0.004. Let v = -11.7 + o. Are x and v non-equal?
True
Let h = 280.08 + -280. Is h at least 3/19?
False
Let j be ((-22429)/(-264))/(1/(-1 - -2)). Let z = 85 - j. Which is smaller: z or -1?
-1
Suppose 0 = 2*q - 5*b - 94, -2*q + 34 + 60 = 3*b. Is 47 greater than q?
False
Suppose 4*m - 347 = -3*l + 16, 0 = -m. Is l less than or equal to 121?
True
Let z = -66.454 - -0.454. Which is greater: z or -0.11?
-0.11
Let l = -507 + 505. Is 26 != l?
True
Suppose 2*t + 125 = -3*m, -5*m + 0 - 25 = 0. Which is smaller: -590/11 or t?
t
Suppose 17*x + 230 + 25 = 0. Is -15 bigger than x?
False
Suppose 10 = 10*y - 5*y. Suppose 0 = -3*v, y*d + v = -0*d + 2. Are d and 10/9 non-equal?
True
Let x = -243/11 - -22. Let z(y) = -2*y**2 - 4*y. Let p be z(-4). Let r be 3 - (-12)/p*4. Which is bigger: x or r?
r
Let p(a) = -a**3 - 11*a**2 + 3*a + 4. Let b(u) = -u**2 - u. Let m(f) = -4*b(f) + p(f). Let g be m(-7). Let i be (18/g)/((-4)/(-5)). Is i smaller than -2?
False
Let j = 133 - 155. Are j and -22 unequal?
False
Let o = -81/4 + 20. Is -43 less than or equal to o?
True
Let x = 218 + -219. Which is bigger: x or -1.12?
x
Suppose -8*a + 3*a - 420 = 0. Let n = a - -93. Which is bigger: 12 or n?
12
Let j = -483 - -425. Which is smaller: j or -59?
-59
Let j = 277 - 42382/153. Is j not equal to 0?
True
Suppose 0 = 404*y - 374*y - 27540. Are y and 1/4 non-equal?
True
Let m be ((-3)/(-4))/(1/(-4)). Let o(d) = 2*d**2 - 24*d - 4. Let b be o(12). Is b at least m?
False
Let g(c) = c + 3. Let d be g(-13). Let f be (36/d)/(3/15). Let q be ((f/57)/(-2))/(-1). Is q < 0?
True
Let g be 2/10 + (-78)/15. Let x(r) = r - 1. Let o be x(6). Suppose -5*k - 2*h + h - 32 = 0, 4*k + o*h + 34 = 0. Which is smaller: k or g?
k
Let z = -1078 + 1078. Let d = 443/927 + 8/103. Which is smaller: d or z?
z
Suppose 38 = -17*l + 55. Let v be (-8)/(-60)*(-3)/(-7). Which is smaller: v or l?
v
Let s(x) = -x**3 + 9*x**2 - x + 15. Let l be s(9). Let k be 3/(-60)*l*15/(-36). Is k at most as big as -1?
False
Let y(k) = -10*k**3 - 2*k + 2. Let b be y(1). Let u(d) = d**2 + 8*d - 12. Let v be u(b). Is v < 4?
False
Let b(t) = -8*t - 10. Let p be b(-2). Let y be (1 - 2)*(p - (-6 - -13)). Is 1/25 > y?
False
Suppose 0 = -j + 6*j + 100. Let w = -59/3 - j. Is w greater than or equal to 1?
False
Suppose 0 = 25*w - 622 - 978. Which is smaller: w or 0?
0
Let q(o) = -o**3 + 5*o**2 - 2*o + 6. Let a be q(5). Suppose -3*v + 4*b = -3, 0*v = 3*v - 6*b - 9. Is a greater than v?
False
Let s = -67.9612 - 0.0388. Which is bigger: s or 1?
1
Let c(w) = 52*w - 647. Let g be c(-13). Which is bigger: -1324 or g?
g
Let g(h) = -h**3 - 5*h**2 - 5*h - 2. Suppose 2*k = 2 - 8. Let t be g(k). Suppose f - 7 = 3*q, 2*f - 8 = 4*q - 2. Is t <= q?
True
Let p(j) = -j**3 + j**2 - 112. Let s be p(0). Let t be -3 - 92/s*5. Let r = t - 6/7. Which is smaller: 0.08 or r?
0.08
Let p(m) = -m**3 - m**2 - m. Let j be p(-1). Let s be (9/1 + 4718/(-525))/1. Which is bigger: s or j?
j
Let r(m) = -m - 6. Let i be r(-6). Let l be 2/(-2) + 3 - (-16 + 15). Suppose 12 = -l*s + 12. Is s != i?
False
Suppose -4*a = -2*y + 16, 5*y + 3*a = -0 + 1. Suppose -19 = -s + y*i, s + 2*s = -4*i + 77. Is 24 != s?
True
Let m be (4 - 6)/(4 - 174/(-9)). Is -1 at most as big as m?
True
Let q = 3 + 1. Let l = 40 + -19. Let t = -22 + l. Which is smaller: q or t?
t
Let u = 98 - 92. Let c be (u + (-18)/(-12))*4/11. Which is smaller: c or 4?
c
Let t = 288 - 286. Let p = -21.977 - 0.023. Is p <= t?
True
Let u = 0.1 - 0.2. Let l = -42 + 44. Let f be 11/l*24/(-12). Which is greater: f or u?
u
Let n = -7 + 23. Let m(i) = -2*i + 42. Let s be m(21). Suppose s = -23*q + 24*q - 17. Which is smaller: q or n?
n
Let u = -108535/121 + 897. Let j = u + 130/121. Let h = -4 - -5. Is h at least as big as j?
False
Let u(j) = j**3 - j**2 - 2*j + 1. Let t = -45 + 43. Let s be u(t). Which is smaller: s or -23/3?
-23/3
Let c(f) = 6*f**2 - 3 + 1 - f + 3*f**2 - 8*f**2. Suppose v - 10 = 4*g, -2*g = -v - 5*g - 4. Let m be c(v). Is m >= -2?
True
Let x be 0 - -2 - (145 - 56). Which is smaller: x or -84?
x
Let r = -551/3 + 185. Let j = 22 - 6. Suppose 0 = -2*i + 4*n + j, 5*i + 5 = 3*i - 3*n. Which is smaller: i or r?
r
Let v = -2950 - -2020748/685. Which is smaller: -1 or v?
-1
Let r = -2458458091/37390 + 10672/3739. Let m = r + 65854. Let b = m - 105. Is 1 greater than or equal to b?
True
Suppose 0*y = 6*y - 6. Which is smaller: y or 2/49?
2/49
Let a be (0/(-4))/(2*1). Suppose 2*h - o = o + 6, a = 3*h + o + 7. Let m = -2486/27 + 92. Which is bigger: h or m?
m
Suppose 3*u - 4 = m, -2*m + 0*m + 22 = 4*u. Suppose m*r + 49 = -2*y, 4*r - r = -3*y - 51. Is -11 < y?
False
Suppose -3*z = -2*z. Which is greater: z or -11/9?
z
Let a(q) = q**2 + 9*q + 8. Let r be a(-8). Suppose -9*h + 27 - 18 = r. Which is bigger: h or -6/23?
h
Let y be (-14)/(-49) - 324/105. Suppose b - 16 = 5*r - 6, -2*r - 4 = -b. Are r and y equal?
False
Let n = 643/3 + -214. Let k be (-6)/(-1)*(-4)/(-6). Suppose w = -3*w + k. Is w bigger than n?
True
Let t = 2.01 + -2.11. Which is smaller: t or 264?
t
Let p = 5.2 - 19. Let z = 14 + p. Which is bigger: z or -0.1?
z
Suppose -5*p = -c + 1651, 0 = -4*c + 14*p - 11*p + 6638. Which is smaller: 1662 or c?
c
Suppose 39 = -10*y - 1311. Which is smaller: y or -678/5?
-678/5
Let y be ((-180)/378)/(5/((-390)/(-4))). Is -10 at least y?
False
Let i = 32 - 13. Suppose 4 - i = 5*j. Which is greater: -6 or j?
j
Suppose 4*k - 8