) + 3. Which is smaller: f or 1?
f
Let i = 22/481 + 4/37. Which is bigger: -1 or i?
i
Let d be (-6 - 17/(-3))*(-5 + 2). Is d at most -2/5?
False
Let i(w) = -3*w**2 + 4*w - 3. Let t be 1*-6*3/(-6). Let d be i(t). Let n be 0 + 1 + d/20. Is n smaller than 1?
True
Let v be (-3)/2 - (-325)/30. Let z = v + -10. Let r(y) = -y**2 - 4*y + 4. Let k be r(-5). Which is smaller: z or k?
k
Let k(b) = 6*b - 19. Let q be k(4). Does 8 = q?
False
Let y(q) be the third derivative of -q**4/6 + q**3/2 + 4*q**2. Let m be y(5). Let b = 52/3 + m. Which is bigger: b or 0?
b
Let k = 9 + -4. Suppose -2*l + 2*h = 10, 0 = -3*l - 2*h + k. Let a = l - -1. Which is smaller: a or -5/4?
-5/4
Let j be (-2 - (-3 - -1))/1. Which is smaller: -1/135 or j?
-1/135
Let r = 59/52 - -8/13. Which is bigger: -0.09 or r?
r
Suppose -4*h + 3*r - 27 = 0, 3*h = 2*h - 5*r - 24. Is h >= -10?
True
Let f(r) = -r**2 - 3. Let n be f(-5). Let x be (8/n)/1 - 0. Let g = 266/3 - 88. Is x bigger than g?
False
Let v = 0.16 + -0.1. Let d = 0.16 - v. Which is smaller: 0.4 or d?
d
Suppose r + 2*r = -3. Let j be (4*r/(-14))/(-2). Are 1 and j nonequal?
True
Let a = 7 - 3. Let r = a + -4.1. Which is bigger: r or -3?
r
Let n = 0.2 + -1.2. Is n less than or equal to -0.3?
True
Let r = -19 + 18. Is -4 at most as big as r?
True
Let v = 24.92 - 25. Is -2 equal to v?
False
Suppose -y + 15 = -5*z + 4*y, 0 = -4*y + 16. Are z and -2/7 unequal?
True
Suppose -2*z - 14 - 4 = 0. Let a be (1/z)/((-1)/3). Let j = 2 - 3. Which is smaller: j or a?
j
Let u = -440 - -440.3. Let y = 3.1 + -3. Let a = y + 0.1. Which is greater: a or u?
u
Let q be (-34)/5 + 4/5. Is -5 less than or equal to q?
False
Let p be (-2)/6 - (-5)/6. Let h = -7 + 6. Which is greater: p or h?
p
Let q be ((-4)/(-8))/(70/(-296)). Let o = q - -12/7. Which is greater: -0.2 or o?
-0.2
Let s be 10/4*((-828)/(-30) + 2). Which is bigger: 72 or s?
s
Let t(l) = -l**3 + 4*l**2 - 3*l - 1. Let u(c) = c. Let n be u(3). Let a be t(n). Which is smaller: -1/2 or a?
a
Let t be 5/10 + (0 - (-2)/(-4)). Suppose -4*i = -5*j + 17, -2*i - 5 = -0*j + j. Let a = i - -2. Which is smaller: t or a?
a
Let f = -24/13 - 147/26. Suppose -4*t - 30 = 2. Which is greater: f or t?
f
Let o = -1.15 - -0.79. Do o and -2/7 have different values?
True
Let p = 6.01 + -6. Let w = 0.09 - p. Let r = w - -1.92. Which is smaller: 1/5 or r?
1/5
Let l(c) = -3*c**2 + 3*c. Let x(n) = -2*n**2 + 3*n - 1. Let j(d) = -3*l(d) + 4*x(d). Let a be j(-4). Suppose 5 + a = -5*y. Is y less than or equal to -1?
True
Let h = -2 - -4. Suppose u + h*a + 0 = -4, -3*u + 2*a = -4. Are -1/3 and u equal?
False
Suppose -j + 9 = p, 3*p - 1 = 4*p + 3*j. Which is greater: 15 or p?
15
Suppose 3*w + 0*w = 6. Suppose 2 - 5 = 3*o. Let l = o + 3. Is w <= l?
True
Suppose 0 = 10*z - 6*z + 24. Is z at least -4?
False
Suppose -4*t - 24 = 20. Let h = t + 4. Is -6 < h?
False
Suppose -4*y - 7 = 5*c, -y + 5 = -0*c - c. Let o be 3/(-6) + y/4. Let d be -1 + -1 + (-39)/(-18). Which is greater: d or o?
d
Let z = -0.11 + 0.01. Let f(p) = -p**3 + p**2 + 3*p + 3. Let r be f(-2). Let l be (1/(-15))/((-3)/r). Which is smaller: l or z?
z
Let q(n) = 2*n**2 + 0*n**2 + 2 - n**3 + n**2 - n. Let x be q(3). Let c = -6 + 4. Which is smaller: x or c?
c
Let z = 5 + -4. Let m be 5/(-15) - (-1 - z). Let o = m + -1. Is o at least 2?
False
Let x be 0*(-3)/(24/(-4)). Suppose 2*f - 5 = -4*r - 1, x = 2*r + 3*f - 10. Let a be (-3)/(-2)*8/(-30). Which is smaller: r or a?
r
Suppose 0 = c + 4*c - 40. Let w = -13 + c. Is w bigger than -2?
False
Let m be (-4 + 65/15)/(1/3). Is -4 at most m?
True
Let s = 3 - -4. Let v = -11 + s. Is -1/8 less than v?
False
Let b = -1949 - -5954/3. Let v = b + -36. Is v greater than 0?
False
Suppose -3*y - 4*y = 91. Which is smaller: -14 or y?
-14
Let v = 47.8 - 48. Which is bigger: 1/6 or v?
1/6
Let b = 0.14 + 0.96. Which is bigger: -2 or b?
b
Let f = -7 + 4. Let s = 2.6 + f. Is s greater than or equal to 0.2?
False
Let y(u) = u**3 - 4*u**2 - 12*u - 1. Let x be y(6). Let l(g) = -g**3 - 4*g**2 - 2*g - 1. Let b be l(-2). Which is greater: b or x?
x
Let t be (6/15)/((-672)/(-30)). Which is bigger: 0 or t?
t
Let u(p) = -p**2 - 5*p - 6. Let f be u(-5). Let v be ((-2)/(-7))/((-3)/f). Let y be (-4 - (1 + (-30)/3)) + -3. Is y > v?
True
Let p be (0 - (2 - -2)) + 4. Is -1 less than p?
True
Let v = 8.94 - 0.04. Let m = 9 - v. Which is bigger: -2/7 or m?
m
Suppose -4*n - 2*u + 4 = 0, -3*n - 10 = n - 5*u. Suppose n*j - 4*j = -16. Let g be (-3)/(-9)*j/2. Is -1 less than g?
True
Let a = -8/3 - -124/51. Which is bigger: a or 0?
0
Let s = -17.6 - -15.6. Which is greater: s or 6/11?
6/11
Let n(d) = d**2 + 4*d + 2. Let w be n(-3). Let k be (-17)/100 - (-1)/4. Which is bigger: k or w?
k
Let l = -56 - 92. Which is greater: -149 or l?
l
Suppose q + 8 = -0. Let v be q/(-3) + 1 + -3. Do v and 0 have the same value?
False
Suppose 2*b - 2*s = 2, 4*b + s + 10 = -2*s. Let p = -265/7 - -38. Which is smaller: p or b?
b
Let p = 109243/30 - 3640. Let j = p + 7/30. Which is bigger: j or 0?
j
Let l be (2 + -1)*(0 + 3/(-3)). Are l and 94 non-equal?
True
Let d = 3.94 + -4. Let w = -1.06 - -0.06. Which is smaller: w or d?
w
Let j(a) = -a**3 - 3*a**2 + 5*a + 5. Let c be j(-4). Which is smaller: c or -1/4?
-1/4
Let o be -2*(0 - 0 - 16/(-32)). Do o and -1/2 have the same value?
False
Let g be 6/10*1/(-3). Suppose -17*l = -7*l. Is l greater than or equal to g?
True
Let h(l) = l**2 + 10*l**2 - 7*l**2 - 3*l**2 - 8 + 5*l. Let r be h(-6). Is 0 less than or equal to r?
False
Let u = 7 + -4. Suppose -2 = u*s + 4, 0 = 2*d - s - 4. Let a = d + -2. Is a at least 1?
False
Let k = -52 + 52. Is 2/33 less than or equal to k?
False
Let u = 58/47 + -12676/141. Let d = u - -88. Let x(z) = z**2 - 14*z + 12. Let h be x(13). Is h greater than d?
False
Let r = -17 - -18. Which is greater: r or 1/5?
r
Let g = -6.97 + 7. Let y = -1.03 + g. Let s = -8.9 - -9. Which is bigger: y or s?
s
Let t = 4660 - 326239/70. Let i = -2/35 - t. Suppose 0 = -2*r - y, -5*r + 4*y + 3 + 23 = 0. Is i less than or equal to r?
True
Suppose -18 - 12 = -5*n. Which is greater: 7 or n?
7
Suppose 4*a + 19 = -3*g, 0 = -0*a - a + 5*g + 24. Let d be 11/12 - a/4. Let l = 3/2 - d. Is l smaller than -1?
False
Let b be (-6)/(-10) - (-24)/(-90). Let v = 47 + -47. Which is greater: v or b?
b
Suppose -2*j = -7*j, 5*r + 5*j = -5. Let w = -72/517 + -2/47. Which is smaller: w or r?
r
Suppose 0 = 4*b - 4. Let p = b - -2. Suppose 3*q - p = -9. Is q less than or equal to -3/4?
True
Let v = 0.8 - 1. Let y = 0.19 - 0.19. Let t = y - v. Which is greater: 1/2 or t?
1/2
Let j = 1338/23 + 9686/115. Let z = 142 - j. Let y be 1 + -2 - 4/(-8). Which is greater: y or z?
z
Let z = -2.7 - -4.7. Are z and -2 nonequal?
True
Suppose 4*d = -7 - 1. Suppose -5*x - 17 = -4*k, -3*x = k + 19 - 2. Let r be (k/(-4)*2)/(-1). Is d > r?
False
Suppose -4 = -3*o - 5*y + 12, -2*o = 4*y - 12. Suppose 4*v - 2*m = 4, 2*m - 5*m - 6 = -o*v. Which is greater: v or 1/6?
1/6
Suppose -8*c + 3*c + 4*h = -40, -13 = 3*c + 5*h. Let d = c + -1. Let f be -1 + (-3)/(-3) - d. Is f at most as big as -4?
False
Let i(d) = d**3. Let t be i(-1). Let y be (2/(-7))/((-12)/(-28)). Which is smaller: y or t?
t
Let o = -9 + 8.74. Let i = 0.04 - o. Let j = i + -0.4. Which is smaller: j or 0.1?
j
Let i be 40/18*(-3)/(-13). Let a = i - -2/13. Is -4 not equal to a?
True
Let b(f) = -f**3 + 4*f**2 - 4*f. Let j be b(3). Is -15/8 bigger than j?
True
Suppose g - 2*r + 3 = -3, 10 = 5*r. Let n be 2/(-1) - (-3)/9. Is g bigger than n?
False
Let q be 2/((-2)/8*-2). Let m(h) = h**3 - 4*h**2 + 2*h - 1. Let z be m(q). Which is bigger: z or 8?
8
Let o = -11 - -15. Let s = 377 - 377.2. Is s not equal to o?
True
Let u = 0 + 0.5. Let v = -0.5 - u. Let i be 1/((-9)/((-9)/(-3))). Which is smaller: v or i?
v
Let t = -2 + 2.11. Let g = -0.01 + t. Let c be (-2)/(-7) - 34/70. Is g > c?
True
Suppose 5*n - 24 = n. Let o(v) = -7*v + v**2 + 7 - 2 + 0*v**2. Let y be o(n). Are 3/8 and y equal?
False
Let k(p) = -p**2 + 4*p + 12. Let n be k(6). Which is bigger: n or -3/5?
n
Suppose -4 - 56 = -r. Let y be 174/r - (-6)/(-2). Are y and 0 nonequal?
True
Let j be (-12)/(-48) - (0 + (-27)/(-4)). Is j less than -6?
True
Let h = 85 - 78. Let q be 3/9 + 2/30. Is q at least as big as h?
False
Suppose -7*n = -4*n - 78. Let b = n - 24. Is 1 at least 