) = -f**2 + 5*f. Let s be k(8). Let l be (6/8)/(78/s). Which is greater: 1 or l?
1
Let z = -15.9 - -16. Is z greater than 0?
True
Let j = -231/4061 - 1/131. Which is smaller: j or -1?
-1
Let h be 42/147*1/(-9). Do -1 and h have different values?
True
Let q(n) = n + 6. Let s be q(-7). Let y = -8 - -4. Let l be 2/(-4) - (-6)/y. Is l less than or equal to s?
True
Suppose -y + 4 - 2 = 0. Let l be 1/y + 26/(-28). Is 1 at most l?
False
Suppose 15 = -3*i - 5*k, -3*k - 7 - 2 = -5*i. Let n be 1 + i + 1 - -1. Suppose -n*q + q = 4. Which is greater: -3 or q?
q
Let n(a) = 2*a**3 + 12*a**2 - 5*a + 16. Let f be n(-7). Which is smaller: f or -48?
-48
Suppose s - 3*w - 14 = w, -3*w - 24 = -3*s. Which is bigger: s or 37/5?
37/5
Let i = -1828552516446729874031105466484/8507492343 - -214934371107753093870. Let p = 10/3502467 - i. Let g = p - -2/347. Which is greater: 0 or g?
0
Let z(y) = -y**2 - y + 2. Let s be z(-2). Suppose 0*v + v - 20 = s. Let u be (-4)/v + (-54)/(-70). Which is smaller: u or 2?
u
Let x be 1 + 15 - 2/(-1). Suppose -b = -4*b + x. Suppose 2*l - 3*k - 5 = l, -4*l - b = k. Which is greater: -0.3 or l?
-0.3
Let q(h) = h**2 - 5*h - 7. Let y be q(6). Let l = 4 + -4.08. Let i = l + -2.92. Is i less than or equal to y?
True
Let m be 1/(1/(-4 + 3)). Let b = 1129/78 + -85/6. Which is smaller: m or b?
m
Suppose -2*y + 12 = -2*q, -4*q - q + 4*y - 27 = 0. Let l be q/(-12)*-2*8. Let a = l - -1. Which is bigger: a or -3/2?
-3/2
Let g(n) = n + 2. Let v be g(2). Suppose 5*f = -4*a, 5*a + 0*f = v*f. Which is smaller: -1 or a?
-1
Let t = -8 + 15/2. Let v = 1 + -2. Is v > t?
False
Let h be ((-1)/(-2))/((-26)/(-8)). Let l(z) = -z**3 + 7*z**2 - z + 9. Let x be l(7). Let q be (0/(4 - 2))/x. Is q smaller than h?
True
Suppose -f = f + 202. Let n = f - -508/5. Do n and 1 have different values?
True
Let i(j) = j - 1. Let u be i(1). Let f be ((-3)/12)/((-2)/2). Which is smaller: f or u?
u
Let g be (-1 + 2)*1/(-1). Let i = 0.2 + -10.2. Let f = i - -10. Are g and f unequal?
True
Let n = 1/20 - -17/60. Let k be (4/(-8))/(1/(-2)). Is n greater than or equal to k?
False
Let l = -2 - -1. Let c = 2035 - 8083/4. Let a = c + -14. Which is greater: a or l?
a
Suppose 3 - 2 = -i. Is i smaller than -4/15?
True
Let l(x) = x**2 + 4*x - 4. Let b be l(-4). Suppose -3*y + n = 14, n = -5*y - n - 16. Is b > y?
False
Let u = -9 - -9. Let l = -34 + 23. Let k be 2/l - (-155)/550. Are k and u nonequal?
True
Let b be (1/(-8))/((-18)/(-36)). Which is bigger: b or -2/53?
-2/53
Let q = -152 + 173. Is q bigger than 22?
False
Let y be (-4 + (-3 - -6))/(-1). Let s be 2*((-5)/(-4) - 1). Which is smaller: y or s?
s
Let n = 365/14 - 26. Let i(r) = -r**3 + 2*r**2 - r + 1. Let g be i(1). Which is greater: g or n?
g
Let w = -424 + 11444/27. Which is smaller: 1 or w?
w
Let d = 25 - 24.7. Does d = -2/7?
False
Suppose -186 = -t + 34. Let c = -151540 - -1365842/9. Let a = c - t. Is a equal to 0?
False
Let c = -14 - -17. Let n = -8 + c. Which is greater: n or 0.1?
0.1
Let f(y) = 23*y - 11. Let n(g) = 12*g - 5. Let x(c) = 4*f(c) - 9*n(c). Let v be x(-1). Let o = v - 35/2. Is o less than or equal to 0?
True
Let t(n) = n**3 - 7*n**2 - 2*n + 10. Let h be t(7). Does h = -4?
True
Let v be (-4)/(-8)*-2 + 0. Which is greater: -0.3 or v?
-0.3
Let a be (12 - 10)*(-2)/4. Is a at least -8/9?
False
Let d = 2/225 - -671/450. Suppose 6 = i + 3. Is d greater than or equal to i?
False
Let c be (0 - 3) + 1323/(-28). Let s = c + 50. Is 10 at most s?
False
Let m(l) = -l**2. Let o be m(0). Suppose o = 2*v - 5*a + 15, -4*v + 2*v = -3*a + 9. Let z = -1/7 + v. Is z <= 1?
True
Let p = 9 - 12. Let a be 1/((-1 - -4)/p). Which is bigger: -1/14 or a?
-1/14
Let n be (-3 + (-35)/(-13))*(-6)/(-12). Let y(w) = -w**2 - 8*w - 2. Let m be y(-7). Suppose h = 4*h + 5*k + 12, -4*h = -m*k - 19. Is h bigger than n?
True
Let c = 30 - 31. Is 1/33 less than c?
False
Suppose 4*h = -h - 5. Which is greater: -0.2 or h?
-0.2
Let h = 27 + -30. Which is greater: -0.5 or h?
-0.5
Suppose 9 = -g + 5*r, -g + 3*r = -3*g + 8. Suppose -g + 16 = 3*m. Let c be (2/(-25))/((-1)/m). Is -2/3 < c?
True
Suppose 0 = 3*l + 2 + 4. Is -7/5 equal to l?
False
Let z = 1 - 1. Let d(l) = -11*l**2 - 23*l - 23. Let b(p) = 5*p**2 + 11*p + 11. Let s(q) = -13*b(q) - 6*d(q). Let g be s(6). Are z and g equal?
False
Let v be 216/160*10/24. Which is greater: 2 or v?
2
Let f be 4/10 - 65/(-25). Suppose j + j + y + 4 = 0, 12 = f*y. Suppose -5*l + 29 = -4*u - 6*l, 0 = -5*u - l - 35. Is u < j?
True
Suppose -s + 2 = -48. Is s greater than 50?
False
Suppose -5*g + 4*g - 1 = i, -5*i - 13 = g. Let z = 1 + i. Suppose 3*b + 11 = -1. Is z >= b?
True
Let l be (66/(-18))/(1/(-3)). Is l less than 11?
False
Let s(w) = -3*w**3 - 2*w**2 + 1. Let g be s(1). Let r = 5 - 9. Is r greater than g?
False
Let n = 8.621 + -8.6. Do 2 and n have the same value?
False
Let n = -265/2 + 138. Let i = -5 + n. Let u = 4 + -4. Is i < u?
False
Let g be (-2)/(-4) - 28/8. Is -1 at least g?
True
Let u = -5 - -4. Which is bigger: u or -4/11?
-4/11
Let o = 22 + -36. Let b = -125/9 - o. Suppose 8*n + 6 = 14. Which is smaller: b or n?
b
Suppose 4*q + 4*w - 28 = 0, 4*w = 8*w - 20. Let o(l) = 0 + 7*l - 7*l + l**q - 1. Let s be o(-1). Does s = 0?
True
Let o(m) = 3*m + 14. Let c be o(-6). Let i = 3 + -7. Is c greater than or equal to i?
True
Let a be (-36)/8 + 1 - -4. Which is greater: 0.1 or a?
a
Suppose 2*y = -3 - 3. Is 3 < y?
False
Let a(b) = -b - 4. Let y be a(-3). Let g be (-1)/(-3) - (-130)/15. Let u be 5/g*4/(-10). Is y at least as big as u?
False
Let j(p) = 2*p - 10. Let f be j(6). Which is smaller: 0 or f?
0
Let g be (60/(-2))/((-3)/(-2)). Let f be 1 - (g/(-18) - 0). Let h = 0.018 + 0.982. Which is smaller: f or h?
f
Let d be (-1227)/675 + (-2)/9. Let o = -1403/75 - d. Let y = 17 + o. Which is greater: y or 1?
1
Suppose 4*d - 6 = 2. Suppose 0 = 3*g, -5*w + g + d*g - 45 = 0. Let r be (-1)/w + (-3)/9. Is -1 != r?
True
Let o = 1.16 - 0.16. Is o equal to -2/9?
False
Let p = 0.04 + -1.04. Is 3/13 less than or equal to p?
False
Let i = -0.94 - 11.46. Let c = i + 11. Are c and 1/4 nonequal?
True
Suppose 4*f = -0*i + 2*i - 34, 5*i - 29 = 3*f. Let q be 14/f - (-2)/1. Let z = -5 + 5. Which is smaller: z or q?
z
Let l(o) = o**2 + 7*o - 1. Let r be l(-7). Let b be 0 + (1 - (-5)/(-1)). Let a be b/(0 - -2) + 1. Is a at least r?
True
Let t = 5.2 + -2.8. Let a = 0.6 + -1. Let s = a + t. Which is bigger: s or -0.1?
s
Suppose 2 = -2*n - 8. Let c be (n/(-10))/((-1)/2). Is c at most -1?
True
Suppose 0 = 5*d - 10, 2*q = 3*q + 2*d - 2. Let l = 88 + -529/6. Which is bigger: l or q?
l
Let b(l) = -l - 9. Let q be b(-9). Suppose 4*r - 8*r - 12 = q. Are -3 and r equal?
True
Let b be (-17)/(-4) + 24/32. Suppose 0 = 3*s - 0*w - w - 12, 4*w = b*s - 13. Is 1 != s?
True
Let f = 0.01 - -0.29. Which is bigger: f or -1/5?
f
Let d(l) = -l**3 - 5*l**2 - 5*l - 5. Let o be d(-4). Let g = o + 6. Suppose 0 = -g*r - 0*r + 20. Is 4 at least as big as r?
True
Let w = -4.6 - -4.41. Let k = w + 1.29. Let v = k + -0.1. Is v at least as big as 0?
True
Suppose -p + 4 = 3*a, a = -0*a - 3*p + 12. Let r be a*(1 + 1 + -1). Let q = 353/5 - 71. Is r bigger than q?
True
Let f = 110 + -109. Is 2/69 at most f?
True
Suppose 16 = 5*i - 14. Suppose 5*t + 5 + i = -3*u, 1 = -t. Is u <= 0?
True
Let j = -0.99 + -0.03. Let r = 0.02 + j. Is -0.2 != r?
True
Let s be 69/76 - (-1)/(-4). Let r = s - 3/19. Let o = 12 + -8. Are r and o unequal?
True
Suppose 17 = 5*p - 3. Suppose 3*n - p*y = 11, 7*y + 35 = -5*n + 3*y. Is n smaller than -5?
False
Let r = -4 + 6. Suppose 5*f - 16 = r*q - 1, 3*f - 9 = 4*q. Let k = 2/17 - 25/68. Which is bigger: q or k?
q
Let r = -7.07 - -0.07. Let n = -5.5 + 0.5. Let c = r - n. Do 0 and c have the same value?
False
Suppose 2*o - 1 = -0*v + 3*v, -12 = o - 4*v. Suppose -y - 2*f + o = 0, 4*y - 5*f + 24 = 4. Which is greater: y or -2/9?
y
Let p be (-168)/(-180) + 6/(-10). Do p and -23 have the same value?
False
Let c be 184/18 + (-12)/54. Let q = -11 + c. Is 0 bigger than q?
True
Let f = 3 - 2.96. Let l = 86 + -87. Are f and l equal?
False
Let h be 711/(-210) + 2/4. Let o = -13/5 - h. Is 1 at least o?
True
Suppose 2*r - 6*r = -16. Let j be (0 - 1)*0/r. Let z = 60 + -182/3. Which is bigger: j or z?
j
Let a be 10/(-1)*(-2)/4. Suppose -f - q + 2 = -2*q, -a*q = 0. Suppose 4*