u be 4/(-22) + 206/(-440). Let d = -9/148 - -2/185. Let b = d - u. Which is smaller: b or 1?
b
Let d(j) = 20*j + 30. Let x be d(-3). Let t = x - -1. Let n = 11 - t. Are n and -1 nonequal?
True
Let c = -2531 - -32901/13. Suppose -3*t = 2*q - 16, -t + 4*q - 16 = t. Suppose 0 = t*a - 3 + 5. Which is bigger: c or a?
c
Let d = -139/42 - -19/6. Let h = 433 - 430. Suppose -4*j = 20, -4*f + h*f + 2*j = -10. Is d smaller than f?
True
Let m(z) = z**3 - 5*z**2 - 5*z - 5. Let k be m(7). Let o(y) = -12*y - 32. Let q be o(-6). Let n = k - q. Which is smaller: 20 or n?
n
Let y(b) = 113*b**2 - 44*b - 167. Let c be y(-4). Is 1816 != c?
True
Let u = 24748 - 1386047/56. Let d = u + 45/14. Is 1 <= d?
False
Suppose 2*g + 11 = b - 23, 3*b = g + 117. Suppose 10*k - b = 70. Let v = 1.4 + -1.1. Which is greater: v or k?
k
Let v be 30/25 - (33/15 + -2). Let l = -779 - -568. Which is smaller: l or v?
l
Suppose 2*r = -8*r + 20. Suppose 3*i + 10 = 8*k - 12*k, 0 = 4*k - r*i. Let v = -0.05 - 3.95. Which is bigger: v or k?
k
Suppose -2 + 8 = 4*h + 2*b, -4*h = b - 7. Suppose h*j = 5*m - 389, -37*m + 40*m = -3*j + 246. Is m less than or equal to 78?
False
Let i(a) = -3*a - 9. Let q = -43 + 39. Let s be i(q). Suppose 0 = -2*j + 3*h + 7, 4*h - s*h - 11 = -j. Is 9 greater than or equal to j?
True
Let p(f) = -3*f**2 + 61*f + 409. Let k be p(50). Which is greater: k or -8081/2?
-8081/2
Let r = 1622 + -1138. Let w = r + -483.9. Let p = -7.7 + -52.3. Which is smaller: w or p?
p
Let m = 68.25 + -69.9595. Let c = m + 11.7105. Let y = 0.001 - c. Which is smaller: y or 2?
y
Let h be (26865/1261062)/(32/(-29) + 1). Let q = 49/242 + h. Is 0 greater than or equal to q?
True
Let a = -1679 - -1685. Which is bigger: 7.9 or a?
7.9
Let b = 4672 - 4689.096. Let f = b - -0.096. Let n = 1.38 - 1.28. Which is greater: f or n?
n
Let v = 1005 + -961. Is v at most 34?
False
Let u = 0.758 - 28.613. Let x = u + -0.145. Which is smaller: 0 or x?
x
Let g be (-543)/(-14)*96/18. Let i = -206 + g. Suppose -l + 2*m + 0*m - 2 = 0, 0 = -l + m - 1. Is l bigger than i?
False
Suppose -2*m - 2680 = -12*m. Let g = 277 - m. Is 100/11 at least g?
True
Suppose -l = -4*p - 4, -440*l + 888 = -461*l + 3*p. Let v = 13622 - 81995/6. Is l greater than or equal to v?
False
Let b be ((-6)/4)/(21/(-70)). Let y = b - 2. Suppose 5*s - 52*k + 51*k - 20 = 0, -3*k = 5*s. Is s not equal to y?
False
Suppose 5*n + 0 = -20, 0 = 5*z - 2*n - 38. Let m be (-18)/z + (-8)/(-3). Let x = -88 + 89. Which is greater: m or x?
x
Suppose 0 = -23*v - 1040 - 1396 - 462. Suppose -o + 5*o = 4*l - 496, 5*o = -3*l - 636. Do v and o have the same value?
True
Suppose -4*n + 212 = -2*f - 2*f, f - 253 = -5*n. Suppose -n = -18*h + 3. Which is bigger: -58 or h?
h
Let j(x) = -x**2 - 11*x - 14. Let u be j(-8). Let m(v) = -3*v + 19 + 6 + 0 - u. Let l be m(-6). Are 33 and l equal?
True
Let n = 329/327 - 37/109. Let h = -0.2 - 54.8. Let l = h + 97. Is l at least as big as n?
True
Let v = -15485347/78 + 198534. Which is smaller: v or 4?
v
Let y = 504 - 504. Suppose 5*i + 3*k + 56 = y, k = i - 3*k + 2. Which is smaller: -39/4 or i?
i
Let g(f) = f**3 - 7*f**2 - 19*f + 3. Let a be g(9). Let s be 415/a + 6/36. Which is bigger: -70 or s?
s
Let j(n) = n**3 - 8*n**2 + 5*n + 14. Let r be j(7). Suppose r*p + 2*p + 4*a = 14, -p + 7 = -a. Suppose -p*k + 2*k = 10. Which is smaller: k or 5?
k
Let h = -26352 + 26470. Which is bigger: h or 0.84?
h
Let a be 17 - 24 - (-60)/(3 + 3). Suppose 0 = -4*n - 1 - 7. Which is bigger: n or a?
a
Let l(r) = -11 - 10*r + 6*r + 9*r + 2*r**2 + 4*r. Let a be l(-5). Let w(i) = -3*i**2 - i + 2. Let y be w(-2). Which is greater: y or a?
a
Let s(o) = -3*o - 26. Let x be s(-11). Suppose -5*n = 2*w - 53, -3*w = -x*n + 4*n - 48. Suppose v = -w + 2. Are -17 and v nonequal?
False
Let y(l) = -l**3 + 28*l**2 - 25*l - 49. Let b be y(27). Let z be b - 5 - (-12)/(-80). Which is smaller: 0 or z?
z
Let j = 1.257 + -0.654. Let o = 0.957 + j. Is o at least -1?
True
Suppose s = -5*m + 10*m + 4606, 3*s = -9*m - 8286. Which is smaller: m or -922?
-922
Suppose -4*h = -2*k - 228, -4*h - 37 - 71 = k. Let j be 5/(-2)*(k/(-40))/(-7). Is j less than or equal to 1/817?
False
Let b be ((-425)/(-175))/17*7. Which is smaller: b or 2/54265?
2/54265
Let g(m) = -m**2 + 3*m + 206. Let p be g(0). Let l = p - 205. Are l and 9/14 nonequal?
True
Let f = -14490 - -275328/19. Which is smaller: f or -14.2?
-14.2
Let m = 1823.48 - 1784. Does m = 1?
False
Suppose -5*g - 414 = 3*w - 437, -5*g - w = -11. Which is bigger: g or 3/676?
g
Let o(u) = -7*u - 2. Let n be o(2). Let k be (-11)/(-2) - ((-414)/(-36) - 12). Let x be (9 + (-63)/k)*10. Which is smaller: x or n?
n
Let w = 12704 + -12983. Which is smaller: -2/35 or w?
w
Suppose -1701 = -33*k + 32*k. Let j be 21/(k/(-18)) + (-4)/(-18). Which is bigger: 2/245 or j?
2/245
Let i(t) = 44*t - 548. Let y be i(8). Which is smaller: -184 or y?
y
Let v be (-40)/30 + 82263/61704. Which is smaller: 0 or v?
v
Let t = -12611 + 617936/49. Let y = 4 - 0. Suppose 2*k + 3*l - 6*l + 4 = 0, -3*k = -y*l + 5. Which is bigger: t or k?
k
Let y = -847 + 253. Let o be y/12 + 9/(-6). Let c = 37 + o. Is -41/3 < c?
False
Suppose 50 = 5*w + 2*v - 6, 5*v = -3*w + 45. Let n be (11378/(-6))/(3/18*w). Let z = -1147 - n. Which is greater: z or -10?
z
Let s(u) = -u**3 - u**2 - u. Let l(c) = c**3 - 6*c**2 + 4. Let k(t) = l(t) - s(t). Let x be k(-5). Let q be x/187 - (-7 + (4 - -1)). Is q greater than 0?
False
Let l(v) = -v + 4. Let j be l(-6). Let g = j - 6. Let w = -13/123 - -3412/861. Which is smaller: g or w?
w
Suppose -134*r + 132*r = 2*t - 2044, -3064 = -3*r - t. Is 1021 at most r?
True
Suppose -23*a = 8 - 19 + 11. Which is smaller: a or -5/312?
-5/312
Suppose 2*p - 3*q - 55 = 5, -2*q - 8 = 0. Suppose 514*c - 502*c - p = 0. Are c and -26 nonequal?
True
Let h(m) = 7*m**2 + 5*m + 4. Let p be h(-1). Let v be (-18)/(-99)*11 - 8/p. Let x = 0.1 - 1.1. Which is greater: x or v?
v
Let i = -47827/17 - -2811. Is -2 at most as big as i?
False
Let i = 5 - -172. Let t = i + -176.71. Which is bigger: t or -1?
t
Suppose 0 = -4*p + 39 - 195. Let j = -1988 + 1953. Is p greater than j?
False
Suppose 2*b = 3*a - 70, -35 = -5*a + b + 77. Suppose -63*z + 53*z = -210. Is z at most a?
True
Suppose c = l - 770, -l - 151 = -2*c - 917. Is l <= 777?
True
Let b = 10884 + -10884.05. Which is bigger: -2/233 or b?
-2/233
Let g = -5728 + 5371. Which is smaller: g or -1?
g
Let p(j) = 396*j**2 + 45. Let k(u) = 36*u**2 + 4. Suppose 5*l + 2*l = 315. Let t(i) = l*k(i) - 4*p(i). Let g be t(-1). Which is smaller: 35 or g?
35
Let k = -10 + 21. Let u be 1/3*((-55)/121 - -1). Which is smaller: k or u?
u
Let z = 298487/17 + -17563. Suppose 3935*d + 430 = 3849*d. Are z and d unequal?
True
Let o(t) = 1219*t + 13091. Let q(y) = 35*y + 374. Let x(b) = 3*o(b) - 106*q(b). Let k be x(-7). Is -1/589 smaller than k?
True
Let b = -125 - -79. Let l(u) = -25*u - 1198. Let a be l(-46). Is b at least as big as a?
True
Let b = 35/793 + 2/61. Let j(i) = -3*i**2 + 43*i - 53. Let c be j(13). Is c bigger than b?
False
Let z = -81 + 88. Let f be (-20 + 23)*z/3. Suppose -3*k + 0*l - 2*l + 5 = 0, 3*k + 4*l = f. Which is greater: 10 or k?
10
Suppose -2*o - 36*s = -31*s + 13079, 4*o + 26119 = 3*s. Does o = -6533?
False
Let p be (-25 + -2)*(-420)/45. Let m be 6/14 - (2 + (-7732)/p). Which is greater: m or 29?
m
Let l(k) = -k**2 - 4*k + 3. Let o be l(0). Let g be (-3)/9 - 62/o. Is -20 bigger than g?
True
Let v = 423735 + -423738. Suppose 6 = -3*w - 33. Let b be (-3)/(-6) + w/2. Are v and b unequal?
True
Let h = 0.3616 + -0.2616. Is -2.25 equal to h?
False
Let f be 8/(-7)*2/8. Let u = 428 - 416. Is f at most u?
True
Let z = 5816 - 5585. Which is bigger: z or 237?
237
Let w = 41 + -40.78. Let d = -0.32 + w. Let n = 66 - 54. Which is bigger: d or n?
n
Let f be (70/(-50))/7 - 4/(-434840)*21722. Is 0 greater than or equal to f?
True
Let g = 779/3 - 2125/9. Let f = -33 - -58. Which is smaller: g or f?
g
Suppose 71 + 19 = 80*g - 390. Which is smaller: 41 or g?
g
Let x be ((-78)/(-91))/(12/(-42)). Let i be 2 - (x - 3)/((-54)/12). Let h = -8 + 33. Which is smaller: i or h?
i
Let b = 5631 - 8290. Which is smaller: b or 0.2?
b
Let y = 4550 + -4550.2. Which is smaller: y or -0.096?
y
Let o = -17531 - -17520.987. Which is smaller: o or -1?
o
Let q = 