z = m?
False
Suppose -2*c + 5 + 1 = 0, 3*c = 2*h + 69. Is h less than or equal to -32?
False
Let p = 10.4 + -6.4. Let r = 7 - p. Are 3 and r unequal?
False
Let x = 4.22 - 0.02. Let g = x + -1.2. Suppose 0 = -7*k + 5*k. Which is smaller: g or k?
k
Let s be 12/27 + (-12)/108. Let v = -552/25 + 22. Which is smaller: v or s?
v
Let k = 1332.2 - 1332. Which is greater: k or 0.358?
0.358
Let w be (3 + 1 - -6)*(-1)/17. Is 0 greater than or equal to w?
True
Let b = -3 + 7. Let u be 4 - b/(-6)*-5. Is 0 > u?
False
Let d(y) = y**3 - 5*y**2 - 7*y. Let s be d(6). Let o = -11 + 334. Let p = o - 329. Is p bigger than s?
False
Suppose -m + 29 - 32 = 0. Does -11 = m?
False
Let v = -3/119 + 2627/357. Which is greater: v or -0.2?
v
Suppose 20 = 2*m - 4*z, -6*m + 2*m = 2*z - 30. Suppose 0 = -10*y + 4*y - 84. Let t = m + y. Is -6 >= t?
True
Let v(m) = m - 8. Let c be v(14). Let z = c - 5. Suppose -z = 4*x - 3*x. Which is smaller: x or 0?
x
Suppose 5*z - 72 = 78. Suppose -2*c + 6 = 0, -5*u + 0*u = 2*c - 151. Is u at least z?
False
Let i = 76 - 76.11. Is -0.02 bigger than i?
True
Let b be (13/(-65))/((-33)/(-2145)). Let d be (-1)/3*38*1. Which is smaller: b or d?
b
Let z be (-7 + 2022/294)/(2 + -24). Which is smaller: -1 or z?
-1
Let q = 0.65 - -6.15. Let j = -8 + q. Which is smaller: 1 or j?
j
Let i = -634 - -627. Let b = -2.1 - -2. Which is greater: b or i?
b
Let v = 6 + -5.94. Let c = -1.06 + v. Let l = 0.03 + -0.01. Which is greater: c or l?
l
Suppose -3*x + 9 - 3 = 0. Suppose -x*i + 16 = i - 2*b, i - 2*b - 12 = 0. Let q be (-10)/6*8/(-5). Which is bigger: i or q?
q
Let n be 12/10*25/10. Suppose 1 = 2*u - n. Suppose 3*b - 1 = -2*v - u*v, 5*b = 5*v - 10. Which is greater: b or -7/5?
b
Let r = 20 - 35. Let i = r - -16. Let s be 4/(-8)*(-1)/(-5). Which is smaller: s or i?
s
Let p = 1542 - 1106. Which is smaller: 434 or p?
434
Suppose -6*y - 20 = s, 12*s - 10*s + 85 = -3*y. Is s at most as big as 0.1?
True
Let a be (-16)/28 + 65/28. Suppose -p + 16 = 3*p. Suppose 0 = 4*q - 3*y + 5, -3*q - p*y + 18 = y. Is q >= a?
False
Let q = 0 - 0. Let s = 248350/3 + -5740058/69. Let h = -406 - s. Which is smaller: q or h?
h
Let l = -33 + 55. Let y(g) = -g**2 - 3*g + 203. Let f be y(12). Which is greater: f or l?
f
Let d = -0.0449 + -0.5551. Do -90 and d have the same value?
False
Suppose -x - 23 = -6*s + s, -3*x - 9 = 0. Let u = 13 - 8. Suppose u*n = n + 5*a + 41, -5*n - 5 = 5*a. Is n not equal to s?
False
Let s be 11/(21/45*(0 - 3)). Is s greater than -9?
True
Let u = -57 + 59. Suppose -u*i + 4 = -0, 0 = 2*w + 3*i - 8. Which is greater: 4/9 or w?
w
Let f = -223 + 217. Let n(z) = -z - 4 - 2*z + 2*z. Let h be n(f). Which is bigger: h or 6/5?
h
Let t = -151 - -92. Let b = t - -61. Which is greater: -2/13 or b?
b
Suppose 0 = -4*b + a - 38, -5*b - 2*a = -4*a + 49. Let c be (-252)/66 - 4/22. Let t(l) = -l**3 - 5*l**2 - l + 3. Let x be t(c). Is b equal to x?
True
Let t be ((-4)/(-8)*-6)/((-15)/(-5)). Which is smaller: 2/167 or t?
t
Let c = 4/273 - 2545/6006. Are -1 and c non-equal?
True
Let k be -48 + 20 + ((-2)/(-2) - 3). Let q = -31 - k. Which is smaller: -3/7 or q?
q
Let x = -8789407/571 - -15393. Which is smaller: -1 or x?
-1
Let d be (-1*1/(-56))/(3/6). Let j be 3/(-7)*4/(-6). Let a = d - j. Which is smaller: -0.1 or a?
a
Let g be (-1 - 32/(-3)) + 44/(-66). Let l be (1/(-1) + -13)*-1. Let i = l - g. Which is smaller: i or 4?
4
Suppose -2*n + 6 = -3*d - 24, -40 = -4*n - 4*d. Suppose -n = -3*p + 24. Suppose 5 + 3 = q - 3*t, 0 = 4*t + p. Do q and -1 have different values?
False
Let c(s) = -s**2 - 7 + 7 + 9 - 3*s. Let f be c(2). Which is smaller: -0.29 or f?
f
Let h = 0.079 - -1.221. Let s = 21.3 - h. Is s < 1?
False
Suppose -5*a = -3*y + 80, 4*a - 2*y + 74 - 8 = 0. Let k be 5 + (-11)/(11/24). Is a > k?
False
Let n = 1 - 1.1. Let f = -0.34 - n. Let t = -0.14 - f. Which is greater: 1/25 or t?
t
Let h(d) = 24*d**2 + d + 5. Let n(i) = i**2 - 1. Let q(j) = -h(j) - 4*n(j). Let y be q(3). Let x be 14/77 - y/(-1166). Is x at most as big as 0?
True
Let h be 721/(-14)*2/(-1)*1. Suppose -4*j - 4*p = -76, 5*j - h = -2*p - p. Is j < 23?
False
Let t(h) = h**3 + 12*h**2 + 10*h + 1. Let p be t(-11). Suppose -4*a = -a - p. Suppose 0 = -a*f + 2*f + 8. Which is bigger: f or 3?
f
Let i be (-11)/(1650/588) + 4. Is i >= 1?
False
Let c = -381/14 + 5009/182. Are c and 8 nonequal?
True
Let z(b) = -b**2 + 5*b + 10. Let w be z(5). Suppose 2*a = 2*c + a + 1, 4*c + 2*a - w = 0. Let f be (-30)/16*c/5. Is 0 less than or equal to f?
False
Let g = 71 - 63. Suppose l - g = 10. Is l at least as big as 16?
True
Let l = 2 + -3. Let q = -7597 + 7609. Which is smaller: l or q?
l
Let o = -7.02 - -0.02. Let h = 1047 + -1046.8. Is h >= o?
True
Let d(i) = -i**3 + 3*i**2 + i + 0*i**2 - 4*i**2. Let s be d(1). Let n be (1 + -10)*s/3. Which is greater: n or 2?
n
Let p(a) = a**3 + 8*a**2 + 16*a - 10. Let j be p(-7). Is j smaller than -74?
False
Let h = -6435778/434245 - -1408/95. Let j = h - -4413/361109. Which is smaller: j or 1?
j
Let v(y) = -20*y + 103. Let c be v(21). Which is smaller: -318 or c?
-318
Let n be (-5606)/(-28)*(3 + -1)*-5. Let i = 2006 + n. Is i greater than 5?
False
Suppose -5*x + 4*o - 27 = -0*x, 0 = x + 4*o - 9. Let f be 0/(-2)*x/3. Is 12 <= f?
False
Let g be ((-2)/6)/(-4 - 125/(-30)). Let d = -3 - -6. Suppose -d*a = -4*a - 3. Are a and g nonequal?
True
Let w be -3 + (488*-1)/2. Let i = 136 + w. Let b = 1441/13 + i. Which is smaller: 1 or b?
b
Suppose 3*k = k - 4*c + 8, -3*c = k - 3. Let d be (k/(-18))/(1/3). Let r = 439 - 2202/5. Which is smaller: r or d?
r
Let k = 14.07 + -13.4. Let i = k + 0.33. Is i at least as big as 3?
False
Let h be 8 - ((-2 - -5) + 0). Suppose -p + 22 = r + 4*p, -h*p = -20. Let t(g) = g**2 + 1. Let b be t(r). Is b < 5?
False
Let s(k) = -2*k**2 - 63*k - 89. Let h be s(-30). Which is bigger: h or 2/317?
h
Let l be (6/4)/((-1)/(-4)). Let k be (2/l)/(10/(-6)). Let f be (49/(-35) - -1)*(-10)/4. Which is bigger: k or f?
f
Let l = 40 + -39. Let a be l/3*(-6)/18. Which is smaller: -3/4 or a?
-3/4
Let m = 65 + -397/6. Which is smaller: m or 9?
m
Suppose -5*g + 8 = -7. Let m(z) = z**3 + 7*z**2 - 18*z + 1. Let n be m(-9). Which is greater: g or n?
g
Let i(l) = -l**2 + 25*l + 189. Let u be i(31). Suppose 0*j - j + 4 = 0. Suppose j*z = -b - 2*b - 10, z = -2*b. Which is greater: u or b?
u
Let q = -2867/5 + 3093/5. Is q at least as big as 46?
False
Let d(v) = -v**2 + 4*v - 1. Suppose i = 5*f - 6, -3*i = -f - 5 - 5. Let r be d(i). Let t be ((-102)/33 - -3)*-2. Does r = t?
False
Suppose 5*t = t + 116. Let z = t + -7. Suppose 164 = -133*x + 1477 + 1480. Do x and z have the same value?
False
Suppose -c + 198 = 3*c - 2*t, -3*t - 197 = -4*c. Let m = 29 - c. Are -22 and m nonequal?
True
Suppose -9*m = -5*m - 4*r + 8, r - 1 = 0. Let f = -5 + 15. Let x = 3 - f. Which is bigger: x or m?
m
Let a = 18388/39 - 1423/3. Are a and -3 non-equal?
True
Let z = 119 + -117. Is z at least -145?
True
Let m = -17 + 33. Let k = m - 11. Suppose k*n + 14 = -6. Is n less than -4?
False
Let d(n) = 8*n**2 - n - 1. Let p be d(1). Suppose -10 = -p*s + 20. Is s at least as big as 2?
True
Let g = 0.54 + 2.16. Let z = g + -3.7. Is z less than or equal to -8/5?
False
Suppose 4*r - 12 = -4*u, 3*u + 9*r - 4*r = 17. Which is smaller: -3/17 or u?
u
Let g = 23.64302 - -0.04698. Let n = -24 + g. Let r = n - -0.2. Which is smaller: 0 or r?
r
Let z = 560 + -594. Which is smaller: z or -33?
z
Let u(t) = t**3 + 2*t**2 - 2*t - 3. Let a(h) = -h**3 + 2*h**2 - 3*h + 3. Let v be a(2). Let k be u(v). Let n be 3/(-6) - 45/k. Which is greater: 6 or n?
n
Let w = 0 + 5. Suppose 5*h + w*d + 25 = 0, -5*d - 12 = -3*h + 13. Let z be 5/(-10)*(h - 2). Which is greater: z or 7?
7
Let h(z) = z**3 + 12*z**2 + 12*z + 15. Let a be h(-11). Let p = 12 - a. Let w be -1*2 + -6 + p. Is w equal to -1/14?
False
Suppose 56*h - 7 = 49*h. Which is smaller: h or 21/10?
h
Let b be 2/(-8)*(-27)/(729/30). Is 0 at most b?
True
Let u = 463 + -4023. Let k = 17724/5 + u. Which is bigger: -16 or k?
k
Let v = 0 - -1. Let g(c) = -c**2 - 5*c - 1. Let o be g(-2). Suppose 3*l + 0*l + 17 = 4*i, 0 = o*l - 2*i + 5. Is v > l?
False
Suppose 0 = -5*v - 9 - 11. Let o(z) = -3*z**3 - 11*z**2 - 10*z - 6. Let b be o(v). Which is smaller: b or 51?
b
Let b be ((-92)/(-115))/((-1948)/(-10)). Which i