2 + 3. Is 1/2 <= i?
True
Let m = 10.2 + -11. Let c = m + 0.5. Let t = c + 2.3. Is t bigger than 2?
False
Let k be 1*(33/30 - 6/4). Are k and -0.3 non-equal?
True
Let u be (-3 - (1 - 3)) + 4. Suppose -u*w = -7*w - 8. Which is bigger: w or 0?
0
Suppose 0 = p - o - 2*o + 4, 4*o = 4. Which is smaller: p or -2/51?
p
Let g = -5857/21 - -279. Let b = 17/42 + g. Let a = 0 - -1. Are b and a non-equal?
True
Let r be 4/(-3)*27/(-108). Is r <= -198?
False
Let p be (-36)/(-162) + (-1330)/(-738) + -2. Which is greater: p or -1?
p
Let c = -0.93 - 0.07. Is c greater than or equal to 1.3?
False
Let r = 104 - 103. Which is greater: 74 or r?
74
Let j(v) be the second derivative of -v**5/20 - 5*v**4/12 - 5*v**3/6 - v**2 - 3*v. Let n be j(-4). Suppose -3*r + 8 = 2. Is r smaller than n?
False
Suppose 75 = 3*y + 5*k - 9, -2*y = k - 49. Is 23 <= y?
True
Let a be 1*1*(-18)/(-70). Let p = 6/7 - a. Is p less than 2/3?
True
Let q = 12 + -7. Let w be 1 - (1 + 1 + q). Let z be 1 - 0 - (-9)/w. Which is smaller: z or 2?
z
Let a = 5 - 8. Is -4 at most as big as a?
True
Let u = -400696/15 + 26729. Let q = -16 + u. Let h = 3/5 - q. Which is bigger: h or 2?
2
Let k(g) = g**3 + g**2 - g + 2. Let z be k(0). Let y be (-6)/(z - 5) - -2. Is y at most 2?
False
Let t = 13 + -15. Which is smaller: -12 or t?
-12
Let d = -8.3 - -9. Let b = 0.8 - d. Let s = 3.3 + 0.7. Is s less than b?
False
Let p = 11.8 - -3.2. Let r = 2 - 4/3. Which is smaller: p or r?
r
Let l be 3*(3/(-9) + 0). Let s be -3 - l/((-4)/(-12)). Which is smaller: s or -2?
-2
Let o = 0.04 + -6.04. Let z = o - -5. Is z >= 2/3?
False
Suppose 50 = -5*b - 3*x + 1, 5*b = -5*x - 45. Is b smaller than -11?
False
Let m = -101 + 100. Is 1/5 >= m?
True
Let k(q) = -q + 1. Let h be k(0). Let a be (-85)/(-100) - (-6)/(-10). Which is smaller: h or a?
a
Let t = -0.12 + 0.32. Which is greater: t or -0.17?
t
Let u be 4/(-2) - (-16)/7. Suppose 4*n = 8, q + 12 = -4*n + 69. Let d = q + -149/3. Which is bigger: d or u?
u
Suppose 18 = v + x, 4 + 1 = -x. Suppose -4*z - 6 = 5*k + 9, -5*z = 2*k + v. Suppose 2*n = -c - 4*c + 2, 2 = -c + 2*n. Is k at least as big as c?
True
Let v = 8.6 + -8.4. Are -14/11 and v non-equal?
True
Let t = -41/14 + 24/7. Which is greater: 3/37 or t?
t
Let i = 21 - 6. Suppose -i*b = -14*b + 1. Is b equal to -2/9?
False
Suppose -d - 3*d = 4. Let k = -0.3 - -0.28. Let g = -0.98 + k. Is g < d?
False
Let h = -0.047 - -0.011. Which is smaller: h or -1?
-1
Let x = -17/20 - -41/20. Is x at most 0?
False
Let s = 2 - 2.3. Let u = s + -0.7. Let f = -1 - -3. Is f >= u?
True
Let v be -2 + -1 + (-76)/(-24). Suppose -1 = -2*x + 1. Which is bigger: x or v?
x
Let g = -1 + 5.9. Let x = g - 5. Let k = -6 - -8. Is k >= x?
True
Let g = 9.9 + -10. Are 3 and g non-equal?
True
Let q = -0.25 + -2.75. Let p = -422395/16404 - 2/4101. Let t = -26 - p. Which is smaller: t or q?
q
Suppose -3*g = -5*y - 695, 5*y + 7*g - 6*g = -695. Is -139 <= y?
True
Let v be (-3)/18 - (0 - (-2)/(-4)). Let m = 9.76 - 10. Let p = m + -0.06. Which is greater: p or v?
v
Suppose 2*z - 7*z = -5. Is z less than 4/5?
False
Let g be (-59)/(-30) + 32/(-40). Which is smaller: g or 0?
0
Let o(i) = -5*i - 28. Let z be o(-13). Is 38 at most z?
False
Let u = 11 - 6. Let r(x) = u*x + 4*x**3 + 3 + 5*x**2 + 3 - 5*x**3. Let p be r(6). Is p at least 1/4?
False
Let k = 3602/5 - 713. Which is greater: k or 6?
k
Let h = -3 - -2.9. Let i = 28 + -22. Let m = i - 2. Which is bigger: m or h?
m
Let r = 1 - 1/3. Is r > -35?
True
Let j be -1*(2 + -13)*-2. Is j != -22?
False
Let d(g) = -g**2 - 12*g - 5. Let h(n) = 3*n**2 + 35*n + 15. Let x(k) = -17*d(k) - 6*h(k). Let l be x(-4). Let c = l + -5. Is c <= -3/4?
True
Let p = 229/7 + -33. Suppose -5*u + 2*a = 4, 0 = 2*u - 3*u + a + 1. Let d = u - -2. Is d not equal to p?
True
Let u = 4 - 8. Do -5 and u have different values?
True
Let t(w) = w + 6. Let y be t(-5). Let m = y - 1. Is m greater than -1/36?
True
Suppose -i - 36 = 2*i + 2*j, 4*i - 2*j + 62 = 0. Let w = -16 - i. Is w greater than -13/4?
True
Let x = -2 + 0. Which is greater: x or 8?
8
Let x(f) = -2*f - 7. Let w be x(-5). Let b be (w - 3) + 1/4. Do b and -1 have the same value?
False
Suppose 0*d = -2*d + 4. Suppose -2*w = -6*w - u + 27, 4*w - 4*u - 12 = 0. Suppose w*q - d*q + 12 = 0. Is -4 at least q?
False
Let u = 6/7 + -1. Let v(h) = h - 12. Let q be v(6). Let d be 35/(-42)*q/(-20). Is d > u?
False
Let d(a) = a**2 - 2*a - 1. Let c be d(4). Suppose c = 5*u - 6*u. Is u < -7?
False
Let f be (-1)/3 - (-4)/(-8). Suppose 0 = -4*i - 12 + 4. Is f greater than or equal to i?
True
Let t be (4/(-40))/((-6)/(-15)). Which is greater: 16 or t?
16
Let l = -107 + 69. Is l smaller than -37?
True
Let b = 1421435 - 234537649/165. Let s = b - 2/55. Are s and -4 equal?
False
Let q = 25 + -28. Which is smaller: -24/11 or q?
q
Let o = -76039 + 11025447/145. Let x = o + 1/29. Do -1 and x have the same value?
False
Let f = 3 - -1. Suppose 5*q + 2*w + 0 = -5, -f*q = 5*w + 21. Which is bigger: q or 2?
2
Let t be 15/(-3) + (-2 - -1). Let h be ((-4)/t)/((-184)/12). Are 1 and h non-equal?
True
Let x = -1.5 + 1.6. Is x greater than or equal to 3/7?
False
Let o(z) = z**3 + z**2 - 2*z + 3. Let s be o(3). Is 33 at least s?
True
Suppose 16 + 2 = -h + 5*v, -2*h = 3*v - 16. Suppose 7 = 4*m - 13. Let i be (-2)/m - 10/(-25). Is i != h?
True
Suppose 0 = 2*d - 7*d. Let p be d/(4/(-2))*1. Let n be ((-1)/3)/(4/6). Is p at least as big as n?
True
Let n be 2 + 813/(-203) - (9 + -11). Is n greater than or equal to 1?
False
Let w(c) be the first derivative of -c**3/3 - 2*c + 3. Let z be w(0). Which is greater: -3 or z?
z
Suppose 12 + 18 = -2*t. Is -16 at most as big as t?
True
Let f(v) = v**3 + 11*v**2 - v - 9. Let p be f(-11). Let u(m) = -m**2 + m - 2. Let o be u(p). Is o > -6?
True
Let j be 5/(525/(-20)) + 0. Which is greater: j or 0?
0
Let c(p) = 6*p - p**3 + p**3 - p**3 - 7 - 6*p**2. Let v be c(-7). Suppose 3*r = -v*r. Which is smaller: 2/11 or r?
r
Let n(h) = 8*h**2 + 7*h - 7. Let c(i) = i**2 + i - 1. Let r(l) = -6*c(l) + n(l). Let z be r(2). Let u be z/(-42) + 1/2. Is u bigger than 1?
False
Let q = -9.88 + 10. Is -1 equal to q?
False
Let g be (-16)/33 + 12/18. Is g < 1?
True
Let c = 0.1 - 0.3. Let w = c - 7.8. Let x = 7.9 + w. Is 2/7 greater than x?
True
Let f = 366.02 - 371. Let c = f + -0.02. Is 1/2 equal to c?
False
Let h = 64 + -322/5. Let o = -3 - -4. Which is greater: o or h?
o
Let z(w) = w + 16. Let g be z(5). Is 21 > g?
False
Let w(d) = -3*d + 3. Let j be w(3). Let r be j + 2*2/4. Is -4 > r?
True
Suppose -12 - 4 = 4*f. Let n be f/(-22)*(-3)/2. Is n > 1?
False
Let c = 0.1 - 0. Let q = -0.3 - -0.3. Let u = q + -2. Is u < c?
True
Let s be (0 - 1/(-1)) + 0. Let x be (10/15)/(1/9). Let p be (((-16)/6)/2)/x. Is s < p?
False
Suppose -o + 5*o = 0. Suppose o*a - 5*a = 5. Suppose -3*c - 12 = 0, -4 = -3*r + 4*c - 3*c. Which is greater: r or a?
r
Let s be (16/(-48))/(269/(-3)). Is s greater than or equal to 0?
True
Let g = 29 - 29.5. Let w = -6 - -4.5. Let b = w + g. Which is bigger: 0 or b?
0
Let n = -20.9 + 43. Let t = 22 - n. Is t smaller than -1?
False
Suppose 5*v + f + 3 = -19, -2*f - 14 = 4*v. Is -8 at most as big as v?
True
Let b(w) = w**3 + 6*w**2 - w - 3. Let t be b(-6). Suppose 4*f + g = t*f, 3*g + 16 = f. Let i = 0.1 - 0.1. Is i greater than f?
False
Let o(p) = -p**3 + 1. Let m(j) = -5*j**3 - 5*j**2 + j - 1. Let h(q) = m(q) - 6*o(q). Let t be h(5). Which is greater: t or -3?
t
Suppose -88 - 2 = -3*l. Suppose -5*o = -5*c + l, -o + 1 = 2*c - 11. Suppose 0 = -2*z + 2*t - 12, 2*z + 3*t = 7 + c. Is -1 bigger than z?
False
Let a = -15 + 15. Let z = a + 0. Is -2/7 greater than or equal to z?
False
Suppose 2*n - 8 = 6. Let r(h) = -h**2 + 8*h - 7. Let l be r(n). Let q = 3 - 4. Which is smaller: q or l?
q
Let r be (0 + -1)/(9 + -7). Let j(m) = -m**3 - 3*m**2 - 3*m - 3. Let t be j(-2). Is r greater than t?
True
Suppose -4*q + 0*q = 0. Let c be (q - 8/6)*-3. Is 4 bigger than c?
False
Suppose 0*v - 8 = 2*v + 2*w, -2*w = -5*v + 1. Let h = v - 8. Let m(z) = -z**2 - 9*z. Let q be m(h). Is q != -2/3?
True
Let u = -19.77 - -20. Let q = 0.07 + u. Is 0.6 > q?
True
Let r(z) be the third derivative of 0*z + 0 + z**2 + 1/24*z**4 - z**3. Let x be r(8). Is 3 smaller than x?
False
Let w = 0.3 - 0.2. Let b = -473 + 1577/3. Let t = b + -52. Is w bigge