2. Let b be h(g). Let l = b - -3. Is l not equal to 1/5?
True
Let c(h) be the third derivative of -h**5/60 - 7*h**4/24 - 3*h**3/2 - 6*h**2. Let j be c(-5). Let v = 3 + -2.99. Which is smaller: v or j?
v
Suppose 2*n - 10 = 2*y + 6, 4*y = -n - 17. Suppose -p + 2*a = -2*p + 3, -p - n*a = -5. Is p at most 1/17?
True
Let c = -85 + 82. Which is smaller: c or -9?
-9
Let a(w) = w - 4. Let n be a(-6). Let k be 556/n - (2 - 4). Let h = -54 - k. Is h <= 0?
True
Let t(d) = -d - 4. Let i be t(-4). Let b be (16/5)/8 - 8/10. Which is bigger: i or b?
i
Suppose -6 = -3*y - 15. Which is smaller: 2 or y?
y
Let i(r) = 2*r - 6 + r + 3*r - r**2. Let w be i(4). Suppose 2*o + 9 = 5*l, -4*l + 6 = -2*o - w. Are -2 and o non-equal?
False
Let k(a) = a**2 - a - 1. Let f be k(-2). Suppose 8 = -g + 3*g. Let p be g/18 - (-86)/18. Does f = p?
True
Suppose 1 = -p, 3*z + 0*p - 2*p = 11. Which is greater: z or 16/5?
16/5
Let g = 21 + -13. Suppose -2*k + 7*l - 3*l - g = 0, 4*k = -5*l + 36. Is 3 at least k?
False
Let r = -61/30 + 11/6. Let u(c) = -c - 3. Let a be u(-5). Which is smaller: r or a?
r
Let k(j) = -j**2 + j - 1. Let c be k(2). Is -1 less than c?
False
Suppose 8 = -2*d - 2*j, 3*j + 16 = -j. Let x be 19 + -20 - (-9)/7. Which is smaller: x or d?
d
Let q = -3 + 4. Suppose -q - 2 = 4*l + u, 3*u - 3 = 0. Let b be l + 0 - (2 - 2). Is b bigger than -1/4?
False
Let k = -280/3 - -92. Which is bigger: k or 0?
0
Let q be 1/2 - (-50)/(-4). Let f be (q/(-8))/((-735)/(-191)). Let s = f + 1/98. Is -2/11 < s?
True
Suppose 8*z - 5*z - 36 = 0. Let j be z/(-16) + 35/4. Is j at least -1/3?
True
Suppose -u + 2 = -2*b - 8, 0 = 4*u + 4*b + 8. Is 13/6 < u?
False
Let c be (-10)/(-45)*6/4. Which is bigger: c or 1?
1
Let i be (90/75)/((-2)/10). Let z be (i/45)/((-1)/3). Is 0 <= z?
True
Let x be (2/7)/1 + 682/14. Which is smaller: x or 48?
48
Let i(l) = -l**2 + 6*l + 10. Let v be i(8). Are 1 and v unequal?
True
Let c be ((-6)/(-1374))/((-3)/(-6)). Which is smaller: 0 or c?
0
Suppose 13 - 1 = 3*o. Suppose 2*x = -0*x + o. Suppose -2*y = 5*r - 0*y + x, 5*r - 1 = y. Is 0 > r?
False
Let v = -2 + 2.3. Let p = -0.5 + 0.2. Let b = p + v. Which is greater: 2/5 or b?
2/5
Let k(w) = w**3 - 4*w**2 + 4*w - 4. Let s be k(3). Let c be (0 - s)*(-3)/3. Let l be (-3)/5*2/6. Which is bigger: l or c?
l
Suppose 3*z - 4 = 8. Let w(l) = -l**2 - l. Let k(v) = 3*v**2 - 2*v - 2. Let h(t) = z*w(t) + k(t). Let c be h(-6). Is -1 > c?
True
Let k = -1.31 - -0.94. Let u = 0.4 + k. Let q = 0.43 - u. Is q less than or equal to 0?
False
Let a = 5.03 + -4.1. Let q = a - -0.07. Do q and -2 have different values?
True
Let n be ((-43)/(-2))/((-16)/128). Let t = -2065/12 - n. Is t != 1?
True
Let d(k) = k**3 + k + 6. Let u be d(0). Let x be (-3 + 21/u)*1. Which is bigger: x or 1?
1
Let l = 14 - -17. Which is smaller: 30 or l?
30
Let s be (-3)/(-2) - (4 + -1 + -2). Which is smaller: s or -5/7?
-5/7
Suppose -60 = -3*z - 0*z. Which is smaller: 21 or z?
z
Let i be (-138)/115 + 1/5. Which is smaller: 1/4 or i?
i
Suppose 4*c + 5*d + 70 = -0*c, -8 = 4*d. Which is greater: 1 or c?
1
Let q(y) = 5*y**3 - y**2 - y + 1. Let w be q(1). Suppose -n + 10 = -3*g, w*n - 4*g - 5 = 11. Which is smaller: n or 4/5?
4/5
Suppose -4*f = 4*n + f - 82, -3*n + 64 = 5*f. Let k = -13 + n. Suppose 3*b + k - 2 = 0. Is -5 >= b?
False
Let w = 3 - 4. Let y = w + 1. Which is greater: -1 or y?
y
Let c = -2 - -3. Let l(z) = -z**3 - 4*z**2 + 5*z + 3. Let w be l(-5). Suppose -w*a + 3 + 0 = 0. Are c and a equal?
True
Let d = -41 - -29. Is -12 <= d?
True
Suppose -4*i - 18 = -2. Suppose -3*l = 12 - 0. Is l at least i?
True
Let l(r) = -3*r. Let s be l(6). Let i be (12/(-9))/(3/s). Let p be 22/(-30) - i/(-20). Do -2/5 and p have the same value?
False
Let h = 6 + -6. Suppose 3*z - 7*z = h. Suppose z*c = 2*c - 2. Which is greater: 2/3 or c?
c
Let o = 2/221 + -894/1105. Which is greater: -1 or o?
o
Let v(d) = -d + 2. Let m be v(-9). Let f(x) = -x**3 - 5*x**2 + x - 1. Let u be f(-5). Let l = m + u. Is l at most as big as 4?
False
Let b(i) = i**2 - 7*i + 2. Let l be b(6). Let s be (-6)/(-4)*l/12. Which is greater: s or -2?
s
Let a = 97 - 103. Are -5 and a non-equal?
True
Let w(y) = 2*y + 2. Let j be w(-1). Suppose j = u - 1 + 2. Which is smaller: u or 0?
u
Let n = -0.2 + -2.8. Let k = n + -4. Is k <= 0.2?
True
Let r = 92 - 2023/22. Is r >= 3/7?
False
Let r be 22/(-33)*18/(-4). Which is greater: r or 2?
r
Let n be 9 - 8 - (1 - 1). Is n < -3/76?
False
Let p be -10*((-6)/4)/3. Suppose 2*x = p*x + 3. Suppose 4*f = 9*f. Are f and x unequal?
True
Let u = -412.93 + 418. Let w = u - 0.07. Which is smaller: 0.1 or w?
0.1
Let b = -46 - -137/3. Suppose 2*p + 0 = 4. Suppose p*i = -i. Are b and i unequal?
True
Let t = 310 - 637/2. Which is bigger: -8 or t?
-8
Let p = 140 - 167. Is -0.3 bigger than p?
True
Suppose -5*x = -4*i - 5, -3*i + 0*i - 4*x = -4. Let j(w) = i*w**2 - 2*w**2 + 4*w**2. Let p be j(1). Which is smaller: p or 0?
0
Let j = -2.91 + 0.84. Let y = j - -0.07. Let q = 17 - 15. Which is bigger: q or y?
q
Let y(g) = g**3 - 6*g**2 - 7*g + 3. Let b be y(7). Suppose -7*i = -3*i - j + 24, -5*j - 18 = b*i. Is -6 != i?
False
Let y = 9.5 + -13. Let w = y - -0.5. Which is bigger: -1 or w?
-1
Let d(j) = -2*j**3 - 2*j**2 + 2*j. Let p be d(-2). Let g be (-12)/(-9)*(-1)/p. Let s(y) = -y**3 - 3*y**2 - 2*y + 1. Let w be s(-2). Which is greater: w or g?
w
Let u = 5639/342 + 2/171. Is 16 bigger than u?
False
Let k = -7418/9 + 825. Let m = -8/45 + k. Suppose 6*d - 2*d = 8. Is m equal to d?
False
Suppose -22 = 2*d + 4*s, -5*s = 2*d - 0*d + 27. Which is bigger: d or -4/65?
-4/65
Suppose 0 = -2*g + 3*k - 12, -4*g + 5*k = k + 16. Is 2/61 at least as big as g?
True
Let q = 2 + 6. Let h = q - 13. Which is smaller: h or 0.1?
h
Let t = -4860/7 - -631. Let b = t + 63. Which is bigger: 1/10 or b?
1/10
Let c be (105/12)/(-5) + 0. Suppose 4*v - 23 + 31 = 0. Is c at least v?
True
Suppose 2*d + v - 9 = 0, 0*d = d - 5*v + 23. Let j = -2 + d. Let r be 14/56 - ((-114)/(-88))/3. Is r greater than or equal to j?
False
Suppose 1 - 7 = 3*y, -4*l = 3*y + 6. Is l greater than or equal to 2/33?
False
Suppose 3*n + 8 = 5*n + 4*r, 4*n = 5*r - 10. Let a be (0 - 1) + (-18)/(-14). Which is smaller: a or n?
n
Let r = -1.3 + -0.7. Suppose i = 5*i, -12 = -4*c - 5*i. Suppose -c*l = -l. Which is smaller: r or l?
r
Let r = -2 + 0. Let p(y) = 7*y**2 + 2*y + 1. Let n be p(-1). Suppose 4*f - 19 = -3*x, 0 = -2*f + 2 + n. Which is bigger: x or r?
x
Let p be (-4)/(-14) + 28/245. Which is smaller: 0.1 or p?
0.1
Let m(w) = w - 1. Let b be m(-2). Let h be (-6)/4 + 4 + b. Suppose 0*l - 5*l + 35 = -5*z, -4*l + 20 = 0. Which is smaller: z or h?
z
Suppose -3*l + 8*l + 400 = 0. Let z = -157/2 - l. Which is greater: 1 or z?
z
Let j(m) = -m + 5. Let x be j(4). Let g be 12/30 + (-8)/70. Is g at least x?
False
Suppose 0 = -y + 2*d - 19, -66 = y + 4*d - 23. Let p(o) = -o**3 - 5*o**2 + 6*o + 9. Let a be p(-6). Let w be 6/y + (-7)/a. Is w <= -5?
False
Let i be ((-9)/(-6) + -1)*2. Let o(g) = -g**3 + 8*g**2 - 9*g + 16. Let m be o(7). Which is bigger: m or i?
m
Let y = 0 + 3. Is y >= -2?
True
Let l(y) = -6 - 4*y**2 - y**3 + 2*y**2 - y - 4*y**2. Let m be l(-6). Suppose 2*u = 5*d + 14, 0 = 5*u + 5*d - m*d. Is 3/5 at least u?
False
Let u be (-2)/(48/(-49)) - 2. Which is greater: u or -1?
u
Let z = 3 - 2. Let p = -20 + 22. Which is bigger: z or p?
p
Let i be ((-15)/(-3) + -1)*(-1)/2. Is i less than -10/13?
True
Let x(v) = -15*v**2 + 2*v - 1. Let j = -9 - -10. Let m be x(j). Is m bigger than -13?
False
Suppose 0 = -3*j - n, 0*j + j - 7 = 2*n. Is 9/8 not equal to j?
True
Let t = -0.07 - -9.07. Let x = t - 9. Which is smaller: -5 or x?
-5
Let z(t) = t**2 - 10*t + 11. Let n be z(9). Suppose -g - n*l - 2*l = -2, 0 = 3*g - 5*l - 91. Which is greater: g or 23?
23
Let i = 42 - 34. Is 0.2 equal to i?
False
Let b = -0.69 - -0.59. Is -0.1 > b?
False
Let g be 2/(-6)*7 - -2. Let m = -25 + 24. Is m at most as big as g?
True
Suppose -2*x - 4 = 2*x. Which is smaller: x or -3?
-3
Let k = -5.6 + 0.6. Let g = -17 + 11. Let w = k - g. Which is smaller: w or -4?
-4
Let c = 21/2 + -5. Which is bigger: c or 6?
6
Let b = -2/39 + -31/156. Is 2/13 at most as big as b?
False
Let d be (-234)/(-30) + -7 + 4/(-30). Let t be (-4)/5*3/4. Is t > d?
False
Let c = 56 + -69. Is c equal to -12?
False
