 = 0.016 + 0.156. Let p = -8.172 + z. Let u = 0 - 1. Which is smaller: p or u?
p
Let z be (-2496)/13800 + (-36)/(-198). Is z greater than 0?
True
Let t be 4*1*-1*9/198. Let m = 12 + -3. Suppose 0 = 11*v - m*v. Which is greater: t or v?
v
Let g(o) = -13*o - 3. Let l be g(1). Let t = l - -10. Let k be (12/(-2))/2 + (-16)/t. Is -1/3 less than or equal to k?
True
Let h = -4581 + 13741/3. Which is smaller: -0.0243 or h?
h
Suppose -85 = -81*q - 4. Are q and 3038 nonequal?
True
Let b be 6/3615*(3360/63)/(-32). Is b greater than or equal to -0.03?
True
Let s be (-1 - 7)/(1/3). Let v be s/10*70/(-4). Let m = 40 - v. Is -1 at most as big as m?
False
Let k(g) = 6*g - 375. Let i be k(-64). Which is smaller: i or 0?
i
Let l(y) = 719*y - 71182. Let j be l(99). Let q = -1399/54 - -26. Which is bigger: j or q?
q
Let k = 1501.3 + -1501.2. Which is smaller: k or 2/1287?
2/1287
Suppose 3*b + 0*o = 5*o + 17, 19 = 4*b - 3*o. Suppose 5*t - 256 = -b*g + 427, -2*g - t + 343 = 0. Let i = 99 - g. Which is smaller: i or -72?
i
Let a(v) = 10*v**3 - v**2 - 4*v + 4. Let y be a(1). Suppose -m - y*m = 7440. Let l = m - -3759/5. Is l at least as big as 7?
True
Suppose 5*c - y = 50, 5*c - 50 = -0*y - 2*y. Let o be 5*4/c + -2. Is -2/23 greater than o?
False
Let b = -645.57 - -644.57. Let o(m) = m**3 + 3*m**2 + 2*m + 2. Let i be o(-2). Are i and b nonequal?
True
Let r = -75 + 80. Let k be (-1 + 138/18)*r/4. Let p be 7 + -2 + -1 + 4. Is k equal to p?
False
Let t be 288/(-504) + 24036/42210. Which is bigger: t or 1?
1
Suppose f - t - 25 = 0, -5*f + 2*t + 131 = 3*t. Suppose y + 4*h - 2*h = -f, -5*y + h = 163. Let g be y/60*1 - 2/(-10). Are g and -2/5 nonequal?
True
Let g = -43976 + 1055809/24. Let w = g - -1709/24. Is w <= 87?
False
Suppose -7 = -4*k - 3*b, -k + 0*b = b - 1. Suppose 5*o - 3*y + 36 = 0, -4*o + k*y + y = 21. Which is smaller: o or 4?
o
Suppose 18*u - 31 = 49*u. Let i = -1429/9400 - 3/376. Is u > i?
False
Suppose 2*w = 6*w - 172. Let l be (w - -3) + 3 + 1. Let c(n) = 103*n + 771. Let m be c(-7). Is l at most as big as m?
True
Suppose -7*d = 9782 - 4840. Which is smaller: -2819/4 or d?
d
Let d(k) = -k**2 + 4*k. Let o be d(4). Suppose 0 = c - 3*j - 0 + 9, 3*c + j - 23 = o. Suppose -c*y - 15 = 39. Which is smaller: y or -8?
y
Let u be ((-40)/(-2370))/((-88)/21 + (-54)/(-63)). Which is bigger: u or -1?
u
Let c(q) = q**2 + 4*q - 12. Let s be c(-6). Let m = 78 + -66. Suppose -m + s = -2*t. Is t at least 8?
False
Let t = -9 + 14. Let x be 16/6 - 3496/(-1311). Which is smaller: x or t?
t
Let o be (12/56)/(30/(-200)). Let x(u) = -2*u**3 - 1 + 3*u**3 + 2*u**2 - 5*u**2 - 9*u**2. Let a be x(12). Is a < o?
False
Suppose -4*r + 4 = -0. Let c = 93 + -135. Let x be (-1*4 + c/(-9))*-30. Which is bigger: x or r?
r
Let m be 14/(-105)*-1 + 447/(-1665). Let s = 114 - 114. Which is smaller: m or s?
m
Let l = 801 - 2585/3. Suppose -m - 4*v = 40, -5*v + 23 = -2*m - 122. Does m = l?
False
Let d = -2.2657 + 2.3437. Is d greater than or equal to 1/32?
True
Let h = -218 - -147. Let i = h + 72. Which is smaller: i or 22/3?
i
Let j be 10*(-15)/(-300) - 631/2. Which is bigger: j or -1578/5?
j
Suppose 3*t - t = 2. Let l = -13019/261 - -448/9. Let h = l + 287/3335. Which is smaller: h or t?
h
Let i be (-166)/(-316) + 2/(-4). Suppose -69*b + 57*b - 120*b = 54*b. Which is greater: i or b?
i
Let r(a) = -a**3 - 4211 + 0*a**3 + 4209 + a + 2*a**2. Let w be r(-1). Is 1/63 > w?
True
Let b = -802 - -457. Let d = 350 + b. Which is greater: 35/9 or d?
d
Let s(w) = w - 3. Let m be s(7). Suppose 155 = m*r + r. Let y = -64 + r. Which is smaller: -32 or y?
y
Suppose -52*z - 5*g = -54*z - 18, 0 = z - 4*g + 15. Let v be z/((29848/(-24))/13). Which is bigger: -1 or v?
v
Let v = 17103/23763460 - 4/4417. Which is bigger: 1 or v?
1
Let b(g) = -3*g**3 - 16*g**2 + 30*g + 143. Let u be b(-4). Let t be (2/(-4))/((-2)/(-132)). Let d = -73 - t. Does u = d?
False
Suppose -65*i + 78*i + 221 = 0. Suppose -342 = -2*g - 406. Is i > g?
True
Let d = 6320 - 6312. Is d at most as big as -12/11?
False
Suppose -5009 = 24*p - 662 + 69. Is p less than or equal to -184?
True
Let s be (24 - 4)*8 + -4. Let k be (1/(-7))/((-3)/(-3)) + (-390201)/(-2499). Do k and s have the same value?
True
Suppose 4 = -d, 4*s + 0*d + d = -24. Let j(m) = -m**3 + 2*m**2 - 222*m - 18. Let p be j(0). Which is smaller: s or p?
p
Let w = 11306 - 1661978/147. Which is smaller: w or -1?
-1
Let d = 6/3881 + -112873/209574. Is -1 smaller than d?
True
Let u = -94 + 70. Let a be (6/u)/(2 + (-155)/8). Let b(s) = s + 5. Let h be b(-4). Is a at most h?
True
Suppose 36 - 39 = -a. Suppose -v - 4 = a*v. Let o = -16213/8899 + 3/809. Is o at most v?
True
Suppose -3*t - 4*w - 8 = t, -3*t + 4*w = -22. Let m be (-20)/60 + 376/(-6) + t. Is -61 not equal to m?
False
Let y = 49734 + -1740546/35. Are 3 and y non-equal?
True
Let c be -4*13/858 + (-4)/(-66). Let n = 6 + -3. Suppose t + 5*b + 10 = c, 0*t - 66 = n*t - 3*b. Which is smaller: t or -19?
t
Let b be 3 - (-29)/((-9512)/912). Let s = b + -209/205. Is -8 >= s?
False
Suppose 132 = k - 258. Let m be ((-4798)/294)/(5/k). Let z = m - -1273. Are z and 2/5 unequal?
True
Suppose -3*g - 2*g + 95 = 4*f, -4*f + 3*g + 71 = 0. Suppose 2*m = -0*m - 3*t + f, -5*m = 5*t - 45. Suppose 0*r - 91 = m*r. Is r > 0.1?
False
Suppose 105 + 165 = 27*j. Let t = 6 + 2. Let z = 8.2 - t. Is j less than z?
False
Let j(g) = g**3 + 95*g**2 + 1384*g - 82. Let v be j(-77). Which is greater: v or -16?
v
Suppose 23*v - 29*v - 1218 = 0. Let n = -202 - v. Do 1/215 and n have different values?
True
Let x = -502 + 292. Let l be (-5)/15 + -1 + (-268)/x. Which is smaller: l or 0?
l
Let u = 441 + -1379/3. Let o be (-4)/2 + (-3180)/(-153). Let r = o + u. Do r and -1/3 have the same value?
False
Suppose 10 = t + 2*o, -4*t + 12 - 2 = 2*o. Suppose -5*i - g = -118, t = -0*g + 3*g + 6. Let x be (i/11 - -1) + -3 + 0. Which is bigger: x or 1?
1
Let n(o) = o**3 - 11*o**2 + 47*o - 313. Let p be n(10). Is 287/5 <= p?
False
Let z = -2163 + 2163. Let w = 1 + 2. Suppose s + w + 21 = z. Is -23 less than s?
False
Let q(x) be the first derivative of x**3/3 + 10*x**2 + 45*x - 20. Let i be q(-18). Which is smaller: 4 or i?
4
Let f(l) = -77*l + 3. Let q be f(-3). Let u be (q/(-135)*9)/((-18)/(-20)). Which is bigger: -18 or u?
u
Suppose 0 = -3*d + f - 5529, -11*d - 5529 = -8*d + 2*f. Which is smaller: -1844 or d?
-1844
Let g be (1265/(-242) - -5)*(-14320)/(-150). Is g smaller than -1?
True
Suppose 247*t - 146 - 101 = 0. Which is smaller: t or 1/4332?
1/4332
Suppose 2*t = 5*m - 9 + 34, 5*m + 25 = 5*t. Suppose -2*w = -o - 1, -4*w + 5 = -t*w - o. Let b be w + (-15)/(-3) + 2. Is b at most 7?
False
Suppose -12*h + 36 = -8*h. Let x be 3 + (243/(-2))/h. Which is smaller: x or -10?
x
Let u be -2 - (6*-5)/6. Suppose 0 = 2*f - u*h + 54, 14 = -f - 21*h + 16*h. Suppose -2*x - 29 = 21. Which is smaller: x or f?
x
Let k = 10170 - 10175. Are -200 and k nonequal?
True
Let q = -0.222 + 100.722. Let h = -101 + q. Which is smaller: 31 or h?
h
Let v = 0.8 - 0.9. Let i = -7456 + 7456.366. Which is smaller: i or v?
v
Let l be 72/5 - (-16)/(-40). Suppose 0 = 3*r - 12, l = -i + 6*r - 2*r. Suppose -4 = -2*q - i. Are -7/3 and q nonequal?
True
Let c = -3.2 - -1.2. Suppose -5*i = 3*v + 18, -2*v + 4*i = 10 + 2. Let f(s) = -9*s - 51. Let d be f(v). Is c at most as big as d?
True
Let h be (8/13)/(8694/(-945)). Which is greater: -1 or h?
h
Let t be 8902/18 + 5040/(-2160). Which is smaller: 493 or t?
t
Let v be 204/(-272)*(-32)/(-20). Let d be (2/10)/(3/9). Is v >= d?
False
Let b(a) = -12*a**2 + a - 4. Let y be b(6). Let m be 7 + -6 - y/25. Is m < 17?
False
Suppose 4*o = -11*b - 9189, 8*b - 7*b + o = -836. Which is bigger: b or -836?
b
Suppose 0 = -5*t + 3*h + 5 + 41, 4*t + 3*h - 26 = 0. Suppose 2*i - 2*k - 3*k - t = 0, 3*i = k + 12. Is i at most -1?
False
Let d(z) = 5*z**2 - 20*z + 103. Let y(r) = -9*r**2 + 41*r - 209. Let w(q) = -11*d(q) - 6*y(q). Let l be w(4). Which is bigger: l or 24/25?
l
Let i = -0.057 + 0.249. Let v = i - 0.192. Let a = -44 + -11. Are a and v nonequal?
True
Let u be (-8)/20 - (-96)/15. Suppose u*w = -50 - 202. Do w and -43 have the same value?
False
Let j(y) = -6*y + 15. Let b(f) = 7*f - 15. Let z(a) = -5*b(a) - 6*j(a). Let h be z(0). Let u be (69/h + 5)/((-1)/(-5)). Which is smaller: u or 0?
0
Le