. Is m greater than or equal to -0.2?
True
Suppose 5*t = 2*a + 7, -5*a - 2 = 2*t + 1. Let v be -4*((-3)/(-6) + -1). Suppose -4*d + 2*d = v. Is a equal to d?
True
Let g be 1158948/(-184275) - 20/(-26). Is -6 less than or equal to g?
True
Let j = 2634.2 + -2634. Which is bigger: 594 or j?
594
Suppose 3*c = 7*h - 4*h, 4*h = c + 12. Let q = c + -5. Let k = 5778 + -5777. Are k and q equal?
False
Let r(a) = -a**3 + 4*a. Let i be r(-2). Suppose -f + 12*f + 396 = i. Let j = 45 + f. Is 11 equal to j?
False
Let z(u) = 17*u**2 + 2*u - 93. Let h be z(17). Let n = h - 53502/11. Which is bigger: n or -10?
n
Let o(r) = -83*r**2 + 139*r + 430. Let u be o(-3). Are u and -731 equal?
False
Let o = -0.03913 + -0.02387. Let m = -2675 - -2677.937. Let b = o - m. Is b at least as big as 0?
False
Suppose 5*t - 43 = 5*l + 2, -2*l = -5*t + 27. Let y be 20/5 + (l - 10/(-2)). Which is greater: y or 30/17?
y
Let w = 324 - 302.1. Let z = 0.13 - -1.97. Let h = z + w. Which is greater: 1/3 or h?
h
Suppose 7*g = -31802 - 3604. Is g at least -5058?
True
Let w be ((-2464)/(-24) - 5)/((-2)/12). Which is bigger: w or -589?
w
Let x = -368 + 367. Let j be ((1 - x)/(-8))/1. Let h(s) = s - 5. Let w be h(10). Is j bigger than w?
False
Let g(p) = -p**3 - 13*p - 53*p**2 + 17*p**2 - 12 + 25*p**2 + 1. Let s be g(-10). Which is greater: 21 or s?
21
Let z = 31 + 25. Let f = 46 + z. Let k = 106 - f. Is k at least 5/3?
True
Let s = -2/20281 + 1074903/101405. Let d be 1/((2 + -4)/(-52)). Let n = -16 + d. Is s > n?
True
Let h be (-66)/3480 + (-2)/40. Which is bigger: -26/17 or h?
h
Let f be (-1736)/(-4960) + 3/(-4). Is 42/65 at most f?
False
Let z(q) = 56*q**2 + 34*q + 98. Let d be z(-4). Let a = -814 + d. Which is smaller: a or 45?
a
Let m = -11001 - -11002. Is m less than -7/94?
False
Let a = -235 - -584. Let j = -341 + a. Let w = -4 - -6. Is w <= j?
True
Suppose -123*z + 58*z + 98*z = -17919. Which is smaller: -547 or z?
-547
Let l = -1257622713440 + 21481599452503366205/17081116. Let s = l + 7/5452. Which is smaller: s or 0?
s
Suppose -180 = 6*n + 3*n. Let t(f) = f**2 + 22*f + 9. Let x be t(n). Let s(y) = -7*y - 4. Let p be s(4). Which is greater: p or x?
x
Let v = 347 + -343. Suppose 444 = -v*p + 2*g, p + 10*g = 6*g - 102. Which is greater: p or -1?
-1
Suppose 0 = -4*y - 20 + 4. Let x = -236 + 260. Let c be 9/12*(-80)/x. Is y <= c?
True
Let l be ((-14)/(-4) + -3)*-8. Let x = -3242 + 3234. Is l greater than x?
True
Suppose 6*a = -2*x + a - 11, 0 = -4*x + 4*a - 64. Let b be 33/(-4)*x/(195/60). Do b and 163/5 have the same value?
False
Let z(f) = f - 3. Let u be z(4). Let w = -33222/5 - -355912/55. Let d = 173 + w. Are d and u nonequal?
True
Let j be 12/4 - (138 - 0). Let s(i) = -138*i**3 + 8*i**2 - 8*i. Let w be s(1). Is w > j?
False
Let t(g) = -g**2 - 14*g - 47. Let p be t(12). Let m = p + 226. Which is greater: -134 or m?
m
Suppose 85 = -13*p + 98. Which is bigger: 1/4094 or p?
p
Suppose 0 = 9*n - 21*n + 144. Suppose -324 = -n*g + 3*g. Which is smaller: 37 or g?
g
Let z(o) = 9*o + 49. Let p be z(-16). Let u = p - -476/5. Let c(f) = -f**3 - 7*f**2 + f + 7. Let q be c(-7). Which is greater: q or u?
u
Let o = -28317 - -2123693/75. Is -2 less than o?
True
Suppose 33*l - 10311 = 12*l. Let z = -1475/3 + l. Let r = 41 + -163/4. Is z at most r?
True
Let w(l) = -4*l**3 + 4*l + 1. Let d be w(-2). Let m = -30 + d. Let x be -3*m/6*12/(-115). Is -1 > x?
False
Suppose r = 3*z + 9, -2*r + 6*r = -3*z - 9. Let x(n) = -4*n**3 - 2*n - 1. Let q be x(-1). Suppose -5 = -r*u - q*u. Which is smaller: u or -2/7?
-2/7
Let k = 31379/94146 + 1/31382. Is -225 greater than or equal to k?
False
Suppose -4 = 3*a + 26. Let w be (-12 - a)*(-8 - 1). Suppose 3*q = 22*q - 323. Which is smaller: w or q?
q
Let d = -144 - -113. Let p(b) = -2*b**2 - 62*b. Let z be p(d). Which is smaller: -5/17 or z?
-5/17
Let q = -3858 + 11374/3. Let z = q - -67. Let t = -29 + 1. Are z and t unequal?
True
Suppose 2*u + 2*q - 30 = 0, -93*u + 91*u + 35 = 3*q. Is 691/63 <= u?
False
Suppose 5*v - 2*j = 77, 4*v + 3*j - 78 = -21. Let y = 13 + -26. Let u = 27 + y. Which is bigger: u or v?
v
Let s(h) = -10*h**2 - 4*h - 4. Let k be s(-5). Let n = -235 - k. Which is smaller: -4/39 or n?
n
Let z(i) = 24*i**2 + 2*i + 3. Let x be z(-1). Suppose 0 = 6*a - x + 31. Let q be (-84)/(-54) + (-5 - -2). Which is smaller: q or a?
q
Let j = 159 - 325. Suppose -1230 + 5038 = -38*m - 2462. Is j at least m?
False
Let x be 24/(-1 - 5) + 0 - -72. Let o be (-788)/22 + x/(-374). Is -36 > o?
False
Suppose -51640 + 109233 = -11*p - 110025. Which is greater: -1 or p?
-1
Suppose -4*k = 3*c - 16, 35 = 3*k - c + 10. Let n(y) = y + 4. Let p be n(6). Let f = p - 3. Is f at most k?
True
Let m(f) = 100*f**2 + 11*f - 7. Let u be m(-8). Is u != 6305?
False
Let a be (1/2)/(22*(-14)/(-616)). Is -11/502 at most as big as a?
True
Let g = -404 - -234. Let c = 178.7 + g. Let h = -7.9 + c. Are 1 and h equal?
False
Let k be (10 + -10)/(0 + -1). Suppose 4*z + 16 = k, 3*z + 21 = -3*d - 6. Is d at least -39/7?
True
Let i be 1 + -4 + (-12 - (-30648)/(-60)). Let t = -529 - i. Let c(f) = -f**2 + f - 2. Let d be c(0). Is t at most as big as d?
True
Suppose -1807*y + 1795*y - 144 = 0. Is 43 at most as big as y?
False
Let k(b) = -10*b + 206. Let g be k(16). Are 53 and g non-equal?
True
Let t = 249850 + -172646311/691. Which is smaller: t or -1?
-1
Let a(c) = -65*c**2 + 158*c + 157. Let u be a(-1). Is 8 not equal to u?
True
Suppose -102*i = -14*i. Is i at least as big as 6/65?
False
Let y = -85099 + 85099. Suppose -5*t = -b + 5*b + 78, 5*t = -3*b - 76. Which is smaller: t or y?
t
Suppose 349*i - 337*i = 252. Is i greater than 85/4?
False
Let m be 18/8*(-6)/18. Let f be 116/105*((-225)/(-10))/5. Let x = f + -32/7. Is x > m?
True
Suppose a + 24 - 33 = 0. Let s be a - (8 - 5) - -1. Suppose 19*n - s*n = -144. Which is smaller: n or -98/9?
n
Let n(d) = -2*d**2 + 4*d - 8. Suppose -4*h + 12 = -12. Let l be n(h). Let a be (-2 - 62/4)*96/l. Which is smaller: a or -0.2?
-0.2
Let x = 89.03 - 331.09. Let a = -242 - x. Which is smaller: a or -1?
-1
Suppose m - 5 = 0, -5*k - 877 = -4*k - 4*m. Which is bigger: k or -856?
-856
Let p = 1709 + -1804. Which is bigger: p or -31?
-31
Suppose 42*q + 169 = 337. Let k be 24*-1*(-3)/4. Let b be (27/k)/((-6)/(-20)). Which is bigger: b or q?
b
Let t(o) = 76*o**2 + 18623*o + 587. Let k be t(-245). Let p be (-4)/14 - 2082/14. Which is smaller: p or k?
p
Suppose -2*j + 355 = -7*j. Let u = j - -78. Let r be ((-63)/(-6))/u*8/116. Is r < 1?
True
Suppose 21*c + a + 984 = 19*c, 1512 = -3*c - 6*a. Which is bigger: c or -527?
c
Let c = 85.993 - 86. Let w = c - 4.493. Let x = w - 2.5. Which is bigger: x or 1/2?
1/2
Suppose d + 2*x = -324, 3*d + 960 = -12*x + 9*x. Is d < -316?
False
Let z be (-208)/(-364)*21/15. Let a = -2/33 - -103/66. Is z at most as big as a?
True
Let m = 3.51 - 3.61. Is m != -42?
True
Let s be 156/(-234) - 2/(-3). Is 18/317 equal to s?
False
Let t be 15/13 + (-2)/13. Suppose -s - 4*n = 4*s + t, 0 = -5*s + 5*n + 35. Let k(u) = 9*u - 30. Let y be k(s). Which is smaller: y or 3/8?
y
Suppose 5*i = -2*f + 18, 3*f + 2*i = -i + 9. Let y = 18 + -21. Let t be (y/(-9))/(-1)*-1. Which is smaller: f or t?
f
Let d(i) = i**3 - 18*i**2 - 305*i + 83. Let g be d(30). Is 1733 > g?
False
Let z = -16677 - -16678. Do -5967 and z have the same value?
False
Let y(i) = 2*i**3 - 15*i**2 - 55*i + 12. Let k be y(10). Suppose -9*n = -11*n - 78. Do n and k have the same value?
False
Let y = 196.23 - 196.1. Is y smaller than 0.37?
True
Let j = -8188834/15411 - -5845/11. Which is smaller: j or 1?
j
Let q = -99 + 101. Suppose -2*h = q*h - 2*w + 186, 0 = -4*h - 4*w - 216. Which is greater: h or -48?
-48
Suppose -s + 5*s - 1 = -3*y, -13 = -y + 5*s. Suppose o = -2 + y. Which is bigger: 2/171 or o?
o
Let q = 51 - 32. Let b(r) = r**3 + 10*r**2 + r + 27. Let o = -135 + 125. Let z be b(o). Which is smaller: z or q?
z
Let l = -3480.3 + 3480.3. Suppose -3*r = -6*r + 504. Which is bigger: r or l?
r
Let c = 12752 - 12751.9. Which is greater: -5531/2 or c?
c
Let l = -19.066 - -19.4. Let a = l - 0.28. Which is bigger: a or 0?
a
Let a = -102167 - -920476/9. Which is greater: a or 109?
109
Let w(x) be the third derivative of -x**5/60 + 13*x**4/24 + 187*x**3/6 + 73*x**2. Let g be w(0). Which is smaller: g or 188?
g