-13*b + 8*b - 23*b + 252. Is -5 >= b?
False
Suppose -a - 6 = 2*a. Let n = -138 - -108. Let m = n + 32. Which is bigger: a or m?
m
Suppose l + 4175 = -4*g, -1404 = g + 4*l - 334. Is g not equal to -1049?
True
Let d(c) = 2*c**2 + 29*c + 149. Let k be d(-13). Let m be 40/(-660) + 14/k. Which is greater: -0.6 or m?
m
Let h = 13983.7 - 13984. Which is bigger: h or 2.41?
2.41
Let l be 15/40 - 630666/2928. Let m = l + 215. Which is greater: 1 or m?
1
Let o = -0.2 + 0.1. Suppose 2*v + 0*t + t = 86, -12 = 3*t. Suppose 3*q + 13 = u, 5*u - 34*q = -39*q + v. Which is smaller: u or o?
o
Let a = -46 - -55. Let y(x) = -106*x + 37*x + 19 + x**2 + 58*x. Let o be y(a). Which is smaller: o or -3?
-3
Suppose 4*d = 5*v + 77 - 1, 0 = -3*d + 5*v + 52. Suppose -24*i + d + 0 = 0. Which is smaller: i or 2/145?
2/145
Let u = -2902/1649009 - 15749390559/75128850040. Let r = u - 1/2680. Is 0 equal to r?
False
Suppose 9 = -5*z - 26. Let f be z/(-56) - (-1)/(-8). Suppose 0 = t - 2*t + 21. Which is greater: f or t?
t
Let q = -51901 - -51861. Let b = -110 + 70. Does q = b?
True
Let d be ((-270)/(-72))/(6/4). Let f = 87 - 85. Suppose 0 = b - 4*y - 20, -f*y + 4 = 3*b. Is b <= d?
False
Suppose 0*z - z - 11 = 5*p, -3*z + 2*p - 16 = 0. Let n be 2 + (198/(-891) - (-68)/(-18)). Let q be (-12 - z) + (3 - n). Which is bigger: 29 or q?
29
Let l = -2013 - -1995. Which is smaller: l or -83?
-83
Suppose -3 + 3 = 7*h. Suppose -s + 0 + 2 = h. Let a be (s + 8/(-10))*35/14. Which is smaller: 13/6 or a?
13/6
Let u be (-698)/((-4)/(((-68)/(-1))/2)). Which is smaller: u or 5935?
u
Let g(s) = -s**3 - 12*s**2 + 13*s + 6. Let v be g(-13). Suppose v*n + 46 - 46 = 0. Do -5 and n have different values?
True
Let r be (-377235)/117 + 36/156. Which is smaller: r or -3222?
r
Let a = 13161 - 13160. Do a and 4/2097 have the same value?
False
Let q = -3/63427 - 380295/5645003. Let a(m) = -m**2 - m. Let t be a(0). Is q less than or equal to t?
True
Let x = 17 + -3. Let p(c) = 13 - 29*c + 10*c**2 - 23*c**2 - 17*c**2 - c**3. Let f be p(-29). Which is greater: x or f?
x
Let w = 5379 - 13791. Which is smaller: w or -8411?
w
Let h = 6911 + -6799.83. Let m = 112 - h. Is m at least 2/7?
True
Suppose -4*x - b + 1028 = -446, 2 = b. Which is greater: 363 or x?
x
Suppose 4*i = -4*j + 1 + 15, 0 = -3*i + 3*j + 18. Suppose -10 = i*n + 15, 0 = -f + 3*n + 265. Is f > 252?
False
Let d = -23764 - -70660/3. Is -210 < d?
False
Let l = 1073 - 1083. Which is smaller: l or -156?
-156
Let k be -4 + (-4 - (-2 + -13)). Suppose -2*g + k - 1 = 0. Let o be (-12)/124*(g + (-1 - 3)). Is 0 at most as big as o?
True
Suppose -5*y + 6*g = 10*g - 12888, g - 2 = 0. Let l = y - 36081/14. Which is smaller: l or 0?
l
Suppose -k + 41 = 2*i, -3*k + 121 = -0*k + 4*i. Suppose 0 = 6*y + 3 - k. Let h be (y/(-20))/(30/25). Is h at most -0.009?
True
Let j = -50 + 88. Let m = 57 + j. Which is bigger: m or 1/2?
m
Let c = -1937 - -20838/11. Which is smaller: -43 or c?
-43
Let n = 7801616/161 - 48457. Let z = -35191/23 + 1530. Let h = z - n. Is -1 at most as big as h?
True
Suppose -3376*y - 35 = -3371*y. Is y smaller than 4?
True
Let u be 194/(-38) - -4 - 116/(-1102). Let b be -5 + 1 - (-92)/30. Is u <= b?
True
Let x = -12895/3 - -26105/6. Suppose 4*h - h = -5*i + 169, h - i = 51. Which is greater: x or h?
h
Let d be 152373/(-1422)*52 - -8. Let o = d - -5564. Which is bigger: o or -1?
o
Let l be (60/(-144)*-6)/(5/4). Suppose -325 = 3*y - v + 41, y - l*v = -122. Is -123 >= y?
False
Let r = 44 + 8. Let o = 556 + -556. Is r greater than o?
True
Let g be (484/616)/(445/(-444) + 1). Let b = 345 + g. Is 0.1 at most b?
False
Let u = -2072 + 2141. Is u > -0.02?
True
Suppose -10 = 4*u - 9*u. Let x be 80/(-8)*(-1)/(-3 + u). Suppose 2*m + 4*h = -34, 2*m = -2*m - 5*h - 59. Which is smaller: x or m?
m
Let k(h) = -h + 11 - 24 + 5 - h. Let g be k(-5). Is g less than or equal to 6?
True
Suppose 2*i - 3*a = 457, 2*i + a + 0*a = 453. Suppose 580*w = 537*w + 9761. Is i at least as big as w?
True
Let k = -215 + 49. Let j = k + 165. Let o = -0.1 + -0.3. Which is bigger: j or o?
o
Let h be ((16/(-3))/(-4))/((-60)/45). Which is bigger: -4/2219 or h?
-4/2219
Let g = 105 - 78. Let p = g - 26.6. Let k = 1/94 + -199/1034. Do k and p have different values?
True
Let h = -0.202 - -0.002. Let a = 7 + -59. Let n = -49 - a. Which is smaller: n or h?
h
Let n = -5.96 - 0.04. Let h = -35 - -37. Suppose 0 = h*j - 5*f + 20, -4*f + 11 = -2*j - 5. Does n = j?
False
Suppose -y + 5 = 53*i - 50*i, 3*i + 5 = y. Is 1/1222 < i?
False
Let f = 798 + -550. Suppose -3*w - 3*h + 203 = -5*h, 4*w = -3*h + f. Is 67 at least w?
True
Let f be (-6)/(-9)*((-3 - -2) + 984/48). Are f and -394 equal?
False
Suppose 0 = -2*g - 5*k - 28, 3*g + 2*k + 17 = -3. Suppose 2*a = -8, 3 = 3*j - 5*a - 92. Suppose -6*d = 5 + j. Is g at most as big as d?
False
Let k be 16 + -13*1224/996. Let y be (2 - 0)*2/(-2). Let z be 1/(y*1/(-2)). Which is greater: z or k?
z
Let c(v) be the second derivative of 2*v**4/3 + v**3/6 - v**2/2 + v. Let y be c(1). Let p be (-545)/(-327)*(-162)/(-40). Which is bigger: p or y?
y
Let v = 475858 + -18292457376/38441. Which is bigger: v or 1?
1
Let q = 1660 - 7022/3. Let r = 680 + q. Is 24 greater than or equal to r?
True
Let t(j) = 1081*j + 33455. Let r be t(-31). Let p(y) = y - 4. Let k be p(-4). Is r bigger than k?
False
Let v(u) = 14*u + 87. Let b be v(-21). Let r = 206 + b. Is r at most as big as -1/71?
True
Let x = 20341.687 + -20330. Let c = 0.213 + x. Let f = c - 12. Do f and 1.3 have different values?
True
Suppose 0*p + 3 = n + p, 0 = 4*p. Let z = 211546117 - 654523693091/3094. Let c = -3/442 - z. Is n at most c?
False
Let o = 155.86 + -171.36. Which is bigger: o or -33?
o
Let f = -0.76 - -1.76. Let q = -1075 - -1075.097. Which is bigger: f or q?
f
Let l = 416 + -530. Let u be 2 + (-464)/(-261)*l/8. Which is smaller: -22 or u?
u
Let o be (-5)/((-75)/(-2294)) - -6. Let a = o - -147. Is a >= -11?
True
Let j = -48 + 80. Let v = j + -20. Let f be (4/v)/(-3 - 26/(-6)). Are -0.049 and f equal?
False
Let a = 11413 + -10703. Which is smaller: a or 714?
a
Let i = 14581 + -16320. Which is smaller: i or -1740?
-1740
Let f = -31/58 + 1/29. Let u = 16/19 - 1411/1653. Let t = u - -10/29. Which is bigger: f or t?
t
Let n(q) = 2*q**2 + 27*q - 50. Let f be n(4). Which is bigger: 721/8 or f?
721/8
Let y = -245 - -240. Let x be (80/(-25))/(-2)*50 + y. Which is smaller: 73 or x?
73
Let x(o) = -o - 9. Let z(h) = -h**3 - 11*h**2 - 8*h + 23. Let u be z(-10). Let g(b) = 4*b - 18. Let n be g(u). Let f be x(n). Which is smaller: -1.4 or f?
f
Let t = 0.11858 - -0.08142. Which is greater: t or 31.5?
31.5
Suppose -3 = -7*i + 4*i. Let m be -2 + (-206)/120*7/(-6). Which is smaller: m or i?
m
Let o be 2*2/(-12) - 80/120. Suppose -56 = -n + 4*g, -5*n - 3*g + 164 = -93. Suppose -3 = r, 0*d + 4*r + n = -5*d. Are o and d nonequal?
True
Let k = 1071 + -1632. Is -561 != k?
False
Let y(f) be the second derivative of f**3/6 + 13*f**2/2 + 33*f. Let c be y(-13). Let p be (22 - c) + 0 + 8/4. Is 23 <= p?
True
Let c(k) be the third derivative of -k**6/60 + k**5/2 - k**3/6 - 27*k**2 - k. Let p be c(15). Does p = 22?
False
Let x(c) = c**2 - 7*c - 4. Let p be x(8). Suppose 46 = -z + u - 4*u, 5*u - 235 = p*z. Is z smaller than -56?
False
Let a(v) = -3*v + 23. Let d be a(8). Let c = 0.051 - 95.051. Let z = -63 - c. Which is smaller: d or z?
d
Suppose -3*i - 6 - 7 = -5*o, 11 = 3*o - i. Let a(g) = -2*g**2 + 19*g - 18. Let n be a(8). Suppose -p = 1 - n. Is p at most as big as o?
True
Let w = -6046 - -6070. Which is bigger: 1 or w?
w
Let x = -249804 - -249804. Let f be (-6)/(-97) + 0/(-2). Are f and x unequal?
True
Let r(i) = 1589*i**2 + 76*i - 1. Let b be r(-2). Is 6204 at least as big as b?
True
Suppose -4 = -0*l - 4*l. Let z = 411 + 17. Let m = z + -430. Which is smaller: l or m?
m
Let n = 16772/9 - 7933399/4257. Which is bigger: n or 0?
0
Let c be (16/624)/(1/6). Suppose 0 = 17*k - 23*k - 6. Is c >= k?
True
Let b = 95 + -136. Let i = b - -53. Let r = i + -15. Is -2 at most as big as r?
False
Let z be (0 + 2)*(-5 + -9 - -12). Which is smaller: 5 or z?
z
Let q(p) = -3*p**2 + 3*p + 37. Let v be q(-3). Is v at least -2/1129?
True
Let t be 96/(-336) + 90/(-28). Suppose 4 = 4*x - 12. Let a = x + -9. Which is smaller: t or a?
a
Let c(b) = 10*b**2 + 20