an or equal to u?
False
Let m be (0 - 1) + (4 - -1). Let p be 1145/(-9) + (-14)/(-63). Let b = p - -132. Which is bigger: b or m?
b
Let d = 59 + -54. Suppose -5*a - 24 = 4*g - 5*g, 236 = d*g + 4*a. Is g less than or equal to 43?
False
Let g = 161 + -262. Let w = g + 3635/36. Let k be 2/(-5) - 2/(-5). Are k and w unequal?
True
Let u = -3044 - -6116. Which is greater: u or 3073?
3073
Let p be 4/(-6) - (-6 - -9). Let k be 7/(-2) - 4/(-8). Is k < p?
False
Suppose 0 = -12*a + 17177 - 3329. Is a >= 1152?
True
Let d = 4285 + -4263. Is d < -1?
False
Suppose 0 = 34*p - 6*p + 840. Let v be ((-9)/(-225)*5)/((-1497)/p). Which is smaller: 0 or v?
0
Let w be (-590)/3245 - (-4)/22. Is 56/873 greater than w?
True
Let f = 7702 - 7703. Is f != -1/179?
True
Let j(c) = c**3 + 4*c**2 + 8*c + 30. Let y be j(-4). Which is smaller: -59/47 or y?
y
Let b(c) = c**2 - 7*c + 40. Let p be b(0). Let q = -22 - -60. Let u = p - q. Is u bigger than 2/5?
True
Suppose -2855*a - 16168 = -2479*a. Suppose 2*v = v - 2. Let r be (v/4)/((-2)/(-176)). Which is bigger: r or a?
a
Let n be 23 - 25 - (-95)/(-25)*2. Let w = 36 + -36.1. Which is greater: w or n?
w
Let g(m) be the first derivative of 6*m - 35/2*m**2 + 18 - 2*m**3. Let w be g(-6). Which is greater: w or -1/65?
w
Suppose 0 = 6*g + 2*g. Let y be g + 4 - (-8)/(-2). Suppose 0 = -o - p + 1 - 0, y = -o + p - 1. Is o not equal to -27?
True
Let h = -1.49 - -96.49. Let p = h - 95.6. Which is bigger: p or 5/8?
5/8
Let j be (3/(-2))/(18/(-24))*-7. Let i = -13 - j. Let f(b) = 5*b**2 - b + 2. Let c be f(i). Which is greater: c or 0.1?
c
Suppose b - 328 = -2*l + 3*b, 2*b = -l + 158. Suppose -l = 2*c + 40. Is -201/2 equal to c?
False
Let u be 275/(-10)*(1 + -3). Let b = u + -74. Let l = -3 + b. Are l and -20 non-equal?
True
Let v = 591.8 + -483.8. Which is smaller: v or -1.2?
-1.2
Let m = 6 + 79. Let f = -68 + m. Suppose 0 = 8*i - f + 201. Which is bigger: i or -68/3?
-68/3
Let v = 0.7 - 1. Let u = 10.3 + v. Let p = u + -11. Which is smaller: 2.2 or p?
p
Suppose 4*h = -184 - 76. Let o be (-185)/h + 1 + -4. Suppose -7 + 10 = -3*z. Which is smaller: o or z?
z
Let p = 274 + -276. Let b(u) = 91*u - 46. Let r be b(p). Which is smaller: r or -229?
-229
Let k be 0 - ((-3)/(-14))/(1/4). Let w = k + 8/7. Which is smaller: -16 or w?
-16
Let b = 2 + 0. Let t(w) = w**3 + 12*w**2 + 17*w - 30. Let p be t(-10). Let f be (p + 8/(-140))*65 - -3. Is f at least as big as b?
False
Let n be (-7)/6 + 0/(-2). Let b(z) = -z**2 + 19*z - 38. Let u be b(11). Let f be (u - 51)/((-1)/1 - -2). Which is greater: n or f?
f
Suppose g - 3*j - 9 = 0, 3*g - 4*j + 9*j = -29. Let w be (-103)/g + (-3)/9. Which is bigger: 104/3 or w?
104/3
Let n = -126 + -4. Let u = n - -130. Which is smaller: u or -11.5?
-11.5
Let w = 869 + -704. Let s = 2.9 + -3. Is w greater than s?
True
Let k be -2 + 6 - (2 + -44)/(-14). Which is smaller: k or 44/227?
44/227
Let s be (-6)/(-18)*12/(-16)*4. Let m be 1 - s - (360/42 + -8). Which is smaller: 1 or m?
1
Let l = -0.069 + 0.02. Let n = 13.251 - l. Let y = n + -13. Which is greater: 1/7 or y?
y
Let i = 167 - 2341/14. Let b = i - -467/350. Is b at least 1?
True
Let n(u) = -12*u - 93. Let m be n(-6). Suppose 2*f - 122 = -g, f + g + 183 = 4*f. Suppose -2*w = f - 15. Which is smaller: w or m?
w
Suppose -3*j - 3*j = 0. Let a be (-1)/2*j - 0. Suppose 10*q - 6*q - 24 = a. Are q and 7 non-equal?
True
Let d(b) be the first derivative of b**2 - 4*b + 15. Let a be d(5). Suppose -a + 4 = w. Is -5/3 at least as big as w?
True
Let v(m) = -m**2 + 87*m - 1379. Let x be v(-52). Which is greater: -8608 or x?
x
Let g = 3.552 + -0.642. Let u = 82.91 - 83. Let f = u - g. Which is smaller: 1 or f?
f
Let r(g) = 214*g + 1516. Let w be r(-4). Is 666 at least w?
True
Let y(d) = d**3 + d**2 + 3*d + 3. Let m be y(-3). Let z be 22/18 - 1 - (-1520398)/(-66924). Let u = z + -2/507. Is m < u?
True
Let i = -65 + 72. Suppose 385 = -i*n + 1323. Suppose -2*t = -5*g + 2*t + n, 146 = 5*g - t. Is g < 30?
False
Let w be (-80)/35 + (-750)/(-315). Is 16 != w?
True
Suppose -30 = 10*y - 15*y. Let b(j) be the first derivative of j**4/4 - 8*j**3/3 + 5*j**2 - 5*j - 1. Let v be b(y). Is -17 >= v?
True
Let y(r) = -3*r**2 - 22*r + 301. Let t be y(7). Are -7/2838 and t nonequal?
True
Let y = 200 + -130. Let s = y + -68. Is -18 >= s?
False
Suppose 0*f = -f + 872. Let i = 2447/3 - f. Let r = 57 + i. Are -29 and r nonequal?
True
Let o = -25287 - -25287. Is o less than or equal to 25/592?
True
Let n = 0 + -1. Suppose s + z + 110 = 0, -49*z + 47*z - 110 = s. Let y be ((-120)/(-660))/((-2)/s). Which is smaller: y or n?
n
Let x(p) = -p**2 + p + 12. Let f be x(-3). Suppose f = -m + 5*c + 2, 2*c = 3*m - 2*c - 17. Suppose -4*h + m = -65. Is h not equal to 16?
True
Suppose 4*d + 597 + 435 = 5*g, 0 = g + 5*d - 218. Let a be (-7 - (-25)/5) + g/100. Is 0 at least a?
False
Suppose -2 = -5*t + 2*g + 5, 0 = -5*t - 2*g + 3. Let x be (-11 + 13)/(26/5). Which is smaller: t or x?
x
Let m(k) = k - 8. Let c be m(-3). Let y = c + 25. Suppose 3*g = 26 - y. Does g = 4?
True
Suppose -2*s + 207 - 19 = 0. Suppose s = 2*r + 5*g, 3*g - 66 = -r - 17. Let w = r - 18. Are 18 and w equal?
False
Let z be 4/((-65)/(-15) + -4). Suppose -5*c = -6*q + 11*q - 30, 2*q - 4*c = -z. Which is bigger: 113 or q?
113
Suppose 6*a - 8 + 32 = 0. Let h = -7 + 12. Suppose -2*j - 4*r - 6 = 0, 12 = 5*j - 6*j - h*r. Which is smaller: a or j?
a
Let d = 411.05 - 329.73. Do 0.1 and d have different values?
True
Suppose 6*j = -441 - 1935. Let k be ((-24)/j)/((-6)/45). Let x be 0/((5 + -1)/2). Is k at most as big as x?
True
Let v = -253 + 141. Let t = -111.85 - v. Let y be 6/(-8) - (-3)/12. Which is smaller: y or t?
y
Suppose 4 + 0 = 2*d. Let i be ((-2)/4)/(2/d). Let z = -1938 + 1933. Are z and i unequal?
True
Let f = 86/47 - 21227/11421. Which is greater: f or 0?
0
Let p be 15/(-90) + (-8065)/(-3030) - 2. Are 1 and p nonequal?
True
Let c = 6502 + -6396. Which is smaller: 837/8 or c?
837/8
Let a = 3 + -2. Let f = 45.081 + -57.081. Which is greater: f or a?
a
Let y(j) = 3*j**3 + j**2 + 39*j - 107. Let n be y(3). Let u = -174 + n. Is -73 > u?
True
Suppose 71*k = 132*k - 72*k. Which is smaller: 2/6489 or k?
k
Let n be 7*(-1992)/(-84)*18/(-14). Are -214 and n equal?
False
Let u = 1205 + -964. Which is smaller: 242 or u?
u
Let j(t) = t**2 - 4*t - 5. Let a be j(9). Let z be ((-2)/15)/(a/(-72)). Suppose 0 = -22*k + 42*k + 20*k. Is z smaller than k?
False
Suppose -78*n + 82*n - 4 = 0. Let s be (1 - n)/((2 - 0)/(-2)). Let d be ((-10)/138)/((-17)/(-6) - 3). Is d greater than s?
True
Suppose -22*z - 102 = -58. Let m = -39 - -34. Which is bigger: z or m?
z
Let q(g) = -2*g**2 - 58*g + 125. Let p be q(-31). Is -2/903 < p?
True
Let c be 2 - (-2 + (2 - -1)). Let a be 40960/(-2128) + 1/7. Let t = 19 + a. Is t bigger than c?
False
Let o = 24.315 - -3.095. Let d = -0.41 + o. Let x = -26 + d. Which is bigger: x or 0?
x
Suppose 5*k - 267 = 2*k. Let o = 93 - k. Let r(v) = -3*v**2 + 6*v. Let p be r(o). Are p and -26 unequal?
True
Let l be ((-3647)/(-70) + 3/(-5))/((-46)/(-644)). Which is bigger: 711 or l?
l
Let s = -74 - -252. Suppose -8*r = 70 + s. Let j = r - -42. Are -0.1 and j nonequal?
True
Let m be ((-35)/(-140))/((-5)/20). Which is smaller: m or 32/515?
m
Let x = -59 + 91. Suppose -3*d - 12 = 0, 2*h - 14*d - 66 = -15*d. Suppose -3*l - h = -r, -2*r = -3*l - 2 - 65. Is x at least r?
True
Let l = 596499213 - 16698069593/28. Let x = l + -139563. Let v = x - 164/7. Is -1 != v?
True
Suppose 34*d = 40*d - 72. Suppose -13*b - 2 = -d*b. Let r = 3561 + -46323/13. Is r smaller than b?
True
Suppose -8*y + 15*y - 14 = 0. Suppose 75 = 3*c - y*v - 0*v, -v = -2*c + 50. Are c and 25 non-equal?
False
Let o be ((-8)/(-290))/(1/5). Let c(h) = -h**3 - 2*h**2 + 12*h + 3. Let a be c(-5). Suppose -3*b = -2*i - 4, 16*b + 9 = 5*i + a*b. Is i != o?
True
Suppose -1161 = -414*b + 417*b. Which is bigger: b or -394?
b
Let n(m) = -m**2 - 27*m + 69. Let i be n(-33). Let w = i - -130. Is 4/7 greater than or equal to w?
False
Let v = -14465 - -14466. Are v and -3754 equal?
False
Suppose 3*c + 5*w + 3 = w, 5*c + 5*w = 0. Suppose -6*v - 6 = -c*v. Let p = -1067/712 - -11/89. Which is smaller: p or v?
v
Let d be 7/((-627956)/(-8))*(-46)/46. Which is greater: d or 1?
1
Suppose 0 = -4*n - 2*u + 160, -3*u = -0*u. 