 4*k + 16, -5*x - 8 = 2*k. Let n be (-33)/(-15) - 1/5. Let g be 2/n*(7 + -8). Is x at least as big as g?
True
Let j = 12 - -3. Is j smaller than 14?
False
Let i = -1 - -2. Let t = -1 + 3. Is t <= i?
False
Let d = -0.072 - -0.372. Which is smaller: -9 or d?
-9
Let m = -2.967 - -0.017. Let g = m - 0.05. Let q = -4 - g. Is -2/5 smaller than q?
False
Let p = -1/17 - -39/85. Let z = -1.9 - 0.1. Is z >= p?
False
Let o = -12 - -15. Let s = -7 - -6. Let y be (-4)/(-1*2) + s. Which is greater: y or o?
o
Let i = -0.34 + 0.3. Let k = i + -1.96. Let b = 12 + -14. Is b greater than k?
False
Let k = 114 + -116. Which is greater: k or 3/5?
3/5
Let t = 0.33 + -0.2. Let c = -0.03 + t. Let q = -367/72 + 39/8. Is q less than or equal to c?
True
Let f = -13 - -3. Let b be (-5)/(-2) + (-15)/f. Let g be 9/(-5) - (-12)/b. Does 2 = g?
False
Suppose -3*b = 3*k - 143 - 25, -2*k + 3*b + 87 = 0. Is 51 at least as big as k?
True
Let p = -601/35 + 88/5. Which is smaller: 0.07 or p?
0.07
Let o(n) = n**3 - 12*n**2 + 10*n + 10. Let i be o(11). Are i and 17/2 nonequal?
True
Suppose 9 + 3 = v. Let f be (1/3)/((-4)/v). Is -1/11 greater than f?
True
Let d = 50 + -17. Suppose 2*v - v - 2*g = 14, -2*v = -5*g - d. Suppose -4 + 12 = -v*a. Is a > -4/3?
False
Let g = 5 - 3. Let v be ((-4)/(-110))/(g/10). Which is bigger: -0.1 or v?
v
Let b be 30*(1 - 4/6). Let p = 14 - 5. Is p < b?
True
Let h = -30/107 + 8941/214. Which is smaller: 41 or h?
41
Suppose -5*d + 3*g = -32, -2*d + 5*g = 2*d - 36. Suppose -d*w + 3*w = -b - 12, -b = 3. Let y = 7 - w. Is y < -3?
False
Suppose 32 + 3 = 5*i. Which is smaller: i or 0?
0
Let c(q) = -q**2 + 6*q + 9. Let o be c(7). Suppose l - o*s = 2*l + 10, -3*l - 5*s = 27. Are l and -4 nonequal?
False
Let p = 6 - 4. Let y be (-4)/8*p/7. Which is bigger: 0 or y?
0
Let m be (-1599)/(-4) - (-3)/12. Let l = -2795/7 + m. Which is smaller: l or 1?
l
Let j = -39 + 40. Is j bigger than -2?
True
Let c be -15 + 56/(-12) + 1 + 3. Does c = -16?
False
Let a = 2 + -4. Let d(y) = -y**3 + 13*y**2 - 11*y - 14. Let w be d(12). Is a bigger than w?
False
Let s be (((-32)/24)/(-4))/((-1)/3). Is -10/7 greater than or equal to s?
False
Let i be -2 + -1 + 0/4. Let n be i*4*2/56. Which is greater: 0 or n?
0
Let g(n) = n**3 - n**2 - 5*n + 3. Let h be g(3). Let o be (-11)/3 + (-2)/h. Is o bigger than -3?
False
Let t = -13 - -14.3. Let w = -3.3 + t. Do 5/3 and w have different values?
True
Suppose 0 = 5*d - 4 + 19. Suppose 3 = -3*i - 6. Let k = i - d. Is -1 less than k?
True
Suppose x - 19 = -0. Are x and 18 unequal?
True
Let x(j) = j**2 + 4*j + 5. Let l be x(-4). Suppose a = -4*p - 0*a - l, p - 4*a = -14. Is p greater than -2?
False
Let c be (-4)/(-14) - (-410)/35. Suppose -c = 3*h, -36 = -2*y - 0*h - h. Suppose 2*p - 6 = 0, 5*g = 6*p - p - y. Are g and -1 equal?
True
Let p be (-4)/2 + -2 + 19. Which is greater: 13 or p?
p
Let n(r) = 16*r + 2. Let o be n(-1). Let i be 4/24 + o/12. Does -2 = i?
False
Let m be (-1)/((12/21)/4). Which is smaller: m or -5?
m
Let k(a) = -2*a - 7. Let t be k(-4). Which is smaller: t or -3/17?
-3/17
Suppose -3 = 3*l - 15. Suppose -5 = r + l*r. Suppose -m + 6 = 2*m, 0 = 4*i - 3*m - 2. Which is greater: r or i?
i
Let k = 7/9 - 53/45. Let q(y) = y**2 - 6*y + 6. Let x be q(5). Is x at most as big as k?
False
Suppose 0*w = -3*w. Let t be 4 - (1 - (w + -2)). Is t at least -2/11?
True
Let h = 33697/8729 + -4/1247. Let l = h - 95/21. Which is smaller: l or 5?
l
Let t be -2 - (-1)/((-39)/(-81)). Let m = -24 + 23. Is t greater than m?
True
Suppose -v + 7 = -0. Is 7 bigger than v?
False
Let a be (1 - 4/(-1))/1. Which is smaller: 6 or a?
a
Suppose 5*d - 20 = d. Let l be -4*(5/(-2))/(-5). Let k be 1 - -6*l/(-3). Is d less than k?
False
Let b(y) = -y**2 - 4*y + 31. Let h be b(-8). Let t be (-4)/(-6) - 56/102. Which is smaller: h or t?
h
Let x = 3968/5 - 791. Which is greater: x or 2?
x
Let t = -1.05 - -0.65. Is 0.02 less than t?
False
Let z be (-1326)/65 - 2/(-5). Is z less than or equal to -21?
False
Suppose -2*w - 33 = 5*l, l - 5*w + 15 = 3. Suppose 0*x = 4*x + 20. Is x > l?
True
Suppose -2*y + 15 = -5*y. Is -6 <= y?
True
Let d(v) = -2*v**3 + 3*v**2 - 4*v + 3. Let b be d(2). Let c be b/(-10) - (-6)/(-6). Is c greater than or equal to 0?
False
Suppose 11*w - 13*w - 6 = 0. Which is smaller: 0 or w?
w
Let i = -69 - 36. Which is bigger: -104 or i?
-104
Let b(l) = -l**3 + l**2 + 3*l - 6. Let o be b(2). Which is smaller: o or 1?
o
Let c = -8 - -13. Let j = -22 - -22. Suppose -2*k = c*g - 19, j*k - 19 = -3*g - 5*k. Does g = 2/5?
False
Let z = -0.3 - -0.5. Let v = -51 + 44.9. Let o = v - -6. Which is bigger: o or z?
z
Let l = 1.43 + -0.03. Let w = -0.4 + l. Are w and 1 unequal?
False
Let u = 0.3 - 0. Let h = u - -0.2. Let y = -0.7 + h. Is y not equal to 1/3?
True
Let n = 6/241 - 608/5061. Let v be (-1)/(1/(-6)) - 3. Suppose -v*m + 15 = -4*c, 2*m - 14 = c - 4. Which is bigger: c or n?
c
Suppose -n - 2*y - 9 = -2, 2*n - 13 = 5*y. Let f be -9*n/(-10) - -1. Does f = 1?
False
Let l be ((-1)/2 + 2)/(168/(-48)). Is l >= -1?
True
Let n = -31 + 9. Are n and 0 unequal?
True
Let x = 18 - 4. Do 0.1 and x have different values?
True
Suppose 3*s - 9 = -3. Suppose -1 = s*f + 1, 2*t - 7 = f. Let i = t + -4. Which is smaller: -2/7 or i?
i
Suppose 4*f - 2*f + 3*t - 14 = 0, 0 = -f - 3*t + 13. Which is greater: f or 1/13?
f
Let b be (-216)/(-112) - (-12)/21. Is b < 1?
False
Let c = -0.6 + -5.4. Let k = 5.943 + 0.057. Let m = c + k. Which is smaller: m or 5/3?
m
Let g = 2.3 - 2.5. Which is smaller: 0.04 or g?
g
Let s = -207 - -635/3. Which is smaller: 6 or s?
s
Suppose 5 = -6*y + y. Let t be 1 - (4 + 3/y). Let n = -3/137 + -253/959. Which is greater: t or n?
t
Let r = 0.85 - 0.8. Let n = -0.05 + r. Which is smaller: -1 or n?
-1
Let n(a) = a**3 + 23*a**2 + 6*a - 13. Let s be n(-23). Which is smaller: -152 or s?
-152
Let c = -4 - -14. Suppose -x = x + c. Let b be -2 - -12*(-1)/x. Is 2/5 greater than b?
False
Let d be 0 - ((-40)/12 + 3). Is d at most 1?
True
Let q be (-1)/(-10)*(-45)/(-6). Suppose 0 = j - 6*j + 20. Let u be 6/j + (-3)/6. Which is smaller: u or q?
q
Let f(z) = -39*z**3 + 2*z**2 + 2*z + 2. Let o be f(-2). Let i be 2/8 + o/720. Let y = i + -7/24. Which is smaller: y or 0?
0
Let x = 2.7 + -3. Which is smaller: 0.05 or x?
x
Let k = -68/9 + 2507/333. Are k and 1 nonequal?
True
Let t = -15 - -5.8. Let g = -10 - t. Let n = g + -1.2. Are -1 and n unequal?
True
Let m be 15/(-10)*(-6)/(-45). Suppose -h - 1 - 9 = 0. Let g be (-4)/(-10) - (-4)/h. Which is greater: g or m?
g
Let a = -0.11 - -2.11. Which is smaller: -0.5 or a?
-0.5
Let x(g) = 2*g + 4. Let v be x(2). Is v greater than -0.2?
True
Suppose -5*w - 4 = -h + 20, 4*w + h + 12 = 0. Is w less than -32/7?
False
Suppose -4*n - 2 + 5 = 3*t, -4 = -4*t + 5*n. Which is bigger: t or 24/11?
24/11
Let f = 751/7 + -107. Let k = 1.5 - -0.5. Let d = -1 + k. Which is smaller: d or f?
f
Let o = 194 - 196. Suppose -5*l = -6*l - 2. Is o > l?
False
Let b be (2/(-1))/(7/(-2)). Let t = 1 + 0. Let q = t + -1. Do b and q have the same value?
False
Let z = -0.8 - 2.2. Is z bigger than 3?
False
Let x = 74 - 73. Which is greater: x or 1/5?
x
Suppose -w = -0*n + n + 1, 2*n = 2*w + 14. Let f = w + 3. Let d be ((-1)/30)/((-5)/20). Which is smaller: d or f?
f
Suppose h + 3*g - 5*g = 19, -4*h - 4*g + 88 = 0. Which is bigger: -2/3 or h?
h
Suppose -4*q - 4 = -12. Suppose -3*s = -k + 1, -s + 3*k - 7 = 4*s. Which is smaller: q or s?
s
Suppose 3 = -4*p - 5. Let r be (-34)/(-2) + (-7 - -4). Let j be (-7)/r - (-1)/(-6). Is j != p?
True
Let z = 0 + 0. Let p(y) = y**2 + 6*y - 13. Let g be p(-8). Suppose z = g*d - 0*d + 18. Do d and -6 have different values?
False
Let u be (-3 + 2)/((-2)/6). Suppose t - u = -0. Suppose -o + 2 + 0 = -2*y, t*o = -5*y + 28. Is o > 3?
True
Suppose 71 = 9*d + 8. Which is bigger: 0.1 or d?
d
Suppose 96 = 5*o - 4*p, -2*p + 4*p + 24 = o. Suppose o = h - 5*h. Let m be -6*(2/4)/1. Which is greater: m or h?
m
Suppose 3*n + 5*c - 14 = 0, -2*n + 2 = -3*n + 5*c. Let i(o) = -o**2 + 3*o + 2. Let y be i(n). Let f be (-4)/8 + 9/y. Is f at least as big as 4?
True
Let i(q) = -q**2 - 7*q - 7. Let f be (-5)/2*(3 - 1). Let y be i(f). Suppose y*r = -2*r. Which is greater: 1/3 or r?
1/3
Suppose -5*b = -3*t - 20, -t + 16 = -2*t + 4*b. Suppose t*v = 5*v + 60. Let z be (-19)