i be 1 + ((-2)/(-5))/(4/(-35)). Is i >= -7?
True
Suppose 5*f - 15 = 5. Suppose c = 6*c + f*q + 222, -3*c - 4*q - 138 = 0. Let a = 127/3 + c. Which is bigger: -1/13 or a?
a
Let y be (-4)/(-14) - 10525/(-35). Let j = 6922/23 - y. Which is smaller: j or -1?
-1
Suppose 0 = 2*o - 2*k - 3*k - 14, -8 = -3*o + k. Let x be ((-1 - 1)/o)/1. Let c be 0 - (x - (-13)/15). Is 2 less than or equal to c?
False
Let t = 3664597/30 + -122142. Let w = -154747/14880 - 1/2976. Let q = t + w. Which is smaller: q or 0?
0
Let f(k) = -2*k**3 + 18*k**2 - 2*k + 18. Let j be f(9). Is j smaller than -3/43?
False
Let i = 144 - 226. Is -1 <= i?
False
Let b(w) = 3*w - 1. Let o be b(-5). Let y = 362 - 348. Let u = y + o. Which is smaller: -5/4 or u?
u
Suppose 29*a + 6185 = -14318. Is a < -707?
False
Suppose 0 = -31*u + 11*u - 620. Suppose 2*c - 66 = 4*n - 2*n, -2*n - 51 = 3*c. Which is greater: u or n?
n
Let v = -85243978510/3370003857747 + -2/114575319. Let u = v - 2/439. Let i be 0*(20/(-8))/(-5). Is i greater than u?
True
Let v be (-18)/2*(17 - -26). Which is bigger: -386 or v?
-386
Let z be (2/(-5))/((-11)/110). Suppose -5*h + 16 = u - 5, -u - z*h + 17 = 0. Let m be 1*(2/(-2) + 3). Is m > u?
True
Let b = 133.0381 - 0.0381. Is b <= 2/5?
False
Let v = -71 + 70. Do 2/149 and v have the same value?
False
Let j(m) = m**3 + 12*m**2 - 14*m - 16. Let v be j(-13). Let f = v + 6. Let t be 12/f*4/16. Which is smaller: t or 1/3?
1/3
Let s(y) = -3*y**2 - 6*y. Let v be s(-3). Let b be -2 - 176/(-84) - 3/v. Which is smaller: b or -0.1?
-0.1
Let i be (3 - 5)*(-1)/17. Let v = 453/44 - 41/4. Is v < i?
True
Suppose -6*q - 78*q - 51 = -33*q. Let t = 3347/220 - 61/4. Which is bigger: t or q?
t
Let c(m) = 22*m**2 + 2*m + 5. Let o be c(-7). Let z = o - 28859/27. Is 0 at most as big as z?
True
Let m = -366.2 - -420. Let s = -70 + m. Let f = -16 - s. Is 0.1 != f?
True
Let p = -2023/65 + 156/5. Suppose 0 = -2*s + 3*c + 16, s - 4*c = 3*s + 12. Suppose -s*i + i = -0*i. Is i less than p?
True
Suppose -195 = -17*l - 8. Is l smaller than 99/8?
True
Let j = 2/107 + 3941/963. Let m = -413/99 + j. Which is smaller: m or -1?
-1
Let a = -48.1 - -51. Let o = a - 30.9. Which is smaller: -1 or o?
o
Let d = 20416/41 - 498. Let r(s) = s**3 - 6*s**2 + 8*s + 5. Let g be r(4). Suppose g*t = 2*t - 5*t. Is d equal to t?
False
Suppose 0*m = 5*n + m - 19, 2*n = 2*m - 2. Let p be (12/16)/(n/(-48)). Is -12 greater than or equal to p?
True
Let x = 2 + -2. Suppose 0*m = 3*f + 4*m - 11, -2*f + 4*m - 26 = x. Let a be (-1)/7*2*f. Which is bigger: a or 1?
1
Suppose -218*u = -211*u + 105. Let o(j) = -5*j + 4. Let h be o(4). Which is smaller: h or u?
h
Let o = 18874/154703 + -6/2309. Let z = -468/1675 + o. Which is bigger: 1 or z?
1
Suppose -3*r + 11 = -4*p, -p - 11 = -5*r - 4. Let x be p/8*2 + -1. Which is bigger: x or 8?
8
Let o be 387/86*(-2 - -1*12). Is -8 bigger than o?
False
Let h(s) = -2*s**3 - 4*s**2 - s + 2. Let j be h(-2). Suppose 0 = 4*t + j*n - n + 3, 3*n = 2*t - 3. Let c be 60/(-54) - (0 - t). Is -1 less than c?
False
Let t = -1 + 1. Suppose t = -2*r - 4*f + 3 - 23, -r + f = 1. Suppose -2*d = -6*d - 8. Does d = r?
False
Let o = 1702 + -11919/7. Let v = -1 - -5. Suppose -v*j = -0*j + 4. Is o > j?
True
Let m = -0.0266 - -2.0266. Is m > 47?
False
Let h = -2 + 8. Suppose 5*z - 3 = -3*s, 4*z = -5*s + h + 12. Let d(v) = v**3 - 5*v**2 - 7*v + 8. Let w be d(s). Which is smaller: 3 or w?
w
Let x = -33.34 - -34. Let n = -0.44 - x. Which is bigger: 2 or n?
2
Suppose -3*m = -4*m - 4*p - 2, -2*m + 5*p = -9. Let b = 0 - m. Let l be ((-6)/12)/(b/(-4)). Which is bigger: l or -1/8?
-1/8
Let s be (4/6)/((-1)/12). Let i = -21 + 25. Let m = s + i. Do m and -6 have different values?
True
Let i = 13863704/871 - 15917. Which is smaller: i or -1?
-1
Let n = -74 + 75. Is 2/57 less than or equal to n?
True
Suppose 3*o + o - 4 = 0. Let u be -5*o*(-9)/45. Suppose 4*f + 14 = 2*x, 0*x + x + u = -2*f. Is -2 greater than or equal to f?
True
Suppose -2*a - 2*a - 3*y = -35, -5*a + 45 = 4*y. Suppose 0 = -a*k + k + 8. Which is smaller: k or -0.1?
-0.1
Suppose -2*x - 102 = 3*y + y, 0 = -2*x - y - 90. Let w = 44 + x. Is 3 at least as big as w?
True
Suppose -4*w - 11 = 3*y, 2*w - y = -3*w + 10. Let b be 0 + 0 + -1 + w. Suppose 3*a - 1 = 4*z, z - 4 - 12 = 4*a. Is b < z?
False
Suppose 27 = r + 2*r. Suppose -4*a - 12 = -4, -3*a = l + r. Which is smaller: l or -4?
-4
Let y = 2.02 + -2.2. Let w = -2.32 + y. Let m = w + 2.5. Which is greater: m or -15?
m
Suppose -2*k + 0*r = 3*r - 94, -r + 49 = k. Suppose -3*y = 2*g + 69, 3*y + 3*g + 16 = -k. Is -22 at most as big as y?
False
Suppose -2 = 3*d + 2*j + 3, 3*j = -3. Do -1/87 and d have the same value?
False
Let k be (10 - (4 - 3)) + -5. Let g = 33 + -35. Which is greater: k or g?
k
Let h = -5 + 18. Suppose v = -2*t - 10, -h + 53 = -4*v + 4*t. Do -9 and v have the same value?
False
Let q = 143/3 + -721/15. Is -5/2 bigger than q?
False
Suppose -7*f + 2*f = -2*a + 35, -37 = -4*a - f. Suppose 21 = 5*x - 2*q, 4*q + 15 = -4*x + 5*x. Suppose 4*w - 42 = -3*n, 2*w = 5*n + x*w - 53. Are n and a equal?
True
Let o = -9 + 0. Let z be 6 + (-1 + -5 - 8). Which is greater: o or z?
z
Let f(g) = 7*g + 14. Suppose 0 = t + 6. Let r be f(t). Let x be (-4)/14 - (-13)/r. Which is smaller: -1 or x?
-1
Let s = -0.064 - -0.015. Let m = 2.349 + s. Let t = -3.3 + m. Which is smaller: -1.2 or t?
-1.2
Suppose 0 = -3*k - 35 - 19. Let n be (9/k)/(1/2). Let p be (n - 207/(-213))*-1. Which is smaller: -1 or p?
-1
Suppose 0 = -3*y + 5*u + 104, 103 = -2*y + 5*y - 4*u. Is y greater than or equal to 33?
True
Let a = 59 - 59.1. Let z = -4367/24 + 182. Which is smaller: a or z?
a
Let n be 21/6 - 2/4. Suppose 2*s + n + 31 = 0. Let c = 21 + s. Is c at most 0.1?
False
Let s = -2437 + 2424. Which is greater: -3 or s?
-3
Suppose 12 = 4*j, -52 = -0*g - 5*g + j. Suppose -g*c = -13*c. Suppose c*q - 3*q - 6 = 0. Is q > 13?
False
Suppose 4*u + 2*q + 68 = 0, q = 4*u - 2*u + 30. Let g be ((0 - -1) + -2)*-17. Let f be ((-2)/2)/2*g*2. Are f and u nonequal?
True
Let u = 9 + -94. Let j be (-3)/(-6)*6/3. Let w be ((-2)/u)/(j/(-5)). Which is greater: w or -1?
w
Suppose -p - 20 + 23 = 0. Suppose 5 = -2*t - 13. Let w be 3/(t/2)*-3. Which is smaller: w or p?
w
Let k(t) = -30*t + 220. Let p be k(8). Which is greater: -34 or p?
p
Let r = -2330 - -697. Is r equal to -1633?
True
Let y = -423 + 432. Suppose -5*n - 5 = 5*r, 3*n + 7 = -2*r - 0*n. Which is bigger: y or r?
y
Suppose -b - 12 = a + 4*b, -3*b - 15 = -2*a. Let s be 4/5*(a + 352/(-124)). Are s and 1 nonequal?
True
Let u = 85732/15 + -5713. Is 1 smaller than u?
True
Suppose -19*z - 117 = 73. Let s = 12 + -21. Which is greater: s or z?
s
Let w(r) = -3*r - 3. Let t(y) = -y**2 + 4*y + 3. Let m = 8 + -3. Let a be t(m). Let q be w(a). Which is smaller: q or -1?
-1
Let a be ((-8)/4)/2 + 99. Let n = a - 23. Is n at least as big as 74?
True
Let x = -126 + 151.2. Let o = x - 26. Let k = -7/12 + 5/6. Do k and o have different values?
True
Let j = -375 + 49. Let c = j - -3583/11. Which is greater: c or 0.1?
0.1
Let w = 158 - 184. Which is bigger: 9 or w?
9
Let z(k) = -k**3 + 5*k**2 - k - 4. Let h(u) = 5*u. Let m be h(1). Suppose m*t - 25 = -0*t. Let s be z(t). Is -9 less than or equal to s?
True
Let l = 0.0042 - 0.3042. Is l > -92?
True
Suppose -3*o - 10 + 13 = 0. Suppose -o = v + 6. Is 0 equal to v?
False
Suppose 7 = 3*h - 8, 4*h - 8 = -2*g. Let m(d) = d**2 + 8*d + 7. Let c be m(g). Let j = c - -9. Are j and 1 nonequal?
True
Let y = -18 - -11. Let s = -1 + y. Let h = 12 + s. Is h not equal to 2/5?
True
Let o(c) = -11*c - 12. Let q be o(8). Let w = -148 + q. Let i = 7194/29 + w. Which is smaller: i or 0?
0
Let x(o) = o**2 + 11*o + 11. Let m be x(-10). Let g = m - 1. Let c(k) = k**3 + 5*k**2 - 12*k + 15. Let i be c(-7). Is i at most g?
False
Let a be (-3)/21 - 1835/(-7). Let d = 65 - a. Let u = d - -1579/8. Which is greater: -1 or u?
u
Let d = -40 - -5. Let o = -41 - d. Which is greater: o or 1?
1
Let t(s) = s**3 + 4*s**2. Suppose -f + 2 = 2*u + 5, 3 = 3*f + 2*u. Let w be t(f). Let n be 2/7 - 39/w. Is n less than or equal to 4?
True
Let a be ((-4)/(-4))/(1/(-3)). Let f be 1 - ((-3)/a)/1. Suppose 2*b = -f*b. Is b greater than 2/3?
False
Suppose 12*q + 988 + 1016 = 0. Are -166 and q unequal?
True
Suppose 0 = 4*q + q + 5. Suppose -1