**3 + 11*z**2 - 12*z - 9. Let y be j(9). Let p = y + -29. Is p less than or equal to 15?
False
Let z be 90/3 - (-4 + 3 + -5). Is z > 37?
False
Let o = -7417 - -11387. Let k = o + -16025/4. Let h = k + 69/2. Is -3 at least h?
False
Let x = 3034 - 3027. Let t be -2 - (-1 + 0) - 0. Let r be (-8)/(-1) + (-1 - t). Which is smaller: r or x?
x
Let t = 0.2 + -0.1. Let v = 0.036 - 0.306. Let n = -0.17 - v. Is n at least t?
True
Let c be (-140)/(((-1)/(-1))/((-2)/2)). Which is greater: 138 or c?
c
Let y = 23 + -68. Let x be (-6)/y - (-686)/30. Is 24 bigger than x?
True
Suppose 4*h - 3*h + 294 = -4*t, -5*t + 3*h = 376. Is -75 > t?
False
Let v(m) be the second derivative of m**5/20 + m**4/3 + m**3/2 + 2*m**2 + 2*m. Let s be v(-3). Let c be (12/30)/(s/10). Is c bigger than 1/3?
True
Let m = 4 - 10. Suppose 2*n - 3*a = 14, -3*n - 2*a + 0*a + 8 = 0. Suppose -5*q = -n*g + 27, 4*q - g + 3 + 23 = 0. Which is smaller: m or q?
q
Let s(f) = f**2 - 9*f - 8. Let o(q) = -q - 1. Let w(r) = 4*o(r) - s(r). Suppose -20 = -5*k + k. Let n be w(k). Which is smaller: -1/3 or n?
-1/3
Let l be (-222)/(-9) + ((-10)/6 - -1). Let p be (4/(-57))/((-16)/l). Which is bigger: -1 or p?
p
Let b(h) = h**2 + 19*h - 94. Let s be b(5). Which is smaller: 24 or s?
24
Let p = -33.12 + 33. Let k = 0.12 + p. Which is bigger: -15/4 or k?
k
Let l = 55 - 19. Let w = l + -35. Which is greater: w or -2/5?
w
Let g = 73.023 - 0.023. Let f = 79.1 - g. Let m = f - 6. Which is greater: m or -1?
m
Let c(q) = -10 + 0*q - 7 - 9*q + 7*q. Let v be c(-8). Let j be 14/10 - 2/5. Is j bigger than v?
True
Let m be 1 + ((-72)/(-192))/(4/(-10)). Let d be 6/(-14) - 12/21. Which is greater: m or d?
m
Let s = -8.55 + -12.7. Let l = 0.25 + s. Let r = 2 + l. Which is smaller: r or 1?
r
Let u(i) = -2*i**3 + 112*i**2 - 8. Let d be u(56). Which is bigger: -100/11 or d?
d
Let h(o) = o**3 + 21*o**2 + 28*o + 367. Let b be h(-19). Which is bigger: 1115/2 or b?
1115/2
Let r(j) = -9*j + 35. Let z = -69 - -74. Let s be r(z). Let g = 293/22 + -27/2. Is s at least as big as g?
False
Let n = 292 - 293. Which is smaller: n or 3/97?
n
Let p be 8/10*1940/(-3201). Is -1 greater than or equal to p?
False
Let f(g) = 5*g - 12. Let w be f(6). Suppose -6*s - w = -3*s. Let v be (1/4)/(s/(-24)). Is v greater than or equal to -2?
True
Let v = 21 + -18. Suppose -5*s - 3*a - 4 = 0, -v*s - 2*a = s + 2. Which is smaller: s or -0.17?
-0.17
Let p = 15 - 11. Suppose -i = -4*s + 2, -p = 3*s + 5. Is -14 >= i?
True
Suppose x + 5*t - 15 = 0, -4*t + 6 = 4*x - 2*t. Suppose x = 2*z - 17 - 41. Are z and 27 unequal?
True
Let f be ((-13)/18 - (-24)/108)*2. Let j be f - 2 - (-8 + (-6 - -8)). Which is smaller: j or 22/7?
j
Suppose -19 = 2*g + 5*x, -x + 46 - 111 = 4*g. Which is smaller: g or -158/9?
-158/9
Let n be (4/6)/(364/(-105))*6. Suppose 0 = -4*c - 6 - 2. Are n and c unequal?
True
Let p(o) = -8*o**3 - 2*o**2 - 1. Let j be p(-1). Suppose j*y - 4*w - 200 = -9*w, -w = 0. Is y >= 40?
True
Let i = -1 + 7. Let s = -2 + i. Suppose a + s*v - 1 - 5 = 0, 4*a + 4*v = -12. Are -6 and a unequal?
False
Let u(y) = y. Suppose -5*f = q, 5*q - f = 2*f. Let d be u(q). Suppose d = -4*b + 5*b. Is b at most as big as 0?
True
Suppose -b + 275 = -5*c, -4*b + b - 2*c = -893. Which is smaller: b or 294?
294
Let u(m) = m**2 - 2. Let n be u(2). Suppose 3*y + n*z = z + 10, y = -z + 6. Which is smaller: 9/8 or y?
9/8
Suppose 5*z - 15 + 0 = 0. Let t be ((-10)/z)/((-4)/(-6)). Let x = 24/5 + t. Which is smaller: -1 or x?
-1
Let d = 51 + -52.33. Let v = d - -1.5. Let t = v + -0.07. Is t != -3/8?
True
Let f = -2943 + 3181. Is 241 at most as big as f?
False
Let p = 12 + -2. Let l = 21 - p. Suppose -3*z - 1 = l. Is z < -5?
False
Suppose 2*i + 0*i = -10. Let b = 7 + -4. Let k be (3/1)/b - 3. Which is smaller: k or i?
i
Suppose 8*p + 373 = -27. Let k = p + 51. Which is smaller: k or 2/47?
2/47
Let s = 618933/17 - 36435. Let t = 18976/697 + s. Which is smaller: t or 1?
t
Let f be ((-3)/3 - -1)/1. Suppose -k - 16 = g + 3*g, f = 5*k - 5*g - 20. Let l = 139/135 - -10/27. Which is smaller: k or l?
k
Let j be ((-9)/6)/(6/(-8)). Let t be 2607/30 - 1/j. Let f = t + -86. Which is bigger: f or 1?
1
Let m = -30.079 + -0.121. Let x = m + 30. Which is smaller: 5/7 or x?
x
Let h(d) = -d. Let v be h(-2). Let i(m) = m - 3. Let s be i(v). Let w be -4*(-6)/(-81)*(-9)/(-6). Which is greater: s or w?
w
Suppose -2*c = -4*c - 2. Suppose u = -u - 5*k - 20, u + 4*k = -16. Do u and c have different values?
True
Suppose -5*d - 15 = 0, 4*w + 0*w + 2*d - 10 = 0. Let o(s) = s**3 + 15*s**2 - 14*s + 38. Let k be o(-16). Are w and k unequal?
True
Let w(i) = -i**3 + 5*i**2 + 7*i - 26. Let p be w(5). Which is bigger: p or -19?
p
Let m(h) = 3*h - 4. Let j be m(2). Let a = j - 3. Let c be (1 + 1)*(-4 + 6)/16. Is c equal to a?
False
Let i be (16/(-21))/(1 + 413/(-411)). Let w = i - 156. Which is greater: 0 or w?
w
Let g = 7.27 + -1.27. Is g at least as big as 0?
True
Let z(k) = k**3 + k**2 - k - 1. Let w(t) = -4*t**3 - 10*t**2 + 8*t + 4. Let x(h) = -w(h) - 5*z(h). Let u be x(4). Are u and 4 nonequal?
True
Let i be 4/(-5)*1*5. Let t be (i/(-5))/(4/100). Which is smaller: t or 19?
19
Let y(z) = -2*z**2 + 21*z - 3. Let p be y(10). Suppose -2*u + 4 + 2 = 2*v, -3*v = -3*u - 9. Which is smaller: p or v?
v
Let k = 0.2057 - 0.0057. Which is greater: k or -16?
k
Suppose 0 = -32*p + 31*p - 20. Let b be 3/2 - (-90)/p. Do b and -1 have the same value?
False
Let c = -14.962 + 15. Which is bigger: 1 or c?
1
Suppose 176*i - 173*i - 15 = 0. Which is smaller: i or 66/13?
i
Let h = -1156 - -1141. Is -96/7 smaller than h?
False
Let w be ((-9)/12)/((-1)/4). Let o(l) = -l**2 + 3*l + 13. Let p be o(7). Let t = p - w. Which is smaller: t or -17?
t
Suppose 56 + 4 = -12*q. Let z(h) = h**3 + 4*h**2 - 2*h + 12. Let a be z(q). Is -5 <= a?
True
Suppose -16 = -2*k - n, -k + 5*n - 30 = -6*k. Let w be (26/(-39))/(k/(-18)). Which is greater: w or 0?
w
Let u = -121 + 66. Let k = 54.87 + u. Is k >= 0.1?
False
Let o = 1698/299 + -120/23. Let b be (-5 - -1) + -2 + (-3 - -10). Is o not equal to b?
True
Let i = -5.9 + 1.6. Let l = 4.4 + i. Do l and -19 have the same value?
False
Let s = -40.9 - -39. Let g = s + 2. Let y = -3/1018 - 2027/3054. Which is smaller: y or g?
y
Suppose 18*m = 17*m + 10. Which is greater: m or 9?
m
Let i(j) = -j**3 - 17*j**2 + 2. Let y be i(-17). Suppose -3 = -4*t - b, 0*t + y = 5*t + 3*b. Which is bigger: -2/91 or t?
t
Let v = -3.63 - -3.63. Let n = 5.6 - 3.9. Which is bigger: v or n?
n
Let m be 10/55 + 2205/33. Which is greater: m or -1?
m
Let d(i) = i**3 - i**2 + 4*i - 3. Let x be d(2). Let q(r) be the second derivative of 2*r**5/5 + r**4/12 - r**3/6 - r. Let h be q(1). Which is greater: h or x?
x
Let j = 63 - 133. Let s = j + 68. Are s and 3 equal?
False
Let u be 624/1683 - 82/(-1353). Which is bigger: -1 or u?
u
Let r = 30 - 114. Let a = r + 78. Which is greater: 2 or a?
2
Let o = 10 + 1. Let q = o - 11. Let b = q + 0. Is 3 greater than b?
True
Let a = 0 - -1. Suppose -5*b - 106 = 4. Let c = b - -26. Which is bigger: c or a?
c
Let v be 2/(-20) - (-2)/(-4). Which is greater: -110/7 or v?
v
Suppose -s - 4 + 25 = 0. Let k = s - 8. Which is smaller: 14 or k?
k
Let v = -4.3 + 2. Let q = v - 1.7. Let h = q - -3.8. Which is smaller: h or -2/9?
-2/9
Suppose 0 = 7*u + 6*u + 195. Which is bigger: u or -14?
-14
Let o = 58 - 58.29. Let s = o - -0.07. Let d = s - -0.22. Is 5 > d?
True
Let n = 8 - 5. Let w be 11 - 156*(-8)/(-128). Which is smaller: w or n?
w
Suppose 0*a - 5*h = a - 16, 2*a - 72 = -2*h. Let t = 33 - a. Which is smaller: 0 or t?
t
Let x be (-2512)/(-240) - (-2)/(-3). Let f be (2/5*-10)/(6/(-15)). Which is bigger: x or f?
f
Let a be (-2 - 72/(-30))*15/12. Let d = -11383/18 + 632. Let m = a + d. Is 0 greater than or equal to m?
False
Suppose 57*u = 17*u + 40. Is -2/225 greater than u?
False
Let d(j) = j**3 - j**2 + j - 1. Let g be d(1). Is g less than 40?
True
Let f(q) = -9*q**2 + 3*q + 27. Let n(a) = -5*a**2 + a + 13. Let d(l) = 4*f(l) - 7*n(l). Let j be d(9). Does j = -21?
False
Let y(i) = -i - 12. Let a be y(-10). Let s be a*15*1/(-2). Let w = 11 - s. Does w = -1?
False
Suppose -23 = -3*q - 2. Suppose -q*j = 5*j. Let c(n) = n + 7. Let a be c(-6). Which is smaller: a or j?
j
Let x be 0 + ((-5690)/(-42))/(-5). Let n = 27 + x. Suppose -4