 = -3*b - 4*f - 32. Let g be 28/21*(-66)/b. Do g and 22 have the same value?
True
Let l be (-41)/(-3) - (-98)/(-7). Is l not equal to -2/3?
True
Let o(z) = -z**2 - 27*z - 15. Let s be o(-26). Suppose -4*w + 42 = 2*u, -4*w = -u - 4 + 25. Let b = -17 + u. Is s at least as big as b?
True
Let c = -1686866/311 + 5424. Which is smaller: 14 or c?
c
Suppose 14*b + 10*b - 1551 = 35*b. Is b not equal to -141?
False
Let z be (6*(-257)/(-21573))/((-268)/(-636)). Let t = 2/3417 + z. Is t >= 0?
True
Let f be -6 - ((-13 - (-93)/9) + 2/(-6)). Does -100 = f?
False
Let h = -7130 - -7219. Which is smaller: 107 or h?
h
Let o = -17282 - -51848/3. Is -1.1215 less than or equal to o?
True
Let j(d) = -d + 6. Let c be (-52)/(-12) - (-5)/(-15). Let p be j(c). Suppose -l - 4*l = -p*h + 239, 194 = -4*l + 3*h. Is l equal to -48?
False
Suppose -88*j = -106*j - 10188. Which is bigger: j or -565?
-565
Suppose 5*y = -0*y + 15. Let d(l) = 2*l**3 + 13 - 5*l + 0*l**3 - 6*l + l - 2 - 13*l**2. Let f be d(7). Which is greater: f or y?
y
Let w = -611.4 - -542. Let n = 73.4 + w. Which is smaller: n or -2/43?
-2/43
Let t(j) = j**3 + j**2 - 28*j - 57. Let p be t(-5). Is p != 0?
True
Let o = 0.88 - -4.22. Suppose -4 = 4*l - 2*l - 4*x, 3*x = -5*l + 3. Which is greater: l or o?
o
Suppose 0 = 2*j + k + 5 - 21, 0 = -4*j - 5*k + 26. Let b be (-9)/6*(15/j + 3). Which is smaller: b or -29/5?
b
Let c be 8/(-10) + (-832278)/(-106710) + -7. Is 1 at least as big as c?
True
Suppose -f - 10 - 15 = -4*r, -5*r - 2*f = -28. Let k be 6/(-150)*-5*(-10)/r. Let z = -0.033 - 0.387. Is z at most k?
True
Suppose 3*i = 41*j - 45*j - 26, -j - 2*i + 6 = 0. Suppose 0*p = p + 2. Let v = -17 - p. Which is smaller: v or j?
v
Let r = -1291/6510 - -142/93. Which is greater: r or 1?
r
Let r be (-2)/8 + 2 - (-9)/(-12). Let u be r + 6311/15 + 2. Let h = u - 424. Which is smaller: 0 or h?
h
Let d(o) be the third derivative of o**4/24 - 5*o**3/6 - 16*o**2. Let y be d(9). Suppose -4*k + 0*z - 6 = -z, 3*k = y*z - 11. Is -42 > k?
False
Let m(u) be the third derivative of 1/2*u**3 - 4*u**2 + 0 + 0*u - 1/12*u**4 - 1/30*u**6 - 1/60*u**5. Let x be m(2). Is x at least as big as -38?
True
Let p = 69.3 + -68.85. Let a = p + -3.45. Which is greater: a or 19.6?
19.6
Suppose 434 = 5*y - 2*g + 108, -4*y - g = -266. Is y at least 80?
False
Let g = -0.0001 - -456.0001. Let m = g + -456. Which is bigger: 241 or m?
241
Let n = 0 - 1. Let c = -2099.82 - -2130.82. Are n and c nonequal?
True
Let j be (54 + -11 + -15)*(-10)/(-8). Let c = 4 - -1. Suppose -c*r = 2*r - j. Is r smaller than 3?
False
Let s = 16.12 + -16. Let y = s - 0.32. Let d = 2392.6 + -2397. Do d and y have different values?
True
Let i = 4 - 47. Let d = 0 - i. Let l = d + -36. Which is greater: 0 or l?
l
Suppose 26*q = 29*q - 579. Suppose -582 = 199*w - q*w. Are -96 and w non-equal?
True
Suppose -15 = i - 5*q + 5, 3*q = 5*i + 12. Suppose 10*c + i*c = 270. Let p = -4 - -30. Are p and c nonequal?
True
Suppose 17*l - 16*l - 27 = 0. Let o = 21 - l. Let m be (180/(-16))/(-3)*o/(-27). Do 2 and m have the same value?
False
Let w(x) = -x**3 - 84*x**2 - 97*x - 2219. Let l be w(-81). Is l > -14045?
False
Let s = 20.5877 - -10.0828. Let g = 8.4485 + s. Let a = g - 0.119. Which is bigger: 1/2 or a?
a
Let f = 3887 + -3935.39. Let h = -71 + 119. Let l = h + f. Which is greater: -2/9 or l?
-2/9
Let u be 0/(-7) - -78 - 4. Is 91 at most as big as u?
False
Let i be 0 - (-14 - (-1 + -3)) - 2. Let f be 1*-1*i/(-8). Which is smaller: 2 or f?
f
Let r(x) = x**3 - 2*x**2 - 5. Let h be r(3). Suppose 4*w + n = -w - 22, -h*w - 14 = 2*n. Let u be (w/(-27))/((-9)/108). Which is greater: -3 or u?
u
Let h be 3/(-12) + (-197912)/(-27296) - 7. Is 2 less than or equal to h?
False
Suppose 478 = -5*p + 3*j + 1583, 5*p - 5*j = 1095. Let m = -215 + p. Is 80/9 at most m?
True
Let b be -6 - (-15 + 11 + -5). Suppose 6*f = b*f - 54. Is f at most -22?
False
Let o = -6 + 5.6. Let a = -0.6 + o. Suppose 7599 - 7389 = -7*r. Is a bigger than r?
True
Suppose 31*q = -4*q - 3*q + 38. Which is greater: q or -0.0831?
q
Let m be 0*(1 - 0) - (-39 + (7 - 7)). Is -4 less than or equal to m?
True
Let k be (-47)/(3055/(-2314)) - 14/(-2). Are k and 43 equal?
False
Let s be -6*((-8)/3 + 2). Let j be (216/(-162))/(4/(-9)). Suppose s*z + 70 = -j*z. Does -9 = z?
False
Suppose l + 5*o = 3*o + 2, -5*l = -4*o - 10. Suppose 4*k - 12 = 8, l*n - k = -175. Are -82 and n nonequal?
True
Let y = -140309 - -7155473/51. Are -5 and y non-equal?
True
Let v be (-1)/(-3) - (-1)/(-5). Let i = -0.0043 + 289.0043. Let u = i + -293. Is v smaller than u?
False
Let k(q) be the first derivative of q**2/2 + 20*q + 18. Let i be k(-10). Let d be ((-6)/(-16))/(i/(-8)). Which is smaller: d or 1?
d
Let z be (-1118)/5 - (-34)/(-85). Let g = z - -3137/14. Which is bigger: g or -24?
g
Let k be 4 - 708/126 - -3. Let l = k - 934/357. Which is smaller: 0 or l?
l
Let o = -449 + 426.6. Let y = o - -22.4. Is y greater than 0.2?
False
Let d be (-34)/18 - -2 - 7161830/234. Which is greater: d or -30605?
-30605
Let s be ((-4 - -9) + 1)*(-5)/(-2315). Which is bigger: s or -1?
s
Let g = 0.39 + -21.39. Let l = 19.4 + g. Let f be 10*(-15)/450 + 0 + 0. Is l greater than f?
False
Let c = 12 + -2. Let v be (3396/8490)/((-2)/3). Which is smaller: v or c?
v
Let g = -2760 - -2792. Which is smaller: 131/4 or g?
g
Let f(a) = 143*a + 10. Let k be f(1). Is 184 less than k?
False
Let v = 576 + -178. Let o = v - 399. Which is smaller: o or 2/165?
o
Suppose 0 = 2*z + 3*z - 5*t, 2*t + 4 = z. Let g be (-565)/(-843) - ((-28)/(-6) + z). Is g > -1?
True
Let v be (6 - 385/56)*(-2)/7. Is v at most -1/3841?
False
Let z = -45199/2 + 22742. Is 2 > z?
False
Let p = 233/18 - 2617/198. Suppose 5*i - 3*i - 34 = 0. Suppose 0 = b + 4*z - i, 18 = -2*b - z + 6*z. Is p <= b?
True
Let w be 4/(-38) - 154/(-19). Let r be 2/6 + w/3. Let d(c) = c**2 + c - 13. Let o be d(r). Which is smaller: -11/9 or o?
-11/9
Let x(t) = -t**3 - 20*t**2 + 21*t + 63. Let l be x(-21). Suppose 4*f - 13*p - 44 = -9*p, -3*p = 3*f - l. Is 17 smaller than f?
False
Let k = -714/43 + 481365/28982. Suppose 0 = -5*w + 2*q - 18, 65 - 38 = 3*q. Is k greater than w?
True
Suppose -98 + 207 = -109*c. Which is greater: c or 2/3803?
2/3803
Suppose 8*d + 999 + 681 = 0. Let i = d - -629/3. Suppose -4*m - 3*h + 5 + 4 = 0, -4*h + 12 = -2*m. Which is smaller: i or m?
i
Let x = 306 + -261. Let a be (-14)/(-49) - x/35. Let n = -36/55 + 5/11. Is a < n?
True
Let a(l) = -8*l**2 - 13*l - 36. Let t be a(-6). Let g = 734/3 + t. Do g and -3 have the same value?
False
Let i = 40 - 38. Let w = i + -1.13. Let r = w + 0.13. Is r greater than or equal to -10?
True
Let u be ((48/10)/12)/(4/10). Let z be 50/(-3460)*((-8)/(-10))/u. Do z and 1 have the same value?
False
Let u = -147 - -72. Let d = -75 - u. Suppose 0 = -2*j - d - 4. Which is smaller: j or -13?
-13
Let n be 9/(-192)*1145/(-60)*8. Which is bigger: 7 or n?
n
Let n = 92306 + -92510. Suppose 3*d - 4*d = 203. Is n equal to d?
False
Let s = 1681 + -1582.1. Let b = 133.72 - s. Let c = 35 - b. Is 1/2 less than c?
False
Suppose -30*y = 5*m - 26*y - 146, -2*y + 34 = m. Is 341 at most as big as m?
False
Let h = 167692/5 + -33537. Is -544 at most as big as h?
True
Suppose 0 = -h - g + 1, h = 37*g - 42*g - 31. Which is smaller: -212 or h?
-212
Suppose 4316 = 25*w + 4291. Let j(c) = -2*c**2 - 2*c. Let x be j(-2). Is x at least as big as w?
False
Let u = -108 - -102. Let y be 2/((u/21)/(24/(-56))). Suppose -i = y*n - 6*n + 159, 4*n = -4*i + 196. Which is greater: 2/3 or n?
n
Suppose 0 = 2*a + 5*k - 4146, 0*a - 3*a - 2*k + 6230 = 0. Suppose -296 + a = -22*q. Is -80 greater than q?
True
Let p = 282 + -252. Let g = 1007 - 974. Which is smaller: g or p?
p
Let g(u) = u**3 + 2*u**2 - 4. Let w be g(-6). Let c = -213 - w. Let d = c + 59. Are -44/9 and d equal?
False
Suppose 0 = -404*a + 408*a, -4*t + 2*a + 4 = -3*a. Are -2/12061 and t equal?
False
Suppose 353511 = 256*q - 60441. Is 1618 at most q?
False
Let v = 101 + -300. Let n be v/(-2) + -2*2/8. Which is greater: 98 or n?
n
Let z = -2/63 - 59/126. Let h = -154 + 162. Let c be 16/(-32)*h/(-19). Which is bigger: c or z?
c
Let g be ((-158)/3)/(36/(-54)). Let p = g - 78. Which is greater: p or -1/143?
p
Let g = 9120 - 9114. Which is smaller: -50 or g?
-50
Suppose -9*k - 23 = 5*m - 5*