se n*w = -0*w. Is 0.1 not equal to w?
True
Let w be ((-3)/2)/(30/200). Are -10 and w unequal?
False
Suppose 3*n - 5*q - 17 = 0, 3*n - 2*q - 18 = -n. Let s be -1 - ((1 - 0) + -8). Let k = n - s. Is k at least -2?
True
Let h = 38 - 21. Let x be (-2)/2 + (15 - -3). Is h < x?
False
Suppose -10 = 2*x + 3*x. Which is bigger: -3 or x?
x
Let f be 24/9 + 4/(-6). Let j be (-2)/f + 2/10. Is -1 at most as big as j?
True
Let j be 15/(-4)*(-5)/(-125)*15. Which is smaller: -0.02 or j?
j
Let a = -11 + 9. Is a at least as big as -30?
True
Suppose -1 - 7 = 4*m. Let w(l) = l**3 - 7*l**2 - l + 8. Let x be w(7). Let y be 1 + x + -4 + -1. Which is greater: y or m?
m
Let f = -10 + 3. Let r = f + 5. Let b = 0.1 + 0.9. Are b and r equal?
False
Let s(i) = 0 + 0 + 4*i + 3 - i**2. Let o = 29 + -24. Let j be s(o). Do -2 and j have the same value?
True
Suppose h = 2*u - 35, -5*h - 4*u - u = 115. Is h < -27?
False
Let c = 9.652 + -0.652. Let o be 1/(-2)*0/2. Is o < c?
True
Let n be -2 + -10*1/(-2). Suppose 4*p - 2*d = 6*p - 14, -13 = p - n*d. Let t be (-5)/(-2)*24/20. Which is greater: p or t?
t
Let y = -3.2 + 3. Let z = y + 0.2. Is 6 > z?
True
Let z = 28 + -21. Is -3 at most as big as z?
True
Let j = 894 + -11595/13. Which is smaller: 1 or j?
1
Let d(h) = -h**3 - 5*h**2 - h - 6. Suppose 2*o + 5 = o. Let b be d(o). Let u be (-1)/3 + (-2)/(-4). Which is greater: b or u?
u
Suppose -2*p = 3*p. Suppose -3*m = -9, p*m + 5 = j + 2*m. Which is greater: -0.4 or j?
-0.4
Let t = 5 + -3. Is -3/11 smaller than t?
True
Let f = -8 + 7.3. Let x = 1.1 + f. Which is smaller: -2 or x?
-2
Suppose 2*c + 16 = 4*s, -2*c = -3*s + 2*s + 1. Suppose 3*l + s - 14 = 0. Suppose -11 = l*r + 2*i + 2, 3*r = -i - 11. Is -4 not equal to r?
True
Let d = -4 - -1. Let p = -5 - d. Is p < -5?
False
Let l(b) = -b**3 + b**2 - b + 2. Let g be l(0). Which is bigger: 0 or g?
g
Let s = -208012373/958965 - -4776/9133. Let g = s + 1096/5. Let r = -15/7 + g. Is r greater than or equal to 0.1?
True
Let y be (8/20)/(5/25). Which is bigger: 3 or y?
3
Suppose 5*z + 52 = 9*z. Let a(f) = f - 16. Let o be a(z). Which is smaller: o or -0.2?
o
Let m be 0/((-2)/(2 + -1)). Let g be m/((-2 - -1)/1). Let d = 0.156 - 5.156. Which is greater: d or g?
g
Let p be 3/2*24/18. Suppose 4*c - q + 2*q = 2, 2*c + p = q. Suppose c*k - 2 = -2*k. Is -1/3 greater than or equal to k?
False
Let z be -1 - (-1 + (-2 - -1)). Let m be (-5 + z)/2 + 26. Suppose 0 = 3*x + 3*k + m, -x + 3*k + 13 = 5. Is -4 at most x?
True
Let g be 2/(-60) + 2/10. Let d = 0.02 + -1.02. Is d less than g?
True
Let g = 5 - 6. Let u be (g/2)/(12/(-8)). Let j be ((-2)/(-3))/((-6)/(-9)). Is j > u?
True
Let n = -0.27 + 0.3. Let o = 0.17 + n. Do 0.2 and o have different values?
False
Let q(f) = f + 5. Let x(s) = -2*s**2 - 4*s + 1. Let l be x(-3). Let y be q(l). Is 1/2 > y?
True
Let h = 8.13 - 0.13. Let c = 5 - h. Which is smaller: c or 0?
c
Let k(h) = h**3 - 5*h**2 + 3*h + 2. Let f be k(3). Let x = f + 10. Which is bigger: x or 4?
4
Let g(x) = -3*x**2 + x. Let s be g(-1). Is s > -4?
False
Suppose -s = 2 - 3. Which is greater: s or -1?
s
Let p(u) = -5*u**2. Let g be p(1). Suppose 2*s + 3*s - 4*f + 8 = 0, 0 = -4*s - 5*f - 31. Is s > g?
True
Let f(z) = 0 + 3*z + 4 + 1 - 4*z. Let p be f(5). Which is smaller: p or -4?
-4
Let d(n) = -n**3 - 6*n**2 + 8*n + 5. Let q be d(-7). Let t be 8/q - 2/2. Is t less than or equal to -5?
True
Suppose -2*j + 34 = -3*y - 0*j, -4*j = 4. Let z be ((-27)/90)/(y/10). Let d be (-1 - -1)*1/2. Which is bigger: z or d?
z
Let m = 43 + -49. Is m at most as big as -7?
False
Let s = 28.1 + -30. Which is smaller: s or 0.1?
s
Let h be -1 + -4 + 2 + -2. Is -7 equal to h?
False
Suppose -30*k = -32*k + 14. Is 8 less than k?
False
Let m = -13 + 7. Let f = 13 + -22. Let p = m - f. Does p = -1/2?
False
Let j = 1.1 - 1.6. Is -1 bigger than j?
False
Let t(k) = 3 + k - 4 + 4*k**3 - k**2 - 3. Let u(f) = 7*f**3 - 2*f**2 + 2*f - 7. Let o(n) = 5*t(n) - 3*u(n). Let v be o(0). Is 3 at most v?
False
Suppose -3*u = -2*v + 1, v - 6 = -2*v. Let o(j) = 4*j**3 + j**2 - j - 4. Let k(d) = d**3 + d**2 - d - 1. Let r(x) = u*o(x) - 3*k(x). Let c be r(1). Does c = 0?
True
Let y = 4.97 - -0.03. Let s = 0.03 + 4.97. Let m = y - s. Is m bigger than -1?
True
Let o(p) = p**2 - 2*p - 3. Let c be o(3). Let w be 1 - 3*(-2)/(-3). Is w < c?
True
Let b = -4.9 + 4.96. Is 6 less than b?
False
Let m be (24/2)/(-2)*75/945. Which is smaller: m or 0?
m
Suppose 2*o + 10 = 3*a, -4*a - 2 = 3*o + 2*o. Let p(d) = d**3 + 3*d**2 + d - 2. Let u be p(o). Let f be (-3)/(-5) - 4/10. Which is bigger: u or f?
f
Suppose 4*l + 60 = 2*j, -l - 11 = -2*j - 2. Let c = l + 69/4. Is -2/23 bigger than c?
False
Suppose 5*p + 3*m - 10 = 0, -p - m = -1 - 1. Let b(t) = 2*t**2 + t + 1. Let z be b(-1). Suppose z = -4*r + 5*r. Is p greater than or equal to r?
True
Suppose 3*k + 4*v - 10 = 25, -k + 4*v = -33. Let a = k + -11. Suppose 5*m - x = -2*x + 3, -2*m = -2*x + a. Which is smaller: -1 or m?
-1
Let t = 77/8 + -1787/184. Which is greater: 0 or t?
0
Let q = 3 + -2.9. Let c = -5 - -13. Suppose 5 = -3*l - 2*x - 4, -2*l = 2*x + c. Are l and q equal?
False
Let o be 5/6*(-238)/(-740). Let y = o + -2/111. Is -1 smaller than y?
True
Let d = 2/143 + 108/143. Do 2 and d have the same value?
False
Suppose 141 = -7*j + 29. Which is smaller: -15 or j?
j
Let f be (1/3)/(14/168). Let a be -9*(f + (-30)/9). Is a >= -3?
False
Let k(l) = l + 2. Let x be k(4). Suppose 3 = 3*m - 4*p + x, 6 = -m + 3*p. Is 3 >= m?
True
Let s be (-6)/8 + (-21)/(-28). Let j = 0.53 + 0.07. Is s at most j?
True
Let g(b) = -3*b - 2. Let z be g(-2). Suppose -4*q - 4*i + z = -4, 0 = 2*q + i - 4. Suppose -5 = -q*w - 3*w. Are 2 and w equal?
False
Let f(p) = p - 12. Let k be f(11). Let l be 1/(1*(0 + k)). Is l < -1/11?
True
Let n be (-12)/(-8) - (-22)/(-4). Let d = 6 + n. Is d greater than or equal to -2?
True
Let c be (-5)/40*(0 - 4/3). Which is smaller: c or 2/7?
c
Let i = 0.097 + 27.103. Let h = 30 - i. Let l = h + 0.2. Which is smaller: l or 0?
0
Let f(n) = -2*n + 13. Let z be f(7). Let g(w) = w**2 - 4*w. Let l be g(4). Let j be z + l/(6/(-2)). Is j smaller than -2/19?
True
Let g be -2*3*3/18. Let q(n) = -n - 2. Let u be q(-2). Is u less than g?
False
Let n = 23 + -23. Is -2/33 at least n?
False
Suppose -4*h + 0*h - 40 = 0. Let z = h + 6. Let j be 2/1 - (4 + z). Is 1/2 < j?
True
Let u = -17 + 1. Let g be 6/18 - u/6. Let d = g + -5. Is -3 smaller than d?
True
Let l = 9 - 2. Suppose 0 = 3*f - l*f. Which is bigger: f or -1?
f
Suppose -3*v + i - 12 - 3 = 0, -3*v - 5*i = -3. Let z be (-7 + 5)*(-3)/2. Let m = v + z. Do m and -1 have the same value?
True
Let u be 11/22 + (-2)/(-4). Do u and 1 have different values?
False
Let a = 9.85 + -16. Let d = -0.15 - a. Suppose 2 + 2 = -4*g. Is d greater than g?
True
Let i = 12 - 11. Let l = -0.08 + -0.02. Is i less than or equal to l?
False
Let t = -9/14 - -1/7. Let s be (-1 - 3/(-5))*-10. Suppose -4*z - 3*c - 8 = -5*c, -s = -c. Which is bigger: t or z?
z
Suppose -4*a + 3*u = 6, -2*u + 10 = -4*a - u. Let w be -25*(-3 + (-51)/(-15)). Let f = w + 8. Are a and f equal?
False
Suppose g - 20 = 4*m, -3*g - g - 3*m = -4. Suppose -g*l = 2*r + 2, 3*l - 4*r - 21 = -r. Let o = l + -3. Is -0.1 < o?
False
Let w = 1/311 + -2183/1866. Suppose -x = -3*m + 26, -2*x = -m - 4*x + 11. Suppose 5*o = m*o + 8. Is w less than o?
False
Let s be ((-18)/(-54))/(2/6). Do 3/2 and s have the same value?
False
Let r(u) = 3*u**2 + u - 5. Let c(g) = 3*g**2 + 2*g - 6. Let q(f) = 3*c(f) - 4*r(f). Let l be q(2). Is -7 >= l?
False
Let c be 27/(-12) + 3/12. Let u(q) = -q**3 - 3*q**2 - 4*q - 3. Let z be u(c). Which is smaller: 1/6 or z?
1/6
Let z(n) = 8*n - 16. Let q be z(2). Is -4/15 equal to q?
False
Let x = 0.1 - 0. Let c = 0.1 - x. Let b = -0.35 + 0.15. Which is greater: b or c?
c
Let s = -20 - -26. Let o be (3/(-33))/(s/36). Which is bigger: o or 0?
0
Let z(f) = -f + 7. Let w = 4 + -4. Let i be z(w). Which is greater: 8 or i?
8
Let r be 4*1*2/(-4). Let t be (-1 + r + 2)*-1. Let v be -1 + (-40)/(-21) - t. Which is greater: 1 or v?
1
Let q = 0.08 + -13.08. Let u = q - -12. Is 5 at least u?
True
Suppose -15*j - 20 = -17*j. Which is bigger: 13 or j?
13
Let z be 10/(-45) + (-6)/(-27). Is -2/23 != z?
True
Let p = 4251/4 - 1094. Suppose 4*r - 46 = -2*m, -128 = -4*m - 0*m + r. Let a =