han c?
True
Suppose 0 = -14*h + 57497 - 17849. Let w be (1/(-2))/((-24)/h). Is 62 bigger than w?
True
Let z = -87.9262 - -88. Let x = 0.0262 + z. Let w = -15 + 2. Is w != x?
True
Let u(y) = -6*y - 98. Let b be u(-17). Suppose 2*x + 16 = -b*t + 12, -4 = -x. Which is smaller: -13/4 or t?
-13/4
Let g be (-2)/(4/(-6)) + -23 + 16. Let o(l) = -4*l**3 - 2*l**2 - 28*l - 113. Let d be o(g). Is d at most 223?
True
Let w be (36/15)/(4/50). Suppose 2*j + w = -4. Suppose -2*p - 5*u = -u + 28, 3*u + 77 = -5*p. Which is smaller: p or j?
j
Suppose -p = 4*f - 23, -4*p + 2*f = 4*f - 50. Let m be 3*p/(297/(-6)). Let d = -4273/35 + 828/7. Is m <= d?
False
Let g(m) = 3*m**3 - 73*m**2 - 329*m + 5. Let p be g(-5). Do -554 and p have different values?
True
Let h = -1868 + 2851. Let b = -7849/8 + h. Let j = -2 - -3. Which is smaller: b or j?
j
Suppose 5*n - 5 = 5*d, 4*d = -3*n + 12 + 19. Suppose -n*j + 8*j - 377 = -x, -3*x - 3*j + 1107 = 0. Is x at most 365?
True
Suppose -28*c - 3*c = -93. Let o(n) = 35*n - 81. Let k be o(c). Is k < 27?
True
Let s = -309 + 549. Suppose -y = 3*y + s. Let c = -46 - y. Is c <= 14?
True
Let m be (-9)/(-7) - (-1712)/(-749). Is m at least -15/836?
False
Let r(b) = -11*b + 87. Let u(d) = -10*d + 86. Let o(a) = 3*r(a) - 2*u(a). Let v be o(8). Which is greater: v or -5?
-5
Let f(u) = -u**2 + 21*u + 46. Let b be 4 + (1/(-3))/(19/342). Let d be f(b). Is -7/8 at most d?
True
Let g be (-567)/2268 + (3250/13032 - 0). Does g = -1?
False
Let f = -3777 - -3776. Is f != 2561?
True
Let a = 506.9232 + 0.0768. Let b = a + -506.97. Is b at least 15?
False
Suppose -5*l = -41*l + l - 1330. Which is bigger: l or 51?
51
Let y be ((-3)/(-75))/((-537)/(-15)). Are -1 and y non-equal?
True
Suppose -3*j + 455*g - 454*g = 3043, 4*j = g - 4055. Is 1 > j?
True
Let o = 37022 - 36358. Is o less than 2/17?
False
Let g be (1 - (-2 + 1))*24/312. Is g smaller than -147?
False
Suppose 0 = 432*v - 425*v + 518. Let o be (v*(-2)/6)/((-60)/90). Is o bigger than -27?
False
Suppose 3*n - i = -2*i + 13, 5*i = -n + 23. Let v be (-5543)/(-1288) - n/7. Which is greater: 4 or v?
4
Let c = -75 - -127. Let z(l) = -5*l**3 + 3*l**2 - 2*l. Let t be z(2). Let m be (t/(-480))/(1/6). Which is smaller: m or c?
m
Suppose 208*d - 204268 = 172004. Does 1807 = d?
False
Let m = -297 - -296.8. Let z = 0.9 - -15.4. Let w = 16 - z. Which is smaller: m or w?
w
Let f(t) = t + 17. Let i(p) = 2*p**3 + 2*p**2 + 4*p - 2. Let w be i(-2). Let v be f(w). Let l be (2 - -1) + v/1. Does l = -0.3?
False
Let n = 69 - 61. Let s be n + -8 - (-18)/(-69). Suppose 4*q - 3*u = 2*u + 11, -u + 1 = -4*q. Is q less than or equal to s?
True
Let p = -203 + 206. Suppose -x + 2*x - p*u - 10 = 0, 0 = 2*x - 5*u - 17. Which is smaller: x or 3/8?
3/8
Let d be 20251/(-5962) - (-21)/6. Is 0 at most d?
True
Suppose 5*r - 8 = -3*v, 3*r - 4*v - 37 + 38 = 0. Is 28/533 bigger than r?
False
Let q be 3/(-7) - 1299/(-3129). Let v = -145/298 + q. Which is greater: v or 82?
82
Let b be 0 - (8 + (-441192)/55616). Let d = 3/88 - b. Is d equal to 2/7?
False
Let p be (-2 - -2) + (-4)/(-1). Let s be (-112)/24*p/14. Let z = 5 + -5. Which is greater: s or z?
z
Suppose 4*k = -1 - 3. Suppose 2075 = 2*l - 7*l. Let r = l - -415. Is r at most k?
False
Suppose 0 = 5*w - 187 + 37. Let c = w + -18. Let s = 177 - 166. Which is smaller: c or s?
s
Let z be (-4 + 8)*(-603)/27604. Which is greater: z or 0?
0
Let y(d) be the first derivative of -d**4/2 - 2*d**3 - 3*d**2/2 - 9*d + 161. Let u be y(-3). Is u greater than -5/21?
True
Let o = 11113 + -144475/13. Let b = -1.5 - 0.5. Which is smaller: b or o?
b
Let a be 162636/364*1*(-6)/2907. Let t = 2/2261 - a. Let k = 15 - 13. Is t at most k?
True
Let v(g) = 33*g - 125. Let a be v(6). Let n be (-5)/31*(-453)/a + -1. Is n at most as big as 1?
True
Let g be (-164896)/1024 - 7/(-224). Are g and -22 nonequal?
True
Suppose 16 - 60 = -i. Let z be ((-1)/3)/((-2)/12). Suppose m + i = -a + 3*m, -78 = z*a + m. Are -39 and a equal?
False
Let o = -1456/9 - -162. Let p = 1/9 + o. Let y = 0.31 - 0.11. Is y > p?
False
Suppose -214*w + 216*w = -k - 261, 4*w + 517 = -k. Which is smaller: w or -25?
w
Let g = -382 - -387. Let d be 1 - (-4 + g)*1. Which is greater: 28 or d?
28
Let q = -35.57 - -36. Let d = 0.1522 - 0.2322. Are d and q unequal?
True
Let p be (-54)/((-172)/(-20) + -4 + -5). Let g = -12 + 16. Suppose 0 = -g*n + d + 543, 0*n - 393 = -3*n - 4*d. Do p and n have the same value?
True
Let d = 166 - 163. Let x be 3 + d/((-1008)/1002). Is x smaller than 0?
False
Let i = 4.205 - 2.105. Which is bigger: i or -4/147?
i
Let m(d) = 202*d**2 - 39*d + 114. Let i be m(3). Is 1815 at least i?
True
Let w = -1874 - -15015/8. Suppose 4*p - 20 = 0, -p + 1 = -3*z + 2*z. Is z at least w?
True
Suppose -3 + 9 = 3*m, -4*m + 8 = -4*z. Which is greater: -8/1121 or z?
z
Let x be (-5)/(1090/(-327)*(-15)/(-4)). Suppose 0 = i - 2*h + 5, 0*h - h + 6 = -4*i. Which is bigger: x or i?
x
Suppose 45*v - 15 = 1231 + 194. Which is bigger: v or 219/7?
v
Let m(k) = -11*k - 2 - 13*k + 119*k**2 - 118*k**2. Let p be m(7). Is p equal to -122?
False
Let k = 2720.882 + -2725. Let h = k + 0.118. Which is smaller: 5 or h?
h
Let p be (-4 - -5)*1 - 2. Let w be 2 + p + 4/5904*-2559. Let g = w + -2/123. Is -1/3 smaller than g?
False
Suppose 6*t = -0*t - 6. Let p = 21611/188865 + -15/1399. Is p at least t?
True
Suppose 4*z = 5*d - 14, -10*z + 2 = 2*d - 8*z. Suppose 5*m + x - 17 = 3, 2*x = d*m - 8. Which is smaller: 3 or m?
3
Let y = 7930 - 7937. Which is bigger: y or 100?
100
Let z = 270 + -265. Suppose 25 = -z*k, 5*m + k = m - 5. Which is smaller: m or -2?
-2
Let d(f) = -f**3 + 7*f**2 - 3*f + 8. Let z be d(6). Let o be 6*(-3 + 75/10). Let x = z - o. Which is smaller: 2/95 or x?
x
Let f be -3*(3 - 204/9). Suppose -552 = 104*y - 2272 - 4312. Is f > y?
True
Let j(g) = -2*g**2 + 106*g + 5. Let u be j(29). Which is greater: 1398 or u?
1398
Let x be 14/(378/(-195)) + (-2)/(-9). Let g be (263 + -2)*((-42)/x)/90. Is 18 at most as big as g?
False
Let b(j) = j**3 - 7*j**2 + 5*j + 7. Let i be b(6). Suppose 4*t = 4*x - 16, -t - x = -5*x + i. Let y be (t/(-10))/((-4)/8). Are -6/17 and y equal?
False
Let f = -0.04 - 0.06. Let k = 5801/2501 - 140/61. Is k bigger than f?
True
Let z be (87/(-48) - -2)/(39/(-30)). Let s = z - 1/104. Let j be (-3 - -5) + (1 - 2). Is s less than or equal to j?
True
Let n be 0 + -5 - (0 - 2175)/5. Let p = n - 148. Are 283 and p non-equal?
True
Let b = 74.956 - 78.756. Let h(n) be the third derivative of n**6/120 + n**5/30 - n**4/24 - n**3/6 + n**2. Let g be h(-1). Which is bigger: g or b?
g
Let c = -41.95 - -57. Let z = c - 15. Let w = 126 - 124. Is w greater than z?
True
Let b = -0.19877 - -0.14877. Which is smaller: -73/4 or b?
-73/4
Let n = 5.05324 + -0.05324. Let m = -0.06 + 4.06. Let u = m - 7. Is u < n?
True
Let b be 4/(-3)*(7 - 25)/6. Suppose -5*y - h = -19, b*y - 2*y = -3*h + 5. Suppose -79 = 5*l - 2*k, l = -y*l - 2*k - 71. Which is greater: -13 or l?
-13
Let w = 22 - 28. Let p = w + 5. Let q be (-8)/(-64)*6/8. Which is smaller: p or q?
p
Let n(l) = -238*l + 2148. Let x be n(9). Which is bigger: x or 19?
19
Let q(h) = -3*h**3 + 2*h - 4*h**3 + 2*h**2 + 0*h**2 + 1393 - 1403 + 4*h**3. Let i be q(-3). Is i < 83?
False
Let r(s) = -11*s + 2. Let v be r(-3). Suppose 0 = 6*p - 9*p - c - 94, -c = -p - 34. Let b = p + v. Is 3/2 greater than or equal to b?
False
Suppose -26*z = 481 + 1937. Let h = 221 - 311. Which is smaller: h or z?
z
Let d(j) = j**2 - 3*j + 38. Suppose 2*p = p. Let y be d(p). Which is bigger: y or 36?
y
Let w(z) = -15*z - 244. Let y be w(-19). Are y and 37 nonequal?
True
Let f = -447.62 + 447.63. Is 2/95 >= f?
True
Suppose 3*z - 17 = 4*r, -2*r = z + 16 - 15. Suppose z*v = 2*g + 318, -g + 99 + 228 = 3*v. Do v and 107 have different values?
True
Let u = -6 + 4. Let s be 4/4*(1 + u). Let f be 9885/(-5931)*(-2)/255. Which is greater: f or s?
f
Suppose 5 = l - 44. Suppose d = 3*a + l, 0*a + d = a + 13. Let q be 1/(-6)*a/(-8). Is -1/3 bigger than q?
True
Let i = 76 - 25. Let z = -51 + i. Let u = z + -17. Is u < -18?
False
Let q = -94619/1508 - -251/4. Let u = q - -4143/754. Which is greater: 8 or u?
8
Suppose -4*k = -2*v - 0*v - 1442, -2*v - 1083 = -3*k. Which is greater: 364 or k?
364
Let l = -0.7 - -0.5. Let a = -298.123 + 0.123. Let r = a - -297.8