ter: b or w?
w
Suppose 2*a - 9 + 17 = 0. Let v be 9/(-39)*a/4. Is 0 greater than v?
False
Suppose -2*h = -0*h. Let g = -5 - -10. Let y be (1*(2 - h))/g. Which is smaller: y or 0?
0
Let k(l) = l**2. Let i be k(-2). Suppose 0 = c + c + i. Let m be 2 - (-1 - -3) - c. Is m less than 3?
True
Let y be 28/10 - 2/(-10). Suppose y*r + 35 = -4*p - 10, 5 = -p - 2*r. Let i = -73/5 - p. Do i and 1 have different values?
True
Let i = 0 - -3. Suppose -i*d - 8 = -d. Is d less than -4?
False
Let n be 2 - ((-496)/12)/(-2). Let l = 19 + n. Suppose -a + 4*x = -4, -2*a - 4*x - 4 = 3*a. Is a >= l?
False
Let k be (-8)/(2*-2) - -7. Let g = 9 - k. Which is bigger: g or -0.6?
g
Let p be 48 + 3 - 0 - 4. Is 46 != p?
True
Let x be (-4)/3*15/(-4). Let s(f) = -f + 2. Let p be s(0). Is p equal to x?
False
Suppose -6*r + 3 = -9*r. Which is greater: r or -4/9?
-4/9
Let w(z) = 11*z + 11. Let u be w(2). Which is greater: u or 34?
34
Let c = 60 + -45. Is 15 <= c?
True
Suppose -2*l - 36 = 36. Let k be (-2)/7 + l/(-28). Let r be k + -1 - 3/12. Which is greater: r or -1?
r
Suppose 4*u - 40 = -4*c - 12, 3*u - 7 = 4*c. Is c less than -1?
False
Let k = -1 - -1. Let i be 2/(-8)*8/3. Is k less than or equal to i?
False
Let k = 13 - 10. Suppose -z = k*z. Which is bigger: z or 2?
2
Let i(f) = f - 3 + 0*f**2 + 5 - 3*f**2 + 2*f**2. Let p be i(2). Which is smaller: p or -0.8?
-0.8
Suppose 3*y - 4*v = -2*v, 2*y = -5*v + 19. Suppose 3*h = -y*h + 20. Suppose 3*w + 2*i + h = 5*w, 8 = -2*i. Which is greater: -3 or w?
w
Let r be (-1)/(-4) + (-2)/8. Suppose 0 = 3*i - 0*i - 4*v - 20, 2*i - 3*v - 15 = r. Which is greater: 2/5 or i?
2/5
Let r(y) = 7*y - 5. Let h be r(-2). Is h at least -17?
False
Let s be 2400/135 + 2/9. Which is bigger: s or 33/2?
s
Let n be (((-7)/21)/(1/6))/121. Which is smaller: 0 or n?
n
Let q = 19 - 17. Are q and -1 equal?
False
Let z be (13 - 6) + -2*6/4. Let a be (-4)/6 - 34/(-6). Which is greater: a or z?
a
Let u = -1.65 - -0.05. Let s = u + 0.6. Which is smaller: -1/2 or s?
s
Let c be 33/54 + 2/(-3). Suppose 0 = -0*a + 6*a. Is c < a?
True
Suppose -4*j - j - 5 = 0. Let c = -8/29 - -83/406. Which is greater: c or j?
c
Suppose 0 = -9*c + 11*c - 32. Is c equal to 17?
False
Let r = -103/56 + 17/8. Is 0.04 less than or equal to r?
True
Let m be (-202)/(-4)*(-10)/(-15). Let l = 33 - m. Let o(b) = b**3 + 3*b**2 - 1. Let g be o(-3). Which is bigger: l or g?
l
Let s(k) = k. Let r be s(1). Suppose -5*i + 2*m = -5, i + 2*m = -m + r. Let v(z) = z**2 + 7*z. Let f be v(-7). Is f at most i?
True
Suppose 3*f - 1 = -3*k + 2, 0 = 4*k + 3*f - 9. Let y be (-2)/k - (-1)/(-24). Is 1 greater than y?
True
Let q = -8.1 - -8.1. Do -32 and q have different values?
True
Let a = 13 + -11. Let h = a + -2. Which is smaller: h or 1/3?
h
Let v(k) = -k**2 - 2*k + 3. Let i be v(-3). Let y = 52 + -263/5. Which is smaller: y or i?
y
Let l = 93 + -34. Is 59 equal to l?
True
Suppose 0 = -2*c - 3*j - 4 + 26, -j - 1 = -c. Suppose -5*h + 0 = -c, 10 = -f + 2*h. Which is greater: f or -9?
f
Suppose a + 0*a + 1 = 2*m, -2*a = -2*m + 2. Let n be ((-9)/33)/((-58)/1184). Let z = -62/11 + n. Are z and a non-equal?
True
Let q = -1675/3 - -1127/2. Is q < 6?
True
Let v(w) = -w**3 + 2*w**2 + 4*w - 2. Let m be v(3). Let b be m + 0 + 3 + 0. Is 1 at most as big as b?
True
Let x = -1/3226 - -67757/35486. Is 3 greater than or equal to x?
True
Suppose -20 = -7*h + 2*h. Let j(s) = -s**2 + 5*s - 2. Let y be j(h). Is y at most as big as 0?
False
Let b be (-21)/(-35) + (-2)/2. Let z = 19 + -32. Is b at least z?
True
Let m(q) = -q + 4. Let n be m(4). Let s = n + -3. Is -3 less than s?
False
Suppose -21 = -4*a - u, -a - 2*a + 27 = 3*u. Suppose 1 = a*i - 3*i. Let q be (0/(2/2))/i. Do 0 and q have different values?
False
Suppose 1 = -3*w + 4*x, -2*w - 36 = w + 3*x. Let z(a) = -5*a - 10. Let g be z(w). Let l be (20/g)/((-2)/(-10)). Are 7/2 and l equal?
False
Suppose -2*c - 2*i = 14, -4*c - 16 - 7 = 3*i. Let y be -2*(c - 5/(-2)). Let o = 356/5 + -2161/30. Is o > y?
True
Let v = 2/74058553 + -144132163380194/666526977. Let y = v - -340551551/1575. Let l = y + 143/7. Which is bigger: l or -1?
l
Let s be -3 + (7/(-5) - -3). Is -1 at most s?
False
Let y be (-21)/(-14) + 7/(-2) - -3. Is 2/3 less than y?
True
Suppose 20*s = 24*s - 56. Which is smaller: 13 or s?
13
Suppose -7*c = -4*c. Is -1/13 smaller than c?
True
Let o = 1064/117 + -111/13. Is o less than 1?
True
Let j be 6*1 + (-28 - -17). Let r(v) = -v**3 + 4*v**2 + 6*v - 7. Let h be r(5). Which is greater: j or h?
h
Suppose -3*p - 12 = -7*p, n - 3*p = -7. Suppose 0*g + 4 = n*g. Let r be (-6)/21 + g/(-42). Which is smaller: r or -7?
-7
Let f(n) be the third derivative of n**5/60 + n**4/12 - n**3/6 - 4*n**2. Let v be f(1). Which is smaller: -1 or v?
-1
Let j(y) = y**3 - y**2 - y. Let q be j(-1). Are 2/23 and q non-equal?
True
Suppose -5*a + 14 = 49. Which is smaller: a or -8?
-8
Suppose 40 = 5*u - 4*w, 3*u + w - 4*w - 27 = 0. Suppose 90 = 5*n - 4*a, u = -5*n - a + 69. Which is greater: 13 or n?
n
Let p = -831508/754875 - -568/549. Let y = 3/125 - p. Does y = 1?
False
Suppose 0 = 18*u - 14*u - 84. Is 22 greater than or equal to u?
True
Suppose -6*a = 215 + 241. Are -76 and a nonequal?
False
Let v be (-4)/(-18) + (-16)/45. Is -2 at most as big as v?
True
Let i be 8/(-2) - 216/(-45). Which is smaller: 0 or i?
0
Let p = 0 - 2. Let a be (-217)/(-30)*-2 - -1. Let b = 64/5 + a. Which is smaller: b or p?
p
Let y = 41/30 + -1/5. Which is smaller: y or 2?
y
Let c be 1*(-7)/2 + 2. Suppose 3 + 1 = 2*q. Let p be ((-3)/q)/(9/12). Is c greater than or equal to p?
True
Suppose 6 = r + k, -r + 5*k + 58 = 2*r. Let x be 2/r - 48/22. Let z be x/3 + (-7)/3. Which is smaller: -2 or z?
z
Let p = 784/45 - 86/5. Suppose 0*s + 3 = -3*s. Is s not equal to p?
True
Let d(m) = -m**2 - 2*m + 2. Let l be d(-3). Suppose 5*o = -5*c - 5, 3*o = 8*o + 4*c + 2. Let h be (-3)/o*(-12)/(-9). Is h < l?
True
Suppose -2*a + 2*t + 12 = 0, 4*a - 28 = -2*t + 7*t. Let n be (6/(-450))/(a/(-12)). Is 0 at least as big as n?
False
Let p(x) = x + 1. Let f be p(-4). Let a be f/4*(-224)/(-63). Which is smaller: a or -2?
a
Let k = -12 + 19. Is -4 > k?
False
Let v = -10/7 - -1. Which is smaller: 2 or v?
v
Let d = -2339/107125 - -5/857. Which is bigger: 1 or d?
1
Suppose 4*o = 1 - 9. Let a(p) = -p**2. Let j be a(o). Which is bigger: j or -3?
-3
Let y = -19 - -11. Let x = 7 + y. Is x greater than or equal to -1/11?
False
Suppose y = -4*y + 95. Is 19 > y?
False
Let z = 15 - 16. Which is bigger: z or 1/97?
1/97
Let c(k) = 6*k**2. Let f be c(1). Let i be (4 - f) + 1/1. Let h be 1 + 0 + (6 - 8). Is i < h?
False
Suppose -3*z + 2*i - 7 = 7, 60 = -5*z - 4*i. Is z less than -8?
False
Suppose -19 + 3 = -4*p. Suppose 0 = p*z - 20, -m - 14 = -5*z + 9. Let s be (2 + (-3)/m)*-2. Is -1 greater than s?
False
Let g = 4 + -11. Suppose 35 = -4*c + 11. Which is greater: c or g?
c
Suppose 1 = -4*u + 6*k - 3*k, 0 = -5*k + 15. Suppose u*h = 3*h. Suppose 0 = 4*s - h - 4. Do s and 1 have the same value?
True
Let g(w) = -w**2 - 2*w - 1. Let n be g(2). Is -7 greater than n?
True
Let n = -2/15 + -7/60. Let u(m) = -m**3 - 5*m**2 - 3*m + 1. Let z be u(-4). Let x be 1/z - (-4)/3. Which is smaller: x or n?
n
Let k = 46 - 46. Which is greater: k or -3/4?
k
Suppose 4*c = 4*f + 56, 5*f - 5*c = f - 52. Let g be -1 + (f/14 - -2). Which is greater: -1 or g?
g
Let k = 1.54 - 0.14. Let i = -1.2 + k. Is 1 at most as big as i?
False
Let p be 2/4 - (-4)/8. Which is smaller: p or 1/29?
1/29
Suppose o - l + 27 = 2*l, -3*l = o - 3. Let n = -2 - o. Is 10 <= n?
True
Let l be 2/(-1 + (-3 - -5)). Suppose 0 = m - 5*y - 24, y - l*y = 5. Let a = 0.03 - 0.09. Is m bigger than a?
False
Let a = -6 - -12.7. Let q = 0.7 - a. Which is smaller: q or 0?
q
Let n(f) = -2*f**3 + 2*f**2 + 2*f - 1. Let a(l) = -l**2 - 5*l + 8. Suppose -28 = 5*s + 2. Let o be a(s). Let r be n(o). Is r less than -6?
False
Let s(x) = 3*x + 1. Let d be s(-1). Let q be d/5 + 280/325. Does 1 = q?
False
Let f(x) = 3*x - 56. Let n be f(19). Is 3/106 at most n?
True
Suppose 2*q - 63 = -q. Let k = q - 146/7. Which is bigger: k or -1?
k
Let a = -142 + -32. Let g = a + 517/3. Is g greater than or equal to -3?
True
Suppose -3 = -b - 0*b, 4*s - 5 = b. Let d be ((-1)/(-2))/(2/12). Suppose 5*z = 0, 3*i + 2*z = 4*z + d. Does s = i?
False
Let o(p) = p