False
Let a be 1/(-4) - 357/12. Let d = a - -31. Is -2/7 less than d?
True
Suppose 5*s - 71 = -5*d + 34, 4*d - 6 = -s. Is 35 less than s?
False
Let w = -1/233 - -524/67803. Which is smaller: w or 0?
0
Let a = 0.44 - 0.3. Let z = 0.24 - 0.2. Let m = z - a. Is 0.6 equal to m?
False
Let h(t) = -2*t**3 - t**2 + 4*t - 5. Let x be h(-3). Let w be (7/x)/((-101)/(-8)). Is -1 less than w?
True
Suppose x + n + 0*n = 4, -3*x - 5*n = -10. Suppose -i = -x*p + 5, 2*i + 3*p + 1 = 4. Let w = 1447 - 15909/11. Which is greater: i or w?
w
Let t = 1251.4 + -1251. Which is bigger: 132 or t?
132
Let q = -87 - -85. Let u(j) = j**2 + 4*j + 3. Let d be u(q). Which is smaller: d or -2/159?
d
Let k = -1942/9 + 216. Are k and -22 equal?
False
Let x(m) = 3*m**3 - 18*m**2 + 17*m + 1. Let r be x(5). Is r < -1/4?
False
Let l(z) = 6*z + 86. Let s be l(-14). Let j(i) = -i**3 - 5*i**2 + 7*i + 8. Let d be j(-6). Do d and s have the same value?
True
Suppose 6*w = w - 5. Let l(p) = p**2 - 41*p + 310. Let u be l(10). Which is greater: u or w?
u
Let g be 5/(-3)*7*(-3)/(-105). Let c = 0.09 - 2.49. Which is smaller: g or c?
c
Let f = -45 - 63.8. Let j = -109 - f. Is -2/7 equal to j?
False
Let u be -27 - (1 + -1 - 1). Let h = 36 + u. Let k be (-183)/(-21) - 6/(-21). Is k at most h?
True
Suppose 3*v + 4*v = 28. Suppose 2*y - 4*y + 4*b = 66, y + 37 = v*b. Let d = y - -31. Is d smaller than 0?
False
Let w = 70357/11 - 6419. Is -23 less than or equal to w?
True
Let c = -0.9 - -1.24. Let b = c - 0.38. Are b and -2/7 nonequal?
True
Let i = -392 + 389.42. Is 1 not equal to i?
True
Suppose w - 837 = 10*w. Let p = w + 73. Which is smaller: p or -14?
p
Let g = 1 - 1.1. Let r be 11 - (4 + 0/(-1)). Suppose -5*y - 10 = -r*y. Is y greater than or equal to g?
True
Suppose -t + 5*t = -q - 622, -4*q - t - 2443 = 0. Let h be 4 - q/(-35) - 1*-2. Does -11 = h?
False
Suppose 0*t = -r + 4*t - 22, r - 5*t + 27 = 0. Let l be (-3)/(-495)*(-1345)/r. Let m = -19/6 + l. Is m >= 0?
True
Let v be -1 - (-3 - 1) - 1. Suppose -2*u + v*h - 18 = 0, 5 = u + h + 14. Let k be ((-3)/u)/(2/36). Is 6 smaller than k?
False
Let n be (-152)/(-42)*3 - (-2)/14. Let t be (-3 - 0) + 1 + 36. Let u = 47 - t. Which is greater: n or u?
u
Let s be (-2)/((7/14)/(1/(-2))). Let y be (-5)/(-10)*(0 - s). Let u be -1 + 0 - (-3 - -2). Is y at most as big as u?
True
Let i(s) = s**3 - 33*s**2 + s - 19. Let b be i(33). Which is smaller: 131/9 or b?
b
Let c(z) = -z**3 - 9*z**2 - 11*z + 8. Let o be c(-8). Let p = o - 31. Which is smaller: 16/9 or p?
p
Suppose 47*a = 45*a + 24. Let k be (a/(-45))/1 - (-2)/3. Is k <= 22?
True
Let j = 49 + -49. Let m = 0.18 - 2.48. Are m and j nonequal?
True
Let x(b) = 11*b**3 + b**2. Let o be x(1). Let q = 15 - o. Suppose -9 + q = -p. Are 4 and p unequal?
True
Let r = 168 + -167.8. Let s = 2 - 4.2. Let t = s + 1. Which is smaller: t or r?
t
Suppose -14*t = -6*t - 208. Suppose 4*n + 2*b = -t, 0 = 2*n - 5*n + b - 22. Is n bigger than -9?
True
Let v be 18/(-12) + (-60)/(-8). Let a = 399/2 - 195. Is a >= v?
False
Let b = 0.135 + -0.135. Which is smaller: 40 or b?
b
Let p(q) = q**2 + 13*q - 5. Let r be p(6). Suppose 0 = -6*k + 13 - r. Which is smaller: -17 or k?
-17
Let o = -228 - -232. Which is smaller: o or 3.8?
3.8
Let z = -215 + 212. Which is smaller: -26/7 or z?
-26/7
Let z = -54 - 22. Let r be (-198)/7 + (z/28 - -3). Which is greater: r or -27?
-27
Let b be (1/(-27))/(10/(-12)) - 0. Let y(j) = -j**2 + 24*j - 142. Let r be y(11). Are b and r unequal?
True
Suppose -3*i + 11 = -5*h, 4*h = 9 - 13. Is i at least as big as -2/15?
True
Let r = -1066 + 842. Is -224 greater than or equal to r?
True
Let q be 7/2*11*(-30)/1155. Does 1/1476 = q?
False
Let s be ((-2)/(-4))/((-4)/8). Let j be ((-32)/(-3480))/((-2)/3*1). Which is bigger: j or s?
j
Let j be 14/49 + 325/(-182). Is j at least as big as 3/10?
False
Let v = -1 + -2. Let y be (-2)/(-6)*(-2 - 93/12). Let i = y + 3/4. Is v < i?
True
Let j be (-7)/(-21)*-15 - -6. Is -2/775 less than or equal to j?
True
Let m = -0.4 - -0.48. Let l = 0.2 + -0.18. Let z = l - m. Which is bigger: z or 0.1?
0.1
Let y(p) = -23*p**2 + 4*p - 2. Let c be y(3). Let k = -981/5 - c. Let s(u) = -u**3 - 4*u**2 - 4*u - 16. Let w be s(-4). Which is smaller: w or k?
w
Let j = -2285 + 2412. Are j and 4 unequal?
True
Suppose -111 + 99 = 3*q. Is q at least 18?
False
Suppose -3*q - 2152 = -4*c, 4*q - 1076 = -2*c + 2*q. Is c >= 538?
True
Let g(r) = -r**2 + 12*r + 7. Suppose 0 = i - 4*j - 9, -4*i = 2*j + 12 - 66. Let y be g(i). Is y at least as big as -21/4?
False
Let r be ((-29)/4)/(-5 - 295/(-60)). Let i = -68 + r. Let v(s) = -2*s + 7. Let d be v(-6). Are d and i equal?
True
Suppose 0*i - 4*d - 6 = -5*i, 0 = -4*d + 4. Let s(z) = -z + 2. Let y be s(2). Let u = 1 + y. Is u >= i?
False
Let a = -15.2 + 2.2. Let j = -2 - a. Let y = -40 + 41. Which is bigger: y or j?
j
Let c be -1 + (-10)/(-28)*(14 - 12). Which is greater: c or -1?
c
Suppose 6*j - 4*j + 20 = -2*n, -40 = 5*n - 5*j. Let x = 5 + n. Which is bigger: -6 or x?
x
Suppose -m = -0*x - 2*x + 32, -3*m - 52 = 5*x. Which is greater: -28 or m?
m
Let b be (-60)/36 + (-338)/(-138). Which is smaller: b or 2?
b
Let v be 231/9 + (-4)/6. Let j = -36 + v. Let s = 11 + j. Is -2 <= s?
True
Let u = 26 - 15. Let o be (-1 - 0)/(1/u). Let x = -4 - o. Which is smaller: x or 6?
6
Suppose -3*r = -5*z - 5, 4*z + 3 = 3*z + r. Let p be 90/25*15/6. Let o be p*((-15)/9 + 2). Is o smaller than z?
False
Suppose -3*c + 7 = -2. Let u = -0.281 - 167.719. Let y = u - -170. Is c bigger than y?
True
Let g(u) = -u + 4. Let h be g(3). Let f be (-4 + h - -4) + 54. Suppose -3*r + 8*r - f = 0. Are 12 and r equal?
False
Let c = 972 + -13609/14. Which is smaller: c or 1?
c
Let s(w) = w - 18. Let r be s(4). Is -15 smaller than r?
True
Let o = 15.8 - 21.8. Let s(h) = -2*h - 2. Let u be s(-2). Which is greater: u or o?
u
Let l be -3*(-8 - (-7 - -3)). Let w = 18 - l. Let i(z) = z**2 - 4*z - 12. Let d be i(w). Is -0.1 less than d?
True
Let c(m) = -6 + 25*m**2 - 11*m**2 + 4 - m**3 + 15*m. Let l be c(15). Which is greater: l or -4/7?
-4/7
Let h be (-11970)/49 + ((-4)/(-14))/1. Does -244 = h?
True
Let i = 5 - 11. Let x be ((-4)/i)/(16/(-6)). Which is smaller: -5/3 or x?
-5/3
Suppose 4*l + 672 = 6*l. Let g be (-3)/((-7)/(l/(-9))). Do g and -16 have different values?
False
Suppose -104 = -4*p - 36. Let g be (p - 18)/((-2)/(-6)). Let q = 10 + g. Is -0.2 bigger than q?
False
Suppose -5*b - 5*o = 15, 3*b + 0 = -o - 3. Let c be 1196/(-5) + 2 + b. Let g = c + 239. Is g greater than or equal to 3?
False
Let j = 19 + -6. Let o = 252 + -248. Is j bigger than o?
True
Let o(y) = -y**2 - 18*y + 142. Let h be o(6). Which is greater: h or -33/19?
-33/19
Let m(p) = p**3 + 4*p**2 + 3*p + 1. Let l be m(-3). Let o be -4*((-6)/(-8) - l). Let w(c) = c**2 - 18*c - 39. Let i be w(20). Is i greater than or equal to o?
True
Let f be 10/15 - (-69)/(-36). Let z be (3 - 1 - 0) + 14. Suppose -20 = -5*y, -4*d + y - z = -y. Is d > f?
False
Let j be 4/(-2) - (84 - 1). Is -85 at most j?
True
Let u(q) = 2*q. Suppose 0 = 7*j - 4*j + 21. Let d be u(j). Is d less than -13?
True
Let z = -271 - -277.85. Let j = -0.15 - z. Let o = j + 6.8. Which is greater: 0.05 or o?
0.05
Let v be (-334)/875 + ((-12)/(-42) - 0). Is v != -1?
True
Let d = -5694463/843 - -6755. Which is smaller: d or 0.2?
d
Let k = 42 + -45. Let f be (162/(-8))/(k/(-8)). Is f at most 0.1?
True
Suppose 7*b - 74 = 4*b - o, -130 = -5*b + 5*o. Let s = 24 - b. Let m = -135/2 - -70. Which is bigger: m or s?
m
Suppose 4*q + 3*b - 46 = -q, 5*b = -q + 18. Let v(w) = 38*w**3 + 3 + 9*w**2 - 21*w**3 - 8*w - 18*w**3. Let x be v(q). Is 4 bigger than x?
True
Suppose 2*h = -g - 2, -4*h = -3*g + 3 - 9. Is h greater than -33/34?
True
Let o = -1.04 - 32.96. Let d = 30 + o. Which is smaller: d or -1/2?
d
Suppose 0*r + 4*r + 4 = 0. Let n = 105/4 + -2189/84. Is r at most n?
True
Let q = -5/1748 - 1048735/22724. Are q and -47 nonequal?
True
Let o be ((-1)/2)/((-11)/(-3080)). Which is smaller: o or -139?
o
Let u(m) = -m**3 + m**2 + m - 1. Let h be u(-3). Suppose 3*c - h = -4*s, -2*c + 2*s = -6*c + 26. Suppose -3*i + 7*i + c = 0. Which is greater: i or -9/4?
i
Suppose 4*j + p = 2*p + 37, 59 = 5*j + 3*p. Let b be j/15 + 4/(-5). Which is bigger: 0.1 or b?
0.1
Let v(r) = -2*r + 3. Let y(z) = z**3 + 4*z**