0 = -3*a + 4*b - 2*b + 74, 5*b = -4*a + 137. Let d be (t/a)/(-1 + (-15)/(-21)). Is d at most as big as 0.1?
True
Suppose -1445 - 482 = -3*y + x, -5*y - 2*x = -3230. Suppose 4*i + 5*o - 11 - 673 = 0, 4*i - 5*o - y = 0. Which is smaller: 167 or i?
i
Let t be -23 + 13 - (-2 + -4). Which is bigger: -132/25 or t?
t
Let c(h) = h**3 - h**2 - 5*h - 5. Let i be c(6). Let z be (-8 - -7) + 73*(-1 - -3). Is i smaller than z?
False
Suppose -4*v - 441 = 4*b - 3*v, 9 = 3*v. Which is bigger: -443/4 or b?
-443/4
Let l = 9508.68 + -9694. Let z = 2.68 - l. Which is bigger: z or 1?
z
Let i = -0.3 - -0.2. Let r(f) = f**2 + 56*f + 841. Let q be r(-20). Is i at least as big as q?
False
Let c = -13833 - -11984. Is -11101/6 at least c?
False
Suppose -5*j - 2*y + 7*y = -190, -5*y = j - 44. Let w(x) = 2*x**3 + 25*x**2 + 32*x + 277. Let u be w(-12). Is j at most u?
False
Let r(b) = -b**3 + b**2 + 19*b. Let g be r(5). Let j be 3*((-7)/(14/8) - -3). Which is bigger: j or g?
j
Let i be 3/41*-7*1/(-21). Let w = -208/3485 + i. Which is smaller: -1 or w?
-1
Let m(o) = o**2 - 63*o - 490. Let r be m(70). Which is smaller: 0.749 or r?
r
Suppose 53*f - 57 = 15*f - 19. Which is greater: -14.22 or f?
f
Let r = -64.04 + 64. Let m = r - 8.96. Let q be ((-2)/5)/((-5)/25). Which is bigger: m or q?
q
Suppose -20*j = -135993 + 135973. Let t be (-136)/(-40) + (-4)/10. Let s be 2/t + 57/(-90). Is j <= s?
False
Let w = 341.3 - 345.7. Is 5 < w?
False
Let n be (-162594)/(-14) + (-231)/(-308)*(-4)/(-21). Which is bigger: n or 11613?
n
Let q = -27.865 - 0.135. Let b = 28.07 + q. Is -1/16 > b?
False
Suppose -10*l + 108 = 138. Let p be (l*8/30)/((-6)/(-15)). Is 0.02 less than p?
False
Let a be (14 - (-12 + 36))/((-4)/38). Which is greater: 70 or a?
a
Let z be (5 + 14357/(-2044) + 2)/(3/30). Is z less than or equal to -1?
False
Let d = -19 + 53. Let r be (-2 - -3) + 2/d. Let w = 98086 - 98084. Is r less than w?
True
Suppose -4*m + 3*b = -6624, -22*m + 5*b = -16*m - 9938. Is 1655 at least m?
True
Let y be (1/(-2))/(79/(-1896)). Suppose 7*b - 2*b - 22 = -3*c, -y = -3*c. Let p = -6 + 6.6. Which is smaller: b or p?
p
Let u(h) = -h**3 + 10*h**2 - 8*h - 27. Let w be u(9). Let m be (-168)/w*(-1)/(-1 + 21). Suppose -5*d + 4*j = 8, 3*j - 2*j = 2. Which is smaller: d or m?
m
Suppose -9 = -14*s - 9. Suppose -3*c = -c + 5*d - 43, s = 2*c - 4*d - 34. Which is bigger: 18 or c?
c
Let w = -72775/63 - -1155. Let k(s) = -s**3 - 1248*s**2 - 9920*s + 1. Let y be k(-8). Is w less than y?
True
Let i be 7/((-56)/(-192))*(-7)/2. Let d be (2/4)/(19/i). Is d greater than -2?
False
Suppose 5*k - 937 = 2*b, -b + k = 1396 - 929. Is -463 at most b?
False
Let i be ((160/(-60))/((-4)/(-18)))/(6/(-1161)). Do 2322 and i have the same value?
True
Suppose 0 = -9*w + 6*w + 903. Let g = w + -300. Which is greater: 2/513 or g?
g
Let i be 2/7 - 699/21. Let t(w) = -149*w - 781. Let g be t(-5). Which is smaller: i or g?
g
Let p = 680 + -679.967. Which is greater: p or -1/5?
p
Suppose 0 = c + 20*u - 22*u - 136, 151 = c + u. Which is bigger: 1619/11 or c?
1619/11
Let t = 881 - 1578. Let s be 41786/60 - 1565/(-1878). Let y = t + s. Which is greater: 0.2 or y?
y
Let r = 0.28 - 0.24. Let z = 290 - 291.9. Does r = z?
False
Let l(h) = h**3 - h**2 - 29*h - 2. Let m be l(-6). Let i be 1 - 16/10 - 36/m. Do i and -7 have different values?
True
Suppose 21 - 6 = -5*x. Let m be (x/1)/3 - (-65)/125. Is -1 >= m?
False
Let k(s) = -12*s**3 - 2*s**2 + 2*s + 1. Let j be k(-1). Let l be 8/(j*(-6)/(-1296)). Do l and 193 have different values?
True
Let d be (6/(-10))/(-1) - 1. Suppose -43264 = -271*m - 67*m. Is d < m?
True
Let o be -6*(-738)/(-27)*1. Let p = 176 + o. Let m = -3 + 17. Are m and p non-equal?
True
Let d(r) = -r**3 - 8*r**2 + 12*r + 31. Let l be d(-9). Let u be (l - 38/(-14)) + -7. Which is smaller: u or -1/31?
u
Let u be (320/16 - 24)*-25. Are u and 499/5 nonequal?
True
Let z(p) = -3*p**2 - 5*p + 13. Let n be z(-3). Which is bigger: n or -2/12105?
n
Let x be (-2)/10 + 116/5. Suppose x = y + 3. Suppose 13*s = 85 + 133 + 42. Is y > s?
False
Suppose -288*o - 125 = 103 + 60. Let z be (105/51 + -2)*2. Are z and o non-equal?
True
Suppose 0 = -644*n + 88*n - 10008. Is n smaller than -693?
False
Let o = -72.17 + 71.9586. Is -0.1 at most o?
False
Let v = -2088 + 2088. Let a = -33216/55 + 604. Which is greater: a or v?
a
Suppose -8*n + 69*n - 7021 + 139269 = 0. Which is smaller: -2166 or n?
n
Let x(o) = o**3 + 8*o**2 + 7*o + 6. Let h be x(-7). Let f be (6/(-9))/(4/h). Let c = -64 + 55. Which is bigger: c or f?
f
Let i = -11.5 + -0.5. Let u(n) be the third derivative of -n**4/24 + 25*n**2 + 2. Let r be u(3). Are i and r equal?
False
Let s be (20535/(-6))/((-10)/4 + 3). Is -6844 >= s?
True
Let i be 740/260 + (-4)/(-26). Suppose n = -4*n + i*j + 29, -2*j - 2 = n. Let o be (-2)/(-3)*n*3/(-8). Which is smaller: o or -7?
-7
Let k = -2/259 - -6491/2072. Let a = 154 - 152. Which is bigger: k or a?
k
Let v be (-4)/38 - (57262/38 - (184 + -169)). Which is smaller: v or -1494?
-1494
Let v be (-50)/(-3) + (-6)/9. Let x = v + -25/2. Let w(r) = r**3 - 3*r**2 + r + 5. Let p be w(0). Which is smaller: x or p?
x
Let f = -7 + -206. Let x = -1665.11 - -1663.11. Is x != f?
True
Suppose -945*k - 22062 = -948*k. Which is smaller: k or 7353?
7353
Let o(p) = 2*p**3 + 32*p**2 + 26*p - 22. Let l be o(-13). Let n = l + -586. Which is bigger: n or 65?
n
Let l be ((-27)/(-27))/((-28912)/9636 - -3). Is l at most -2405?
True
Let t = 122 - 122.06. Let c = t + -0.132. Let g = 0.108 - c. Does -11 = g?
False
Let q be (-8)/54 + (0 - 0). Let x = -606 - -603. Let a be 2/(-4) - x/(-54)*9. Do a and q have different values?
True
Suppose -3*h + 4*h + 4 = t, 0 = -4*h - t - 6. Let o be -1*(h + 4) - -3. Let s be (-1)/(-15) - 5/(75/(-9)). Which is bigger: s or o?
o
Let c = 8.6 + 53. Let n = c + -68. Let p = n + 6.39. Is p greater than -8?
True
Let p(s) = s**2 - 17*s - 36. Suppose -9*z - 3*z + 48 = 0. Suppose z*y - 2*k - 108 = -40, -y + 5*k = -26. Let x be p(y). Is -52 at least x?
True
Suppose 0 = 5*w - 3*w + 2. Suppose -j + 4*j + 6 = -4*t, -2*t - 4 = 2*j. Suppose t = -0*g - 17*g + 34. Are g and w equal?
False
Let d = 45188/7 + -134615038/20853. Which is greater: d or 1?
1
Let x(d) = 26*d + 485. Let g be x(-21). Which is greater: 2/7 or g?
2/7
Let f = -4372 - -4842. Is f != 1?
True
Let q = 0.98199 - -0.01801. Which is bigger: 592 or q?
592
Let a(y) = -y**3 + 8*y**2 + 69*y - 121. Let m be a(19). Is m <= -2781?
True
Let h be 150/(-28) + 0/(-48) - -9. Is 10 less than h?
False
Let r = -170 - -182. Let a be 5 + 6/(6 - r). Which is bigger: 5 or a?
5
Let k be 211725/(-175) + (-2)/14. Is k != -1210?
False
Suppose -2*i + 4*i = -112. Let m(j) = 738 - 932 + 32*j - 18*j. Let r be m(10). Are r and i non-equal?
True
Let r = -399.5 + 361. Let w = r + -5.5. Is 0.3 bigger than w?
True
Let w = 36.1 + -434.1. Let v = w - -398.4. Is 3/50 at least as big as v?
False
Suppose 2*l = -23*l + 700. Suppose -l*d = -46*d - 378. Is d smaller than -20?
True
Suppose 55*s - 57*s = -12. Let m(h) = h**2 + 2*h - 1. Let y be m(-3). Suppose 0*d = -3*f - d - y, 0 = 4*f - 3*d - s. Is -2/39 smaller than f?
True
Let n = -1135 - -907. Let z be 2/(-4)*-6 + -232. Which is smaller: z or n?
z
Let h be (1888555/11686)/(102/156). Let n = h + 63/5843. Let q = n + -247. Is 1 smaller than q?
False
Let w(x) = -7*x + 127. Let b(o) = -12*o + 254. Let l(a) = 3*b(a) - 7*w(a). Let z be l(9). Is z <= -10?
True
Let y = -1207 + 1933. Let c = -727 + y. Which is greater: 1/380 or c?
1/380
Let q = -492 - -213. Let i = q + 278. Is i less than or equal to -8/29?
True
Let d be ((-185)/(-95) - 2)/(5 - (-61 + -8)). Which is bigger: d or -1?
d
Let r be 9/(-1)*(-1 - (-10)/15). Let i be -3 + (5 - r) - -6. Suppose -3*t + i = 4*f, -2*t - 3*f = 2 - 6. Are 1/19 and t nonequal?
True
Let b = -917768/5324153861 + -2/470207. Which is greater: 0 or b?
0
Suppose -6*v + 21 = 57. Let b be -2 + -3 - v/9. Which is smaller: b or -3?
b
Let p be (10/(-5))/(2 - 1) - -2. Suppose 2*r + 3*n = -n - 38, -4*r + 5*n - 11 = p. Let o be (r + 16/4)*(1 - -1). Is o <= -1?
True
Let p be (-6)/(-42) + 3363/(-21). Let z be 14/49 - p/28. Which is bigger: z or -1?
z
Let f(r) = 2*r**2 + 394*r + 780. Let k be f(-2). Which is smaller: 11619 or k?
k
Let f(u) be the first derivative of 4*u**2 - 10*u - 22. Let 