than 5?
False
Let y = -32.3 + 32. Which is bigger: y or 5?
5
Suppose -4 = 2*n - 2*s, -3*n - n - s + 17 = 0. Let v = -4 - -6. Is n >= v?
True
Let l be (20/498)/((-6)/9). Let q = 209/664 - l. Let p = -1/8 + q. Which is smaller: -3 or p?
-3
Suppose -2*h + 18 = 2*c, 0*c - c = 3*h - 19. Suppose w + 2 - h = 0. Suppose d - 5 = -w. Which is bigger: 1 or d?
d
Let p(n) = -7*n - 10. Let y be p(-5). Suppose 27*v = y*v - 6. Which is smaller: -2 or v?
v
Suppose 3*r + y + 51 = -2*y, -y = 5*r + 81. Is -17 >= r?
False
Suppose 0 = 85*h - 81*h - 4. Which is smaller: 2/105 or h?
2/105
Let l be (-7)/3 + 2/12*2. Which is bigger: l or -12/5?
l
Let i = 1.8 + -1.2. Let m = 1 - i. Which is bigger: 1/2 or m?
1/2
Let x = -24/19 + 149/133. Let b = 11 + -8. Suppose 6 - b = 3*k. Are x and k equal?
False
Let i = -1 + 3. Which is smaller: i or -3/8?
-3/8
Suppose 0 = -2*h - 3*b - 13 + 74, -4*h + 119 = 5*b. Let w be 8/36 - h/36. Let g(u) = -u - 1. Let k be g(0). Which is bigger: w or k?
w
Let h be ((-3)/6)/((-266)/12). Let a = h + -31/133. Let l = -82/209 - a. Is l != 1?
True
Let z(k) = k - 2. Let o be z(3). Suppose -s - 4*g + 2 = -0*s, 3*s = -5*g - o. Let u be 21/(-18) - s/12. Is -2/15 at least u?
True
Suppose 0*z - 3*z - 18 = 0. Let y be (2/z)/(-1 - -2). Let m be (-2)/9 + (-22)/(-18). Which is bigger: y or m?
m
Let n = 0.085 + -0.085. Which is greater: 3 or n?
3
Suppose b = 5 - 4. Do b and 8/7 have different values?
True
Let n(g) be the first derivative of -g**3/3 + 3*g**2/2 + 4*g - 2. Let t be n(4). Is -1/6 greater than t?
False
Let p be (-20)/(0 + (-2)/2). Let t be p/(-12)*(-8)/(-10). Which is smaller: t or -1?
t
Suppose o - 2 = -0. Is o greater than 3?
False
Let q = -26 - -20. Suppose h = -5*v + 5, -5*h - 5*v - 10 - 5 = 0. Is q at least h?
False
Let w(s) be the first derivative of -s**5/60 + s**4/4 - s**3/3 + s**2 - 1. Let l(u) be the second derivative of w(u). Let y be l(6). Which is bigger: -1 or y?
-1
Suppose 0 = 3*m - 8*m + 5. Let t be -1 + 0 + m/2. Let f = -10 + 9. Are t and f non-equal?
True
Let p be (6/(-3))/(-4 + 2). Let l(m) = -m**2 - 6*m + 2. Let d be l(-6). Is d at most p?
False
Let b = 3 + 1. Let q = -5.7 + 6. Let p = 0.7 + q. Is b != p?
True
Let h = -2 + 1.9. Let u = 7.7 - 7. Let r = -2.7 + u. Which is bigger: h or r?
h
Let t = -27.1 - -27.7. Let a = -1 - -2. Is t <= a?
True
Let a be ((-8)/6)/((-3)/9). Suppose -x - a*x = -5. Suppose 2*j = -3*s - x, 4*s = 4*j + 8*s + 4. Which is smaller: 2/3 or j?
j
Suppose 2 = 4*s - 2*p, s - p - 5 = -2*p. Let b(x) = 3*x**2 - 2*x - 2. Let r be b(s). Let w be r/21 + 19/7. Which is smaller: 5 or w?
w
Let y be 2/(-6)*(53 - -4). Let k = y - -17. Which is bigger: -3/2 or k?
-3/2
Suppose 2*z - 4*n = 4*z + 2, -2*z + 4*n = 26. Is z > -5?
False
Let o(b) = b**3 + 6*b**2 + 4. Let t be o(-6). Let s(n) = -n**3 + 3. Let h be s(0). Let l = t - h. Is 2 >= l?
True
Let h = 8.9 + -2.9. Is h less than or equal to -3/2?
False
Let h be ((-2)/3)/((-1)/3). Does h = 5?
False
Let q = -38.4 - -35. Let n = q - 0.6. Which is smaller: n or -2/7?
n
Let j be 1708/44 + 4/22. Let l be j/9 - (-2)/3. Let q be -2*(28/(-8) + 2). Is q equal to l?
False
Let n(b) = -b**3 - 13*b**2 + 13*b + 10. Let f be n(-14). Is f at least 23?
True
Let a(i) = 5*i**3 + i**2. Let f be (0 - 2/(-4))*-2. Let t be a(f). Let w = -2.41 + 1.41. Which is greater: w or t?
w
Let u = 102 - 129. Which is bigger: u or -24?
-24
Let j = -26 + 25.92. Let b = 0.19 + j. Is 0 < b?
True
Let m be -1 + (-1 - 0) - -5. Let s(a) = a**2 - 7*a - 7. Let u be s(8). Let z(h) = 2*h**2 - h + 1. Let x be z(u). Which is smaller: m or x?
x
Let z(g) = 3*g - 1. Let w(n) = -n - 5. Let i be w(-6). Let h be z(i). Let q = 27 + -26. Is q less than h?
True
Let v(g) = -g**2 + 5*g + 7. Let y be v(6). Suppose -2*i + 6 = 3*h + h, y = h + i. Let m be -1 - -11*h/26. Are m and 1 non-equal?
True
Let c = -101/3 - -514/15. Is c not equal to 0.1?
True
Let v = 1.9 + -2. Let m = v - 0.1. Let q be -5*((-12)/10)/(-3). Is q > m?
False
Let j = -7.05 + 0.05. Let x = j + 5. Let u = -14 - -29/2. Which is greater: x or u?
u
Let w = -114/11 + 120/11. Which is bigger: w or 1?
1
Suppose 0*q - 24 = -3*a - 4*q, 4*q + 12 = 0. Do 21/2 and a have the same value?
False
Let a = 0.2 - 2.2. Let r = -11/12 - -2/3. Is a greater than r?
False
Let p be (-6)/(-10) + (-256)/252. Let v = 1/63 + p. Is v equal to 1?
False
Suppose 5*q + 4 = q. Which is smaller: -1/18 or q?
q
Let m(a) = -a - 1. Let o(k) = 6*k + 1. Let g(s) = 3*m(s) + o(s). Let h be g(1). Which is smaller: h or -1?
-1
Let m be -1 + -2 + (3 - 2). Let w(c) = -c + 6. Let t be w(0). Let d(s) = s**2 - 6*s - 4. Let l be d(t). Are l and m unequal?
True
Let v = 4897/13 + -377. Which is greater: 0 or v?
0
Suppose -i + 3*i = 4. Let h be 3 - (3 - (i + 2)). Is h < 4?
False
Let f = -1 + 8. Let g = f + -7.1. Let c = -48 + 143/3. Is g less than c?
False
Let t be (-3)/(-10)*(-1770)/(-12). Let b = -44 + t. Which is smaller: b or 0?
0
Let s = 21.966 + 0.034. Let i = s - 17. Is i bigger than -1?
True
Suppose 3 - 9 = 3*d. Which is smaller: -3 or d?
-3
Let h(p) = p**3 - p + 1. Let l be h(1). Let f = -11 - -13. Let y be 9/5 - f/(-10). Which is greater: y or l?
y
Let c = -1 + -1. Let y = -1 - c. Let z = -5 + 7. Which is smaller: z or y?
y
Let a be ((-4)/(-20))/((-2)/(-10)). Is a not equal to -1?
True
Suppose 2*c = c + 3. Suppose -2*p - c + 19 = 3*v, -4*p + v = -18. Which is smaller: p or 6?
p
Suppose 0 = p - 0*p. Suppose 3*n + 5 - 2 = p. Is n bigger than -5/4?
True
Let n be 34324/(-1040) - (-2)/13. Let k = n + 173/5. Is 2 less than k?
False
Let m = 0 + -6. Let d = m - -5.8. Is 0.1 <= d?
False
Let m = -0.359 + 0.209. Which is smaller: -1/2 or m?
-1/2
Let h(k) = -k**2 - 5*k + 4. Let v be h(-5). Let i = v + -1. Suppose s - 4*s - i = 0. Which is smaller: 1/4 or s?
s
Let m(h) = -h**2 + h - 6. Let f(d) = d**3 + d**2 - d - 1. Let k be f(-1). Let i be m(k). Are i and -6 unequal?
False
Let t be (-67)/(-132) - 1/2. Let z = 353/132 - t. Suppose -5*h - 5 = 6*x - x, -5*x + 11 = h. Is z smaller than x?
True
Suppose -3*j = 2*j + 10. Let f be (j - -3)/(-1 + 2). Which is smaller: f or 1/3?
1/3
Let x = 10 - 10. Suppose x = 5*a - 25, -4*j = -0*a + 4*a - 244. Let m be (-8)/j*(-2)/1. Which is greater: 1 or m?
1
Let h be (24/2)/((-12)/(-16)). Suppose -h = -4*r - m, -3*r = -8*r + 2*m + 7. Do r and 1 have the same value?
False
Suppose x = -x + 4, -6 = -4*i - 5*x. Is i < -0.2?
True
Let f = 3.84 - -0.46. Let m = f - 4. Which is smaller: -3/2 or m?
-3/2
Suppose -3*j - 4*t - 16 = 0, 0 = 5*t - 0*t + 5. Let o = -6 - j. Are -4/7 and o unequal?
True
Let n = 0.13 + -0.03. Is n smaller than -1?
False
Let g be (-6)/12*(-2 + -36). Which is smaller: g or 18?
18
Let i = -7427/25 + 297. Let d = 279163/150 - 5594/3. Let n = i - d. Which is greater: n or 3?
n
Let u(w) = w**2 + 7*w + 3. Let x be u(-5). Let p be x/(-147) - (-1)/(-3). Is p greater than 0?
False
Suppose -4*p + 8*p - 8 = 0. Are p and 2 non-equal?
False
Let m(j) = 5*j**2 - 6*j - 3. Let i(g) = -2*g**2 - 2*g**2 + 4 - 2 + 0*g + 6*g. Let a(h) = -4*i(h) - 3*m(h). Let k be a(6). Is k at most 1?
True
Suppose 2*g - 8 = 10*g. Which is smaller: 3/11 or g?
g
Let x(f) = -f**3 - 6*f**2 + 8*f - 8. Let o(w) = -3*w + 5. Let i be o(4). Let z be x(i). Is z >= -16?
True
Let f be -6 + 1 + (-3)/(-3). Let y be 15/6 + 2/f. Let h be 1 - (-2)/(0 - y). Do h and -2/7 have the same value?
False
Let l(a) = a**3 - 13*a**2 + 12*a + 3. Let c be l(12). Suppose c*r - 16 = -r + 4*z, -4*r + 44 = 3*z. Which is greater: r or 7?
r
Suppose -v + 3*d = -3, -2*v = d - 2*d - 11. Suppose i + 4*m - 3 = -1, 4*i + 20 = -2*m. Let t = i + v. Is t > 0?
False
Let j be (-8)/12 + 3/(-9). Which is bigger: -6 or j?
j
Let u be -1*6*(-1)/(-3). Let w be 7/2 - 5/10. Suppose -q + 4 = w. Is u at most q?
True
Let s = 299 + -11659/39. Are s and -1 equal?
False
Let h(s) = s**2 + 7*s - 8. Let d be h(-8). Suppose 0 = -d*f + f + 2. Which is smaller: -8/5 or f?
f
Let c = -1 + 2. Let v(u) = 6*u + 0 - 3*u - 1. Let a be v(c). Are 3 and a equal?
False
Let f be -2 + -3 - -3 - -8. Let m be 2/f - 34/30. Let b be ((-2)/4)/((-5)/(-4)). Are m and b unequal?
True
Let f(z) = z**3 - 2*z**2 + 1. Let o be f(1). Let n = o - -2. Does -1 = n?
False
Suppose t + 0 = -h - 2, 5*t + 1 = 4*h. Is h != -1?
False
Suppose -4*m + 4*a = -12, 1 = -2*m - 5*a - 0. Let y = 10 + -7. Does m = y?
False
Let