. Is l greater than or equal to -212?
False
Let p be (-1)/(-3) + 2896125/1305. Let k = p + -2220. Which is greater: k or 1?
1
Let b = 9 - 13. Let u(s) be the second derivative of 2*s**3/3 + 33*s**2/2 - 29*s. Let t be u(-8). Which is smaller: b or t?
b
Let g be 3/(((-75)/(-395))/5). Let t = 82 - g. Let r(c) = -c**2 + c + 9. Let q be r(t). Is 4 less than or equal to q?
False
Suppose l - 5*b = -l + 26, 0 = -3*l - 5*b - 11. Suppose -3 = l*w, -2*v = -4*w + 6*w + 4. Is v less than 1/199?
True
Let r = -14893 + 14889. Let y(p) = p**3 + p**2 - p - 1. Let m be y(-2). Is m >= r?
True
Suppose -4*h - 4*i = 40, -5*h - 2 = -i + 18. Which is greater: h or 6?
6
Let n be 6*1/(6/(-32)). Let h be ((-360)/n)/(3 - 1). Which is bigger: h or 7?
7
Let m be 734*((-21)/(-6) - 4). Let z = m - -325. Is -41 > z?
True
Let w(q) be the second derivative of -5*q**3/6 - 9*q**2/2 + 15*q. Let k be w(-4). Suppose -5 - 1 = 3*t + 3*s, -k = -2*t + 3*s. Is t bigger than 10?
False
Suppose 0 = -0*r + r + r. Suppose -6*w = -r*w + 132. Let o = w - -16. Is -13 <= o?
True
Suppose 5*o + 5*g + 7965 = 0, g - 1550 + 6335 = -3*o. Is o <= -1595?
True
Let b(m) = -12*m**3 + 7*m**2 - 20*m - 26. Let q be b(-1). Is q at most 474/41?
False
Let i be 917/7*(0 - 1). Let b = i - -131. Suppose b = 7*y - 2*y. Which is greater: y or -1/33?
y
Suppose 431 = 37*y - 50. Which is smaller: -20 or y?
-20
Let c be (-1 - 10/(-12))/(518/(-3)). Let m be -6 + -133277*9/(-202020). Let g = m + c. Which is smaller: 1 or g?
g
Let t = -5573 - -5573. Is 2/1937 at least as big as t?
True
Let y be 4836/12789 - 2/3. Let i = 4/49 + y. Let v = 2 - 3. Are v and i equal?
False
Let m = 953 - 954. Let w = 141 + -427/3. Which is smaller: w or m?
w
Let c(t) = -t**3 + t**2 + t + 123. Let j be c(0). Let s be ((-1)/(-45)*-3)/(j/(-5)). Which is smaller: s or -0.2?
-0.2
Let n be 292*4/(-40) + 352/160. Which is smaller: n or 0.056?
n
Suppose -3*r - 12 = 9, 4*h - 4*r = -33444. Is h <= -8367?
True
Suppose 13*y + 30498 = 9568. Is y less than or equal to -1609?
True
Let m be 17/(-85)*(19 - 24). Is 9/169 greater than m?
False
Let p = 577 + -307. Let o = 55621/206 - p. Which is greater: o or -1?
o
Let b = 0.06 - -0.04. Let j = -3553 - -3552.51. Which is bigger: b or j?
b
Let c = 3058 + -3061. Let a be 6/9 + (-12)/21. Is c at most as big as a?
True
Suppose 335 = -2*y + 341. Suppose -3*b - 3 = -w, -y*b - 12 = 2*b - 4*w. Do b and 82/15 have the same value?
False
Let l(h) = 9*h + 19. Let n be l(-18). Let x = 120 + n. Which is greater: -21 or x?
-21
Let q be 85/(-70) - (3/(-12) + (-15)/12). Which is smaller: -0.287 or q?
-0.287
Let z = -100.13 - -100. Let x = z - -0.12. Which is smaller: 1.7 or x?
x
Let f(l) = 11*l**2 + l + 3. Let q be f(4). Let a = q - 184. Is 3/13 at least as big as a?
True
Let b be 3 - 3 - (-1)/(2/10). Let l be 0 - (-4 - -3) - (b - 3). Is l at most 1/7?
True
Let z = -6 - -7. Let o be (-1 + (6 - 4))/(-2 + 1). Let y be (o/(-5 + 3))/((-12)/4). Does y = z?
False
Let x = 16995 - 16997. Which is smaller: x or -147/79?
x
Let f = 16 + -53. Let t = 125 + -159. Is f at most t?
True
Let c = 48 + -42. Suppose c*h + 322 = -h. Which is smaller: h or -45?
h
Let i = 25.3 + -11.5. Let g = 18 - i. Which is greater: g or -1/4?
g
Suppose 13*o = 9*o + 4. Let p = -53/12 - -493/108. Which is greater: o or p?
o
Suppose 14*p = 5*p + 1953. Let b = p + -218. Which is smaller: b or 3/5?
b
Suppose 5*x - 4*q - 13 = 19, 0 = -x - q + 1. Let i be x + (-17)/4 - (-3)/12. Let o be 54/238 - (-4)/(-14). Which is smaller: i or o?
o
Let s(q) = -1 + 17*q**2 + 1. Let h be s(1). Let o be 15*(2068/(-110) + 20). Which is greater: o or h?
o
Let k be 6/(2 + (-96)/36). Let p = -298/55 + -2176/715. Which is greater: k or p?
p
Let q(d) = -3*d**2 + 0 + 82*d**3 - 83*d**3 + 2*d - 3. Let i be q(-4). Suppose 10 + i = -3*a. Is 0 at least a?
True
Let l be ((-60)/(-27280))/(2214/94064737484). Let n = 3831240/41 - l. Let v = n + 7/198. Which is bigger: v or -1?
v
Let z = 385271 + -1120684/3. Let j = 11927 - z. Let n = j + -1900/9. Is 7 less than n?
False
Suppose -3*l + 3*n + 29 = 2*n, -5*l = n - 43. Let k be 3*1/l*573 + 0. Is 191 bigger than k?
False
Let g = 42.4961 - -0.0039. Let k = g + -42.58. Is k less than -16?
False
Suppose -2*k - 5519 = 3*l, 3*l - l = -k - 3681. Which is greater: -1840 or l?
-1840
Let o(a) = -14*a**2 + 9*a - 37. Let h be o(5). Which is smaller: -344 or h?
-344
Let y = -175 - -177. Let i(z) be the third derivative of z**5/20 - 7*z**4/24 + z**3 - 16*z**2. Let u be i(4). Is u less than y?
False
Suppose -22*x = 2*u - 17*x - 21, 3*x - 12 = -u. Suppose -236*z = -239*z - u. Which is bigger: z or -2/1489?
-2/1489
Let h = 44.63 + -46. Let d = -0.278 - 0.922. Let u = d - h. Which is smaller: u or -0.1?
-0.1
Let x = 41.19 - 44. Let a = -2.51 - -2.7. Let q = x - a. Is q at most -1/3?
True
Let b = -288 + 291. Suppose -45 = b*u - 4*k, 2*k + 24 = 4*u + 74. Is u less than or equal to -10?
True
Suppose 0 = -a + 2*a + 34. Let m be (2/6)/(-2*(-6)/(-1215)). Let y = a - m. Which is bigger: 1 or y?
1
Suppose 2*x = -3*s - 2, -x + 4*s + 14 = 2*x. Let m(y) = -4*y**3 - 4*y**2 + 4*y - 2. Let o be m(x). Let f = o + 43. Is 1/10 greater than f?
False
Let r = 3144 + -3108. Let p(i) = -i**3 - 13*i**2 - 5*i - 27. Let x be p(-13). Is r > x?
False
Let p be (20 + -26)*((-8)/64)/((-1)/12). Does -28 = p?
False
Let s(i) = i**3 - 64*i**2 + 119*i + 310. Let n be s(62). Is 382 less than n?
False
Let c = -2562 + 2584. Is c < 52?
True
Let h = 48 + -27. Let o be -7 + 0 + 9 - (-196 - -1). Let d = -176 + o. Is d greater than h?
False
Let h be (-15)/(3/9*-1). Let v(o) = 2*o**2 + 19*o - 10. Let t be v(-10). Suppose 20*u + 4*u = t. Which is smaller: h or u?
u
Let n = -3.8 - -8.9. Let f = -108.9 + 104. Let k = n - f. Which is greater: k or -0.3?
k
Suppose -3*y + 135 = 4*r + 254, -y - 35 = -r. Is y less than or equal to -17?
True
Let a = -38 - -142. Let c(r) = r**3 - 12*r**2 + 38*r. Let j be c(6). Suppose -4*n = -j*n - a. Is -13 <= n?
True
Let s = 28/145 - -104199/290. Let j = s + -353. Which is smaller: 8 or j?
j
Let p(g) = -9*g**2 + 632*g + 132. Let n be p(71). Are -1 and n unequal?
True
Let k(g) = -5*g + 70. Let h be k(14). Suppose h = w - 2*x, -5*w - 2*x - 3*x = 0. Are 0.167 and w equal?
False
Suppose 4*k = k - 210. Let x = 0.939 - 0.189. Let u = x + 0.25. Which is smaller: k or u?
k
Let s = -1195 - -1171. Let z be 14/(-8) - s/18. Let n = 0 + -1. Which is smaller: z or n?
n
Let f = 120 + -119. Suppose i + 3*b - 4 - f = 0, -3*i + 15 = -b. Suppose -15*x + i = -10*x. Is x greater than or equal to 2/253?
True
Let v = 1/410 + 34417/9430. Is 3 less than or equal to v?
True
Suppose -1640 = 1686*a - 1688*a. Is 820 at least a?
True
Let m = 1774 - 2665. Let k = m - -15153/17. Let v be 65/91 - (1 + (-18)/14). Which is smaller: k or v?
k
Let l = 16 - 24. Suppose -2*o - 3 = 3, 4*o = -v - 8. Let y be (1 - (v + -4))*-9. Is l at least as big as y?
True
Let z = 6165/2 - 2977. Let j = z + -105. Which is smaller: j or 0.038?
0.038
Let k be 1232/(-462) - 64/(-6). Which is smaller: -154 or k?
-154
Let l = 21/913 - 99697/4294752. Which is smaller: -1 or l?
-1
Let m = 5322 - 5323. Let d be (-3 - -1) + (8 - 0). Let s = d - 20/3. Is s not equal to m?
True
Suppose -29*t - 32 = 94 + 19. Are -320/67 and t equal?
False
Suppose g + 89 = -2*n - 2*g, 25 = -5*g. Suppose 3*s - 175 = 4*y, 0 = 15*y - 20*y - s - 195. Is n greater than y?
True
Let o = -45 - 20. Let z = 10907/3 - 3571. Let k = z + o. Which is smaller: k or 0?
k
Let w = -94 - -142. Suppose -14*a - 5*m = -11*a - 68, 67 = 3*a + 4*m. Let d(p) = p + 27. Let o be d(a). Is w at most as big as o?
True
Let d = 0.5127 + 1.3873. Is 76 at most d?
False
Suppose 24*h = 22*h + 6. Suppose 25*t + 89 = 22*t + 4*v, 4*v + 73 = -h*t. Suppose -7*g + 3*g - 112 = 0. Do g and t have the same value?
False
Let q = -1182 + 1182.15. Let g = 45 - 183/4. Is g >= q?
False
Let f(v) = -16*v**2 + 78*v - 73. Let u be f(1). Does -29/9 = u?
False
Let g = -3342 + 3329. Let o = 8 - 20. Which is smaller: o or g?
g
Let m = -27.944 + -0.056. Let s = 26.4 + m. Let d = 0.6 + s. Is 2/37 smaller than d?
False
Let u(d) = -d**3 + 36*d**2 + 88*d - 173. Let w be u(38). Do w and 285 have the same value?
False
Let f be (-2)/(-7) - 104/266. Suppose -18*x + 340 = -13*x. Let y = x - 68. Which is greater: f or y?
y
Suppose -61*y = -63*y. 