 at most 10?
False
Let c(b) = b - 8. Let a be c(6). Are a and -0.2 non-equal?
True
Let k = -0.043 + -0.057. Which is bigger: k or 11?
11
Suppose 4*o - 32 = 2*f, 2*f - 6*f = -4*o + 44. Let h be -1 + (f/1 - -3). Let b be (-1)/3 - h/(-6). Do -2 and b have different values?
True
Let s = -15 + 32. Let j = 14 - s. Let p = -6 + 2. Is p not equal to j?
True
Let k = -0.13 - 3.87. Is k greater than or equal to 1/4?
False
Let f(j) = -2*j**2 + 13*j - 10. Let o be f(6). Which is greater: o or 5?
5
Let j(q) = -3*q**2 + 1. Let m be j(5). Let x be (-692)/(-8)*-4*(-6)/28. Let y = m + x. Is 0 at most as big as y?
True
Let b = -5684/13 + 437. Which is smaller: -1 or b?
-1
Let c be -2 - (2/9 - 2). Suppose 0 = x + 3 - 6. Let l = x - 4. Is c at least l?
True
Let w = -41 + 63. Let x be (-8)/12 - w/3. Let j(c) = c**2 + 7*c - 8. Let r be j(x). Is r at least as big as 3/8?
False
Suppose 0*f = 5*f - 85. Let m = -17 + f. Which is smaller: 5/8 or m?
m
Let p be ((-28)/10)/((-7)/(-35)). Let m = p + 5. Let r(s) = s**2 + 10*s + 8. Let w be r(m). Is w greater than or equal to -2/7?
False
Suppose 15 = -3*b - 0. Let t = 4 + b. Is t != -1/2?
True
Let b be (0 - -1) + ((-39)/(-15) - 3). Are b and 2 non-equal?
True
Let j be -3 - (-3 - (3 - 3)). Let w be 0/(0 + (-2 - j)). Is w > 4?
False
Let n(j) = j**3 - 2*j**2 - 2*j + 3. Let d be n(4). Let u be d/(-18)*(-2)/3. Is -2/27 smaller than u?
True
Let h = -44 + 49. Which is bigger: h or -1/3?
h
Let t be (-50)/6 + (-4)/6. Let w be (-12)/(-14)*3/t. Is w smaller than 0.1?
True
Let q = 0.4 + -0.3. Let o = q + 0.9. Let g = 0 + o. Is g equal to -1?
False
Let g(f) = -7*f**2 + 1. Let z be g(1). Let v = -3 - z. Let h = 5 - v. Does h = 2?
True
Let q = -3.69 - 0.01. Let a = -1.8 + -2.2. Let p = a - q. Is p equal to 2/9?
False
Let g = -30 + 30. Is g greater than 4?
False
Let j = 29 - 29. Let l = -11 - -67/6. Is j > l?
False
Let u be (2/6)/((-8)/(-6)). Let d be -1 + (-236)/12 + 0. Let a = d + 443/21. Is u >= a?
False
Let w = -16 - -23. Let k be (w/3 + -2)*9. Is 3 != k?
False
Suppose 0 = 4*c - 2*x + 4, -5*x - 1 + 11 = 4*c. Let s be 1/((-1 - c)/3). Which is smaller: s or -5?
-5
Suppose -2*g + 7 = 2*l - 25, -g = -2*l + 32. Which is bigger: 15 or l?
l
Suppose -i - 99 = 4*o, -2*i - i = -2*o - 53. Suppose -5*u - 2*r + 15 = -5, -5*u - 5*r = -35. Let d be 1*u + 60/o. Does d = 0.2?
False
Let m be 1*(-5 - (-2)/(-1)). Let y be (88/64)/(m/92). Let a = 37/2 + y. Which is smaller: 1 or a?
a
Let u(p) = 2*p - 6. Let f be u(6). Suppose 5*y - y = -2*k - 4, 3*k + f = 5*y. Which is bigger: -3/7 or y?
y
Let n be (4 - 4)/((-1)/1). Is n equal to 1/188?
False
Let w(r) = -5*r**3 + 2*r**2 - 1. Let u be w(-1). Suppose -3*k = -2*k + 4*h + u, -4*k + 3*h + 14 = 0. Suppose -3*v + 2 = -v. Do v and k have different values?
True
Suppose -2*g + o = 0, -4*g - 3*o + 15 = -5. Suppose g = 5*x - 3. Which is smaller: x or 2/25?
2/25
Let a be (-1)/(2/(-20)*-2). Let u be (-2)/a*(-2 - 3). Let z be (-3)/u + (-6)/4. Which is greater: 2/3 or z?
2/3
Suppose 3*x + 13 = 4, 63 = w + x. Is w <= 66?
True
Let u(r) = r**3 + r. Let s(o) = -o**3 - 4*o**2 + 3. Let b(a) = -s(a) - 2*u(a). Let z be b(3). Suppose -3*j + 5*j = z. Do -1 and j have the same value?
False
Let n be 4/8*(1 - -1). Which is bigger: n or 2?
2
Let g(h) = h**3 + 12*h**2 - 14*h - 9. Let p be g(-13). Suppose 0 = 4*k - a + 4, 6*k - p*a = k + 6. Which is bigger: k or -3?
k
Let a = 5 + -4. Let b be 17 - (7/3 + -2). Let w = -17 + b. Which is smaller: w or a?
w
Let a(i) = -3*i - 4. Suppose -2*b - 5*d + 20 = 0, -4*b + 7*d - 2*d - 20 = 0. Suppose 2*y - y + 3 = b. Let g be a(y). Which is greater: g or -1/4?
g
Let u be (-1)/(-2 - (-633)/315). Which is smaller: 1/4 or u?
u
Suppose 0 = 6*b - 2*b + z + 20, 16 = -2*b + z. Let j = -4 - b. Let g = 0 - -1. Is j greater than g?
True
Let h = -2 + 4. Suppose q - h*b = -3*q + 6, 5 = -b. Let f = -8 - -5. Does q = f?
False
Let d(u) = -u**3 - 14*u**2 + 4. Let x be d(-14). Which is smaller: 3 or x?
3
Let s be 9/12*(-8)/(-358). Are s and 1 nonequal?
True
Let y = -8.01 - -0.01. Let m = -8.2 - y. Which is greater: 1 or m?
1
Let l(a) be the third derivative of -1/12*a**4 - 3*a**2 + 0 + 2/3*a**3 + 0*a. Let v be l(4). Is v less than or equal to -3?
True
Suppose 3*j = -j. Let c = 6/79 - 1124/237. Let n = -152/33 - c. Is j greater than n?
False
Suppose 14*j = 241 - 87. Do 11 and j have different values?
False
Suppose 4*m + 15 = 4*x - 13, -2*m = 5*x - 21. Let h = 23 - 22. Is m not equal to h?
True
Let d = 0.073 + -0.173. Is 27 at least as big as d?
True
Let a = 3 - 4. Let d = -3 - a. Let l = -1 - d. Which is bigger: l or -0.1?
l
Let q = -14.4 + 14.1. Which is smaller: 0 or q?
q
Let w be (-3)/3 + (-27)/(-15). Are w and 0 nonequal?
True
Let l be ((-2)/12)/((-9)/(-6)). Is -0.3 greater than l?
False
Let r(k) = -k**2 - 11*k + 6. Let n be r(-11). Let u be (-34)/(-8) + 2/(-8). Suppose -n - 14 = -u*g. Is 4 < g?
True
Let n be 2/(-6)*(5 - -1). Let p be n/(1 - -1)*-1. Is p equal to -1/12?
False
Let u = 0.84 + 0.16. Which is bigger: u or -0.04?
u
Let y = 4 + 2.3. Let h = y + -6. Which is smaller: 0 or h?
0
Let y = -32/5 + 34/5. Suppose -3*x = 2*m - 13, -5*x + 16 = 4*m - 9. Is y at most as big as x?
True
Suppose 3*i - 4 = 7*i. Which is bigger: i or 0?
0
Let g = -17 - -457/27. Is -1 smaller than g?
True
Let q = -21 - -22. Which is smaller: -3/11 or q?
-3/11
Let c be (-1 + 1)/(-3 - -5). Let r be 1/(c - 3/12). Let m be 5 + r - (0 + 0). Which is smaller: 2 or m?
m
Suppose 0 = 3*d - 23 + 5. Suppose -3*u - 2*u - l + 6 = 0, -4*u + d = 2*l. Which is smaller: u or 3?
u
Let a = 23 + -16. Let f = 9 - a. Are f and -1/2 equal?
False
Suppose -3*o = 11*o + 980. Which is greater: o or -69?
-69
Let s = -0.448 + 0.078. Let w = s - -2.27. Let y = w + 0.1. Which is smaller: 0 or y?
0
Let g = -0.41 + 0.11. Is 28 bigger than g?
True
Suppose p - 5*p + 12 = 0. Suppose 5*s + 3*b + 9 = 2, -p*b = -2*s + 14. Which is smaller: 2/19 or s?
2/19
Let h be (-4)/(-14)*238/34. Which is smaller: h or 1?
1
Let q(n) = -n**2 + 3*n + 38. Let w be q(0). Are w and 38 nonequal?
False
Suppose 0 = -2*i - 8 - 4. Is -5 less than or equal to i?
False
Let i = 7 - 4. Let g = -2.5 - -2.3. Is g greater than or equal to i?
False
Let j be (-123)/(-195) + (-6)/15. Which is bigger: j or -1?
j
Suppose 0 = z + 5*w - 23, 3*z + w + 11 = 2*w. Which is bigger: 1/20 or z?
1/20
Suppose u = -2 + 4. Let g be 2 - (u + (-24)/(-2)). Let z be (-20)/g + (-4)/6. Which is smaller: 2 or z?
z
Let k = -1 + 4. Suppose k*y + 3*f = -0 + 21, 3*y - 5*f + 19 = 0. Let p be (-10)/(-2)*y/(-25). Is p at most as big as -1?
False
Let z(w) = -w - 10. Let o be z(-8). Let m = o + 2. Suppose -s - 2 = 0, -r + m*s + 3*s = -8. Which is smaller: r or 5/3?
5/3
Suppose -j = -8 + 7. Which is smaller: j or 5/48?
5/48
Suppose 2*z - 4*z = 4*g + 12, -2*g = -4*z + 6. Let i = 228/5 + -46. Is i < z?
True
Let f = -36 + 39. Which is bigger: f or 4?
4
Suppose 4*o + o = 20. Suppose -2*u = 3*x + 6, 5*u = o*u - 3*x - 9. Is u at least 4?
False
Let h = -53 + 53. Let n = -23.9 - -25. Which is greater: h or n?
n
Let a = 0.526 - 0.026. Are a and -6 unequal?
True
Let i = 125.1 + -108. Let a = -17 + i. Let v = 4 + -6. Is a >= v?
True
Let d be ((-6)/9)/((-1)/18). Suppose -4*z - 4 = 4, -d = x + 3*z. Let y be (-3)/(9/x) - 3. Which is greater: y or 2/17?
2/17
Let l = -48 - -18. Let s be (-1)/(l/(-8014)) + -3. Let i = 270 + s. Which is smaller: i or -1?
-1
Suppose -3*x + 33 = 3*z, -4*z + 0*z = x - 32. Do z and 8 have different values?
True
Let o = 1250.07 - 1256. Let n = o - -6. Let j = 0.03 + n. Is -0.2 greater than or equal to j?
False
Let q = 82 - 167/2. Suppose -3*z + 4*u - 18 = 0, 17*u = 2*z + 22*u - 11. Which is bigger: q or z?
q
Suppose -j = 5*y - 31, -2*y = 3*j - 0*j - 54. Let o = j - 18. Which is greater: o or -10/9?
-10/9
Let t = -6 + 2. Let p = 4.3 + t. Let b = p - 0.3. Is b not equal to 1/2?
True
Suppose 8*u - 3*u - 10 = 0. Let f be 2/7 + 16/42. Which is greater: f or u?
u
Let t(k) = 3*k**2 - 27*k + 3. Let b be t(8). Is -23 bigger than b?
False
Let x be (-2432)/(-80)*(-1)/(-2). Which is smaller: x or 14?
14
Let f(n) = n**2 + 6*n - 8. Let v be f(-6). Let k be 111/21 - 2/7. Let w = k + v. Are w and 1/4 nonequal?
True
Let i(l) = l**3 + 5*l**2 + l - 7. Let v be i(-5). Let h be 5/v - 4/(-6). Suppose 3 - 1 = 2*t. Which is greater: h or t?
t
Suppose 4