n?
True
Suppose -1004*y + 690 = -1009*y - 5*h, 5*h - 276 = 2*y. Is y less than or equal to -144?
False
Let h(a) = -a**3 - 37*a**2 + 42*a + 68. Let q be h(-38). Let u be 1 - 17/((-255)/q). Is 2 greater than or equal to u?
True
Let r be (11 - (-90)/(-10))*(1/(-2))/(-1). Which is bigger: 3/188 or r?
r
Let z be (2 - 0)*(37827/(-54) - 29). Is z at least -1457?
False
Let j = -31410 + 31409.9. Let o be (2 - 0)*(-1)/41. Is j at least o?
False
Let h be (-20)/(-50) - 30/(-50). Let d = 3595 - 672269/187. Is h at most as big as d?
False
Let j = 2523 - 2533. Let d = -0.4 - 0.7. Let v = 1.2 + d. Is v > j?
True
Suppose 5*u - 17*l = -18*l + 13, -5*l = -5*u - 5. Which is smaller: 35/47 or u?
35/47
Let q = -710093/897 + -32/897. Which is smaller: q or -791?
q
Let s = 716.259 + -6.459. Let y = -710 + s. Which is greater: -208 or y?
y
Suppose -4*j + 0*j - 5*h - 613 = 0, 4*h = j + 148. Let q = j - -172. Are 14 and q nonequal?
True
Let y = 118 - 117. Which is bigger: y or 6166?
6166
Let o be (18/27)/((-10)/6 + 0). Is -154 < o?
True
Let s = -3935 - -3970. Is 56 equal to s?
False
Let c(f) = f**3 + 2*f**2 + 2*f + 4. Let i be c(0). Let z be i/24*0*1/(-3). Which is greater: -1/257 or z?
z
Let u(v) = 510*v**3 + 7 + 5*v - 516*v**3 + v + v - 2*v**2. Let z be u(-4). Let g = -649/2 + z. Which is greater: g or 6?
g
Let w = -576 - -4048/7. Suppose 2*s + 18*a - 19*a - 1 = 0, 4*s = -5*a + 23. Is w < s?
False
Let o(f) = f + 5219*f**2 - 12 - 5220*f**2 + 20*f. Let d be o(20). Which is greater: d or 5?
d
Let r be 2/23 + 2070/529 + -5. Let z = -38075/902 - -465/11. Which is bigger: z or r?
z
Suppose -5*g + 0 = 2*s + 30, 5*s = 4*g + 24. Let i = 7 + g. Let p be (-54)/18 - 5/(10/(-4)). Which is bigger: i or p?
i
Let j = -267377 + 197056879/737. Is j at most 1?
True
Let y = 426587/72355 - -2/2495. Is 7 >= y?
True
Let c(g) = -g**2 + 124*g + 97. Let n be c(85). Are n and 3411 equal?
False
Let k be 4*3/78 + (-152)/(-26). Suppose 441 - 123 = k*h. Let j = -58 + h. Do -1/4 and j have the same value?
False
Let w be 13 - (9542/3159 + 10). Which is smaller: -1 or w?
-1
Suppose 2*k - q - 24 = 58, 83 = -18*q - 97. Suppose b - 50 = -4*h + 114, -4*b + 205 = 5*h. Is k >= h?
False
Let g be 80/(2240/84) + (-252)/(-2)*6. Which is smaller: -0.13 or g?
-0.13
Suppose 231 = 38*n - 73. Suppose 154 + 46 = n*g. Which is smaller: 28 or g?
g
Suppose a = -i + 3*i - 27, 5*i + 2*a - 90 = 0. Let h(v) = -12*v - 14*v + 35*v - v**2 + 8 - i*v. Let l be h(-8). Is 0 less than l?
False
Let x(b) = 20*b + 70. Let c be ((-65)/10 - -7)*(14 - 0). Let y be x(c). Is y > 211?
False
Let g be 2825/(-21) - (356 - 381). Is g less than or equal to -111?
False
Let q = -2390.5 - -2387. Which is bigger: -1/50 or q?
-1/50
Suppose b + 3*z - 5*z = 5, 5*z - 25 = -5*b. Suppose b*x - 4*x = -8. Let u be -8 - ((-2)/(-1) - 0). Is x > u?
True
Let g(t) be the third derivative of -13*t**4/12 + 13*t**3/3 + 5*t**2. Let k be g(-12). Let p = k + -2699/8. Is p greater than 1?
False
Let m = 0.01 - 2.21. Let s = 9.3 + m. Let n = s + 0.9. Are 1/4 and n equal?
False
Let o be 6*(-6)/4 + (-219885)/60 + -13. Which is bigger: o or -3687?
o
Let h = 85 + -343/4. Let s = 3958 + -3883. Is s less than h?
False
Let b(z) = -235*z + 117*z + z**2 - 7 + z**3 + 121*z. Let k be b(0). Is k >= -0.18?
False
Let u = 10704/7 - 1005651/658. Which is smaller: 0 or u?
0
Let a be (-1 - -3) + -2 - 1. Let r(z) = -z**2 + 4. Let w be r(0). Let t be w*(-2)/52 - 0. Is a <= t?
True
Let n be 4 - (5 + (8 - -10)). Let q(l) = -l**2 + 2*l + 1. Let p(b) = -b**2 + 2*b + 2. Let i(g) = 4*p(g) - 3*q(g). Let k be i(6). Is n at most as big as k?
True
Let k = -595497/101 + 5896. Is k greater than -52?
True
Let k = 840 - 844. Which is smaller: -791 or k?
-791
Let b = -0.2 - 0.08. Let h = b + 0.15. Let t = 234 - 469/2. Is t bigger than h?
False
Suppose 0 = l - q + 208, 4*q + 1148 = -4*l + 308. Let b = 420 + -630. Is b > l?
False
Suppose -2*x + 5*f = 2*x + 99, -3*f - 77 = 2*x. Let v = x - -38. Suppose j - 3*y + 4 = 0, 5*j - 2*y - 32 = -0*j. Which is bigger: j or v?
j
Let h = -9778 - -9778. Which is smaller: h or 3/245?
h
Let j = 8 - 5. Let g be (-1)/(-6) + (-3 - 119/(-42)). Suppose 4*n - 4 = -3*b, g*n - 12 = -j*n. Is b less than -6?
False
Let g = -55585 - -55508. Let d = -192 - -116. Which is smaller: d or g?
g
Let x(w) = 2*w**2 - 153*w + 6. Let m be x(75). Is m at least -151?
False
Suppose 0 = -274*z + 522*z + 394*z - 353742. Are -0.7 and z equal?
False
Let c(v) = 131*v**3 + 6*v**2 - 46*v + 235. Let z be c(4). Which is smaller: z or 8529?
8529
Let i = 7650 - 7904. Which is smaller: -264 or i?
-264
Let y = -32 - -79. Let j(x) = 13*x**2 - 6*x + 9. Let u be j(2). Which is smaller: y or u?
y
Let s(t) = 378*t**2 + 5*t + 3. Let b be s(-1). Let h = b + -876. Let c be (-1992)/h + (1 - 5). Is c > 0?
False
Let z be (-63)/18*(-20)/7. Suppose z + 38 = -6*n. Let c be 1/6 - n/6. Is c < 2?
True
Let g(c) = 692*c + 17 + 49 - 714*c. Let f be g(3). Which is smaller: f or 21/43?
f
Let f = 813.04814 - 0.04814. Is -1/3 < f?
True
Let k = -161623/39792 + -2/2487. Which is bigger: k or -5?
k
Let h be 21/105 - 6259/(-55). Which is smaller: h or 96?
96
Let h = -103 - -146. Suppose 2*l + 2 + 20 = 4*s, -s + 10 = -5*l. Let d(t) = t**3 - 4*t**2 + 2*t + 6. Let o be d(s). Is o at most as big as h?
True
Let f(a) be the second derivative of -14*a + 1/12*a**4 - 5/2*a**2 + 0 - 4/3*a**3. Let w be f(8). Is w != -3?
True
Let d(j) = j**2 - 4*j - 17. Let h be d(7). Suppose 5*k = -h*p + 5*p - 9, 2*k = -2. Let l = -11/3 + p. Which is smaller: -1 or l?
-1
Let p be (-4 - -1) + 2/2. Let d = -416 - -409.4. Let i = 6.8 + d. Is p greater than i?
False
Let d = -53.738 + 31.711. Let v = -0.027 - d. Let x = v + -22.1. Is 0.8 bigger than x?
True
Let l = -102 - -38. Let f = -65 - l. Let d = 41/6 - 545/78. Which is bigger: d or f?
d
Suppose 5*m = 2*v + v + 17, -5 = -m + v. Let c(o) = -o - 3. Let d be c(-7). Let i be (-1)/d + 3/9. Which is smaller: m or i?
i
Let s = 71.7 + -82. Let r = -10.31 - s. Let j be (-4)/12 + 0/(-5). Which is greater: j or r?
r
Suppose 6*o = -8 + 2. Let m be (6/(-9))/((-9)/(-27)). Let c be 4 - ((o - -3) + m + 3). Which is smaller: c or 1/27?
1/27
Let d = 6863 - 4770. Which is smaller: 2091 or d?
2091
Suppose 0 = 8*h - 18*h - 40. Let b be (-2 - 11/h)*(-72)/(-11034). Is b > 0?
True
Let a = -0.442 - -234.442. Let b = a + -231. Which is smaller: 30 or b?
b
Let l = -30677 - -30678.1. Let b = 6.7 - 7. Is l less than b?
False
Let g = 2.05 + -192.05. Let b = g - -188. Which is greater: -125 or b?
b
Let p(q) = -q**3 - 7*q**2 - 6*q - 1. Let d be p(-6). Let x be 1/((3/(-387))/(d/(-3))). Which is greater: x or -44?
x
Let z(h) = 942*h + 97. Let l be z(8). Which is smaller: l or 7632?
7632
Let f = 9.266 - 9.376. Is 8 greater than or equal to f?
True
Let m be (1957 + 77)*(-3)/9. Is m equal to -676?
False
Let o be 6 + 0 + 4 + -2. Suppose 2*k - o = k. Let i be k/3 + (-4 - (-3 + 1)). Which is greater: i or 2?
2
Let p = 72 + -76. Let n be (6/(6*p))/(2/(-24)). Which is greater: n or -2?
n
Let d = 202 + -202.097. Let z = 0.103 - d. Let v = 144 + -1437/10. Is z at most v?
True
Let q = 61 + -54. Let l = -6 + q. Let w = 133 + -1731/13. Which is bigger: w or l?
l
Let h = 5.9 - -0.1. Let s = -33 - -37. Let y = 2 - s. Which is bigger: h or y?
h
Suppose t - 125 = 2*n, t + 171 = -3*n + 331. Which is bigger: 1822/13 or t?
1822/13
Let y = -264581/26 - -10171. Is y not equal to -4?
True
Let d be (-92)/(-460)*2*-74 - 3/(-5). Suppose 4*f + 2*v = -3*v - 133, f = -4*v - 47. Is d less than or equal to f?
True
Let c be (-8)/(-18) - (-6014652)/(-13497246). Is 0 < c?
False
Suppose -14 + 17110 = 8*n. Which is bigger: 2138 or n?
2138
Let v = -6688/469 + 496/67. Is v >= -2/5?
False
Let j be ((-4)/12*0)/(-3). Let b be ((-8346)/2331 - -3) + 92/161. Is b <= j?
True
Suppose -4*q + k = -39, -q + 21*k - 37*k - 234 = 0. Let l = -42 + 16. Is l less than or equal to q?
True
Suppose -24 = -4*a, -4*c + 6077 = 3*a - 17177. Which is bigger: 5810 or c?
5810
Let o(q) = -q**3 - 2*q**2 - q - 11. Suppose 1101*l - 33 = 1112*l. Let v be o(l). Which is bigger: 4/57 or v?
v
Let g be (-1)/((-10)/(-2277)) + (-32)/(-160). Let n = 1138 + -1367. Is n bigger than g?
False
Let p = -78 + 124. Let o be (-4)/6*(-2 - 4). Suppose 225 = d + o*d. Which is smaller: p or d?
d
Let x be ((-50)/(-15))/((-8)/12 + 0).