 r bigger than -3/2?
True
Let k(f) = f**2 + 6*f + 7. Suppose -v + 0*v - 21 = -4*r, 3*v + r + 11 = 0. Let j be k(v). Are -1 and j equal?
False
Let s be 12/9 - 2/3. Let d be 1 + 0 + 9/3. Suppose d*u - 2 = 2. Which is greater: u or s?
u
Let f = -92 + 121. Does 0 = f?
False
Suppose 11 = 5*s - 4. Let p = s - -2. Suppose 4*l = p - 1. Which is greater: -2/21 or l?
l
Suppose -a + 1 = -1. Suppose -a*k = 4*j + 3*k + 17, -3*k = 4*j + 15. Which is smaller: -4 or j?
-4
Suppose 2 = -4*n + 2*i, 2*n - 5*n = -2*i. Which is smaller: -2/3 or n?
n
Let f = -7 - -12. Suppose -4*m - 14 = -f*z, 1 - 5 = -4*z - 4*m. Is z at most 1/2?
False
Suppose -3*h - 6 = -4*p - 4*h, 4*h - 6 = 2*p. Suppose c - p = 2*c. Let u be -1 - ((0 - -2) + 0). Is u less than c?
True
Let r = 9 + -9. Are -2 and r equal?
False
Suppose 2*c - 6*c = -3*r - 79, 4*c - 2*r = 82. Suppose 6 = j - 2*n, 0*n = -j - 5*n - c. Is j <= -5/6?
True
Let f be (-8)/(-12) - 542/12. Let c = -277/6 - f. Is -1 at least c?
True
Let h(j) = j**2 - j - 9. Let n be h(0). Let w be -3 - 2/n - -3. Which is smaller: 1 or w?
w
Let k = 91 - 82.8. Which is smaller: -1 or k?
-1
Let g = 7 - 5. Suppose -2*d - t = -6, -5*t - g = -4*t. Let l = -7/2 + d. Which is smaller: -2/3 or l?
-2/3
Let y = 3 - 4. Let w = -3 + y. Let i = w + 4.4. Which is greater: -1 or i?
i
Let n = -6 - -5. Is 2/59 at least n?
True
Let i = -2/67 - -144/335. Is -0.13 < i?
True
Suppose 0 = k + 72 + 103. Is k less than -175?
False
Let r = 21 + -11. Suppose 0*i + 5*i = 4*k + 23, 0 = -5*k - r. Which is bigger: i or 16/7?
i
Let g be (-44)/85 + 28/70. Which is smaller: 1/3 or g?
g
Let c = 496/153 - 74/17. Which is greater: 0 or c?
0
Let z = 133 - 127. Is 9 <= z?
False
Let v(o) = 5*o**2 - 6*o + 10. Let x be v(-7). Let l = x + -11585/39. Is l less than or equal to 1?
True
Let s(k) = -k + 11. Let r be s(9). Suppose 4*l + 53 = 5*h, 4*l = -10 + r. Suppose 3*x = -4*t + 30, x = -0*x - t + h. Is x smaller than 5?
False
Let p = 10 - 6. Let x be 64/12*(-9)/(-6). Suppose 5*j + 4 = -v, 3*v - p*j = -v + x. Is v equal to 2?
False
Let d = -3.1 - -3. Let l = 0 + d. Are l and -3 non-equal?
True
Let a(f) = f**3 + 3*f**2 + 2*f + 3. Suppose -3*x + z = -x, -2*z - 8 = 0. Let u be a(x). Does 1 = u?
False
Let p(v) = -2*v**3 - 2*v**2 - 2. Let g be p(-2). Let u be (-3)/(9/g*-1). Suppose 4*i - 3*a = 5 + 11, u*a = -5*i - 3. Is i not equal to 1?
False
Suppose -5 = -5*b - 0. Let r(k) = -k**3 - 2. Let s be r(0). Which is bigger: b or s?
b
Let q = -445/1208 - 1/151. Is q greater than 1?
False
Let c(k) = -3*k**3 - 4*k**2 + 3*k - 6. Let s(d) = -d**3 + d**2 + 1. Let n(m) = -c(m) + 2*s(m). Let z be n(-7). Let p be (-28)/z - 2/5. Is p not equal to -4/7?
True
Let d be 43/(-15) + (-8)/20 + 3. Which is smaller: 0 or d?
d
Let p be (-336)/110 + (-9)/12*-4. Which is bigger: 0 or p?
0
Let a = 30 + -37. Which is smaller: -8 or a?
-8
Let d = -1.5 - -14.5. Let a = 9 - d. Is 0 smaller than a?
False
Let t = 10 + -10.2. Let n = -17.41 - -0.41. Let d = -12 - n. Is t less than d?
True
Let a = 3 + 9. Let p = -10 + a. Does -5 = p?
False
Let k = -83.98 - -83. Let l = -0.02 + k. Let f = 1.3 + 0.7. Which is smaller: l or f?
l
Let f be (-2 + (4 - 2))/1. Suppose f = l - 2 + 1. Let i = -0.9 - -1. Which is smaller: l or i?
i
Suppose -2*g = g - 9. Suppose 0*a = g*a. Which is smaller: 1 or a?
a
Let c = -2.1 - -2. Is 0 smaller than c?
False
Suppose 35 = -5*x + 4*p, 5*x + 116 = -5*p + 36. Is x > -10?
False
Let j = -19.2 - -0.2. Let x = -18.9 - j. Which is bigger: -15 or x?
x
Let u = 1 + 2. Let v = 0.1 - -15.9. Let y = v + -16.1. Is u greater than or equal to y?
True
Let p be (-22)/(-55) - (131/40 + -2). Is -1 > p?
False
Let i be (-1)/((-8)/(-4)*1). Let z = 1/10 + i. Is z >= -2?
True
Let y be (-2)/8 - (-18)/8. Let v be (-2)/(-3)*(-3)/y. Is v < -2/9?
True
Let t(a) = a - 8. Let s be t(7). Let b be (-8 - (-264)/32)/((-87)/8). Do b and s have different values?
True
Suppose -2*y = -y + 1. Is 1 >= y?
True
Let p = -0.16 + 0.26. Which is greater: 4 or p?
4
Suppose -7*h = -2*h. Which is greater: h or -2/3?
h
Suppose -5*y + 12 = k + 2, y + k = 2. Let p = 3 - 3. Let s be 0/(3 + -2 - p). Which is smaller: y or s?
s
Let z(i) = -43*i - 2. Let c be z(3). Which is smaller: -130 or c?
c
Suppose 6*z = 2*z + 20. Suppose 0 = 2*q, 3*v - 5 = -2*v + z*q. Are -1/5 and v non-equal?
True
Let o be 1 - (-2*4)/2. Suppose z + o = 2*s, -s - 3 = -2*z - 1. Suppose 2*g - 3*n + 18 = 0, g - 3*g - s*n = -10. Is 0 > g?
True
Suppose -52 = -3*j - 0*g - 5*g, -3*g = -2*j + 60. Let x be 12/j - 2/(-12). Is 2 <= x?
False
Let v = -62 - -62.2. Let i = 0.2 - 0.1. Is v smaller than i?
False
Suppose -5*c + 0 + 5 = 0. Suppose 2*r - 3*r = -c. Are 2/23 and r equal?
False
Let t = 1229010/11 + -111576. Let a(r) = -19*r**3 - r**2 - r + 2. Let f be a(-2). Let h = f - t. Is h at least 0?
False
Let m = 3 - 2. Let h be -3 - (-14 - (m + -3)). Is 8 at most h?
True
Let i = 9.2 - -2.8. Let s = i + -7. Let w = -8 - -8.1. Is s > w?
True
Let t be 1/(-2) + 3/(-6). Suppose 6 = -0*y - 4*y + 2*w, y + w = 0. Are y and t nonequal?
False
Suppose -y - 1 = -3*k + 1, 2*y = 5*k - 5. Is -1/172 < k?
False
Suppose -8 = -7*h + 5*h. Is 5 equal to h?
False
Suppose -4*q - 6 = -4*m + 2*m, 3*m - 4 = q. Let z = q + 0. Let n = 212/7 + -1894/63. Are z and n equal?
False
Let c(z) = -z**3 - 4*z**2 - 4. Let h be c(-3). Is h at most as big as -9?
True
Let v(g) = 2*g**2 + 3*g + 1. Let t be v(-2). Let f be t/1 - 148/66. Let r = -1/11 + f. Which is smaller: r or 2?
r
Let y = 6 + -10. Let j = 4.02 + y. Let l = j - 0.02. Are l and -0.3 equal?
False
Let f be 24/10 - (-6)/(-15). Suppose 2*h + 8 = f*k - 2*h, 2*k - 3*h = 6. Let g be (18/8 + -2)*-3. Which is smaller: k or g?
g
Let f = -80 - -558/7. Which is bigger: f or 1?
1
Let b be 1 - -3 - 2 - -3. Let t = b + -5. Let q = -0.3 - -0.1. Is q less than t?
True
Let z = 20/91 + -1042/3913. Is z less than or equal to 0?
True
Suppose 3*p + 5*b + 4 = 41, -36 = -4*p - 4*b. Suppose 0 = 4*q + 5*r + 29, -3*q - p*r - 39 = -16. Which is smaller: 0 or q?
q
Let v = -4/9 + -1/18. Are v and 17 nonequal?
True
Let n = -9 - -5. Let c = n + 4. Let j be -1 + (1 - c) + 1. Is j bigger than 1?
False
Suppose 3*b = -4*o + 27, -2*b + 32 = 2*b + 4*o. Suppose -b*u - 4 = -u. Let t = 9/4 + -5/2. Are t and u non-equal?
True
Let h(k) = k + 1. Let p be h(-1). Is p bigger than -1/15?
True
Let g = 0.2 + -0.3. Let j = 8 + -7.98. Is g equal to j?
False
Let t = 562/3 - 190. Does 1/4 = t?
False
Let l be (-2 - 240/(-21)) + 4/7. Is l less than or equal to 10?
True
Let b = 0.8 - -1.4. Are b and -1 non-equal?
True
Suppose -3*m - 2 + 5 = 0. Let c be (-8)/(3 - -1) - (-2)/1. Let l = m + c. Which is greater: l or 1/11?
l
Let b(z) = z**2 + z - 3. Let i be b(-3). Suppose -7*x = -i*x - 4. Let c be x + -2 + (-2)/(-4). Is -2 greater than or equal to c?
False
Let o be 2 - (-2)/(7/(84/(-8))). Which is smaller: o or -1/16?
o
Let y be ((5 - 1) + -4)/2. Is y smaller than 2/5?
True
Let q = 3.3 + -3. Is q less than or equal to 3?
True
Let v = 0.024 + 0.076. Which is smaller: -0.073 or v?
-0.073
Let j be (8/10 + 0)*-80. Let m = 449/7 + j. Which is smaller: m or -1?
-1
Let f = 20 + -6. Are f and 16 non-equal?
True
Suppose 17*d - 13*d = 4. Is d smaller than 8/5?
True
Let m = 38 + -37. Are m and 0.04 unequal?
True
Let q = 4.02 - 4. Let u = 0 - q. Are 1/4 and u equal?
False
Let k = 20 - 31. Are k and 3 equal?
False
Let f be (-6)/27 - (-8)/(-126). Are 5 and f non-equal?
True
Let c = -50/7 - -864/119. Let d = -3 + 5. Let h be d + (2 + 0)/(-1). Is h <= c?
True
Let b be 219/6 + -3 + -4. Let d = b + -29. Is -1 <= d?
True
Let j be ((-3)/5)/(147/30 - 5). Do j and 34/7 have the same value?
False
Let a = 169.89 + -171. Let g = -0.11 - a. Is g < -5?
False
Let s = 0.5 - -1.3. Let q = 0.2 + s. Which is smaller: q or -0.2?
-0.2
Let a = 45 - 41. Which is greater: a or -1?
a
Let c = 4 + -1. Let x = 3.1 - c. Let d = 0.3 - x. Which is smaller: d or -1?
-1
Let a = 64 - 65. Suppose 5*i = u - 26, -u - 3*u + 14 = -2*i. Which is smaller: u or a?
a
Suppose 0 = -c + 5*f - 14, c + f + 32 = -0*f. Are -30 and c non-equal?
True
Let u = 0 + 0.05. Let v = -0.15 + u. Do v and 1/2 have different values?
True
Let p be ((-2 + 0)/2)/1. Let k be (2/36)/(-2 + (-36)/(-16)). Which is greater: k or p?
k
Suppose 6 = -r - 4*f, -4*r + f - 69 = 6. Let b be (-1)/(-3) + (-12)/r. Is b smaller t