 3 not equal to u?
True
Let l(n) = n**3 - n**2 - n. Suppose 0*o - 5*o = -5. Let k be l(o). Is -2 at most as big as k?
True
Let v = -1 - 0. Let j = 6617/7 + -945. Are j and v unequal?
True
Let f = -14.94 - 3.24. Let u = 18 + f. Let h = -0.02 + u. Is 0.1 less than h?
False
Let w = 0.6 + -0.7. Is w less than -11?
False
Let m be (1/6)/(7/(-7)). Suppose -c - c + 8 = 4*z, -4*c + 5*z + 29 = 0. Let p be c/(-12) - (-1)/2. Which is smaller: p or m?
m
Let r = -13 + 12.9. Is 5 > r?
True
Let l = 0.118 - 0.061. Which is smaller: -2/7 or l?
-2/7
Let n be -3 - (-2)/(6 - 5). Are n and -4/7 equal?
False
Let u = 0.36 - -0.04. Let o = 5.4 - u. Let b = -247/7 + 35. Is o bigger than b?
True
Suppose -q + 4*q = 3*a, q - 4 = 0. Is a > 1?
True
Let r = -6 - -4. Let b = -3 - r. Let c = -2 + 2.2. Is c equal to b?
False
Let j = 2/7339 + -227533/88068. Let k = j - -7/3. Suppose -3 = -3*a - 0. Is k > a?
False
Suppose -5*q + 8 = -2. Let u = -6 + 1. Let i = u + q. Is -3 at least as big as i?
True
Suppose 4*p - w = 2*w - 2163, 4*p = w - 2161. Let u be 1/(-5) + (-68)/p. Which is bigger: u or -1?
u
Let q be -5 - -6 - 39/21. Let o be (-2 - 1) + (-1 - -3). Are o and q non-equal?
True
Let d = -0.032 + 1.032. Which is bigger: -1 or d?
d
Let d(f) = 2*f**2 + 7*f + 7. Let k(a) = -a**2 - 3*a - 3. Let g(q) = -2*d(q) - 5*k(q). Let p be g(0). Let c = 27 + -245/9. Is c at most as big as p?
True
Let u = -13/120 + 1/120. Let n(g) = g**2 - 6*g + 1. Let o be n(6). Which is smaller: o or u?
u
Let n be 5 + ((-52)/18 - 2). Which is smaller: -1 or n?
-1
Let k = 18 + -20. Let s = 0 + 1. Which is smaller: s or k?
k
Let n = 2 + -4. Suppose 4*p - 5*c = 5*p - 62, 2*c = -3*p + 173. Let t = p + -173/3. Does n = t?
False
Let h(x) = x**2 - 3*x - 2. Let l be h(4). Let g be 687/(-126) + l - 0. Let f = 19/6 + g. Is 0 > f?
True
Suppose -1 = -q - 3. Let l be q - (2 - (3 - -2)). Does 7 = l?
False
Let y be 24/224 - 1/4. Let f = -6 - -4. Let c be f/((-6)/2 + 1). Which is greater: c or y?
c
Let v = 2 - 0. Let m = -0.08 - -1.08. Which is smaller: v or m?
m
Suppose -7 = g - 5*c - 1, 0 = -2*g + c + 24. Let r = -7 + g. Let o be (-3 - -4) + (-9)/r. Which is bigger: 1 or o?
1
Let c be (56/(-24))/(2/6). Which is greater: c or -6?
-6
Let h(s) = 5*s**3 + s**2 - s + 1. Let r be h(1). Let i = 8 - r. Let w be (4/(-6))/(i/3). Which is smaller: -2/11 or w?
w
Let s(n) = 2*n**2 + 2*n + 5. Let m(w) = 3*w**2 + 5*w + 9. Let z(i) = 3*m(i) - 5*s(i). Let g be z(5). Let u be g/4 - (-1 + 1). Is 2 at least as big as u?
True
Let v be (-117)/24*2*2/(-6). Which is smaller: v or 3?
3
Let y be -2 + 6 + (-12)/3. Let s(u) = u + 3. Let d be 2*-1 + -2 + 0. Let z be s(d). Which is smaller: y or z?
z
Suppose h - 6*h + 4*d - 2 = 0, -3*d = -4*h - 1. Let p = 0 + h. Let l be (p/(-5))/(7/5). Is l smaller than 0.1?
True
Let u = 0.48 - 1.48. Which is bigger: 2/11 or u?
2/11
Suppose 3*y - 12 = y. Let b = -4 + y. Do b and 1/3 have the same value?
False
Let m(g) be the second derivative of 5/12*g**4 - 1/20*g**5 + 0 + 2*g**2 + 5/6*g**3 - g. Let y be m(6). Which is bigger: y or -1?
-1
Let q = -3.54 - 0.06. Which is bigger: q or 1/3?
1/3
Let r = 17 + -7. Is r greater than 11?
False
Let u be -5 - ((-2712)/(-15))/(-8). Is u <= 17?
False
Let k = -4/7 + 6/7. Let b = -0.39 - -0.4. Let m = -0.11 + b. Which is greater: m or k?
k
Let m be 2/(-4) - 21/(-6). Let h = m - 3. Suppose -4*z - 9 + 1 = h. Is -2 at least as big as z?
True
Suppose -18*s + 20*s + 2 = 0. Suppose 2*r + 2*y - y + 12 = 0, -6 = r + y. Let i be (-8)/12 - 2/r. Which is smaller: s or i?
s
Let z = -9778193951/13889346 + -568/147759. Let d = z - -704. Let r = d + -277/470. Which is smaller: -1 or r?
-1
Suppose 4*w + 3 - 19 = -4*f, 2*w - 10 = -4*f. Let z be -1 - -2 - (1 + -2). Suppose 0 = -z*l + 2*d - 6*d - 10, 3*l = 4*d + 25. Do w and l have different values?
False
Let n = 5 - 8. Let c = 3.1 + n. Which is greater: -0.3 or c?
c
Let w(x) = -9*x + 4. Let u be w(-2). Is 24 greater than u?
True
Let u = 0 - 0. Let p be 52/(-91)*(-7)/2. Let l be 1 + 1 - (2 - p). Which is smaller: l or u?
u
Let g be (0 - (-408)/(-9)) + 2. Let y(d) = d**2 - 2*d + 9. Let p be y(7). Let u = g + p. Which is greater: u or 1?
1
Suppose 2*s + 8 = 24. Let q = -3 + s. Suppose 47 = q*j + 12. Is j greater than or equal to 8?
False
Suppose -2*c + 8 = -0. Suppose c*k = u + 2, 4*u - 7 = -k + 2. Let r be (4/35)/(6/(-15)). Which is smaller: r or k?
r
Let l(y) = y**2 - 1. Let d be l(-2). Suppose -5*q = 2*p, 6*p - 17 = d*p + q. Is 4 at least as big as p?
False
Let k be ((-5)/(15/(-4)))/(1/3). Let b = 5 + -1. Is b equal to k?
True
Let g be 2/(-10) + (-341838)/10260. Let a = 203/6 + g. Which is smaller: -0.1 or a?
-0.1
Suppose 5*f + 7 = 2. Let q be 2 + f/((-8)/(-26)). Suppose 2*h = 2*u, 5*u + 4*h + 0 = -9. Is q greater than or equal to u?
False
Let j(a) = -a**2 - 5*a + 1. Let h be j(-4). Let d = -53/10 + h. Is d smaller than 0?
True
Let j be -22*1*(-5)/(-5). Does -22 = j?
True
Suppose 88*y + 375 = 83*y. Which is smaller: -77 or y?
-77
Let s = 13 - 8. Suppose -5*o = s*k - o + 20, 0 = 4*k - 2*o - 10. Which is greater: k or 1?
1
Suppose 5*t - 5 = 5. Suppose 1 = -3*p - t. Let d be -2*(-3)/6 + p. Is 0 > d?
False
Let i(j) = -j**3 - 2*j**2 + 4*j + 7. Let f be i(-5). Let s = f - 1053/17. Are s and -1 equal?
False
Let k(d) = -d**2 + d + 4. Let a be k(3). Let y(u) = -u**3 - u**2 + u. Let s be y(-2). Let c be s*1 + 0/a. Is c at least 2?
True
Let q = 9.2 + -6. Let a = q + -3. Are a and -0.1 equal?
False
Let t = 0.4 - -0.4. Let n = 5.2 + t. Let s = 7 - n. Is s greater than or equal to -1?
True
Let y = -5 - -4.9. Let v = 5 - 5. Is y > v?
False
Let p = 88 - 262/3. Suppose 0 = 3*k - 4*k + 3. Suppose k*u = -2*u + 5. Which is bigger: u or p?
u
Suppose -6 = 5*c + 4*i - 21, 12 = 4*c + 3*i. Let d = 188 + -186. Which is greater: d or c?
c
Let b = 337 - 321. Let w be -6*(1/(-2) + -2). Are b and w equal?
False
Let k = -3 + -3. Suppose 8 = 32*d - 30*d. Suppose -5*u - d*w = -u, 3*u = 5*w - 40. Which is smaller: k or u?
k
Suppose -2*a - 2 = -4*p + 2, 4*a + 11 = 5*p. Which is smaller: -5/4 or p?
-5/4
Let b = -8.82 + -0.18. Let u = 8 + b. Which is smaller: u or -0.3?
u
Let q be -6 - (31 + -1)/(-6). Let d be 2/3 + (-123)/63. Which is smaller: q or d?
d
Let g = 9 + -1. Let w = g + -5. Suppose 1 = 2*b + w. Is b less than or equal to 1?
True
Suppose 0 = -0*b - 3*b. Let j = 1 + -0.1. Let w = j + 0.1. Are b and w unequal?
True
Let d = 9.9 + -7. Let b = d + -3. Suppose 0 = -3*z + 8*z + 15. Which is smaller: z or b?
z
Let f(s) = 6*s**2 - s. Let m be f(1). Suppose 0 = -2*t + i - 3, m*i + 5 = 20. Is t greater than or equal to -1/6?
True
Let x = 0 - -8. Suppose -4*r = -a + x + 11, -5*a = 3*r + 43. Let j be 5/r*(-10)/(-25). Which is smaller: j or -0.1?
j
Suppose -6*w + 2*w = -8. Suppose 2*d - 16 = -2*v, 5*d = w*v - 4 + 9. Let o(a) = a - 4. Let s be o(d). Are 1 and s non-equal?
True
Let o be ((-44)/4 - 1) + 0. Is -14 not equal to o?
True
Let w = 25.1 - 24. Let z = -1.2 + w. Which is bigger: 2/5 or z?
2/5
Let l(j) = -j + 15. Let m be l(14). Let u be ((-3)/((-3)/1))/m. Are -1 and u equal?
False
Suppose -12 = -5*v - 2. Suppose -v*r + 3*c + 7 = 0, -3 = -2*r - 0*r - c. Is 2 not equal to r?
False
Let c = -22 + 30. Which is greater: c or 3?
c
Let y = -9 - -8. Does -1 = y?
True
Let s = -253/30 - -29/6. Which is bigger: -1 or s?
-1
Let i(c) be the third derivative of c**6/120 + c**5/12 - c**4/8 + 2*c**3/3 + 3*c**2. Let o be i(-6). Is -14 < o?
False
Let f(i) = -12*i - 3. Let d be f(-3). Are d and 33 nonequal?
False
Let n be (-3 - 0)/9*-101. Let p = n - 33. Let t = -2 - -2. Is p < t?
False
Let v be 3/2*6/(-9). Let z = 1 + 0. Suppose s - z = -3. Is s >= v?
False
Let n(a) = -4*a**3 + 2*a**2 - 1. Let g be n(-1). Let x = -2 + g. Which is bigger: 2 or x?
x
Let z = -30 - -29. Which is bigger: z or -0.03?
-0.03
Suppose 0 = -f + 6 - 1. Let d = -0.1 + 0.2. Which is smaller: d or f?
d
Suppose -d - 12 = -3*p, -d + 6 = 5*p + 2*d. Suppose -p*m = m + 8. Let j = m + 3. Which is greater: j or 1/7?
j
Let u = 171 - 1529/9. Are -1 and u nonequal?
True
Suppose o + 3 = 0, 4*c = -7*o + 2*o - 3. Suppose -2*d = d + c. Is -2 not equal to d?
True
Let f = 2 - 3. Let r = 244893/40 + -6124. Let t = r - -9/5. Which is bigger: t or f?
t
Let z(p) = 4*p + 1. Let h be z(2). Which is bigger: h or 11?
11
Let q = 3 + -3. Suppose n = 3*i -