2/107. Do n and t have different values?
True
Suppose 0 = 3*w - 5*z - 19, -5*z + 11 = -5*w + 46. Let h(v) = 2*v + 43. Let k be h(-16). Suppose -k*n = 3 - 69. Are w and n non-equal?
True
Let i(o) = -o + 33. Let f be i(21). Let y be 2*((-5)/f)/(-5). Is 1 at least as big as y?
True
Suppose 8*i - 80 = 4*i. Let o(p) = -p**2 - 22*p + 42. Let x be o(-24). Let b be (x/(-4))/((-3)/i). Is b at most as big as -10?
True
Let c = 396 + -395.538. Which is smaller: c or 0.1?
0.1
Let r = 21/22 + -109/110. Let t be (-2 - -1)*(-3 + 4). Are r and t equal?
False
Let d(n) = n**2 - 3*n + 5. Let z be d(2). Suppose 4*v - 2*k + z*k = -28, 3*v + 8 = -4*k. Which is smaller: v or -7?
v
Let z = 412 - 310. Which is bigger: 205/2 or z?
205/2
Let u = 761 - 760.8. Are u and -2/9 equal?
False
Let i = -363 - -1823/5. Suppose 15*o - 25 = -10. Is o > i?
False
Let s = -63 + 75. Let o be (-80)/s + -2 + 3. Do -5 and o have the same value?
False
Let p = -1771 + 1786. Suppose 0 = 3*s - 20 - 31. Which is smaller: p or s?
p
Let n(p) = -p**3 + 5*p**2 + 13*p + 7. Let o be n(7). Is -3/343 less than o?
True
Let z(n) = 13*n**3 - n - 1. Let m be z(-1). Let v = 192 + -205. Is v greater than m?
False
Suppose 0 = 18*g - 30*g + 120. Let u(p) = 2*p**2 - p - 2. Let v be u(2). Let m be 35/v + 2/8. Is m <= g?
True
Let p(l) = l**2 - l. Let v be p(2). Suppose -4 = -3*x + v. Suppose 2 = x*f - 0. Is f smaller than 10?
True
Suppose 24*i = 11*i + 13. Is -3/49 at most as big as i?
True
Let f be 0/(2/((-8)/4)) + 40. Let w = 66 - f. Is 26 < w?
False
Let z be ((-9)/(-12))/((189/56)/9). Which is bigger: 10 or z?
10
Suppose t + 122*x = 123*x - 2, -5*t + x - 2 = 0. Suppose -2*d = -6*d. Is d less than t?
False
Let m = -0.09 - 0.15. Let j = m + 1.54. Let b = j - 0.9. Is -0.1 at most as big as b?
True
Let y = -52 - -201/4. Suppose 10*v = 5*v - 90. Let z(h) = -h**3 - 17*h**2 + 18*h - 3. Let t be z(v). Which is greater: y or t?
y
Suppose 2*c - 10*c - 32 = 0. Let s be (4 + 920/(-228))/(c/6). Is -1 less than s?
True
Let d = 0.52 - 5.42. Let g = 4.5 + d. Let n = -0.2 + 0.3. Which is smaller: n or g?
g
Let k(c) = -12*c - 143. Let u be k(-12). Is 9/26 smaller than u?
True
Let y(f) = 6*f - 5. Let a be (-1 - 2)*((-5)/(-3) - 2). Let d be y(a). Is d at most as big as -2/85?
False
Let c be ((-42)/35)/(8/(-140)). Which is bigger: c or 43/2?
43/2
Suppose 0*j + 5 = 5*j. Suppose q + 3 = -2*q. Let x = q + 2. Are j and x non-equal?
False
Let t = 128 - 124. Does t = -5?
False
Let t = -6.95 - 0.05. Is t > -13?
True
Let c be (-4)/10*(-50)/18. Let p(m) = -6*m**3 + 2*m**3 - 32*m + 18*m + 17 - 10*m**2 + 3*m**3. Let q be p(-8). Is q less than c?
True
Suppose -5*z + 10 = 2*q, -5*z + q + 5 = 10. Is -1/364 >= z?
False
Let a = -552 + 551. Are a and 0.0555 unequal?
True
Let m = 655 + -663. Let h = 6.5 - -0.5. Let c = h + m. Is 5 bigger than c?
True
Let s be -22*2/8 - -5. Let u = -2.4 - -2.2. Which is greater: s or u?
u
Let i be (31/(-188))/(24/(-64)). Let g = i - 1097/1034. Let b = 5/11 + g. Do -1 and b have the same value?
False
Let k(o) = -o + 4. Let d be k(-9). Let w be (-1 + 2)*d - 3. Let n be 12/w*8/(-12). Which is greater: n or -2?
n
Let n = -20.73 - -0.73. Let c = 12 + n. Is c > 2?
False
Let p(x) = -3*x**2 + 7*x + 3. Let w(r) = -4*r**2 + 8*r + 2. Let z(a) = -3*p(a) + 2*w(a). Let c be z(6). Let q be 3/(-6)*c*1. Which is smaller: q or 0.3?
q
Let l = -43 + 39. Let t = -5 - l. Which is smaller: t or -35?
-35
Let w = 143 + -268. Which is smaller: -251/2 or w?
-251/2
Let s be (-1)/(-7 + 4)*191. Which is greater: 65 or s?
65
Let o = -123.2 + 141.2. Which is greater: o or 5?
o
Let c(l) = 34*l - 4. Let j be c(-4). Let d be (-6 + 40/16)*(-2 + 4)*20. Is j less than d?
False
Let q be (216/(-81))/((-1)/24). Let f = -114 + q. Is -50 < f?
False
Let o(r) = r**3 - 11*r**2 - 24*r - 27. Let d be o(13). Which is smaller: -2/1847 or d?
d
Let l = 0 + -1.4. Let j = -1 - l. Does j = 2/7?
False
Suppose 0 = -5*n - 10, -4*m - 22 = -5*n - 60. Which is bigger: m or 10?
10
Let w = 101.8 - 101.79. Let n = 0.3 + -0.1. Let o = n - 1.2. Are o and w equal?
False
Let t = -550 + 400. Which is bigger: 1/3 or t?
1/3
Let j = -3 + 5. Let w = 34837/20904 + 1/6968. Which is bigger: w or j?
j
Let w = -19 + 37/2. Let a be 9/(-6)*(112 - 2). Let k be 0 + 3 - a/(-50). Is k != w?
True
Let g = 546 - 548. Let j = 0.86 + -0.06. Let q = -1 + j. Which is bigger: q or g?
q
Let h(g) = -2*g + 12. Let i(p) = -2*p + 13. Let c(d) = -2*h(d) + 3*i(d). Let x be c(7). Let j be ((-54)/210)/(x/(-5)). Is j < -0.1?
False
Let y be ((-1694)/70)/((-3)/15). Is 0 at most y?
True
Let k = 1 + 4. Suppose -y = -k*z + 5, 13 = -3*y - z - 2. Are -28/5 and y non-equal?
True
Let g(c) = -c**3 + 11*c**2 + 13*c - 10. Let y be g(12). Suppose 2 - 42 = 2*q - 3*z, y*q = -z - 40. Which is smaller: q or -21?
-21
Let y = 34.0799 - 0.0799. Which is smaller: 1/3 or y?
1/3
Let p = 726568/195 + -3726. Is p bigger than 0?
False
Let b = -34 + 97/3. Let d = -31 - -16. Let o be (-11)/15 + (-6)/d. Which is smaller: o or b?
b
Suppose 81 - 18 = 9*v. Is v less than 68/11?
False
Let j = 110.931 - 111. Let v = j + -0.031. Is 6 < v?
False
Let g(n) = 5*n**3 - 94*n**2 - 17*n + 34. Let j be g(19). Which is smaller: 85 or j?
j
Let v be (-1)/(3/(1*-21)). Suppose -7*w - v + 49 = 0. Let d(c) = 2*c**2 - 2*c + 3. Let a be d(2). Which is bigger: a or w?
a
Suppose 4*z = -s - 72 - 247, 3*z + 228 = -3*s. Is -2/5 greater than z?
True
Let o = 23836/65 + -1822/5. Let n = 18 - 17. Is o greater than n?
True
Suppose 2*b + l = 20, -4*l = -3*l. Suppose 0 = -5*v - 0 - b. Which is smaller: v or -5?
-5
Let g(m) = m**3 - 5*m**2 - 8*m - 3. Let p be g(7). Suppose p = 3*i + n, -n = -5*i + 72 + 1. Suppose -15*r = -i*r. Is r greater than -1?
True
Let m be 6/(-12) + 2639/(-26). Which is greater: -100 or m?
-100
Suppose 18 = m - 4*m. Let b be 2/m + 13/3. Suppose -2*v + 3*j = -5 - 11, b*v = 3*j + 32. Is 8 equal to v?
True
Suppose y - z = 2*z + 88, 3*z - 300 = -3*y. Let o = y - 483/5. Which is smaller: o or 2/33?
2/33
Let g be (5 - (-6 + 9))/(-398). Do g and -1 have the same value?
False
Let g be 2/(-4)*(78 - 78). Is g bigger than -12/175?
True
Let k = -376 + 400. Are k and 119/5 equal?
False
Let t = -86 - -82. Let w be t + 74/6 - (-8)/12. Which is smaller: w or 10?
w
Let j = -317 - -317.3. Which is greater: -198 or j?
j
Let x(c) be the third derivative of c**4/8 + 5*c**3/2 - 19*c**2. Let r be x(-5). Which is smaller: -1 or r?
-1
Let u(c) = c. Let w be u(1). Let o be 44/(-55) - 1/10*2. Let g be 4 + -6 + (0 - 1/o). Which is smaller: w or g?
g
Suppose 3*s - 6 - 24 = a, 3*a = -s - 70. Suppose -r = -6*r + 20. Let w be (-3)/a*r*-2. Which is smaller: -3/8 or w?
w
Suppose z - 201 + 152 = 0. Suppose -5*v - z - 75 = c, c = -v - 28. Is v at most -24?
True
Let b(y) = -y**2 - 20*y + 17. Let z be b(-19). Let x be -1 - (-44)/z - (-257)/(-1035). Which is greater: 1 or x?
1
Let s be (858226/(-910))/(-6 + 7). Let u = 14144/15 + s. Let v = -2/21 - u. Which is greater: v or 1?
1
Let p be 7/(-15)*(-8)/(-28). Let s = p - 7/60. Which is smaller: -1 or s?
-1
Let n = -1721.2 + 1720. Do -0.6 and n have different values?
True
Let y(q) = q**2 - 5*q - 12. Let i be y(7). Suppose 3*z + 4*m + 12 = -7, -2 = -i*z + m. Is -9/5 != z?
True
Let g be (-10)/25 + 6/(-10). Let c be 12/(-34)*g/3. Let r be ((-3)/(-12))/((-4)/(-16)). Is c != r?
True
Suppose 30 = -3*a + 5*g, -4*g = 5*a - 5*g + 28. Let f = a - -13. Let n be (-31)/(-4) + 9/36. Is n > f?
False
Let m be ((-17495)/(-10))/((-33)/(-18)). Let s = -953 + m. Which is greater: 1 or s?
s
Let d = -8/3 + 2. Suppose l = -4*c + c - 142, 4*c + 4*l + 200 = 0. Let x = 44 + c. Which is greater: d or x?
d
Let b = -33.22 + 32.22. Let y(i) = -i + 2. Let h(a) = a + 2. Let q be h(-7). Let g be y(q). Is g < b?
False
Suppose 0 = 3*c + 2*p + 94 + 23, -2*c - 2*p - 76 = 0. Which is smaller: -43 or c?
-43
Let u = 30.80312 - -0.14588. Let y = 0.051 + u. Let q = y + -30.98. Is 0.2 equal to q?
False
Let b = -636 + 466. Which is smaller: 0.1 or b?
b
Let r = 11.2 + -12.6. Which is smaller: -3 or r?
-3
Let z = -1075 - -1083.78. Let y = z - -0.22. Let s = -8 + y. Which is greater: s or -2?
s
Let c = 2716/5 + -32567/60. Let i = -1 + 1. Is i < c?
True
Let p be (-515)/(-11) - -2*1/11. Which is bigger: 45 or p?
p
Suppose -126 = 5*a + 4*r + 645, -2*a - r = 306. Is -150 less than a?
False
Supp