(-75)) - 9. Let q be b(i). Which is greater: -21 or q?
-21
Let s be 0 - (42/98 - 34/14). Suppose -2*n = -7*j + 6*j - 68, 3*j + 184 = s*n. Which is bigger: -60 or j?
j
Let o = 0.2 - 0.2. Let s = -829 - -867. Are o and s non-equal?
True
Let i = -155.074 + 156. Let s = 0.074 + i. Is s != -12?
True
Let x = 204/107 + 62344/749. Which is greater: 0.1 or x?
x
Let z be (-5 + 2)/(-2 + 1). Suppose 2 = -z*g + 2. Suppose 12*o - 6*o - 66 = g. Is 11 greater than or equal to o?
True
Let q = 7.17 + -0.87. Let h = q - -40.7. Let b = 42 - h. Is -1/4 <= b?
False
Suppose -90*p = -13*p + 231. Is -245/61 at least as big as p?
False
Suppose -19*q = -18*q + 18. Let k be (-42)/q*(-7)/((-273)/36). Let v(d) = -d**2 - 13*d - 9. Let b be v(-12). Which is smaller: k or b?
k
Let z = 117886/49425 - 179/75. Which is greater: -1 or z?
z
Let m = -59 - -61. Let r = -9 + 9.06. Is m >= r?
True
Let x = -0.04 - 2.96. Let o = -65 - -201. Let m = o + -150. Is x at least m?
True
Let c(h) = -h - 16. Let d be c(-16). Let s = 2 - d. Suppose 3*b - 7*b = -z, 0 = s*b - 5*z. Is -5/11 >= b?
False
Let v = -68 - -68. Let b = 202/7 + -5732/203. Which is smaller: v or b?
v
Suppose -4*m - 26 = -2*l, -3*l + 2*m = -176 + 161. Which is smaller: 2/13457 or l?
2/13457
Let h = 660 - 659.9362. Let r = h - 243.0638. Which is bigger: -0.1 or r?
-0.1
Suppose 2*r = -o + 9 + 77, 80 = o - 4*r. Let n be (168/(-10))/(24/(-60)*2/4). Is n less than o?
False
Let l = 120692/7 - 17290. Suppose 2*f = f - 49. Which is smaller: l or f?
f
Let r = 946 - 498. Let p = 427 - r. Do 5/2 and p have the same value?
False
Let u = 175 - 159. Suppose u*s - 296 = 24. Which is smaller: s or 64/3?
s
Let g = 75 + -75. Suppose g = -6*s - 17 - 19. Let y be ((-54)/(-1962))/(1/((-4)/s)). Which is smaller: -1 or y?
-1
Let c be ((-10)/(-4))/(40/5056). Let q = c + -253. Which is bigger: q or 62?
q
Let c = 60866 - 60865. Let f = 142 + -208. Do f and c have the same value?
False
Suppose -295*p + 37127 = -73203. Is p greater than 381?
False
Let a = 122 - 87. Suppose 4*n + 11 - a = 0. Suppose -9 = n*t - 3. Which is greater: t or -2/11?
-2/11
Let u be 0 - -2*39/108. Let l = 39/4169 + -1551785/2326302. Let j = u + l. Is j greater than or equal to 0?
True
Let r = 524 - 526. Let b = 13 + -26. Let x = b + 12.7. Is x greater than r?
True
Let r = -150.37 - -63.37. Let z = -5 - -146. Let c = r + z. Is 1 greater than c?
False
Suppose -2*u - 14 = 5*c, 3*u + 2 = c + u. Let d be 0 - 2/(c - 0). Let g be ((-15)/(-10))/((-2)/d). Is g <= -2?
False
Let a(c) be the first derivative of -1/2*c**4 + 0*c + 4 - 3/2*c**2 + 5/3*c**3. Let w be a(4). Is -60 less than or equal to w?
True
Let j be 2*(-1)/(-2) + -6. Let g(f) = f**3 + 19*f**2 - 2*f - 35. Let u be g(-19). Let n be 15 - (u + -18)/j. Is n greater than or equal to 11?
True
Let i = 6385 + -7752. Which is smaller: i or -1369?
-1369
Let a = -7 + 7.2. Let l = -6390 + 6340. Which is smaller: a or l?
l
Let u = -5.49 - -0.49. Let l = u + 5.1. Which is greater: l or -89?
l
Suppose 2591 = -2*u - 3*q, 10*u - 5*q = 11*u + 1306. Which is greater: -1288 or u?
-1288
Let c = -1062 - -1070. Are 64/7 and c non-equal?
True
Let g = 11280 + -11260. Let k = -9 + 12. Suppose -5*c + k*p + 38 = -49, -p = -1. Is g less than or equal to c?
False
Let m = -16815.1 + 16807. Which is smaller: -59 or m?
-59
Let u = 21064 - 208927/10. Which is bigger: u or 172?
172
Suppose -2*x - 4*w = 2250, 49*x = 48*x - 3*w - 1127. Which is smaller: -1122 or x?
-1122
Let u(n) = 50*n + 419. Let h be u(19). Which is bigger: 0.1 or h?
h
Let n(m) = -m**3 + 2*m**2 - 4*m + 2. Let h be n(2). Let l(d) = -35*d - 3050. Let q be l(-87). Is q not equal to h?
True
Let p = 379821.1 + -379820. Let n(u) = 2*u - 7. Let g be n(6). Which is smaller: g or p?
p
Let q = 127313/5 + -25463. Is 0.10748 > q?
True
Suppose 8864 = 40*k + 6*k - 30374. Is k equal to 851?
False
Suppose -9*w + 12 - 3 = 0. Let d = 38685261603532/131013646113 + -1/85462261. Let a = d + -2067/7. Which is smaller: a or w?
a
Let m = -505 - -1917. Suppose 4*v + v - 1756 = -i, i + m = 4*v. Is v less than 1?
False
Suppose 168 = 17*t - 9*t. Let h = 31 + -15. Which is smaller: h or t?
h
Let f be 18096/2340 + 16/(-2). Suppose 4*h - 3*p = h - 6, -p = 4*h - 7. Suppose 0 = 3*v - 4*v - h. Which is greater: f or v?
f
Let t = 18 + 8. Suppose -t = 2*q + 10. Suppose 0 = -3*m - 194 + 140. Is q <= m?
True
Let p be ((-2976)/(-256))/31 - (-6)/(-16). Is p equal to 96/181?
False
Let d be ((-231)/3 - 3)*(-2 + 1644/390). Which is bigger: d or -178?
d
Let m(c) = c**3 - 6*c**2 - c + 5. Let y be m(6). Let t = 5698/555067 - 3/5389. Are y and t non-equal?
True
Let f = -4 + -3. Let a = 8 + f. Let s = -3764 - -3767. Which is smaller: a or s?
a
Let j = 109 + -155. Let a = j - -45. Let h be 9 - (a + 0 + (-4 - -3)). Do 13 and h have different values?
True
Suppose 125*p = 106*p + 76. Suppose -24 = -p*z - 5*c, 15 = -z + 3*c + c. Let t be -3*(-2)/(-177)*2. Which is smaller: z or t?
t
Let w = 2344 + -1065. Which is smaller: 1276 or w?
1276
Let n be (-65)/(-39)*3*(-6)/135. Which is smaller: 1.03 or n?
n
Let s be 4/((-6060)/(-3183)) + -11*(-1)/(-55). Is s greater than 1?
True
Let d be 17*((-3)/1 - (4 + -2)). Let a = -18 - d. Which is greater: a or 68?
68
Let g = 528 + 434. Let n be 872*-1*(-278)/(-252). Let q = n + g. Which is bigger: q or 1?
1
Let s = 1814747/180 - 10082. Is 1 not equal to s?
True
Let v = 15.178 - 14.978. Is v < -3.51?
False
Let j be 3 + -4 + 8/14. Let a be (4 - 105/30)*1/5. Which is smaller: j or a?
j
Let w = -2/837 + 1696/9207. Suppose -11*f = f + 960. Let u = f - -80. Which is greater: w or u?
w
Let p(j) = j**3 - 12*j**2 - j + 39. Let y be p(12). Let r = y - 45. Are 0.03 and r non-equal?
True
Let m(d) = 13*d**2 - 164*d - 334. Let j be m(13). Does j = -2966/11?
False
Let n be 5452/(-8)*(-11)/((-385)/20). Which is smaller: n or -390?
-390
Suppose i = -8*i + 27. Suppose -5*w - 2*o = -i*o - 202, -3*o - 46 = -w. Let y = w - 57. Is y != -17?
False
Suppose 1 - 2 = b. Let j be 3/(-2) + (-2570)/(-6960)*4. Which is bigger: b or j?
j
Let z = -741 + 608.1. Let i = 133 + z. Are -5/9 and i nonequal?
True
Let y = -924 + 41. Let t = y - -884. Which is smaller: -165 or t?
-165
Let h = 0.071 + -0.061. Let p = 1.1387 - 0.6387. Which is smaller: h or p?
h
Let f = -42.17 - -42. Let m = 1.774 - -12.056. Let t = f - m. Which is smaller: t or 2?
t
Let b = 12474 + -12472.6. Let x = 0.3 - 0.3. Does b = x?
False
Let z = -0.36 - 1.93. Let t = -2.7 - z. Let w = -8.8 + 9. Is t smaller than w?
True
Let t be 2/4*-131*(20 + -18). Which is bigger: t or -134?
t
Let d(p) = p + 6. Let m be d(-5). Let s be (-6 + (-288)/(-50))*((-30)/9)/10. Which is smaller: m or s?
s
Let w(x) = -x**3 - 33*x + 636. Let z be w(0). Which is smaller: z or 638?
z
Suppose 3*m - s - 127 = 0, -30*m + 191 = -26*m + 3*s. Suppose -3*t = 3*u + 111, 3 = u + 5*t + m. Which is smaller: u or -34?
u
Suppose 0 = -3*w - w + 84. Let r be (0 + 240/(-25))*(-50)/3. Let a = r - 139. Is a greater than w?
False
Let s be (-1272)/(-2226) + (-23)/28. Is s <= -1.799?
False
Let a be (0 - -3) + (-18)/3. Suppose 29*o = 4*o + 50. Suppose o*k = -0*k - 0*k. Which is greater: k or a?
k
Let y = -16 - -20. Suppose -4*j + 5*v - 19 = 0, -2*j + 5*v + 0 - 17 = 0. Let d be j + (-11)/(-4) + 1. Which is smaller: d or y?
d
Let y = -9567 - -688811/72. Let f be ((-4)/(-112))/(-2 - 140/(-49)). Let x = y - f. Which is smaller: x or 2/7?
x
Let b be (28/(-1))/1 + 0/1. Let q be (-1 + 2)/(4/b). Let s be ((-4)/18)/(-4 + (-2120)/(-525)). Is q greater than s?
False
Let a = 11243 + -11243. Let f = 330/7 - 69637/1477. Is f equal to a?
False
Let q be (101 + -9)*(-712)/56 - 4/14. Which is smaller: q or -1169?
q
Let d = 2/2001 + 3988/14007. Which is smaller: d or -8?
-8
Let c be (3 + -1)/((-2 - -5 - -95)/316). Which is bigger: 6 or c?
c
Suppose -4*d + 204 = -4*c, -53*d + 50*d = 4*c + 225. Is c at most -48?
True
Let x be 1868 - -46 - (1 + 8). Which is smaller: 1906 or x?
x
Let s be 13 + -16 + (-1 - -7). Suppose 4*g + 3*t - 37 = 19, s*g - t - 29 = 0. Is -8 greater than g?
False
Suppose -t - 3*t = 0. Let z = 620 + 508. Let u be 0 + z/189 + -6. Which is smaller: u or t?
u
Suppose 10*k - 48 = -6*k. Suppose -4*j - 3*n - 2 = 0, 5*n - 13 - k = 3*j. Which is greater: 0.064 or j?
0.064
Let y = 0.6904 + 0.3096. Is y > -1163?
True
Let x(m) = m**3 - 5*m**