 - x. Which is smaller: f or r?
r
Let q(i) = -i**3 + 14*i**2 + 2*i - 13. Let a be q(14). Let d be 47 - 55 - (0 - a). Is d at least as big as -0.06?
True
Let f = -60793/24090 + 184/73. Is -1 bigger than f?
False
Let u = 26.34 + -27. Let r = u + -28.34. Let c = -29 - r. Which is smaller: c or -1/8?
-1/8
Suppose 0 = -2*k - 2*g + 54, 0 = -5*g - 0 + 15. Let c be 3/2*16/k. Is -5/42 greater than or equal to c?
False
Let m be (-1 + 8/(-20))/(5 + (-447)/75). Is 2 at least m?
True
Let y be ((-28)/6*(-1065)/497)/(64/(-6)). Are y and -2 non-equal?
True
Let w = 156 + -158. Let a be (w/10)/(3/((-300)/88)). Are a and 1 equal?
False
Suppose 21850 = -4*k + 21854. Do k and 1/135 have the same value?
False
Let d be 2*(11/((-77)/4011))/(-2). Is d at most 1723/3?
True
Let x = -0.1486 - -1.0496. Let t = 5.501 - x. Let k = 1 - 1.1. Is t < k?
False
Suppose -5*k - 2*d + 60 = 0, d - 3 = -k + 12. Suppose -k*i + 9*i - 5 = 2*b, b - i = 2. Which is greater: b or 2/211?
2/211
Let m be 5*6*(-6)/9. Let n be (0 - 2/(-5)) + 4053/105. Let v = n + m. Is v less than 19?
False
Let g be (-2)/20 - (-44610)/100. Let r = -893/2 + g. Which is smaller: r or -423?
-423
Let b = 108 - 10. Let f = 0.124 - 0.362. Let w = f - -0.138. Is b less than w?
False
Let f be (-28 - (-16 + -8))/(11 + -1). Which is greater: f or -1570?
f
Let s(f) = -12*f**3 - 6*f - 5. Let n be s(-1). Which is greater: 174/13 or n?
174/13
Let b(w) = 3*w - 22. Let h be b(-33). Suppose 0 = 4*u + u - 575. Let r = u + h. Is r != -9?
True
Let t = -102.6154 - 2.3946. Let g = 105 + t. Is 0.05 != g?
True
Let j = -49 + 52. Suppose 0 = f - 2*o - j, -5*o = 2*f - 0*f - 6. Let v be 9/(-24) - f/(-8). Which is smaller: v or -29?
-29
Let f(w) = 5 - 3 + 13 + 5*w. Let b be f(-5). Is b > -3?
False
Let m = 0 + 115. Is 113 bigger than m?
False
Let k = 171.7 - 192. Let a = k - -20.3. Do a and -1/259 have the same value?
False
Suppose 536*s + 2448 = 534*s. Let t = 74667/61 + s. Is t bigger than 1?
False
Let n = -1.181 + -479.819. Let v = -480 - n. Is v less than or equal to -8?
False
Suppose -5*v - 5*p + 679 = -121, 3*v = 5*p + 424. Which is smaller: v or 154?
v
Let k = 8641 - 6477. Which is bigger: -1 or k?
k
Let b = 28.48 - 800.48. Which is smaller: b or -0.1?
b
Let c(y) = -2*y**3 + y**3 - y + 6*y**2 + 2*y**2 + 8 + 0*y**3. Let a be c(8). Suppose a = -8*v - v - 18. Which is greater: -1 or v?
-1
Let q = -495 + 227. Let x be (12/q)/((-5 - -3) + 1). Is x greater than or equal to 0?
True
Let w be 2/4 - 435622/(-3036). Let o = w + -144. Which is bigger: -1 or o?
o
Suppose 62*q + 6 = 59*q. Let f be 2/4*q/(-5). Is f less than -36?
False
Let n = 566 + -567. Which is smaller: n or -2/6923?
n
Let o(f) = -4*f**3 - 38 + f + 46 - 5*f**2 + 13. Let p be o(-4). Which is bigger: 192 or p?
p
Suppose -30*s - 30*s + 21*s = 0. Which is smaller: -9/140 or s?
-9/140
Let x be (-50)/20*4/14*-7. Suppose -x*n + 3 = -6*v + 2*v, 0 = -2*v - 3*n - 7. Which is greater: 0.108 or v?
0.108
Let v = -557591/166 + 3359. Let c = -963/1826 - v. Which is smaller: -0.07 or c?
c
Let i = -51.9 - 313.1. Let n = 364.86 + i. Is n equal to 1/3?
False
Let c be ((1288/(-96))/23)/((-52)/16 + 4). Is c bigger than 0?
False
Let y = -14460 + 14457. Which is smaller: 1167 or y?
y
Let g be 24/34*(-6)/(-12). Let j(a) = -a**3 - 4*a**2 + a + 5. Let w be j(-3). Let z be 1 - (w - -5) - 4. Which is smaller: g or z?
z
Let k be (10 - 1)*(-5952)/(-558). Let h(j) = j**3 - 3*j**2 - 2*j - 1. Let d be h(6). Which is smaller: k or d?
d
Let a be 4*(-4 + (-3)/4). Let v(y) = y - 3 - 5 - 8 - 3. Let f be v(0). Is f at least a?
True
Let c(k) = 3*k + 4. Let y be c(4). Let v = -7719 - -7716. Let z = y + v. Which is smaller: 12 or z?
12
Let q = 71.81 + -47.81. Is q at most -2/129?
False
Let d = 993385702385554/89972421915 + 23/96021795. Let k = 11041 - d. Which is bigger: k or 0?
0
Let s(z) = 18*z**3 - z**2 - 51*z + 53. Let d be s(1). Which is smaller: 237/13 or d?
237/13
Let k = 159.6 + -160.6. Which is smaller: k or -61/8?
-61/8
Let o = 12195 + -12359. Is -19 greater than or equal to o?
True
Let t(u) = -55*u + 687. Let n be t(72). Which is bigger: -13095/4 or n?
n
Let t be (8/(-30))/(78/(-30)). Suppose -847*a + 299*a = 0. Is t less than a?
False
Let l = 1814/47475 + -9/211. Suppose 3*s = 5*w + 7, -263*s + 265*s - 6 = 2*w. Is l at most as big as w?
True
Let t = 182 - 197. Let h be (-20)/t + 442/15. Which is smaller: 32 or h?
h
Suppose 0*d + d + 234 = -4*p, 0 = -p - 2*d - 55. Let z = 8 + p. Let i be (z - 1)/(-4)*-1. Is -14 at most i?
True
Let g be (-76409)/18 + 2/8. Let q = g + 4245. Let d = q + -1/18. Is d less than or equal to 2?
True
Let z be 3892/24 - (-65)/(-52)*2/(-3). Is 142 less than z?
True
Let w(d) = 24*d - 218. Let o be w(10). Which is smaller: 251/11 or o?
o
Let x = -71 + 95. Suppose -9*m = 884 - 2684. Suppose -g + m = 7*g. Do g and x have the same value?
False
Suppose 4*y - 3*k + 7 = 0, -13*k + 4 = -9*k. Let i(u) = 7*u**2 + 3*u - 5. Let p be i(2). Let f be 88/p + (4 - 7). Is y at least f?
False
Let t = 52/777 + -12574/350427. Do -1 and t have the same value?
False
Let g be -301*1/(-28) - (-2)/8. Let u be ((-3)/2 - 0)*(-23 - g). Is 55 greater than or equal to u?
True
Let w = -83 - -96. Suppose w*u - 65 = -0*u. Suppose 0 = -u*i - 10, f - 1 = -2*i - 4. Which is bigger: -31 or f?
f
Let g = 78040 - 30357541/389. Is 0 greater than g?
False
Let d(z) = -3*z**2 + z + 4. Let o be d(3). Let k = 3847 - 3869. Is k at most as big as o?
True
Suppose 3*q = u - 13, 4*u - 2*u = -3*q - 10. Let v = -3/472 + 2447/13688. Which is smaller: v or u?
v
Let a = -1096 - -637. Let o = a + 448. Is -13 > o?
False
Let u = -25782593/1117 + 23082. Which is greater: -1 or u?
u
Let c = -18538 - -148309/8. Is c <= -451?
False
Let g = -1471.1 + 1471. Are -7/4 and g unequal?
True
Let w = 419 - 1019. Let b be ((-28)/(-10))/((-30)/w). Is b not equal to 58?
True
Let m(t) = 12*t**2 - 6*t. Suppose 43*b - 38*b = 15. Let a be m(b). Let y = a + -419/5. Which is greater: -0.1 or y?
y
Let h be 6/10 + (-2 - (-621)/165). Let n = 1214/495 - h. Let m be 0*1*(-1)/3. Which is smaller: n or m?
m
Suppose -f + 193 = -1993. Which is smaller: f or 2183?
2183
Let b = -2.04 - -2.049. Let m = b + 0.036. Are 2 and m unequal?
True
Let b(s) = 2*s**3 - s**2 - 2*s + 7. Let t be b(-3). Let o be 2/2 - (17 - t). Which is greater: o or -68?
o
Let b = 82 + 78. Let u = 131 - b. Let w(x) = -x - 14. Let t be w(-15). Is t at least as big as u?
True
Let m(o) = o**3 - 4*o**2 - 19*o - 8. Let f be m(7). Let c(q) = q**2 + 9*q + 4. Suppose h = 3*x - 2*x + 13, -3*x = 4*h + 11. Let g be c(x). Are g and f equal?
False
Let s(j) = -94*j - 4. Let c(v) = 48*v + 3. Let w(m) = -10*c(m) - 6*s(m). Let o be w(-1). Is o < -90?
False
Let v be (-2028)/(-1404) + (-2)/(-8) + 75/(-108). Is v < -2/10437?
False
Let j be (-224)/49 + (-4)/(-7) - -126. Suppose j*u = 116*u + 186. Is u >= 95/3?
False
Let d be -141 + -1 + 1 + (10 - 7). Let x be (4 + -3)*47*3. Let a = x + d. Which is smaller: a or 1?
1
Suppose -26 + 146 = 8*r. Suppose -3*w = -5*l - w - r, -3*l - 8 = -w. Which is smaller: l or -2/1375?
l
Suppose 11 + 1 = 3*j, -4*o = -2*j + 532. Suppose -4*c = 2*w + 532, -37*c + 34*c - 408 = 3*w. Is c not equal to o?
True
Let t(c) = -6*c**2 - 88*c + 184. Let g be t(2). Which is greater: -21 or g?
g
Suppose w + 760 = -4*w. Let u be (1/(-8))/(w/16 + 2). Let z = 15 - 15. Which is greater: z or u?
u
Let x = -677/7 - -5155/63. Which is smaller: -15 or x?
-15
Let t = 66.892 + -67. Let s = t + 2.108. Are s and 94 unequal?
True
Let p = -199.9514 + -0.0486. Let l = 202 + p. Is 19/3 less than l?
False
Let b be (-2)/((-248)/751) - (159 + -153). Which is smaller: b or 1?
b
Let r(q) = 2*q - 6. Let x be r(-5). Suppose -u - 4 = 0, -4*g - 3*u - 2*u = 20. Suppose g = -13*h + 12*h - 17. Is h smaller than x?
True
Let p = 211431360706687 - 48304665823775826217/228465. Let h = p + -13/45693. Let d = 339 - h. Which is smaller: 7 or d?
d
Let a(w) = 2*w**3 - 24*w**2 - 5*w - 12. Let i be a(12). Are i and -76 equal?
False
Let f be 445/(-1300) - (-4)/10. Let t = -11906 + 11905. Is f equal to t?
False
Let o = -25923 - -25920. Let j = -938 + 72227/77. Which is smaller: o or j?
o
Let r be ((-42)/196)/(4/24). Suppose 0 = -3*o - a - 1 + 4, -o - 6 = -2*a. Suppose -y + o*y = -5*g - 14, -g = -4*y + 18. Is r less than g?
False
Let v = -0.6 - 1.4. Le