Let p = -327 - -342. Suppose p = -3*z, -5*z = 6*b - 5*b + 24. Do b and -1/752 have the same value?
False
Let d(m) = -2626*m + 130. Let t be d(6). Let z be (-5)/(-3) + t/(-78). Is z greater than 201?
True
Suppose -3*v - 3*f + 15 = 0, -3*v - 2*f - 2 = -5*v. Suppose -k + 3 = -v*h, -3*k - 4*h = -7 - 2. Suppose k*r + 119 = -4*r. Which is greater: -16 or r?
-16
Let d = 282.89 - 285. Let o = d - -0.12. Is 0 less than o?
False
Let r = 550 - 553.8. Let y = r - -21.8. Which is bigger: y or 2/3?
y
Let s be ((-1620)/(-7) - 1) + 3. Suppose 4*o - 1027 + 91 = g, 5*o - g - 1169 = 0. Let m = o - s. Is m at most 1?
True
Let x be ((-440)/275)/((-1)/455). Is -2 less than or equal to x?
True
Let t = -4628 + 4627.993. Which is greater: t or 28?
28
Suppose -5*r + 5*g = 10, 0 = -r - 32*g + 29*g - 10. Is 1 greater than or equal to r?
True
Let t = -47/4570 + 7395153/86830. Is t < 85?
False
Suppose 1520 = 11*c - 1318. Suppose 7*u = c - 4458. Is -599 >= u?
True
Let v(d) = -6*d**2 - 6*d + 65. Let p be v(6). Let f = 261 + p. Which is smaller: 72 or f?
72
Let j = -44/9 - -244/45. Which is smaller: 2 or j?
j
Let a(z) be the third derivative of -3*z**4/8 - 25*z**3/2 + z**2 - 3. Let l be a(-10). Suppose -22 = 5*b - 97. Is l at most as big as b?
True
Suppose -11*c + 5*s - 91 = -8*c, 0 = -5*c - 5*s - 165. Let q = c + 31. Let g = -1013 + 12149/12. Is q at most as big as g?
True
Suppose 0 = -21*y + 16*y + 5*k + 10, 5*y = 3*k + 12. Is y not equal to 88/41?
True
Suppose -3 = -4*k + w - 0, 6 = 3*k + 3*w. Suppose -k - 314 = -15*i. Which is greater: i or 28?
28
Suppose -121*j + 6008 = 321. Let u = 4868 - 14464/3. Which is greater: j or u?
j
Let r = -0.512 - -0.5. Let n = r - 0.188. Let h = n - -0.2. Which is bigger: h or 22/3?
22/3
Let j be (2/(-8))/(1830/(-5025)*5/8). Is j smaller than 1?
False
Let f(y) = -y - 39. Let j(c) = -c - 4. Let v be j(15). Let g be f(v). Let n be ((-6)/(-15))/(1/(g/(-2))). Are n and 4 non-equal?
False
Let m(b) = -7*b - 3. Let i(t) = -1. Let l(k) = -4*i(k) - m(k). Let o be l(-1). Suppose 5*v + 2*y = 6*v + 51, 3*v + 5*y + 153 = o. Are v and -52 non-equal?
True
Let r be ((-17 + 17)/(-26))/(-4). Is r greater than or equal to -1/5392?
True
Suppose -127 = f + 5*k, 297*f - 311*f - 3*k = 1912. Is f less than 30?
True
Let r be (-91)/49*-1538 - (-4)/(-14). Let s be (-1626)/r + (-8)/(-14). Is s less than or equal to 1?
True
Let a be ((-2)/4 - 1)*(-33 - -31). Let k be 2/(-2)*a/(-6). Which is bigger: -5 or k?
k
Suppose 351 = 62*b - 75*b. Do 0.026 and b have the same value?
False
Let k be (112/4)/(2/8). Let d = -120 + k. Let o be 3/(2*12/d). Is o > 3/29?
False
Let n be 27/438*(236/(-24) + 10). Which is greater: 0 or n?
n
Let y = 87 - 81. Let i be -9*(1 - (3 + 0))/y. Let w be (2/44 - 0)*i*-2. Which is smaller: -1 or w?
-1
Let z = -830 + 4168/5. Suppose 3*f + 16 = -5*h, 2*h = 6*h + 8. Let t be (f/9)/(48/(-648)). Which is smaller: t or z?
t
Let s = 1277/3 + -425. Let f = 0.023 + 20.977. Let n = -2 + f. Which is smaller: n or s?
s
Let a = 943 - 956. Let j be 34*a*(-1)/(-1). Which is smaller: -441 or j?
j
Let x(y) = -2*y**3 + 43*y**2 - 33*y + 255. Let d be x(21). Let k(p) = 3 + 5*p**2 + 1 + 2 - p**3 - 7*p. Let g be k(4). Which is smaller: g or d?
g
Let q be (-1 + 6654/6650)/(12/20). Are -1 and q equal?
False
Let d = -2.635 + 2.455. Which is greater: -1.7 or d?
d
Let z(a) = -144*a - 1156. Let r be z(-8). Which is bigger: r or -14.4?
r
Let l = 15 + -22. Let t = -9459/5 + 1886. Which is smaller: l or t?
l
Let r be 2/(-3) - 816/(-1197). Suppose 38*p = 10 - 20 - 28. Which is smaller: r or p?
p
Let o be (2/(-26))/(30/(-390)). Let f = -2.9 - -3. Let k = f - 0.09. Which is bigger: o or k?
o
Let v be (-3 - -1)/(6/(-23)). Suppose 0*r = 16*r - 80. Suppose -r*b = 4*s - 45, 8*b = 13*b + 5*s - 45. Is b > v?
True
Let j = -25.238 - -687.238. Which is smaller: j or -0.9?
-0.9
Let d be 4 - -53 - 1 - 0/(-3). Let o = 54 - d. Let f be ((o/5)/2)/((-2)/10). Which is smaller: f or -2/5?
-2/5
Suppose 5*c + 3 = -2*k + 2, 2*c - k - 5 = 0. Let x be (-92275)/(-9390) + -6 + -4. Let j = 2/313 + x. Do c and j have the same value?
False
Let g = 3/23 + 31/115. Let t be ((-12)/11)/(711/1738)*45/4. Are t and g equal?
False
Let k(m) = m**3 + 7*m**2 + 7*m - 11. Let s be k(-5). Suppose s*q - 71 = 3*r - 75, -q - 1 = -r. Is -4/117 greater than q?
True
Suppose 3*b - 250 = 101. Let t = 99 - b. Is t less than or equal to -18?
True
Let r(l) = 11*l + 60. Let u be r(-5). Let t be u - (-36)/(-5 - 1). Is -7/32 < t?
False
Let v = 102.0041 - 0.0041. Let n = 93 - v. Is 13 greater than n?
True
Let g = 169 - 176.38. Let i = -0.18 - g. Let h = i - 5.2. Is h at least as big as 14?
False
Suppose 2*f = 3*f, -26*p - f = -16*p + 5890. Are 0 and p nonequal?
True
Let y(l) = l**3 + 16*l**2 - 19*l - 34. Let z be y(-17). Suppose z = -77*c + 75*c - 78. Is c >= -39?
True
Suppose 8*t - 4*a = 392, -7*t = -9*t - 5*a + 98. Is t at least as big as 47?
True
Let w be (294/9 - 392/(-147))*-1. Let a(z) = -z**2 - 6*z + 6. Let d be a(4). Which is smaller: d or w?
w
Let a = 0.9333 - 83.6733. Let g = a - -83. Let y = 41 + -285/7. Which is smaller: y or g?
g
Let t(q) = q + 2. Let w be t(3). Let u be 5 + -6*(-206)/(-4). Let v = u + 299. Is v bigger than w?
False
Let c = 0.088 - 178.088. Let p = 179 + c. Which is smaller: -0.443 or p?
-0.443
Let n = -28386 + 28442. Which is smaller: 4/71 or n?
4/71
Let m = -7 - -11. Let s be m/10 - 172/55. Suppose -48 - 414 = 167*d + 64*d. Which is smaller: d or s?
s
Suppose 5*a = 1 + 34. Let k be (35/147)/((1 + 2)/15 + 12467/(-73710)). Which is bigger: k or a?
k
Let q = -2962 - -2983. Is 0.7 less than or equal to q?
True
Let q(u) = -2*u**2 + 15*u + 97. Let o be q(-4). Let z be ((-6)/o + 0)*290/(-609). Are 1 and z nonequal?
True
Let c = 52 - 49. Suppose 3*f + 3*t = 1 - 4, 3*f + t + c = 0. Let d be (-26)/(-13) - (f - -3). Do 4/25 and d have the same value?
False
Suppose -c + 3*h = -10, 3*h + 3 = 2*c - 8. Suppose -7*v + 8*v + z = 5, 4*v + 3*z - 20 = 0. Suppose -4*m - 29 = v*a, m = a + 3*a + 19. Which is greater: m or c?
c
Let y = 3.773 + -7.773. Is y greater than 3481?
False
Let l = -38 + 42. Suppose 2*m - 12 - l = -4*b, -4*b + 16 = -3*m. Suppose -2*u = 2 + b. Is u less than -4?
False
Let h = 3589 - 2751. Which is smaller: 1 or h?
1
Suppose 0*k + 9 = -j + 3*k, -5*j + 2*k = 6. Suppose 0*d + d + d = j. Which is bigger: -12 or d?
d
Let q = 24237 + -16553869/683. Which is greater: q or 2/3?
2/3
Let n(h) = h**2 - 24*h + 94. Let s be n(5). Which is smaller: -1/4911 or s?
s
Let b be (-6)/4*(-2 - (-130)/3). Let j = 28 - b. Is j greater than or equal to 90?
True
Let p = -30289 + 29715. Is p > -574?
False
Suppose 20 = 6*q - q. Suppose 0 = q*p - 10 - 6. Let h be -17 + -5 + -3 + p. Does h = -22?
False
Let g be (16/(-12))/(3/(-72)). Suppose -g*s - 28 = -28*s. Which is smaller: -6 or s?
s
Let a be (1/(-1))/((11 + -6)/(-24 - -149)). Let o = 19/210 + -2512/105. Which is smaller: a or o?
a
Let a be (1/(-152))/((-24)/(-30)). Let f = 35299/4256 + a. Which is bigger: 7 or f?
f
Let o(z) = z**3 + 13*z**2 + 24*z + 4. Let b be o(-11). Let r = b + 21. Suppose 2*k + 0*k = -3*n - 25, r*n + 28 = k. Which is greater: n or -7?
-7
Let i be 53312/(-78645) - (1 - 10/6). Which is smaller: 1 or i?
i
Let j = -397 + 306. Is j > -106?
True
Let f(r) be the second derivative of 7*r**4/12 + r**3/3 - r**2/2 - 6*r. Let n be f(-2). Is 24 at most n?
False
Let z(t) = -7*t - 36. Let g(d) = 3*d + 18. Let u(f) = -5*g(f) - 2*z(f). Let v be u(-10). Let j be 1/((-2)/v*1). Is 4 greater than j?
False
Let w = 4841 + -8518. Is w greater than -3679?
True
Let k = -20484 + 103147/5. Which is smaller: k or 0?
0
Let o(w) = -2*w**2 + 3*w. Let q(i) = i + 17. Let s be q(-15). Suppose -4*k - 4*v + 16 = 0, v + 4*v + 1 = s*k. Let m be o(k). Is m equal to -10?
False
Let z be 2*20/(-16)*(-696)/(-1711870). Is z less than or equal to 1?
True
Let m = 166 + -148. Suppose 17 = -m*x - 1. Which is smaller: x or -8/45?
x
Let r be ((-721)/21)/((-4)/(-1 + -3)). Let n = -67 + 102. Let t = r + n. Is t at most as big as 0?
False
Let k be 1/3 - 202896/540 - (-6)/(-10). Is -378 equal to k?
False
Let g = -132 - -204. Let n = g + 25. Which is smaller: 96 or n?
96
Let j be ((-12)/20)/(28/10). Let m(w) = -w**3 + 6*w**2 - 4*w + 1. Let o be m(5). Let p be (o/9)/((-6)/18 + 1). Which is bigger: p or j?
p
Let i be