igger than 4?
False
Let b be (-3)/(-2)*(-10)/6. Let x = 3 + b. Let d be (2 + -1)*(-3 + 1 + 4). Is x less than d?
True
Let w = 87 + -266/3. Suppose -2*v = -3*v. Suppose 3*b + 10 - 1 = v. Which is bigger: w or b?
w
Suppose -18 - 9 = -3*o. Suppose 2*y + o = -y. Suppose 2*x - x = -3. Is y greater than or equal to x?
True
Suppose 0 = 4*h - 8, 4*c - 5*h + 2*h - 2 = 0. Let b = c + -1. Let n(s) = s**3 - 5*s**2. Let u be n(5). Which is smaller: u or b?
u
Let w = 103/3 - 36. Suppose 6*r = -203 + 11. Let q be r/(-208) + (-82)/26. Is q at most w?
True
Let c be (-10)/(-3)*(-6)/(-5). Let f = c + -5. Let u be (2/(-2))/(-2 - f). Is 2/5 less than or equal to u?
True
Let u = 0.48 + -0.08. Which is greater: 0.5 or u?
0.5
Let p = 38760/11 + -3526. Which is greater: -2 or p?
-2
Suppose 0 = -c - 5*c. Let p(i) = 2*i + 4. Let o be p(-3). Which is smaller: o or c?
o
Let y = -10 + 16. Let f = 6 - y. Is 0 > f?
False
Let v be (-3034)/(-10) - (-4)/(-10). Let j be (-1)/v*-407 - 2. Let t = j + -1/101. Which is smaller: -2/5 or t?
t
Let b be (1/((-110)/72))/((-66)/(-220)). Is b at most as big as -2?
True
Let y = 4 - 11. Let x = -3.2 - -3.2. Is x greater than y?
True
Let w = 16 - 15. Which is smaller: w or 0.04?
0.04
Let v = 22 - 22. Suppose 3*g + 4*w = 3, -5*w = -6*w. Which is greater: g or v?
g
Let r = 0.2 - 0.16. Let z = -190.04 + 187. Let v = z + r. Which is greater: v or -1?
-1
Let x = 0 + -1. Let b = x - -2. Let v = -79/5 - -16. Which is bigger: b or v?
b
Let w = 9 + 13. Suppose k + z - 3 = -1, -3*k + 5*z + w = 0. Which is smaller: -1 or k?
-1
Let p = 84/121 + -18/121. Which is bigger: 0 or p?
p
Suppose 2*s + 14 = u, -3*s = s + 20. Let o = 4 - u. Is -1 != o?
True
Let r = -17 + 16. Which is greater: r or 8?
8
Let r = -19082 + 18968.01. Let m = 116 + r. Let t = -0.01 + m. Which is bigger: -0.2 or t?
t
Let p(b) = b**3 - 5*b**2 + 6*b - 5. Let w be p(4). Let l be 8/(-12) - (-8)/w. Suppose 28 = t + l*t + 4*g, -4*t - 4*g + 32 = 0. Which is smaller: 2 or t?
2
Let o = 1.668 - 0.278. Let z = o - -0.01. Let d = z + -0.4. Which is smaller: -1 or d?
-1
Let f be ((-208)/(-66) - 1/3) + -3. Suppose 2*u = -3*u. Is u smaller than f?
False
Let f = -0.38 - -0.56. Are -0.2 and f non-equal?
True
Let i = 58 + -403/7. Let k(u) = u + 9. Let t be k(-7). Suppose 0*x - 2*x + t = 0. Is x smaller than i?
False
Let y(o) = o + 5. Let a be y(-5). Let i = -2/85 - 81/170. Is i less than a?
True
Let z = 98/13 + -1156/143. Let f = -31 + 30. Which is greater: f or z?
z
Suppose -5*u = -u. Which is smaller: u or 6/11?
u
Let l be (40/550)/((-2)/(-5)). Are l and 1 unequal?
True
Let m be (-159)/306 + 1/6. Which is bigger: m or 0?
0
Suppose 4*d - 11 = 5*v + 8, -3*v = 4*d + 5. Is d bigger than -1/81?
True
Let b be 575/6 + 18/108. Is 1 less than or equal to b?
True
Let b(h) = -2*h**2 - 5*h - 5. Let g be b(-2). Which is smaller: -4 or g?
-4
Let z be (2 + (-21)/6)*4/10. Which is smaller: z or -3?
-3
Let g(j) = j**3 + 9*j**2 + 8*j + 3. Suppose 18 = -4*a - 3*f + 1, 55 = -5*a + 3*f. Let l be g(a). Suppose -2*r + 1 - l = 0. Do r and -6 have the same value?
False
Let q = 389/527 + -12/17. Let f = 27/124 + q. Is -0.1 not equal to f?
True
Let b be (-3)/(-6)*22/(-4). Let w = b + 43/20. Which is smaller: w or -0.1?
w
Suppose 34 = 3*n - 8. Suppose -3*u - q = 9, -q + n = -2*u + q. Let z(r) = -r**2 - r + 1. Let f be z(-3). Which is smaller: f or u?
f
Let b = -6 - -5.98. Let z = -1.02 - b. Which is smaller: 0.5 or z?
z
Let z(p) = 2*p - 8. Let q be z(6). Suppose -4*f + 5*f + 3 = i, -q*i = -3*f - 10. Let c be (3/6)/(i/(-4)). Are -1/2 and c nonequal?
True
Let q be (-13)/((-39)/(-2)) - 58/(-6). Which is smaller: 3 or q?
3
Let x = 3 - 7. Let c = x - -2. Is c bigger than -1?
False
Let q be (-16)/(-7) + 42/(-147). Is -4 > q?
False
Let h(a) = a**2 - 25*a + 2. Let t be h(25). Suppose 4*w = -w. Do t and w have different values?
True
Let l(g) = g + 1. Let a be l(-2). Let b = -0.06 - -6.06. Let h = b + -6.1. Which is greater: h or a?
h
Let v = -12 - -1. Let o = -11 - v. Which is smaller: -2/35 or o?
-2/35
Suppose 29 + 1 = -3*c. Which is smaller: -14 or c?
-14
Suppose 4*w = 4*c + c + 228, -5*c + 330 = 5*w. Which is smaller: w or 61?
61
Suppose -15 = -6*s + 3. Is s at most 7/3?
False
Let a(u) = u**2 + 2*u - 6. Let g be a(-3). Is -2 greater than or equal to g?
True
Let t = 33 + -47. Let g be (4/(-6))/(t/6). Suppose -2*u + 0*z = 4*z + 8, 4 = -2*z. Which is bigger: g or u?
g
Let x(c) = -c**3 + 6*c**2 - 5*c + 4. Let v be x(5). Let m(k) = -k**2 + 9*k - 9. Let z be m(7). Is z at most as big as v?
False
Let h = -0.06 - 4.94. Let a = 5.1 + h. Let q = -0.2 + 0.3. Is q != a?
False
Suppose -3*t = 2*t. Let r = t + 1. Let w = -116/5 + 23. Which is bigger: w or r?
r
Let o(p) = -p. Let n be o(-5). Suppose -3*z + 4*z - 5*l - n = 0, 0 = -2*z + 2*l + 34. Let m be z/(-75) - (-2)/3. Which is smaller: m or 1?
m
Let l = -9 + 14. Let m be -2 + (-1 - -1) - -23. Let o = m - 17. Which is smaller: o or l?
o
Suppose 0 = -5*t + 37 - 2. Suppose -3*x - 4 = -t*x. Which is bigger: x or 2?
2
Let v be 222/(-5) + 36/(-60). Is -43 less than v?
False
Let t be (-1311)/132 - (-2)/8. Let k = t - 20/11. Let w = 12 + k. Is -2 > w?
False
Let f = 14 - 19. Suppose b = -4 - 1. Are f and b nonequal?
False
Let z be (4/8)/1*-2. Is 3/8 at least z?
True
Let y be -6*(-4 + (-3 - 88/(-12))). Let v(j) = -j**2 - 4*j - 2. Suppose -3*x - 5 = -2*t, -3*x - 2*t = -3*t + 7. Let l be v(x). Which is smaller: l or y?
y
Let q be (-55)/45 - 2/(-9). Is 1/186 at most q?
False
Let a = 30 + -27. Let b = -36.9 - -40. Let g = a - b. Is g greater than 4?
False
Let v(p) = -p**2 + 2*p - 5. Let k be v(4). Which is smaller: -12 or k?
k
Let n = -6 - -2. Let z be (0 - -9)/3 + n. Let k = 77 - 849/11. Which is bigger: z or k?
k
Let y(z) be the first derivative of z**2/2 - 1. Let m be y(0). Let d = 22/9 - 128/45. Is m at most as big as d?
False
Let h be (-2)/10*(-1)/1. Let k(w) = w**3 - 18*w**2 - 20*w + 20. Let m(y) = y**3 + 5*y**2 - 3*y + 4. Let i be m(-5). Let z be k(i). Is h < z?
True
Let x = 24 + -38. Which is bigger: 1 or x?
1
Suppose 8 = -2*i + 30. Which is bigger: i or 12?
12
Let u = 5 + -9. Let m = -1 + u. Let o = -5 - m. Which is bigger: -1/7 or o?
o
Let m = 1 + -5. Let w be 4/(-10) + m/(-10). Suppose 2*z = -w*z + 4. Is -2/7 smaller than z?
True
Let n = -2.5 + 11.4. Let r = 9 - n. Let u be (4/18)/(4/6). Are r and u non-equal?
True
Let b = -804/11 - -73. Which is smaller: 0 or b?
b
Let l be (1 + 0)*-1*1. Let u(n) = n. Let t be u(l). Let d be (6/15)/(t/(-5)). Which is smaller: d or 3?
d
Suppose 2 = -3*j + 26. Suppose r + a - 2 = 2*r, 0 = r - 3*a - j. Let g = r + 11. Is 5 bigger than g?
True
Let z(x) be the first derivative of x**2 + 10*x + 5. Let f be z(-5). Which is smaller: f or 2?
f
Suppose -6*n = -25 + 187. Is -28 >= n?
False
Let c(j) = -j**2 - 5*j + 5. Let q be c(-6). Let n be 0/q*(-1)/2. Is n > 3/8?
False
Let f(v) = 3*v - 49. Let w(j) = j - 16. Let p(d) = -3*f(d) + 8*w(d). Let r be p(8). Does r = 9?
False
Let k = 98 + -98.1. Which is smaller: k or 2?
k
Suppose 51 = -2*n + n - 3*b, 177 = -3*n - b. Is n at most as big as -59?
True
Let c be -2 - ((-7)/(-1) - 3). Are -6 and c unequal?
False
Let g = -98/55 + 13/11. Let j = 4.6 - 4. Let i = 0.4 + j. Is i at least as big as g?
True
Let q(c) = 25*c - 13. Let a be q(1). Is 15 greater than a?
True
Suppose 0 = -4*z + 2*z + 3*r + 302, -3*z + 4*r = -454. Let k = -1384/9 + z. Is k greater than or equal to -1?
True
Let j = -11 - -12. Let y = 1 - -1. Let i = j - y. Is i > 3?
False
Let p = 101 - 104. Is -3 at most p?
True
Let v be (-125)/45 - 4/18. Let a be (-12 - -11) + (-1)/v. Which is smaller: a or -1?
-1
Let a = -1/3 - -5/6. Suppose 0 = 6*r - 2*r - 3*j - 6, -5*j = 5*r + 10. Let b = 1 - r. Is a equal to b?
False
Let w = -2 + 4. Suppose 3*a = -w*a - 15. Let g = a - -2. Is g at least -1/3?
False
Let c be 2/6*3 + 2. Suppose -2*l - 13 = -c. Let h = l + 5. Which is smaller: 2/19 or h?
h
Let f(s) = 3*s + 3*s - 2*s + 0*s. Let z be f(-7). Let j be 1/(-2)*z/(-77). Is 1 at most as big as j?
False
Let v(q) = -q**2 - 5*q - 4. Let p be v(-3). Let r be 0*(p/1 + -3). Let m be 7/5 + (-2 - r). Which is bigger: -1 or m?
m
Let g be 2152/348*9/210. Let p = -3/145 - g. Which is smaller: -1 or p?
-1
Let i = -185/672 - 1/96. Is 42 bigger than i?
True
Let k = -12 + 15. Suppose 1 = -k*a + 4. Whic