w < 12?
False
Let w be 598/624 + 1/(-3). Is w > 0?
True
Suppose -10 = 25*l - 24*l. Which is smaller: l or -1?
l
Let p = 43/20 + -12/5. Is p less than or equal to 0.7?
True
Suppose 2*x = -0*w + 2*w - 4, -4*x - 4*w - 24 = 0. Let o(g) = g**3 + 5*g**2 + g. Let n be o(-5). Which is bigger: n or x?
x
Let f be (-12)/10*((-200)/(-21))/(-4). Which is greater: f or 2?
f
Let d = 7 - -4. Let q = 9 + d. Suppose 27 = -2*i + 5*j, -j = 3*j - q. Is -2/3 smaller than i?
False
Let m = 10 - 17. Let r(z) = z**3 + 6*z**2 - 7*z - 1. Let n be r(m). Is 1/11 != n?
True
Let r be (-4 + 2)*2/4. Let i(z) = 2*z**3 + 1. Let o be i(r). Is -2/3 less than o?
False
Let t(x) = x + 3. Let h be t(-3). Which is smaller: -4 or h?
-4
Let z be (3 - 23/5)*(-2)/56. Which is smaller: 1 or z?
z
Let c = -3739379/114 + 131209/4. Let w = c + -1/76. Which is smaller: 0 or w?
0
Suppose 8*d - 5*d = -63. Let s = d + -3. Are -25 and s equal?
False
Suppose 20 = -0*j + 5*j. Suppose j = -q - 0. Let k(b) = -b**2 - 3*b - 3. Let p be k(-3). Which is bigger: p or q?
p
Let w(p) = -p + 1. Let l be w(-2). Suppose 0 = -l*i + 4*i - 1. Let k = 8/11 - 1. Which is greater: k or i?
i
Let x = -204 - -1834/9. Suppose -w + 0*w = 0. Let i = w + 0. Which is smaller: i or x?
x
Let j be (6/(-56))/((-108)/(-96)). Is j at most 1?
True
Let f be ((-2)/(-4) - 4/8)/(-1). Which is bigger: f or -2/9?
f
Let o = 0 - -3. Suppose 2*s = 6*s - 2*h - 8, -s + h = -3. Which is bigger: s or o?
o
Suppose 2*y - 6 = -y. Let s be (12/42)/((-2)/(-4)). Which is greater: s or y?
y
Let s = 8.14 - 8. Which is smaller: -1 or s?
-1
Let u = 67 - 65. Which is smaller: u or 4/3?
4/3
Suppose 0*q = -j - 3*q - 12, -4*j - 6 = -2*q. Is -16/7 at least as big as j?
True
Suppose 3*m = -2*n + 3, 2*m + 2*n = 6*n + 18. Let g = -3 + 7. Let r = m - g. Does 1/4 = r?
False
Let g = -0.21 + -8.79. Let x = g - -11. Which is greater: 0 or x?
x
Suppose 0 = 3*o + 9 + 3. Let t be (4 + -2)/((-2)/o). Which is smaller: 2 or t?
2
Let m be (-168)/165 + (-4)/22. Let w be ((-4)/6)/(4/12). Are m and w unequal?
True
Suppose -b - 3 = -2*v + 3*v, -3*b = -4*v - 12. Suppose b = 3*r - 8 - 4. Suppose -3*k + 2*w = -2*k + 4, -k - r*w + 8 = 0. Which is smaller: -1 or k?
-1
Let i be 65/(-10) - 8/4. Let z = i + 47/6. Which is bigger: z or 1?
1
Let g = -1616 + 27482/17. Is g greater than 0?
True
Let j = 6 + -7. Let t = j - 0. Let y = -0.05 - 4.95. Which is bigger: y or t?
t
Let l = -17 + 17. Which is bigger: l or 1?
1
Suppose 4*r - 4*j + 1 = -15, -j = 1. Let n = -8 - -6. Let t be -1*r/(-3) - n. Is 0 >= t?
False
Let d = -1793 - -9024/5. Does 12 = d?
False
Let d = 4 - 5. Let o be 0/(-8) - d/(-4). Which is bigger: 0 or o?
0
Let c = 0.4 + -0.7. Let s = 1.4 + -1. Let o = c + s. Which is smaller: o or -1/2?
-1/2
Let b be (15/60)/((-1)/(-2)). Is 1 <= b?
False
Let f(d) = -d**3 + 10*d**2 - 9*d + 4. Let u be f(9). Suppose -4*j - 2*c - 28 = 2*c, 2*j = u*c - 32. Let w be (3 + -1)*(-2)/j. Do 2 and w have the same value?
False
Let a = 3.1 - 1.16. Let i = -0.08 - -0.02. Let o = i - a. Which is greater: o or 2/3?
2/3
Let d be 6*(-2 + (-20)/(-8)). Are 3/2 and d nonequal?
True
Suppose -1 = -2*v + 3. Let q be v/(-6) - (-1)/3. Do 0 and q have the same value?
True
Let i = -0.08 - 5.92. Let z = i + 5.8. Which is bigger: 3/2 or z?
3/2
Suppose 4*f - 2*f - 16 = -3*r, r + 23 = 5*f. Are -1 and r equal?
False
Let c be (6/21)/(16/(-28)). Is 32 > c?
True
Let l be -2 + 3*(-2)/(-3). Let j be ((-30)/(-9))/(l - 4). Which is smaller: 0 or j?
j
Let g be 3*1 - (-3 + 8). Let r be -3*(g/(-7))/(-2). Which is greater: r or -1?
r
Let s(n) = -n**2 - 11*n + 1. Let w be s(-11). Let k = -8/5 + 73/30. Is w at least k?
True
Suppose 5*d - 5*c = -60, -2*d + c - 21 = -4*c. Let h = d - -25. Let n be (-5)/3*h/8. Is n < -2?
True
Let k = -0.033 - 0.967. Let c = -2 + 2. Do k and c have the same value?
False
Let x be 8/(-6) - 28/(-21). Is x at least as big as 1/23?
False
Suppose 0 = -2*v + 11 - 93. Is v greater than or equal to -41?
True
Let c = 7.2 - 6. Let o = c - 1.3. Suppose 3*i - 5 = 13. Are i and o equal?
False
Let q = 9 - 17. Is q at most as big as -8?
True
Suppose -60 - 60 = 6*o. Is -20 at most as big as o?
True
Let d = 9 + -8. Is -1/28 > d?
False
Let h = 1 - -5. Let k be ((-2)/4)/(9/h). Is -0.4 bigger than k?
False
Let n = 69/28 - 26/7. Which is bigger: -1 or n?
-1
Let l = 10/27 - 164/297. Is 27 != l?
True
Let r(c) = -2*c + 6. Let z be r(2). Which is bigger: z or 3?
3
Let v = 0 - 1. Suppose 5*r - 4*c + 15 = c, 0 = -5*r - c + 3. Let y be v + (-1 + r - -2). Is y > 0?
False
Let p be (6 - 3)/(-3) + 0. Do p and -1 have the same value?
True
Suppose -5 = -4*k + 7. Suppose h + 18 = k*h. Suppose 4*x = h*x. Is x >= 1/3?
False
Let q(b) = -b**2 - 8*b + 4. Let i be q(-9). Let r = -20 - i. Let a be 3/(-2)*(-6)/r. Which is greater: -1 or a?
a
Let o be (-4)/6*(9 + 3). Is o greater than -8?
False
Let b = 7 - 7. Suppose -5*n = -4*o + 6, 2*n + 7 + b = -3*o. Does -2 = n?
True
Suppose 5*o + 3*o = -1120. Is o at least -0.1?
False
Let f = 2 - 1. Let n(l) = -l - 1. Let s(q) = 10*q + 12. Let a(w) = f*s(w) + 12*n(w). Let o be a(-1). Which is smaller: 3 or o?
o
Suppose 20 = -0*k + 5*k. Let u(d) = k*d - 3*d + d. Let n be u(-1). Is n greater than -2?
False
Suppose -5*o = 2*l - 22, 7*l + 18 = 5*o + 5*l. Suppose -3*s - 4 = -p, 0 = 7*s - 3*s - o*p + 8. Do s and 6 have the same value?
False
Let y = -15 - -18. Let k be 24/(-14) - 4/14. Let i be k/((8 + -2)/y). Which is smaller: 0 or i?
i
Let s be 3 + (135/(-10))/(-9). Is s < 4?
False
Let w = 1 - 1. Suppose w = -4*s - s - 115. Let n = s + 47/2. Is n >= 2?
False
Let q be -140 + 1 + -4 + 5. Let y be q/(-45) + (-3)/1. Which is greater: y or 1?
1
Let y be -14 - -2 - 1*-1. Let b = -10 - y. Which is greater: b or 1/19?
b
Suppose -4 + 16 = 4*a. Let m(t) = 5*t. Let k be m(a). Let u be (4/k)/(14/5). Which is smaller: 0 or u?
0
Suppose 0 = c + 1, -4*d - 5*c = -3. Is d less than 12/19?
False
Let k(x) = -x**2 - 16*x + 17. Let q be k(-17). Which is bigger: 3/4 or q?
3/4
Let g(a) = a**3 - 4*a**2 - 5*a - 2. Let v = 2 + 3. Let p be g(v). Suppose 0 = -2*f + 5*f + 9. Which is bigger: f or p?
p
Let t be 4/(-10) + 1/15. Suppose 0 = -i - 3*i + 12. Suppose 2*a - 8 = n - 1, i*a - 4*n = 23. Does a = t?
False
Let s = -31 + 17. Let m = -12.8 - s. Let d = 0.2 - m. Is d smaller than -1?
False
Let h be 42/15 - (-1)/5. Suppose 5*b + 0*d = -2*d + 11, b = -h*d + 10. Let a be b + (-6 - 3/(-3)). Which is smaller: a or -2?
a
Let n = -0.07 + 0.07. Do -5/6 and n have the same value?
False
Let i = 8.786 - -0.214. Let r = 0.1 + 0. Which is greater: r or i?
i
Suppose 5*r - 3*b - 5 = 0, 4*r = 2*b - 5*b + 4. Which is smaller: r or 2/9?
2/9
Suppose 3*g - 79 + 313 = 0. Let v be ((-3)/(-12))/(g/(-48)). Is 3/7 >= v?
True
Suppose 5 = -2*q + 1. Is 0 greater than q?
True
Let y = 3 + -3.1. Let l = -8 - -11. Let v = l + -3. Is y at most v?
True
Let p = 46 + -137/3. Is 1 greater than p?
True
Let o = 1.9 + -0.8. Let g = -1.1 + o. Is g equal to -3?
False
Let a(s) = -s**2 + 4*s + 5. Let p be a(4). Suppose 4*q - 16 = -0. Which is smaller: q or p?
q
Suppose 16 = -4*f - 76. Let v = f - -67/3. Which is smaller: -2 or v?
-2
Suppose -61 = -w - 4*q, -2*w + 4*q = 3*w - 257. Which is greater: w or 0.1?
w
Suppose r = k - 6, -2*k - 2*r = 12 - 4. Let w be 8*(-314)/28 - 2. Let f = w - -92. Which is smaller: k or f?
f
Let r = -1749/4 + 439. Let s = 0 - -3. Which is smaller: s or r?
r
Let u = 12.5 + -12. Is 0.07 greater than u?
False
Let o(b) = -b**3 - 8*b**2 - 6*b + 10. Let d be o(-7). Suppose 0*n - d = -n. Is n equal to 3/2?
False
Let a = -10 + 2.8. Let r = a + 0.2. Which is bigger: 1 or r?
1
Let s = -0.008 - -0.078. Which is smaller: s or 3?
s
Suppose -2*z - 3 = -v, -v + 0*v = z - 6. Suppose 3*c = v*c. Is 5 at least as big as c?
True
Let r be (-3 - 1243/(-7))/2. Let j = r - 86. Is 1 at least as big as j?
False
Let m = 65 + -67. Let d = 1 + -0.9. Is d equal to m?
False
Suppose -5*m = -2*v - 3*v - 45, -2*m + 5*v = -33. Suppose -i + 10 = -2*c, i + 20 = m*i - 4*c. Which is smaller: -1 or i?
-1
Let w = -0.04 + 0.35. Is w greater than 0.1?
True
Let v(a) = 2*a - 1. Let b be v(1). Let o be (-3)/((-2)/(-12)*(-9)/2). Do b and o have the same value?
False
Suppose 2*r + 0 = -4. Is r less than -19/6?
False
Let a = -54 - -51.1. Which is smaller: a or -2?
a
Let b(q) = 8*q. Let m be b(-1). Let y be (-