(k). Let w(z) = z + 2. Let m(o) = 6*a(o) + 7*w(o). Let p be m(6). Which is smaller: p or 7?
7
Let i(x) = x**2 + 5*x + 6. Let y be (7 - (-2 - -4)) + 3. Let m = 5 - y. Let n be i(m). Which is bigger: n or 1/18?
1/18
Let i = 0.9 - 4.9. Let v be (((-4)/6)/(16/264))/(-1). Suppose 5*o + v = 6. Which is bigger: o or i?
o
Suppose 3325 = k - 8*k. Let m = k - -3795/8. Let l(v) = -v**2 - 2*v + 1. Let n be l(1). Which is bigger: m or n?
m
Let j be (-3)/6 - 15/(-10). Do j and -5/91 have the same value?
False
Let l be 1 - (0 - -1) - -2. Suppose -l = -3*c - 5. Let z(p) = -p**2 - 9*p + 52. Let m be z(-13). Which is greater: m or c?
m
Suppose -2*r - 3 + 5 = 0. Suppose -4*o - 60 = -0*o. Let t be 6*r*(-20)/o. Which is bigger: 7 or t?
t
Suppose 0 = 3*s + 2*s - 720. Let w be 4 + 2 + s/(-20). Is w less than or equal to -2?
False
Let p be 1*8*(-4)/8. Let u be (-1)/(-2)*p/(-2). Suppose 4*y - u + 5 = 0. Does y = -3/32?
False
Suppose -4*j + j = -3*p + 24, -p + 2 = j. Suppose -3*g = -p*y + 64, 0*y + 10 = 5*y. Let n = 23 + g. Which is bigger: -1 or n?
n
Suppose z = -4*z + 3*a + 63, a = 3*z - 37. Let g be (4/(-6))/(1*z/(-846)). Which is greater: 48 or g?
48
Let p be (9/(-6))/((-2)/(-4)). Suppose -2*o = -o + 2, -a + o + 3 = 0. Which is smaller: a or p?
p
Let j = -0.35 - -0.05. Let q = 0.2 + j. Suppose -n + 16 = -8*v + 3*v, 3*n = v + 20. Which is smaller: q or n?
q
Suppose 0 = -9*q - 462 + 12. Let x = q - -195/4. Let h = 0 - 0. Is x < h?
True
Let a = 19 - 19. Which is bigger: -1/68 or a?
a
Let l be ((-63)/84)/((-3)/36). Let o(v) = v**2 - 1. Let h(p) = -4*p**2 - 7*p - 2. Let r(z) = h(z) + 5*o(z). Let m be r(l). Is m != 12?
True
Let d = 2 - -2. Suppose -d*s + s + 11 = -r, 9 = -3*r + s. Let k = 4 - 5. Is k <= r?
False
Let x = -192 + 262. Suppose 3*b - 18 = -n + 3*n, -2*b - 26 = 5*n. Let z be (8/(-20))/(n/x). Which is greater: z or 4?
z
Let m be (-13)/(-65) - (-213)/(-30). Which is bigger: -6 or m?
-6
Suppose -8*p + 13*p = -4*b - 2423, -1821 = 3*b + 5*p. Are -602 and b nonequal?
False
Let b = -515 - -14421/28. Let s(w) = w**2 + 4*w. Let q be s(-4). Is q less than b?
True
Suppose 3*y = 122 + 163. Let w(u) = -y*u**2 + 4*u - u**3 - 3 + 2*u + 101*u**2. Let b be w(7). Are -10 and b equal?
True
Let t = -14.07 - -14. Let m = t + 0.66. Let g = 0.19 - m. Which is smaller: -1 or g?
-1
Let o be (-24)/132 - (-25702)/154. Let r be 1996/(-12) + (-4)/6. Let n = o + r. Do n and -10/9 have different values?
True
Suppose 2*h - 3 = -3. Let k be 98/42 + h + -2. Is -8/11 greater than or equal to k?
False
Let l = -2 - -9. Suppose -3*o + l = 25. Let r(j) = j**2 + 4*j - 7. Let h be r(o). Is h equal to -2/3?
False
Suppose -14 = -z - 2*j, 0 = -z + 5*z - 4*j - 116. Suppose -u + 2 = -12. Let q be ((-10)/(-15))/(u/z). Is q smaller than 1?
False
Suppose 3*j = 5*b - 15, -b - 4*j - 20 = 2*b. Let s(u) = u**3 + 2*u**2 - u - 35. Let y be s(b). Is y smaller than -35?
False
Let a = -1.631 - -0.071. Let b = a + 1.5. Let i = -21.06 - b. Are i and -0.1 non-equal?
True
Let j be 30/6 + 5/((-35)/(-321)). Are j and 51 equal?
False
Let v = 451 - 3159/7. Which is bigger: -1317 or v?
v
Let p be ((-8)/(-6))/(22/27). Suppose -61 = -2*d - 51. Suppose -3*y + x - 2*x = -6, 5*y = d*x + 30. Is y less than p?
False
Suppose 181*f - 189*f = -152. Is f smaller than 2?
False
Let r = -302 - -361. Which is smaller: 63 or r?
r
Let o = 60 + -18. Let g = 42 - o. Is 0 at most g?
True
Let z = -211 + 210.959. Which is bigger: z or -0.1?
z
Suppose -3*d + 16 = -17. Let f(u) = -u**3 + 27*u**2 - 127*u + 29. Let y be f(21). Do d and y have the same value?
False
Suppose -c = -k - 3 - 0, 3*k = -5*c - 17. Let f be (c - 1) + (1295/260 - 3). Which is smaller: f or 1?
f
Let c = -0.426 + 264.426. Let x = c + -257. Let n = -4 + 3. Which is greater: n or x?
x
Let y(n) = -n**3 - n**2 - 6*n. Let g be y(-4). Is 74 bigger than g?
True
Let i(p) = 3*p + 53. Let x be i(-16). Let o be (-44)/5 + ((-6)/x - -2). Which is bigger: -13 or o?
o
Let n(s) = -2*s**3 - 6*s**2 + 4*s - 1. Let c be n(2). Which is bigger: c or -29?
-29
Let b = 247 - 167. Suppose -5*c = 5*q - b, -2*q + c = -q - 8. Which is smaller: 15 or q?
q
Let f = 902 - 898. Does -6/25 = f?
False
Let r(n) = -3*n**2 + 12*n. Let o(g) = g**2 - 8*g - 14. Let v be o(10). Let f be r(v). Let p = -22 - f. Is 14 equal to p?
True
Let u be 2*(-1)/(-7) + (-9584)/126. Let f = 76 + u. Suppose r = 6*r - 35. Is r greater than or equal to f?
True
Let s be ((-50)/(-3))/(-10) + 227/147. Is 1 bigger than s?
True
Let a(i) = -12*i + 2. Let f be a(-3). Let h = -35 + f. Let d(t) = -t**3 + 5*t**2 - 4*t + 3. Let l be d(h). Is l equal to 10?
False
Let b(k) = 2*k - 14. Let w be b(8). Suppose 0 = w*z + z + 12. Let r = 3 + z. Is r < -2/25?
True
Let w = 864 + -72577/84. Suppose 378*p + 3 = 375*p. Which is greater: p or w?
w
Let p be (2552/636 - 4)*-18. Is p at least as big as -1?
True
Let b be -3 + (-2)/(2/(-15)). Suppose 5*q + 3 = -b. Let l(a) = -a**2 + 18*a - 60. Let z be l(14). Which is greater: q or z?
q
Let k = -215 - -74. Let z = 135.1 + k. Let m = 1.1 - z. Which is smaller: m or -1?
-1
Let b be (-279)/99 + (-6)/33 + 0. Is -34 at most b?
True
Suppose -5*k = -37 - 13. Let d = -42 - -54. Does d = k?
False
Let i = -0.15 - -2.15. Let c = i - 1.98. Suppose r - 4*x + 7 + 4 = 0, 5*x = r + 14. Is c less than r?
True
Let r(c) = -c - 155 + 322 - 167. Suppose -5*i - 30 = -5*t, -i + t - 2 = -4*i. Let b be r(i). Is 5/6 equal to b?
False
Let g be ((-40)/(-25))/(21*2/45). Is 2 smaller than g?
False
Let x = 43 - 38. Suppose 0*p - x*p = -65. Which is smaller: -3 or p?
-3
Let f = 27 + -24. Suppose -2*h = -f*h - c + 35, -2*c - 44 = -h. Suppose -2*y - h = y - 5*q, -2*y - 5*q + 8 = 0. Is y at most -4?
True
Let v be ((-2)/(-10)*-6)/(-2). Let q = -158 - -157. Which is smaller: v or q?
q
Let n = 71 + -33. Is n at least as big as 38?
True
Let z(j) = -j**3 + 3*j**2 + j + 2. Let i be z(3). Suppose 5*w + 7*x = 2*x + 55, 0 = -5*w + x + 25. Which is smaller: i or w?
i
Let k = -3.5 + 2.9. Which is smaller: 2/7 or k?
k
Let h be (2/(-4))/((-3927)/(-306)). Is h > 0?
False
Let n be (17 - 2) + (-56)/14. Which is bigger: 106/9 or n?
106/9
Suppose 0 = -16*g - 15*g + 7099. Is g at most 230?
True
Let z = 65 + -69. Which is smaller: z or 42?
z
Let b be (12/28)/(-3) + (-12)/(-28). Is b greater than 75?
False
Let m(t) = -5*t + 32. Let f be m(-6). Let r = f - 63. Which is greater: r or -3/2?
r
Let p be 6/(-8) + 103/4. Suppose -18 = -2*m - 3*j, j + p = 5*m - 20. Let r be 1/1 - 6/m. Are r and -2/3 nonequal?
True
Suppose -3*m - 57 = -0*m. Let u be (-96 - -93)/((-6)/(-40)). Do m and u have different values?
True
Suppose c + 2*c - 495 = 0. Suppose 4*n = 5*i - c, 7*n - 165 = -5*i + 2*n. Suppose m + m + i = f, m + f = -15. Is m <= -17?
False
Suppose -5*i - 3*j - 5 + 3 = 0, 0 = -2*i - j - 1. Let k be 3/1 + i - 2. Is k smaller than 2/19?
True
Let a be 4/10 + 14/(-105)*-42. Which is smaller: a or 7?
a
Let p = -6.8 + 6. Let c = 1.3 + -0.1. Let b = p - c. Are -1.1 and b equal?
False
Let w = -0.371 + 3.971. Is -3 greater than w?
False
Suppose 588*g = 589*g - 114. Which is bigger: 112 or g?
g
Let k = 6.4 + -8.4. Is k <= -1.6?
True
Suppose -k = -6*m + 9*m + 112, 3*m = 2*k + 224. Let f be 9/15 + k/(-5). Is -1/4 > f?
False
Let i be 2/26 - 42/39. Is i at most -3/769?
True
Let v(m) = -5*m + 134. Let w be v(32). Is -35 at least as big as w?
False
Let w(v) = -v**2 + 31*v + 9. Let b be w(31). Which is bigger: -20 or b?
b
Let o be (4/(-8))/(24/(-16)). Let a = -13 + 14. Is a != o?
True
Let o be (-8)/(71 + (-23 + -1)/(-6)). Which is greater: o or -1?
o
Let c be 49*(-3 + (-234)/(-63)). Which is bigger: c or 44?
44
Suppose 3682 - 812 = -5*k. Let a be (-1)/5 + k/(-2770). Is a at most as big as -1?
False
Let q = 2/107 - -196/963. Which is bigger: q or 1?
1
Let q be 72/(-2)*(-49)/399. Let h = q - 599/114. Is 0 greater than h?
True
Suppose 33*n - 39*n - 936 = 0. Is n greater than or equal to -156?
True
Let x = 145 + -86. Which is greater: x or 58?
x
Let o be 0/(-3 - -4 - 2). Let z be 24530/(-52) + (-3)/6. Let s = z + 472. Is s at least as big as o?
False
Let f = -256.062 - -2.062. Is f equal to 0.1?
False
Suppose 11*x = -17*x + 168. Let q(w) = 2*w**2 + w - 2. Let p be q(-2). Is p != x?
True
Let o = 61 - 59. Suppose 0 = o*q - 3*q - 6. Is -12 not equal to q?
True
Let j = 1.896 - 3.896. Which is smaller: j 