11. Let p be b(-6). Which is bigger: p or 1/69?
1/69
Let s be (-2094)/(-22) + 28/(-154). Let n = 106 - s. Suppose 0 = -3*b - 3*h + 24, -2*h - n = -5*b + 8. Do b and 10 have the same value?
False
Let h = 10577/5 - 21363/10. Let f = h + 41/2. Let a = f + 83/20. Is a at least as big as 3?
True
Let p(h) = -3*h**2 + 4*h + 1. Let k be p(-3). Let b = -56 - k. Let r be 1 + 22/b + 15/27. Is r at most as big as -3?
False
Let k = 15071 + -16550. Is -1479 less than or equal to k?
True
Suppose -193*b = 73526 + 90020 + 31191. Is b smaller than -1.5?
True
Suppose 25*b + 0*b - 14320 = -3095. Are 450 and b equal?
False
Let f = -0.29071 - 758.70929. Is f at least 0.23?
False
Let d = 2.6 - 35.2. Let t = -33.1 - d. Is t > 3?
False
Let u be 2*3/(-2)*(-16875)/(-405). Let s be (-70)/(-21)*186/(-5). Which is smaller: u or s?
u
Let m = -38691 - -38690.9. Let g = -863 + 4357/5. Which is smaller: m or g?
m
Let d = -4996 - -4282. Which is bigger: -0.1 or d?
-0.1
Let s be (13 - 4)/(-405) + (2 - 33/15). Is s >= -1883?
True
Let k be 79110/65*(-1 - 0)*511. Let y = -13607145862/21879 - k. Let p = y - -2/153. Which is greater: p or 0?
0
Let r = 918 + -919. Let a = 5/2 + -237/94. Which is bigger: a or r?
a
Let r(w) be the second derivative of -w**3/6 - 4*w**2 - 12*w. Let v be r(-6). Suppose 3*b - 4*b + 4*b = 0. Is v at most as big as b?
True
Let p be 483/(-49) + 22/2. Is -0.246 smaller than p?
True
Let j = -501 - -316. Let y = 186 + j. Is y equal to -1.7?
False
Let m be (238/(-770) - 11) + 4/10. Is m greater than or equal to 1/4?
False
Let x(v) = 217*v - 4. Let b(h) = 2385*h - 45. Let p(d) = -4*b(d) + 45*x(d). Let l be p(1). Is l not equal to 224?
True
Suppose 2*m - 2*h - 3*h = 0, -5*m - 2*h + 29 = 0. Suppose m*d - 159 - 21 = 0. Is d smaller than 32?
False
Let m be 12/(-10)*(-3)/(12/10). Suppose m*t - 2*k - 19 = 0, 2*t + 2*t - 10 = -5*k. Suppose 2*v - 18 = -3*q - 2*q, q + 1 = -t*v. Which is smaller: v or 1/15?
v
Let o = -0.68 - -0.08. Let j = -21057 - -21052. Is o less than or equal to j?
False
Suppose -106 = 4*i + 3*c, 4*i + c - 48 = 6*i. Let a = -35 - i. Which is smaller: a or -17?
-17
Suppose 4*o = w + 1551, w - 326 = 5*o - 2266. Is o equal to 387?
False
Let q = -844/15 + 2663/30. Is q at least -24?
True
Let o(c) = c**3 - 8*c**2 + 14*c - 11. Let n be o(7). Let k = n - 53. Is k at least -17?
True
Let x = -18 + 18. Let a = -11989/81 - -148. Which is smaller: a or x?
a
Let q be (12/2052)/(2/(-4)*1). Which is smaller: q or 0?
q
Let a = -83 - -90. Let z(x) = -2*x**2 + 37. Let b be z(a). Let m(k) = k**3 - 8*k**2 + 2. Let t be m(4). Is b bigger than t?
True
Let h be (-4)/(-28) - (-132)/154*(-2582)/1. Which is greater: -2210 or h?
-2210
Suppose -146*c + 90058 + 129380 = 0. Does 1503 = c?
True
Let c be (-1 - (-3)/5) + 57360/150. Suppose 13*s + 4*g = 11*s - 142, c = -5*s - g. Do s and 0.1 have different values?
True
Let r be 22/(-33) - 5/((-15)/8). Suppose r*w - 359 = -0*o + 5*o, -4*w + 778 = 2*o. Which is greater: w or 193?
193
Let p = 19593/10 + -1953. Suppose 29*m = -939 + 1113. Is p at most m?
False
Let j = -17316 - -5529. Which is greater: j or -11785?
-11785
Let w be (-3)/(-5) - (-2)/5. Suppose 2*x = -3*h - 4, -5*x - w - 9 = -4*h. Suppose -9 = 5*i + 5*j + 6, 2*i - 14 = 3*j. Which is greater: h or i?
i
Let u(s) = -s**3 - 2*s**2 - 2*s + 84. Let d be u(-16). Which is smaller: d or 3701?
d
Let j = 305/3059 + -33/161. Which is smaller: j or -241?
-241
Let z = -1.1 - -1.62. Let n = 31.52 - z. Let i = 28 - n. Which is smaller: 2 or i?
i
Let o be (-2 + 2 - (8 + -4)) + 449. Which is smaller: 1779/4 or o?
1779/4
Suppose -22*w = w - 23. Let l be (w + 1 + -3)/(606/12). Do 0 and l have the same value?
False
Suppose 10342*l - 10347*l = 0. Which is bigger: l or -2/2793?
l
Suppose 2*c = 188 - 238. Let s be (1 + 55/c)/((-6)/8). Suppose -2*r - 4*t + 9 = 3, 0 = -5*r + 5*t. Is s greater than or equal to r?
True
Let x be (-13)/(-82) + (-22)/(-132). Let y = x - 5975/1353. Which is bigger: -4 or y?
-4
Let h(n) = 78*n + 72. Let k be h(6). Suppose 0*t + 18*t = k. Is t less than 1?
False
Let q(s) = -3*s**2 + 112*s - 399. Let f be q(4). Let d = -7075 - -49003/7. Let m = d - -19328/259. Which is smaller: m or f?
m
Let t be (-897)/(-1140) + (-16)/20. Let n be ((-1)/285)/((-32)/32952). Let v = t + n. Are -2/5 and v equal?
False
Let c = -12 - -21. Let z be -4*2/((-276)/c). Suppose -23*i + 141 = 118. Is i less than or equal to z?
False
Let g be (9/2)/(9/3). Let p be (12/(-9))/(10/(-125 + 5)). Which is bigger: p or g?
p
Let g = 2 - -23. Suppose -g*j + 60 = -21*j. Let k be (-1)/(36/(-10) + (-6)/j). Which is smaller: k or -3?
-3
Let g(j) = -290*j + 30. Suppose -23 = 34*x + 11. Let t be g(x). Which is greater: t or 319?
t
Let m = -39 + 37. Let v(c) = -c - 1. Let o(q) = -2*q - 3. Let n(a) = -2*o(a) + 7*v(a). Let w be n(m). Which is greater: 3 or w?
w
Suppose -5*q - 5*c = -525, 2*q - c - 228 = 3*c. Let m = -69 + q. Let r = m - 37. Is 12/13 > r?
False
Let j = -2.1054 + -0.0246. Let v = j + 1.73. Is v >= 4?
False
Let c(u) = -4*u**2 - 2*u - 4326. Let g be c(0). Let q be 2/(-10) - (g/(-2345) - 2). Suppose -4*o + 4 = -0*o. Which is smaller: q or o?
q
Let a = -4 + 4. Suppose a*p = -p - 26. Let q = -6824 - -6797. Is q >= p?
False
Let q = 17200 - 17220. Is q greater than or equal to -185?
True
Suppose 460*p = 274*p. Which is bigger: p or -1/1417?
p
Let n = 2208 - 2181. Which is smaller: 60 or n?
n
Suppose -3*q + 5*a - 30 = 2*a, -2*a + 8 = 0. Let d = -10217 + 10213. Which is smaller: q or d?
q
Suppose 353*f = 422*f - 144279. Which is smaller: 2092 or f?
f
Let m = -3341 - -223852/67. Let u = 181 + -180.9. Is m smaller than u?
True
Suppose -20*m + 12 = -14*m. Let o be 6/4 - (-419)/m. Let x = o - 150. Are 61 and x nonequal?
False
Suppose -2*v + 8 = 0, -5*l - v + 11874 = 580. Which is smaller: l or 2263?
l
Let b be ((-29)/(-435))/(1/((-12)/10)). Suppose 2*s - t - 3 = 3, -5*s - 4*t + 15 = 0. Suppose x + s*y + 4 = -0*x, -5*x - 8 = 3*y. Which is smaller: x or b?
x
Let s = -0.87 + -35.13. Let g = s - -15. Let m = g - -59. Which is greater: m or -1/2?
m
Let c be (-172)/(-6) + -2 - (-1 + 5). Let z = 13 - -9. Which is smaller: z or c?
z
Suppose -4*b - 87 = -1391. Suppose 2*z = b + 284. Let q = 1227/4 - z. Are 2 and q non-equal?
True
Let s = 35 - 34.9. Let d = s + 4.9. Which is smaller: 1/9 or d?
1/9
Let l(v) = -v**3 + 2*v**2 - 4*v + 22. Let t be l(3). Let c = -909 + 139073/153. Which is bigger: c or t?
t
Let x = 44.063 - 43. Let h = 0.063 - x. Let c = h - -12. Is -3 > c?
False
Let k = 28478 - 199344/7. Which is smaller: k or -1/410?
-1/410
Let j be ((-24)/(-14))/(-6 + 261/42). Let o be (1 + 4)/(j/32). Is 19 less than or equal to o?
True
Let a(j) = -j**2 + 8*j - 9. Let u be a(5). Suppose -u*i + 2*i = 4*x - 92, 4*i = -2*x + 90. Suppose -i = -t - 41. Is t at most as big as -18?
True
Suppose -4*n = 3*h - 36272, 48 + 24124 = 2*h + 4*n. Which is smaller: 12099 or h?
12099
Let c be 2833/(-15) - (402/(-335) + (-8)/(-6)). Which is smaller: 20 or c?
c
Let q = -16 + 19. Suppose 48 = q*m - 42. Let j = m + -30. Which is greater: j or 2/11?
2/11
Let z(s) = 5*s**3 + 2*s - 4. Let i = 22 - 20. Let p be z(i). Let k = 41 - p. Which is smaller: -3/25 or k?
-3/25
Let k(z) = 24*z - 1. Let f be k(-7). Let g be (-8 - 3/(15/(-25)))/((-6)/(-340)). Which is smaller: f or g?
g
Let v = -0.04764 + 1751.04764. Which is smaller: -3 or v?
-3
Let h(f) = f**2 - 12*f + 32. Let b be h(4). Let x = 93 - 155. Is x equal to b?
False
Let i = -6943 - -7104. Which is smaller: 169 or i?
i
Let w be 23/(-2)*76/(-19). Let k = w + -44. Suppose -c = -b - 4, -8*b + k*c = -9*b - 16. Which is smaller: -9 or b?
-9
Let p be 0 - -4*(-2)/28. Let w = -33/91 - p. Let l(a) = 3*a**3 + a**2 + 1. Let u be l(-1). Is u < w?
True
Suppose -5*q = -5*y + 315, y = -q - 2*q + 47. Let x = y + -54. Suppose x*u - 3*u - 12 = 0. Is u >= -1?
True
Let r = 264 + 109. Let c = -1852/5 + r. Is c at most as big as 3?
True
Let t = 2219 - 2257. Which is smaller: -10 or t?
t
Let u(n) = -142*n + 1386. Let f be u(11). Is f >= -177?
True
Let o be (-713)/(-7 - 16)*43. Which is greater: o or -5/3?
o
Suppose 10*j - 8*j - 5*x + 10 = 0, x = -j + 2. Suppose -6 = 6*g - 5*g + 2*d, j = -2*g + 4*d + 12. Are g and 4/179 non-equal?
True
Suppose -2*s = -0*s - 136. Suppose -52*z + 14*z = 13*z - 3366. Let v = s - z. Is v greater tha