 = 219/2 - 107. Is r equal to -4?
False
Let q = 9 + 0. Which is smaller: 0.1 or q?
0.1
Let m(i) = -4*i**2 - i + 1 + 4*i**2 + i**2. Let l be m(0). Let a be 4/6 + 4/3. Are l and a unequal?
True
Let j = 0.42 + -0.4. Let l = 19/4 - 5. Which is bigger: j or l?
j
Let s be -1 - 1/((-2)/8). Suppose -2*v = 3*h - 20, 4 = -s*h + 5*v - v. Let r be (-1)/h + (-1)/(-4). Which is smaller: r or 1/7?
r
Let n = 18 + -28. Let j be (-66)/4*(-10)/(-15). Which is bigger: j or n?
n
Let y(n) = -4*n**3 - n**2 + 2*n - 2. Let g = -3 - -5. Let v be y(g). Let p = v - -103/3. Which is greater: p or 2?
2
Suppose -2*d = 0, 2*d = s + 6*d - 3. Let p = 2 + s. Suppose 2*i + 1 = p. Is 0 >= i?
False
Suppose 4*w - 25 = 5*t, 10 = 5*w - 3*w - 2*t. Suppose w*r + 12 = 3*r. Let q be (-1)/(-9) - r/(-18). Is q > -1?
True
Let g be (3 + 0)/(2/10). Is 15 at most as big as g?
True
Let s = -132 - -125. Which is bigger: -1/3 or s?
-1/3
Let z = -2097 + 8307/4. Let q = z + 867/44. Is q equal to 0?
False
Suppose -2*y + 5*k - 13 = 5, 8 = -y + 2*k. Are y and -7/2 nonequal?
True
Let k be (-2)/(-13) - ((-4)/(-26) + 0). Which is greater: -2/11 or k?
k
Suppose -2*z - 10 = 3*z. Let k be 1 + z + 3 + -1. Let n be (12/21)/((-2)/(-7)). Which is smaller: n or k?
k
Let w be (1 - 0)*(14/(-10) + 3). Is -6 at most as big as w?
True
Let f = -113 + 113. Which is smaller: 6/19 or f?
f
Let f = -49/6 + 7249/888. Is f less than 1?
True
Suppose 5*f + 2*z - 17 = 3*z, 2*z - 22 = -4*f. Let a be (-2)/(-2) - (f - 2). Suppose 2*r - r - 8 = -3*q, 0 = 2*r - 5*q + 17. Are a and r nonequal?
False
Let h(l) = l**2 + 4*l + 4. Let f be h(-2). Is f smaller than 1?
True
Suppose 3*n + 26 = -4. Let t be (-2)/(-5) - 116/n. Which is bigger: t or 1?
t
Let m = -8.5 - -9. Let r = -4.5 + m. Are 0 and r nonequal?
True
Let p = 26 - 43. Let n = -26 - p. Is -8 at least n?
True
Let l = -2 - 0. Which is bigger: -10/7 or l?
-10/7
Suppose -6 = 5*y - 16. Let h = 0.1 - -0.1. Let s = -0.1 + h. Do y and s have different values?
True
Let l(y) be the first derivative of y**3/3 - y**2/2 - 4*y + 1. Let m(v) be the first derivative of l(v). Let a be m(1). Which is bigger: a or -2/9?
a
Let r be (-7766)/(-36) + (-1)/(-2). Suppose -2*t = 17 - 449. Let d = r - t. Is 0.2 smaller than d?
True
Let j = 0.17 - 1.17. Is -1/3 at least as big as j?
True
Suppose 5*o + 1 = 2*j + 2, 2*o = j. Are j and 9/4 nonequal?
True
Suppose -3*o + 2 + 22 = 0. Suppose -3*a + o*a - 10 = 0. Is 1 bigger than a?
False
Let r = 0.05 - -1.95. Let t = 15 + -12. Do t and r have the same value?
False
Let n be 4/(-6)*-3 - -2. Let f(z) = 23*z + 1. Let d be f(-1). Let o be (-26)/d - (-2)/(-11). Is o smaller than n?
True
Suppose 3 = 4*p - 1. Which is bigger: 1/20 or p?
p
Let j = -3.96 - 0.04. Let u = j + 3.96. Let i = u - -0.04. Which is smaller: i or -6?
-6
Let c = -13 + 18. Suppose -c*a - 7 = 3*s + 9, 2*s + 9 = -3*a. Is s at most 2?
False
Suppose -6*c - 30 = -0*c. Are -3 and c equal?
False
Let k(g) be the third derivative of g**2 - 1/2*g**3 - 5/24*g**4 + 0*g + 1/60*g**5 + 0. Let w be k(5). Is w > -2?
False
Suppose 4*c + 155 = 2*a + 21, 67 = a - 4*c. Let t = a + -199/3. Is 2 != t?
True
Let a be (16/6)/(2/9). Let j = a + -15. Is j smaller than -4?
False
Let j be (2/4)/((-13)/(-26)). Let d be (j - (-1 + 2))/1. Is d at least -4/9?
True
Suppose -5*d - 10 = -5. Is d equal to 3?
False
Suppose 3 = y - 0. Suppose 0 = -4*q + y*z + 11, 3*z - 6 = 5*q - 19. Which is greater: q or 3?
3
Let o(s) = 2*s - 6. Let f be o(4). Let g be 4/(-2 - 6)*f. Which is greater: g or -2?
g
Let m(j) = 0*j**2 + 3 + j**2 - 2*j**2 + 6*j + 1. Let s be m(6). Suppose -v - 4*v + 20 = 0. Is s greater than v?
False
Suppose 0 = 4*m - p + 40, 3*m - 3*p = 2*m - 21. Which is smaller: m or -10?
-10
Let v = -0.01 + 0.11. Let h = v - -0.2. Let r = -0.6 + h. Which is smaller: r or 0?
r
Let o(y) = y**2 - 8*y - 21. Let w be o(10). Which is bigger: 18 or w?
18
Let p(k) = -2 - 2*k + 2*k - k - 1. Let d be p(-5). Is d at least as big as 2?
True
Suppose 6*q - 43 = -1. Suppose -14 = -0*t - 2*t. Is t less than or equal to q?
True
Let n be 6/(-8)*(7 + -3). Let j be (-1)/2 + n/(-12). Which is bigger: j or 1?
1
Let r(q) = -q**3 + 3*q**2 + 5*q - 4. Let x be r(4). Suppose -3*y + x = -6. Suppose -2 = -0*z - y*z. Which is smaller: z or 1/5?
1/5
Let t be 2*(-2)/(12/15). Let n be (-4)/(-26) - (-513)/(-39). Let q = 7 + n. Which is bigger: q or t?
t
Let p = 3/16 + -29/240. Let l = 144 + -143. Which is smaller: l or p?
p
Suppose -5*y - 3*z = -11 - 5, 4*z = 8. Suppose -2*k + y = -2*w, -4*k + 9*k + 3 = w. Is -1/8 at most k?
False
Let p(q) = -q**3 - 8*q**2 - 2*q - 11. Let j be p(-8). Let s be (-23)/(-5) - (-2)/j. Suppose 3*b = s*b + 4, 4*o = -2*b. Is o at most 0?
False
Let t(h) = h**2 - 8*h + 10. Let a be t(7). Let p be 14/(-2*1/3). Let l be p/(-15) + (2 - a). Is -2/3 bigger than l?
False
Let q = -1.8 + 1.7. Let r = -46 - -185/4. Is q at most as big as r?
True
Let u be (-2 - 0) + -2 + 4. Let l = 5/6 + -7/10. Is l equal to u?
False
Let a(r) = r**2 - 5*r - 1. Suppose -2*j - j = -27. Suppose j = -4*i + 29. Let z be a(i). Are z and 1/7 equal?
False
Suppose 0 = -2*u - 0 - 4. Which is bigger: -3 or u?
u
Let z = 8 + -9. Which is greater: z or 3/32?
3/32
Let m be (2/5)/(24/(-20)). Which is greater: 1 or m?
1
Suppose -2*y - 3*y + 50 = 0. Let h = -9 + y. Is h less than 3?
True
Let i(y) = y**2 - y - 2. Let v be i(-2). Suppose 3*o - 3 = v*p + 7, 0 = 3*p + 3. Let n be o*-2*1/(-18). Which is bigger: n or 1?
1
Let v = 6/283 - 220/37073. Is v less than or equal to 0?
False
Let w = 1573/7 + -226. Which is bigger: w or -1?
-1
Let v(p) = p**3 - 2*p**2. Let t be v(2). Is t not equal to 2/3?
True
Let f = 4.5 - 4. Let i = 10 + -10.08. Let h = 0.02 - i. Which is greater: h or f?
f
Let n = 307 - 297. Let r(q) = -q**2 + 5*q + 3. Let d be r(4). Which is bigger: n or d?
n
Let t(j) = j**2 - 10*j - 1. Let f be t(10). Is 6/11 greater than or equal to f?
True
Let k = 3 - 2.9. Let m = k - 0. Which is bigger: m or 0?
m
Let x = 2/483 + -11614/5313. Which is bigger: -3 or x?
x
Let x be (4/6)/(8/12). Which is smaller: x or 3/16?
3/16
Let k = 1 - -2. Let u be (-7)/k*(-2)/(-7). Which is smaller: 0 or u?
u
Suppose -4*k + 12 = -s - 2, 2*k = -4*s - 2. Is -3 > s?
False
Let t(z) = z**2 - 4*z + 2. Let h be t(4). Suppose h*a - 1 = -q - a, 3*q - 3 = 5*a. Let v = -710/9 + 79. Which is greater: v or q?
q
Let x(i) = -i**2 - 3*i + 3. Let v be x(-3). Suppose 0 = 5*g - 4*s - 30, 29 = 5*g - v*s + 4. Let r = 0 + 1. Is r greater than or equal to g?
False
Let o(u) = -u**2 + 9*u - 6. Let l be o(8). Suppose 2*c - c = 2*m, 5*c - 8 = l*m. Let w = 3/11 - 20/33. Which is greater: m or w?
m
Let i = -33539/240 - -698/5. Let l = -3/16 + i. Let a = -0.06 + -2.94. Which is smaller: a or l?
a
Let x be 2 - (1 + 1 + -21). Suppose -w + 4*w - x = 0. Suppose 0 = -3*f - 2 - w. Is -1 less than f?
False
Let y = -27 + 27.92. Let h = y - -0.08. Is 1 at most h?
True
Let w = -0.39 - -0.436. Let o = w - -4.154. Let s = -4 + o. Is s less than -1?
False
Let a = -13 + 12.94. Let r = 0.1 - 0. Which is bigger: a or r?
r
Let a = 2 - 1. Let n be (-2 + 4)/((-57)/(-33)). Let y = n - 204/209. Which is greater: y or a?
a
Let r = 4 - 2. Suppose -7 = r*b - 5. Let j be -2 + (-1)/3*-3. Is j equal to b?
True
Let s(a) = -a**2 + 3*a. Let g be s(4). Let k = 2 + g. Is -1 smaller than k?
False
Let u = -0.1 - -0.09. Let h = u - -0.11. Is h >= 0.1?
True
Suppose 5*g + 22 = -3*w, 4*g - 11 = 4*w - 3. Which is smaller: -1 or w?
w
Let o be (-2 + 1960/975)/((-2)/(-3)). Is 1 less than or equal to o?
False
Let q(p) be the first derivative of -p**4/4 - p**3/3 + 4*p - 2. Let m be q(0). Suppose m*f - 2*f = 2. Which is smaller: f or 0?
0
Let r = 148/3 + -50. Let w = -1 + 4. Let x be w*(-2 + 8/6). Is x > r?
False
Let k = 0.1 - 0.15. Let s = 3.95 - k. Let p = s + -4. Which is smaller: -2 or p?
-2
Let b = -57/7 - -463/56. Let x be (-3 + 1 + 1)*-2. Let o be x*-3*1/(-6). Is b greater than o?
False
Let d be 3/2*(-12)/(-9). Let k be 0*1*1/d. Is -2/7 bigger than k?
False
Suppose 5*k - 15 = 4*g, 2*k + 4*g = -16 - 6. Which is smaller: k or 3/23?
k
Let y = 8778662/52481 + -2/4771. Let i = 167 - y. Do i and 0 have the same value?
False
Let g(r) = -r. Let i be g(-1). Let o = -2 + 3. Let n = i - o. Which is bigger: n or -2?
n
Let v = -0.3 + 0.3. Let t = 0.2 + v. Suppose 7 = 5*d + 2. Which is great