
Let d be (3 + -2)/((-4)/(-1 - -5)). Let q be 3920/16 + d - (1 - -3). Is q > 239?
True
Let p = -106/5 - -21. Let t = -29379/3280 - -378/41. Let b = p + t. Is b greater than or equal to 1?
False
Let a be (2/(2 + 0))/(((-40)/(-4008))/(-5)). Which is bigger: 2/5 or a?
2/5
Let l(u) = -u + 30. Let i be l(27). Let d be (4 - (-40)/(-12))*i. Suppose -2*j - 4*w = -32, 5*j - 136 = 2*w + d*w. Are 22 and j nonequal?
True
Let j = 1295 - 1293. Let c = -1.7 - 0.3. Let t = 0 - c. Is j < t?
False
Let u = -83 - -54. Let t = 78.8 - 108. Let n = t - u. Does -29 = n?
False
Let h be (9 - 16 - -4)/(2/2586). Let s = h - -1260673/325. Let u(f) = f**3 - 3*f**2 + f - 4. Let a be u(3). Is a at most as big as s?
True
Let j = -2366 + -1071. Which is smaller: -3439 or j?
-3439
Let t = 58887/2 - 30073. Which is smaller: t or -629?
t
Let n = -2.805 + 0.805. Is n greater than or equal to -9/2?
True
Let c = -6032/3 - -4001/2. Let u(p) = -2*p**3 + p**2 + 23*p - 45. Let w be u(2). Which is smaller: c or w?
w
Suppose 0 = -2*l - 2*l + 12. Suppose 31*h + 43964 = -27*h. Let t = h + 763. Which is bigger: t or l?
t
Let s = -590 + 593. Suppose 0 = 3*h + s*m, -h - 10 = -8*m + 4*m. Is 1 >= h?
True
Let v = 720 + -448. Let x = 273 - v. Is x < -8/31?
False
Suppose -5*g - 15 = 0, g = -k - 4*g + 27. Suppose -d = 2*d - k. Let s = d - 2. Is 47/4 at most s?
True
Suppose 82 = 25*p - 18. Let n be 1/(p/(1 + -109)). Is -31 at least n?
False
Suppose -h = -5*x + 1, 129*h - 16 = -2*x + 132*h. Which is smaller: x or -1/38?
x
Let f = 5/6 + -7/6. Suppose 0 = -q + 3*y + 5 - 4, 2*q - 22 = -4*y. Let w be 0*((-14)/q - -3). Which is smaller: w or f?
f
Suppose 0 = -3*p + 307 + 182. Let x = 163 - p. Which is bigger: 2/103 or x?
2/103
Suppose -5*t = 7 - 127. Let m be 1/27*4*(-78)/t. Is -1 greater than m?
False
Let r = 0.36 + -22.96. Let i = r + 22. Let t = i - -0.7. Do t and 36 have the same value?
False
Let j = -11/118 + 2053/1770. Let s = 17 + -17. Is j at least s?
True
Let m(z) = -z - 4. Let u be m(-8). Suppose -u*k + 3*t - 528 = 0, 0*k + 3*t = 5*k + 657. Is -129 greater than k?
False
Suppose -y = 21 - 3. Suppose 28 = 3*s - 2*b, 0*s + 4*b = 2*s - 32. Let h be (-118)/s + 1/(-9)*-6. Which is bigger: h or y?
y
Let f be (358/(-8))/(30/40). Let w = 1255/21 + f. Let u be (-4 + 3)/1 - 0. Which is bigger: u or w?
w
Let h be ((-153)/18 + 7)*(-38)/(-57). Is h <= 2/48477?
True
Let c be (-498)/2241 + 22/18. Is -19 at most c?
True
Let z = -0.153 - -0.225. Let l = 9.038 + -17.11. Let o = l + z. Which is bigger: o or 2?
2
Let d = 2/12529 + -963596/12529. Is -0.1 smaller than d?
False
Suppose 1826 = -3*t - 2*g, 2*g - 628 = t - 22. Let y = 1819/3 + t. Let c = -0.8 - -6.8. Which is greater: c or y?
c
Let b = -146 - -88. Let t be 50/6 + 2/(-6). Let x be (-1)/(-5)*b*(-8)/t. Which is bigger: x or 11?
x
Let p = -6258 - -6275.505. Let j = -17 + p. Let x = j + 0.055. Is 0 >= x?
False
Let r = -104983 + 104993. Let d(w) = 10*w**3 + w. Let p be d(1). Is p at least as big as r?
True
Let x = -0.03 + -0.97. Let z be (-222)/4 - 6/(-4). Let b be (-4)/(-18) + (-798)/z. Is x greater than b?
False
Let z = -185.9 + -9.1. Let i = 194.8 + z. Are -70 and i unequal?
True
Let l = 47 - 45. Suppose 10 = 2*p, -r - 2*r + l*p - 229 = 0. Let y be 6/(-21) - (-10040)/(-140). Is r at least y?
False
Let m be (18/10)/3 + (-5)/(2425/331). Are m and -1 equal?
False
Let z = 0.13002 + -0.22002. Do z and -58/7 have different values?
True
Let x(m) = -18*m - 110. Let i be x(-6). Let v(y) = -7*y**2 + 3*y - 32. Let q be v(-4). Do q and i have different values?
True
Let v be (-1 - -2)/(45/(-3)). Let o(i) = 4*i + 103. Let d(z) = -32*z + 134. Let n be d(5). Let y be o(n). Which is bigger: v or y?
v
Let g = 260 - 349. Is g at least -96?
True
Let o = -10154 + 9846. Is o <= -291?
True
Let n be (5799/(-9))/(1/1 - (-16)/(-12)). Which is smaller: -0.1 or n?
-0.1
Let v be (-60)/(-402)*(-32)/120. Is v less than or equal to -1?
False
Let k = 4934250/1193 + -4136. Suppose 53 - 107 = y + 5*o, -y + 56 = -5*o. Which is smaller: y or k?
k
Let d = 3416 - 970141/284. Is d >= 0?
True
Suppose 3*n - 91 = -2*q, -3*n = -2*q - 2*q - 115. Let t be (7 - -13)/((-31)/n + 1). Is t less than 330?
False
Let b = -1115 - -1113.95. Is 7 >= b?
True
Suppose 61 = -4*r + 5. Let a be ((-16)/6)/(r/(-231)). Which is smaller: a or -45?
-45
Suppose -3*v - 2*i + 3*i = -71, 4*v + 5*i - 63 = 0. Let o = -25 + 30. Suppose -3*w + 0*w + o*l + 55 = 0, 0 = -4*w - 3*l + 83. Which is bigger: v or w?
v
Let n = 154/277 - -162751/4709. Is 34 != n?
True
Let t be 6/9 - 492/1188. Let s = 6953/693 + t. Let a be 12/(-24) + (-1)/(2/(-19)). Is a <= s?
True
Suppose -2*y = -2*r - 20, 85*r - 89*r - 20 = 0. Which is greater: 160/29 or y?
160/29
Let r(i) = 14*i + 35. Let l be r(0). Suppose 2*n + 4*m = 74, -66 - 8 = -2*n - 3*m. Is l > n?
False
Let i = -35199 + 35196. Is -77/23 != i?
True
Let n = -21212 - -21980. Which is bigger: 749 or n?
n
Let t = 71.1 + -77. Let u = t - -4.8. Which is greater: -1/10 or u?
-1/10
Let h = 1145/22 + -13878/275. Let w = -17/25 + h. Which is bigger: 0 or w?
w
Let a = 3209 - 256739/80. Let d = a - -7/16. Let l be 172/(-215) - 21/(-45). Which is smaller: l or d?
l
Let j(c) be the first derivative of c**5/60 + c**4/24 + 13*c**3/3 + 20. Let f(z) be the third derivative of j(z). Let u be f(7). Which is smaller: 13 or u?
13
Let n = 173 + 40. Let q = n - 223. Is 10 >= q?
True
Suppose 0 = -2*t - 5*f - 295 - 492, -1945 = 5*t + 5*f. Which is greater: t or -385?
-385
Suppose 162 = -28*t + 1814. Which is bigger: t or 992/17?
t
Let y be 0 + 2 - (-28)/2. Let f be (-18)/54*-12 - -13. Which is greater: f or y?
f
Suppose 4*t - 4*v = 444, 116 = t + 30*v - 32*v. Which is greater: t or 30?
t
Let g = 1.458 + -1.4. Let h = g - 0.158. Which is greater: h or -10?
h
Let p(k) = -k**3 - 9*k**2 - k - 105. Let l be p(-10). Which is smaller: 306 or l?
l
Let r(v) = -21*v**3 - 2*v**2 - v. Let i be r(-1). Suppose 3*b + i = 2*y, -3*b + 32 = -8*b + 4*y. Let c be 4/b - 9/6. Are c and -5 equal?
False
Suppose 0*f + 8*f = -16. Let q be (-36)/28 + f/21*-3. Let n = -607/6 - -101. Which is greater: n or q?
n
Let u(j) = j**3 + 104*j**2 + 305*j + 253. Let s be u(-101). Are s and 51 equal?
True
Let u = -20487.014 - -20509. Let w = 0.014 + u. Do w and -2/7 have the same value?
False
Let n be 42/4*(-3)/((-36)/8). Suppose n*g + 50 = 17*g. Suppose -g*t - 4 = 2*q - 1, 0 = -2*q - 4*t. Which is bigger: q or 5?
q
Let c be 1/(-2) - 6/4. Let z be (-20 + 0)*(-27 - 34485/(-1276)). Do c and z have different values?
True
Let j(r) = r**2 + 2. Let v be j(2). Let n be 5/(-10)*v/(-93). Let h be 576/864 + (-2)/(-6). Is n bigger than h?
False
Suppose 10*c - 1945 = -1915. Is 3.2 less than or equal to c?
False
Let u be 2/(-3)*((-5)/10)/(26/78). Is 0.04375 at least u?
False
Let v = -1001 - -545. Let b = -447 - v. Let l = -0.04 + 0.34. Which is smaller: b or l?
l
Suppose 41*h = 13*h - 196. Let f be 23/1*(9 - (3 - h)). Is -22 at least as big as f?
True
Let i = 220 - 229. Let u be (-54)/i - (-422)/(-70). Is -1 at most as big as u?
True
Let u = -7687460/113 - -68032. Which is bigger: -1 or u?
u
Let m be (5*64/(-24))/((-2)/3). Suppose -462 = -18*f - 4*f. Is m at most f?
True
Let f be (-8)/28 - (-5)/((-35)/(-16)). Let p be (f - 2)/(3 - 2). Let o = 64/105 + 2/35. Which is smaller: p or o?
p
Let b(u) = -25*u - 101. Suppose -4*q - 250 + 234 = 0. Let w be b(q). Is w > 2/165?
False
Let h = -31.97 - -1.37. Is 0 less than or equal to h?
False
Suppose 2*u - 18 = 5*i, 6*i = 5*u + 2*i - 11. Let a = 3/1595 + -47889/20735. Which is smaller: u or a?
a
Let g = -193 - -276. Let y = g + -82.958. Is -2 equal to y?
False
Suppose l + 4*d + 9 = -2, -3*l = 3*d + 6. Let w = 517 - 1309. Let h be 176/w + -1 + 140/117. Is l bigger than h?
True
Suppose -2*c - 6*b + b + 9 = 0, 3*b + 1 = 2*c. Let i = -137 - -150. Suppose i*y = c*y. Which is bigger: 3/5 or y?
3/5
Suppose h + 65 = -4*x, 4*h = 5*x + 5*h + 82. Let l(w) = w**2 + 16*w - 13. Let c be l(x). Suppose c*q - 14 = -2. Which is bigger: q or 15/7?
q
Let v(u) = 2*u**3 - 4*u**2 - u + 2. Let d be v(4). Let w be -8*(1 - (-15)/16)/(16/(-64)). Are d and w unequal?
False
Let t = -5 - -7. Suppose -m + 12 + t = 0. Suppose 3*q = 315 - 303. Which is greater: m or q?
m
Suppose 2*r - 4*j + 254 = 0, 2*j = -66*r + 56*r - 1116. Which is bigger: r or -28?
-28
Let i be ((