((-28)/21896). Let j be 84/(-714) + 1015/k. Is 3 at most as big as j?
False
Let q be (-8)/(-76) - (5 + 8748/76). Which is bigger: -122 or q?
q
Let d = 526 + -539. Let m(u) = -u**3 - 14*u**2 - 11*u + 21. Let o be m(d). Do -3 and o have the same value?
False
Let h = 28658 - 28666.5. Let z = 2 - 2. Which is bigger: h or z?
z
Suppose 0 = 4*i - 26 + 66. Suppose 4*k + 11 = 5*m - 29, 5*m + 5*k - 40 = 0. Let p be 20*m/(-1)*(-10)/(-180). Which is bigger: i or p?
p
Let h = -25631 - -25983. Which is greater: h or 8/7?
h
Let k be 14/35 + (-2 - (-396)/10). Let b be (-1)/(((-2)/(-14))/(k/14)). Which is greater: -145/8 or b?
-145/8
Let c(s) = 9*s - 18. Let j be c(4). Let q be -2*6/j + 1/(-3). Do -4/19 and q have different values?
True
Let x = -1217584/261567173 - -22/62531. Which is smaller: x or 0?
x
Suppose 3*g + 52*g - 8 = 47. Let o = -69 - -15457/224. Which is smaller: o or g?
o
Let c(u) = 7*u**2 - 8*u + 1. Suppose 7*m = 9*m - 8. Let a be c(m). Let h = -80 + a. Is h at least as big as -1/48?
True
Let j(z) = -27*z + 17. Let p = -52 + 46. Let q be j(p). Let r be (-6)/(-27) - (q/36 + -5). Which is smaller: r or -0.31?
-0.31
Let h(k) = -k**3 + 44*k**2 - 37*k - 289. Let x be h(43). Which is bigger: x or -187/6?
x
Let f(d) = -8*d - 41. Let h be f(-5). Let t be (4 - 0) + (2 + -1)*h. Which is bigger: t or 13/8?
t
Let w = 282/19 - 808/57. Which is smaller: w or 29/49?
29/49
Let n be ((-760)/(-16))/(30/504). Is n not equal to 801?
True
Let y = 124.073 + -0.073. Let k = 19 - y. Is k not equal to 1?
True
Let n = -75184/10032105 - 2/37857. Is n bigger than 2/17?
False
Suppose 0 = -125*r + 48*r + 6491 - 1101. Are -1 and r equal?
False
Let y be (45 - 31)/(4/46). Let q be (y/(-28) + 10)*12. Suppose -3*o + 164 = -4*t, 126 + 22 = 3*o + 4*t. Is q less than or equal to o?
True
Suppose 44*j - 3378 = 4322. Is j less than -0.007?
False
Suppose 5*d - 4*w = -362, 3*d = 5*w - 4*w - 213. Let a(t) = t**2 + 14*t - 84. Let z be a(-15). Is z <= d?
False
Let n(u) = -8*u + 24. Let t be -14*((-3)/(-6)*1)/(-1). Let d be n(t). Is -19 bigger than d?
True
Let u be 1/((-1)/(200/(-1410))). Is u < -1?
False
Suppose -70*f + 66*f = -k - 36384, -2*k = 2*f - 18182. Are f and 9095 equal?
True
Suppose 0 = 4*n + 12, -2*u - 3*n + 577 = 2176. Which is bigger: -798 or u?
u
Let x be (-4600)/69*12/(-8). Is x <= 97?
False
Let a = -5684.33 + 5730. Let f = 1.67 - a. Is f equal to -2?
False
Let i = -3319/2210 + 2/1105. Which is smaller: -284 or i?
-284
Let q = -28 - -32. Suppose c + 2 - 5 = -q*g, 5*g - c = 6. Which is bigger: g or 8/157?
g
Suppose 6*w + 2*w = 64. Suppose 0 = -2*s + 6, -4*u + w = -3*s - 3. Suppose 0 = -3*t + 152 - u. Is t at least as big as 50?
False
Let d = 42.26 + -42. Let w = d + -0.56. Let m = -2.63 - 1.37. Are w and m equal?
False
Let m = -190.1016 + 190. Which is bigger: 0.01 or m?
0.01
Suppose -3*f + 4*r + 773 = 0, 6*f - 2*r = f + 1307. Let u = -19955 - -20218. Is f <= u?
True
Suppose 15*s - 17145 = -16830. Is s less than or equal to 18?
False
Let j = -304 - -347. Suppose -2272 = 11*p - j*p. Is p less than 69?
False
Let b = -0.295 + 0.311. Let h = b - -0.074. Which is smaller: 0.9 or h?
h
Let y = 11734 + -12442. Which is bigger: y or -709?
y
Let q = 3597.757 - 3598. Is q <= 7?
True
Let s be (12352/(-320) - (-2)/(-5)) + -2. Is -335/8 less than s?
True
Let j = -117 - -120. Let x = 35 + j. Is 38 greater than x?
False
Suppose -859*p - 90630 = -973*p. Which is bigger: -1 or p?
p
Suppose 0 = -d - 3*d - 24. Let b be 16/(-3)*((-1855)/455 - -5). Is b greater than d?
True
Let r be -4*(102/170)/(24/10). Which is smaller: r or 20/133?
r
Let c = 223 - 228. Let b be c/(-5) + 1 + 2 + -5. Is -1/372 > b?
True
Let q = -10415 + 10400. Is q at least -235/16?
False
Let s = 0.221 + 1.479. Let j = -1.54 + s. Let q = 789/4400 + 1/400. Which is smaller: q or j?
j
Let g = 48025/74 + -649. Let u(p) = -p**3 - 3*p**2. Let y be u(-3). Suppose k + y*k = 0. Are g and k non-equal?
True
Suppose 35*u - 360 = 29*u. Suppose 150*i = 152*i + u. Is i at most as big as -30?
True
Let c = -209 + 209.28. Let u = -96.28 - -94. Let n = c + u. Are -2/11 and n nonequal?
True
Let o = 282 + -265. Suppose -37*x = o - 868. Suppose 0 = q + 4*q - 2*w - 115, -5*w = q - 23. Is q < x?
False
Let o = -2688540/11 - -244594. Is 182 smaller than o?
False
Let x be (12/(-18))/(3/9). Let k = 29/36 - 443/36. Does k = x?
False
Let r be ((12/12708)/((-63)/108))/(1/1). Which is smaller: 1 or r?
r
Suppose a - 3*p = -30, -3*a + 0*p - 65 = -4*p. Let h = -8.15 + 3.15. Which is bigger: a or h?
h
Let g be ((-294996)/(-147529) + (-2)/1)*-2. Does 0 = g?
False
Let w = 6633 + -6633. Which is smaller: w or 387?
w
Let y = 5474 + -5477. Is -10.6 at least as big as y?
False
Let w(r) = -9*r**3 - 3*r - 2. Let p be w(-1). Let u be (-312)/((-16)/4) + 6/(-2). Let d be (-4)/p*u/(-3). Which is bigger: 9 or d?
d
Let a(z) = -25*z - 27. Let j be a(-1). Let l(x) = 13*x + 20. Let i be l(j). Do i and -37 have different values?
True
Suppose -f + 97*y - 4984 = 100*y, -y + 4 = 0. Do -4996 and f have the same value?
True
Let i = 789 + -1192. Let y = 428 + i. Which is smaller: 121/5 or y?
121/5
Suppose 0 = -782*i + 746*i - 9612. Suppose 3*h + 2*n + 808 = 0, -1066 = 2*h + 2*h - 3*n. Which is bigger: h or i?
i
Let s(y) = 58*y**3 - y**2 + y + 1. Let d be s(-1). Let n be ((-95130)/(-75))/(-21) + 4/10. Is n > d?
False
Let h = -136.92 + -0.08. Let m = h + 137.24. Is m > 2?
False
Let c(p) = -45*p + 2. Let o be c(1). Suppose 655 - 225 = -10*h. Is h equal to o?
True
Let y(x) = 174*x - 5. Let q be y(-1). Let o be ((-179)/(-2))/(12/(-24)). Is q at most as big as o?
True
Let j be 32/((-5)/(-2) - 3). Let h = -104 - j. Let n(s) = -53*s - 253. Let q be n(-4). Which is smaller: q or h?
q
Let h = -2030 + 2029.5. Which is bigger: h or 2.8?
2.8
Suppose 0 = 3*k + 4*x - 17, 5*x - 1 - 21 = -4*k. Suppose 2*c - 32 - 56 = 4*p, -44 = -c + k*p. Is c greater than -1?
True
Let c = -9953.3 - -9953. Which is greater: c or -117?
c
Let z = -2314355615/23022 + 100528. Which is smaller: z or -1?
-1
Let l = 0 - 1. Let j be -2 + -4*(9/6 + l). Let m be (8/(-232))/(2/j). Is 1 bigger than m?
True
Let b = -225 + 222.31. Let a = b - -31.69. Which is smaller: 3 or a?
3
Let w = 0.96 - 1. Let k = 55348/9 + -6150. Which is bigger: k or w?
w
Let s be 4 + (-4 - (6 - 14))/(26/(-1438)). Which is smaller: -218 or s?
-218
Suppose -3*v - 3*j + 1 = -4*j, 27 = v + 5*j. Suppose -2*r + o + 8 = 0, 5*r = -o - 0*o + 6. Suppose -r*a = v*a. Is 1/36 >= a?
True
Suppose 0 = -4*c + 4, 6*c - 5*c - 10 = -3*z. Suppose 2*k + i = 12 - 1, 2*k = z*i - 1. Which is smaller: k or 6?
k
Let f = -0.22 - 32.78. Let r = f - -24.8. Let g = r - -8. Which is smaller: g or 0.1?
g
Suppose -1459 = 10*a + 2591. Do a and -1 have different values?
True
Let v = 7401 + -7400. Which is greater: v or 75?
75
Suppose 362 - 110 = -7*z. Let n be (2 - z/(-63))/((-1)/7). Is n > -18?
True
Let k be 30*16/160 + (-4614)/1534. Which is bigger: 1 or k?
1
Suppose 5*l - 11 = r + 3*r, -3*l + 3*r + 9 = 0. Let n(q) = -133*q**2 - 3*q - 2. Let c be n(l). Let u be (-93)/c + 1/(-4). Which is smaller: -1 or u?
-1
Let i = -1030321 - -1030320. Let q = -72 - 6. Let b be q/172 - (-3)/6. Which is smaller: b or i?
i
Let q be 4*7/(1400/(-148870)). Which is smaller: -2978 or q?
-2978
Let c be 43/(2 + (4/10)/(60/(-250))). Which is greater: c or -15?
c
Let g = -417.38 + 70.08. Let y = -347 - g. Are -14 and y equal?
False
Let w = -98 + 157. Suppose -w = -v - 58. Let t = -4 + 11. Which is bigger: t or v?
t
Let g(v) = 1023*v - 1745. Let d be g(5). Which is bigger: d or 10109/3?
d
Suppose 0 = 4*a - 9*a - 30. Let y = -2197/10 + 441/2. Which is smaller: a or y?
a
Let x(m) be the first derivative of -3*m**2/2 + m - 2. Let v be x(5). Let h = -1918 - -1905. Which is bigger: h or v?
h
Suppose 17*l + 17*l - 6 = 28. Let z be (1 - -2)*(-26)/(-138). Is l at least as big as z?
True
Let w = 8040 - 8011. Is -29 < w?
True
Let v = 39.03 + -48.4. Let p = 8.37 + v. Which is smaller: p or -6/43?
p
Let g(y) = y**3 + 2*y**2 + y - 125. Let t be g(0). Let d = t - -85. Is -41 > d?
False
Let q(l) = 634*l**2 - 137*l - 405. Let a be q(-3). Which is smaller: a or 5711?
5711
Suppose -10*m = -3*m + 4*m. Suppose 27*c - 125 = 31*c + 5*d, m = -5*c + d - 120. Let k be (-342)/15 + 2/(-10). Which is smaller: k or c?
c
Let z = 0.2271 - -0.0429.