uppose -479*b + 487*b - 8 = p. Is -10/107 at least b?
False
Let a = 1.8213 + 12.3187. Which is bigger: a or 6?
a
Let k = 7 + -4. Suppose j = k*j. Let w be 55/2475*(-10)/(-3). Which is bigger: j or w?
w
Let h = 841 + -431. Let b = 412 - h. Do 0.041 and b have different values?
True
Let d = 149 + -151. Let n be d/((-16)/8)*1. Let k = -1952557/271 + 7205. Which is smaller: n or k?
k
Let m = 18814 - 18814. Which is greater: 2/5017 or m?
2/5017
Suppose -f = -3*q - 8, -2*q + 0 - 7 = -f. Suppose -f*z - 264 = -13*z. Which is smaller: z or 34?
z
Suppose 14841 = 90*c + 63*c. Which is smaller: 99 or c?
c
Let f be 6*170/(-714) + 17/7. Let c = -0.256 - 0.074. Let q = 32.67 - c. Is f <= q?
True
Let x = -379 - -379. Which is greater: 942 or x?
942
Suppose -205 - 429 = -2*a. Suppose 43 + a = -8*f. Which is greater: -38 or f?
-38
Let g(r) = -5*r**3 + 6*r**2 + 8*r - 12. Let i(k) = -9*k**3 + 12*k**2 + 15*k - 23. Let w(j) = 11*g(j) - 6*i(j). Let v be w(-7). Is 69 less than or equal to v?
True
Let v = -13.877 + 0.307. Let f = v + 136.47. Let a = f - 123. Which is smaller: 0.1 or a?
a
Let c be (-175)/(-100) - 6*(-1)/(-8). Which is bigger: 54/289 or c?
c
Let j = 1873 - 2147. Is j at least as big as -2458/9?
False
Let b = -5 - -2. Let f = 993 + -1006. Which is smaller: b or f?
f
Let x = -18 + 16.885. Let a = -0.115 - x. Which is greater: a or 183?
183
Let f be -1*(-2)/11 + 26904/132. Suppose -f + 1 = 29*y. Are y and -14 equal?
False
Let k be (-2)/(-2)*2/(-4). Let a = -0.004 + 0.001. Let u = a - -4.003. Which is smaller: u or k?
k
Let y(p) = -33. Let b(r) = -r + 100. Let s(x) = 2*b(x) + 7*y(x). Let i be s(-5). Let g be 6/(-9)*i - -2. Is 16 at most as big as g?
True
Let a be 12180/66 - ((-392)/(-154) - 2). Which is greater: a or -16?
a
Let i(a) = -9*a + 40. Let b(n) = 9*n - 39. Suppose 4*t - 8*j = -7*j + 16, -2*t + 3*j = 2. Let m(s) = t*i(s) + 4*b(s). Let x be m(5). Is x < -2/363?
True
Let q be -3 + 0 + (-1 - -39). Suppose -5*x - 2*x = -q. Let u = x + -6. Which is greater: u or -2/67?
-2/67
Let l be ((3792 - 1) + -4)*((-330)/21)/(-5). Is l less than 0.1?
False
Let i be (42/1134)/((-6)/(-27)). Which is smaller: -109 or i?
-109
Suppose 0*g = -4*g + 2*b - 152, 16 = -4*b. Let q = 49 + g. Suppose 15 = -3*c - q. Is c smaller than -6?
True
Let m = -190 + 186. Let l be m/((-1248)/221) - (-3)/(-8). Which is smaller: -141 or l?
-141
Let t = -279.5 - 10741.5. Is 0 at least as big as t?
True
Suppose 0 = 8*z - 32. Suppose 5*y + z*k + 20 = 0, 0*y = -3*y - 5*k - 25. Which is smaller: 35 or y?
y
Let c = 10528 - 10540. Which is smaller: c or 28?
c
Suppose 14*f + 3*f = -0*f - 9520. Are f and 2 nonequal?
True
Let n = -12665/53 + 239. Let j = -0.21 + 7.21. Let p = j + -8. Is p > n?
False
Suppose 35 = 5*z + 90. Let t(r) = r**3 + 9*r**2 - 16*r - 12. Let g be t(z). Let p = g + 46. Is -32 at most as big as p?
True
Suppose 2*f - 115 = -x, 4*x - x + 439 = 8*f. Let n be (107 + -1)/(-4 + 6). Which is bigger: f or n?
f
Suppose -50 + 1010 = 15*m. Let d(a) = -30*a + 3. Let o be d(-2). Which is greater: o or m?
m
Let n = -81 - -86. Let u be (n + (-33)/15)*15/(-9). Is -5 greater than u?
False
Suppose -4*y + 4*d = y - 289, -2*d = -5*y + 287. Let b be (2/(-5))/((-6)/(-90)). Let c be (-8)/b*y/(-646). Which is greater: c or 1/6?
1/6
Let s be (-1924)/964 - (6 + -2)/(-2). Suppose 0 = 62*p - 37 + 37. Which is bigger: s or p?
s
Suppose -2*n = 2*n - 3*z - 487, -5*n + z + 628 = 0. Is 641/5 != n?
True
Let j = -11387 - -80098/7. Let h = j - 42408/763. Which is smaller: -1 or h?
-1
Suppose -61451*y + 61446*y = -4440. Which is bigger: 1777/2 or y?
1777/2
Let x be (-6)/(-63) + (-50424)/252. Let m(l) = -50*l**2 - l - 1. Let i be m(-2). Which is greater: x or i?
i
Let o(v) = v**2 + 5*v + 6. Let m be o(-4). Suppose 6*y = m*y + 36. Let n = 191/106 - 361/318. Is y at most as big as n?
False
Let d = 124 + -115. Suppose 0*m - 3*m - d = p, -4*m = -4. Let a be (-4)/6*18/p. Which is smaller: a or -5/2?
-5/2
Let g(q) = -q**3 - 11*q**2 + 12*q + 9. Let i be g(-12). Suppose -10*s - i*s + 741 = 0. Is s bigger than 27?
True
Suppose -7*h - 84 + 28 = 0. Let j be (-2*15/h)/(3/428). Do j and 535 have the same value?
True
Let x be (4/7 - (-1080)/70) + 329 + -322. Let a(u) = 3*u - 1. Let i be a(2). Suppose i*y - 59 = 51. Is y less than x?
True
Suppose 2*h = 2*c + 6, 2*c - 5*c + 5*h - 13 = 0. Which is smaller: c or 21/64?
c
Let b = -5414/11 + 5844/77. Is -417 greater than or equal to b?
False
Let h = 68.96 - 68.9. Is h bigger than -2471?
True
Let g = 1201/39 + 748/13. Let j = g + -10871/123. Do -1 and j have the same value?
False
Let c = -55.2 - -35.3. Let k = c + -0.1. Let y = k - -15. Are y and -2 unequal?
True
Let a be ((-715)/66)/13*205/50*-4. Which is smaller: a or -49?
-49
Let t = 56.8007 - -0.1493. Let m = t - 0.95. Let p = -55 + m. Which is greater: p or -65?
p
Let j(w) = w**2 + 6*w + 7. Let b be j(-10). Suppose b*n = 46*n + 8. Let y = 54/7 - n. Which is bigger: -3 or y?
y
Let a = -653/134 + 360/67. Are a and 119 nonequal?
True
Let s be 34 + 2*3/(-6). Let x be (3/(570/8))/(s + -23). Are -1 and x equal?
False
Suppose -7*w = -5*w - 4*n - 2256, 4*w + 4*n - 4500 = 0. Suppose 6*m + w = 1006. Is m greater than -0.04?
False
Let f = -8/163 - -2434/56235. Suppose -3 = -5*h + d, 11*d = 5*h + 16*d - 15. Is h smaller than f?
False
Let s = 24404 - 24408. Let h = 51609/13 - 3973. Is s at most as big as h?
True
Let h be (-1)/((-135750)/135730 - -1) - 1/2. Are -2 and h unequal?
True
Suppose 0 = -12*b + 15*b - 27. Let z be (4/(-6))/(b/(-216)). Let j be ((10/(-35))/(-1))/(z/6). Which is smaller: 1 or j?
j
Let i = -1/2354 + 1179/4708. Is i equal to -815?
False
Let b be -153 - 0/2 - (-47)/((-1645)/(-175)). Is -159 bigger than b?
False
Suppose -38 = 38*q - 0. Let u be (q/5)/(40/3500). Which is greater: -18 or u?
u
Let c(y) = 154*y**2 + 166*y - 137. Let z be c(-7). Is z equal to 6246?
False
Let j = -45.93 + 46. Let y = 2337 - 2336.7. Which is bigger: j or y?
y
Let h be -17 + (-65)/(-33904)*8866. Which is bigger: h or 1?
1
Let c = 7.03 - 0.93. Let i = 39.1 - c. Let t = 419507.9 - 419508. Is t < i?
True
Suppose 0 = -4*g + 12, 0 = b - 9*g + 5*g - 152. Let d = 117 - b. Is -49 less than d?
True
Let b(x) = 3*x**2 + 3*x + 1. Let i be b(-1). Suppose -4*l - 4*f = 7084, -5509 = 4*l + 5*f + 1580. Let z = 178369/101 + l. Which is smaller: i or z?
z
Let a(q) = -q**3 - q**2 + 2*q + 10. Let l be a(0). Let r be (9 + 2583/(-297))*36/l. Which is smaller: r or -1?
-1
Let f = 6 - 12. Suppose -11*g + 32 = -3*g. Let i be (-2 - (-10)/g)*0. Is f at least i?
False
Suppose 0 = 13*j - 1174 - 412. Suppose -4*q + 3*o = -496 - 8, -5*q + 607 = 2*o. Is j greater than or equal to q?
False
Let x(y) = y**2 - 54*y + 389. Let t be x(24). Which is greater: -330 or t?
-330
Let x = 8 - 100. Let w = -91 - x. Is 15/7 < w?
False
Let l(r) = 2*r**3 - 68*r**2 - 3*r + 94. Let f be l(34). Let b = -114 + 215/2. Which is bigger: b or f?
b
Suppose 134*p - 135*p + 1669 = -3*c, -p = 4*c - 1683. Is 0 != p?
True
Suppose -12*d - 8340 = -8*d - 2*c, -3*d = 3*c + 6237. Is d greater than or equal to -2083?
True
Let j be ((-16)/(-7))/(30/(-10825)*5). Let c = 165 + j. Let t = 19/42 + c. Which is smaller: t or 0?
0
Let r(b) = -4*b**2 - b + 47 - 6*b**3 - 18 + 3*b - 23 + 3*b**3. Let s be r(-3). Which is greater: s or 48?
48
Let u be -20*33/44 + 16. Let i(d) = -d**3 + 5*d**2 + 3*d + 5. Let q be i(5). Is u equal to q?
False
Suppose -m - 14 = 2*a, 15 = 5*a - m + 57. Which is bigger: a or 2/15?
2/15
Let c be 4/10 - ((-651)/(-5))/(-7). Let p(b) = -5*b + 100. Let o be p(c). Which is smaller: 73 or o?
o
Suppose 26*n - 19*n - 35 = 0. Suppose -4*o = -3*m - 116, -n*m - 86 = 5*o + 49. Which is smaller: m or -222/7?
m
Let n = -7.657 + -0.343. Which is greater: n or 6?
6
Let c(t) = 6*t - 36. Let r be c(7). Let k be r/(-27) - (-20)/9. Is k not equal to 10?
True
Let i = 55262/34629 - -3/1358. Let j = 30/17 - i. Which is bigger: -1 or j?
j
Let s = -3101.9 - -2225. Let r = s - -877. Suppose 240 = -y + 5*y. Do y and r have different values?
True
Let c be 3*5/15 + 1*8. Suppose -3*b = 6*b + c. Which is greater: b or 3/11?
3/11
Let w be -496 + 487 + 3 + 9 + 0. Let k = 0.3 - 0.26. Is w less than or equal to k?
False
Let n(x) = 4*x**3 - x**2 - x + 2. Let h be n(2). Let g = 33 - h. Suppose -15 = g*b, b - 1 = -4*j - 0. Are -3/31 and j 