t as big as d?
True
Let u(j) = -5*j**2 - 85. Let f be u(-9). Let p = -2189/5 - f. Is 52 equal to p?
False
Let c(g) = -22 - 14 + 184*g - 350*g + 175*g. Let l be c(4). Is l smaller than 2/89?
True
Let d(q) = -3*q**2 + 29*q - 89. Let i(t) = -4*t**2 + 28*t - 87. Let m(b) = -3*d(b) + 2*i(b). Let w be m(27). Which is greater: w or -180/13?
-180/13
Let z be -2 + (-18588)/28 - 9/63. Let w = z + 688. Is 246/11 not equal to w?
True
Let p be 3/2 - (-1010)/(-404). Let o be -2 + ((-52)/22)/(-2). Which is bigger: o or p?
o
Let r = 191198 + -779831/4. Which is bigger: -3759 or r?
-3759
Let t = 13 + -9. Suppose -16 = -4*c + 4*h, -5*c - 2*h = 1 - 0. Suppose 3*k - k = -i + c, 5*k = i - 8. Do t and k have different values?
True
Let k(a) = 368*a - 33. Let d be k(-8). Is -2977 less than d?
False
Suppose -5*c + 25 = 0, -o = -4*o + c + 61. Suppose -2 = b + 4*m + o, -5*m = 15. Suppose 4*t - 10 + 58 = 0. Do b and t have different values?
False
Let s = 852 + -9382/11. Let o = s + 6/55. Let u be (-5)/3 - 19/(684/12). Which is bigger: o or u?
o
Let v = -5811 - -7418. Which is smaller: 1/7 or v?
1/7
Let j = -0.0836 + 1.3836. Which is bigger: j or -37?
j
Let h = -61.559 + 5.259. Is 2/9 greater than h?
True
Suppose 3*l = -2*k + 5*l - 18, 0 = 5*k - 3*l + 41. Let i be (-3)/2 - 25245/3978. Which is bigger: i or k?
k
Let w(p) = 8*p**3 - 19*p**2 - 86*p - 7. Let f be w(4). Is f greater than 18?
False
Let y(a) = -19*a + 219. Let t be y(11). Suppose z - 2*z - 2*s - t = 0, 5 = -s. Is -7/43 greater than or equal to z?
False
Suppose 5*m + 8 = -4*n - 6, 7 = -5*n - m. Let p be 10/(4/(170 + -2)). Let t be (4 - p/106)*1. Which is smaller: n or t?
n
Suppose 1899 = 143*x - 2692 + 444. Which is bigger: x or 47?
47
Let q = -337 + 599. Let z = q + -247. Which is smaller: 122/9 or z?
122/9
Let p be 2 - (0 - -43) - (-140 + 138). Is p greater than or equal to 57?
False
Let v(h) = 27*h + 2670. Let o be v(-99). Which is smaller: -154/69 or o?
o
Suppose 244 = m - 201. Which is smaller: 444 or m?
444
Let h(t) = -80*t**3 + 6*t**2 + 15*t + 11. Let p be h(-2). Which is smaller: 3226/5 or p?
p
Let l be (-49)/14 + (-2)/4 + -1. Let b be (-100)/(-90)*3/l. Is 1/141 greater than b?
True
Let g = -1563 - -1416. Does g = -1/4?
False
Let h = 76 - 79. Let w = 409 + -418. Is w != h?
True
Suppose 0 = 12*s - 112 + 28. Let g(c) = 13*c - 83. Let n be g(s). Which is smaller: n or -2/11?
-2/11
Suppose 3*p - 599 = -2*l + 326, 2326 = 5*l + 3*p. Let w = -466 + l. Which is greater: 1/66 or w?
w
Let z = -152 + 224. Let v = 142 - z. Is 68 not equal to v?
True
Let p = -94 + 223. Let s = p + 73. Is 201 bigger than s?
False
Suppose 3*w + 6 = -125*w + 134. Are w and -924 equal?
False
Let r(u) = -2*u - 227. Let h be r(62). Which is bigger: -4/7 or h?
-4/7
Suppose 9 = 4*y - 87. Let p be y/(-16)*274/(-9). Let b = p + -46. Is 0 at least b?
True
Suppose -q - 4 = -3*o - 0*o, 70 = 5*q + 3*o. Suppose 37 = 13*d + q. Suppose l = 4*c - d*l - 165, 3*c + 2*l - 111 = 0. Is c greater than 38?
True
Let z be (108/756)/((-758)/14). Let w = 7 - 6. Is w bigger than z?
True
Suppose 6 = 1663*o - 1660*o. Let g be 0/o + -2 + 4 - 3. Which is smaller: 7/74 or g?
g
Let z = -413 - -808. Let w = -861 + z. Is 2/5 >= w?
True
Let d be (-188)/(-1112)*6 + -2 + 1. Let c be 8/2*35/28. Suppose 0 = -c*k + x + 8 - 4, 0 = 2*x + 8. Which is greater: k or d?
d
Suppose 3*k + 292 = n, 1182 = 4*n - 0*k + 2*k. Let o = n + -581/2. Which is smaller: 0.6 or o?
0.6
Let m = -52881/7 + 7559. Are 6 and m unequal?
True
Let a = 15911594/58939 - 294/3467. Let s be 266 - -1 - (4 + -7). Let v = a - s. Which is smaller: v or 2?
v
Let h = -255 + -63. Suppose -9*t = 15*t + 6361 + 1295. Is h >= t?
True
Suppose -6756*a = -6785*a + 435. Are 614/45 and a non-equal?
True
Let q(b) be the third derivative of 11*b**4/24 + 19*b**3/2 - 5*b**2. Let z = -244 - -230. Let h be q(z). Is h equal to -97?
True
Suppose -a = 2 + 2. Let f be 0/(a*(-1)/2). Let c = 239134/47 - 5088. Which is smaller: f or c?
c
Let g be 2 - (-2 + 1) - 1. Let d(i) = i**3 + i**2 - 2. Let j be d(0). Let f be j - (1 - (-81)/(-21)). Which is smaller: f or g?
f
Let c(f) be the first derivative of f**5/60 - f**4/24 - f**3/3 - 7*f**2 + 3. Let x(r) be the second derivative of c(r). Let s be x(3). Is 5 at most s?
False
Let q(b) = -456*b**3 - 3*b**2 + 5*b + 7. Let x be q(-1). Which is bigger: 452 or x?
x
Suppose 3*u + 5 = 11, -3*o = u - 11. Let t be (-365)/1065 + o/9. Let r = -2570/1491 - t. Which is bigger: r or 1/7?
1/7
Let d be (8/5 + 2)*1435/82. Which is smaller: d or 641/10?
d
Suppose 146*d - 70 = 142*d - 2*z, -3*z = d - 25. Let r be (903/693)/(1/12). Is r bigger than d?
False
Let q be ((-244)/(-10))/((-1 - -6) + 51/(-10)). Which is smaller: q or -2686/11?
-2686/11
Let f = 1919 + -1917. Which is greater: f or 86/25?
86/25
Let d be 228/15*-2084 + (-1242)/135 + 9. Is -31677 at most as big as d?
True
Let p(i) be the third derivative of -i**6/720 - i**5/12 + 17*i**4/24 + 3*i**2. Let r(z) be the second derivative of p(z). Let n be r(13). Is -22 bigger than n?
True
Let s(u) = 2375*u - 11687. Let b be s(5). Is b less than 163?
False
Suppose -11*q - 3*q - 5*q = 10*q. Which is smaller: q or 63/55?
q
Let y be (-2)/2*-5*4. Suppose 5*w + 6 = 4*a - 27, 0 = -5*a + 2*w + y. Let p = 1/306 + 1829/2142. Which is smaller: a or p?
p
Suppose -42 = -4*f + 318. Let z(q) be the second derivative of q**5/20 - 5*q**4/4 + q**3/2 + 22*q**2 - 6*q + 9. Let w be z(15). Which is bigger: w or f?
f
Let y = -1721/6 + 286. Let o = y - -21/26. Are o and 0 equal?
False
Let l = 1.4434 + -1.1874. Which is greater: 19 or l?
19
Let d = 1.6771 + -5.6771. Let u = 0.03 - 0.73. Which is bigger: u or d?
u
Let v = 26149/98 + -113/196. Let f = -266 + v. Let s = 0.8 - 0.843. Are f and s nonequal?
True
Let i = 221/134 + -10/67. Suppose 38 = 5*w - 4*v, 7*v - 4*v = 4*w - 31. Let n = 11 - w. Which is smaller: i or n?
n
Suppose 0 = 3*q + b - 1, 5*q + 2*b + 15 = -3*b. Suppose 12*o + q*o = -98. Is o < -1?
True
Let q = 17/237 + -9703/9717. Let y = q + 1648/451. Which is smaller: -0.1 or y?
-0.1
Suppose -21*g = -39*g - 378. Which is bigger: -251/12 or g?
-251/12
Let s be (((-575)/(-10))/(-23))/(2/5). Let y be 0 + (-1 - (0 + -2)). Let w be -1 - y - -1 - 4. Is w equal to s?
False
Let z = -0.26 - 27.74. Let m = -29.6 - z. Let c = m - -1.65. Which is greater: 0 or c?
c
Let k = -1170.04 + 1170. Which is smaller: -28/17 or k?
-28/17
Suppose 0 = -2*b - 3*b + 330. Let n = 749/12 - b. Is -4 <= n?
True
Suppose -30*f = -46*f - 80. Let q be 7/((-21)/(-6)) + 2 + f. Which is smaller: 554 or q?
q
Suppose -26543 + 1397 = 18*j. Let c = 2202 + j. Is 805 greater than or equal to c?
True
Let z(b) = b**2 - 2*b - 2. Let t be z(0). Which is smaller: -80 or t?
-80
Let a(t) be the second derivative of -7*t**3/3 + 197*t**2 - 59*t + 1. Let h be a(32). Is h <= -55?
False
Let j be (55/11)/((1 - 3)/(-2)). Suppose 0 = -4*b - 10*y + 8*y + 20, 0 = -b + j*y + 16. Which is greater: b or 0.1?
b
Let s = 24271/21 - 1153. Suppose -27*x + 11*x + 2005 = 1957. Which is greater: s or x?
x
Let p be 14*(-45824)/224 + (-2)/2*-2. Is p > -2865?
True
Let p be 210 + ((-15)/(-60) - 9/4). Let a = p + -184. Is -1 < a?
True
Let a be ((-27)/6)/((-15)/40). Suppose 18*o = a*o - 84. Let h(p) = -p**2 - p - 1. Let m be h(-4). Is o != m?
True
Let i = 5.31 + 6.89. Let d = i + -12. Which is smaller: -0.025 or d?
-0.025
Suppose 0 = 851*a - 853*a. Let z = -693/62 + 693569/62062. Which is bigger: a or z?
a
Let f(i) = -i - 12. Let q be f(-2). Let y be (1326/85)/(3/q). Do y and -262/5 have the same value?
False
Suppose b - 15*o + 18*o + 9 = 0, 3*b = o - 57. Let m be ((-50)/(-80))/(-2 - 34/b). Do m and -5 have the same value?
False
Let b be (-48)/(-160) - (-7)/(-40) - (-1)/8. Let l = 23 + -67. Let t = l + 13. Which is smaller: b or t?
t
Let j be (-6)/(-5)*(-5)/(-2). Suppose -17 = -j*x - 4*c + 12, -x - 4*c = -23. Let a = -1 + x. Is 18/7 less than or equal to a?
False
Let y(s) = -3*s - 43. Let z be y(7). Let o = 34 + z. Let h(r) = -r**3 + 5*r**2 + r - 2. Let j be h(6). Which is smaller: o or j?
j
Let p be (-18)/286 + 2/13. Suppose -5*b + 46 = -5*m + 1, 3*m + 39 = 5*b. Let t = b + -5. Is p at most t?
True
Suppose 3*f + 0 = -3*n - 6, -13 = 2*f - n. Let o = -914382/11 + 83122. Which is bigger: o or f?
o
Let q = 9877 + -20193/2. Let w = q + 219. Which is smaller: