
Let n(z) = z**3 - 11*z**2 + 23*z - 13. Let i be n(6). Let f be (18/(-405))/((-1)/i). Is f >= -2?
False
Let r = -137/6 - -73/3. Which is smaller: r or -3?
-3
Suppose 20*p = 24*p + 176. Which is smaller: p or -41?
p
Let u(d) = -d**2 + 11*d + 61. Let p be u(15). Are p and 1/839 non-equal?
True
Suppose -3*g = 4*b + 21, -3*b - b - 26 = 2*g. Let i = 10 + b. Suppose -2*j = -3*p + 1, p = -0*j - 2*j + 11. Are p and i equal?
False
Let a = -97 + 18. Is -78 at least as big as a?
True
Let z = 304/3 + -101. Is -0.084 at least z?
False
Suppose -32 = -i - 36. Let q(y) = y**3 + 6*y**2 + 7*y - 3. Let s be q(i). Which is greater: 1/14 or s?
s
Let a be 24/(-265)*(-4 + 136/32). Which is bigger: a or 0?
0
Let n be (-823125)/(-495) - -2*2. Let i = -1667 + n. Is -1 equal to i?
False
Suppose 8*n - 3*n = -60. Let m(t) = t**3 + 12*t**2 - 3*t - 16. Let r be m(n). Let p = 25 - r. Which is greater: p or -0.1?
p
Let y = 87 + -82. Suppose -2*f + 6 = 4*w, -2*f - y*w + 14 = 4. Do 2 and f have the same value?
False
Let p = 28 + 12. Let w be 178/p - 2/10. Suppose 3*v - 12 = -4*x - 2*v, 0 = -3*x - 3*v + 9. Which is bigger: w or x?
w
Let p be 2*1/((-1158)/(-384) + -3). Which is smaller: 131 or p?
p
Let v(t) = -5*t + 39. Let q be v(-10). Suppose -5*k + 2*c + 448 = 0, 11*c = 12*c + 4. Which is bigger: k or q?
q
Suppose 5*b + 232 = -2*r + 663, -b = -5*r - 97. Which is smaller: 85 or b?
85
Let o = 322 - 298. Which is bigger: o or 20?
o
Suppose 286*k - 275*k = -2640. Which is greater: k or -237?
-237
Let a = -0.11 + 0.2. Let c be -1*(-4 - 2/(7 + 37/(-5))). Which is smaller: c or a?
c
Let g = 12.21 + -0.21. Suppose 88 = -2*n + 80. Which is smaller: n or g?
n
Let x be (9 - 0) + (-44)/11. Let k be x/1 - (-288)/(-58). Are k and 0 equal?
False
Let a = 61 - 101. Let x = a - -41. Which is bigger: x or -1/26?
x
Let n be 894/223 + -2 + -2. Is n at least -1/4?
True
Suppose 0*n - 2*n + 12 = 4*a, 10 = -5*n. Suppose -a*t + 19 + 1 = 0. Let r = -189 + 191. Do r and t have the same value?
False
Let t be (-48)/18*(-6)/(-4). Let l(s) = -s**2 - 3*s + 2. Let z be l(t). Is z smaller than -12/17?
True
Let x = -236 - -235.77. Does 0.01 = x?
False
Let z be (-6260)/(-16)*(3 - 2). Let j = z - 465. Let s = j - -69. Which is smaller: -4 or s?
s
Let a = -1701 + 45947/27. Which is smaller: 2 or a?
a
Suppose -17 = -2*n + 15. Suppose 2*z - n = -2*z. Which is greater: z or 5?
5
Let h be 0 - 14/(-4)*2/1. Let d be -3 + (-5 + h)/(-1). Which is bigger: d or -11/3?
-11/3
Let h be (1 - (-6)/12) + 14/(-4). Let d be (-2)/(168/83 + h). Is d >= -84?
True
Let d = 5775/4 + -1447. Which is smaller: -4 or d?
-4
Let r = -4/919 + -232499/1838. Is -127 greater than or equal to r?
False
Let n = 0.24 - -0.06. Let u = 1.06 + -1.09. Is u at least n?
False
Let o(w) be the second derivative of -w**4/12 - 5*w**3/6 + 2*w**2 - 11*w. Let c be o(-6). Is c at most -2?
True
Let u = 8 - 8. Suppose -2*q = -u*q. Let j(w) = w**2 - 13*w - 4. Let d be j(13). Is q at least as big as d?
True
Suppose 0 = 3*n - 41 - 16. Suppose 4*g + 2*m = -m + n, -3*g - 4*m = -23. Let t be (-309)/1030 - 17/(-70). Is t < g?
True
Let u = -56481046 - -80146607641/1419. Let r = 76/33 - u. Let y = 161/1075 + r. Which is greater: y or 1?
1
Let o = -5/24 + 179/168. Which is bigger: 2 or o?
2
Let u be 1*(-2 - (-32)/11). Let a = 123 + -126. Let v be 7/(21/2) + (-4)/a. Is u at most v?
True
Let t be 0/(2 + 0 - 3). Suppose t = 7*s + 152 + 114. Let b = s - -47. Which is greater: b or 8?
b
Let v = 67 + -63. Suppose r - 6 = -v*o, -9 - 1 = -5*o. Let x be 4/(-10) + (-2)/(-5). Which is smaller: r or x?
r
Let d(k) = k**3 + 10*k**2 - 17*k - 12. Let c be d(-12). Let p = -674/7 - c. Is 0 less than or equal to p?
False
Let c = 27.3 + -7.3. Is 26 smaller than c?
False
Let t be (-12)/(-22) - 25674/1815. Is -15 equal to t?
False
Let r = -296.01 + 296. Do r and 0.12 have the same value?
False
Let u be (-52)/13 + (0 - 2). Let b be (2/3)/((-4)/(-30)). Suppose 2*d - 9 = 4*d + b*q, 2*d - q = -15. Which is greater: u or d?
u
Suppose -3*s + 141 = -2*s + b, 0 = -3*b + 9. Which is greater: 139 or s?
139
Suppose 5*i - 2 - 3 = -5*p, -2 = p. Let c be (i/8)/(2/(-8)). Which is bigger: c or -3?
c
Let h = -2.894 - -2.68. Let q = 0.004 + h. Is 0 <= q?
False
Let k = -288 - -292. Which is bigger: 0.1 or k?
k
Let u = 22 + -10. Let t be ((-10)/4)/(-15*3/144). Which is bigger: t or u?
u
Let x = -617 + 587.1. Let n = x - -30. Which is greater: n or 1/5?
1/5
Let b = 17.82 - 17.83. Are 0.08 and b non-equal?
True
Let w = 5.566 + -0.566. Is w greater than 42?
False
Let c = 26 + 93. Is c less than 118?
False
Suppose -2*t - 4*q + q = -3, 4*q = -2*t + 2. Let b be (t - -2) + -2 + -1. Suppose -b = o - 0*o. Is -2 bigger than o?
False
Let w = 1321/3 - 440. Let u be (-2)/6 - 2/9. Let n = u + w. Is 0.1 < n?
False
Let y = 3954/25 - 158. Let p be ((-60)/(-10) - 6)/(-4*(-1)/1). Which is smaller: p or y?
p
Let u(s) = -2*s**3 + 4*s + 4. Suppose 2*v - 2 = 6. Let i be u(v). Let p be 8/(-36) - 42/i. Which is greater: p or 1?
1
Let f = 1.35 + -1.45. Which is bigger: -169 or f?
f
Let t be 4/(-6) - (-408)/(-9). Let w = -47 - t. Which is smaller: -0.009 or w?
w
Let i = 38.65 - 42. Let h = i + 3.3. Is -1 not equal to h?
True
Let t = 9 - 9. Let u = -0.3 - -0.39. Let l = -0.01 - u. Which is smaller: l or t?
l
Let j = 1.57 - 1.56. Let r = 8.07 + -8. Let t = r - 1.07. Which is greater: j or t?
j
Let v = 0.05 + 1.95. Let i = -20 - -25. Suppose -z = -t + z - 3, -2*z + i = -3*t. Which is greater: v or t?
v
Suppose 596*i - 582*i = 0. Is -14/11 less than i?
True
Let o be (8/6)/(8/(-12)). Let d be (0/(2/1))/o. Suppose 3*j = -2*u - d*u + 7, -3*u = -3*j + 12. Which is smaller: u or -2/5?
u
Let b = -0.114 - -0.214. Which is bigger: b or -2.2?
b
Let u be (-15)/(-9) + 3 + -3. Suppose -6*m = -3*m + 18. Let n(r) = r**3 + 6*r**2 - 2*r - 9. Let d be n(m). Which is greater: u or d?
d
Let p = 0.71 + 0.09. Let w = 6.046 - 0.046. Let n = w + -5. Is p greater than or equal to n?
False
Let t = 13 + -39. Let q be t/(-120) - (44/16)/11. Which is smaller: 1 or q?
q
Let d be 54/36*2/(-3). Is d greater than or equal to 515?
False
Let l = 27 + -23. Let g = 8 - l. Suppose g*f = f. Is f greater than -3/10?
True
Suppose 0 = -5*f + 82 - 232. Let a be ((-96)/15 - -6)*f/26. Which is smaller: a or 1?
a
Let w = 49 + -37. Suppose 5*q + 156 = -4*s, w*q = 11*q. Are s and -40 non-equal?
True
Let c = -3146/9 + 349. Are c and 0 equal?
False
Suppose -2*m - 4 = -2. Let s be 3 + m + 141 + -3. Let r be -3 + 2 + s/148. Is r at least as big as 1?
False
Let l = 5977/456 - 105/8. Let w(j) = -j - 13. Let x be w(-13). Is x smaller than l?
False
Let d = 340 - 131. Is d bigger than 209?
False
Let m be 2*-1 + (-39)/(-19). Suppose 4*h + 0 = z - 16, z + 12 = -3*h. Which is bigger: m or z?
m
Let x be 32/6 + -3 + 0. Let m = 0.022 - 0.122. Which is greater: m or x?
x
Let f be 8/(-24)*(-1 - 1 - -5). Is 2/1913 at least as big as f?
True
Let k = 961/8 + -118. Which is smaller: k or 3?
k
Let y(c) = 3*c**2 - 3*c - 3. Let k be y(-2). Let i = -10 + k. Suppose -q + 2*x = -0*x - 7, -35 = -5*q - i*x. Is q less than 7?
False
Let p = -649/2 - -324. Is 343 at most p?
False
Let t = 1321 - 1322. Which is bigger: 7/79 or t?
7/79
Suppose 129 = 5*q - 16. Suppose 3*o = 2*d, 38 = 3*d + 7*o - 2*o. Suppose -d*m - q = 67. Which is bigger: -17 or m?
m
Let v(b) = -b**3 + 6*b**2 - 17*b + 97. Let f be v(6). Which is greater: f or -52?
f
Let v be (0/((-105)/5))/(1 - -1). Let w be 18/(-14)*2/(-12). Are w and v equal?
False
Let y = 593/387 + -14/9. Let j = y + -41/86. Does j = 25?
False
Suppose 2*l = 1 + 19. Suppose -10 - l = -5*n. Suppose -3*h + n*u - 1 = -13, 0 = u. Is 4 at least as big as h?
True
Let j be (9/20)/(42/(-28)). Let l(t) = t**2 - 6*t - 7. Let h be l(7). Which is greater: j or h?
h
Let t(b) be the first derivative of b**4/24 - 11*b**3/6 - 11*b**2/2 - 10. Let s(z) be the second derivative of t(z). Let x be s(9). Is x >= -3?
True
Let t = -8592.98 - -8030. Let r = t + 557. Let f = 0.02 - r. Is 1 less than or equal to f?
True
Suppose -5*f = 4*h - 61, -3*f + 65 = -5*h + 21. Let o = f - 17. Let t(n) = n**3 + 5*n**2 + 4*n - 2. Let m be t(o). Are m and -5 equal?
False
Let m be 9633/1957 + (3 - 0) + -8. Which is greater: m or 0?
0
Let u be -2*(-2 - -3) + 11. Let o be (-4 - -1) + 61/u + -4. Let g = 1 - 2. Is o at least as big a