 73. Let x = 7 - m. Let i be 16/x - 4/(-6). Does -1 = i?
False
Suppose -a + s - 216 = 0, -4*s + 160 + 264 = -2*a. Let x(y) = -y**3 - 6*y**2 - 5*y - 7. Let v be x(-5). Let n be (-1)/v - a/(-70). Is n at least as big as -3?
True
Let b be (-31)/(-3) - 5/15. Let j = 12 - b. Are 1 and j equal?
False
Let g = -2/707 - 1997/43834. Are 0 and g equal?
False
Let m = -7 - -8. Let o(n) = n + 2. Let i be o(-6). Is m less than i?
False
Let h = 0 + 4. Let a be 1 - 4/(-6)*6. Which is bigger: a or h?
a
Let y = -0.3 - -1.3. Let z = 0.26 - 0.11. Let n = -0.25 - z. Which is smaller: y or n?
n
Let l(o) = o**2 - 2*o - 8. Let v be l(-2). Which is smaller: v or -6/13?
-6/13
Let p = 4 + -6. Let n = -29 + 53. Let k = n - 21. Does p = k?
False
Let p = -0.2 + 0.9. Let z = 0 - 0.3. Let o = p - z. Are o and 1 equal?
True
Let b = -48 - -41. Which is greater: -2 or b?
-2
Let r(s) = -s**2 - 11*s + 67. Let w be r(-16). Is w at least -3?
False
Let k be ((-2)/(-12))/(5/3). Is 1 < k?
False
Let q = 6 + -5. Suppose 0 = 3*t, -w + q = -t - 1. Let s = 25 + -23. Is w greater than or equal to s?
True
Let h(w) = 2*w - 15. Let v be h(0). Is -14 less than or equal to v?
False
Let b = -1 + 0. Let t = b - -1. Let k = -0.1 - -1.1. Is k <= t?
False
Let t = -0.1 - -0.2. Let n = -39 - -42. Which is smaller: n or t?
t
Let h be (0 + 2/8)/(-4). Is h at most as big as -1?
False
Suppose -4*w - 9 = -4*n + 11, -5*n = -25. Let h = 23/3 + -49/6. Are w and h equal?
False
Suppose v - 4 = -o, -v + 16 = -3*o + 8*o. Suppose 5*c + 5*r = 23 - 3, 0 = -r. Suppose c*p = -3*a - 13, 5*p + 22 = -0*a + 2*a. Is a greater than or equal to v?
True
Let x = 30 - 14. Is x greater than or equal to 16?
True
Suppose 0 = 3*q + 2*s - 2 - 0, 2*q + 5*s = -6. Suppose -q*r = 3*c - 9, 0 = r - 3 + 6. Let p = -3 + c. Are p and 2 non-equal?
False
Suppose i = h - 4, i + 2*h - 4*h = -8. Is 4/7 <= i?
False
Suppose -3*i = 3*z - 4*i - 31, -3*i = 4*z - 50. Are z and 4 equal?
False
Let u be 3/(-2) - (-781)/506. Suppose -8 = -3*r + f, 2*f + 19 = -r - 2*f. Are u and r nonequal?
True
Let w be (-4*4/(-8))/2. Suppose 2*g - 5*d = 14, 1 = g + 2*d + 3. Which is smaller: w or g?
w
Let m = -67 + 107. Which is smaller: m or 1?
1
Let s = -6.3 + 5. Let z = 1.3 + s. Are z and -0.04 non-equal?
True
Let o = -21922/7 - -3110. Let z = o - -22. Let w = -873/7 + 125. Do z and w have the same value?
True
Let f(j) = -j**3 - 19*j**2 + 40*j - 45. Let u be f(-21). Which is smaller: -29/7 or u?
-29/7
Suppose 0 = -5*x + 21 - 6. Let z = x + -3. Which is smaller: z or 2?
z
Let q = 0 - -4. Suppose -3*n + 2 = -3*r + 11, -4*r - 4 = q*n. Let o be 0 + ((-18)/4)/(-3). Which is smaller: o or r?
r
Let v be ((-1)/(-2))/((-4)/(-72)). Let t be (-2)/(-12)*v/2. Is -2 >= t?
False
Let u = -10 + 14. Suppose -3*m + 5*k = -0*m - 4, 2*m - u*k - 4 = 0. Let t(v) = -v**2 + v. Let g be t(-1). Is m > g?
False
Suppose -f + 1 = -4*n, 4*f - 3*n - 1 + 36 = 0. Let x = f + 10. Which is smaller: -2 or x?
-2
Let h be (-1*1 + 0)/(-1). Let z = 3/418 + 749/12122. Is h < z?
False
Let g(p) = -p**2 - p. Let w be g(1). Let z be 1 - (w/(-1) + -3). Which is smaller: 5/8 or z?
5/8
Let i(q) = q - 4. Let v be i(6). Suppose -2*x = -2*r + v, 1 = -x + 5*r - 4. Which is bigger: 2/7 or x?
2/7
Let f = -39/10 - -22/5. Let k be (-1)/(-2)*(-8)/22. Is f <= k?
False
Suppose -4*n = -2*l - 4, 0 = 4*l - 5 - 3. Suppose 2*v = n*m - v - 25, 5*v = -m - 7. Let w = -3 + m. Which is bigger: 6 or w?
6
Suppose -15*v + 10*v = -60. Do v and 13 have the same value?
False
Let i(m) = m**3 - 4*m**2 - m + 5. Let l be 26/7 + 4/14. Let u be i(l). Is u greater than -1?
True
Let l(p) = -p**2 - 6*p - 5. Let c be l(-5). Which is smaller: c or -1?
-1
Let i(y) = -y**2 + 10*y - 3. Let p be i(9). Let z be (6/(-18))/((-23)/p). Is z at least -1?
True
Let f be -2 + 2 + 2/2. Let l be f + 3/(0 + 3). Which is bigger: l or -1?
l
Suppose -o - o = -18. Let n be (-14)/(-9) - 2/o. Is -0.2 >= n?
False
Suppose -f - 4*w = 16, 5*w + 13 = -3*f - 0*w. Let x be (-30)/(-12)*(-4)/5. Let l be (2/30)/(x/f). Is l less than or equal to -1?
False
Suppose -5*d = m - 19, m - 3*d = -0*d - 13. Let p = 147/970 + -36053/136770. Let u = p - 1/47. Which is greater: u or m?
u
Let v(h) = h**3 + 7*h**2 + 6*h - 6. Let r be v(-8). Let w be (-24)/30 - r/10. Is w bigger than 12?
False
Let x(c) = -c**2 - 4*c + 2. Let s be x(-3). Let f = s - 8. Let q = -3 + 1. Which is bigger: f or q?
q
Suppose -9*t - 3 + 21 = 0. Is t smaller than 47?
True
Suppose -2*h + 2 = -5*z, -4*h = -0*h + 16. Suppose -5*n - 2 = -2*u, 5*u = u - 16. Is z at most n?
True
Let x(n) = -n**3 - 3*n**2 - n + 1. Suppose -4*t = q + 14, -5*t = -2*q + 11 - 0. Let s be x(t). Is 4 at most as big as s?
True
Let m be -41 + (-1)/(1 - 2). Let a be (2/m)/(2/12). Does 0 = a?
False
Suppose -4*u - 5*c = 22, 0 = -2*u - u + c - 26. Do u and -6 have different values?
True
Suppose -2*x + v - 27 = 3*x, 23 = -3*x + 4*v. Which is smaller: -3 or x?
x
Let g = 0.2 + -0.2. Let r = 0.1 - 1.6. Let t = r - -0.5. Which is smaller: t or g?
t
Suppose b = 5*f + 10, 0*b - 3*f - 22 = b. Suppose -4*p + 61 = 1. Let c be p/(-10)*4/b. Which is smaller: c or -2/5?
-2/5
Let c(d) = -2*d**2 - 5*d - 4. Let s(x) = x**2 + 4*x + 4. Let r(a) = 2*c(a) + 3*s(a). Let y be r(3). Which is smaller: y or 1/2?
1/2
Let y = -23 - -24.1. Let m = y + -1. Which is bigger: m or -3?
m
Let u = -8 - -8.2. Let x = 0 - u. Which is smaller: -1/4 or x?
-1/4
Suppose -5*f + 12*f + 105 = 0. Which is smaller: -16 or f?
-16
Suppose 3*s - 5 = 2*s + 3*z, 0 = -4*s - z - 32. Let v = s + 11. Suppose 0 = -5*b - 5*k, -3*k = v*b - k. Which is smaller: -6/5 or b?
-6/5
Let v = 16 + -5. Suppose v + 1 = 3*w. Let m = w - 3. Which is bigger: 0 or m?
m
Let v be (-5)/(140/(-44)) + -2. Is v <= 0?
True
Suppose 0 = -0*q - 3*q. Which is greater: q or 2/49?
2/49
Let z(u) = u**2 - 8*u - 6. Let k be z(9). Let o(s) = 2*s - 6. Let c be o(k). Let x = -50/39 - -8/13. Which is smaller: c or x?
x
Let f = 247/84 - 20/7. Is f <= 1?
True
Let x be (-8)/90*10/4. Which is greater: x or 2?
2
Let d = 452/429 + 16/33. Which is smaller: 2 or d?
d
Let i = -0.5 + 0.5. Which is smaller: i or -0.05?
-0.05
Let r = -308/13 + 443/39. Which is smaller: -11 or r?
r
Let t = 4 + -3. Let r(k) = -2*k**2 - 5 + 5*k**2 - 4*k - 2*k**2. Let d be r(5). Which is bigger: t or d?
t
Suppose 3*p - 7*p = -8. Suppose -3*q - 4 = p. Is q smaller than -2/3?
True
Let y = -7 + 15. Suppose g - y = -0*g. Suppose -r - o + g = 3*o, -2*r - 5*o + 13 = 0. Which is bigger: 3 or r?
r
Let d be ((-3)/(-9))/(4/(-12)). Let k be 0 + d/((-3)/(-21)). Which is smaller: k or -8?
-8
Let h be 0 + -1 - 2 - 642/(-210). Are 0 and h nonequal?
True
Let t be -1 + -2 - (-9 + 5). Which is smaller: t or -1/7?
-1/7
Let n be 17/(5/120*6). Which is greater: 69 or n?
69
Let z be 6/3 + 2 + -3. Let n = 515/6 - 86. Is n less than or equal to z?
True
Let k be (12/117 + 0)/(8/(-96)). Which is bigger: -2 or k?
k
Suppose -27 + 3 = 4*h. Which is bigger: h or -3?
-3
Let f = 5.1 - 5.3. Is 10 smaller than f?
False
Let g be ((-21)/(-6))/(-7)*4. Does -5/6 = g?
False
Let l = 0.11 - -0.29. Is l < 0?
False
Let y = 125/3 + -42. Do -1/3 and y have different values?
False
Let t = -21 - -270/13. Is t at most 0?
True
Let g be 4/10 - (-96)/(-15). Let o = g - -5. Let i = -122/11 + 120/11. Which is smaller: i or o?
o
Let g(y) = -y**3 + 4*y**2 + 4*y + 7. Let p be g(5). Let u be (-36)/(-10) - (-12)/30. Suppose -o = -p*o + u. Is 4 at most o?
True
Let i be -2*(0 + (-6)/28). Is i at least 1?
False
Let v = -4 - 0. Is -10 smaller than v?
True
Let q = 12 - -7. Let y = 15 - q. Is y bigger than 0.1?
False
Let h be ((-1)/3)/(1/(-9)). Suppose -q = h*q. Suppose -3*a - 3 + 0 = q. Which is smaller: a or -2?
-2
Let v be ((-3)/(7 - -2))/(2/222). Is -35 at least as big as v?
True
Let g be 485/(-550) + 2/11. Is g bigger than -2?
True
Let l = -3 - -2. Let m = 6 + -8. Let n be 1*(m/2)/(-1). Is n greater than or equal to l?
True
Suppose 3*b + 3 = -5*c, 3*b = 2*c + c - 3. Which is smaller: b or -4/35?
b
Let l = -2.03 - -2. Let q = l - -1.03. Is 0.06 less than or equal to q?
True
Let w = -3662 - -589584/161. Which is greater: w or -1?
w
Let z(g) = g - 6. Let m(a) = a**2 - a + 5. Let o be m(0). Suppose o*r - 6 = 4*r. Let v be z(r). Which is greater: -1/6 or v?
v
Let n = 217 - 198.8. Let p = n - 18. Let a = 0.4 + -0.2. Is p != a?
False
Let f(w) = -2