
Let g(q) be the first derivative of -q**2 - 1. Let f be g(-2). Suppose 1 = -2*u - 3*p, 3*p = f*u - 2*p - 9. Is u less than or equal to 1?
True
Suppose -3*o - 5 = 2*o. Suppose 5*w = -5*k + 25, 20 = -0*w + 5*w + 4*k. Do w and o have the same value?
False
Suppose 0 = 3*b + 5*q - 13, 3*b - 4 = -4*q + 4. Let d(v) = -v**2 - 4*v - 4. Let z be d(b). Is -2 equal to z?
False
Let v(y) = y**2 + 7*y + 9. Let l be v(-5). Which is smaller: 3 or l?
l
Let f = 3697/122 + 12/61. Which is bigger: 32 or f?
32
Let b = 0 - 3. Suppose 4 = m - 2*m. Let v be -3 + 2 + b/m. Which is greater: v or 0?
0
Let j be -1 + 2/3 + 0. Let i be 4 - (6 - 1 - 3). Let c = i + -1. Which is greater: c or j?
c
Let d = -2 + 18. Let r be (81/396)/((-3)/d). Do -1 and r have the same value?
False
Let p = -12 + -6. Suppose 5*k + i - 3*i + 91 = 0, -4*i = 5*k + 73. Which is bigger: p or k?
k
Let w = 216/1235 - 2/95. Are w and -1/10 unequal?
True
Let v(m) = m**3 - 8*m**2 + 8*m - 2. Let y be v(7). Suppose l = -y*h, 5*l - 8*l - 12 = 3*h. Let x be 0 + 1 + (-9)/11. Do h and x have different values?
True
Let w = -21 + 85/4. Is w greater than or equal to -4?
True
Let w = 2023/979 + -14/89. Let g = -185/22 + w. Let u = g + 7. Is u at least 1?
False
Let d = 14 + -13. Suppose -b = 5 + d. Which is smaller: b or -2?
b
Suppose -2*o - 5 = 5. Is o greater than -6?
True
Let p = 0.03 - 12.03. Let j = 6 + p. Let w = j - -6.2. Which is bigger: 3 or w?
3
Let w(g) = g**2 + 4*g + 2. Let l be w(-3). Let j = l + 0. Which is smaller: -2/3 or j?
j
Let v = -7 + 16. Let t be 3/v - 15/18. Let y = 1 - 1.1. Is t < y?
True
Let t(g) = -2*g - 4. Let j be t(-3). Let f(n) = n**3 + 3*n**2 - 1. Let k be f(-2). Is j < k?
True
Suppose 4*c = -24 + 8. Which is smaller: c or -6?
-6
Suppose 6 = -x - r, r = -x + 2*r. Let f = 59 + -57. Which is smaller: f or x?
x
Let h(u) = -3*u - 8. Let a be h(-6). Let f be ((-2)/5)/((-4)/a). Suppose 4*w = -2*x + 2, -3*w - 2*x = -f - 1. Is w smaller than -7/5?
False
Let j be (-210)/(-27) - 8/(-36). Let s be (2/(-36))/((-2)/j). Which is greater: 0 or s?
s
Suppose 0*i = i - 5. Suppose -d + 4 - i = 0. Which is bigger: -4 or d?
d
Let t(w) = w - 5. Let u be t(4). Let m = -4.06 - -0.06. Which is smaller: m or u?
m
Let h = 6 + -4. Let y = 91.98 + -92. Which is smaller: h or y?
y
Let x be 1/4 + (-10612)/80. Let p(a) = 6*a**2 - 3*a - 3. Let o be p(5). Let d = x + o. Which is smaller: d or 0.1?
d
Suppose 5*s - 21 + 16 = 0. Is 1 less than s?
False
Suppose -5*n = 2*j - 23, 3*j + 0*n - 22 = -5*n. Is j < 2?
True
Let t = -1/14 + 61/70. Which is smaller: 2 or t?
t
Let g be (3 - 4)/(2 + -7). Suppose -n - 1 = -2. Which is smaller: g or n?
g
Let f = 4954/21 - 236. Is f < 0?
True
Let f = -2 - -6. Suppose -6*q + 15 = 3. Do f and q have the same value?
False
Suppose -5*g = -0*g - 3*p + 14, 4*g + 10 = 2*p. Is g greater than -8/13?
False
Suppose -l + 4*l = -9. Let r = l + 2. Let a = r - 0. Are 0 and a equal?
False
Let t = -17 + 25. Let n = 0 + 3. Suppose t*m - n*m + 5 = 0. Is m > 0.1?
False
Suppose -3*p + 4 = -5. Suppose p = w - 1. Which is smaller: w or 3?
3
Suppose 0 = 3*t + 6 - 9. Is t >= -2/231?
True
Let h(u) = -7*u**2 - 7 - 13*u - u**2 - 4*u**2 + 13*u**2. Let a be h(14). Is 6 at least as big as a?
False
Let v be (-183)/(-20) - (-5)/20. Let g = -26/15 + v. Let f = g + -121/15. Is 0.2 less than f?
False
Suppose -4*f = 5*x + 20, -4*x + 3*f + 3 = -12. Is x < -1/35?
False
Let d be 1 - (2 - 4 - 1). Let k be d/6 - (-2)/(-3). Do k and 2/19 have the same value?
False
Let t = -7 + 17. Let p be -9 + 9 + 6/t. Which is bigger: 2 or p?
2
Let o(f) be the first derivative of 1/2*f**2 - 10*f + 4. Let m be o(11). Does m = 1?
True
Let h = -6 + 8. Suppose f + 0 = h. Suppose 0 = 3*u - f*u. Which is greater: u or -2/7?
u
Let x be 6/8 - -4*(-2)/(-32). Let a be 23/558*22/(-13). Let c = a - 2/279. Do x and c have different values?
True
Let h be (-6)/4*(0 - 2). Suppose 2*i - h*i - 2 = 0. Let x be (-1)/(3 + 0 + i). Which is bigger: -2 or x?
x
Let s be 15/13 + (-42)/273. Let f(b) = -5 + b + 1 - 3. Let a be f(6). Which is smaller: s or a?
a
Let u = 0.1 + -0.2. Let n = -0.8 + 1.8. Let x = 8 - n. Is u greater than x?
False
Let z be (5 - 6)/((-1)/3). Let i(q) = -q**3 - 8*q**2 + 10*q + 12. Let y be i(-9). Is y smaller than z?
False
Let l be 10/(-6) - (-1)/(-3). Let x = -0.44 - 0.56. Is x != l?
True
Let r = -8 + 8. Is 7 less than or equal to r?
False
Let m(p) = -2*p - 7. Let t be m(4). Let o = -10 - t. Which is bigger: 6 or o?
6
Let l = -0.04 - -0.08. Let i = l - 0.14. Suppose 4*z = 2*a - 2, 0 = -z + 3*a - a + 4. Is i bigger than z?
True
Suppose -9*h + 6*h = 0. Which is smaller: 2/19 or h?
h
Let q = -17 + 25. Which is smaller: q or 7?
7
Let p be (4/6)/((-14)/(-63)). Let s be (-3)/9 + 14/6. Suppose s*c - i - p = 0, 0 = 2*c + 4*i + i + 15. Which is smaller: -2 or c?
-2
Let l = -1 + 4. Let d = 14 + -6. Suppose -o + 0*z = -5*z + 12, 0 = o - l*z + d. Which is bigger: -1 or o?
-1
Let u = -3 + 5. Suppose 3*w - 2*w = 3*m - 2, m + u = w. Suppose -q - a = m + 2, -5*q - a - 8 = 0. Does -1/12 = q?
False
Let d = 0.02 - 0.01. Let m = 0.09 + d. Are m and -1/5 equal?
False
Let a = -92 - -92. Which is smaller: -2/79 or a?
-2/79
Let b = 1.06 - 0.86. Is -0.8 greater than b?
False
Let n be (-30)/(-8) - (4 + (-85)/20). Is n >= 4?
True
Let b be 2 + ((-30)/33)/1. Let n = b + -25/33. Suppose 0 = -t + 3*o - 2*o + 4, -12 = -4*t + 3*o. Which is smaller: t or n?
t
Let a = 0.86 - -54.14. Are a and 0.1 equal?
False
Suppose 2*x = 1 + 5. Suppose -5*v + 41 + 9 = 0. Suppose v = 5*w - 0*w. Is w <= x?
True
Let n be -4 + (4/6)/((-6)/(-54)). Is n <= 3?
True
Let f = -135/2 - -66. Let i = -0.3 - -1.3. Let x = -2 + i. Which is greater: f or x?
x
Let i(m) = -m**3 + 3*m**2 + 5*m - 5. Let q be i(4). Let y(p) = 1. Let h(b) = b + 3. Let r(l) = q*h(l) + 6*y(l). Let j be r(5). Is -1/2 less than j?
False
Let v(n) = n - 1. Let o be v(-5). Let s = 13 + -15. Let f be s/(-3 + 10/3). Is f at most o?
True
Let n = -12 - -13. Let h = n + -1. Which is greater: -0.2 or h?
h
Let g(l) = 4*l + 6. Let c be g(-3). Let n be (-28)/c + -1 + -4. Is n greater than -1?
True
Let w be 18/(-2) + 28/(-7). Is 0.1 > w?
True
Let b be (0 - 0)/(1 - -1). Suppose 4*m - m = b. Let l = 9 - 9. Is m bigger than l?
False
Suppose 2*m = 3*m. Suppose -14 = 5*v - f, 5*v + f + m*f = -16. Is -4 bigger than v?
False
Let s = 0.19 + 0.11. Suppose -5 + 11 = 3*b. Is b at most as big as s?
False
Let g = -0.8 - -0.5. Let j = 0.4 + g. Let i = -18 + 22. Is j < i?
True
Let c = -30 - -28. Let g = -1.1 + 8.1. Let t = g + c. Which is bigger: 0 or t?
t
Suppose 6 = -2*y + 2. Suppose 0 = 6*d - d + 10. Is d greater than or equal to y?
True
Let c(y) = -y**3 - 2*y**2 - 6*y + 6. Let g be c(4). Let t be (-1)/(-2) + g/(-4). Suppose t = -3*n + 11. Is n smaller than -6?
False
Let p = 9 - 5. Let g = p + -4.04. Which is smaller: -1 or g?
-1
Let r(c) = -c + 1. Let s be r(2). Let n be 2*1*s/2. Let v be (-6)/10 - 0 - -1. Which is smaller: v or n?
n
Let u = -2 - 3. Let a = u + 12. Which is bigger: a or 8?
8
Let g be (-28 + 2)*(-1)/2. Let c = g + -15. Is c at most as big as -1?
True
Let f = -5 - -4.9. Which is smaller: f or -12?
-12
Let k(s) = 5*s**3 - s**2 + 2*s - 1. Let u be k(1). Suppose 10*d - 20 = u*d. Suppose 0 = -4*l - 2*x, 0 = d*l - 0*l - x + 12. Are -1 and l equal?
False
Suppose 285 = -5*l - 255. Let p be l/42 - (-3)/1. Is p at most -1?
False
Let n(b) be the first derivative of -b**4/4 + 7*b**3/3 - 3*b**2 + 3*b + 3. Let j be n(6). Suppose -4*x = 1 + j. Is x smaller than -1/3?
True
Let g = 117 - 179. Which is bigger: -1 or g?
-1
Let q(c) = c - 1. Let t be q(0). Let g be 0 + t + (-1)/(-3). Do g and -1 have the same value?
False
Let p = -11.1 - -11. Let l = 3/7 + -5/28. Which is bigger: l or p?
l
Let r = 15 - 10. Suppose -2 = 2*d + r*v + 12, 5*v + 32 = 4*d. Let y = -249 - -252. Is y less than or equal to d?
True
Suppose -2*f - 3 + 5 = 0. Let v be f - ((-81)/(-3))/3. Is -8 < v?
False
Let a(d) = -d + 2. Let u be a(0). Let k = 9/5 - u. Let l(n) = n**3 - n**2 + n - 1. Let z be l(1). Are k and z nonequal?
True
Let v = -33 + 60. Is 27 smaller than v?
False
Suppose 7*b - 3*b = 0. Let a = -3196/39 + 82. Let p = a + -88/195. Is b less than p?
False
Suppose 0 = -19*x + 20*x + 88. Is x < -1/4?
True
Let x = -130 + 131.06. Let i = x - 0.06. Is 1/6 bigger than i?
False
Let b = 2.1