et k be (3/(-3))/(11/2). Are r and k equal?
False
Let s be ((48/316)/4)/3. Which is smaller: s or 1?
s
Let u be 1617/407 + (1 - 5). Are 0 and u unequal?
True
Suppose -a + 4 = -0. Suppose -a*z = -k - 3*z - 9, 15 = -k + 3*z. Let c be k/(-4) + 3/(-6). Is 4/7 bigger than c?
False
Let l = -5 - -45. Suppose l = -2*m - 3*m. Let n be (m/6 + 1)*9. Is -2 <= n?
False
Suppose -5*i = 8*j - 13*j + 165, 0 = -3*i - 4*j - 127. Is -35 at most i?
False
Let q be (3/9)/((-1)/(-9)). Let l = -8 + q. Is l bigger than -5?
False
Let z = -0.07 - -0.04. Let s = z + 0.13. Is s equal to -0.2?
False
Let w = -1105/9 + 123. Let j(z) = z**3 - 7*z**2 + z - 8. Let i(k) = -k**3 + 5*k**2 + 6*k + 7. Let f be i(6). Let r be j(f). Is r smaller than w?
True
Let x(j) = j + 1. Suppose 30 = -4*z + 6*z. Let i be 5*(2 + (-27)/z). Let q be x(i). Which is greater: 6/7 or q?
q
Suppose -3*s = 2*s - 10. Suppose s*m - 13 = 5. Suppose 1 = -4*l + m. Which is greater: 3 or l?
3
Let n be 45/42*1 - (-3)/(-6). Is n > 0?
True
Let x = -0.4 - -0.9. Let g = x + 1.5. Let s = g + -2. Is s <= -2/3?
False
Let b = -1.109 - -0.109. Which is smaller: b or 22?
b
Let i be (-4)/(-4) + 252/(-605). Let h = i - -2/121. Which is bigger: h or 0?
h
Suppose 0 = o + 2*i - 13, -o + 2*o = 3*i - 12. Which is smaller: 1 or o?
1
Let z be 2 + 0 + -2 + 0. Let f = -443372/5109 + 368/393. Let g = f + 86. Which is smaller: z or g?
z
Let c = -1 - -4. Let w be c + -6 - (-3 - -1). Suppose -s = -4*s. Is w greater than s?
False
Suppose 3*v - 5*o - 8 - 4 = 0, 4*o + 7 = 5*v. Are v and -0.05 nonequal?
True
Let k(q) = 2*q**2 - 30*q + 32. Let m be k(14). Let d(s) = s**2 + 4*s + 2. Let f be d(-4). Which is smaller: m or f?
f
Let t = -2 - -3. Let b = -2.9 + 3. Is t at most b?
False
Let g be (-105673)/2*3/204. Let p = g - -8569/8. Let r = -294 + p. Is r at least as big as -1?
True
Let b = -9 - -9. Is -34 greater than or equal to b?
False
Let q be 6/(-1) - (-3)/3. Suppose 0*f - 4*f = 0. Suppose f = 4*a - a + 15. Is q != a?
False
Let o(j) = -j**2 - 5. Let x be o(0). Let m(w) = -w - 4. Let v be m(-8). Suppose -5*q - 41 - v = 4*z, -z + 5 = -2*q. Are q and x unequal?
False
Let v = 17 - 17. Which is smaller: -3/8 or v?
-3/8
Let g(v) = -v**2 - 7*v + 2. Let h be g(-7). Let m = 3 - 2. Which is bigger: h or m?
h
Suppose 0 = r - 4. Suppose -3*f - 27 = -5*b, -30 = f + 2*f - r*b. Let v be (4/f)/(15/35). Which is smaller: 0 or v?
v
Let f = 0.2 + 0.8. Let g = -12 - -10.8. Let z = g + f. Which is bigger: 0.1 or z?
0.1
Suppose -3*v - 3 = 6. Let q(k) = -5*k - 4. Let h be q(v). Do 11 and h have the same value?
True
Let z = -0.4 - -0.3. Let s be (7 + -1)/3 - 2. Let j = s + 2. Is j < z?
False
Let m(j) = 2*j**3 + 2*j**2 - j. Let i be m(1). Suppose 5*r - 3*b + 67 - 27 = 0, 4*b = -4*r - 32. Let p = -6 - r. Is i equal to p?
False
Let z = -0.09 - -0.13. Let v = 14.14 + -14. Let m = z - v. Which is smaller: 2/7 or m?
m
Let t be ((-4)/12)/((-2)/(-4)). Which is greater: t or 0?
0
Let h(p) = p**3 + 6*p**2 - 4*p + 3. Let t be h(-7). Which is greater: t or -17?
-17
Let a(j) = -j**2 - j. Let t be a(-1). Let r be -3 - 13/(-4) - t. Which is smaller: -1 or r?
-1
Let i be 2/(-7)*8/56. Which is greater: i or -1?
i
Suppose -3*b = -4*y + y + 15, -y - 3*b + 25 = 0. Let r = -6 - 1. Let m = y + r. Are 3 and m non-equal?
False
Let t = 63 + -64. Let j be (-1)/(-4) + 35/4. Let x be j/6*(-2)/(-1). Is t at most x?
True
Let l(y) = 2*y**2 + 13*y + 4. Let f be l(-7). Is f >= 12?
False
Suppose 3*v - 3*k = 9, -2*v + 9 = v + 4*k. Suppose 0*z - v = -3*z. Which is smaller: 2/3 or z?
2/3
Let u = 10959/4774 + -123/62. Let a = u + -2/77. Is 0 greater than a?
False
Let z = -0.1 + 0.05. Let g = z - 0.05. Let h = -0.1 - -0.1. Are h and g equal?
False
Let k = -164 + 157. Is -2 != k?
True
Let w be -2 - -2 - 8/(-44). Which is smaller: -1 or w?
-1
Let j = -4 - -3. Let a = -257/15 - -74/5. Which is smaller: a or j?
a
Suppose -r = 5*n - 11, 2 = n - 0. Let o = r - 1. Let q = 13 + -12. Which is smaller: o or q?
o
Let x = -63 - -49. Is -15 smaller than x?
True
Suppose 0*g - 12 = -g. Let h be (g/(-9))/((-5)/(-3)). Let d(s) = -s + 1. Let k be d(1). Is h < k?
True
Suppose -w - 5 + 0 = -3*u, -5*u - 5 = -w. Is w > -20?
False
Suppose 3*f + 20 = -2*f. Suppose 2*g = 4 - 0. Let y be 26/(-6) - g/3. Is y less than f?
True
Let b = 38 + -6. Is b greater than -1?
True
Let o = 12 + -13. Do -1/59 and o have the same value?
False
Let b be (0 - -1)*(-7)/7. Let z = 8/37 - 175/296. Which is smaller: z or b?
b
Let w(o) = -2*o - 12. Let i be w(-9). Let d = -9 + i. Do -3 and d have the same value?
True
Let w = -0.06 + 1.02. Let i = w - -0.04. Let p = i + -2. Which is smaller: p or -0.1?
p
Let j = 0 - 3. Let r be 4/18 + (-100)/(-36). Suppose -4*q - q = 5*p + 10, -r*q = -4*p - 29. Which is bigger: p or j?
j
Suppose -2*s + 34 = 2*u, 4*u + 2*s - 3*s = 63. Is u equal to 14?
False
Let z = -1 + 0.4. Let x = z - 0. Let n = 0.5 + x. Is n < 6?
True
Let i be (-2)/(-6) - (-96)/(-234). Let m = -44/65 - i. Which is bigger: m or -1?
m
Suppose -4*r = 5*m - 22, 0 = -2*r + 2 - 6. Suppose -m*j + 3 = -3*j. Is j greater than 4/3?
False
Suppose 0*v = -4*v + 36. Suppose 2*p = -5*k - v - 5, -5*p = -k - 19. Let o be (k/16)/((-6)/(-16)). Which is smaller: o or -2?
-2
Let h(x) = -4*x - 3. Let l be h(-2). Suppose -4*k = -l + 9. Let o be (-1)/k + (-5)/6. Is o equal to -1?
False
Let r be 0 + 0 + (-40)/(-100). Which is smaller: 28 or r?
r
Let i(f) = -f**2 + 7*f - 3. Let r be i(3). Let p be 1/((-3)/r - 0). Suppose -k - 8 = w - 4*w, 2 = 4*k + 5*w. Which is greater: p or k?
k
Let x be 781/6 + 2/(-12). Let u be (-2)/8 + x/680. Which is smaller: -1 or u?
-1
Suppose 4 = -4*w - 20. Is -2 <= w?
False
Let j(k) = k + 7. Let s be j(-8). Suppose 4*l + 12 = 0, 5*v = -3*l - 13 + 84. Let q be (-4)/9*6/v. Which is smaller: q or s?
s
Let n be ((-6)/(-15))/(1/5). Let x be 3/(-12) + (-2)/(-8). Suppose x*k - k = 0. Which is smaller: n or k?
k
Let a = -4 + 5. Suppose -7 - a = 4*o. Is -1/2 smaller than o?
False
Let l be (-50)/18 - (-2)/(-9). Suppose 2*y - 12 = 6*y. Let n = y - 0. Is l at most n?
True
Let l(f) = f**2 + 4*f - 5. Let k be l(-5). Suppose 3*j - 1 + 13 = k. Is -2 less than or equal to j?
False
Let z be (9/(-12))/((-2)/48). Let q be 4/z - (-25)/(-45). Suppose 2*c - c + 1 = 0. Is q > c?
True
Suppose -2*a = -a. Suppose a*h - 3*c + 11 = 2*h, 2*h + 1 = c. Let l(g) = 3*g - 1. Let s be l(h). Is 2 != s?
False
Let q = -1.5 - 1.5. Let b = -1 - q. Which is smaller: b or -0.1?
-0.1
Let g(l) = -l + 4. Let t be g(10). Is t at least -5?
False
Let v be -2*(-2)/10*100/160. Let d = 18 - 25. Let q(s) = -s - 8. Let z be q(d). Which is bigger: z or v?
v
Suppose 2*x = -3*x. Let g = x - -4. Let q = 9 - 6. Which is greater: q or g?
g
Suppose 0 = -3*j - 24 + 198. Let u be (-2)/(-10) - j/140. Which is smaller: -1 or u?
-1
Let j = -3 + 4. Let b(f) = -f + 1. Let w be b(-1). Let d be w/(-2)*1*-1. Do d and j have different values?
False
Let m = -2 + 1. Let s = -0.31 - -0.01. Let r = 0.3 + s. Which is bigger: m or r?
r
Let v be (-6)/4*(0 + 2). Suppose 2*b + 3*c + 2 = 0, 2*b - b = -3*c + 2. Are b and v equal?
False
Let p be 4/14*21/12. Let r = 3 + -3. Are r and p unequal?
True
Suppose 4*p - 20 = 4*f, 3 = 3*f + 4*p + 4. Do f and -33/8 have different values?
True
Let v = 3.9 - 3.02. Let n = v - 0.8. Which is greater: n or -1?
n
Let h = 94 + -93.8. Which is smaller: -36 or h?
-36
Let s = -11/20 - -3/10. Which is smaller: 30 or s?
s
Let u = 0.2 - 5.7. Let x = u - -0.5. Let p = 5 + x. Which is bigger: p or -0.1?
p
Let s = 0.52 - 0.02. Is s at least 2?
False
Let l(d) = 2*d**3 - 8*d**2 + 5*d - 3. Let g be l(4). Which is smaller: g or -2/3?
-2/3
Let c = -5 - 3. Let r be c/(-18) + (-1)/3. Is r greater than or equal to -1?
True
Let a(r) = r**3 + 11*r**2 + 10*r + 2. Let b be a(-10). Suppose -b*p + 4*p = 0. Let s be ((-2)/65)/(2/10). Does s = p?
False
Let i(b) = b + 11. Let w = 7 + -16. Let p be i(w). Suppose r - p*r = 0. Is 2/7 != r?
True
Let d be 23436/(-65) + 14/35. Let k = d + 360. Do 2/7 and k have different values?
True
Let z = -26 + 11. Let b = z + 14.9. Are b and -0.6 equal?
False
Let t(s) = -4*s - 4. Let d be t(-5). Let i = 21 - d. Which is bigger: 19/4 or i?
i
Let m = 10.28 - 0.28. Which is bigger: 0.3 or m?
m
Let q be (2 - 2)/(-8 + 6). Which is smaller: 1/35 or q?
q
Let x = 24/23 - 410/437. Is 0 < x?
True
