er: m or c?
c
Let w(z) = z**3 - 6*z**2 - z + 7. Let f be w(6). Let t(c) = -c**2 - 9*c - 6. Let m be t(-8). Suppose v + m = 3*v. Is v greater than or equal to f?
True
Let r = -4117047/35 + 117617. Let g = r - -66/5. Is 0 greater than g?
False
Suppose -4*m = -7*m + 6. Which is smaller: m or 12/19?
12/19
Let k be (2 + -1)*(-3)/(-13). Let m(o) = o - 5. Let p be m(6). Is k > p?
False
Let a be 0 - (-12)/(-3) - -2. Which is greater: 3 or a?
3
Let a = 4 + -2. Let m = 1 + -0.9. Which is greater: m or a?
a
Suppose -8 = -4*p + 2*l, -l = -4*p - 0*p + 8. Suppose -h + p*h = -2. Suppose -4*z - 2 = -2*z. Which is greater: z or h?
z
Let d be (16/(-12) - -1)*1. Which is greater: 1/9 or d?
1/9
Suppose -f + q = 34, -5*q + 65 = 4*f - 6*f. Let v be (-3)/(-9) + f/30. Is v smaller than -2?
False
Let z = -2407/10 + 241. Which is smaller: 1 or z?
z
Suppose 0*j - 61 = -j + 5*l, -3*j + 2*l + 157 = 0. Suppose -g - j = -4*g. Is g less than 17?
False
Let n(u) = -7*u - 6. Let o be n(-2). Is 8 greater than o?
False
Let m = -1/20 - -43/60. Let v = 1 + -2. Is m less than or equal to v?
False
Let c(r) = r**3 + 6*r**2 + 6*r + 6. Let a be c(-5). Let q be 3*2*(-1)/(-6). Is q less than or equal to a?
True
Let s = 10 - 15. Which is bigger: -1 or s?
-1
Let c = 0.01 + -1.21. Let k = 1.2 + c. Is k less than or equal to -3?
False
Let b(z) = 9*z**2 + 3*z - 2. Let m be b(1). Is 10 not equal to m?
False
Let m = -50 - -83. Let p = 1559/54 + 98/27. Let n = p - m. Is n <= 2/7?
True
Suppose -p - 4*a = 0, 0*p + 3*a = -p. Which is bigger: 10/9 or p?
10/9
Let f = 2 - -4. Let r(p) = p**2 - p - 5. Let l be r(4). Is l smaller than f?
False
Let m = 582/5 + -116. Which is greater: m or 0.03?
m
Let z = -0.989 + -0.011. Is z bigger than 0.44?
False
Let l = 11 + -7. Let n = l + -2. Are n and 3 non-equal?
True
Let x(p) = -p**2 - 3*p + 1. Let w be x(-4). Let g be (-4)/(-3*(-2)/w). Which is smaller: g or 0?
0
Suppose -5*u - 3*h + 64 = -0*h, -5*h = -2*u + 7. Is u at most as big as 11?
True
Let o(c) = -c**2 + c. Let k(x) = x**3 - 10*x**2 + 9*x + 1. Let h(d) = k(d) - o(d). Let n be h(8). Is 1/8 equal to n?
False
Let b be (-64)/(-126) - ((-32)/28)/(-4). Is b >= 3/2?
False
Let p be ((-4)/(-4))/(3/27). Which is smaller: 8 or p?
8
Let o(y) = y**3 + 3*y**2 + y - 2. Let l be o(-2). Suppose u + 17 = -l*u + 5*n, 0 = 4*u + n - 16. Which is smaller: 1 or u?
1
Let p be 7/(7/(-10)) + 1. Let y be (18/p)/((-5)/(-3)). Is -1 > y?
True
Let n(i) = i + 7. Let s be n(-8). Is s <= 3/29?
True
Let p(v) be the third derivative of -v**5/60 + v**3/3 - 2*v**2. Let d be (4/5)/(6/(-15)). Let y be p(d). Which is greater: y or -1?
-1
Suppose 3 = 4*a - 3*a. Is a not equal to -7?
True
Let m = 3 + 1. Let i = m - 5. Which is bigger: i or -0.5?
-0.5
Let j(v) = v**3 - v**2 - 1. Let o be j(1). Suppose 6 = -0*w + w. Let f be (-2)/w*(-1 + o). Which is smaller: 2 or f?
f
Let x(u) = u**3 - 2*u**2 + 2*u - 1. Let q be x(1). Let z be 64/126 - 16/72. Is q at most as big as z?
True
Let m(q) = -q + 2. Let a be m(-6). Suppose 0 = 3*c + c - a. Is 1 greater than c?
False
Let r be 0*2/4 + (12 - 10). Do -1 and r have different values?
True
Let f = -366 - -5853/16. Is f at least 1?
False
Let k = -1310 + 95628/73. Which is bigger: -1 or k?
k
Suppose u + u = -3*p + 3, 10 = 2*p + 4*u. Let l be (2/26)/(p/(-2)). Which is smaller: l or 0?
0
Let n(f) = -f - 8. Let t be n(-8). Which is bigger: t or 4/7?
4/7
Let q = 8 + 1. Let t(z) = z**3 - 9*z**2 - 2*z + 3. Let r be t(q). Which is smaller: r or -14?
r
Let c = -5/6 - -47/42. Let h = 5.4 - 5. Is c > h?
False
Let h = 58 + -39. Suppose -5*g + 6 + h = 0. Let x(d) = d**2 - 4*d - 6. Let s be x(g). Which is bigger: 0 or s?
0
Let u be ((-20)/(-8))/(10/8). Let i(w) = 2*w - 2. Let j be i(u). Which is smaller: 4 or j?
j
Let s be (-15296)/(-63) + (-4)/18. Let g(i) = -3*i**3 + 5*i**2 + i + 2. Let j be g(5). Let a = j + s. Is 0 at least as big as a?
True
Let k = 576/695 - 4/139. Is 0 not equal to k?
True
Let x(q) = q**3 + 5*q**2 - 2*q - 6. Let i be x(-5). Which is smaller: 2 or i?
2
Let a = 4 + 4. Let h = a + -6. Which is smaller: h or 1?
1
Suppose 3*d - 12 = -3*n, n - d - d + 8 = 0. Let z = -11 - -11. Is n > z?
False
Suppose 16 = 4*v + i, -v - 2*v + 3*i - 3 = 0. Suppose n - 3*u + 3 + v = 0, 5*u = -3*n - 4. Is n < -2?
True
Let k = 9.9 - 10. Let a = k - -0.5. Is a < 1/3?
False
Let o = 56 + -64. Suppose -30 = 4*k + x, 24 = k - 3*k + 4*x. Do k and o have the same value?
True
Suppose -5*i + i = -124. Let f = i + -61/2. Is 0 less than f?
True
Suppose 0 = 2*u - 2*m + 4, 4*m = -3*u + 1. Are 2 and u equal?
False
Let f = 461/10 - 93/2. Let a(b) = -b**2 - 7*b - 2. Let l be a(-6). Suppose l*g - 4*m = -3*m, m = 0. Which is smaller: g or f?
f
Let s = -2.85 - -3. Let z = -0.05 - s. Is z at least as big as 2?
False
Let d be (8/(-882))/(1 - 5/3). Does d = 1?
False
Let m = 14.007 + -0.007. Are 0.1 and m equal?
False
Let h = -44 + 221/5. Let g = -3/65 + h. Is 0 greater than g?
False
Suppose 5*y = -20, -3*p + 0*y = y - 32. Which is bigger: 10 or p?
p
Let v = 9/16 + -29/16. Is v <= -1?
True
Let z = -12 - -3. Let h = 10 + z. Is h <= 1/2?
False
Let p = -4/89 + -179/1958. Which is bigger: -1 or p?
p
Suppose r + 4*r = 0. Is 1/18 <= r?
False
Let r be (-566)/(-840) - 4/6. Let h = -2249/1260 + r. Let x = h - -47/18. Which is bigger: x or 1?
1
Suppose -3*j + 0*j + 27 = 0. Is 7 less than j?
True
Let k = -69/176 - -3/176. Let p = -7/40 - k. Which is bigger: p or 1?
1
Suppose 0*v + 3 = v. Suppose v*i - 6 = 3*g, 0*i - 4 = 3*g - i. Let h = -185 - -1292/7. Which is smaller: g or h?
g
Let k = -11/2 - -4. Suppose f - 2*t - 4 = 0, -7*f + t - 7 = -2*f. Which is smaller: k or f?
f
Let m(u) = -u**3 - u**2 + u + 5. Suppose -4*c + 8*v = 3*v + 5, c + 4 = 4*v. Let q be m(c). Suppose -3*s + q = s + 3*n, -s - 5*n - 3 = 0. Is s < 2/3?
False
Let h(g) = 6*g**2 - 5*g - 11. Let t be h(-2). Which is greater: 25 or t?
25
Let a(t) = -1 - 1 + 2 + t - 2. Let g be a(6). Suppose -b - 3*d - 4 = 1, 12 = -g*b - 4*d. Is -1 less than b?
False
Suppose 8 - 6 = s. Let f(k) = -k + 12. Let b be f(12). Suppose -3 = -r - b*r. Are s and r nonequal?
True
Let r be 0*((-4)/(-2))/4. Let n be (-3)/9 + 1/3. Let m = n + 0. Is m >= r?
True
Let g = 2 - 3. Let x be (2/4)/g*-1. Let p = 18 + -18.1. Do p and x have the same value?
False
Suppose -3*w + z + 70 = -54, 3*w - 149 = -4*z. Suppose 17 = -4*x + 2*h + w, -x = -h - 9. Suppose n = x*n. Is n at most as big as -2/3?
False
Let t(c) = -c + 1. Suppose 2*k = -0*k. Let h be t(k). Let p be (-2)/(4/(-2)) - -1. Which is smaller: h or p?
h
Let y = 11 + -1. Let x be -4 + (-2 - -2) + 14. Is y > x?
False
Let j(a) = a**3 - 4*a**2 - 6*a - 5. Let v be j(5). Let f be (6/(-12))/(v/(-8)). Are 0 and f unequal?
True
Let j = 9 + 5. Which is greater: 0.4 or j?
j
Suppose 4*y - 12 = 2*g, -5*g + 3*y - 38 = y. Which is bigger: g or 0?
0
Suppose -4*w - 10 = -4*m + 18, -5*m + 19 = 3*w. Let u be (2/16)/((-1)/w). Is 0 at most as big as u?
True
Let z = -31 + 219/7. Is z < 3?
True
Let r be (8/(-40))/(16/10). Let p be 4/(-2) - -1*2. Is p at most as big as r?
False
Let r(z) = 5*z**2 - 3*z - 1. Let n be r(-2). Let h be 24/(-14) + 2/(-7). Let s be ((-1)/5)/(h/n). Which is bigger: s or 3?
3
Let w(y) = -3*y - 37. Let d be w(-16). Is 11 smaller than d?
False
Suppose -25 = -5*i - 4*l, 4*i = -5*l + 3 + 26. Let p = 4 + i. Is 6 > p?
True
Let u = -6 - -3. Suppose 5*c + 5*s = -0*s - 15, 2*c - 3*s + 11 = 0. Which is smaller: c or u?
c
Let y be (3 - 4/1)*-9. Let o = -10 + y. Let g be -2 - (o + 0)/1. Is -2 != g?
True
Let l be 3/(-12) + (-51)/(-12). Suppose l*i - 3 - 17 = 0. Suppose -i = -5*n + 5. Is 1/2 greater than n?
False
Suppose 2*o - 1 - 3 = 0. Suppose -2*z = o*i - z, -i - 10 = 3*z. Suppose 2 + 2 = -i*w. Which is greater: -3 or w?
w
Suppose -5*u - 3*x + 45 = 0, 2*u - 9 + 2 = x. Let r be (27/(-18))/(1/(-2)). Suppose -4*b - 3*f = -u, -2*f + 2 = -r*b - 2. Do 1 and b have different values?
True
Let k be ((-18)/21)/(6/1108). Suppose -312 = -5*x + 478. Let g = x + k. Which is smaller: g or 1?
g
Let f(i) = i**3 - 11*i**2 + 10*i + 2. Let l be f(10). Suppose 6 - 2 = -l*r. Do r and 0 have the same value?
False
Suppose 4*k = -15 + 67. Let x = k - 9. Suppose 0 = a - 6*a - 3*g - 7, -3*g = x*a + 8. Are 2 and a equal?
False
Let h(r) = -r**2 + r - 3. Let l be h(0). Let k = -6 - -8. Suppose -p = 4*j + 11, -k - 7 = 3*j +