= v - -271. Is -0.3 smaller than y?
True
Let f(r) = -91*r - 1183. Let c be f(-13). Which is smaller: c or -3/8986?
-3/8986
Let b = -264 + 481. Let i = -232 + b. Is i smaller than -15?
False
Let b = -53766 - -7311917/136. Let c = -26/17 - b. Is -1 not equal to c?
True
Let g be 2 - 1*(-320)/2. Let i be g/(-28)*(-10)/(-15). Suppose 0 = 2*w - 2*j - 2, -w = -4*j + 2*j - 6. Are w and i equal?
False
Let o = -89 + 301. Let j = -33334 - -33335. Is o less than j?
False
Let n be ((-2476)/(-18))/(4/(-6)). Let x = -2293/12 - n. Suppose 108*j - 674 + 543 = 343 + 1146. Do j and x have the same value?
False
Let l(b) = -2*b - 44. Let y(k) = -15*k + 5. Let n be y(2). Let q be l(n). Let i be (-19 - -22) + (-16)/q. Is -1 < i?
True
Let t be 20/((-3)/(0 - (-3)/(-2))). Let p be ((-18)/(-1))/(285/t). Let d = 49/10 + -9/2. Which is bigger: p or d?
p
Let k(x) = -12*x - 10. Let z be k(-11). Suppose 2*i = 3*p - 209, p = i - 17 + z. Is i < -106?
False
Let o = 246/167 + -1276160/866563. Which is bigger: -1 or o?
o
Let s = -17650 + 15483. Is -2166 at least as big as s?
True
Let o(b) = -6*b**3 + 635*b**2 + 106*b - 2. Let k be o(106). Let y(l) = l - 1. Let r be y(1). Let d be (r - k)/((-8)/20*5). Which is greater: d or -1/67?
-1/67
Let y be -2 - ((-429)/208 + 1). Let r(v) = v**3 + 9*v**2 + 5*v - 26. Let c be r(-8). Which is bigger: y or c?
y
Suppose -4*p + 1883 = -4*r - 1377, -4*p - 4*r = -3276. Suppose 34 = -4*c - g, 3*g = -3*c + 6 - 36. Let y be p/(-1672) - 1/c. Which is bigger: y or 0.2?
0.2
Let m(r) be the second derivative of r**3/6 - 9*r**2/2 - 10*r. Let z be m(12). Let h be 8 - ((-187)/88 + 8). Is h > z?
False
Let d(p) = 59*p + 2423. Let m be d(-41). Do m and 630 have the same value?
False
Let g = -5264 - -5271. Which is bigger: g or -2/5?
g
Let q = -96 + 94. Let s = 54 - 57.3. Let w = s + 3.36. Is w less than q?
False
Let s(t) = -t**3 - 16*t**2 - 29*t - 43. Let m be s(-13). Which is smaller: -1215/7 or m?
-1215/7
Let y = 1666 - 446. Let q be 6 + (-6090)/y + (0 - 1). Is q not equal to -1?
True
Suppose 2*o + o = -q + 5, 6 = q + 4*o. Let h be (3 - q)*(5/(-1) - -10). Let s = -227 + 241. Is h bigger than s?
False
Let g(p) be the third derivative of p**5/15 + p**4/4 + p**3/3 - 223*p**2. Let t be g(-1). Let b be (-28)/3*(-3)/(-24). Which is greater: b or t?
t
Let z = -19 + 40. Let d(x) = x + 45. Let l be d(z). Let f be (-2 - (-130)/l)/((-5)/(-10)). Does f = 1?
False
Let f be (-1 + -4)/(-292 - 2493). Do f and 1 have the same value?
False
Let r = -577253 - -21129191557/36603. Do 1 and r have the same value?
False
Suppose 3533 - 11632 = -13*d. Which is bigger: 620 or d?
d
Let b = -48355/14446 + 207/62. Which is greater: b or -0.02?
b
Suppose -648*g + 15042 - 5456 = -18278. Let w be 2*(-3)/4*-2. Which is smaller: w or g?
w
Let z be 25/2 + 2/4. Let w(k) = -287*k - 560. Let l be w(-2). Which is smaller: z or l?
z
Let p = -1016 + 638. Let w = p - -398.1. Let o = w - 20. Is 34 <= o?
False
Suppose -4*h - 386 = -1318. Let x = h - 600. Let s = x - -2207/6. Are 1/3 and s non-equal?
True
Let g = 57/155 + -2/5. Let v(i) = -i**2 - 2*i + 4. Suppose 2*w + 13 = 5*f, w - f = 5*w - 7. Let b be v(w). Which is bigger: g or b?
b
Let j = 5772.01 + -5776. Which is greater: 0.1 or j?
0.1
Suppose p = -y - 109, y - 4*y + 5*p = 351. Let f be (-1280)/y + 8/14. Let z be (f/(-174))/(6/(-4) + 2). Is 0 less than z?
False
Let p = 185 - 69. Let j be (460/(-6))/(4/(-6)). Which is greater: p or j?
p
Let q(t) be the third derivative of -4/3*t**4 + 1/30*t**5 - 29*t**2 - 13/3*t**3 + 0*t + 0. Let w be q(14). Is -82 >= w?
True
Let m(y) = 2464*y + 473. Let v be m(7). Which is smaller: v or 1/3?
1/3
Let k = 403 - 402.6. Which is bigger: -12.6 or k?
k
Let z = -54 + -1. Let d = 59 + z. Suppose a - d - 7 = 0. Is a greater than 0?
True
Suppose -33*x = 2*y - 35*x - 10, -5*x - 17 = -4*y. Suppose -5*o - 4*c + 22 = 0, y*o - 3*o - 40 = 5*c. Is 65 < o?
False
Let s be -4 + 8095/35 + 6/(-21). Let k = -216 + s. Is 9 greater than k?
False
Let g = -584472 - -584468. Let v = 1.14 + -1. Is v bigger than g?
True
Let v = 4123 + -6461. Which is smaller: -2346 or v?
-2346
Let b = 108259/630 + -1031/6. Let s = -2132 - -2133. Is b <= s?
True
Let r(d) be the second derivative of d**5/10 + d**4/6 + d**3/6 + d**2/2 - 161*d. Let c be r(0). Is c greater than or equal to -9/55?
True
Let k = 105 - 100. Let y(d) = d**3 - 6*d**2 + 6*d - 19. Let f be y(k). Do f and -17 have the same value?
False
Let z(b) be the first derivative of 3*b**2 + 57*b - 308. Let n be z(-9). Is 56 != n?
True
Let o be -1 - -3 - (-561)/459612*-1641. Which is bigger: 0 or o?
0
Suppose k - p - 10 = 0, -7*p = -2*p + 20. Let r be (-2)/(-7) + k/(1512/47766). Let a = -194 + r. Is a >= -3?
False
Let z = -114923449/95224 - -9655/8. Let k = z - 12815/5427768. Is k <= -1?
False
Let r = 0.4 - 0.3. Let o = -53 + 47. Let v be (-252)/8 + ((-33)/o - 4). Which is smaller: v or r?
v
Let w be (1 + -3 + 2)/((-88)/11 - -10). Which is bigger: -6/1693 or w?
w
Suppose 32 = -2*c + 5*w, -5*c + 4*w - 88 = -c. Let k be (-11 - 1)*(611/52 + -12). Let b be (c/(-39))/(2/k). Which is smaller: b or 12/11?
b
Let g be 21/(-8)*(-148)/259. Which is greater: -0.0318 or g?
g
Suppose -245*c - 57957 = -248*c + 5*u, 6 = u. Which is smaller: 19331 or c?
c
Suppose 18*a - 18 = 15*a. Suppose -4*o + 164 = l - 5*l, 3*o - 5*l = 125. Suppose -a*p + 4 - o = 0. Is p != -5?
True
Let n be 6693/46*(6 + -8). Which is smaller: n or -288?
n
Let p(n) = n**3 - 8*n + 7. Let h(x) = -x**3 + 20*x**2 + 2. Let r be h(20). Let i be p(r). Which is greater: -85 or i?
i
Let v = -9 - -11. Let z = 21636/11 + -1965. Which is bigger: z or v?
v
Suppose 0 = 3*f + f - 5*f. Let l = f + 19. Let h(t) = -t**3 + 5*t**2 + 5*t - 7. Let q be h(5). Is q < l?
True
Suppose -3*t + j = 18, -42 = -68*t + 71*t + 3*j. Which is greater: t or -461?
t
Suppose -3 - 32 = -5*b. Suppose -5*d + j - 1 + b = 0, 2*j = -2*d. Are d and -2/75 unequal?
True
Let n(j) = -j**2 - 12*j + 4. Let z be n(-6). Suppose 0 = 38*w + 68*w - 34*w - 2952. Which is smaller: z or w?
z
Let b(q) = -5*q**2 + 12*q - 17. Let m be b(5). Let v be 3/6 + 501/(-6). Which is smaller: m or v?
v
Suppose -4*k = -3*a + 24783, 5*a + 627 = -4*k - 24116. Let r = k - -817337/132. Is 1 smaller than r?
False
Let t(s) = 108*s**2 + s + 2. Let k be t(2). Suppose -148 = 6*i - k. Is 48 less than i?
False
Let v(t) = -t**2 - 81*t - 1573. Let r be v(-65). Is r >= -545?
True
Let o = -296 + 437. Is o smaller than -5/2?
False
Suppose -19*q = 859 - 3234. Which is smaller: 122 or q?
122
Let j be 19800 - ((-23)/230)/(3/(-30)). Is 19798 less than or equal to j?
True
Let i(c) = 3*c**2 - 6*c - 9. Let v be i(-3). Let j be (-13377)/(-196)*v/14. Which is smaller: j or 177?
j
Suppose 15820 = 4*p - 4*j, 336*p + 4*j - 11851 = 333*p. Which is bigger: 3950 or p?
p
Let u = -28.31 - -27.4. Let l = 0.24 + u. Which is bigger: 0 or l?
0
Suppose -4*h + 20 = 0, -3*a + 91*h - 7 = 89*h. Is 71 < a?
False
Suppose 3*w + 13 = -2*b, -3*b - 30 = 2*b + 5*w. Let h be (b/(-10))/(4/16). Suppose 2*g + h*q + 4 + 4 = 0, 4*q + 23 = 3*g. Is -1/12 at most g?
True
Let s = 79 + -78. Let a = -1619/7686 - 2/549. Is a smaller than s?
True
Let v = -619 - -436. Is 3 at most v?
False
Let k(z) = -802*z - 2274. Let c be k(-6). Is c smaller than 2538?
False
Let q = 36.4 + -40. Let j = q - -3.7. Which is smaller: j or -13/2?
-13/2
Let v = 12414 + -12413. Let k = -18 + 19.3. Let x = k - -42.7. Which is bigger: v or x?
x
Let j(g) = -16*g - 11. Let l be j(-16). Let n = 201 - l. Is n != -42?
True
Suppose -14 = 278*p - 271*p. Let m be 1 + -3 + 198/(-204)*p. Is -1 at least as big as m?
False
Let i be 4/8*16 + 5/(-1). Let j(z) = 2*z**3 - z**2 - 7*z - 3. Let p be j(i). Is 19 != p?
True
Suppose -1065 + 120 = 112*x + 399. Which is bigger: -330/31 or x?
-330/31
Let m be (-14)/4 - (16882/(-108))/23. Which is greater: m or 0.3?
m
Suppose -9 = -0*y + 3*y. Let s be (-611)/7 - (-44)/154. Let c = s - -84. Is c bigger than y?
False
Let n = 446.2 + -444.99. Which is greater: -3.7 or n?
n
Let g be -3*(-3 + (-34 - (-4)/(-4))). Let l = g + -106. Let z be (1 - (-2 - -1)) + 6. Is z at most as big as l?
True
Let p(j) be the first derivative of 9*j**2/2 - 9*j + 7. Let l be p(2). Let u be (12/(-90))/((-3)/l). Is u at most 36?
True
Let a = -189.95 - 1.05. Let l = 128 + a. Let q = l + 63. Which is smaller: