269. Is d greater than or equal to m?
True
Let z = -89 + 89.181. Let u = 0.689 + z. Let d = -0.17 + u. Which is greater: d or -1/4?
d
Let o(x) = -3*x - 27. Let h be o(-10). Suppose 19*t = 22*t + h. Is t >= -1/24?
False
Suppose 10 = 3*c - h, 30 = 5*c - 0*c - 5*h. Let z = -173/2 - -88. Is c < z?
False
Let y be (-7 + 3)/(1 - 2). Let o be 8/y + 3 + 5. Let m be (10/(-80))/(1/o). Which is smaller: -1 or m?
m
Let w = -26/11 + 93/44. Is 323 at least w?
True
Let q(m) = -m**3 - m**2 + 5*m + 271. Let u be q(0). Which is bigger: 269 or u?
u
Let w = -0.052 - -11.052. Let m = -93.1 + 82. Let q = w + m. Are q and -0.3 unequal?
True
Let r be 252/(-4200)*(-1)/3*4. Which is bigger: 0 or r?
r
Let a = 9/6070 - 3629923/42490. Is a <= -84?
True
Let n be -3 + 25 + (2 - (2 + -4)). Is n smaller than 25?
False
Let i be 1/(-1) + -9 + 9. Let c be i/2*14/7. Is 2/31 >= c?
True
Let d(u) = u**3 - u**2 - 2*u + 189. Suppose 0 = 4*n - 0*n. Let i be d(n). Let k be (-30)/(-105) - 68/i. Which is smaller: k or 0?
k
Suppose -5*l - 3 = -2*y, -4*l + 2 - 5 = -y. Let v be (-21)/(-54)*(400/105)/20. Is v < y?
False
Suppose 15 = -h + 4*h. Suppose 3*a + 9 + 5 = -h*g, g = 4*a - 12. Suppose 4*m = -3*u + 2 - 1, 0 = -a*u + 2*m + 10. Is u bigger than 3?
False
Let c = 0.36 - 0.54. Let b = -37.81 - -38. Let g = c + b. Is g at most as big as 0.1?
True
Let w be 12*(1 - 0) + 2. Let x(i) = 6*i + 7 - 6*i**2 - 7*i**3 + 8*i**3 - w*i. Let l be x(7). Is l equal to -3/4?
False
Suppose -5*c = 20 + 15. Let p(d) = -d**2 - 15*d - 4. Let a be p(c). Let h be 9/(-15) - a/(-20). Does 7/4 = h?
False
Suppose -3*b - 2*b = 10. Let h be (-4)/6*(-6)/(-4). Let o = h + 0. Which is smaller: b or o?
b
Suppose 0 = -4*n + 12, 9 = -5*m - 3*n + 3. Let t be (-5)/15 + (-1)/m. Which is bigger: -2/47 or t?
t
Let c = 35/104 - 6/13. Let h = c - -3/8. Let a = 25/14 + -16/7. Is a greater than or equal to h?
False
Let x = 0.996 + 0.004. Let k = -0.55 + 0.6. Let s = k + -4.05. Is x less than s?
False
Let g be 15925/845*6/(-7). Is g bigger than -17?
True
Suppose 0 = 3*p + 4*g - 2, 0 = p - 0*p - 4*g - 22. Suppose -8 + 4 = -2*n. Let d be n/(-5) - (-156)/65. Are p and d equal?
False
Let h(w) = 2*w**3 + 8*w**2 + 4*w - 9. Let o be h(-5). Do o and -79 have the same value?
True
Suppose -3*j - 3 = 2*k, -5*j - 2*k - 3*k - 10 = 0. Let i be (-1597)/(-90) + -3 - -5. Let v = i - 99/5. Which is smaller: j or v?
v
Let y(x) = -4*x + 71. Let w be y(18). Which is greater: -4/265 or w?
-4/265
Let p = 0.217 - -0.013. Let h = p + -0.13. Let a = 0 + h. Which is greater: 2/11 or a?
2/11
Suppose 5*i + 5*s - 1035 = 0, -2*i + 7*i = -s + 1039. Are i and 209 equal?
False
Let l be (-154)/4*(8 + -4). Let q be 4/18 - l/(-126). Do -0.17 and q have different values?
True
Let q = 27/28 - 4589/4788. Which is smaller: q or 1?
q
Let n = 0.78 + -8.68. Let u = -8 - n. Let p = 19 - 18. Are u and p unequal?
True
Let l(h) = -h**3 + 18*h**2 + 65*h - 23. Let g be l(21). Let o be 37/2 - 7/(-14). Is o >= g?
True
Let t(p) = -2*p**2 + 2*p + 3. Let n be t(-4). Suppose -31*c + 69 = 7. Which is smaller: c or n?
n
Suppose 3*p = -34 - 8. Let k be p/77 + (-229)/11. Let x(y) = -y - 20. Let i be x(0). Is k bigger than i?
False
Let w be 4 - (9 - (7 - 3)*1). Suppose 0 = -5*d + r + 24, 0*d + d - 4*r = 20. Which is smaller: w or d?
w
Let r = -9 + 23. Suppose 19*h + 15 = r*h. Is -3 <= h?
True
Let f be (0 + (-1)/2)/(23/9062). Which is smaller: f or -198?
-198
Let r = 133/10 + -2301/170. Let l(b) = -15*b - 16*b + 8 + 30*b. Let k be l(7). Is k at most r?
False
Let l(w) = -w + 35. Let x be l(-11). Suppose -x - 106 = 8*y. Suppose 0 = -5*p, 5*p - 2*p = 5*z + 90. Which is smaller: z or y?
y
Let b = -131 + 229. Let z = 88 - b. Is z != -16?
True
Let y = 0.32 - -474.68. Is y <= 1?
False
Let p = -388 + 390. Let m be (-5)/2*(-1 + -11). Suppose -c = p*c + m. Is -10 at most as big as c?
True
Suppose 0 = -34*q + 31*q. Is 90 equal to q?
False
Suppose -2*i - i - 3 = 0. Let p be 162/14 - 30/(-70). Let c be 8/(-3)*1/p. Which is smaller: i or c?
i
Let p be (5 - (-39)/15)/((-3)/15). Let n = p - -25. Is -13 bigger than n?
False
Let c = 0.016 - 41.016. Let b = 41.1 + c. Which is greater: 4 or b?
4
Let k = -143 + 311. Let q be 426/k + 6/(-21). Which is smaller: q or 3?
q
Let i = 51.1 - 50. Let h = 0.1 - i. Is h smaller than 2?
True
Suppose -2*z + 3*z + 178 = 0. Let w be z/172 + 4 + -3. Is w at least as big as 1?
False
Let p = -26.92 - -27. Let m = 5.08 - p. Which is smaller: 1 or m?
1
Let n be ((-6)/4)/((-4)/96). Suppose -4*h - n = -4. Which is smaller: h or 0?
h
Let a = 1629 + -448. Which is smaller: 1182 or a?
a
Let r = -101.8 + 103.8. Let t = 7 - 15. Which is smaller: t or r?
t
Suppose y + x - 14 = 0, 2*y - 3*x = 2*x. Suppose -5*l - y = -0*w + 5*w, -4*l + 19 = -5*w. Is l at least -1/28?
True
Let s = 8 + -6. Suppose -v - 3*f = -7, 0 = -3*v - 2*f - s + 9. Let l = -1157/23940 + -2/1197. Which is greater: l or v?
v
Let j(q) be the second derivative of q**4/6 - q**2/2 - 2*q. Suppose w = 4*a + 1, -3 = -3*a + 3*w + 3. Let l be j(a). Is 0 not equal to l?
True
Let c be (-6)/(-4) + 198/12 + -3. Let d be (105/(-20))/(c/12 - 1). Which is smaller: -22 or d?
-22
Let r = -0.18 - 0.72. Let d = -3.1 + r. Let j = 5 + d. Which is smaller: 0 or j?
0
Let q(h) = h**3 - 6*h**2 + 2*h - 6. Let a be q(6). Suppose -4*f = -x + 4 - 13, x = f - a. Let u be (6/4)/((-9)/12). Are u and f equal?
False
Let n = -509 - -512. Let u = 520/3 - 171. Which is greater: n or u?
n
Let a be -2*(-3)/4 - (-98975)/(-214). Is a less than or equal to -461?
True
Let i = -52 - -47.1. Let f = 5 + i. Does -16 = f?
False
Let d = -0.11 + -2.79. Let j = -27.9 - d. Which is bigger: j or 2/9?
2/9
Suppose -24*j - 71 = 217. Is j equal to -37?
False
Let i(d) be the third derivative of -d**4/3 - d**3 + 7*d**2. Let z be i(-3). Suppose 0 = n + n + z. Which is bigger: n or -8?
-8
Let n(j) = j**2 - 4*j - 2. Let m be n(5). Suppose 0 = -m*l + 5*h - 31, -l + 8 = -0*l + 2*h. Is l bigger than 17?
False
Let a(t) = 2*t**3 - t - 8. Let n be a(4). Let v = n + -81. Suppose -3*p = 2*p + v. Which is smaller: p or -2?
p
Let s(l) = 18*l**2 - 19*l - 77 + 77 + l**3. Let c be s(-19). Is 3/37 greater than or equal to c?
True
Let z = -3.2 + 3. Let u = -47 + 52. Let q = -8 - u. Is z >= q?
True
Suppose 0 = b, 4*f + b = 3*b - 192. Which is bigger: f or -46?
-46
Let b(w) = 2*w**2 - w - 106. Let s be b(-7). Which is greater: -144 or s?
s
Let n be (36/78)/(25/(-1025)). Which is smaller: n or -2?
n
Let n = -13 + 19. Let g = 11.2 - 17. Let p = g + n. Does 4 = p?
False
Let q = 44 - 42. Suppose -4 = b - q*b. Suppose 2*x - 3*x + 1 = 0. Which is smaller: x or b?
x
Let c = -17.6 - -17. Let b = 7.4 - c. Is -1/5 less than or equal to b?
True
Let y = 8394/4853 + -40/23. Which is smaller: -1 or y?
-1
Suppose 26*i = 21*i + 5. Let c be ((-27)/18)/(i/(-2)). Which is smaller: c or 7?
c
Let t = -1040 - -972. Which is smaller: -3 or t?
t
Let p be (-6)/16 + (2 - 398/240). Which is smaller: p or 2?
p
Let h(p) = -p**2 - 19*p - 85. Let u be h(-7). Is u at most 3/190?
True
Let g(i) = -4*i**2 - 28*i - 28. Let b be g(-11). Is -207 at least as big as b?
False
Let l = 19 + -15. Let b(v) = -2*v - 3. Let d be b(l). Which is bigger: -10 or d?
-10
Let q be 140/(-12)*-3*2/9. Let o = 68/9 - q. Let t = -5 + 8. Is t > o?
True
Let k(y) = -20*y - 424. Let l be k(-22). Which is smaller: 12 or l?
12
Let s = -1516/13 + 115. Let q = -522 + 519. Which is greater: s or q?
s
Let u = 10428 - 42161/4. Let o = -23 + -90. Let k = o - u. Which is bigger: k or -0.1?
-0.1
Let u be 146/30 - (10 - 5). Is 46 less than u?
False
Let j(x) = -x**3 - x**2 + x + 3. Let r(i) = i - 8. Let d be r(8). Let q be j(d). Suppose 4*h = -3*z - z - 12, 0 = 2*z - q*h - 19. Is 3 >= z?
True
Let u = -90 + 154. Suppose -4*f - u = -112. Let o = -12 + 25. Is f at least as big as o?
False
Let h be (3 - 4) + (-21)/(-15). Which is smaller: h or 1.1?
h
Suppose -66 = 2*l - 74. Suppose 25 = 5*p, r = l*p + 35 - 114. Which is smaller: r or 0?
r
Let x = -2 + -3. Let o be -1 + (120/(-9))/x. Let c(m) = 3*m**2 + 26*m - 8. Let f be c(-9). Which is smaller: f or o?
f
Let q(v) = 7*v**2 - 3*v - 7. Let k(p) = 11*p**2 - 5*p - 11. Let b(u) = 5*k(u) - 8*q(u). Let s be b(0). Which is bigger: s or -2/9?
s
Let b = 73747428341 + -106860016748068/1449. Let f = b + -42955/9. Let p = f - 10/23. Is -2/7 at mos