1)/(-10)*-1). Let k be (-3)/(1/(8 + (2 - n))). Is k less than or equal to -3?
True
Let s = -137045 - -793901683/5793. Does -1 = s?
False
Let x(o) be the second derivative of o**4/12 + 5*o**3/6 - 21*o**2/2 + 11*o. Let w be x(-9). Let l be (-4)/(-3) + (-23)/w. Which is smaller: l or -6?
-6
Let f(b) = 4*b**2 + 2*b - 17. Suppose -54 = -24*y + 6*y. Let w be f(y). Is w greater than or equal to 214/9?
True
Let g = -2618 - -2703. Let m = 197 - 96. Let r = m - g. Is 17 not equal to r?
True
Let l(n) = n**2 + 172*n + 7381. Let w be l(-90). Suppose 13 = g - 2*g. Which is bigger: g or w?
w
Let k(y) = -26*y**3 + y**2 - 2*y - 2. Let j be k(-1). Let h(a) = -a**3 + 28*a**2 - 28*a + 32. Let f be h(j). Which is smaller: f or 7?
f
Let p = 1865 - 1004. Suppose 14*z + 287 + p = 0. Which is bigger: z or -84?
z
Suppose 4*w = -5*u - 102 - 25, 7*w + 276 = 2*u. Which is bigger: -183/5 or w?
-183/5
Suppose 1225*j - 1230*j + 20 = 0. Let s be (-792)/(-36)*3*j/6. Are s and 45 non-equal?
True
Let p = 0.28 + 2.39. Let a = 118.33 + p. Is a bigger than 2/7?
True
Let q = -0.61812 + 36.14112. Let f = q + -0.523. Is f at least as big as -9?
True
Let u = 434650651761/1920592 - 83289079/368. Let n = 2/5219 + u. Suppose 15*b - 5*b + 190 = 0. Is b != n?
True
Let v = 298 - 297.59. Is 14/11 greater than or equal to v?
True
Let x(y) = -y**3 + 6*y**2 + 2*y + 34. Let f be x(7). Does f = -17/295?
False
Let x = -0.14694 - 1.05736. Let h = x - -0.0043. Which is smaller: -3 or h?
-3
Let g = 80 + -41. Let k = g + -37. Suppose -h = -r + 1, 0 = -2*h + k. Which is bigger: 15 or r?
15
Let d = -5285 - -10255/2. Let v be (147/294)/((-2)/628). Which is smaller: d or v?
d
Let q = -15610/3 + 5006. Is -196 <= q?
False
Let z = 26 + -65. Let r be 1/((3/(-1))/z). Let u be 18 - (15 - (-50)/(-5)). Is u smaller than r?
False
Let c be (-603218)/(-385) - (-1)/5. Which is greater: 1564 or c?
c
Let z(n) = -18*n + 180. Let c be z(0). Suppose 614*y - 618*y = c. Which is smaller: -137/3 or y?
-137/3
Let g = 26 + -20. Let h be (-1)/g + 2595/(-90). Let v = 727 + -756. Do v and h have different values?
False
Let a(p) = -p**3 - p**2 + 16*p - 4. Suppose -24*v - 15 = -21*v. Let n be a(v). Is 21 at most as big as n?
False
Let d be (4 - (-4)/(-1))/3. Let s = -5/108 - -313/8316. Is s greater than or equal to d?
False
Let g = 35 + -11. Let s be (40/g)/(1 - 5). Is -2/7 greater than or equal to s?
True
Let p = 1 + -2. Let a = 0.7 + p. Suppose 30 = 2*k - 4*x, 3*k + 2*x + 2*x = -5. Which is smaller: k or a?
a
Let v = -0.02302 - -82.02302. Do 4/11 and v have different values?
True
Suppose -2*x - 3*u - 411 = 0, -4*x + 133 = 3*u + 946. Which is greater: -200 or x?
-200
Let g be (-210)/(-90)*1282/1799. Let o = -1/257 - g. Which is smaller: 1/3 or o?
o
Let t(q) = 24*q**2 + 108*q + 131. Let y be t(-5). Suppose 0*d - d + 192 = 0. Which is smaller: y or d?
y
Suppose i + 2 = 3*i. Let k = -33.17 - -14.2. Let c = -19 - k. Is c at most as big as i?
True
Suppose 0 = 5*f - 15, -3*f = 5*p + 2*f - 1490. Let o be p/(-3)*192/(-160). Which is smaller: o or 119?
o
Let y(u) = 2*u**2 + 12*u + 1. Let d be 12/(-7)*(7 + (-21)/6). Let s be y(d). Let z be 3/(-2)*(-8)/606. Which is greater: s or z?
s
Let j be (-16 + (-2709)/(-168))*16/(-2). Is j >= -9/301?
False
Let q(w) = -41*w - 2064. Let z be q(-51). Is z greater than -40?
True
Suppose -4*k + 49 = 3*k. Suppose -4*d = 4*r - k*r - 109, 0 = -2*d - 4*r + 60. Which is smaller: d or -1/3?
-1/3
Suppose 0 = -5*s + 3*v - 5*v + 91, -63 = -3*s + 3*v. Let l be 37 - ((s - -1)/4 - 3). Is 37 at least l?
True
Let r = -51 + 29. Let b = -13.1 - -35.1. Let t = b + r. Which is greater: -4.2 or t?
t
Suppose j = 6, 415 = 2*p + 3*j - 249. Suppose -f = -2*x - 329, -3*f - 6*x + 2*x + 957 = 0. Is p less than f?
False
Let b = 154/1215 + -4261/4860. Let p = -18.96 + -0.04. Let h = -13 - p. Which is bigger: b or h?
h
Let m = 0 + 3. Suppose -m = -2*n + 5*n. Let i = -4240 - -4242. Which is bigger: i or n?
i
Let c(j) = j + 4. Let w be c(-2). Let m be (1 - 0)/(w + 1215/(-610)). Which is greater: 121 or m?
m
Let c = 2/1121 - 12451/67260. Let f = c + 7/12. Which is bigger: 67 or f?
67
Let y = -89066/45 - -1980. Let k = 4096/5445 - y. Let l = k + -216/7865. Which is smaller: l or 1?
l
Let m(z) = -44*z + 214. Let s be m(5). Let v be (-136)/(-32) + 1/(-4). Let d = -9 + v. Which is bigger: d or s?
d
Let w be 9/6 + (-2466)/(-36). Suppose w = 4*j + 14. Let u(z) = z**2 + z - 2. Let g be u(-4). Which is smaller: g or j?
g
Let r = -340 + 341. Let f be (-9)/9*r/3. Which is greater: f or 23?
23
Let o = -180355/3 - -1243651/21. Is -896 at most as big as o?
False
Let g be ((-110)/(-15) - 9)*(-16 - 460/50). Suppose -4 + 24 = -5*d. Let u be (-8 + -3)*d/1. Which is bigger: g or u?
u
Let x = 846 + -972. Let y = -0.17 - -118.17. Let w = y + x. Which is bigger: w or -0.3?
-0.3
Let b be (3 + -5 - -1)*-1. Let h be (-6)/27 - ((-2220)/27 + 0). Let u = -70 + h. Which is bigger: b or u?
u
Suppose 0 = 7*o + b + 163, o + 8*b - 13*b + 49 = 0. Let g be (2/6)/((-5)/(-30)). Is o at most as big as g?
True
Let v be ((-1)/(-1))/1 - (4 + -7). Suppose -3 = c + v*n, 4*c - 3 = 5*c + 2*n. Suppose 3 = -2*l - 13. Does l = c?
False
Let q = -11 + 7. Suppose -2*f - 5*g - 130 + 79 = 0, 9*f - 2*g = -58. Is q equal to f?
False
Let q = -22193/3 + 9413. Are q and 2016 non-equal?
True
Let n = -991 + 999. Let k be (n - (-111)/(-2))*2. Which is smaller: k or -660/7?
k
Let y = 4268 + -21338/5. Is -37 <= y?
True
Let a be ((-7)/(-9506))/(1/4). Let h = -25045 + 25046. Which is smaller: h or a?
a
Let y be (-3)/39*(7 - 203/28). Suppose s = 2*k, -k = 3*k - 3*s - 2. Do k and y have the same value?
False
Suppose i = -5, 12*s - 5*i - 298 = 9*s. Which is greater: s or 52?
s
Let j = -7 - -9. Let h(s) = -2*s**3 + 2*s**2 + 3*s - 4. Let c be h(j). Let n be (-46)/4*-1*(4 + c). Which is smaller: n or -1?
n
Suppose 29*i + 330 = -4*i. Let w be ((-4)/i)/(4/520). Do w and 55 have the same value?
False
Let r be 9/2 + 360/(-48) + 0. Is 0.2564 less than or equal to r?
False
Suppose -12*t + 2903 - 3011 = 0. Which is greater: t or -116?
t
Let a(d) = 52*d + 2407. Let u be a(-15). Which is smaller: 1626 or u?
1626
Suppose 0 = 3*d - 4*q + 29, 3*q + 2 = -10. Let v be d*(-2)/3*2. Let g be ((-6)/v)/((-12)/(-10)). Which is bigger: g or -1/20?
-1/20
Let f be -3 + (12/3 - 3). Let x be -2 + (-68)/2 - f. Let q be (-9 - -11)/((-8)/132). Which is bigger: q or x?
q
Suppose -11895*k = -1927*k + 3909*k + 27754. Let b be (-13)/3 - 2/(-6). Let w be 106/(-115) - b/10. Which is smaller: k or w?
k
Let a = 2.7 + 0.12. Let p = a + -1.82. Let s be 52/25 - (3 - 1). Which is greater: p or s?
p
Suppose 154*v - 151*v = 9, 0 = -5*z + 2*v + 959. Which is smaller: -7 or z?
-7
Suppose 2*j = 4*j + 12. Let g = -125 - -128. Suppose -13 + g = a - 4*v, -5*a - 34 = -4*v. Is a equal to j?
True
Let h = 21 - 13. Let y = -62821.4 + 62818.4. Do h and y have the same value?
False
Let r be (-7)/1121736*106796 + 2/3. Which is bigger: r or -1?
r
Suppose -3*u = -3*v - 12, 2*v = -5 - 3. Let r = 10465685/594 + -17619. Does r = u?
False
Let x = 2114 - 376293/178. Let p = -361/890 - x. Is p >= -128/7?
True
Let x be 928/(-12) + 4/(-6). Let a(w) = -w**3 + 62*w**2 - 166*w - 729. Let m be a(59). Which is smaller: x or m?
m
Let n be 5 - 0/(4/(-4)) - 15. Let s = -1/1141 - 44495/4564. Which is smaller: n or s?
n
Let g = -1.256 - 18.744. Is 1.25 less than or equal to g?
False
Let m = -160.62 - -0.62. Let d = m - -160.2. Which is bigger: d or -34/9?
d
Let m = 6981 + -1193747/171. Is m < -2/5?
False
Suppose 79*z - 80*z = 462. Let q = 461 + z. Is q bigger than -1/65?
False
Let h(l) = -l**2 + 2*l + 1. Let b be ((-1)/2*-2)/(47/94). Let f be h(b). Suppose -4*q - 3 = f. Is -3/11 less than or equal to q?
False
Let d = -1 + 3. Let r = -581 + -386. Let j = -966.91 - r. Is d bigger than j?
True
Let d = -6 + 6.3. Let k = 2.767 - 3.04. Let g = k + 11.273. Does g = d?
False
Suppose k - 6*w + 171 = -10*w, -4*k - 666 = -2*w. Is -333/2 at most as big as k?
False
Let d(u) = -12*u**2 - 50*u + 6. Let n be (10/30)/(1/15) + 0. Let b be d(n). Is -545 equal to b?
False
Let k = 210 + -141. Let s be (192/30)/(-4)*(-85)/2. Which is greater: k or s?
k
Let z be 8078/(-3)*30/(-105). Which is bigger: z or 769?
z
Let d(n) = -654*n + 1008. Let i be d(3). Which is smaller: -955 or i?
-955
Let a = 21 + -