 + 6881. Let d be m(-62). Is d bigger than -2/9329?
False
Let h be 256/18 + 36/(-162). Suppose h*k - 5*k = 3600. Let p be 1 + 0 + k/(-368). Do p and 1 have different values?
True
Let d = 144 - -751. Is d > 897?
False
Let k be (1632709/(-181415) + 9)/(4/(-20)). Is k <= -2/5?
False
Let w = -34 + 62. Suppose 5*v = -3*y + w, -2*v - y + 15 = 4*y. Which is smaller: v or 7?
v
Let f = 69495/589 + -3036/31. Do 20 and f have different values?
True
Suppose 240*l = 3*q + 236*l + 6332, 5*q + 3*l + 10592 = 0. Which is smaller: q or -2115?
q
Let a = -9008 - -9009. Is 4086 <= a?
False
Let f = -198036751/67465 - -14677/5. Let l = 809606/175409 - f. Is 4 not equal to l?
True
Let d be (-8)/7 + (-2016)/(-392). Let z = 13 - 9. Suppose 2*a - 5 = -3*c - 3, 0 = -d*a - c + z. Which is smaller: 4/33 or a?
4/33
Let t = 5.393 + -5.393. Are t and -2348 unequal?
True
Suppose l + 5*y = -116 + 57, 43 = -5*l - 4*y. Let c be 2/(-44)*(-4)/110. Which is smaller: l or c?
c
Suppose 180 = 8*a + 2*a. Suppose 0 = -0*q - a*q + 954. Let d = -66 - -120. Which is greater: q or d?
d
Let m = -53.999 - 0.001. Let h = m + 28. Let u = h + 23. Is u != -9?
True
Let b(t) = -t**3 + 22*t**2 - 18*t - 24. Let q be b(21). Let y = q - 45. Let z be (-2)/(-3*(16/68)/(-2)). Which is smaller: z or y?
y
Let n(l) = -77*l - 1022. Let g be n(-8). Which is smaller: -413 or g?
-413
Let n = -26.1 + 40. Let i = n + 6.3. Let o = i - 20. Is o > 0.11?
True
Let z(c) = 12*c - 54 - 31 + 16 - 39. Let f be z(9). Does 1/200 = f?
False
Suppose -120 = 8*j - 0*j. Let d(k) = -k**3 - k**2 + 6*k + 7. Let z be d(-5). Suppose -73*b + 56 = -z*b. Which is bigger: b or j?
b
Let m be (-1 + 0)/(-1) - (-2 + -615). Let y = -17299/28 + m. Suppose 2 = 3*a + 5*t + 14, -5*a = 3*t + 4. Does a = y?
False
Suppose h = 3*g - 19, -3*g + 3*h + 14 = 7*h. Let y = 25 - 22. Suppose 2*k - y = -q, 3*k - g = -0*q - 2*q. Which is smaller: q or 18/11?
18/11
Let n = -827/1402 - -63/701. Is 5/188 > n?
True
Suppose 146 = -2*s + 5*t, 0 = 3*s - t + 97 + 148. Let p = 18 - 106. Let w = p - s. Is -4 at least as big as w?
True
Let l = 1202.3901 - -0.6099. Is -2/7 at most l?
True
Let r be ((-10)/(-8))/((-3)/(-12)). Let o be ((-12)/(-18))/(r/(-3)). Let w = 128 + -124. Do o and w have the same value?
False
Let i = 12853.1 + -12852. Is -843 > i?
False
Suppose -190*j - 359623 + 2762947 = -274*j. Are j and -28610 unequal?
True
Suppose -3*f + 4 = -3*b - 4*f, 0 = -4*b + 3*f + 12. Suppose b = -3*c - o - 74, 0 = -2*o - 1 - 3. Which is smaller: c or -26?
-26
Let x = 97 - 88. Suppose 0*c + 3*c = -3*i + x, 3*c - 2*i - 24 = 0. Let g = c - 3. Is 2 smaller than g?
True
Suppose 0 = -5*l - h + 148, 5*h = -4*l + 2*l + 73. Let a(w) = -4*w**2 - 48*w - 1. Let y be a(-9). Suppose y*r - 210 = 100*r. Is l < r?
True
Let u be (-291)/18 + ((-21)/18)/(-7). Let w be (-72)/(-10) + u + 18. Which is greater: w or 8?
w
Let z = 1113 - 1114. Let n be (z/2)/(1/126). Suppose 5*q - 233 = 4*y, -y + 3*q - 36 = 17. Is y < n?
False
Let v be (-23166)/(-1794) - (-4)/46. Let g be -4*((-18)/8 + 3). Let w be (-11)/(-1) + g/(-1). Is w != v?
True
Let j be (16044/20)/((-35)/(-175)). Is 4011 greater than j?
False
Let a = 65 + -63. Suppose -f + 0*h - a = h, 0 = -5*f - 3*h - 2. Which is smaller: f or 10/9?
10/9
Suppose -6345 = -41*b - 4*b. Let q = -422/3 + b. Let k = -15.39 + 16. Which is bigger: q or k?
k
Let m(b) = 2*b**2 - 25*b + 17. Let v(n) = 4*n**2 - 51*n + 33. Let f(x) = 7*m(x) - 3*v(x). Let s be f(17). Suppose -11*t + 700 + s = 0. Is 85 > t?
True
Let o(z) = -z**2 + 45*z + 120. Let p be o(31). Which is smaller: p or -0.2?
-0.2
Suppose 40*x = 44*x + 12. Let l be 2 + (x - (-1015)/795). Let t = -3/53 - l. Does t = -28/9?
False
Let v = -0.218 + 0.36. Let j = v - 0.242. Let m = 0.69 + -1.39. Which is bigger: j or m?
j
Let b be (-4)/10 - (-1368)/195. Let t(p) = -13*p**2 - 1225*p - 275. Let m be t(-94). Which is bigger: b or m?
m
Let z be (12/4)/(6/4). Suppose z*p = 6*p - 204. Let j be 3*(-73)/p + 4. Which is smaller: 1 or j?
j
Let y = 6147 - 6204. Do y and -9.3 have the same value?
False
Let q = 13722 - 8809. Which is smaller: q or 4914?
q
Suppose 1553 = 7*s + 5193. Are s and -522 equal?
False
Suppose 0 = 3*g - 4*x - 975, 27*g - 26*g - 363 = -5*x. Let h be (-3322)/(-10) - 7/35. Which is smaller: g or h?
h
Let f = 59/1350 + 62471/176850. Is 1 equal to f?
False
Let o(c) = -c**2 - 10*c - 6. Let q be o(-9). Suppose q*d = -d + 3*l + 15, -d - 5 = l. Let u be (d - (-3)/9)*3. Which is smaller: u or 3?
u
Let d = 1016 - 4137/4. Let r(i) = -i**2 - 12*i - 29. Let h be r(-11). Are h and d nonequal?
True
Let k = 356 - 582. Which is smaller: k or -230?
-230
Let m be (-7)/(-112)*546 - (-2)/(-16). Suppose 30*v = m*v + 24. Which is greater: v or -3?
-3
Let o be (21 + (-6392)/306)/(((-1)/(-6))/(-1)). Let y = 35 - 12. Which is smaller: o or y?
o
Let k be 1*-2 - (-42 + 1 - -3). Let h be (928/(-870))/(k/(-50)). Is h less than or equal to 2?
True
Let f = 171 + -82. Let j = -78 + f. Let y = 13 - j. Do -9 and y have the same value?
False
Let s = 397 - 395. Let m = 6 + -5.99. Let q = m - -3.99. Is s less than or equal to q?
True
Let d = -0.31435 - -0.05435. Which is greater: 49 or d?
49
Suppose -281 = 6*y - 275. Let m(o) = o**2 - 5*o - 2. Let q be m(y). Is q at least as big as 43/8?
False
Suppose 4*o + 20 = 0, -2*o + 4 = q + 1. Let m = 151692 + -151678. Which is smaller: q or m?
q
Let t = 1 + -1. Suppose -3*p = 2*h + 19, -3*h + h - 2*p - 14 = t. Which is greater: -5/6 or h?
-5/6
Let k = 0.78 + 35.22. Let v be (666/189)/(5/(-3)). Let o = v + 12/5. Is o greater than k?
False
Let v be (-847)/2415 + (-3)/(-9). Let z = 169 + -170. Which is smaller: v or z?
z
Suppose 105 = 4*n + 3*x, -n - 4*n = 5*x - 130. Let u = 42 + n. Let a be 429/66 - 21844/(-344). Is u <= a?
True
Let m = 43318 - 196447128/4535. Which is bigger: 0 or m?
m
Let w = 1029 + -1029.2. Is w at most 280?
True
Suppose -15*d + 24*d = -34*d + 50439. Is d at most 4693/4?
True
Suppose -15 = -4*i + 7*i + 5*z, 5*i + 5*z + 15 = 0. Which is smaller: -3/1003 or i?
-3/1003
Suppose -4*v - 2*b + 18 = 6, -3*v = -3*b + 9. Let p be 62/186*(1 + -1 + -3). Let o be (p - 4) + (-1296)/(-126) - 5. Are o and v unequal?
True
Let s = -2596364183/11007 + 235883. Is -1 < s?
True
Let b be (-3 + 16 - 3) + 5. Let f be 54/104*(b + (-629)/51). Is f > 1?
True
Let f = -3137 + 2869. Which is smaller: f or 27?
f
Let m = -88 + 91. Let h be (-5)/m*(-228)/2090. Is -1/16 greater than h?
False
Let f = 7923 - 7208. Is f less than or equal to 716?
True
Let g = -65.6 - -43. Let j = 22.3 + g. Which is bigger: j or 0.4?
0.4
Let a(c) = 27*c**2 + 8*c - 41 + 10 - 41*c - c**3 + 2*c**3. Let g be a(-28). Which is smaller: 110 or g?
g
Let v = -43 - -45. Let c(y) = -y**3 + 2*y**3 - 4*y**2 - 7*y**v - 12*y. Let o be c(12). Which is greater: 0.22 or o?
0.22
Let i(b) = -43*b - 18 - 53*b + 90*b. Let j be i(-3). Which is greater: j or 4?
4
Suppose u - 9 = -5*l, -4*l + 89 - 85 = 4*u. Which is smaller: 100/309 or u?
u
Suppose 70*m + 21150 = 145*m. Is m at most 251?
False
Let l = 132 + -130.78. Let z = -1485.22 - -1470. Let d = l + z. Which is smaller: d or 1?
d
Let k = 606 + -3028/5. Let y = -22/5 - -423/95. Is k >= y?
True
Let j(l) = l**2 - 5*l + 4. Suppose 1 = 2*i - 7. Let z be j(i). Suppose z*v - 20 = -v. Which is bigger: 19 or v?
v
Let p(i) = 6*i**2 + 9. Let d be p(-4). Suppose -75 = -5*o + d. Let l = o - 36. Is l less than -1/32?
False
Suppose -1280 = 399*c - 403*c + 4*n, -c = 4*n - 290. Is 1574/5 > c?
True
Let m(z) be the third derivative of -z**5/60 - 11*z**4/24 - 10*z**3/3 + 4*z**2. Let n be m(-9). Let c = 56 + n. Is c > 55?
False
Suppose -4*f + 5*x = 3267, 1095 = -f - x + 276. Which is smaller: f or -812?
f
Let p = -1403 - -625. Let z = p + 767. Is z less than or equal to 30?
True
Let x = -7560 - -7549. Let u = 0.2 - 1.1. Does x = u?
False
Let m(u) = u**3 + 163*u**2 - 161*u + 587. Let d be m(-164). Which is bigger: d or -33?
d
Let w = -1584 + 1579. Which is bigger: -159 or w?
w
Let n = -137171 - -82714163/603. Which is bigger: n or 0?
n
Suppose 23*c + 23*c = 230. Let a be (-14)/(-18) - 16/(-72). Suppose -5*l - 1 + 6 = -c*r, r = 2*l - a. Which is smaller: r or 1/46?
r
Let g be ((-10)/(-3) - 3)/(1/18). Suppose 7*c = 4*c + g. Let x be (c + 56/(-23))/(1 - 0). Which is bigger: -1 or x?
x
Suppose 2*m - 184 = 3*z, -3*z - 111 = -z + m. Let 