Let y be b(21). Are y and 215 nonequal?
True
Let r = -216 + 215.11. Let q = r + -0.11. Let k be (-10)/12*(-8)/20. Is q >= k?
False
Suppose -5*v + 9 = 3*n, 9 = 5*v - v + 3*n. Suppose v = -5*g + 10. Let w = -3 + 3. Which is smaller: w or g?
w
Let w = 23 + -8. Let i = 81 - 54. Let v = w - i. Is v bigger than -0.2?
False
Let v be (1 + 1 - 4) + -27. Let z = v - -25. Which is greater: -6 or z?
z
Let q be (-129100)/116325 - (-20)/18. Is q bigger than -1?
True
Let t be 0 + 0 + -14*(-22)/1694. Which is smaller: t or -2/87?
-2/87
Suppose 0 = 4*r - 0*r + 4. Let j be 8/32 + (459/12)/(-1). Let h be j/(-150) + (-3)/9. Which is greater: r or h?
h
Let s be ((-17)/10)/(7 + 198/(-12)). Is s >= 1?
False
Let d be (-1)/((4/(-2))/6). Let y be -10*d/(-381)*-1. Let h = y - -1574/635. Are h and 2 unequal?
True
Let t = -198791/129 + 1541. Suppose -5*o = 2*g - 8, 9*g - 5*g + 14 = 5*o. Which is smaller: g or t?
g
Let b(l) = -2*l**2 - 3*l + 45. Let r be b(0). Is r < 45?
False
Let i(c) = -c**3 - 7*c**2 + 31*c + 47. Let v be i(-7). Is -163 smaller than v?
False
Suppose v = 5*w - 13, -5*w - 4 = 4*v - 2. Suppose -5*k = -w*k. Is k at most as big as 4/47?
True
Suppose -4*w + 64 = -52. Let o be w/7 + (-5)/35. Suppose -8*m + 25 = -3*m. Which is smaller: o or m?
o
Let j(c) = c**2 - 2*c - 2. Let a be j(4). Let g be a/2 - 46*4. Let p = g - -1807/10. Do p and -1 have different values?
True
Suppose -u - 2 = -k + 3*k, 0 = k - 2*u - 9. Suppose 4*m + 5*z = 2283, 0 = -2*m + m + z + 564. Let s = m - 2823/5. Is s bigger than k?
True
Let i(h) = -8*h + 21. Let f be i(4). Is -10 less than f?
False
Suppose 6*p - 1806 = -564. Which is smaller: p or 208?
p
Let u = 247 - 247. Which is smaller: u or 0.087?
u
Let i = -1.37 + -0.03. Let l = i - -1.68. Let d = 0.18 - l. Is d greater than or equal to -8?
True
Suppose -15*w - 5 = -20*w. Is w >= 2/359?
True
Suppose 3*y + 4*w - 30 = 0, -w + 18 = 2*y + w. Suppose 5*k - 2*k = y. Let v be (-2)/4*(-4)/(-2). Is v <= k?
True
Let n(i) = 33*i + 119. Let p be n(0). Which is smaller: p or 121?
p
Suppose 4*u + 22*u + 286 = 0. Let n(g) be the first derivative of g**3/3 - 9*g**2/2 + 3*g + 3. Let a be n(7). Is a smaller than u?
False
Suppose -2*p = s + 4*s + 28, -8 = p + s. Let w(i) = i**3 - 4*i**2 - 17*i - 1. Let l be w(6). Let b = l + 28. Which is greater: b or p?
b
Let x be ((-3)/72*-10)/(10/4). Is x at most 0.08?
False
Let w = -76 - -33. Let h = -42.6 - w. Is 0.8 smaller than h?
False
Let k = 1747/7 - 249. Let o = 0.011 - 0.311. Is k at least o?
True
Let o(s) = 2*s**2 - 6*s - 5. Let f be o(5). Let q = f + -29. Let g be 4/q - (-20)/(-28). Is -1/4 < g?
False
Suppose -66 = 4*g + 3*b + 491, -4*g - b = 551. Let c = 82 + g. Which is smaller: -53 or c?
c
Suppose 9*t = -1444 + 1444. Which is smaller: -8/335 or t?
-8/335
Let a = 0.03 - -50.97. Suppose -15*t - 14 - 9 = -8. Is t != a?
True
Let t = 1470 - 1492. Which is bigger: t or -44?
t
Let u = -27 + 49. Let z = 45.6 - 65.6. Let c = z + u. Is c < -0.3?
False
Let m = 2/2009 + 152674/10045. Which is smaller: m or 16?
m
Let a = 2414 + -2414. Do -1/135 and a have different values?
True
Let d(g) = g**2 - 11*g + 20. Let h be d(9). Suppose h*f = -5*f + 567. Is f less than 80?
False
Let h = -252 - -2285/9. Is 2 not equal to h?
True
Let o = 2333/6 - 385. Let a be 34*-2*2/(-12). Let i = a - o. Which is smaller: 7 or i?
7
Let m = -0.04 - -16.04. Let i = -8 - m. Let g = -23 - i. Does g = 11?
False
Let t = 6 + -3. Let j(f) = 2*f + 0*f**2 + 0*f + t*f + 5 - f**2. Let z be j(6). Are -1 and z nonequal?
False
Suppose 27*h = 51*h. Is 1/311 less than or equal to h?
False
Let y(b) = b**3 + 7*b**2 - 7*b - 16. Let w be y(-9). Let r = w - -98. Which is bigger: r or -15?
-15
Let m be 1/3*0/(-4). Suppose 0 = v - 0*v - 2*c - 6, 5*v - 12 = c. Let p be v/(-4)*28/(-126). Is p less than or equal to m?
False
Suppose 8*o - 12 = -60. Let v be 8/90*-6 + 4/o. Which is greater: v or 0?
0
Let n be 1/(3/12) - 1. Suppose -x = 5, -3*x = 3*u - 3 + 15. Which is smaller: n or u?
u
Let z be 1/(1/3*-1). Let p = z - -2. Let r be (-38)/(-228) + 33/18. Which is greater: r or p?
r
Let q = 81 + -82. Which is greater: q or -0.37?
-0.37
Let h be -89 + 81/9 + 9. Which is smaller: h or 0?
h
Let i(w) = -w**3 - 31*w**2 - 57*w - 12. Let v be i(-29). Is -41 at least as big as v?
True
Let b be ((-1)/(-3))/(3/36). Suppose 0*m - 4 = -2*q + m, m + 12 = 4*q. Suppose -q*v - 10 = 4*t + 26, b*t = -5*v - 44. Which is greater: -7 or v?
-7
Let t be (-24)/(-28)*(-3 - -115). Which is bigger: 191/2 or t?
t
Suppose 2*s = q + 6, 6 = -2*s - 5*q + 3*q. Let r be 11/((-33)/(-5))*(-9)/(-135). Is s < r?
False
Let t be 1125/20 + (-2)/8. Suppose -2*q - t = 102. Let f = 555/7 + q. Which is smaller: f or -19?
-19
Let s = 80 - 84. Let j(i) = i**3 + 3*i**2 + 3*i + 3. Let t be j(-2). Let x be -5 + s + 7 - t. Is -6 >= x?
False
Let y(z) = -4*z**3 - 2*z + 2. Let o be y(-2). Is 38 > o?
False
Let a be 40 + 4/12*0. Suppose -8*z = -7*z + a. Let d be 2/z + (-3)/12. Does d = -2/7?
False
Let o = 21128/6939 - 82/27. Is o greater than 0?
True
Let h = 28 - 18. Suppose 5*j - i + 0*i = -h, 3*j + i - 2 = 0. Which is smaller: j or -2/27?
j
Let u = 0.339 - 0.339. Are -28.9 and u nonequal?
True
Let k = 9839 - 9811. Let g = -1 + 2. Are g and k nonequal?
True
Suppose 0 = q + 3*p + 23, 3*q + 8 = 2*p - 6. Let c be (10/q)/((-4)/(-32)). Let f be (-2)/6 + c/(-30). Which is bigger: 2/31 or f?
2/31
Suppose 3*x = -5*f - 0*f - 59, -2*f - 3*x - 20 = 0. Suppose -10*r + 22*r + 180 = 0. Which is greater: f or r?
f
Let c(z) = -z + 9. Let h = 6 - 5. Let r be 14 - (-2 - h - -3). Let b be c(r). Do -4 and b have the same value?
False
Suppose 4*h - 35 = 13. Let y = 2803/4 - 689. Which is bigger: h or y?
h
Let c(o) = 16*o**2 + 6 - 7 + o**3 - 14*o**2. Let h be c(-1). Is 2/23 less than or equal to h?
False
Suppose 2*t + 3*p - 4 = 0, p - 3*p = -t - 12. Let y be (9/t)/(18/(-48)). Let q be -6*((-6)/30)/(6/20). Which is bigger: y or q?
y
Let c be (336/(-40))/((-1)/(-10)). Let z = 143 + c. Does 60 = z?
False
Let h = -54 + 13. Is h <= -41?
True
Let k = 6293/9 - 700. Does 0 = k?
False
Let w = -1.6 + 1.3. Let l = 0.12 + w. Let t = 0.18 + l. Which is smaller: t or 1?
t
Let z = -76 + 93. Which is smaller: -3 or z?
-3
Let v = -191.7 - -191. Is 0.1 less than or equal to v?
False
Suppose 3*l - 6 = g + l, -4*g = 5*l + 11. Is g at least as big as -3.6?
False
Suppose 5*j = z - 54 - 37, -2*z + 172 = -5*j. Is z at least 564/7?
True
Let x = -1 - -3. Let r be -4 + (-968)/(-260) - 1/(-5). Which is greater: x or r?
x
Let d = 3.9 - -88.1. Let i = -92.2 + d. Is i <= 12?
True
Let t be ((-12)/(-8) + 0)/(-3). Let c = -2 - -7. Suppose c*q - 25 = 20. Which is smaller: q or t?
t
Let u = -19 - -19.08. Let g = u + -0.19. Let c = -20.8 + 21. Which is smaller: c or g?
g
Suppose a + 3*i + 144 = -3*a, 0 = 5*a + 5*i + 180. Suppose t + 3*t = 4. Let c be t/(-3)*12/a. Do c and 0 have the same value?
False
Let r be 1 - (-1*16)/2. Let c(s) be the second derivative of -s**5/20 + 5*s**4/6 - 4*s**3/3 - 5*s**2 - 6*s - 3. Let j be c(r). Are j and -1 non-equal?
False
Let p = 22 - 16. Suppose 8*d = -3*l - 42 + 26, -3*d - 6 = 0. Which is smaller: l or p?
l
Suppose -5*x = -10*x - 95. Let m be 622/(-28) - (44 + -47). Let u = m - x. Which is greater: -1 or u?
u
Let s = -3773/123065 + 5/151. Is s bigger than 1?
False
Let y = -0.96 - 0.04. Let o = 27.11 + -27. Let t = o - -1.29. Which is smaller: t or y?
y
Let m be (-1)/2 - (-250)/4. Let v(l) = 2*l + 49. Let o be v(-18). Suppose -5*i - m = o. Is -15 at least as big as i?
True
Let h = 924 + -1012. Is -91 at least as big as h?
False
Let b be 1 + -4*7/28. Is 53 at most b?
False
Let a be 7*(0 + 1) - -1. Suppose 0 = -5*h + a - 33. Let t be (2 + h)/3 + 0. Is t bigger than -2/3?
False
Let l be 3 + (2 - -10) - -4. Let w = -19 + l. Are 1/7 and w unequal?
True
Suppose y - 8 = 4*y + 2*j, -2*y - 12 = 3*j. Let s be (4/3)/((-24)/(-18)). Let o = y - s. Which is smaller: 0.1 or o?
o
Let n be 10/(-4)*(80/(-50))/8. Is n at most 0?
False
Let g be (-902)/(-41) + (-1)/(1/6). Is g at most 129/8?
True
Suppose -4*y - 831 = 333. Do y and -291 have the same value?
True
Let b = 61 - 58.3. Let a = b - 2.85. Which is smaller: a or 1?
a
Let k = -196 + 3. Do -193 and k have different values?
False
Let a be 4/1 - (-2)/1. Let j = a + -10. Is j less than -6?
False
Let t = 197 + -145. 