ch is greater: 16 or b?
16
Let d be ((-1005)/198 + 5)*(-186)/20. Which is smaller: d or 0?
0
Let y = 1979 - 1932. Is y less than 33?
False
Suppose -5*a + 4*o + 151 = 0, 0*a - 3*o + 65 = 2*a. Suppose -2*z - 3*b - 504 = 0, 5*z = -34*b + a*b - 1269. Which is bigger: -256 or z?
z
Let c(s) = 14*s - 6. Let b be c(7). Let w be (102 - 95)/(0/3 - 2/(-26)). Is w < b?
True
Suppose 46*j = 62*j - 208. Is 22 > j?
True
Let c = 0.02918 - -1662.97082. Are 2 and c unequal?
True
Suppose 1084*o = 1090*o + 48396. Let u be o/(-888) + 1 + -10. Suppose -t - 3*c = 11, 2 - 9 = 5*t + 3*c. Which is greater: t or u?
t
Let r be (5 + -1)*(11 - (-370)/(-40)). Let p be (-128)/69 + -5 + r. Which is smaller: p or 1?
p
Suppose 1750 = 8*a + 1638. Let r be (-2)/((-10)/a*(-72)/180). Let b(n) = -6*n**2 - 2*n + 1. Let f be b(1). Is f equal to r?
True
Let j = 2201 - 836. Let c = j + -1364.297. Let q = c + -0.003. Which is smaller: q or 1/2?
1/2
Let h = -0.3 - -0.2. Let f = 75 - 69.07. Let s = -37.07 - f. Does h = s?
False
Let w = 1606201/72 - 22308. Is w > 0.1?
True
Let m = 314 - 220. Let q = -287 + m. Which is smaller: q or -194?
-194
Suppose -2020 + 4323 + 11501 = 29*l. Is l less than or equal to 471?
False
Suppose 0 = i - 2, -36*m - 5*i = -41*m - 8720. Is -1741 greater than or equal to m?
True
Suppose a + 13 - 32 = 0. Suppose 0 = -l + 3*c - 17, -3*c + 0*c = -2*l - a. Let p be l/(-1) + -1 + 0. Which is smaller: 0 or p?
0
Suppose 31*x + 21631 = -48*x - 203361. Which is greater: x or -2849?
x
Let c be 1 + (2 - 21/9). Let o be -1 + 7 + 144/(-80)*4/(-12). Which is smaller: c or o?
c
Let m be (-482)/((-3298)/546 - -6) - -6. Let b = -11952 + m. Which is greater: 17 or b?
17
Suppose 85*y = 87*y - 28. Let r be (-153)/357 - 750/y. Which is smaller: r or -56?
-56
Let n be 3 + 0/(7/((-21)/(-6))). Suppose -d + n = 0, 4*c = -0*c + 4*d - 12. Let v be (-250)/(-35) - 4 - (2 + c). Are 0 and v non-equal?
True
Let z = -591.9 - -592. Suppose -15 = -3*h + 5*f, 7 = -5*h - 2*f + 1. Suppose h = -5*j + 11 - 1. Which is smaller: z or j?
z
Let n = -66909/344 - -1553/8. Which is smaller: 1 or n?
n
Let t(h) = -h**3 - 29*h**2 - 28*h + 20. Let c be t(-28). Let p be ((-2)/(-8) - (-5575)/c)*-1. Let n be (9/(-2))/(p/(-96) - 3). Is n at least as big as 47?
True
Let d be ((-495)/44)/((-39)/14768). Is 4261 less than d?
False
Let i(y) = y**3 + 17*y**2 - 16*y + 39. Let q be i(-18). Suppose -9*r - 3*z + q = -6*r, -5*z = -20. Which is smaller: r or -8?
-8
Let p = 315 - 315.06. Is -0.019 equal to p?
False
Let f(p) = 3 + 7 - 6 + 11 + p. Let d be f(-12). Let i be 7 + -3 + 1 - (4 + -1). Is i less than d?
True
Let h be -2 + (49/7 - 3). Let i be h/20 - 147/(-630). Is i greater than or equal to 2/51?
True
Let o be 0 - -3 - 7602/2709. Which is smaller: 0 or o?
0
Let b = 34305 - 34347. Let i = -0.1 - -0.1. Which is smaller: b or i?
b
Suppose 0 = -2*u + 2*a + 14, -4*u + 27 = -6*a + 3*a. Let m be 3/u*-10*5. Let r be m/(-20)*2/5*0. Which is smaller: 1/9 or r?
r
Let i = 16 - 11. Let p = i - 6. Let b = 18269/4 + -4568. Which is bigger: b or p?
b
Let n(c) = -2*c**2 - 12*c - 2. Let i be 24/(-5) + (5 - 26/5). Let z(y) = y**2 + 6*y + 2. Let u(v) = i*z(v) - 2*n(v). Let l be u(-5). Is l > 7?
False
Let g = -71757 + 644855/9. Let r = g + 33494/315. Which is greater: r or 1?
1
Let u = -22 + -2. Suppose -q + 5*y + 23 + 0 = 0, -163 = -5*q + y. Let w be q/(-99) - ((-8)/6 + 0). Which is smaller: u or w?
u
Let q = -16195 - -16195. Is q < -6/2131?
False
Suppose -468*o = -452*o - 87760. Is -2/3 at most o?
True
Let w(n) = -n**3 + n**2 + 14*n - 6. Let u be ((-4)/12)/((-5)/15). Let t(g) = g**2 + g - 1. Let a(r) = u*w(r) + 5*t(r). Let s be a(8). Is s > 12?
True
Let d(o) be the second derivative of -2*o**3/3 + 7*o**2 + 3*o + 4. Let i be d(5). Is i >= -9?
True
Suppose l + 2*a = 8 - 0, -2*l = 2*a - 10. Let j be 1/(l + -3) + -42 + 1. Let i = j + 43. Is i > 1?
False
Suppose -4*z - 5*j = -15, 10*z - 5*j = 9*z - 15. Is 4/1597 at most z?
False
Suppose 612*n = 584*n - 28. Let t be (-3)/(-3) - (-22)/(-25). Which is bigger: n or t?
t
Suppose -3*v = -v + 10. Let h be 144 + v + 10 + 2. Are h and 150 equal?
False
Let a be (-6)/28*4/12. Let p = 680.0019 - 680. Let g = p + -0.0019. Is g >= a?
True
Suppose -4998 + 688 = 10*v. Are -432 and v non-equal?
True
Let x(g) = g**2 + 5*g + 7. Let m be x(-5). Suppose 0 = 3*f + 78 - 57. Let h be -3 - (51/f + -2). Which is smaller: h or m?
h
Let c be (-12)/(-2196)*2940/56. Which is greater: 1 or c?
1
Suppose 4*q + 76 = -4*m, 4*m = 3*q - 0*m + 43. Let r be 4/(-14) - (-748)/(-28). Is q >= r?
True
Let d be (-55)/(-20)*(-4)/(-5). Let m = d - 2. Let o = m - -1/45. Which is smaller: -1 or o?
-1
Let r(h) = 149*h**2 - 15*h - 16. Let i be r(-12). Let b = i + -453916/21. Let q = -10462/2121 + b. Which is smaller: q or 0?
0
Let d be (154/(-99)*(-6)/(-7))/(6/1). Do d and -0.228 have different values?
True
Suppose 2*f + 6 = 4*q, -q + 31 = 3*f + q. Let s = -21 - f. Let n be 2/(-6) - 344/12. Is s greater than or equal to n?
True
Let k = -1616 + 2334. Suppose -3*u - 231 = j, -25*u = 3*j - 21*u + k. Is j at least -245?
False
Let w = -415.741 - -414.8. Which is smaller: w or 0.2?
w
Suppose h - 5 + 9 = 0, -2*h = -5*f + 23. Let r be f + -4 + 4 - 3/(-1). Is r at least 0.3?
True
Let u = -0.96323 - 0.03677. Which is smaller: -0.0976 or u?
u
Let t be -1 + 47/21 + (-76)/133. Which is smaller: t or 0.039?
0.039
Let w be (-6)/(-4)*(11 - 9). Suppose -5*m + w = -2*z - 12, 3*m - 9 = -3*z. Let c(h) = 96*h**3 - 1. Let f be c(-1). Which is greater: f or z?
z
Let z(u) be the first derivative of 3*u**2 + u - 52. Let w be z(-4). Is -20 < w?
False
Let w(s) = s**2 - 4*s - 19. Let j be w(5). Let p be (9/(-12))/((-3549)/j). Which is bigger: 0 or p?
0
Let g be -2*((-132)/32 + 4 + (-3219)/296). Let f(l) = l**2 - 7*l + 7. Let p be f(6). Is p equal to g?
False
Let w = -138 - -168. Suppose -71*z - w = -70*z. Does z = -30?
True
Let g be (-1 + 3)*4/(-2). Let n(q) = -q**3 - 17*q**2 + 17*q - 18. Let i be n(-18). Suppose i*v + 3*v + 15 = 0. Which is bigger: g or v?
g
Let v = 2211/4 + -50749/92. Suppose -71 = -108*a + 37. Is v not equal to a?
True
Let r = -7084 - -589. Is 0 < r?
False
Let u = 13.8 - -26.2. Let d = u + -39.98. Which is smaller: d or 12?
d
Let v be (6/45)/(4/(-69)). Suppose x - 4*o = 1, -2*o = 4*x - 17 + 31. Is x greater than v?
False
Let u be (9 - (-4)/((-20)/35)) + -57*43. Which is smaller: u or -2451?
-2451
Suppose 1 - 3 = -2*g - 4*w, -4*w + 12 = 0. Suppose 5*q + 2*i = 5, -3*i + 3 = -4*q + 7. Let j be -5*q*(3 + -2). Is j < g?
False
Let c be 6 + (-825)/10*4. Let v = c + 372. Which is greater: 47 or v?
v
Suppose 0 = -5*f + 49 - 19. Let p be (-180)/(-24) + f/(-4). Suppose 4*a - 29 = -5*y, -a - y = -p - 0. Which is smaller: a or -8?
-8
Let v = 11785 + -11788. Is v less than -2.085?
True
Let a = 11.211 + -11.191. Which is greater: a or 121.3?
121.3
Let w = 7475 + -7478. Is w not equal to 54.7?
True
Let f be (0 - 0)/(3 - 1). Let l be ((-5)/4 - -2) + (-99324)/(-48). Let o be (10254/l - 5) + (-4)/(-30). Which is greater: f or o?
o
Let l be (-16)/184 - 3710/(-2990) - (0 + 2). Which is smaller: l or 2.3?
l
Let q(u) = 3*u**2 - 137*u + 62. Let j be q(45). Let n be (-52)/j + (-6 - (4 - 5)). Is -1 not equal to n?
True
Let b be (-55)/(-22)*4/5. Let d be 28/3 + 1*(-2)/(-3). Let f be (38/d)/((-21)/15 + 3). Which is smaller: b or f?
b
Let j(p) = 328*p - 5896. Let u be j(18). Let q = -7/1054 + 103383/13702. Is q at least u?
False
Let n = 9077 - 9209. Which is smaller: -125 or n?
n
Suppose 2*d = -3*d + 1140. Let q be 116*2 + ((-6)/93 - (-5508)/(-1116)). Is d less than q?
False
Let u be -89*10/45*(-23)/(-46). Is 2/11 bigger than u?
True
Let p = -6353 - -6354. Is p < 32/25?
True
Let s = -9786 + 9786.3. Which is smaller: 1643 or s?
s
Let f be ((-4)/8 - 0)*-2. Let x be -1 + (-3 + f)/2. Let b(w) = w**3 + w**2 - 3*w - 1. Let i be b(x). Which is smaller: i or 1/2?
1/2
Suppose 2*a = 6*a + 5*i - 50, 4*i - 52 = -4*a. Suppose 39*d = a*d. Which is bigger: 2 or d?
2
Suppose -8*l = 174 - 182. Suppose -9 = 2*q - 3, 4*m - q = -l. Let u = 4/1535 - -5864/105915. Which is smaller: m or u?
m
Suppose 15*v = 19*v. Suppose v = l - 0. Let a(r) = -28*r + 85. Let m be a(3). Which is bigger: m or l?
m
Let g be 135/1512 + 6/(-16). Let s = 6.24 + -6. Let d = s + -0.1. Which is bigger: g or d?
d
Let m be ((-108)