t most 43?
True
Let r = -65/14984 - 140863609/224760. Let c = -627 - r. Is c less than -1?
False
Let m = 4.99 - 3.99. Does m = 4.9?
False
Let p be 2064/8 - 2*-1. Suppose q = 6*q - p. Is q at most 52?
True
Let f = -5680971/281 - -20217. Is -1 at least as big as f?
False
Let q = -0.03 - -0.33. Let h = q - 0.4. Let m = 1/25 + -16/25. Which is bigger: m or h?
h
Let g(f) be the third derivative of -f**6/120 + f**5/20 + f**4/8 - 6*f**2. Let k be g(4). Let j be 1*1*(-4)/k. Which is smaller: j or -4/11?
-4/11
Let i = -19.621 - -0.621. Is i < -19?
False
Let r = -31598230 - -5182204839/164. Let u = 580 - r. Which is bigger: u or 1?
1
Let b(w) = -5*w**2 + 139*w**3 - 1 - 140*w**3 - 2*w + 4*w**2. Let p be b(-1). Which is bigger: -2/33 or p?
p
Suppose -4*h = 2*q - 126, 7*h - 189 = -3*q + 2*h. Let z be (-2 + 123/q)*-15. Which is bigger: z or 1/2?
z
Let k = 2 - -1. Let x = -30 - -25. Let w be x/(-2 - k/(-3)). Which is smaller: 4 or w?
4
Let v = 371 + -360. Is -10 less than v?
True
Let p be ((-1)/(-3))/(21*1). Let d be -1 - 2 - ((-2197)/504 - -1). Let s = p + d. Is s smaller than 1?
True
Suppose -9*p - 107 = -12*p + 5*l, -2*l = -p + 36. Is 53 bigger than p?
True
Let w = -161 + 160. Let z = -5.18 + 0.58. Let d = z + -0.4. Which is smaller: w or d?
d
Suppose -19*w + 15*w = -76. Let k be 180/(3 - -2) + -3. Let n = -13 + k. Is w bigger than n?
False
Let a(f) = -f**3 + 4*f**2 - 2*f - 3. Let n be a(3). Suppose 3*w = -w + 8. Suppose 5*r + 20 = -5*p, -4*r = -r - w*p - 3. Does r = n?
False
Let h = -0.4 + 3.4. Let j be (-4)/(-18) + 3/(108/(-32)). Which is smaller: j or h?
j
Let c = 1 + -1. Let s be (-2)/6*(-1 - 14). Suppose -s*j = -j + 4. Which is bigger: j or c?
c
Let l = 365 + -364. Which is smaller: -1/12 or l?
-1/12
Let v(k) = 2*k - 3. Let u = -69 + 71. Let o be v(u). Is o smaller than 2/3?
False
Let p(x) = -x**3 - 12*x**2. Suppose d - 5*l + 0 = -7, -2*d = 2*l + 26. Let y be p(d). Let g be 9/3*(-2)/15. Do y and g have different values?
True
Let n = 38.947 + 0.053. Let y = 342 - 341. Which is bigger: n or y?
n
Let b = 1479 + -4436/3. Which is greater: 2/155 or b?
b
Let d(f) = f**3 + f + 2. Let j be d(0). Suppose v - 102 = -j*n + 216, v = n + 327. Let a = v - 980/3. Is a at most as big as -2?
True
Let o = -557 - -558. Do -1/1542 and o have different values?
True
Let w be 21 + ((-150)/(-40) - 4). Do w and 20 have the same value?
False
Let t be 2 + (-38)/(-10) - 44/55. Suppose 5*r + 6 = 2*b, -2*r = -3*b - t + 3. Do r and -2.2 have different values?
True
Suppose g = 5, 51 = -0*w + 2*w - 3*g. Suppose -w = -6*s - 3. Which is smaller: s or 15/4?
15/4
Let j be (4/51)/((-8)/60). Suppose 3*d = -5*l - 5, 4*l = -7*d + 11*d - 4. Is j at least d?
False
Let g be (8/14)/2 - 4/(-84). Is -6 not equal to g?
True
Suppose 6*t + 28 = -92. Let d be (-436)/(-190) + 8/t - 2. Is 1 > d?
True
Let g = 441/5 + -3187/35. Is -4 >= g?
False
Let f = 12/91 + -38/91. Is 33/14 greater than f?
True
Let p(r) = -r**2 + 4*r + 16. Let d be p(-9). Let w = d + 302/3. Let s = 43/3 - 14. Which is smaller: s or w?
w
Let l = -0.09 - -0.19. Let q = 16.1 + -16. Is l equal to q?
True
Let f(p) = -p**2 - 5*p - 4. Let l be f(-5). Let o be (-6)/12 + (-3)/6*-5. Let g be (o + 3 + l)/3. Which is smaller: g or 1?
g
Let f be -1 - ((-14)/3 - -2). Let r be -1*9/(-3) + (5 - 6). Which is smaller: f or r?
f
Suppose -2*f + 6*f + 8 = 0. Let d be f/(822/433599)*1. Let a = 1055 + d. Is a > -1?
True
Let u = -200.41 - -7.41. Is u > 1?
False
Suppose -5*i = -0*i. Let a(h) = 5*h**2 + h - 2. Let l be a(-3). Suppose 2*k = -i*k - 5*y - l, -3*k - 53 = 4*y. Are -15 and k equal?
True
Suppose -5*b - 2*p = 181 + 27, 0 = -2*b + 4*p - 64. Is -38 at most as big as b?
False
Let u = 243 + -250. Which is bigger: u or 0.2?
0.2
Let h(v) = 16*v**2 - 4*v - 5. Let s be h(-1). Suppose 3*o = s - 12. Is 15/22 at most as big as o?
True
Let a = -0.0192 + 0.1192. Which is smaller: a or -51?
-51
Let p be 6*((-475)/(-10))/5. Let i = -51 + p. Is 5 at most i?
True
Suppose d = 3*t - 3, -16*d - 3 = 4*t - 15*d. Let i = 11/5 - 17/10. Which is smaller: i or t?
t
Let x = -7030/7 + 1004. Which is bigger: 357 or x?
357
Let k be (1 - -14) + (-4 - (-2 + -1)). Let a be (2 - 0)*(-5)/k. Are -2/13 and a unequal?
True
Let p = -785.956 - -786. Which is smaller: -3 or p?
-3
Suppose 3*p - 21 = -4*x - 15, 3*x - 2*p + 4 = 0. Which is bigger: -1/595 or x?
x
Let c(q) = -q**3 - 11*q**2 - 14*q + 31. Let k be c(-9). Suppose n + 3*s = -14, 3*n = -4*s - 0*s - 32. Let l = n - -6. Which is smaller: l or k?
k
Let x be 1026/(-1428) + 2/28. Is -3 <= x?
True
Let u = 0.149 - 6.849. Let c = u - -8.7. Which is bigger: -16 or c?
c
Let m = 242 - 242. Which is smaller: m or 28/5?
m
Let h(z) be the third derivative of -z**6/120 + 7*z**5/30 + 2*z**4/3 - 2*z**3 - 5*z**2. Let q be h(15). Suppose 2*k - 19 = -5*o, q*o - o + 4*k = 14. Is o <= 6?
True
Let q(l) = l**3 + 23*l**2 + 44*l + 39. Let w be q(-21). Suppose 0*n - 5*n = 55. Which is bigger: w or n?
w
Let s be (((-24)/657)/2)/((-4)/24). Which is smaller: -1 or s?
-1
Let r = -379/8 - -4831/104. Let y(b) = -2*b**2 - 21*b + 11. Let g be y(-11). Is r less than or equal to g?
True
Suppose -4*l - 1 + 25 = 0. Let u(a) be the first derivative of a**4/4 - 7*a**3/3 + a**2 - a + 6. Let p be u(l). Which is smaller: -26 or p?
-26
Suppose 17*d = 5*x + 13*d + 9, 3*x + 2*d + 1 = 0. Suppose 5*f + 8 = -0*s - s, -2*f = -s - 8. Let g = 3 + s. Which is smaller: g or x?
g
Let o = -7 + 9. Let a = o - 4. Let x = 1 + -0.6. Does a = x?
False
Let b = -0.48 - -0.38. Is 0.006 not equal to b?
True
Let g = 1537/9 + -171. Let d = 1880/7 + -268. Which is bigger: g or d?
d
Let f be 4/5*((-495)/(-12518))/9. Is f less than -1?
False
Suppose -42*d - 60 = 150. Let k(c) = -c**3 + c**2 + c + 1. Let r(n) = -3*n**3 + 2*n**2 + 2*n + 4. Let a(f) = 4*k(f) - r(f). Let y be a(3). Is y at least d?
True
Let z = 60553 + -9022447/149. Let v = z - -2938/3427. Which is greater: 1 or v?
1
Suppose -4*a + 8 = -6*a. Let z be 15/a - (-2 - 2). Is z less than 0.6?
True
Let v be (-145)/(-6) + 2/(-3). Let n = 166 + -141. Let a = v - n. Which is smaller: -2 or a?
-2
Suppose o + o - 4 = 0. Suppose 14 + 10 = o*n. Let v be (-3)/n + (-4 - -2). Which is greater: v or -2?
-2
Let b(f) = f**3 + 4*f**2 - 27*f - 7. Let v be b(-10). Which is bigger: v or -335?
-335
Let c(q) = 2*q**2 + 10*q + 24. Let p(m) = m**2 + m + 1. Let r(z) = c(z) - 3*p(z). Let v be r(9). Is v smaller than 3?
False
Let y = 68332 - 268613090/3931. Is 0 at least y?
False
Let h be (-1720706)/78*(-2 + 35/16). Let x = h - -4135. Is x greater than 0?
False
Let j = 10.1 - 11. Let s = 87.7 + -87. Let l = j + s. Are l and 0.04 nonequal?
True
Let b = 0.6 + -0.4. Let v = b - -0.8. Suppose -1275*j = -1266*j - 9. Is v bigger than j?
False
Suppose -46*z = -3*r - 45*z + 13, -4*z = -r - 3. Which is bigger: r or 57/13?
r
Let c = -50/11 - -2639/583. Does c = -1?
False
Suppose -7*d + 3*n = -3*d - 32, 2*d + 5*n + 10 = 0. Suppose -2*w - d*w - 28 = 0. Let g be (-20)/(-21) - w/(-6). Do g and -1.8 have different values?
True
Suppose 5*s - 20 = 5*p, -3 = s + 4*p - 12. Suppose -70 + 100 = 10*f. Suppose 4*l + 35 + 33 = f*t, -9 = t + s*l. Is 15 less than or equal to t?
True
Let b = 1318315479/1223686 + 9430/14923. Let a = -1078 + b. Is a at least 1?
False
Let g = -2413 + 2418. Let w(j) = -3*j - 6. Let l be w(-5). Is l greater than or equal to g?
True
Let f = -73.126 + 73. Let c = f - 8.964. Let t = -0.09 - c. Which is bigger: 1 or t?
t
Suppose -4*n - 79 = 209. Let k be 56/(-12)*n/14. Which is smaller: 23 or k?
23
Let w = -1729 + 3100. Which is greater: w or 1370?
w
Let g = 116 - 116. Let b be 1/(-3) - (507/45 + g). Is b bigger than -13?
True
Let f = -94668346 + 6721152940/71. Let y = 4220 + f. Which is greater: y or -1?
y
Suppose 2*t - t = 3. Suppose -t*d - 95 = -4*m, 0*m - 90 = -4*m - 2*d. Let n = 20 - m. Is n at least -2?
False
Let b be (-70)/(-24) - (-30)/360. Let p = 12 - 6. Are b and p equal?
False
Let n = 32026 - 480568/15. Which is bigger: -11 or n?
-11
Let w(v) = -v + 3. Let t be w(3). Which is smaller: t or 5?
t
Let l be (-9)/6*1880/30. Is l != -94?
False
Let t be (-5)/(-2) - ((-12)/8)/(-3). Let m be 51/(-6) + 1/2. Let w be ((-12)/m)/(1/t). Which is greater: w or 2?
w
Let w = -30 - -102. Let l = w + -66. Is 6 not equal to l?
False
Let k be -4 + -1 + 3 + -4. Let a = 16 + k. 