41. Let w be ((-1)/3)/((-1)/3). Is i != w?
True
Let d = -5498.98 - -5369. Let t = 130 + d. Which is greater: t or 0.01?
t
Let c = 0.045 + -0.145. Suppose 2*m = -3*m. Which is smaller: c or m?
c
Let l = -6 + 8. Let a be (-8 - 1) + 4/l. Let o = -6 - a. Which is smaller: o or -2?
-2
Let h = 0.2 - 0.1. Let i = 6.4 - 6.5. Let d = h - i. Is 0.2 != d?
False
Suppose -106 = -3*b + b. Suppose 695 = 13*x + 19. Which is smaller: b or x?
x
Suppose 5*n + 4*j = -6 + 72, 5*j = -2*n + 40. Let w(l) = -2 - 6*l + n*l - 19. Let x be w(5). Is x greater than -1?
False
Let m = 208 - 1870/9. Let j = -6 - -25. Suppose 0 = -14*t + j*t. Which is greater: m or t?
m
Let n be 8/6 - 12/(-18). Let q(d) = -d - 4 - n*d + 5 + 0. Let j be q(-4). Does 13 = j?
True
Let c be (35/(-10) - -4)*2. Which is smaller: c or 1/1072?
1/1072
Let r be 2/(-15) + -3 + 310/75. Which is smaller: 3/221 or r?
3/221
Let v be (-224)/(-4) + (-10 - (-5 - 0)). Is 42 less than or equal to v?
True
Suppose -3*g + 71*j + 26 = 66*j, 2*g = j + 8. Are g and 141 nonequal?
True
Suppose -2*z - 130 = -7*z. Suppose j - z = -5*a, 7*j - 8 = -a + 4*j. Let c be (-2)/(6/3)*-4. Which is bigger: a or c?
a
Let u(z) be the first derivative of -z**3/3 + 15*z**2/2 + 36*z + 13. Let a be u(17). Do a and -6 have the same value?
False
Let l = 0.037 - 0.077. Let f = 68.04 + l. Which is smaller: f or -0.1?
-0.1
Suppose 4*u - 113 = 3*h, 5*h - u - 2*u + 181 = 0. Is h equal to -35?
True
Let n = -540 + 540.846. Which is smaller: n or -0.1?
-0.1
Let f be 0/((-4)/16 - 3/4). Which is smaller: f or -5/611?
-5/611
Let z be ((-2)/(-1) + -1)*-12. Let j be 3 - z/(3 + -7). Suppose j = -2*s + 5*s - 4*t + 12, 12 = s + 4*t. Which is smaller: 1 or s?
s
Let t = 388 - 569. Are t and -180 unequal?
True
Suppose 4*g - 13 + 5 = 0. Let h(i) = -i**3 + i - 1. Let u(z) = 2*z**3 + 2*z**2 + 2*z. Let d(f) = 3*h(f) + u(f). Let k be d(3). Is g > k?
False
Let w be ((-525)/9)/(-5) + -11. Let c = 0 - 2. Let s = 2.1 + c. Which is smaller: s or w?
s
Let m = 4 + 44. Suppose -3*x + 16 = x, 5*d - 4*x = 219. Is m at most d?
False
Let o be (-17)/153 + (-65)/(-180). Which is smaller: o or 258?
o
Suppose 669 - 39 = -18*j. Let w be (-1)/(1/36 + 0). Is w at most as big as j?
True
Let n be (-182)/5*45/(-6588). Let b = -20309/64050 - n. Let u = b + 7/25. Which is bigger: u or 6/7?
6/7
Let a be ((-38)/(-6))/(385/180). Let g = 22/7 - a. Let s be -2*3/(-12)*-2. Which is smaller: g or s?
s
Let i = -19 - -24. Suppose 11 = 3*h + i. Which is greater: -0.1 or h?
h
Let g = -181 - -4162/23. Which is smaller: -1 or g?
-1
Let q = -346183/20855 + -2/4171. Let s = q - -757/45. Are s and -3/10 unequal?
True
Suppose 4*d = 12 - 4. Let b be d/(-3) + (-4)/(-18). Let y(n) = n**3 - 2*n**2 + 3*n - 1. Let o be y(1). Which is greater: o or b?
o
Let a(z) = 4*z**2 - 8*z + 7. Let k(y) = -12*y**2 + 23*y - 20. Let u(f) = -17*a(f) - 6*k(f). Let o be u(1). Let i be 1/o + 16/(-12). Are -1 and i nonequal?
False
Suppose 5*f - 135 = 5*c, 0*c + 4*c = -3*f + 46. Suppose v - 35 = -14. Does f = v?
False
Let r = 543/4582 + -8/79. Let y be 13/26 + (-2)/4. Which is bigger: y or r?
r
Let z = 0.13 + -6.13. Let w = -6 - z. Let x = -93 + 96. Is x equal to w?
False
Let u = -22 - -23. Let o be 1*-6*112/(-12). Let d = 618/11 - o. Is d greater than u?
False
Let o be 50*59/1 - -1. Let y be ((-4)/10)/(o/65). Let j = y + -448/681. Is 5 at most j?
False
Let o = 119 - 1620. Are o and -1501 non-equal?
False
Let j = -26 + 37. Let a = 13 - j. Suppose 4*r - 12 = -0. Is a at least r?
False
Let j be 1 + 8/2 - 1. Let i = 20 + -25. Let k be ((-6)/i)/(10/25). Is j at least k?
True
Let w be -4*4/(-16) + (-300)/150. Let y be (-5 + 0)*(-2)/555. Is y greater than w?
True
Suppose -4*d - 5 = -3*d. Let j(h) = -h**2 - 4*h + 5. Let r be j(d). Let w be ((-12)/555)/(5*2/25). Which is bigger: w or r?
r
Let t(k) = k**3 + 12*k**2 + 13*k + 10. Suppose 0 = 4*i + 2*l + 48, -3*l = -5*i - 32 - 17. Let f be t(i). Let p = -15 - f. Which is bigger: p or -1?
-1
Let u = 13 - 7. Let n(m) = -6 - 2 + u + m. Let w be n(8). Is 6 at most w?
True
Let c(n) be the third derivative of n**5/30 + 19*n**4/24 - 17*n**3/3 - 17*n**2 + 2. Let t be c(-11). Let y be (-12)/(-14)*-1 - -1. Which is smaller: t or y?
t
Let k be ((-12)/45)/(18/45). Is k <= -35/4?
False
Suppose 0 = -3*u - 15 + 3. Let q be (6 + 65/(-10))/(u/(-3)). Which is smaller: q or 1?
q
Suppose -2*q - 4 = -0. Suppose -r + 0*z = 5*z + 11, 5*z + 14 = -4*r. Let w be (-2)/16 + r/2. Which is smaller: w or q?
q
Let s(t) be the first derivative of t**3/3 - t**2 - 2*t - 5. Let b be s(4). Let p be 1 + 0*(-3)/b. Is 1 less than or equal to p?
True
Let y(l) = 3*l**2 + 2*l - 4. Let w(i) = i**2 - i - 10. Let b be w(-3). Let f be y(b). Are f and 12 nonequal?
False
Suppose 26*v + 66 = 40. Let q = -56235 - -5117594/91. Let z = 28/13 - q. Is z at least v?
True
Suppose 4*f = -5*a + 2*f + 128, 4*a + f = 103. Suppose k = 2*h + 3*k + a, -3*h + 2*k = 29. Suppose -7*t + 5*t - 24 = 0. Which is smaller: h or t?
t
Suppose 0*q = 3*q + 3. Suppose 0 = -3*r - 2*t + 4, 10 = 5*r + 4*t. Which is smaller: r or q?
r
Let k = 74 + -38. Which is greater: 34 or k?
k
Suppose -38*o = 82 + 336. Which is bigger: o or -82/7?
o
Let g = 16 - 17.3. Let j = g + 1.2. Is j != -0.1?
False
Let u = -13 - -4. Let q = u - -13. Suppose 0 = 4*f - q. Which is smaller: f or 4?
f
Let w = 38 + -52. Is w smaller than -0.18?
True
Suppose 5*v + 5*j - 10 = 0, -4*v - 2*j + 6*j = 8. Let l be ((-1 + 1)/(-4))/(-2). Let p be (l - (-4 + 2))/35. Which is smaller: p or v?
v
Suppose -2*z = 23*z + 525. Which is greater: -34 or z?
z
Let t = 86296/5 - 17162. Let w = t - 98. Let f(l) = -l**3 + 7*l**2 - 8*l + 11. Let z be f(6). Does z = w?
False
Let a be (-264446)/330395 + (-16)/(-20). Which is greater: -1 or a?
a
Let s = -103.35 - -103.5. Let g = -1.2 + 1.1. Which is bigger: g or s?
s
Let b = 21 - 16. Suppose 16 = -b*h + 1. Let d be 6/(-18)*(-1 - h). Which is smaller: 0 or d?
d
Let u = 952 - 1320. Is -370 > u?
False
Let v(r) = -r**2 + 11*r + 6. Let c be v(12). Let f be c/81*-1*6. Which is smaller: 1 or f?
f
Let v = 16.5 - 449.5. Which is smaller: 2/5 or v?
v
Let z = 269 + -268. Which is smaller: z or 1.401?
z
Suppose -6*u = -4*h - u - 8, 0 = 4*h + u - 16. Suppose -h = -6*a + 3*a. Let q = -70 - -489/7. Which is greater: q or a?
a
Let w be (-30)/(-12)*(4 - 0). Suppose 2*y + 0*y - 2 = 0, 3*s - 25 = 5*y. Let j = -1 + s. Is j bigger than w?
False
Let s(a) = 6*a - 215. Let d be s(55). Is d at most 118?
True
Let b = -4.22 - -3.32. Let w = 20.4 + -20. Do b and w have different values?
True
Let c(o) = -3*o**3 - 3*o**2 - o + 2. Let b be c(-2). Let m = -6 + b. Let k = m - 9. Which is smaller: k or -1?
-1
Suppose 2*o = 4*b + 3*o + 175, -3*o - 95 = 2*b. Let r = -41 - b. Suppose 4*h + 0 = -3*i + 4, -4*i = h - 1. Is h smaller than r?
True
Let y = -14 - -14.7. Let x = y - -0.3. Let m be (48/(-42))/(((-1)/4)/(91/(-52))). Is x not equal to m?
True
Let s = 898/5 + -432841/2410. Is 0 greater than s?
True
Suppose 6*g - 230 = -4*g. Suppose 6*u - 4*n = 3*u + g, 3*n = -u - 14. Which is greater: u or 2/41?
u
Let h(j) = j**3 + 4*j**2 + j + 4. Let p be h(-4). Suppose p = 3*t + 60 + 9. Are -21 and t non-equal?
True
Let t(g) = -g**2 + 17. Let z be t(0). Let w(k) = -k**2 - 35*k - 233. Let n be w(-10). Is n > z?
False
Let h = -4 + 3. Let t = 0 + h. Let y = -596 - -601. Is y < t?
False
Let g = 228.04 - 228. Are -6/17 and g nonequal?
True
Let u = -1077 - -1078. Which is smaller: u or -1/414?
-1/414
Suppose 12 = 7*s - s. Suppose 5*n = 0, -n - s*n = 2*p + 6. Let z be 2/7 + (-48)/21. Are z and p non-equal?
True
Let a = 8/21 + 8612/105. Is a bigger than 82?
True
Let l = 4 - 5. Let h be (1/4)/l*-1. Suppose 3*u - 5*y + 1 = 0, -y - y - 22 = 2*u. Which is bigger: u or h?
h
Let p = 0 - 0. Let f be 15/(-606)*(3 + 17/(-5)). Let n = f + -307/404. Which is greater: p or n?
p
Let l be (-14)/(-3 + 7 - 2). Which is smaller: -17/3 or l?
l
Let q = 4.8 + -5.4. Is q at most 0.01?
True
Let p = 1/14 + -45/826. Is -1 at least as big as p?
False
Suppose 0 = -2*f + 3*s - 15 + 71, 3*f - 2*s = 79. Suppose f - 65 = -4*o. Suppose 0 = p - 2*z - o, -3*p + 5*z = -0*z - 26. Which is bigger: 1 or p?
p
Let a(u) = 6*u**2 + 24 - 22*u**2 + 12 + u**3 - 38*u. Let n be a(18). Is n > 1/91?
False
Suppose -61*c + 3 = -62*c. Let i be c/(0/(-7) - (-2)/(-6)). Is -1 != i?
T