= 23. Is 0.0503 smaller than i?
False
Let w(c) = -c**3 - 33*c**2 - 29*c + 87. Let q be w(-32). Which is smaller: q or -59?
-59
Let l be (-2)/4*(-3 + (4 - -55)). Let y = l + 31. Suppose 3*r = 9, -2*t - 3 = -4*t - y*r. Is t >= -4?
True
Let h(p) be the first derivative of -2*p**2 - 10*p + 1. Let b be h(0). Let y be b*3/24*2/(-5). Are y and -2/47 equal?
False
Let p = 56.45 - 47.45. Is p bigger than -41?
True
Let h = -9.037 + 0.337. Is h greater than 2?
False
Suppose -32*t + 27*t = 35*t + 13*t. Which is bigger: -2/25463 or t?
t
Let r = 93 - 93.61. Let q = r + 0.61. Is q at most -231?
False
Suppose -k + 87*t - 82*t + 647 = 0, -k + 647 = t. Is 648 > k?
True
Let a be 18 - (-4)/4*-4. Let n be a/24*-134 - 2/(-12). Let q = n - -79. Is 2/27 less than q?
True
Suppose -50*f = -45*f + 80. Let p be 5/20 - (-116)/f. Is p greater than or equal to -41/7?
False
Let u = 333 + -307. Suppose -10*k - u*k = -8*k. Is k > -1/22?
True
Let w = -4.28 - -5.28. Let u be (27/(-6) + -3)/(-3). Which is smaller: u or w?
w
Let y = 22 + -33. Let l be 2/(-3)*3*y/(-2). Let u be -9*(-4)/(-2)*(-11)/(-22). Is l bigger than u?
False
Let z(f) be the second derivative of -f**6/360 - f**4 + 10*f. Let r(m) be the third derivative of z(m). Let n be r(1). Which is bigger: -1 or n?
-1
Let s be ((-3)/9)/(1/(-57)). Let p(b) = 31697*b - 63376. Let o be p(2). Which is smaller: s or o?
o
Let a = 29 + -36. Let z(u) = -u**3 - u**2. Let w(f) = -4*f**3 + 2*f**2 + f + 8. Let i(g) = -w(g) + 5*z(g). Let k be i(a). Which is bigger: k or -9?
k
Let n = -377361/50 + 7548. Which is smaller: 1 or n?
n
Let j = 3239 - 3238.82. Is -656 at most j?
True
Let y(f) = -339*f + 685. Let m be y(2). Let q(t) = 3*t**2 + 3*t - 3. Let a be q(-3). Is m bigger than a?
False
Let d = 155231/8530 - -3/1706. Let b = -87/5 + d. Let o = b - 2/15. Which is smaller: 0.01 or o?
0.01
Suppose 4*x - 123*x - 9*x = 1261568. Is -9856 at most as big as x?
True
Let w = -32/69 - -1853/276. Is w >= -0.2?
True
Suppose -12*c + 528424 = 11*c - 75*c. Does c = 0.1?
False
Let o = 56248460/285131 + 10/25921. Which is greater: 198 or o?
198
Let h = 1.62 - 1.36. Let m = -3.3 - -31.3. Let b = -26 + m. Is b greater than or equal to h?
True
Let a be (-3)/(1 - 10/25). Let c(d) = -d**3 + 5*d + 2. Let s be c(-3). Suppose v - 5*l - 9 = 5, -v = 2*l + s. Which is smaller: v or a?
v
Suppose n = 3*n + 2. Let t(m) be the first derivative of -m**3/3 - 19*m**2/2 - 49*m + 125. Let h be t(-3). Is n < h?
False
Let y be (-2)/3 - 55/(3795/340262). Which is smaller: -4933 or y?
-4933
Let a = -243/449 + 516366/5837. Is 87 != a?
True
Let i(x) = -x**3 - 13*x**2 - 34*x + 54. Let t be i(-7). Is 6 greater than t?
True
Let i = -10440 - -10441. Which is smaller: -5/2146 or i?
-5/2146
Let c = -66 - -63. Let v be (-15)/((-5)/(c + -2)). Let k be ((-81)/v - 5) + (-11)/(-10). Is 3 bigger than k?
True
Suppose 0 = -4*b + 18*f - 17*f + 21394, -3*b - 3*f + 16068 = 0. Is b > 5350?
False
Let g = -78 - -76. Let c = 18 + -21. Which is greater: c or g?
g
Let b = -5 + 4.84. Let f be (-3)/(32 + -14)*6. Which is smaller: b or f?
f
Let r = 2739.1 - 3019.1. Which is bigger: 14 or r?
14
Suppose 3*c = -0 + 6. Suppose 5*f - c*f = -162. Let y be 6/(-28) + (-53690)/980. Which is smaller: y or f?
y
Suppose -j = -c + 3*c + 6685, -5*j + 45 = 0. Which is smaller: -3346 or c?
c
Let b be (1/(-6))/((-6)/(-8)). Let u be 10 + (2 - (-812)/(-70)). Is b <= u?
True
Let x = 487 + -485. Let c be ((x/9)/(-2))/((-9)/(-27)). Let d(f) = f - 6. Let n be d(6). Which is greater: n or c?
n
Suppose 0 = -3*b + 15, 16 = -5*a + a - 4*b. Suppose 6*x = -2*u - 1756, -2*u + 0*u - 3*x = 1765. Let j = 877 + u. Is j >= a?
False
Let w = 16274 - 537236/33. Which is smaller: -6 or w?
-6
Let x = 65 + -59. Let l be ((-3)/(-2))/(x/(-8)). Which is bigger: -1.1 or l?
-1.1
Let i(k) be the third derivative of 1/24*k**4 - 6*k**2 + 0 + 0*k - 8/3*k**3. Let y be i(15). Which is smaller: 2/53 or y?
y
Let b(o) = -4*o - 17. Let v be b(-5). Let w(d) = -2*d**3 - v*d**3 + 16*d**3 + 5*d + 0*d + 4*d**2 + 2. Let j be w(-2). Which is greater: j or -81?
j
Suppose 4*x = 5*y - 208, 13*y = 18*y - x - 217. Suppose -246 + y = r. Which is smaller: r or -203?
-203
Suppose 5*n + 3*l + 47 = 0, 2*l + 2*l = -2*n - 16. Let m(j) = -2*j - 66. Let w be m(n). Is -45 greater than or equal to w?
True
Suppose 0 = 10*d - 172 - 228. Suppose 2*f + 38 + 24 = o, -5*o - 138 = 4*f. Let l be (f/40)/((-2)/d). Which is bigger: l or 18?
18
Let d = -667 + 2667/4. Which is smaller: -433/2 or d?
-433/2
Let k be 50236/5032 + -13 + 4 + -1. Is 1 smaller than k?
False
Let y be (-416907)/(-13568490) - (-2)/(-65). Is -1 at least as big as y?
False
Suppose 33*m - 255 = 16*m. Let u be (4/(-130))/(m/(-375)). Which is greater: u or 2?
2
Let i = 13995 - 15308. Do i and -1313 have different values?
False
Let o = -0.0039 + -375.9961. Let h = o - -378. Are -69 and h unequal?
True
Let v be (((-5)/9)/(60/(-72)))/((-1)/126). Which is greater: -4 or v?
-4
Let t = 47/82 + -9403/18122. Let s = -3593/62101 + t. Are s and -1 equal?
False
Let a = -3535.5 + 3374. Which is bigger: a or -2/5?
-2/5
Let n be 3/6*(999 + -27). Let l(f) = -60*f**3 + 3*f**2 + 2*f - 2. Let z be l(-2). Is z at most as big as n?
True
Let k = 13629 + -13442. Which is smaller: 39 or k?
39
Let j(d) = d - 14. Let o be j(6). Let u be -8*o/192 + (-194)/6. Is u less than -32?
False
Suppose 28*l + 63 = -105. Let f be -1*(-26)/l - (-2)/6. Which is smaller: f or -0.27?
f
Suppose -21*x + 40064 = -6*x + 17*x. Is x not equal to 4?
True
Suppose 88 = 4*t + 84. Let b be 5/15*3*t/(-1). Are b and 9 equal?
False
Let v = 4.06 + 0.41. Let o = v + -4.4. Let u = -17.5 - -17. Which is bigger: u or o?
o
Let z(t) = -21*t + 194. Let p be z(17). Which is smaller: -171 or p?
-171
Let o(c) be the second derivative of -1/6*c**3 - 30*c - 3/2*c**2 + 0. Let m be o(-4). Is m bigger than -1/14?
True
Let f be 19382/33 - -1*2/3. Let q be 0 + 3531/f + -6. Is q at least as big as -1?
True
Let a(b) = 2*b**3 + 21*b**2 + 13*b + 30. Let s be a(-10). Which is smaller: s or 1/4497?
s
Suppose -y - 3*q = 16, 23*y = 19*y - q - 130. Is y at least as big as -12.2?
False
Let z be 0/(-9 - 78/(-13)). Is z smaller than -6/617?
False
Let h = -3486 + 3604. Which is greater: h or 100?
h
Let w = 26385 - 26734. Is 8 < w?
False
Let x be ((-9)/10)/(24/(-40))*(-12)/909. Which is bigger: -74 or x?
x
Let u be 2140/140 + -15 - 13/21. Is -4.158 at most u?
True
Let k(q) = q**3 - 32*q**2 + 33*q - 11. Suppose 3*r = -2*f + 101, 0 = 2*r - 3*f - 47 - 3. Let v be k(r). Which is smaller: v or 0?
0
Suppose 30*n - 3*i - 1649 = 31*n, -2*i - 3278 = 2*n. Does n = -1634?
True
Let l = -140 + 140. Suppose 7*r + 85 + 41 = l. Let i be -4 - (14766/(-3510) + (-4)/r). Is 1 <= i?
False
Suppose 0 = -111*c + 17686 - 282754. Do c and -2389 have different values?
True
Let c = 4.724 + -1.644. Which is smaller: c or -4?
-4
Let a = -132 + 139. Let o = a - -96. Is 103 smaller than o?
False
Let l be ((-58812)/(-24))/(1/2). Is 4903 < l?
False
Suppose 0 = -3*t - 5*a + 25 - 7, -2*t + 2*a - 4 = 0. Which is bigger: t or -8/35?
t
Suppose -39*b - 15808 = 19*b + 46*b. Which is greater: b or -141?
-141
Suppose 4*n = -d - 20 + 209, -3*n + 1454 = 8*d. Is -45 not equal to d?
True
Let t = 1331/3390 + 5/678. Which is greater: 6800 or t?
6800
Suppose -14*n - 952 - 6720 = 0. Is n at most -548?
True
Let i = 9942 + -9943. Is 0.99 equal to i?
False
Let j = -2495 - -2495. Are j and 6264 equal?
False
Let p(n) = 260*n**2 + 4*n - 3. Let i be p(1). Suppose i = 5*x + 4*x. Let a = x + -30. Is 2 less than or equal to a?
False
Suppose 54*u - 210 = 12*u. Suppose 3*f + 15 - u = 4*q, 3*f = -q - 5. Let s = 31/240 - 1/240. Is s less than q?
True
Let j(i) = 4*i**2 + 35*i + 30. Let b be j(-8). Is 21/4 at least as big as b?
False
Let s = 25556 + -27233. Which is bigger: -1676 or s?
-1676
Let w = -41.7 - -5.7. Let l = w - -1. Let f = -27 - l. Is f > -0.3?
True
Let p be (-143)/(-78) - (0 + 25/30). Is p at least as big as 16/2273?
True
Let a(x) = x**2 + 4*x + 1. Let u be a(-4). Let i be (-1)/(-2) - -1*214/(-468). Are u and i unequal?
True
Let t(l) = 96*l + 1. Let h(k) = -95*k - 1. Let q(i) = 5*h(i) + 6*t(i). Let w be q(1). Suppose w = 3*u + 24. Is 27 >= u?
True
Let t be -6 + (5 - 5) - -5. Let u be (9860/(-896) + 11)*(t - 1). Is u less than or equal to -1?
False
Let f = -51 - -