 2/101. Let b(h) = -h**3 + 10*h**2 - 6*h + 9. Let t be b(9). Let j be t/(-27)*(-6)/(-4). Is x at most as big as j?
False
Let i be (-84)/(-15) + -6 + (-5334)/15. Let s = 241 + i. Are -115 and s equal?
True
Suppose 44 = 4*c + 52, -5514 = 2*g + c. Which is smaller: g or -0.2?
g
Let i be 424/30*-109 - (-4)/(-5). Are i and -1542 equal?
False
Let t be 4801/(-6) - 620/744. Is -801 not equal to t?
False
Let j = 2834 + -2847. Which is bigger: -756/61 or j?
-756/61
Let n = 4 + -5. Let h be 0/n - (-12)/3. Let t = -11 - h. Is t at least as big as -17?
True
Let f be (-15)/14 + 2/4. Let k = 816 + -695. Suppose 37*o = 47 - k. Is f at most as big as o?
False
Let s = -0.05662 + -0.04338. Let m be -13 + 11 + (-167)/(-82). Is m < s?
False
Let f be (-64 - -60) + 1938/2. Which is greater: 963 or f?
f
Let c = 0.8764 + -731.8764. Is c greater than -2/5?
False
Let x = 11 + -17. Let u be x/50 - (-2)/2 - 2. Let a = -1814/1575 - u. Does -0.2 = a?
False
Suppose 2*w - 11*w = 495. Let k be 5 + (4 + w)*-1. Let d be 40/k + (-1 - 18/(-14)). Which is greater: d or 1/45?
d
Suppose -3090 = 4*c - 1218. Is -470 <= c?
True
Let t be (1 - (-18)/(-6))*1. Let p = -56 - -29. Let i = p - -26.9. Which is bigger: t or i?
i
Let f = -287 + 271.3. Let v = 15.603 + f. Let k = 2 + -2.1. Which is greater: v or k?
v
Let c = 2892 + -2840. Do 560/11 and c have the same value?
False
Let o be (70/10800*-1)/((-8)/(-10)). Let n = 146957/9504 + o. Which is greater: n or 16?
16
Let z = -3867 + 3866. Is 1/260 smaller than z?
False
Let k = 91.57 + 1.43. Let z = k - 94. Which is smaller: -2/11 or z?
z
Let p = 3/2390 + 23489/327430. Let k = -207/959 + p. Let s = -5/6 + 1/3. Is s at most as big as k?
True
Let b = 0.024 + 25.976. Let d = 52112.3 + -52112. Which is greater: b or d?
b
Let z = 4314.23 + -4314.13. Let s = 1 + -1.1. Let h = -0.6 - s. Which is greater: h or z?
z
Suppose -2*u - 4*n + 1673 = 411, 4*u = -4*n + 2500. Which is smaller: 618 or u?
618
Let i be ((-6)/4)/((-1)/18). Let w be 36/i*4/(13848/9). Is 0 at least as big as w?
False
Let b = 59775 - 60053. Suppose -389 + 1529 = -4*d + 5*q, 300 = -d + 5*q. Is d at least as big as b?
False
Let v = -19687 + 19127. Which is smaller: v or 1/3?
v
Let u(h) = h**2 - h + 3. Let b be u(0). Let s = -362 + 365. Let f be s/(-5) - 3*635/(-2925). Is b <= f?
False
Suppose -5*h = d - 230, -5*d + 48 = 4*h - 157. Let q be 7*(2 - 1) + -2. Suppose 6*b = -q*b + 506. Which is smaller: h or b?
h
Let j(v) = -v - 44. Let i be 5/(-3*3/45). Let k be j(i). Is k <= -18?
True
Suppose -5 = -3*h + 1. Suppose 3*o - 21 = -18, -5*b + 3*o = -57. Suppose 104 = 14*n + b*n. Which is bigger: h or n?
n
Suppose -t = -1, 0 = -6*z + 4*z - 3*t + 21. Suppose z*c = 12*c. Do c and -1/134 have the same value?
False
Let b(p) = 2*p + 4. Let h be b(-3). Suppose 1285 = 4*y - 5*d, -5*y + 1227 + 373 = -5*d. Let r be 5/(y/(-138)) - h. Which is greater: 1 or r?
1
Let w = -249.8565 + -0.1435. Are 0.4 and w equal?
False
Let j = 0.971 + 0.029. Let z = -9.6 + 8. Let d = z - -0.6. Is j at least as big as d?
True
Suppose 4*h + 141 = 141. Which is smaller: 33/26 or h?
h
Let s be (-15)/237*(-2)/(-5). Let t be (5 - 36*(-10)/(-40)) + (1 - -3). Which is smaller: s or t?
s
Let h(z) = -3*z**2 - 8*z + 44. Let l be h(34). Do l and -3696 have different values?
False
Let t = 179 + -169. Suppose 3*x = 3*y, t*y - 3*x - 24 = 13*y. Is -27/8 bigger than y?
True
Let a be ((-2805)/(-18) - 3) + (-2)/(-12). Let v = -154 + a. Is v smaller than 1/181?
True
Suppose -149*g = -146*g - 60. Let m be ((-6)/g)/((-25)/(-50)). Suppose 3*n - 2*f + 10 = -2*n, 5*n + f = 5. Which is smaller: m or n?
m
Let j = 8/4069 + -8626/248209. Which is greater: j or 102?
102
Suppose 120*p = 145402 + 324038. Is p less than 3913?
True
Let d = -36/91 - -1249/1547. Is -1 greater than d?
False
Suppose -11 = 4*b - 19. Let w(h) = 9*h**2 - 2*h - 1. Let i be w(b). Let r = -32 + i. Which is smaller: -3/83 or r?
r
Let y = -693/8 + 168431/1944. Do 0 and y have different values?
True
Let q = -14883/20 + 8671/15. Let d = q + 166. Which is smaller: d or -1?
-1
Let u be (168/3080)/(18/60). Is 336 > u?
True
Let s(a) = 83*a + 1101. Let x be s(-12). Which is bigger: x or 0.08?
x
Let q = -27 - -27. Let p(g) = -2*g - 11. Let h be p(-10). Let t = h - 9. Does q = t?
True
Let t = 9 - 6. Let q = 149 + 51. Let l = -218 + q. Which is smaller: t or l?
l
Let b = 1082/59 - 28187/826. Is b at most -17?
False
Let p be 4/(-9) + 202/303. Which is bigger: p or -9/49?
p
Let t(y) = -y**2 - y - 132. Let i be t(7). Which is smaller: -6 or i?
i
Let h = 3112 + -3113. Which is smaller: -2/1075 or h?
h
Let c be 1*((-2860)/(-221) - 13). Is -10 < c?
True
Let f be ((-4333)/(-483) + -9)/(-1 - (-40)/(-15)). Let z = -632784681/7084 + 89326. Let u = z + f. Which is greater: u or 1?
1
Suppose 3183*o + 10805 = 3207*o + 299501. Which is smaller: -0.1 or o?
o
Let z = 105.95 - 106. Is 862 less than or equal to z?
False
Suppose g + 2*n + 17 = 0, -32*n = g - 33*n + 8. Let u be (-51)/(-28) - g/264*-6. Which is bigger: u or 1?
u
Let r be -1 + 66*(-1)/(-85) + (-506)/(-2530). Are r and 112/3 equal?
False
Let k(a) = -a + 19. Let z be k(15). Let r be (2/z + 0)/((-627)/38). Which is greater: -1 or r?
r
Suppose 4*s - 2 - 2 = 0. Let z be (23514/1236 - 19)/(25/10). Does z = s?
False
Suppose t + 11 - 38 = 0. Suppose 75*l - 4*r = 76*l - 10, -l + 5*r = -46. Do t and l have the same value?
False
Let d = 803.9661 - 804. Let p = d + -1.5661. Are -27 and p unequal?
True
Let i = -9985 + 3295049/330. Is i smaller than -5/2?
False
Let f = 89 + -100. Let q(o) = -47*o + 116. Let m(v) = 9*v - 23. Let k(d) = f*m(d) - 2*q(d). Let h be k(5). Is 1 at most as big as h?
False
Let h = -7 - -17. Suppose -4*s = -8*s - 5*j + 15, 4*j = -3*s + 12. Suppose 2*q + 2*q = s. Which is smaller: h or q?
q
Let l(o) = o**3 + 13*o**2 + 43*o + 24. Let v be l(-8). Let p = 3402 + -806275/237. Which is bigger: v or p?
v
Let y = -27.484 - -27.482. Which is smaller: y or -1.61?
-1.61
Let z be ((-2)/10)/(1/(-3)). Let o = 5478.9 - 5479. Which is smaller: o or z?
o
Suppose -3*j + 0*j + 3 = 0. Let b be (-27)/(-126) - j/2. Let l = -12 - -8. Which is bigger: l or b?
b
Let m = 0.22197 - -59.75003. Let w = m + -60. Let p = 0.202 - w. Which is smaller: -0.2 or p?
-0.2
Suppose -3*l + 3 - 2 = 4*s, -l + 22 = -3*s. Suppose 0 = l*n - 13*n + 354. Which is smaller: 58 or n?
58
Let u = -8 - -8. Suppose -14*z + 24 = -10*z. Let b be 1743/2520 - 4/z. Is u bigger than b?
False
Suppose -3*m - q + 60 = 0, -m - q + 20 = 3*q. Suppose -5*j + 150 = -4*w, -m = 3*w + w. Which is bigger: j or 27?
27
Let n = -503203 + 503204. Let p be (-3)/((-414)/(-8))*2. Which is smaller: p or n?
p
Let h = 311 + -307. Suppose -4*m + 3*m + 4*p = -20, -h*m + 2*p = -38. Which is smaller: -5 or m?
-5
Let d(y) = -2*y**2 + 1. Let m be d(1). Let o(w) = 16*w + 5. Let p(a) = -23*a - 7. Let i(h) = 7*o(h) + 5*p(h). Let j be i(m). Which is greater: 2 or j?
j
Let i be (-260)/65*(1713/750 - 0 - 2). Is i bigger than -1?
False
Let j(v) = -v**2 + 80*v + 1539. Let n be j(94). Is n at least 226?
False
Suppose -3*n + 2*z = 107 - 93, 12 = -n - 3*z. Suppose -2*l = -5*r + 1, 4*l = 4*r - 5 - 3. Which is bigger: l or n?
l
Let b(d) = 1452*d - 8713. Let t be b(6). Which is greater: t or -2/10715?
-2/10715
Let j(m) = m - 6. Let u be j(-3). Let p be -3 - (-8 - u/(2 + 1)). Suppose -x - 3 = 0, -3*k + x - p = -8*k. Is 2/11 greater than k?
False
Let x be (-2 + -7 + 6 + 13)*-186. Is -1862 less than x?
True
Let n be (-3)/(-17)*4/6. Suppose 8 = 4*w - 3*m, -13 - 16 = -5*w - m. Suppose 4*x + 3*a - 12 = 0, -x - x = w*a - 20. Which is smaller: x or n?
x
Let h(b) = b**3 - 4*b**2 - 22*b + 11. Let x be h(7). Suppose -3*d + x = -4*q, -4*q - 4 = 11*d - 16*d. Is q greater than or equal to -20?
True
Suppose 11*q - 13*q + 692 = 0. Suppose 0 = -4*n + n - 2*p + 256, q = 4*n + 5*p. Which is smaller: n or 83?
83
Let q(s) = 3*s - 15. Let r be 4/10 + (-33)/(-5). Let g be q(r). Let c = 2/67 + 61/201. Are c and g equal?
False
Let j = 4956.98 - 5046. Let q = 89 + j. Let h = q - 1.18. Are -1 and h non-equal?
True
Suppose y = -2*x - 10, -5*x - 4 - 33 = 4*y. Let t be (1/(-2) - 0)*(12 - (-25 + 24)). Is t equal to y?
False
Let u be (-147038)/(-35)*15894/(-117079587). Let a = -614/160603 - u. Let o = a + 2/405. Is o equal to 1?
False
Suppose -395*i - 166 = 229. Let m b