 5*i + 116 = i - l, 3*l = 4*i + 116. Which is bigger: x or i?
x
Let q be ((-1)/1634)/(3/(-3)). Let f = 3199/112746 + q. Suppose -7 = 3*m + s, 15 = -5*m + 2*m - 3*s. Which is greater: m or f?
f
Let k(o) = -2*o**2 + 9*o + 14. Let i be k(6). Let w be ((-18)/10 + 8/(-40))*i. Suppose -5*b - w = -3. Is b > -2?
True
Let i = -0.7 - -0.6. Let q be 4 + ((-4)/24)/(3/3846). Let l = 210 + q. Which is smaller: l or i?
i
Let w = 83.043 - 83. Let x be -6 + (-224)/(-20)*52/91. Which is greater: w or x?
x
Let h(k) = 2*k - 1. Let l be h(3). Suppose 9*q - l*q = 2736. Let d = 8884/13 - q. Is 2 equal to d?
False
Let i(k) = -24*k - 287. Let v be i(-12). Let p be (-18154)/5236 - 3/(-1). Let r = p + 15/34. Which is smaller: v or r?
r
Let v = -13.422 + 6.392. Which is greater: v or 0.13?
0.13
Let h = 8837 - 8847. Is -770 smaller than h?
True
Let a be ((-9)/24)/(10/4 - 1). Are a and -54.19 equal?
False
Let u = 501 + -501.3. Let q = -60 - -98. Which is smaller: q or u?
u
Let t(b) = 18*b**2 - 46*b - 1127. Let f be t(-18). Which is smaller: 5532 or f?
5532
Let i = 270 + -47. Suppose 170*x - 208*x - 277*x = -70560. Which is bigger: i or x?
x
Let p = 2.6 - 2.45. Let k = p - 18.15. Let l = -14 - k. Is -0.1 less than l?
True
Let b = -221285020/3451 + 64122. Is 0 <= b?
True
Let x = 83 + -80. Let d be 9/x - 68/16. Let q = 2 + -3. Is q != d?
True
Suppose -11983 = -8*o - 7*o - 8*o. Is -1 less than o?
True
Let c(g) = 12*g**2 + 86*g + 130. Let b be c(-5). Is -9/2089 bigger than b?
False
Suppose -45 = 20*o - 11*o. Let d(y) = -y**2 + 26. Let f be d(o). Is f equal to 2/61?
False
Suppose -110*g + 100*g - 2790 = -k, 0 = -4*k - g + 11037. Is 2760 less than or equal to k?
True
Let k = -0.2392 - 0.0138. Let w = k + 0.205. Is w equal to 2?
False
Let g be ((-43728)/198)/8 - ((-52)/(-4) + -16). Which is smaller: -26 or g?
-26
Let t be (-1620)/81 + 903/7. Suppose -3*l + 122 = r, -r + 0*r - l = -114. Does r = t?
False
Suppose 4*p - 5 = u + 7, 2*p + 5*u - 28 = 0. Let m(z) = -11*z + 60. Let g be m(p). Let r(l) = 2*l**2 - 30*l - 18. Let h be r(16). Are h and g non-equal?
True
Let x(l) be the third derivative of l**6/60 - l**5/10 + l**3/3 + 3*l**2 + 3*l. Let h be x(3). Which is smaller: h or 5/2?
h
Suppose -47*u + 46*u - 12 = 0. Let i be -1 - -2*9 - (u - -10). Are 19 and i non-equal?
False
Suppose 16*v - g + 11274 = -12460, 0 = 3*v + 2*g + 4437. Are -1487 and v nonequal?
True
Let r be -54 + 0*3/(-6). Let p be (-7 - 15) + -51 + 19. Is r bigger than p?
False
Suppose k = -324*m + 321*m - 5157, -4*m - k - 6877 = 0. Which is smaller: -0.3 or m?
m
Let t(l) = l**3 + 6*l**2 + 5*l. Let h be t(-4). Let a be ((-60)/18)/(8/h). Let u be (-129)/(-27) + a + 598/18. Which is smaller: u or 32?
32
Let z be ((176/77)/(-8) - (-18)/14) + -2. Which is greater: 4/2009 or z?
4/2009
Suppose -3*t - 2*t + 65 = 0. Let o = 109 - 63. Let f = o + -45. Is f at least as big as t?
False
Suppose 0 = 2*y + 4*o + 22, 8*y = 9*y + 5*o - 13. Is y < 31?
True
Suppose 1042*q = 1054*q - 564. Is 31 less than q?
True
Suppose -6*h + 2*h + 984 = 4*x, 4*h - 3*x - 956 = 0. Let k = h - 211. Which is bigger: k or 30?
k
Let v = -0.72 + 1.85. Let g = v - -0.17. Let r = -27762 + 27761.9. Is g != r?
True
Let i = -171 + 159. Let g = i + 10. Which is greater: -44/15 or g?
g
Suppose 0 = -w + 3*m - 2, 0*w - 2*m = 5*w - 7. Let x be (2/(-6))/(1230/(-270)). Which is smaller: x or w?
x
Let m be 33/(-22)*(-4)/(-6). Let z be 34/32*(m + -1). Let g = -1811 - -1810. Which is greater: g or z?
g
Let l = 814.36 + -814.3. Are 4/55 and l equal?
False
Suppose -13*f + 323543 = 54*f. Is 4829 less than f?
False
Suppose 171 = -5*t + 4*n, 5*t - 263*n + 101 = -264*n. Let i = 6 - 21. Is t at most as big as i?
True
Let h = -446.4 - -420.4. Are 188 and h unequal?
True
Suppose -2*j - 42 = 5*p, 67 = -3*p + 5*j + 79. Which is smaller: 142 or p?
p
Let s be ((-1)/2 - -1)*-7. Let d(z) = -2*z**2 + 933*z - 10026. Let r be d(11). Is r bigger than s?
False
Suppose 3*z + 2304 = -3*f, 2*f - 5*f + 784 = -z. Let o = z + 777. Let l be (8/(-24))/((-2)/12). Is o less than or equal to l?
False
Let b be 0 + -20 + (-3 - -2). Let h(f) = -4*f**3 + 4*f**2 - 2*f - 1. Let l be h(2). Let i = b - l. Is i greater than or equal to -4/3?
True
Suppose 7*i + 77 = 14*i. Let l be 2/i + (-1278550)/6157437. Let m = -2/463 - l. Is m bigger than -1?
True
Let a(r) = -6*r + 38. Let l be a(6). Let c be (-365)/20 - l/(-8). Let b be (-1 + -18)/(7/7). Which is bigger: b or c?
c
Let r be (-1)/3 + (-128)/(-24). Let g(j) = 12*j - 25. Let f be g(r). Suppose 4*l + f = 15. Which is smaller: l or -33/8?
l
Let q = -4554 + 4573. Is -234/11 greater than or equal to q?
False
Let j = 520 + -496. Suppose 17*z - j = -568. Is -92/3 at least as big as z?
True
Suppose -2039 + 1948 = -7*g. Which is bigger: 53/4 or g?
53/4
Let z be (-1)/(-22)*-6*-1. Let t(c) = c**3 - 4*c**2 - 4*c + 12. Let o be t(2). Let r be 0 + o + 1 + (-8)/(-2). Is r <= z?
False
Let h be (-14)/(-7)*(1 + 0). Suppose 4*t - 3*t - 3*b - 3 = 0, t + h*b - 8 = 0. Suppose 9*u = 10*u - t. Which is smaller: u or 7?
u
Let b be 102 - 4 - (0 + 2). Let f = b + -68. Suppose 3*p - 292 = -f. Is 89 less than p?
False
Suppose 361*k - 728*k + 350852 = 0. Which is smaller: 9 or k?
9
Let s(z) = z**3 - 2*z**2 - 10*z + 8. Let c be s(4). Let q(n) = n**3 + 12*n**2 + 5*n. Let y be q(-12). Let p be (-37)/y - ((-15)/(-9) + -1). Is p >= c?
False
Let k = -32.599 + 32.4. Let h = k - -1.199. Which is bigger: 74 or h?
74
Let b(z) = -2*z**3 - 24*z**2 - 12*z - 30. Let f be b(-14). Suppose -230 = -16*i + f. Let t be 1 - (27/i + (-13)/24). Which is smaller: t or 2?
t
Let q = 2849675/136347 + -19/2901. Which is bigger: q or 21?
21
Let y = 2.6 - 0.2. Let a = -14.73 - -1.73. Let v = -12 - a. Which is smaller: v or y?
v
Suppose 5*o - 28*q - 15 = -30*q, o = -4*q + 3. Suppose -140 = 15*w - w. Is o at least w?
True
Suppose -36 = -b + 4*s, 642*s - 45 = b + 647*s. Let x(k) = 11 + k - 6 + 7. Let j be x(-8). Is b less than or equal to j?
True
Let f = 239 + -253. Let q be (3 + 44/f)*2. Let c = -37 - -26. Is c at least as big as q?
False
Let q be (-156)/7 - (-452)/1582. Is q < 5?
True
Let z = -216 + 119. Let l = z - -97. Suppose k - 2 = -4. Is l not equal to k?
True
Suppose 13*x + 132 = 7*x. Let z = -9 - x. Suppose y - 5*p = 7, 3*p = -4*y + 8*p + 43. Which is smaller: z or y?
y
Let j = -1842.98 + 1843. Which is smaller: 18.3 or j?
j
Let o be (-1 - 0) + (-147674860)/(-147674858). Let r = 53679854897/3249880600006 - o. Let j = -3/373 + r. Is j at least 0?
True
Let d be (-6 - -18) + 0 + 6/(-3). Let f be 116/(-10) + 6/d. Which is smaller: f or -10?
f
Let f be (-5 + 5)/(1 - 4). Let z = -830 + 810. Which is smaller: z or f?
z
Suppose -1 + 13 = -6*y. Let r be 3/y*2 + -36. Let n = r + 25. Is n at most -13?
True
Let r(d) = d + 1. Let p(a) = 9*a - 46. Let z(n) = -p(n) + 6*r(n). Let l be z(16). Let b be 5/(-10)*(-86)/l. Which is smaller: 12 or b?
b
Let o = 122 + -1385. Is -1262 < o?
False
Let r be 3*((-220)/(-45))/11. Let b = 4 - 3. Suppose z - b = -0*z. Which is smaller: r or z?
z
Let r = -84.4 + 169. Let i = r - 43.6. Which is smaller: i or 7?
7
Let i(c) = -2*c**3 + 12*c**2 - 4*c - 6. Let d be i(7). Let s = 113 + d. Let k(z) = -3*z + 6. Let w be k(8). Which is smaller: w or s?
s
Let o = 6067699609/35465688 + -25/437848. Let j = 1540/9 - o. Do 1 and j have the same value?
False
Let m be (12/(-2))/(-16 - 1817/(-115)). Let s = 84 - 51. Is m > s?
False
Suppose 1178 = 4*f - 3*h, 38*f - 41*f + 4*h = -880. Is 294 at most f?
True
Let u(w) = 2*w**2 - 23*w - 104. Let g be u(-4). Suppose -18 = -g*r + 2. Which is smaller: r or -2/1309?
-2/1309
Let d be ((-2382)/3573)/((-1 - 1482/(-9))/(-1)). Let q = 1 - 1. Do d and q have different values?
True
Let y = 20.1 - 20. Let o = y - -57.9. Let a = 49 - o. Which is smaller: 3 or a?
a
Let m = 5.8 - 224.8. Let c = -219.12 - m. Which is smaller: c or 6?
c
Let t(p) = p**2 + 4*p + 3. Let u be t(-5). Suppose 2*i = r - 110 + 380, 2*i - 270 = -5*r. Let k be (8/(-10))/(54/i). Is u at most k?
False
Suppose -289 = -2*l + y, -4*l + 2*l = -4*y - 292. Suppose 802 = -7*x + 277. Let g = l + x. Which is bigger: 68 or g?
g
Let s = -0.27 - -18.27. Let a = -19 + s. Let i = 2677 + -2679. Do a and i have different values?
True
Let d = 71 - 355. Let m = 384 + d. Which is smaller: -0.1 or m?
-0.1
Let p(q) = -5*q**2 + 53*q