be b(97). Which is bigger: 463 or h?
463
Let p = 0.16 + -0.46. Is -0.048 greater than or equal to p?
True
Suppose 4*a - 9 = a. Let x be (0/(-2 + -1) + 0)/a. Is x at least 1/37?
False
Let j = 1708 + -1883.4. Let w = -170 - j. Is -2 greater than or equal to w?
False
Let b be -28*(-8)/272*2. Let c = b + -934/629. Which is greater: -0.2 or c?
c
Let p = 1039 + -1003. Let y(g) = -g**3 + g**2 + 2*g + 3. Let k be y(4). Let h = p + k. Which is bigger: 2/247 or h?
2/247
Let i = -196865/2153817 + 5/6507. Is 0 greater than i?
True
Let r = -14556 + 15337. Which is greater: 2345/3 or r?
2345/3
Let s be 68/(-231) - (-2)/(-11). Suppose 2*a + 63 = 65*a. Which is greater: a or s?
a
Let n = -0.2 + 0.62. Let w = n - -73.58. Let f be (1210/200 - 6)*((-24)/(-4) - 11). Is f >= w?
False
Let m = -1040 - -601. Let p = -418 - m. Are 24 and p non-equal?
True
Let l = -8.1 - -8.2. Let t = -301 + 291. Is t > l?
False
Let q = 303 - 302.9. Is -348 at least q?
False
Let m = -289 + 1274. Let n be 5 + (-9840)/m + 5. Which is bigger: 1 or n?
1
Let v = 35 - 35.25. Let x = 2003/4 - 6017/12. Which is smaller: x or v?
x
Let k = 51 + -125. Let r be (-5 + k/(-14))/((-24)/(-7)). Which is greater: r or 0?
r
Let i be 92/(-7 + 3 - -5). Let g = 242 - i. Which is smaller: 149 or g?
149
Suppose 5*i + 3*u - 104 = 0, 2*i - u = 27 + 8. Let z be (i - 22) + (1 - -11). Suppose 5*k + 2*g + 30 = 0, 7*k = z*k + 4*g - 4. Is -12 equal to k?
False
Let j = -4692 - -839. Which is bigger: j or 1/4?
1/4
Let x = 8171 + -8475. Which is greater: x or -315?
x
Let w = 612 - 604. Let d be 2/w*1 - 12300/43440. Which is bigger: d or 0?
0
Let z = -6 + -12.25. Let n = z - -0.25. Let i be (-5)/(50/3)*(-5)/(-6). Is n <= i?
True
Let n = -2486.756 + -3.244. Let v = 2461.71 + n. Let k = v - 0.71. Which is greater: k or 2?
2
Let m be (-7)/56 - 1425/(-8). Suppose -4*k + 2*z = k + 184, -5*k - z - m = 0. Suppose 0 = -8*s + 51 - 339. Is s at least as big as k?
True
Let q be 819825/(-3315) - 6/26. Which is smaller: q or -248?
-248
Let r = 3/64061108 + 36130256781/4444367489716. Let w = r - 5/371. Is 1 less than w?
False
Let z = 9888 - 9888.04. Is z less than or equal to -0.036?
True
Let y = 942 + -2566. Let x = 86063/53 + y. Which is smaller: x or 0?
x
Let n = -1.132 - -203.132. Let g = n + -202.1. Let c = -425/4 - -4603/44. Is c bigger than g?
False
Suppose 2*j - 2*t - 204 = 330, 8 = 2*t. Let i = j + -114. Which is smaller: 156 or i?
156
Let p = -1797 - -1796. Let v = -24.9 - -19. Let d = v + 6. Is p <= d?
True
Let v = 1815 - 1824.248. Let h = v + 0.248. Let i = -0.2 - -0.2. Is h smaller than i?
True
Let q = 196 + -42. Let p = 75 - q. Are p and -1/3 non-equal?
True
Let l = 132/13 + -2006/195. Let h = -3548 - -3576. Do h and l have the same value?
False
Let l = -414 + 422. Suppose 13*v - 90 = l*v. Do 5 and v have the same value?
False
Let s = 185102/9 + -20543. Let m = 29231/1224 - s. Is m greater than -1?
True
Let a(j) = -j**3 - 6*j**2 - 14*j - 35. Let x be a(-10). Let w be (x/490 - 1)*(-20)/45. Are 1 and w non-equal?
True
Let v be (-48)/8*(-270414)/(-404). Let b = v - -4016. Is b <= 0?
True
Let l(x) = -332*x + 1857. Let f be l(6). Is f at least as big as 0.34?
False
Let w be ((-2380)/7497)/(2/(-4858)). Which is smaller: w or 770?
770
Let h be ((-1139)/(-2))/((-34)/(-748)*-11). Are -1137 and h nonequal?
True
Let c(m) = -m**3 + 5*m**2 + 7*m + 3. Let d be c(6). Let b = 15 - d. Suppose 0 = -2*j + b*j - 4*i + 16, -5 = -i. Is j >= 3/10?
True
Let u be -1*(-10)/(-5)*-2. Suppose 0 = 4*g - d - 0*d - 13, g + u*d + 1 = 0. Suppose 0 = -5*c + 2*c + 9, 0 = g*t - 5*c + 12. Do 2/5 and t have the same value?
False
Let v(w) = 83*w + 136. Let s be v(-2). Do -399/13 and s have different values?
True
Let w be (8/(-60))/(3634/(-69)). Which is greater: -2/5 or w?
w
Let s be ((-2191)/84 - -22)*(0 + 2). Let y(i) be the first derivative of i**4/4 + 2*i**3 + 3*i**2 - 3*i + 6. Let r be y(-5). Which is greater: s or r?
r
Suppose -26 = z + 5*b, 0 = 7*z - 4*z + b + 8. Which is greater: -32/143 or z?
-32/143
Let i(y) = y**2 - 12*y + 20. Let l be i(11). Let x be (19/1)/(34/6 + -6). Let c = x - -68. Which is smaller: l or c?
l
Suppose 2760 = -34*r - 2578. Is -157 equal to r?
True
Suppose -2*z + v = -96, v + 43 = z + 3*v. Let n be 7/((-14)/24)*5. Let k = z + n. Which is greater: k or 0.2?
0.2
Let l be (-10)/6*48/240. Is -479 greater than l?
False
Let s(f) = 4*f**2 - 5*f - 20. Let l be (-8)/(-14) + 48/14. Let o be s(l). Let k be (46/8)/(1/4). Which is smaller: k or o?
k
Let p = 13715/1096950531 + -4/59737. Which is greater: p or 1?
1
Let p = 2/7447 + -506414/67023. Suppose -127*y + 210 = -157*y. Which is smaller: p or y?
p
Let n(d) = d + 7. Let p be n(-8). Let k = -9892/345 + 434/15. Which is smaller: k or p?
p
Let j = 27 - 22. Suppose 5*t = -3*z + 15 - j, 4*t = -4*z + 8. Is z less than -1/214?
False
Suppose 98*a - 82746 + 17395 = 16479. Is a not equal to 833?
True
Let r = 15829 + -16102. Suppose -3*x - s - 823 = 0, 3*x = -s - 2*s - 831. Are r and x nonequal?
False
Suppose 19*v - 51 = 6. Suppose 3*b = -3*g + 63, -v*b + 33 = 4*g - 48. Is g greater than or equal to 17?
True
Let p = 34361 - 35887. Which is smaller: -1/2 or p?
p
Let y = 7948 - 7627. Is 328 less than y?
False
Let i = -1/85 + -933/170. Let u be (1/3)/(16/528). Suppose u*m - 18*m - 42 = 0. Do i and m have the same value?
False
Suppose -513 = -83*g + 3*g - 193. Let x = 0.2 - 0.2. Which is smaller: x or g?
x
Let i(j) = -j**3 + 13*j**2 - 14*j + 14. Let p be i(12). Let h be (-57)/(-177) + p/30. Is h at least as big as -1?
True
Let c be (-41904)/(-51240) + 12/(-14). Let h = c - -2692/6405. Which is smaller: h or -1?
-1
Let r(k) = -65*k - 3 - 5*k - 2*k**2 - 3*k + 64*k. Let l(g) = -g**2 - 2*g + 4. Let h be l(-4). Let v be r(h). Does 17/8 = v?
False
Suppose 16*c - 95 = -3*c. Suppose l - 39 = -2*w - 2*w, -c*l - 2*w + 141 = 0. Is 27 != l?
False
Suppose 5*s + g = 22 + 130, -g - 158 = -5*s. Suppose h - 5 = 0, h - s - 1 = -d. Are 27 and d non-equal?
False
Suppose 13*i + 12320 = 5*i. Let m be 2/(-7) - 95/i*4. Which is smaller: 1 or m?
m
Suppose 34*m + 67*m + 5*m + 29150 = 0. Is -275 greater than m?
False
Let c(b) be the third derivative of -3*b**6/20 - b**5/60 + b**4/8 - b**3/3 + b**2 - 28. Let r be c(1). Is r less than or equal to -16?
True
Let n = -7048.8 - -7049. Let t = 14.3 + 2.7. Let m = t - 14.1. Are m and n equal?
False
Let p = 2302/1035 + -419/207. Let k = -18 - -19.24. Which is smaller: k or p?
p
Let g = 21604/15 + -7793/5. Which is smaller: g or -118?
g
Suppose 0 = -4*s - 4*k + 1548, -5*s - 11*k + 1963 = -13*k. Which is smaller: s or 392?
s
Let d = -2.94 + -0.06. Let m = -4760/3 + 6883/4. Let t = m + -134. Is t smaller than d?
False
Suppose 4*d + 4*g - 109 - 231 = 0, -3*d + 240 = -2*g. Let n be 24/12 - (-3)/((-108)/d). Which is smaller: -2 or n?
-2
Let t = 22.537 + -22.437. Is t != -7082?
True
Let w(h) = -2*h**2 - 23*h - 4. Let v(a) = 10*a - 62. Let i be v(5). Let r be w(i). Do -16 and r have different values?
False
Let h = -190.68 - -254. Let o = 63 - h. Let m = o + 0.22. Is m <= 1/5?
True
Let c be (-20)/218*(-4643)/2. Suppose -6*a - 4047 = -25*a. Let o = a - c. Is o > 0?
True
Let l = -198 + 184. Let p be ((-64)/8 + -4)/(3/l). Which is bigger: 55 or p?
p
Let x = 12 - -8. Let u = -14 + x. Let i = -6.1 + u. Which is greater: i or -10?
i
Let a be 6/3*10/4. Let q(k) = 6*k + 4*k**2 - 875*k**3 - 872*k**3 + 1 + 1746*k**3. Let h be q(a). Which is smaller: 4 or h?
4
Let h = 109 + -237. Let o = 2430/19 + h. Is 1 <= o?
False
Let q(a) = 389*a + 390. Let s be q(-1). Is s < 4/745?
False
Let g be 3/(-6) - 110/(-20). Let p(s) = s**2 - 14*s + 19. Let c be p(g). Is -2/3 less than c?
False
Let t = -28158/145 - -972/5. Suppose 2*r = 5*y - 36 - 28, 0 = 6*r - 3*y + 240. Let x be (-38)/r - (-1 + (-57)/(-63)). Do t and x have the same value?
False
Let k = -8370 - -8369.1. Let v = -4 + 8. Let y = v + -2. Which is smaller: y or k?
k
Suppose -5*b + 4 = 5*i + 319, -b + 285 = -5*i. Let k be (14/24)/(-7)*(-4)/i. Suppose 5*n - g - 10 = -6*g, -3 = -3*n - 2*g. Which is smaller: n or k?
n
Suppose 5*d + 5*l - 25 = 0, -2*d - 38*l + 41*l = 10. Which is smaller: d or 1/7298?
1/7298
Let o = 0.14 - 21.94. Let v = o + 20. Let g = 2 + -2. Which is smaller: g or v?
v
Let l = 8346 - 8291. Is l greater than -8?
True
Let y = 2.7827 + -1.7827. Ar