s f != d?
True
Let a = 1293 + -1294. Let f = 47 + -86. Which is smaller: f or a?
f
Let f = -155 - -107. Let a = -387137/40 - -48394/5. Is f less than a?
True
Let j be (-1 - 5)*62/(-186) + 4*23. Is 286/3 <= j?
False
Let p = 518 - 516. Suppose -5*h + 5*x = -5 - 5, p*x - 14 = -4*h. Which is bigger: 2 or h?
h
Let b = -770 - -761. Let u be 18/(-1560)*8/b*-3. Does u = 1?
False
Suppose 4*w = 56 + 112. Let c be (-12)/(-20) - w/(-5). Suppose -4*l = 3*f + c, 22 = -2*l + 2*f - 0*f. Are -7 and l equal?
False
Let j be -13 - (-11 + -320) - -2. Is 325 less than j?
False
Let x be 3/(-25) + (-4972620)/(-44750). Suppose -3*h = -86 - 247. Is x smaller than h?
False
Let m be (175/(-14))/((-7)/(-252)). Let k = 450 + m. Does 2/1811 = k?
False
Suppose -c + 15 = -2*h, 3*c = 12*h - 125 + 206. Let b = -1 + 1.1. Is b at most as big as c?
True
Let g = 13776 + -13763. Which is smaller: -14 or g?
-14
Suppose 52*f = 40*f - 12. Let m be ((-92)/(-10))/f - (-48)/240. Which is greater: m or -3?
-3
Let n = -16/485 - 4/485. Let u = n + 416/679. Suppose 0 = -3*p - 0*p. Are p and u nonequal?
True
Let d be (-2 + (-2)/(-3))/((-1)/3). Let h be (0 + (-2)/(-1))/d*-4. Suppose v - 19 = 5*t + 2*v, 4*v = 2*t - 10. Which is smaller: t or h?
t
Let c = 192 + -46. Let i = -290 + c. Do -147 and i have the same value?
False
Let o be 0 + -1 + 1 - 138. Let d be -1 - (137 - -2) - (4 - 2 - 5). Is o at least as big as d?
False
Let t(a) = -96*a + 1081. Let h be t(19). Is -745 less than h?
True
Let b(v) be the second derivative of -v**4/6 - 11*v**3/2 - 41*v**2/2 - v + 130. Let l be b(-15). Which is smaller: 25/8 or l?
25/8
Let y be 55/(-168) + (-4)/(-14). Let v(b) = -b**3 + 25*b**2 + 63*b - 1576. Let x be v(25). Which is smaller: x or y?
x
Suppose -17915 + 5874 - 4119 = -8*o. Is 2020 < o?
False
Let x(i) = 12*i**2. Suppose -3*k = -31 + 4. Suppose 8*q = k*q - 1. Let p be x(q). Is -1 greater than p?
False
Suppose -5*i + 63*q = 60*q + 447, i + 4*q = -117. Which is smaller: i or -280/3?
-280/3
Let m be 2 - 13/((-130)/(-24)). Suppose -b = -0 + 14. Let r be (-15)/(-25) - b/(-40). Which is smaller: r or m?
m
Let z = -121.1 + 93.1. Let u = -57 + 111/2. Is u <= z?
False
Let f = 71 - 239. Let w = -168 - f. Which is bigger: w or -0.06?
w
Let o be -18 + 23 - (114020/28504 + 1). Does 0 = o?
False
Suppose 0 = 4*j - 9*j + 5*a, 0 = -3*j - 2*a - 10. Let q = -0.019014 - 5.880986. Are j and q non-equal?
True
Let f = -335 + 385. Suppose -f = -104*l + 102*l. Which is smaller: 29 or l?
l
Let o(r) = r**2 + 8*r + 252. Let f be o(0). Let c = 358 - f. Do 1 and c have the same value?
False
Let q be -2*477/950 - -1. Let g = -866/9 - -21578/225. Let j = q - g. Which is greater: j or 0?
j
Let f be 9/6 + 10140069/1338. Let c = -7580 + f. Is c at most 0?
False
Let g be (-1702)/4284 - (30/(-4))/15. Let l = 1/119 + g. Which is smaller: l or -1?
-1
Let i = -1997 + 2015.589. Let o = -18.7 + i. Let v = o + 44.111. Does 0 = v?
False
Let n be 9 + (-132)/(-231) + (-1647)/(-21). Which is greater: n or -32?
n
Let q = 691 - 381. Let k = -471 + q. Which is smaller: -1 or k?
k
Let v be (-12)/198 + (-3125)/165. Is v at least as big as -25?
True
Let v = 12831/89896 - 19/136. Which is greater: v or -1?
v
Let s = -114 + 2154/19. Let r(h) = -1636*h - 14724. Let p be r(-9). Which is smaller: s or p?
s
Let h = 815 - 802.351. Let g = h - -0.351. Is -1/6 < g?
True
Let b = -17384 + 1442950/83. Let n = 18982/415 - b. Which is bigger: 45 or n?
45
Let x(q) = -6*q - 20. Suppose -15 + 10 = u. Let d be x(u). Suppose -6*t = -d - 20. Which is greater: t or -4?
t
Suppose -11 - 8 = 19*f. Let u be f + (-24 - 3)/(3/10). Is -90 less than or equal to u?
False
Let j = -8299 - -8300. Which is smaller: j or 7/18?
7/18
Let t(z) = z**3 - 17*z**2 + 46*z + 3. Let y be t(14). Let r(g) = 19*g + 5. Let d be r(15). Suppose -15*f - d = -20*f. Is f != y?
True
Let y = -997 + 1487. Let r be y/(-162) - (12 - 15). Let g(m) = m - 2. Let o be g(3). Are r and o equal?
False
Let b = 117 + 163. Suppose -18*v - b = 26. Let g be (-2 - -1)/((-2)/(-6)). Which is bigger: v or g?
g
Suppose -2 = -2*q - 4. Let i = -53766/552085 + 52/545. Do q and i have the same value?
False
Let z be (21/14)/((-12)/32*1). Let u be z - (5 - -8)*-2. Is u less than 22?
False
Suppose 7932*f - 64 = 7934*f. Let z = -153.6 + 153. Does z = f?
False
Let k = -159 + 143.8. Let r = -0.0528 - -15.0528. Let d = r + k. Which is smaller: d or -21?
-21
Let m be ((-10)/(-30))/((-196)/(-66) - 3). Let u be -6*(-4)/12 - (-19)/m. Is u >= -2?
True
Suppose -9*z = -7*z - 4. Suppose -4*d = -21 + 9. Suppose -d*q + 8 = f, 5*f + 2 = 4*f + z*q. Which is bigger: f or 13/6?
13/6
Suppose 3 = 4*v + o, -305*o - 6 = -5*v - 304*o. Let c be 1/(-2)*8/107. Which is greater: c or v?
v
Let m(b) = -b**3 + 6*b**2 - 5*b - 3. Let y be m(5). Let h be (-30)/(-528)*4*(-12)/y. Let p be 2/(-5) - 8/(-20). Which is bigger: h or p?
h
Let o = 2/43 + -187/3096. Let k be ((-25)/(-2))/((-24)/48). Let q be (10/k)/(4/(-10)). Which is smaller: o or q?
o
Let f = 184 + -181. Suppose c - h - f = -0*c, 0 = -2*h - 8. Are c and 9/22 equal?
False
Let o(q) = -169*q - 11943. Let p be o(-59). Is -1972 less than p?
False
Suppose 6 + 40 = 75*r - 29. Is -4/235 <= r?
True
Let q be (-16)/(-72) + (-7)/(-9). Let a = q + -14. Let v be 16 + a - 208/70. Do v and 1 have the same value?
False
Let t(j) = j + 8. Let r be t(-6). Suppose 4*z + 4*y = -4, -z - 2*y = r - 0. Suppose 21*g + 128 = -35 + 37. Which is greater: g or z?
z
Let y be 113 - 11/(77/35). Suppose 172*r - 167*r + 108 = 4*w, 0 = 4*w - 4*r - y. Do w and 197/7 have the same value?
False
Let p = -7111 + 7122. Is 13 bigger than p?
True
Let m(a) = a**2 + 53*a - 105. Let g be m(2). Which is greater: -52 or g?
g
Suppose 0 = 19*h + 4340 + 942. Let x = h + 1179/4. Are x and 18 unequal?
True
Let t be (4/(-54))/(20/(-12)). Let c(a) = -8*a**2 + 66*a - 15. Let j be c(8). Which is smaller: j or t?
t
Suppose -2*h - 2 = 3*n, 2*n - 4*n + 7 = 3*h. Suppose 4*s - 16 = 0, h*m - 2*s + 2776 - 388 = 0. Which is greater: m or -475?
-475
Let k be 3*2 + -1 - 58/(-432)*-44. Is k greater than 0?
False
Let w be 3/2*(-5 - -3). Let d(p) = 4*p - 38. Let b be d(6). Let f be 4/b*154/24. Which is smaller: f or w?
w
Suppose 41*z - 37*z = 32. Let b be ((-5)/(2075/(-20)))/(z + -2). Which is greater: 1 or b?
1
Let z = 3896 - 3896. Which is greater: z or -1646?
z
Let t(x) = -18*x + 288. Let h be t(18). Let u be ((-36)/(-8))/(h/(-1920)). Is u greater than 240?
False
Let r be 181189/(-413) + 5/(35/(-2)). Let o = r + 479. Is -3 < o?
True
Let w = -571 + 598.1. Let v = w + 3. Let q = v + -30. Which is smaller: 6 or q?
q
Suppose 0 = 6*y + 3*y + 3*y - 0*y. Is y bigger than -13/80?
True
Let p = 20.3 - 6.3. Let d = 14.008 - p. Let i = d + 1.992. Is i > 0.2?
True
Let t = 36 + -120. Suppose 73*c + 1615 = 54*c. Is c bigger than t?
False
Suppose -5*f = -2*r - 6076, -3*f + 44*r - 48*r + 3630 = 0. Do f and 1215 have the same value?
False
Let a be 9 + 224*6/36*-3. Is a at least as big as -514/5?
False
Let f(j) = -4*j**3 - 10*j**2 - 15*j - 12. Let v be f(-5). Let h = 451 - v. Is 137 >= h?
False
Let b = -211 - -214. Suppose 0 = 3*p + 2*y + 31, -2*p + 3*y - 2 = -b. Which is smaller: p or -40/7?
p
Suppose 5*u + 10321 = 3*x - 7566, 5*u + x = -17871. Is -3575 greater than u?
False
Let i be 24831/(-45) + 18/(-60)*(-4)/(-6). Is -553 at most i?
True
Let b = 561555/11 - 51094. Do -45 and b have the same value?
False
Suppose -a - 3*a - 5*h = 159, 4*h + 160 = -4*a. Suppose 3*t = 5*x - 45, 5*x = 2*x. Let u be (-5)/t*(-246)/2. Are u and a unequal?
False
Suppose -45 = 15*w - 30. Which is smaller: w or 3853?
w
Let b = -434 + 434.69. Let r = 0.79 - b. Which is greater: -0.0598 or r?
r
Let b = -138 - -136. Let i(z) be the second derivative of 5*z**4/12 + z**3/3 + z**2 - 2*z. Let u be i(b). Is u not equal to 18?
False
Let q = -8372 - -8371. Is q less than -8/1195?
True
Let y be -3 + (-2 - (-2 - 2)). Let j = 37060657/326 - 113683. Which is smaller: j or y?
y
Let i = 0.021 - 55.021. Let s = i + 53. Let w = -1.3 + 1.48. Is s <= w?
True
Let l be ((-241264)/714)/((-4)/6). Let f = l + -506. Suppose -3*m - 3*w = 2*w - 1, -3*w - 3 = 0. Which is greater: f or m?
m
Suppose 0 = 5*d + d + 24. Which is smaller: 1.068 or d?
d
Suppose 6 = 3*x - p, -x = -14*p + 10*p - 24. Which is smaller: x or -4/2553?
-4/2553
Let d be (-5