f. Let k be t(r). Let j be 1/3 - (-1)/(-3). Is k at least j?
True
Let r(q) be the first derivative of 1/4*q**4 - 1/2*q**2 - 1 - 2*q + 1/3*q**3. Let i be r(0). Which is smaller: i or -3?
-3
Let m = -0.8 + 0.84. Let y = -72 + 74.04. Let x = y - m. Which is greater: x or 0.2?
x
Let p be (-2 - -1 - -2)*-1. Let h = 66 + -197/3. Which is greater: p or h?
h
Suppose -f = -5*l + 21, 6*l = 4*f + l + 24. Which is greater: f or 1/15?
1/15
Suppose -4*h - 2 - 2 = 4*f, -2*h + 4*f = 2. Is -2 greater than or equal to h?
False
Let p = 50 + -47. Which is greater: 0.08 or p?
p
Suppose -2*b = 3*b - 45. Suppose l + 2*l = b. Is l greater than or equal to 9/4?
True
Let x(a) = -a + 6. Let t be x(5). Let f be 1/(35/(-120)) - -3. Is t less than f?
False
Let o = 36 - 22. Let m = o + -16. Which is smaller: m or 0.1?
m
Suppose -7*u = 5*u - 8*u. Let a be 1/1*(-1)/(-1). Let c be (-4)/7 + 0 + a. Which is smaller: u or c?
u
Let p be (-3)/(24/20) + 2. Which is bigger: p or 1?
1
Let n = -210 - -211. Which is bigger: -1.2 or n?
n
Let w be 2/((-30)/47) - (21 - 24). Let j = 3 + -4. Do j and w have different values?
True
Suppose 3*i = i. Let x = 1/32 + -107/352. Does x = i?
False
Let n be (-5)/3 - (-4)/6. Let l(x) = -x**2 + 4*x + 3. Let d be l(5). Are n and d unequal?
True
Let c be (-20)/(-5) - 4 - 0. Is c at least as big as -3?
True
Let x = -1 - -3. Let g(d) = -d**2 - 2*d - 1. Let s be g(-1). Let c be (0/x - s)/(-1). Which is smaller: c or 1/2?
c
Let h = 29 - 28. Let j = h - -15. Are j and 16 nonequal?
False
Let p = -6 - 1. Which is greater: -0.04 or p?
-0.04
Suppose -6*t + m - 3 = -t, 0 = -4*m + 12. Is 3/25 at most as big as t?
False
Suppose -f = -5*j - 9, 4*j + j - 15 = 5*f. Is f at most as big as -4?
True
Suppose o = 2, 2*a - a = -o. Let c be 10 + 3 - 1*a. Suppose -6*p + p = c. Is -2 >= p?
True
Let i = -0.5 - -0.1. Let d = -7 - -6.8. Let b = d - i. Is b at most -0.1?
False
Suppose -10 = -5*h + 25. Let s be 8/6 + h/(-21). Is -1 less than s?
True
Let m = -61 - -61. Is 0.38 less than or equal to m?
False
Suppose 5*v + 59 + 11 = 0. Let d be (-2)/(-3)*21/v. Is -1 < d?
False
Let y = -0.845 - 0.125. Let s = y + -0.03. Are s and 2 unequal?
True
Let t = -2/127 + 280/1651. Suppose 3*x - 5*l = 4*x + 10, 5*x = l + 2. Which is smaller: x or t?
x
Suppose -3*r = 3*q - 36, q - 2*r = 3 + 9. Is 13 != q?
True
Suppose -3*l + 8*l = -5*m + 5, 4*l = 4. Let o be m/(-2) + (-2)/3. Let z(a) = -a**2 + 13*a - 2. Let p be z(13). Which is greater: o or p?
o
Let d be (-35)/50*29/(-7). Let l = d - 5/2. Let k = -1 - -1. Which is smaller: l or k?
k
Let c be 3/(-5) - (-6)/10. Let p = 1 + 0. Let a be (-15)/(-24)*p/5. Does c = a?
False
Let m = -12 - -13. Do m and 4 have different values?
True
Let x be 4*2/((-16)/(-6)). Let m = 1 - x. Let j = -18 - -18. Are j and m unequal?
True
Let q(s) = -2*s - 4. Let j be q(-3). Suppose 0 = -3*a - 2*y + 31, 4*a - j*y - 4 = 2*a. Let d be ((-192)/(-112))/(4/14). Is d less than a?
True
Suppose -v - v - 6 = 0. Let i(p) = -p**2 - 2*p - 2. Let t be i(0). Is v at least t?
False
Suppose 2*h = p - 3 + 8, -4*p - 2*h = 0. Which is smaller: p or -26/9?
-26/9
Suppose -3*d - 4*k = -6, -4*d = -5*d + k - 5. Is -19/6 > d?
False
Let q(r) = -r + 7. Let g be q(4). Suppose x = -t - 2, 2*t - 2*x - g = 3*x. Is t at most -3?
False
Let z = -41.02 + 41. Which is greater: 2/3 or z?
2/3
Let a = -0.071 + 0.271. Is -16 <= a?
True
Let i = 1.2 + 1.8. Is -2/7 at least as big as i?
False
Let k = 8 - 4. Let n = k - 6. Is -3/4 less than n?
False
Let k = 574979/36 - 15973. Let s = -10/9 - k. Is s at least as big as -1?
True
Let n = -12 - -13. Let s be n - 3/(-36)*-4. Suppose 0 = -g - 4 + 5. Which is smaller: g or s?
s
Let t = 9 - 9.1. Is t <= -81/5?
False
Suppose -5*i - g - 65 = 2*g, 65 = -5*i + g. Let b = i - -23/2. Is -1 less than b?
False
Let j(y) = -y**3 + 8*y**2 + y - 6. Let a be 8*1 - 0/1. Let x be j(a). Let r be ((-4)/(-30))/((-1)/(-5)). Which is bigger: x or r?
x
Let p be (-4)/(-6) - (-1)/3. Is p != -1/32?
True
Let b be (1/(-2))/((-1)/(-2)). Let g = 2 + -1. Let t = g - b. Is t <= 3/4?
False
Let b be (-5)/(-10)*4*2/(-12). Let g(s) = s**2 - 4*s + 3. Let m be g(2). Are b and m unequal?
True
Suppose 0 = -2*g + 5*g + 30. Let v be (-2)/(-8) + g/40. Is v equal to 1/4?
False
Let x = -11 - -5. Are 1 and x equal?
False
Suppose g - 17 = -2*a, 20 = -5*a + 2*g + 85. Let h = a + -9. Which is greater: h or 3/5?
h
Let n = 18 + -17.5. Let s = 3.5 + -5. Let x = s + n. Which is smaller: -2 or x?
-2
Suppose -16 = 4*h + 4*r, -2*h = 3*r + 3 + 6. Which is greater: h or -7/2?
h
Let j be (216/4)/3 + 0. Is 20 at most j?
False
Let r be ((-14)/(-4))/(5/(-10)). Suppose -3*j - b + 3 = 2*b, j = -4*b + 13. Which is smaller: r or j?
r
Let a = -22 + 32. Suppose 0*u + u = -3*g - 7, 2*u = a. Which is greater: g or -6?
g
Let w = -0.025 - -0.125. Let j = -0.1 - -0.1. Which is smaller: w or j?
j
Let g be (-1 - -6) + -3 + 0. Let a = 2 + -8. Is g at least a?
True
Suppose 0 = 3*o - g - 2*g + 87, -4*o - g = 116. Is -29 at least as big as o?
True
Let a = 19 - 13. Suppose -k = 2*l + 5, 3*l + l = 2*k - a. Are -2/7 and k unequal?
True
Let q(l) = -l**2 + 6*l - 2. Let s be q(6). Let i be (-1)/(-1)*s/(-6). Let y = -9 + 12. Which is smaller: i or y?
i
Let o be (-1 - (0 + 0))*3. Let q be o/(1 - 15/6). Which is greater: q or 1?
q
Let j = 5 - 16. Let q = j + 11. Does q = 0.2?
False
Let k = 3 + -11. Let d(m) = m**2 + 9*m + 9. Let s be d(k). Let g be 1/(33/(-12)*2). Which is greater: s or g?
s
Let o = -6 - -5. Suppose 4*b + 6 = 2*l + 26, 4*b - 3*l = 24. Let v = 1 - b. Which is smaller: v or o?
v
Suppose 0 = 3*f - 0*f + 6. Let a = 65255/4 + -16523. Let n = a - -208. Which is smaller: n or f?
f
Let u = 18.4 + -17. Let p = u + -0.5. Let i = p + -1. Is i >= -1?
True
Let c = -19 + 13. Let h = 1.2 + 3.8. Let d = h + c. Which is greater: d or 2/3?
2/3
Let r(h) = -74*h + 8. Let x be r(-2). Is x equal to 156?
True
Let f be (-8)/12 + -1 + 1. Which is smaller: f or 10/13?
f
Suppose 5*x + 3 = 8. Let a be ((-10)/15)/(x/(-3)). Let i be ((-4)/24)/(1/(-8)). Which is bigger: a or i?
a
Let r = 7 - 5. Let x(c) = -1 - 28*c + 0*c**2 - c**3 + 26*c + 3*c**2. Let d be x(r). Is -2/7 smaller than d?
False
Let b = -15 - -24. Which is smaller: 8 or b?
8
Let j = -3 - -5. Let n(p) = p**3 - 5*p**2 - 6*p + 2. Let q be n(6). Suppose -2*l = -q*i + 4, 3*i + 1 = -l + 7. Which is smaller: j or l?
l
Suppose 2*y = -2*y. Let j = -5 - -3. Which is smaller: j or y?
j
Let h(u) = -u - 10. Let n be h(-6). Which is greater: -2 or n?
-2
Let n = -0.31 + 0.24. Let s = n - 0.03. Which is bigger: 5/4 or s?
5/4
Suppose 0 = 3*l - 4*l. Suppose l - 2 = -2*o. Let q = -269/6 + 45. Which is bigger: o or q?
o
Let z = -2.93 - 0.07. Let k = -59 + 62.1. Let a = z + k. Which is bigger: -0.1 or a?
a
Let c be 9/(-85) - 2 - -2. Let o = c - 1/85. Is o at least as big as 1?
False
Let h be 693/(-6) - (-5)/((-20)/(-6)). Which is bigger: h or -115?
h
Let w = 1105446/7 - 158379. Let c = w - -459. Which is bigger: c or 1?
1
Let h be ((-8)/10)/(4/20). Let w = h + 4. Suppose -3*d + w*d = -3. Which is bigger: -1/5 or d?
d
Let g(u) = u**3 - 5*u**2 - 5*u - 8. Let o be g(6). Let q = 1 + o. Let l = -15 + 14. Is l bigger than q?
False
Let y be -3 - (-5 + 6/3). Which is greater: 2/21 or y?
2/21
Let w = -129101/7708 - 2/1927. Is -17 at least as big as w?
False
Let k = 5 + -1. Suppose -k*j = -0*j - 24. Let i(m) = m**3 - 5*m**2 - 6*m + 5. Let a be i(j). Is 5 <= a?
True
Let v = 2.3 - 2.5. Which is smaller: v or 0.9?
v
Let j = 84 + -60. Which is smaller: 25 or j?
j
Let i be -2 + 14/4 - 2. Suppose -r = h - 4*h, 0 = 2*h. Is r at least as big as i?
True
Let n = -5.2 + -1.8. Let o = n - -7. Do 0.4 and o have the same value?
False
Let b = -209.1 - -223. Let l = 6.8 - b. Let f = l + 7. Which is smaller: f or 3/2?
f
Let z(r) = -r**3 + 8*r**2 + 10*r - 13. Let f be z(9). Let s be 2 + 2 + 14/(-2). Is s less than or equal to f?
False
Let a = -5.98 - 0.02. Let g = -9 - a. Are -0.1 and g equal?
False
Let p = 1 + -1. Let s be (-68)/(-20) + 3*-1. Which is smaller: p or s?
p
Let j = -18 + 26. Let a = j + -8. Which is smaller: -0.03 or a?
-0.03
Let o be 2 + ((-4)/(-18) - 426/216). Let s = -0.02 - 0. Is s less than o?
True
Let k = 0.16 + -0.06. Is k bigger than 0.4?
False
Let w be 4/4 - (-50)/(-32). Let g = w + 1/16. Which is smaller: -1 or g?
-1
Let g(n) = -n -