Suppose 2*v = 28 - 4. Let n be (-16)/18*v/(-8). Let b be -2 + 1/(1/2). Is b at least n?
False
Let l be ((-1)/2)/((-2)/(-4)). Are l and -1 unequal?
False
Let t(f) be the first derivative of -f**2/2 - 3*f - 3. Let d be t(0). Let y = 6 - 10. Is d less than y?
False
Suppose -2 = 3*u - 5*h, -2*h - 1 = -0*u - 3*u. Is u bigger than -5/11?
True
Let o(g) be the second derivative of g**5/20 - g**4/2 - 7*g**3/6 + g**2 - g. Let v be o(7). Let t = 0 + v. Which is smaller: t or 1/3?
1/3
Suppose 0 = -3*k - 2*k. Let a = 17 + -9. Is a less than or equal to k?
False
Let m = 0.09 - -0.01. Let n = -0.24 + 0.47. Let t = n + -0.03. Which is greater: t or m?
t
Let q be ((-7)/(-21))/(-1 + 50/48). Let h = -26 + 39. Let u = q - h. Is u <= -5?
True
Suppose 0 = i - 4*j + 3 + 20, 11 = 3*i + 4*j. Let m be (i + (-28)/(-8))/5. Suppose -5 = y + 4*y. Which is smaller: y or m?
y
Let s(p) = 2*p - 9. Let z be s(11). Which is smaller: z or 2?
2
Let c(d) = 5*d**2 + 13*d - 8. Let q be c(-5). Is q less than 52?
False
Let p(w) = w + 14. Let t be p(-8). Which is smaller: 4 or t?
4
Suppose 0 = 5*b - 25 - 5. Let c be 13/4 + b/8. Is c smaller than 4?
False
Let u = 9 - 9. Suppose -2*g + 5 + 5 = u. Suppose -5*q = -2*i + g, -q - 7*i + 2*i + 26 = 0. Which is greater: q or 2/5?
q
Suppose -40 = -3*i + 5*i. Let s = -81/4 - i. Suppose 2*g = -2*g. Is g bigger than s?
True
Suppose 11 = -o + x + 3*x, 5*o = -3*x + 37. Is 5 at least as big as o?
True
Suppose 3*p = 2*b - 66, 5*b = 2*p + 272 - 96. Let y = 145/4 - b. Is y != 2?
True
Let w(r) = r**2 - 6*r - 6. Let t be w(7). Let o = -6 + t. Is o greater than -5?
False
Let l be (-1)/(-28) - (-4)/(-14). Let m = -3.04 - -0.04. Is m at least as big as l?
False
Suppose 0 = 3*b - 2 - 10. Suppose t - 18 = b*t. Let y = -7 - t. Is -1 smaller than y?
False
Let f = -1 - -3. Suppose 2*t - 5 = f*n + 7, -3*n = 2*t + 8. Is n greater than -17/4?
True
Let f(y) = -y**3 - 2*y**2 + 5*y + 3. Let r be f(-3). Let q = 1/187 + -563/374. Which is greater: r or q?
q
Let s(b) = b**3 - 6*b**2 + 5. Let r be s(6). Suppose t - r = 5*o, -4*o + 0*o + 2*t - 10 = 0. Which is smaller: o or 1/4?
o
Suppose 4*y + 1 - 16 = -p, 0 = 2*y - 2. Which is smaller: p or 8?
8
Let g be 0 + ((-4)/1)/2. Let p = -1 + 2. Let c be 2/(3/(p*-3)). Is g at least as big as c?
True
Let c(d) = d**2 + 13*d - 11. Let x be c(-14). Let j be ((-33)/(-12))/(x/12). Is 11 <= j?
True
Let i be (-9 + 10)*(0 + 2 + -1). Which is greater: i or -2/83?
i
Suppose -4 - 4 = -4*f. Let m(r) = 7*r + 1. Let h(l) = -6*l - 2. Let o(p) = 5*h(p) + 4*m(p). Let d be o(-4). Is d greater than or equal to f?
True
Let y = -6527/40 - -1803/10. Let k = 17 - y. Suppose -2*j = -2, -5 = 3*w - 3*j - 2. Which is smaller: w or k?
k
Let f(u) = -5*u**2 + 3*u - 3. Let k(g) = g**2 - g + 1. Let o(i) = f(i) + 4*k(i). Let h be o(0). Is h > 1?
False
Let s(v) = -4*v + 29. Let b be s(7). Which is smaller: 1/126 or b?
1/126
Let v be -1 - 1*(-6)/(-9). Suppose 4*l - 5 = 9*l. Which is smaller: v or l?
v
Let j = 1.31 - 1.35. Which is smaller: 1 or j?
j
Let l = 1 - 1. Which is bigger: l or -2?
l
Suppose -4*i + 3*b + 6 = 0, 7*i + 4*b = 2*i + 23. Suppose -6 = -3*j, i*x - 3*j + 8 = x. Is -3 at most as big as x?
True
Suppose -2*b - 2 - 4 = 0, 0 = 5*o - 4*b - 17. Let w = -206 - -2268/11. Which is smaller: o or w?
w
Let y = -5 - -3. Let x(z) = -z**2 - 6*z - 3. Let g be x(y). Suppose -6 - 4 = g*i. Which is smaller: i or -1/2?
i
Suppose -8 = -v + 23. Let s = v + -153/5. Which is smaller: 3 or s?
s
Let r = 0.1 - 0.2. Let h = 2 + -1.9. Is h greater than r?
True
Suppose 2*p + 2*p = -20. Suppose -3*z + 0 = -2*y + 1, -4*y = -2*z + 2. Let d be 2*z/(-2)*-5. Is d at least p?
True
Let s = 9784/15 - 652. Are -3/2 and s unequal?
True
Let l be 242/96 - (-6)/9. Let w = l + -277/112. Which is bigger: w or 1?
1
Let q be 2 + (-1 - (-2 + 30)). Let v be (-1)/(q/(-25)) - -1. Let a(o) = -o**3 + 5*o**2 - 5*o + 5. Let i be a(4). Which is bigger: i or v?
i
Let y be (-8)/(-3 + 0 + 2). Is y less than 8?
False
Let n(c) = 3*c + 4. Let f(g) = 4*g + 3. Let s(z) = -5*f(z) + 6*n(z). Let y be s(5). Which is bigger: 0 or y?
0
Suppose 0 = -4*t + 4*l + 424, -t - t = -4*l - 212. Is 106 at least t?
True
Let i(m) = -m**3 + 5*m**2 - 4*m + 4. Let x be i(4). Let p = 4 - x. Do p and 0 have the same value?
True
Let z = 1/284 - -481/24708. Is z equal to 1?
False
Let m = 3.6 - 4. Which is smaller: -0.05 or m?
m
Let d be (6/(-7))/((-72)/63). Which is smaller: d or 0?
0
Suppose 0 = 2*d + 2*d. Suppose -2*a = -d*a - 10. Suppose a*r = r. Is 2 at least r?
True
Let v be (-5 - -1)*(-2)/(-4). Let d be 6/(-4) + (-8)/16. Let t be (d + 14/6)*0. Is t not equal to v?
True
Let t = -16 + 4. Is -11 <= t?
False
Let t be (-1)/(0 + 1/(-6)). Is t at most as big as 1?
False
Let n = 5 - 5. Suppose n = -5*j + 3*j. Let p be ((-1)/(-4))/((-10)/8). Is j < p?
False
Let u be (-10)/4*(-1)/(5/18). Is 10 at most u?
False
Let f(a) = a**3 + 7*a**2 + 5*a - 8. Let d be f(-6). Let h = -55.9 - -56. Is d less than or equal to h?
True
Suppose -5*h - 5*m = -4*m - 46, 0 = -h + 5*m + 4. Is 9 bigger than h?
False
Let t = -2/49 + 57/196. Does 0.3 = t?
False
Let i be 17 + (-12)/((-8)/(-2)). Is 13 at least i?
False
Let j = 8 - 6. Let k(d) = 4*d + 1 + 0 + d**2 + j. Let q be k(-3). Is 1 equal to q?
False
Let y be (-1*(-1)/(-3))/2. Is y at most -1?
False
Let l be (-3)/7 + 352/1001. Which is smaller: -1 or l?
-1
Suppose -4*c + 8*c + l + 5 = 0, -3*l = c + 15. Suppose -5*i - j = -2*j + 11, i + 4*j = 2. Which is smaller: c or i?
i
Let r = -185/468 + 9/52. Suppose 5*y + 0*y - 7 = 3*h, -5*y + 5 = -5*h. Which is smaller: h or r?
r
Let i = -18 + 19. Are i and -3/17 non-equal?
True
Suppose 3*d = 168 + 9. Is d <= 59?
True
Suppose 2 + 0 = 2*w. Which is greater: 3/5 or w?
w
Let j = 2/55 + 51/110. Let y be -3*3*(-2)/9. Which is smaller: y or j?
j
Let v be (2/(-4))/((-1)/4). Is v > -8?
True
Let p = -31786/133 + 239. Which is greater: p or 1?
1
Let w = 153 - 151.72. Which is greater: w or -1?
w
Let x(n) = n - 3. Let c be x(6). Suppose -4*w - 12 + 43 = -c*o, o + w + 1 = 0. Which is smaller: -4 or o?
o
Suppose 8*z + 12 = 12*z. Let s be (1/(-3))/(1/z). Is s at most as big as -3?
False
Suppose -2*c = -0*c + 2*z + 20, 0 = -4*c - 2*z - 40. Let l be (4/15)/(c/105). Is -3 equal to l?
False
Let v = -72.6 + 78.73. Let f = 0.23 - v. Let k = f - -6. Which is smaller: 1 or k?
k
Let l be (2/(-2))/(2/(-370)). Let h = 2407/13 - l. Are 0 and h non-equal?
True
Let c be 9*(8/(-3))/4. Which is greater: -5 or c?
-5
Let v be ((-3)/2)/(6/1). Let b be 8/(-6) - (-71)/(-3). Let d be 2/10*b/20. Is d != v?
False
Suppose 3*l = -11 - 16. Which is smaller: l or -7?
l
Let l = -59 + 58.84. Are l and 3 equal?
False
Let z = 1 + 7. Let n = z - 9.2. Let b = -1 - n. Which is smaller: b or -1?
-1
Let u = -46 - -25. Is -21 > u?
False
Let s be (42/7)/(2/1). Which is smaller: 2 or s?
2
Let w be (3/6)/((-4)/(-88)). Is 10 at most w?
True
Let l be 192/(-1260) - (-4)/(-30). Let g(p) = p + 7. Let n be g(-5). Suppose -a - n + 1 = 0. Which is bigger: a or l?
l
Let l(j) = -j**3 + 12*j**2 + 13*j + 5. Let g be l(13). Suppose 5*b - g = -0*b. Is -1/5 greater than b?
False
Let v = 1.2 + -0.2. Let i = -11 + 10. Is i <= v?
True
Suppose 4*p + 15 = -p, -d - 5*p - 11 = 0. Suppose 8 - 2 = 3*z + 3*c, 5*z - d*c - 1 = 0. Suppose 0 = -2*b + z + 3. Is b smaller than 3?
True
Let k = 473 - 298. Suppose 0 = -7*w + 2*w + k. Let n = 241/7 - w. Is -2 greater than n?
False
Suppose y - 13 = 6. Suppose 4*d + y = j, 3*j + 8 = -2*d + d. Let l be -7 - -9 - (-7)/(-3). Is j >= l?
False
Suppose -u - 3*u = 5*t + 144, 4*u + 4 = 0. Is -29 >= t?
False
Let o = -1.6 - -3. Let g = 0.8 + -0.2. Let x = g + o. Which is smaller: x or 0?
0
Suppose -4*a + 3*p - 20 - 17 = 0, 0 = 4*a - 4*p + 36. Does -10 = a?
True
Let a be -2 + 3/(-9) + 2. Let v = 0.9 + -3.9. Is a less than or equal to v?
False
Let l(s) = 2*s - 20. Let f(a) = a - 1. Let z(x) = 6*f(x) - l(x). Let o be z(-6). Is -10 at most o?
True
Suppose 3*n - 2*v - 4 = -2, -2*n + 4 = -2*v. Let t be ((-36)/(-16))/(1/4). Let k = 6 - t. Is k equal to n?
False
Let k(r) = -r**3 - 11*r**2 - r - 3. Let j be k(-11). Let y(a) = -a + 4. Let f be y(-4). Are j and f nonequal?
False
Let n be ((-3)/1)/((-7)/(-49)). Is n less than or equal to -19?
True
Let c be 3*(2/7)/(20/(-30)). Suppose 2*z - 3*l = -14 + 3, 2*z = l - 5. Is z bigger than c?