5 or k?
-69/5
Let x(a) = a**3 + 9*a**2 + 3. Let s be x(-9). Suppose s = -r - 0. Do r and -31 have the same value?
False
Let p = 0.6 + 6.4. Let u = p - -4. Let t = -11 + u. Is t smaller than 15?
True
Suppose 24*g - 13*g = 39*g - 436772. Do 15598 and g have different values?
True
Let c be ((4 + -3)*0)/(2 - 1). Suppose 3*o + 5*k - 18 = -0*k, 2*o - k + 1 = c. Suppose 4*h + 10 = -3*z - o, -2*h + 12 = -2*z. Is -6 smaller than h?
True
Suppose -539 - 806 = -5*g. Let v = -300 + 567. Is g at least as big as v?
True
Let a = -177.8 + 211. Let m = a - 33. Let y = m + -0.43. Which is bigger: y or 0?
0
Suppose -12*i = -10*i - k + 2383, -2404 = 2*i - 4*k. Is -5934/5 greater than or equal to i?
True
Let g = -3/119 + -531/7259. Is -5/2 > g?
False
Let q = 12396 + -12401. Is q bigger than 40.1?
False
Suppose 4*s + 8 = b, 2*s = 4*s + 2. Suppose -l - 14 = 4*g, -g - b*l = -4*g - 20. Is g less than or equal to 2?
True
Let j(r) = r**3 + 3*r**2 - 55*r + 7. Let y be j(6). Let n(i) = i**2 - i + 6*i**2 - 1 - 6*i**2. Let w be n(2). Are w and y non-equal?
False
Let v = -2797 - -2876. Is 44 at least v?
False
Let p = -0.4 - -143.4. Let g = -140 + p. Which is greater: 6/11 or g?
g
Let l(x) = x**3 + 5*x**2 - 3*x - 1. Let y be l(-5). Let z(v) = -10*v - 8 - 3*v + y*v. Let u be z(8). Do 1/37 and u have different values?
True
Let i = 134 + -2. Let b be (-84)/(-22) + 24/i. Let l be 1/(b - 21/6). Is l greater than -11?
True
Suppose 33 - 60 = -9*b. Suppose -12*d - 2*j = -13*d - 47, b*d + 4*j + 111 = 0. Which is smaller: -43 or d?
-43
Let w = 15884/953 - 2/2859. Let b be 325/19 + 24/(-228). Which is bigger: w or b?
b
Let c = 16 + 68. Let k = 74 + -219. Let q = -60 - k. Do c and q have different values?
True
Let y(c) = -290*c - 2355. Let v be y(-34). Is v at most as big as 7504?
False
Let b be 4/6 - 30720/(-36). Let t be (-7)/(3087/b) + 2. Is t less than -1?
False
Let j be (12/10)/(300/(-6932000)). Is -27728 greater than or equal to j?
True
Let j = -5 + 1. Let f be j/2 - (-48)/30. Let n be 72/8 + 518/(-7). Which is greater: n or f?
f
Let q = -260 + 260. Suppose -443 = 7*g - 5*g + 5*a, q = -2*a - 2. Is -218 at least g?
True
Let d(s) = 11*s - 124. Let a be d(11). Let j be a/(-6)*(-43 - -5). Which is bigger: -21 or j?
j
Let k be (-1)/2*(62 + -64). Which is smaller: -2745 or k?
-2745
Suppose 70 = -2*j - 2*p + 64, -3*j - 5*p - 15 = 0. Is 1/1230 equal to j?
False
Let t = 63.991 - -0.009. Let p = 64.1 - t. Let f = p + -0.4. Do f and -1/2 have different values?
True
Let a be (129 + -126)/((-6)/6212). Is -3105 > a?
True
Let c = -944/3817 - 1908791/11451. Suppose -4*k = 5*d + 823, 0 = -7*d + 6*d + 4*k - 179. Let x = c - d. Is x >= 1?
False
Suppose -3*b = -w + 3*w + 27, 4 = 4*b. Let k be w/6 + 2/(-4). Let i be 53/2 + (-4 - k) + 3. Is i equal to 30?
False
Let n be -22 + 1/(-2 + 27/12). Let p = 49 + -45. Suppose -c = -3*c + 5*q - 18, 0 = 4*c + p*q + 92. Which is smaller: c or n?
c
Let r = 82261109/3335 + -24666. Which is smaller: 1 or r?
r
Let p be (12578/114)/(188/(-117)). Let r = 275/4 + p. Which is greater: 0 or r?
r
Suppose -5*j = 5*x - 170, -17*j + 5*x + 68 = -15*j. Are j and 41 non-equal?
True
Suppose -5*a - 2*y + 668 = y, y = -3*a + 396. Suppose -3*c - 15 = 0, -7*b + 5*c + 670 = -2*b. Is a greater than or equal to b?
True
Let h = 9075 + -9115. Let m = 5 + -4.95. Let a = -0.05 - m. Is h at most a?
True
Let i(c) = -c**2 - 93*c - 1924. Let a be i(-62). Which is bigger: -7 or a?
a
Let o(z) = z**2 - 17*z - 83. Let w be o(21). Is 2173 at least w?
True
Let s = 581 + -234. Let i = s - 177. Is 171 bigger than i?
True
Let j(r) = 11*r + 50. Let s be j(-2). Let d be 1848/s*(-1)/3. Which is smaller: d or -116/5?
-116/5
Suppose -4*t + 4*f - 8*f = -4, 3*t + 5 = 5*f. Is -26/57 greater than or equal to t?
False
Let g = -32.2 + 12.2. Let m = 18.14 - 18. Let y = -2.14 + m. Which is smaller: g or y?
g
Let y = 10420.767 - 10430. Let o = y + 9. Is o > 0.1?
False
Suppose 0 = -4*z - 143 + 547. Let k = 107 - z. Is -6 >= k?
False
Let n be -12 + (3 - (0 - (-3 - -1))). Let r be (-22)/(-11)*5/2. Suppose -r*x = 4*j + 34, 4*x = -x - 3*j - 38. Which is smaller: x or n?
n
Let q be (5 + -3 - 3)*-18. Let p be q/(-81) + 146/9. Which is greater: p or -1/5?
p
Let w be (6 + (-33)/6)/(33/(-48)). Let t = w - -46/33. Which is greater: t or -81?
t
Let u = 62 + -11. Suppose -3*i - 8*b + 4*b = -48, 3*i - u = -5*b. Which is bigger: i or 13?
13
Let k(b) = -b**3 + 9*b**2 - 4*b + 39. Let r(j) = 11*j**2 + j - 1. Let z be r(-1). Let m be k(z). Which is smaller: m or -14?
-14
Let k(s) = 20*s - 77. Let d be k(4). Suppose -t + h + 4*h - 44 = 0, -159 = 4*t - d*h. Which is greater: -42 or t?
t
Let u(l) = 2*l**2 - 140*l + 902. Let r be u(63). Let s be (-2)/7 + (-142)/(-7). Is s < r?
False
Let g(z) = -3*z**2 + 9*z**2 - 8 + 7 + z. Let l be g(1). Let p(r) = -5*r**3 + 3*r**2 + 2*r - 1. Let u be p(-1). Is l smaller than u?
False
Let j = 1 + -1. Let m = j + 2. Let a = -125.2 - -117.2. Is a bigger than m?
False
Let i be (46/12)/(7/(-2)). Suppose 479*z = 380*z - 198. Is i at least z?
True
Let j = 13 - 9. Suppose -2522 = 7*y - 20*y. Suppose 2*l = 4*r - y, j*r - 147 = r + 3*l. Which is bigger: r or 49?
49
Let m be (-440)/12*6/674. Does m = -1?
False
Suppose -5*c = 2*v - 72, 5*c = 3*v + c - 85. Let l = v - 6. Suppose 5*g - 1 = 4. Is l bigger than g?
True
Suppose -22*k = 1416 + 1818. Which is smaller: -144 or k?
k
Let a = 0.733 + -0.653. Which is smaller: a or 45?
a
Let d be 42/126 + (-194)/78 + 2. Which is smaller: 32 or d?
d
Let s be (-144)/(-10)*10/(-51). Let d = 13712 + -13714. Which is smaller: d or s?
s
Let y = 210 - 212. Let r be (7/(-14))/(5/y). Let c = 17.4 + -0.4. Which is smaller: c or r?
r
Suppose 3*n = -3*o + 15, -3*o - n + 4 = -3. Let w = -26022 - -7702513/296. Is o equal to w?
False
Let c = -27/397 + 6433/1191. Suppose 2*z = 2 - 6. Let l be (4 + -2)*(-4)/z. Which is smaller: l or c?
l
Let k be (24/3 - 0)*(15 - 13). Suppose 0 = k*j - 19*j - 420. Is -139 at most j?
False
Let v(j) = -j**3 - 3*j**2 - 3*j - 1. Let c be v(-2). Let a = 591462 - 28978010/49. Let h = a + -74. Which is smaller: h or c?
h
Let w = -8766 - -7753.2. Which is bigger: w or 1?
1
Suppose 2*s + 1 - 3 = 0, 3*s - 33 = -5*b. Suppose b*o + 2*h = o + 9, -2*o - 5*h = -12. Let q = 6.1 - 4.1. Which is smaller: q or o?
o
Let o(v) = -34*v - 305. Let b be o(-9). Is 1/343 >= b?
False
Suppose 0 = 4*l - 5*r - 853, 5*r = 21*l - 25*l + 923. Which is smaller: l or 248?
l
Let o(m) = -23*m - 213. Let s be o(21). Let y be (4/6)/((-4)/4214). Let b = s - y. Is 5 less than b?
True
Let g be ((-12)/(-14))/((-35)/147). Let v(y) = 2*y**2 + 39*y - 343. Let d be v(-26). Are g and d equal?
False
Let h(a) = -a**3 - 2*a**2 + 13*a - 10. Let o be h(-13). Suppose 0*t - o = -14*t. Which is greater: 122 or t?
122
Suppose -19*a - 6*a = -400. Suppose 2*t + 0*l + 5*l - 31 = 0, 0 = 3*t - 5*l + a. Which is smaller: t or 2?
2
Let d be (-237)/(-100172)*(-88)/6. Which is bigger: d or 0?
0
Let l(h) = -h + 5. Let g be l(8). Let s be -9*((-2141)/30 - 9/(-18)). Let x = -640 + s. Is g greater than x?
False
Suppose -3 = -4*q + 3*k, 0 = -2*q - 203*k + 199*k - 4. Is q <= -2/5757?
False
Let p be 6 + -3 + 408/(-10). Let o = p + 3989/105. Let f be 45/35 - 4/14. Is f > o?
True
Let h = -273 - -282. Suppose -r + 8 = -h*r. Is r >= -4/51?
False
Let i = -3.1 - -3. Let m = 0 - i. Let q(y) = y**3 - 20*y**2 + 59*y - 781. Let t be q(19). Which is smaller: t or m?
t
Let s = -45822 + 45800. Which is greater: -120 or s?
s
Let d be ((-2)/(-5))/(2/(-58)). Let i be (-1 + (-3)/(-9))*216/(-16). Suppose i*w = -32*w - 451. Is d at least as big as w?
False
Let p(k) = -k**2 + 3. Let a be p(2). Let w be 21/(5 + a + -3). Let g be (w/(-9))/(2/6). Which is greater: g or -0.1?
-0.1
Let a = 23 - 23.37. Let l = a - 0.12. Let q = l - 5.51. Is q >= 0.5?
False
Let p = 325 - 325.612. Let c = 4.388 - p. Which is smaller: -1.2 or c?
-1.2
Let n = 1932679/8 + -241244. Are n and 340 nonequal?
True
Let n = -17.8 - 0.2. Let p = n - -17.85. Let s = -424 + 424.1. Does s = p?
False
Let d = -39 + 55. Suppose -2*m = -v - d, v + 0*m = -4*m - 10. Let n(o) = -o + 3. Let y be n(v). Which is bigger: y or 15?
y
Suppose -50*u + 6*o = -47*u - 3, -5*o = 2*u + 7. Is -927 bigger than u?
False
Let x be (-8)/52 + 500/3588. Let o(y) = -4*y - 19. Let k be o(-7). Suppose -k*i = -12*i. Which