3?
False
Let m be (4/(-3))/((-2)/(-6)). Let x(z) = -z**2 - 4*z - 1. Let s be x(m). Let r = 11/2 + -7. Which is bigger: s or r?
s
Let w = 58 - 55. Which is smaller: w or -2?
-2
Let c = 142/3 - 47. Suppose -3*u - 7 - 5 = 0. Let a be u/6*6/4. Is a less than c?
True
Let v = -200 - -1798/9. Let m = -2/1076933 - -215387902/701083383. Let z = -2/93 + m. Is v less than or equal to z?
True
Let y = 2 + 11. Which is bigger: y or -1?
y
Let t be 1/4 + (-6)/56. Suppose -4 = 4*v, -2*f + v - 2 + 1 = 0. Is f at least t?
False
Suppose -163 = -3*n + 65. Let p be n/12 - (-1)/(-3). Let w be p/8 + (-46)/8. Does -5 = w?
True
Let v = 0 + 0.5. Let y = -1.5 + v. Are y and -1/3 unequal?
True
Let v(t) = t**3 + 2*t**2 - 3*t - 3. Let f(w) = w**2 + 7*w - 10. Let i be f(-8). Let c be v(i). Which is greater: 2 or c?
c
Let f be 2 + -2 + 16/20. Suppose d - 3*d + 4*o + 4 = 0, -4*o + 12 = 2*d. Suppose 0*p - 3*p + 4*q - d = 0, 0 = -p + 3*q - 3. Are p and f equal?
False
Let f = 1.3 - 73.3. Let l = 72.99 + f. Let j = -0.01 - l. Is j smaller than 0.3?
True
Let x = -28 + 23. Which is smaller: -8 or x?
-8
Let b be 18/10 - (-2)/(-1). Let t = 4.1 + -4. Is b not equal to t?
True
Let u be (3/(-15))/((-48)/(-15)). Which is bigger: u or 1?
1
Let f = 14 - 11. Let s be (f + -4 + 1)/2. Which is greater: 3 or s?
3
Let v be (-2 - -4) + (-3)/3. Let h(k) = k**2 - 6*k - 2. Let a be h(7). Suppose a*n = -y - y + 11, 2*y = 4*n - 16. Are v and n non-equal?
True
Let h = 0.4 + -0.2. Let g = 6 - 5.9. Let j = g - h. Is 2/7 bigger than j?
True
Let u = -41/330 + -1/110. Suppose -2 + 3 = -v. Which is smaller: u or v?
v
Let g = 17 - 17. Is g at most as big as 1/24?
True
Let j = -389 - -6617/17. Which is smaller: -1 or j?
-1
Let t = 145/2 + -74. Suppose 0 = -3*l - 6, h - 18 = -h + 4*l. Suppose -7 = h*g + 2*i, 0 = g + g + 4*i - 10. Is g smaller than t?
True
Let r = -8301/23 - -361. Suppose -4*s - d + 7 = -1, 0 = 5*s - 2*d + 3. Which is smaller: s or r?
r
Let q be 2 - (-3 - (-5 + 3)). Is 3 >= q?
True
Suppose -18*w + 8*w = 30. Which is smaller: w or -7/4?
w
Let f = 11 - 8. Which is smaller: f or 8/5?
8/5
Suppose 15*l = 7*l + 280. Is 35 bigger than l?
False
Suppose 4*a - 10 = -2. Suppose 0 = -2*m + 5 + 1. Which is smaller: m or a?
a
Let h = -0.14 - 16.86. Let r = 14 + h. Is 0.2 less than or equal to r?
False
Let c = 23 - 22.4. Let h = -0.2 + -0.3. Let t = c + h. Which is greater: -3 or t?
t
Suppose -x = 4*u - 9, 4*x = -2*u - 0 + 22. Which is bigger: 12/13 or u?
u
Let u be 12/(-4) + 1 + 5. Suppose -3*m - u*s - 25 + 10 = 0, 4*m + 5*s = -25. Is m bigger than 0?
False
Let r = -0.01 - -3.01. Let t = 1 - r. Let y = -0.6 + 0.7. Which is bigger: y or t?
y
Suppose -5*x = -x - 80. Suppose -l = -h - 4, 2*l - 5*h - x = -l. Is l equal to 2?
False
Suppose 7*y = -15 + 8. Is y at most -8?
False
Let b = -3 - -2.9. Let y = -15.2 + 14. Is y < b?
True
Let c be -11 + 15 - 33/5. Which is bigger: -3 or c?
c
Let t(m) = -9*m**2 - 6*m. Let v be t(-3). Do -62 and v have different values?
True
Let k = 4/45 + -23/90. Suppose 0*z - 6 = -z. Let l be 2/8 - z/(-8). Are l and k equal?
False
Let z = 12/329 + -883/33229. Which is smaller: 1 or z?
z
Let w(g) be the first derivative of -g**2 + 6*g - 3. Let v be w(5). Which is smaller: -2 or v?
v
Suppose 3*m = 75 + 60. Let j be (-6)/27 + 64/m. Let v(z) = -z + 4. Let x be v(2). Is x > j?
True
Let r = -446/3 - -148. Is -8.6 greater than r?
False
Let s = 0.5 + 2.5. Let z = -8 + s. Let j = -5 - z. Which is greater: j or -4?
j
Let t = 5795/11 + -526. Are 0 and t unequal?
True
Let s be 1 + (8/(-6))/(-4). Which is bigger: -2/9 or s?
s
Let j = 1 - 1.4. Let w = -13 - -10.9. Let s = w + 1.1. Which is smaller: s or j?
s
Suppose -4*u - 3*m = -15, 6*m = u + 3*m. Suppose -3*d = 5*q + 1, 2*q - 7*q - u = 4*d. Which is smaller: -10/9 or d?
d
Suppose -109 = 3*l + 41. Which is smaller: l or -49?
l
Let t = 16 + -34. Let u be (-10)/t - (-16)/(-72). Which is smaller: u or 1?
u
Suppose 0*z = 3*z - 3*c + 12, 2*c - 9 = z. Let m be z*2*(-2)/10. Let r(k) = -k**2 + 7*k + 1. Let t be r(7). Which is smaller: m or t?
m
Let s = -1 - -1. Let u(h) be the third derivative of -h**6/120 - h**5/15 + h**4/6 - 5*h**3/6 + 2*h**2. Let c be u(-5). Is s smaller than c?
False
Suppose -225 = -g - 4*g. Let y be (-414)/g*(-10)/4. Are 23 and y non-equal?
False
Let n = -0.13 - -0.07. Let w = n + -1.34. Let z = 1 + w. Which is smaller: z or -1?
-1
Let q be 15/(-30)*(1 + -3). Which is smaller: 1/49 or q?
1/49
Let w be (-7)/28 + 13/4. Suppose b - w*y = -2*y - 1, -4*y = 3*b - 25. Suppose -2*n - 6 = -4*p, n + b = -p + 3*n. Is p at most as big as 4?
True
Let m be ((-8)/(-4))/((-14)/(-17)). Is m >= 3?
False
Let l be 2/1 - 23/(-16). Let r = l - 4031/1168. Let f = r - 69/292. Which is smaller: f or -1?
-1
Let x(f) = -f**3 - 6*f**2 - 5*f + 3. Let y be x(-5). Suppose -i + y = 2*i. Suppose 3*h = -2*p + 19, -14 = -2*p - 2*h - 0. Which is smaller: p or i?
i
Let c = 2.79 - -0.21. Is c at most as big as -0.1?
False
Suppose -7*z = -200 - 31. Is z at least 32?
True
Let y = -2.99 - 0.01. Let g = y + 2. Let i = 1.1 + g. Is 2 less than or equal to i?
False
Let s(j) = j**3 + 2*j**2 - 2*j - 2. Let o be s(2). Suppose q = -3*z, -o = -z + 2*q + q. Is z bigger than 0?
True
Suppose -26 = -4*u + 3*y, -4 = -3*u - 5*y + 1. Let p = u + -3. Suppose 3 = -5*j - p. Is j at least -1/7?
False
Let u(i) = i**3. Let r be u(1). Let q = 5 + -7. Let j be ((-2)/(-10))/(q/(-5)). Is j at most r?
True
Let i(b) = -b**3 + 2*b**2 + 4*b - 4. Let v be i(3). Is 1/15 smaller than v?
False
Let b = 1441/1734 - -2/867. Which is smaller: b or 0?
0
Let k = -169/4 - -42. Which is smaller: k or -0.76?
-0.76
Let o be -4*9*(-39)/2. Let l be (-1)/4 + o/120. Let d = l - 6. Which is bigger: d or -1?
d
Let c = 92.2 - 84. Let z = 4.1 - c. Let k = z + 4. Which is smaller: k or 3?
k
Let j = 10 + -6. Let a be j/(-18) - (-14)/63. Is a less than -1?
False
Suppose -a + 12 = -2*g - g, -4*a = 4*g + 16. Let h = -481/2 - -234. Let r = h + 6. Which is smaller: r or a?
r
Let b be 3*5*2/15. Suppose 5*g - 5*t - b = 3, -2*g + 4*t + 2 = 0. Is g greater than 3/11?
True
Suppose -4*z + 11 = -4*b + 79, -b = -4*z - 32. Suppose -b = -2*f - 4. Is f smaller than 4?
False
Let r(n) = n**3 + 5*n**2 - n - 2. Let t be r(-5). Let y be 2 - (-3)/3 - 2. Suppose t*d + 5 = -y. Is -2/3 smaller than d?
False
Suppose 0 = 2*r + y + 7, -y = -2*r - 0*r - 5. Suppose 1 = 4*n + 9. Which is smaller: r or n?
r
Suppose -18 = -8*u - 2. Which is greater: u or 15?
15
Let h(r) = r**3 - 4*r**2 - 6*r + 5. Let t be h(5). Which is bigger: t or 5/6?
5/6
Let p(f) = 2*f**2 - 11*f - f**2 - 5*f + 6*f + 6. Let x be p(10). Which is smaller: x or 7?
x
Let g = -1 - 0. Let c = g - 3. Let p = 3.9 + c. Which is smaller: 2/7 or p?
p
Let g = -12 + 12.7. Let o = g + -0.9. Which is smaller: 2 or o?
o
Let y = 0 - -0.4. Let c = -1.5 + -1.9. Let t = c + y. Which is smaller: 0.2 or t?
t
Let z be (-7 - -14)*(-30)/(-609). Is z at least as big as 1?
False
Let x(d) = -d**3 - 2 - 6*d**2 - 3*d**2 - 9*d - 4*d**2 + 3*d**2. Let t be x(-9). Do t and -5/6 have the same value?
False
Let t = -17 + 16. Which is smaller: t or 2/131?
t
Let o = -10 + 11. Is 2/67 smaller than o?
True
Let h = 47 - 56. Which is smaller: h or -3?
h
Let a = 1.2 + -1. Let n = -1.7 - -2. Let h = n - 0.3. Which is bigger: a or h?
a
Let r = 42 + -60. Let w = r + 53/3. Is -1 != w?
True
Let x be (-1)/4 - 9/12. Let z be (x - -2)/((-2)/2). Let f(h) = h**3 + h**2 + 2*h + 1. Let s be f(z). Which is greater: s or -3/2?
s
Let h be ((-1)/(-4))/(2/(-8)). Suppose -n - 2*n = -36. Suppose -4*c + 2*j + 2 = 0, -4 = 4*c + 4*j - n. Do c and h have different values?
True
Let v(l) = -l - 1. Let a be v(-5). Let c(b) = b**2 + b + 14. Let n be c(0). Suppose n = u + 5*f, -3*u + u = -a*f + 14. Is 0 smaller than u?
False
Let j(n) = -n. Let l be j(1). Let d = 306 - 3364/11. Which is smaller: d or l?
l
Let v(q) = -q**3 + 11*q**2 - 9*q - 11. Let r be v(10). Is r bigger than -1/24?
False
Suppose 6*i - 3*i = 33. Let j = 18 - i. Is j greater than or equal to 8?
False
Let u = -17874/13 + 1376. Is u < 1?
False
Suppose 5*s - 4*m = -5, 0 = 3*s + 3*m + 2*m + 3. Let l = -1 - -3. Suppose l*q = -q. Which is greater: s or q?
q
Let z = 8 - 7. Is 0.1 at most z?
True
Let p = -2.9 + 3. Which is bigger: p or 7?
7
Let i be 3/(-15) - 12/(-3). Is -1 greater than or equal to i?
F