. Let k = i + -1/195. Let v = -9 + 9. Is v less than k?
True
Let d be (26/26325)/(0 + (-3)/5). Is 1 less than d?
False
Suppose 4*p + 3*a + 14 = 0, 4*a - 5*a = -2. Is -7 greater than p?
False
Let v(n) = n**2 + n + 1. Let s be v(0). Suppose 3*y + 6 = 4*y. Let m be 2/24 - y/(-24). Is s at most m?
False
Let b(y) be the first derivative of -y**2/2 - 5*y + 4. Let l be b(-4). Let c be 4/(-24) + 2/20. Is c less than l?
False
Let v be (9/6 - -1)*(-32)/(-80). Is -8/23 > v?
False
Suppose 5*v + 0*z + 3*z = 36, -4*z + 8 = 0. Suppose 0 = -9*g + v*g. Are 7 and g nonequal?
True
Let b = 0.0297 - 1.0297. Is 18.2 != b?
True
Let n(c) = -c**2 + 2*c + 3. Let o be 0 + 2/(0 + -1). Let z be n(o). Let l be 1/(-2) - z/50. Do 3/5 and l have different values?
True
Let f(g) = g**3 - g**2. Suppose -3*i = 14*n - 12*n - 11, 0 = 5*n + 4*i - 17. Let o be f(n). Which is smaller: o or -1/50?
-1/50
Let y(a) = -a**3 + 8*a**2 - 4*a + 12. Let b be y(8). Let j = -11 + b. Which is smaller: j or -32?
-32
Suppose 4*j = -5*u - 15, 3*u + 0*u = 15. Which is smaller: -15 or j?
-15
Let x = 31018/9051 - -2/1293. Let j(m) = -2*m - 10. Let p be j(-7). Which is smaller: x or p?
x
Let l = -0.9 + 0.88. Which is smaller: l or 2?
l
Let k(y) = 9*y**3 + 5*y**2 + y + 5. Let p be k(5). Let m = p + -138603/110. Let q = 271/1870 + m. Are 0.3 and q unequal?
True
Let d(r) = 9*r**2 + 21*r + 74. Let a be d(-3). Which is smaller: a or 91?
91
Suppose 671 + 449 = -8*c. Which is smaller: -137 or c?
c
Let h be (-64)/48*(1 - 31). Suppose -h = v + 4*v. Let p be v/(1 - -3) - -13. Is p greater than 12?
False
Let z = 1.9 - -0.1. Let d = z - -2. Let x = d + -3.8. Is x not equal to 0?
True
Let a be (81/(-15))/((-567)/1350). Which is greater: a or 1?
a
Let l be (5 - (2 + 2)) + (-2 - 0). Which is smaller: 7/44 or l?
l
Suppose 4*m - 1785 = o, 3*m = 235*o - 230*o + 8908. Is o bigger than -1781?
False
Let d(p) = -6*p**2 - 3*p - 2. Let h(g) = -6*g**2 - 3*g - 2. Let b(a) = -5*d(a) + 4*h(a). Let w be b(-2). Is 21 less than w?
False
Let o(q) = -5 - 2*q**2 + 6*q + 3*q**2 + 0. Let d = -122 - -115. Let c be o(d). Is c != 3?
True
Suppose -2*q + 3*q - 6 = 3*d, -4*q + 4*d = 8. Let p(t) = -t - 15. Let z be p(q). Let l = 2 + -3. Do l and z have different values?
True
Let w be ((-184)/91)/(-1) - 2. Let n be 0*(0/8 - -5 - 6). Do w and n have the same value?
False
Let i = -453/80 + 28/5. Let s(q) = -4*q - 2. Let y be s(-2). Suppose -3*h - y = -2*f, 4 = 3*h - 3*f + 13. Which is greater: h or i?
h
Let l = 353 - 300. Is l <= 53?
True
Let t(j) = -2*j**2 + 15*j - 25. Let i be t(8). Which is smaller: i or -15?
i
Let k(n) = -n**3 - 240*n**2 + 232*n**2 + n - 16 - 3*n. Let p be k(-8). Let m be ((-95)/(-46) - 2)*2. Which is bigger: p or m?
m
Suppose 0 = -4*u, -2*u + 3*u + 23 = -c. Let i(o) = 160*o - 1141. Let n be i(7). Which is smaller: n or c?
c
Let d = 739 + -733. Is d at most as big as 16/3?
False
Let o = 0.096 - -31.404. Let d = o - 32. Which is smaller: -1 or d?
-1
Suppose -5*l + 5 = 4*s - 5, 4*s - 4 = -2*l. Let i be 14/(-27) + -1*s/(-3). Is i at least as big as -1?
True
Let l = 298.6 + -167.6. Which is smaller: l or 1?
1
Suppose -2 = r - 3. Suppose -3*f = -2*p - 5 + r, 3*f - p = 5. Which is smaller: f or -1?
-1
Let y = 1656 + -1439. Which is greater: 215 or y?
y
Let s = 17087 + -16993. Suppose -4*q - 4 = -0. Is s bigger than q?
True
Let d = 1.52 + -0.52. Are d and -22 equal?
False
Suppose 0 = -5*x - 2*c + 8, -3 = -c + 1. Let n = -19478/23 + 847. Which is smaller: x or n?
x
Let a be (-510)/(-51) - (-11)/(-1). Which is bigger: a or 2/1167?
2/1167
Let q be (2 - 0) + 1290/935*-8. Let x = q + 102/11. Is 0 at most x?
True
Suppose 0 = -2*c - 5*i + 19, 3*c - 1 = 3*i - 5*i. Let k = 1 - -1. Let y = k + c. Does -6 = y?
False
Let r = -96 - -106. Let b be ((-4)/r*1)/(2/(-5)). Which is bigger: 4/11 or b?
b
Let w be (-2 + 5)/(9/6). Let i(l) = 8 - 3 + 2 - l**3 + 4 - 10*l - 12*l**w. Let a be i(-11). Which is smaller: 5/8 or a?
a
Let u = -592.72 - -13.72. Which is smaller: 1/4 or u?
u
Let s(l) = -4*l - 16 - l + 0*l + 6*l. Let b be s(14). Suppose 2*o = o - 4. Which is bigger: b or o?
b
Let s be 3 + (16 - 5/(-5)). Let v = s - 20. Suppose -b - 2*b + q - 15 = v, 0 = b + q + 1. Are -5 and b non-equal?
True
Let q = 6 + -15. Let g be 3/q - (-26)/(-3). Is -10 greater than or equal to g?
False
Let u = 1047 - 1024. Which is smaller: 28 or u?
u
Let d(q) = -10*q + 227. Let l be d(-29). Is 517 greater than or equal to l?
True
Suppose -5444 = 59*f - 1137. Which is smaller: f or -23?
f
Let t = -29/4 + 31/4. Suppose 5*o - 10 = 3*o, -r + 2*o = 5. Let y be r/(-4) - (-15)/20. Which is smaller: y or t?
y
Suppose -22*n + 41*n + 1045 = 0. Which is smaller: -59 or n?
-59
Suppose -2*z = -8, -q - 3*q = 2*z - 108. Suppose 8*i - q = 3*i. Suppose i - 1 = -4*u. Is -0.04 >= u?
True
Let g = -4 - -12. Let k = 10 + g. Is k greater than 1?
True
Let a = -6 + 8. Suppose 3*s + 3*n + 84 = 0, 2*s = -2*n + 4*n - 64. Let l be (4/s)/(3/(-30)). Which is greater: l or a?
a
Let z be (14/98)/(1 - (-456)/(-453)). Which is smaller: -22 or z?
-22
Suppose -8*v + 6*v - 21*v = 0. Which is greater: -7/26 or v?
v
Let w = 270 + -266. Let b(m) be the third derivative of -m**6/120 - m**5/60 + 5*m**4/24 + m**3/3 - m**2. Let n be b(-3). Which is bigger: n or w?
n
Let y(q) = q**2 - 4*q - 6. Let b be y(6). Suppose 5*l + 2 = -3, 3*l = 4*t - 127. Let o = t - 24. Is o smaller than b?
False
Let y be -2*(7 + (-324)/56). Which is bigger: -2 or y?
-2
Let z = 3/49 - 227/2107. Let l = -11455/3 + 3855. Let o = 37 - l. Are z and o nonequal?
True
Let g(i) = -2*i**3 + 19*i**2 - 11*i + 10. Let a be g(9). Is -90/13 < a?
False
Let p = 1/6949 - 3530107/104235. Let v = p - -92/3. Is v bigger than -2?
False
Let o = 5073/880 + -63/11. Which is greater: o or -1?
o
Suppose 2652 + 3094 = -4*n - 3*h, 0 = 4*n - 5*h + 5730. Is -1436 < n?
True
Let c = 325/88 - 31/8. Let f be (-96)/(-42) + (-1 - 2). Let u = f + 3/7. Is c less than or equal to u?
False
Let i = 82 - 65. Let z = -1 + 6. Let c = z + -5.1. Does i = c?
False
Let q be 6 + (-2136)/(2 - -4). Is q at least as big as -350?
True
Suppose 5*i + 4*f - 56 - 62 = 0, -4*i - 3*f + 95 = 0. Let y = i - 128/5. Is 43 smaller than y?
False
Let z = 5 - 1. Let o = 1829 - 1831. Which is greater: o or z?
z
Let p(k) = -5*k + 18. Let m be p(4). Let i be 63/(-36) + (-2 - (-2 + m)). Let z = -0.1 - -1.1. Which is bigger: z or i?
z
Suppose 0 = 3*h + a - 1, -2*h - 3*a - 1 = 3. Let q be 10/h - (8 - 5). Suppose 0 = -7*p - q. Which is greater: p or -1/10?
-1/10
Let f = -46 - -45. Let h be (-1 + f - 1) + -2. Are h and 0 equal?
False
Let t be -1*(-183366)/(-33) + 3. Let x = 5547 + t. Is -7 at most x?
True
Let p be (-2)/(-4)*(29513/(-5907) + 5). Which is bigger: -1 or p?
p
Let x = 5.2 - 4.94. Let m = x + -0.33. Do 1 and m have different values?
True
Let a = -255 - -257. Let q(v) = -v**2 + 4*v + 5. Let j be q(4). Let i = 23/4 - j. Which is smaller: a or i?
i
Suppose 0 = 5*n + 24*t - 28*t + 10, 0 = 2*n + 2*t - 14. Which is smaller: 1/2 or n?
1/2
Suppose -3*h + 5*o - 51 = 0, 3*o + 9 = 6*o. Let w = -0.11 + -7.89. Let r = 8.1 + w. Which is bigger: h or r?
r
Suppose -9*m = -508 + 148. Let n = m + -49. Is 2 greater than or equal to n?
True
Let c = -2 - -6. Suppose 14 + 10 = c*y. Suppose 2*j + y = 2*z, 5*j - 4*z = -9 - 4. Is -5/6 at least as big as j?
True
Suppose -4*o = -6*o. Let u be 49/253*-19 + (2 - -1). Let y = 7/11 + u. Which is smaller: o or y?
y
Let p = 379/20 + -19. Let q = p + -33/140. Is -1 less than q?
True
Let k be (15/2)/(-1)*-10. Which is smaller: -1 or k?
-1
Let v be 2/9 + (-493)/(-9). Let s = v - 46. Is 9 > s?
False
Let r be (-4)/10 - 47/(-5). Let z = -52 - -52. Suppose 0 = 3*t - 3*n - 15, z*t - 3*n - 6 = -2*t. Do r and t have different values?
False
Let h = 7.0368 - -0.0232. Let r = -0.06 + h. Let d = 8 - r. Is 1 >= d?
True
Let h be ((-1)/(-3))/(3/27). Is 3 <= h?
True
Let k = 1971 - 9699/5. Is 0 > k?
False
Let q = -378.28 + 364. Let a = q - -14. Let m = a - -0.58. Which is greater: -2/5 or m?
m
Suppose 5*p = 3*m - 322, 5*m - 3*m - 221 = -3*p. Let j = m + -114. Which is smaller: j or 8?
j
Let r = 21 - 21. Suppose 5*b - 4 - 26 = r. Is b less than or equal to 0?
False
Let c(x) = -29*x - 5 + 13*x + 7. Let i be c(-1). Which is smaller: -2/3 or i?
-2/3
Let v be (-6)/(-15) + 1/35. Let g(x) be the first derivative o