f -b**5/20 - 11*b**4/12 + 5*b**3/3 - 23*b**2/2 + 16*b. Let q be t(-12). Which is smaller: 0 or q?
0
Let y(j) = j**2 + 11*j + 23. Let n be y(-8). Is n bigger than -5/63?
False
Suppose 0 = -3*q + 4*k - 1173 - 234, -q - 2*k = 469. Which is greater: q or -470?
q
Let t = 171 + -170. Let k = 1.02 + -0.02. Is k at least as big as t?
True
Let i = 426 + -372. Is 54 greater than or equal to i?
True
Let o = -143 - -2. Is o at most as big as -139?
True
Suppose -3*y + 4*h - 7 - 7 = 0, 5*h = 5*y + 30. Let o be (-5 - -7) + y/(-1). Is 13 bigger than o?
True
Let v = 14 - 12. Suppose 12 = v*f - 4*b, -7*f + 2*f + 5*b = -20. Let g be ((-88)/40)/(f/5). Is g not equal to -7?
True
Let q = 30 + -30. Suppose -5*o - p + 0*p + 34 = q, 0 = 2*o - 5*p + 8. Is 4 less than o?
True
Let x = 5 - -12. Let j = 11 - x. Suppose -2*l = 4*k + 12, 56*l - 11 = 3*k + 57*l. Is k >= j?
True
Suppose 4*a - 373 + 41 = 0. Suppose -n + a = 23. Let m be (-4)/(-18) - n/27. Is m > -1?
False
Let n = 40 + -26. Suppose -10 = -2*g, -n = -5*m + 2*m - 4*g. Let x be (1/(-9))/(m/6). Is x less than or equal to 1/5?
False
Let o = 2 - 2.1. Let d = -0.2 - o. Let m(y) = 5*y**2 - 23*y + 23. Let s be m(2). Which is smaller: s or d?
s
Let z = 3 - 4. Let n = -0.76 - -108.76. Let l = n + -111. Which is greater: z or l?
z
Let i = -31 - -45. Let g(l) = l**3 - 13*l**2 - 15*l + 14. Let d be g(i). Is d less than -11/12?
False
Let w = 30 + -93. Let p = w + 62. Is 1/26 greater than or equal to p?
True
Suppose -q - 2*q = -6. Let j = q + -1. Let r = -0.885 + 0.685. Is r <= j?
True
Let p(d) = -d**3 + 7*d**2 - 10*d - 11. Let u be p(6). Let n = 12 + u. Which is smaller: -24 or n?
-24
Let t(o) be the third derivative of o**5/60 - o**4/3 + o**3/3 + 5*o**2. Let i be t(8). Suppose 3 = w + i*w. Which is greater: w or -0.07?
w
Let w be (57/18 + -3)*240/(-21). Let s = 5/21 + w. Is s at most -2?
False
Let h(k) = -k**2 + 7*k + 12. Let i be h(8). Let w(z) = 2*z**2 - 32*z + 11. Let o be w(16). Which is bigger: o or i?
o
Let u = -36 + 23. Suppose -221 = 4*l - 1021. Let s be (-4)/6 - l/(-210). Which is smaller: s or u?
u
Let v be 4/8 + (-1)/((-6)/297). Let z = 40 - v. Is z at most as big as -9?
True
Let w be (-6 + 2)/28*(2 + -9). Which is smaller: -1/20 or w?
-1/20
Let p be (3/2 + 0)/3. Let q(k) = -50*k**2 + 4*k - 46*k**2 + 97*k**2 + 6. Let g be q(-2). Which is greater: g or p?
g
Let r = 3508/5 - 705. Is r != -4?
True
Suppose -2*w + 0 - 8 = 0. Let s = w + 7. Let l(f) = -13*f + 94. Let t be l(7). Is s < t?
False
Let d = -161 - -135. Which is smaller: -1 or d?
d
Suppose -33*o + 61*o = 9296. Which is greater: o or 331?
o
Let i(k) = -k**2 + 7*k + 6. Let l be i(-6). Let r be 2/21*l/(-16). Let b = -13.1 - -19.1. Are r and b equal?
False
Let b = -133 - -127. Are -4 and b equal?
False
Let c be ((-110)/15)/(-11)*-42. Which is bigger: -138/5 or c?
-138/5
Let v = 475961/4075 + -1/4075. Is v > 116?
True
Let a = 2.87 + -2.97. Which is smaller: 2/193 or a?
a
Let i be ((-40)/14 - -2)*-21. Suppose -7 + 187 = 10*s. Let c = s - i. Which is smaller: 2/7 or c?
c
Let s(y) = -y**2 - 11*y + 7. Let k be s(-11). Let n = k + -5. Suppose -3*g + g + n = 0. Which is smaller: g or -3/10?
-3/10
Let l be (42/511)/(1*-2). Let j be (2 - (-40)/(-16))*2. Which is bigger: l or j?
l
Suppose 0 = 2*a + 5 - 25. Suppose -a = d - 25. Let s = d - 12. Which is smaller: 0 or s?
0
Let f be 4/6 - (-231)/(-63). Let w be 21*f/(-36)*2/7. Which is bigger: 0.2 or w?
w
Let g = 675 - 674. Which is greater: g or -3/23?
g
Let b = 6 - 4. Let g = -394.8 - -392.8. Which is greater: g or b?
b
Suppose 0 = z + 4*v + 4, 0 = -z + 2*v - 4. Let w be (z - -5)/((-2)/180). Let x be (3/w)/((-12)/10). Which is smaller: x or -1?
-1
Let r = -66 - -66.036. Let l = r + 1.964. Is 1/4 at least l?
False
Let u = 15 - 6. Let v = 3216 + -3207. Is u not equal to v?
False
Let n be ((-36)/(-30))/((-3)/(-10)). Let g be 3/n - (-1884)/(-2640). Is g equal to 1?
False
Let a(q) = 33*q**2 + 15*q - 7. Let y be a(-8). Let n = -232247/117 + y. Is 1 at least as big as n?
True
Suppose -40*m + 7*m = 20625. Is -625 less than m?
False
Suppose 0 = -15*z + 19*z + 40. Is z at least as big as 6?
False
Let k = -27 + 30. Suppose 9*n + 60 = k*n. Is n > -11?
True
Let j be (-6 + (-3408)/(-18))*(-8)/(-20). Which is smaller: 73 or j?
73
Let g be ((-9)/24)/((-24)/(-16)). Is -0.155 at least as big as g?
True
Let k = -0.8 - -0.9. Let j be (12 - 10)*(-5 + 8 - -3). Which is bigger: j or k?
j
Suppose 5*m = -5*o + o - 151, 3*o + 4*m = -114. Suppose -4*l - 116 = -5*k + 25, -l - 32 = 2*k. Does l = o?
True
Suppose -d = f + 19, -2*d - 10*f = -6*f + 30. Is -39 bigger than d?
False
Let c = 952 - 1545. Do -594 and c have the same value?
False
Let h = 2048/13143 + -2/1011. Is h at least -2/27?
True
Let o = -26 - -25. Let p be 0 + 57/(-9) + o. Is -8 bigger than p?
False
Let p = 697044/1235 - 2822/5. Do p and 3 have different values?
True
Let b = -9 + 9.07. Let d = -4 + 3.7. Is d at least as big as b?
False
Let p be (5/(-6) + 3/(-18))/(-4). Which is bigger: p or -5/3?
p
Let x = -4148/3 + 1382. Is x not equal to -18?
True
Suppose -4*b + 12 = -3*p, 9 = -2*p + 2*b + 1. Which is smaller: p or 3?
p
Let j = 1255 - 5193/4. Which is smaller: -0.3 or j?
j
Let y = 3 + -3. Suppose 6*k - 42 = 9*k. Let o be (-2 + (-24)/k)*(-14)/10. Which is greater: y or o?
o
Let k be ((-20)/(-6))/(2*-2). Let v be 5/(5/(-3)) + 0. Let m be (v - -3)/(-2 + 0). Is m less than k?
False
Suppose 3*p - p = -2*j - 4, -34 = -3*p + 5*j. Suppose -2*l + 39 = p*a, a = -3*l + 6*a + 11. Suppose 0 = 4*k - 3*k - 13. Is l equal to k?
False
Suppose 3*y - 5*y = 2*v - 26, y - v = 3. Let b(x) = x**3 - 7*x**2 - 8*x + 10. Let g be b(y). Let j be 8/20*(-5)/g. Which is smaller: j or 0.05?
j
Let o = 2.9 + -3. Let w = 106.416 - 1.316. Let s = 105 - w. Are s and o unequal?
False
Suppose 4*x + 2*l + 10 = -0*l, 4*x - 4*l - 20 = 0. Is x >= 3/364?
False
Suppose a + 2*a = 33. Suppose 2*i + 3*i - 65 = 0. Is i at least a?
True
Let c(u) = 2*u**3 - 5*u**2 - 5*u + 4. Let w be c(3). Do -17 and w have the same value?
False
Let q(a) = a - 4. Let m be q(-15). Is -1 != m?
True
Let o = 70/3 - 122/5. Let b = 1674 + -33457/20. Let m = b + o. Is 0 >= m?
False
Let d = -2.4 + 2.72. Let r = -0.05 - d. Let m = r - -8.37. Does -0.1 = m?
False
Let s(v) = -v**3 + 4*v**2 - v. Let a be s(2). Suppose 5*q + a = -19. Let n(k) = -k**3 + 15*k**2 + 36*k - 39. Let g be n(17). Is g less than or equal to q?
True
Let b = -1020 + 970. Is b at least -53?
True
Let x(u) = -6*u**2 + 2*u + 5*u**2 + 9*u**3 - 8*u**3 + 4. Let j be x(-3). Let i = 153/4 + j. Which is smaller: 0.3 or i?
i
Let p(c) = -c - 6. Let k be p(-9). Suppose 2*x - x = -3*s + 25, -k*x - 5 = -s. Let w be s/6*(-15)/25. Which is bigger: w or 0?
0
Suppose -8*h = -13*h - 55. Let g(a) = -a**2 - 12*a + 10. Let w be g(h). Which is smaller: 20 or w?
20
Let d = -27 - -14. Let c(p) = p**2. Let m(g) = 2*g**2 + 14*g + 11. Let w(s) = c(s) - m(s). Let o be w(d). Is o bigger than -2?
True
Suppose 3 = -0*p - p. Let h be ((-133)/(-1463))/((-8)/(-22)). Is h greater than or equal to p?
True
Let z = -858 + 1018. Do 160 and z have the same value?
True
Let w(c) = -24*c - 16. Let m be w(8). Is m less than -209?
False
Let r(a) = a**2 - 17*a + 33. Let s be r(11). Which is smaller: 1 or s?
s
Suppose 0 = 6*f + 9 - 45. Suppose -h + 3 = y, -2*y + f*y = -h + 6. Is y smaller than 25?
True
Let m(w) = -w**3 - 20*w**2 - 3*w + 1. Let g be m(-20). Which is bigger: g or 2?
g
Suppose 2*g - 3*m = -73, g + 16 + 17 = 5*m. Which is smaller: -34 or g?
g
Suppose 125 = -5*y - 4*k, 0 = 5*y + 3*k - k + 125. Let b = -821 - -780. Let q = y - b. Which is smaller: 15 or q?
15
Suppose -232 - 376 = -38*s. Are s and 7 equal?
False
Let v be ((-553)/(-2))/((-46)/4 + 11). Which is bigger: v or -554?
v
Let q be (-4)/(-10) + (-215)/(-25). Let k be 10/45 - 1388/q. Let v be 7*(-11)/(k/(-24)). Is v smaller than -11?
True
Suppose -3*k - 4*i = 2*k - 22, 9 = 3*i. Let y = -1 + k. Suppose 3 = -c, c + y = -5*n + 3. Is 3/2 less than or equal to n?
False
Let p be 5/8*(-3006)/(-45)*-2. Which is smaller: -84 or p?
-84
Suppose -5*p = -3*x, 6*p = 2*p + 3*x - 3. Let m be 4/3 + 2/p. Let d be 10/(-35)*(-5)/m. Do d and 2 have the same value?
False
Let t = -0.2 + 0.1. Let g = -0.336 - 11.664. Which is smaller: g or t?
g
Let h = 438.062 - 438. Is h != 4?
True
Let s = 292 - 2